English

Strong integrality of inversion subgroups of Kac-Moody groups

Representation Theory 2023-04-07 v2 Mathematical Physics Group Theory math.MP

Abstract

Let AA be a symmetrizable generalized Cartan matrix with corresponding Kac--Moody algebra g\frak{g} over Q{\mathbb Q}. Let V=VλV=V^{\lambda} be an integrable highest weight g\frak{g}-module and let VZ=VZλV_{\mathbb Z}=V^{\lambda}_{\mathbb Z} be a ZZ{\mathbb Z}Z-form of VV. Let GG be an associated minimal representation-theoretic Kac--Moody group and let G(Z)G({\mathbb Z}) be its integral subgroup. Let Γ(Z)\Gamma({\mathbb Z}) be the Chevalley subgroup of GG, that is, the subgroup that stabilizes the lattice VZV_{{\mathbb Z}} in VV. For a subgroup MM of GG, we say that MM is integral if MG(Z)=MΓ(Z)M\cap G({\mathbb Z})=M\cap \Gamma({\mathbb Z}) and that MM is strongly integral if there exists vVZλv\in V^{\lambda}_{\mathbb Z} such that, for all gMg\in M, gvVZg\cdot v\in V_{\mathbb{Z}} implies gG(Z)g\in G({\mathbb{Z}}). We prove strong integrality of inversion subgroups U(w)U_{(w)} of GG where, for wWw\in W, U(w)U_{(w)} is the the group generated by positive real root groups that are flipped to negative roots by w1w^{-1}. We use this to prove strong integrality of subgroups of the unipotent subgroup UU of GG generated by commuting real root groups. When AA has rank 2, this gives strong integrality of subgroups U1U_1 and U2U_2 where U=U1 U2U=U_{1}{\Large{*}}\ U_{2} and each UiU_{i} is generated by `half' the positive real roots.

Keywords

Cite

@article{arxiv.2210.01644,
  title  = {Strong integrality of inversion subgroups of Kac-Moody groups},
  author = {Abid Ali and Lisa Carbone and Dongwen Liu and Scott H. Murray},
  journal= {arXiv preprint arXiv:2210.01644},
  year   = {2023}
}