2021-05-03

Representations of Hopf Algebras

Tags: #representation_theory

See Hopf algebra

  • Algebras: \(m: A^{\otimes 2} \to A\) and \(u:k\to A\) the unit with associativity:

Link to Diagram

  • Coalgebras : \(\Delta: A\to A^{\otimes 2}\), \({\varepsilon}: A\to k\) the counit. Reverse the arrows in the diagram for coassociativity. This yields a bialgebra, for Hopf structure need an antipode \(s:M\to M\):

Link to Diagram

Why Hopf algebra? Some natural examples:

  • \(kG\) the group algebra.

    • \(\Delta(g) \coloneqq g^{\otimes 2}\)
    • \({\varepsilon}(g) = 1_G\)
    • \(s(g) = g^{-1}\)

  • \(k^G = \mathop{\mathrm{Hom}}_k(kG, k)\) an algebra of functions, forcing distinct group elements to be orthogonal idempotents, take \(\left\{{ P_x {~\mathrel{\Big\vert}~}x\in G }\right\}\) with \(P_x P_y = \delta_{xy} P_y\) ??

  • Consider category \(\mathsf{H}{\hbox{-}}\mathsf{Mod}^{\mathrm{fd}}\) of finite-dimensional Representation theory of \(H\).

    • Issue: tensor product of \(R{\hbox{-}}\)modules may not again be an \(R{\hbox{-}}\)module.

  • Antipode will be invertible when \(H\) is finite dimensional

  • A lot of structures here: closed under tensors, duals, contains \(k\).

  • Finite tensor category : looks like \(\mathsf{H}{\hbox{-}}\mathsf{Mod}\), Enriched category over vector spaces, Monoidal category, coherent associativity via pentagon axiom, triangle axiom.

    • Evaluation \(M {}^{ \vee }\otimes M \to \one\) and coevaulation \(\one \to X\otimes X {}^{ \vee }\).
      • For finite dimensional vector spaces, \(k\mapsto \sum k e_i \otimes e_i {}^{ \vee }\)?
    • Finite rank: finitely many simples up to isomorphism. Can still have infinitely many indecomposables.

  • Define \(\operatorname{Ext} ^n_{\mathsf{C}}(X, Y)\) to be equivalence classes of \(n{\hbox{-}}\)fold extensions, i.e. exact sequences \(0 \to Y \to E_n \to \cdots \to E_1 \to X \to 0\), and \(H^*(\mathsf{C}) \coloneqq H^*_{\mathsf{C}}(\one, \one) = \bigoplus _{n\geq 0} \operatorname{Ext} ^n_{\mathsf{C}} (\one, \one )\). Can similarly replace \(\one\) with \(X\) to define \(H^*(X)\), which will be a module over \(H^*(\mathsf{C})\).

  • support variety : \(V_{\mathsf{C}}(\one) = \operatorname{mSpec}H^*(\mathsf{C})\), \(V_{\mathsf{C}}(X)\) is a more complicated quotient.

  • Representation theory of categories: module categories over a category!

  • Big question: tensor product property. Is there an equality \begin{align*} V_{\mathsf{C}}(X\otimes Y) \overset{?}{=} V_{\mathsf{C}}(X) \cap V_{\mathsf{C}}(Y) .\end{align*}

  • True for cocommutative Hopf algebra, some quantum groups.

  • Some counterexamples in non-braided monoidal categories. Uses a smash product of modules

  • See thick ideals.

Clausen, the K-theory of adic spaces.

Tags: #k_theory #adic #seminar_notes

Reference: Clausen, the K-theory of adic spaces. https://www.youtube.com/watch?v=e_0PTVzViRQ

#quick_notes #representation_theory #k_theory #adic #seminar_notes