Cohomology of the spaces of commuting elements in Lie groups of rank two

DOI10.1016/J.TOPOL.2021.107851MaRDI QIDQ2665192zbMATH OpenOpenAlexWikidataFDO

Authors Masahiro Takeda

Publication date 18 November 2021

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2010.08322

zbMATH Keywords

cohomologycommuting elementsLie groupPoincaré series

Mathematics Subject Classification ID

Homology and cohomology of Lie groups (57T10)

Abstract: Let $G$ be the classical group, and let Hom$(mathbb{Z}^m,G)$ denote the space of commuting $m$-tuples in $G$. Baird proved that the cohomology of Hom$(mathbb{Z}^m,G)$ is identified with a certain ring of invariants of the Weyl group of $G$. In this paper by using the result of Baird we give the cohomology ring of Hom$(mathbb{Z}^2,G)$ for simple Lie group $G$ of rank 2.

Review text

The purpose of the paper is to provide an explict formula for the cohomology ring \(H^*(\mathrm{Hom}(\mathbb{Z}^2,G);\mathbb{F})\) where \(\mathbb{F}\) is a field of characteristic zero or prime to the order of the Weil group \(W(G)\) of \(G\), and \(G\) is a simple, simply connected Lie group \(G\) of rank 2. The result is known for \(G=SU(2)\). To complete the list of such groups of rank 2, one should consider the groups \(G = Sp(2),SU(3),G_2\). By computing the cohomology ring for each of these three cases separately, the author obtains the main result which is: Theorem 1.1. For a simply connected simple Lie group \(G\) of rank 2, there is an isomorphism \[H^*(\mathrm{Hom}(\mathbb{Z}^2,G);\mathbb{F})\cong \mathbb{F}\langle a_1^1,a_2^1, a_1^2, a_2^2, b_1,b_2 \rangle/(a_1^1,a_2^1, a_1^2, a_2^2, b_1 ,b_2)^3 +I,\] where \(I\) is generated by \[b_1b_2, b_2^2, a_2^1b_2, a_2^2b_2, a_1^1b_2 + a_2^1b_1, a_1^2b_2 + a_2^2b_1, a_1^1a_2^2+a_1^2a_2^1,\] and \[ |a_i^j|= \begin{cases} 2i+1\, (G=SU(3))\\ 4i-1 \, (G = Sp(2))\\ 8i-5\, (G=G_2), \end{cases} \] \[|b_i|= \begin{cases} 2i\, (G = SU(3))\\ 4i-2\, (G = Sp(2))\\ 8i-6\, (G=G_2). \end{cases} \] In the proof of the theorem above, a main step is the use of general results of the work by \textit{T. J. Baird} [Algebr. Geom. Topol. 7, 737--754 (2007; Zbl 1163.57026)].

Recommendations

• scientific article; zbMATH DE number 1344797
• scientific article; zbMATH DE number 4017179
• scientific article; zbMATH DE number 1124071
• On the 1-Cohomology of the Groups
• The cohomology ring of the spaces of loops on Lie groups and homogeneous spaces
• Squaring operations in the Hermitian symmetric spaces
• scientific article; zbMATH DE number 4042133
• On the 1-cohomology of the groups SL₃(3² and SU₃(3ⁿ
• The Second Cohomology of Current Algebras of General Lie Algebras
• Second cohomology of Lie rings and the Schur multiplier

Cites work

• Cohomology of the space of commuting \(n\)-tuples in a compact Lie group
• Hilbert-Poincaré series for spaces of commuting elements in Lie groups
• Homological stability for spaces of commuting elements in Lie groups
• scientific article; zbMATH DE number 3524443 (Why is no real title available?)
• scientific article; zbMATH DE number 770727 (Why is no real title available?)
• Mirrors and reflections. The geometry of finite reflection groups.
• On spaces of commuting elements in Lie groups
• Spaces of commuting elements in SU(2)
• Spaces of commuting elements in the classical groups
• The space of commuting n-tuples in SU(2)
• Vacuum structure in supersymmetric Yang-Mills theories with any gauge group.

Cited in

(6)

• Spaces of commuting elements in the classical groups
• Cohomology of the space of commuting \(n\)-tuples in a compact Lie group
• Spaces of commuting elements in SU(2)
• Classifying spaces for commutativity of low-dimensional Lie groups
• Torsion in the space of commuting elements in a Lie group
• Cohomology of Lie 2-groups

This page was built for publication: Cohomology of the spaces of commuting elements in Lie groups of rank two

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2665192)