Not signed in (Sign In)

Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeJan 2nd 2015
    • (edited Jan 2nd 2015)

    I noticed that some time ago Domenico had made some notes at projective representation on the homotopy-theoretic / 2-groupoid-theoretic formulation. I have now expanded this discussion a good bit, here.

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeJan 25th 2022

    For when editing functionality is back:

    While fairly straightforward, it’s useful to make explicit that character theory by and large still works for projective representations:

    • Chuangxun Cheng, A character theory for projective representations of finite groups, Linear Algebra and its Applications 469 (2015) 230-242 (doi:10.1016/j.laa.2014.11.027)
    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeJan 26th 2022

    And while I am at it, some general background references:

    • Jürgen Tappe, Irreducible projective representations of finite groups, Manuscripta Math 22, 33–45 (1977) (doi:10.1007/BF01182065)

    • Tania-Luminiţa Costache, On irreducible projective representations of finite groups, Surveys in Mathematics and its Applications 4 (2009), 191-214 (ISSN:1842-6298)

    • Eduardo Monteiro Mendonça, Projective representations of groups, 2017 (pdf)

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeJan 27th 2022

    It occurs to me that what is known as “the non-commutative torus” may be thought of as the characterization of projective intertwiners of the regular /n\mathbb{Z}/n-representation regarded as a projective representation.

    Not a big deal, but is this perspective expanded on anywhere? What I mean is this:

    For nn \in \mathbb{N} regard the regular /n\mathbb{Z}/n-representation matrix

    (U reg([k])) qq=e 2πik(q1)/nδ qq \big( U_{reg}([k]) \big)_{q q'} \,=\, e^{ 2 \pi \mathrm{i} k \cdot (q-1) / n } \cdot \delta_{q q'}

    as a projective representation

    U reg:/nU(n)PU(n) U_{reg} \;\colon\; \mathbb{Z}/n \xrightarrow{ \; } \mathrm{U}(n) \xrightarrow{\;} PU(n)

    and then ask for a projective self-intertwiner, hence for

    U 2U(n)PU(n) U_2 \;\in\; U(n) \to PU(n)

    such that

    kU reg([k])U 2=U 2U reg([k])PU(n) \underset{k}{\forall} \;\;\; U_{reg}([k]) \cdot U_2 \;=\; U_2 \cdot U_{reg}([k]) \;\;\; \in \; PU(n)

    hence such that

    U reg([1])U 2=U 2U reg([1])PU(n) U_{reg}([1]) \cdot U_2 \;=\; U_2 \cdot U_{reg}([1]) \;\;\; \in \; PU(n)

    hence such that

    U reg([1])U 2=θU 2U reg([1])U(n) U_{reg}([1]) \cdot U_2 \;=\; \theta \cdot U_2 \cdot U_{reg}([1]) \;\;\; \in \; \mathrm{U}(n)

    for some θU(1)diagU(n)\theta \,\in\, \mathrm{U}(1) \xhookrightarrow{diag} U(n).

    This is the defining equation for the “non-commutative torus” (e.g. (2.30) on p. 10 of arXiv:hep-th/9912130, just to point to the next best reference that Google digs out), whose existence hence equivalently means that such a projective intertwiner U 2U_2 exists, given by the one-step cyclic permutation matrix. Generally, such projective intertwiners are given by all the cyclic permutation matrices, I suppose.

    This is, I think, one way to see concretely that the space of “stable” maps B(/n)BPU()\mathbf{B} (\mathbb{Z}/n) \xrightarrow{\;} \mathbf{B} PU(\mathcal{H}) is Map(B(/n),B 3)BHom(/n,U(1))×B 3Map\big( B (\mathbb{Z}/n),\, B^3 \mathbb{Z} \big) \;\simeq\; B Hom\big(\mathbb{Z}/n, \, \mathrm{U}(1)\big) \times B^3 \mathbb{Z}.

    Maybe this relation to the NC torus has no significance, it just occurred to me as being somewhat curious. One subtlety here is that much of the literature considers projective representations with non-projective intertwiners between them (e.g. bottom of p. 2 in #2 above), in which case Schur’s lemma holds (e.g. Lemma 2.1 in #2 above) which would rule out the above NC torus-type example.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeJan 27th 2022

    More generally, for /n\mathbb{Z}/n replaced by any finite group GG, it should be the case that every group character κHom(G,U(1))\kappa\in Hom\big(G, U(1)\big) induces a projective endo-twiner of the regular GG-rep, given on the irrep labels by tensoring with the group character. Now the phase θ=θ(g)\theta = \theta(g) above is given by the very values of that group character.

    For finite groups with vanishing H 3(G;)H^3(G; \mathbb{Z}) this construction gives a concrete realization of how the space of “stable” morphisms BGBPU()\mathbf{B}G \to \mathbf{B} PU(\mathcal{H}) is Map(BG,B 3)BHom(G,U(1))×B 3Map(B G, B^3 \mathbb{Z}) \simeq B Hom\big(G, U(1) \big) \times B^3 \mathbb{Z}.

    • CommentRowNumber6.
    • CommentAuthorHarry Gindi
    • CommentTimeJan 27th 2022
    Hey, Urs, how do we edit pages now?
    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeJan 27th 2022

    Hi Harry, we don’t currently edit pages, as we are waiting for Richard Williamson to turn the edit functionality back on. See the thread nLab migration to the cloud.

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)