No Arabic abstract
We use cite{G} to study the algebra structure of twisted cotriangular Hopf algebras ${}_Jmathcal{O}(G)_{J}$, where $J$ is a Hopf $2$-cocycle for a connected nilpotent algebraic group $G$ over $mathbb{C}$. In particular, we show that ${}_Jmathcal{O}(G)_{J}$ is an affine Noetherian domain with Gelfand-Kirillov dimension $dim(G)$, and that if $G$ is unipotent and $J$ is supported on $G$, then ${}_Jmathcal{O}(G)_{J}cong U(g)$ as algebras, where $g={rm Lie}(G)$. We also determine the finite dimensional irreducible representations of ${}_Jmathcal{O}(G)_{J}$, by analyzing twisted function algebras on $(H,H)$-double cosets of the support $Hsubset G$ of $J$. Finally, we work out several examples to illustrate our results.
We continue the study of twisting of affine algebraic groups G (i.e., of Hopf 2-cocycles J for the function algebra O(G)), which was started in [EG1,EG2], and initiate the study of the associated one-sided twisted function algebras O(G)_J. We first show that J is supported on a closed subgroup H of G (defined up to conjugation), and that O(G)_J is finitely generated with center O(G/H). We then use it to study the structure of O(G)_J for connected nilpotent G. We show that in this case O(G)_J is a Noetherian domain, which is a simple algebra if and only if J is supported on G, and describe the simple algebras that arise in this way. We also use [EG2] to obtain a classification of Hopf 2-cocycles for connected nilpotent G, hence of fiber functors Rep(G)to Vect. Along the way we provide many examples, and at the end formulate several ring-theoretical questions about the structure of the algebras O(G)_J for arbitrary G.
We generalize the theory of the second invariant cohomology group $H^2_{rm inv}(G)$ for finite groups $G$, developed in [Da2,Da3,GK], to the case of affine algebraic groups $G$, using the methods of [EG1,EG2,G]. In particular, we show that for connected affine algebraic groups $G$ over an algebraically closed field of characteristic $0$, the map $Theta$ from [GK] is bijective (unlike for some finite groups, as shown in [GK]). This allows us to compute $H^2_{rm inv}(G)$ in this case, and in particular show that this group is commutative (while for finite groups it can be noncommutative, as shown in [GK]).
We construct a model of the affine nil-Hecke algebra as a subalgebra of the Nichols-Woronowicz algebra associated to a Yetter-Drinfeld module over the affine Weyl group. We also discuss the Peterson isomorphism between the homology of the affine Grassmannian and the small quantum cohomology ring of the flag variety in terms of the braided differential calculus.
We introduce a new family of real simple modules over the quantum affine algebras, called the affine determinantial modules, which contains the Kirillov-Reshetikhin (KR)-modules as a special subfamily, and then prove T-systems among them which generalize the T-systems among KR-modules and unipotent quantum minors in the quantum unipotent coordinate algebras simultaneously. We develop new combinatorial tools: admissible chains of i-boxes which produce commuting families of affine determinantial modules, and box moves which describe the T-system in a combinatorial way. Using these results, we prove that various module categories over the quantum affine algebras provide monoidal categorifications of cluster algebras. As special cases, Hernandez-Leclerc categories provide monoidal categorifications of the cluster algebras for an arbitrary quantum affine algebra.
We find sufficient conditions for the construction of vertex algebraic intertwining operators, among generalized Verma modules for an affine Lie algebra $hat{mathfrak{g}}$, from $mathfrak{g}$-module homomorphisms. When $mathfrak{g}=mathfrak{sl}_2$, these results extend previous joint work with J. Yang, but the method used here is different. Here, we construct intertwining operators by solving Knizhnik-Zamolodchikov equations for three-point correlation functions associated to $hat{mathfrak{g}}$, and we identify obstructions to the construction arising from the possible non-existence of series solutions having a prescribed form.