Skip to main content
replaced http://mathoverflow.net/ with https://mathoverflow.net/
Source Link

Supervector spaces look a lot like the category of representations of $\mathbb{Z}/2\mathbb{Z}$ - the even part corresponds to the copies of the trivial representation and the odd part corresponds to the copies of the sign representation. This definition gives the usual morphisms, but it does not account for the braiding of the tensor product, which I've asked about previouslypreviously.

Since the monoidal structure on $\text{Rep}(G)$ comes from the comultiplication on the group Hopf algebra, which in this case is $H = \mathbb{C}[\mathbb{Z}/2\mathbb{Z}]$, it seems reasonable to guess that the unusual tensor product structure comes from replacing the usual comultiplication, which is $\Delta g \mapsto g \otimes g$, with something else, or alternately from placing some extra structure on $H$. What extra structure accounts for the braiding?

Supervector spaces look a lot like the category of representations of $\mathbb{Z}/2\mathbb{Z}$ - the even part corresponds to the copies of the trivial representation and the odd part corresponds to the copies of the sign representation. This definition gives the usual morphisms, but it does not account for the braiding of the tensor product, which I've asked about previously.

Since the monoidal structure on $\text{Rep}(G)$ comes from the comultiplication on the group Hopf algebra, which in this case is $H = \mathbb{C}[\mathbb{Z}/2\mathbb{Z}]$, it seems reasonable to guess that the unusual tensor product structure comes from replacing the usual comultiplication, which is $\Delta g \mapsto g \otimes g$, with something else, or alternately from placing some extra structure on $H$. What extra structure accounts for the braiding?

Supervector spaces look a lot like the category of representations of $\mathbb{Z}/2\mathbb{Z}$ - the even part corresponds to the copies of the trivial representation and the odd part corresponds to the copies of the sign representation. This definition gives the usual morphisms, but it does not account for the braiding of the tensor product, which I've asked about previously.

Since the monoidal structure on $\text{Rep}(G)$ comes from the comultiplication on the group Hopf algebra, which in this case is $H = \mathbb{C}[\mathbb{Z}/2\mathbb{Z}]$, it seems reasonable to guess that the unusual tensor product structure comes from replacing the usual comultiplication, which is $\Delta g \mapsto g \otimes g$, with something else, or alternately from placing some extra structure on $H$. What extra structure accounts for the braiding?

edited tags
Link
Ben Webster
  • 44.7k
  • 12
  • 126
  • 260
Source Link
Qiaochu Yuan
  • 118.2k
  • 40
  • 447
  • 741

Are supervector spaces the representations of a Hopf algebra?

Supervector spaces look a lot like the category of representations of $\mathbb{Z}/2\mathbb{Z}$ - the even part corresponds to the copies of the trivial representation and the odd part corresponds to the copies of the sign representation. This definition gives the usual morphisms, but it does not account for the braiding of the tensor product, which I've asked about previously.

Since the monoidal structure on $\text{Rep}(G)$ comes from the comultiplication on the group Hopf algebra, which in this case is $H = \mathbb{C}[\mathbb{Z}/2\mathbb{Z}]$, it seems reasonable to guess that the unusual tensor product structure comes from replacing the usual comultiplication, which is $\Delta g \mapsto g \otimes g$, with something else, or alternately from placing some extra structure on $H$. What extra structure accounts for the braiding?