Samelson products in \(p\)-regular exceptional Lie groups (Q471441): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(8 intermediate revisions by 6 users not shown) | |||
Property / review text | |||
For a homotopy associative \(H\)-space with inverse \(X\), the correspondence \(X\wedge X \rightarrow X, (x,y)\rightarrow xyx^{-1}y^{-1}\) induces a binary operation \[ \langle -,-\rangle : \pi_i (X) \otimes \pi_i (X) \rightarrow \pi_{i+j} (X) \] called the \textit{Samelson product} in \(X\). In this work the authors consider the basic Samelson products in \(p\)-regular Lie groups. Let \(G\) be a compact simply connected Lie group. By the Hopf theorem, \(G\) has the rational homotopy type of the product \(S^{2n_1 -1} \times \dots \times S^{2n_l -1}\) where \(n_1 \leq \dots \leq n_l\). The sequence \(n_1, \dots, n_l\) is called the type of \(G\) and is denoted by \(t(G)\). For example the exceptional Lie groups \(G_2,F_4, E_6,E_7,E_8\) have the following types \(t(G)\) \[ G_2: 2,6;\quad F_4: 2,6,8,12 \] and \[ E_6: 2,5,6,8,9,12;\quad E_7: 2,6,8,10,12,14,18; \quad E_8:2,8,12,14,18,20,24,30. \] We say that \(G\) is \textit{p-regular} if it has the \(p\)-local homotopy type of a product of spheres. By the classical result of Serre, it is known that \(G\) is \(p\)-regular if and only if \(p \geq n_l\), in which case \[ G_{(p)} \simeq {S_{(p)}}^{2n_1 -1} \times \dots \times {S_{(p)}}^{2n_l -1}. \] Suppose that \(G\) is \(p\)-regular, and let \(\epsilon_{2{n_i}-1}\) be the composite \[ S^{2n_i-1} \rightarrow {S_{(p)}}^{2n_1 -1} \times \dots \times {S_{(p)}}^{2n_l -1} \simeq G_{(p)}. \] The Samelson products \(\langle\epsilon_{2{n_i}-1}, \epsilon_{2 {n_j}-1}\rangle\) are fundamental in studying the homotopy (non)commutativity of \(G_{(p)}\). Bott computed the Samelson products in the classical groups \(U(n)\) and \(Sp(n)\). Then by combining with the information of the \(p\)-primary component of the homotopy groups of spheres, the (non)triviality of the Samelson products \(\langle\epsilon_{2{n_i}-1}, \epsilon_{2 {n_j}-1}\rangle\) is completely determined when \(G = SU(n), Sp(n), Spin(2n + 1)\), where \(Sp(n)_{(p)}\simeq Spin(2n + 1)_{(p)}\) as loop spaces since \(p\) is odd. For example, when \(G = SU(n)\) and \(p \geq n\), the type of \(G\) is given by \(2, \dots, n\) and \[ \langle\epsilon_{2{n_i}-1}, \epsilon_{2 {n_j}-1}\rangle \Leftrightarrow i+j > p. \] In the present paper the authors consider the exceptional Lie groups. They prove the following conjecture. Let \(G\) be a \(p\)-regular exceptional Lie group. For \(i, j \in t(G)\), there exists \(k \in t(G)\) satisfying \(i + j = k + p-1\) if and only if \(\langle\epsilon_{2{n_i}-1}, \epsilon_{2 {n_j}-1}\rangle\) is non-trivial. For the proof, they proceed as follows. First they reduce the nontriviality of the Samelson products \(\langle\epsilon_{2{n_i}-1}, \epsilon_{2 {n_j}-1}\rangle\) in the \(p\)-regular Lie group \(G\) to a certain condition on the Steenrod operation \(P^1\) on the mod \(p\) cohomology of the classifying space \(BG\). Then for a \(p\)-regular exceptional Lie group \(G\), they compute the mod \(p\) cohomology of \(BG\) as the ring of invariants of the Weyl group of \(G\). With this description of the mod \(p\) cohomology of \(BG\), they compute the action of Steenrod operation \(P^1\) on it. Last they prove the desired result about non-triviality of Samelson products. | |||
Property / review text: For a homotopy associative \(H\)-space with inverse \(X\), the correspondence \(X\wedge X \rightarrow X, (x,y)\rightarrow xyx^{-1}y^{-1}\) induces a binary operation \[ \langle -,-\rangle : \pi_i (X) \otimes \pi_i (X) \rightarrow \pi_{i+j} (X) \] called the \textit{Samelson product} in \(X\). In this work the authors consider the basic Samelson products in \(p\)-regular Lie groups. Let \(G\) be a compact simply connected Lie group. By the Hopf theorem, \(G\) has the rational homotopy type of the product \(S^{2n_1 -1} \times \dots \times S^{2n_l -1}\) where \(n_1 \leq \dots \leq n_l\). The sequence \(n_1, \dots, n_l\) is called the type of \(G\) and is denoted by \(t(G)\). For example the exceptional Lie groups \(G_2,F_4, E_6,E_7,E_8\) have the following types \(t(G)\) \[ G_2: 2,6;\quad F_4: 2,6,8,12 \] and \[ E_6: 2,5,6,8,9,12;\quad E_7: 2,6,8,10,12,14,18; \quad E_8:2,8,12,14,18,20,24,30. \] We say that \(G\) is \textit{p-regular} if it has the \(p\)-local homotopy type of a product of spheres. By the classical result of Serre, it is known that \(G\) is \(p\)-regular if and only if \(p \geq n_l\), in which case \[ G_{(p)} \simeq {S_{(p)}}^{2n_1 -1} \times \dots \times {S_{(p)}}^{2n_l -1}. \] Suppose that \(G\) is \(p\)-regular, and let \(\epsilon_{2{n_i}-1}\) be the composite \[ S^{2n_i-1} \rightarrow {S_{(p)}}^{2n_1 -1} \times \dots \times {S_{(p)}}^{2n_l -1} \simeq G_{(p)}. \] The Samelson products \(\langle\epsilon_{2{n_i}-1}, \epsilon_{2 {n_j}-1}\rangle\) are fundamental in studying the homotopy (non)commutativity of \(G_{(p)}\). Bott computed the Samelson products in the classical groups \(U(n)\) and \(Sp(n)\). Then by combining with the information of the \(p\)-primary component of the homotopy groups of spheres, the (non)triviality of the Samelson products \(\langle\epsilon_{2{n_i}-1}, \epsilon_{2 {n_j}-1}\rangle\) is completely determined when \(G = SU(n), Sp(n), Spin(2n + 1)\), where \(Sp(n)_{(p)}\simeq Spin(2n + 1)_{(p)}\) as loop spaces since \(p\) is odd. For example, when \(G = SU(n)\) and \(p \geq n\), the type of \(G\) is given by \(2, \dots, n\) and \[ \langle\epsilon_{2{n_i}-1}, \epsilon_{2 {n_j}-1}\rangle \Leftrightarrow i+j > p. \] In the present paper the authors consider the exceptional Lie groups. They prove the following conjecture. Let \(G\) be a \(p\)-regular exceptional Lie group. For \(i, j \in t(G)\), there exists \(k \in t(G)\) satisfying \(i + j = k + p-1\) if and only if \(\langle\epsilon_{2{n_i}-1}, \epsilon_{2 {n_j}-1}\rangle\) is non-trivial. For the proof, they proceed as follows. First they reduce the nontriviality of the Samelson products \(\langle\epsilon_{2{n_i}-1}, \epsilon_{2 {n_j}-1}\rangle\) in the \(p\)-regular Lie group \(G\) to a certain condition on the Steenrod operation \(P^1\) on the mod \(p\) cohomology of the classifying space \(BG\). Then for a \(p\)-regular exceptional Lie group \(G\), they compute the mod \(p\) cohomology of \(BG\) as the ring of invariants of the Weyl group of \(G\). With this description of the mod \(p\) cohomology of \(BG\), they compute the action of Steenrod operation \(P^1\) on it. Last they prove the desired result about non-triviality of Samelson products. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 55Q15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 55Q35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 57T20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 57T10 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6369777 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
\(p\)-regular exceptional Lie groups | |||
Property / zbMATH Keywords: \(p\)-regular exceptional Lie groups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Samelson products | |||
Property / zbMATH Keywords: Samelson products / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Weyl group invariants | |||
Property / zbMATH Keywords: Weyl group invariants / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Steenrod operations | |||
Property / zbMATH Keywords: Steenrod operations / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
classifying space | |||
Property / zbMATH Keywords: classifying space / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
mod \(p\) cohomology | |||
Property / zbMATH Keywords: mod \(p\) cohomology / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Cenap Ozel / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q115340815 / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2006104788 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1403.4998 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Non-Commutativity of Pontrjagin Rings Mod 3 of Some Compact Exceptional Groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Characteristic Classes and Homogeneous Spaces, I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A note on the Samelson product in the classical groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Topology of EIII and EIV / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Exceptional isogenies and the classifying spaces of simple Lie groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A note on Samelson products and mod \(p\) cohomology of classifying spaces of the exceptional Lie groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homotopy nilpotency in \(p\)-regular loop spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Homotopy commutativity in <i>p</i>-localized gauge groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Mod \(p\) decompositions of gauge groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4001649 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The integral cohomology ring of \(E_7/T\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Samelson products in the exceptional Lie group of rank 2 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: mod p WU Formulas for the Steenrod Algebra and the Dyer-Lashof Algebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Power maps on \(p\)-regular Lie groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Compositional Methods in Homotopy Groups of Spheres. (AM-49) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The integral cohomology ring of \(F_4/T\) and \(E_6/T\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The integral cohomology ring of the symmetric space EVII / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 07:49, 9 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Samelson products in \(p\)-regular exceptional Lie groups |
scientific article |
Statements
Samelson products in \(p\)-regular exceptional Lie groups (English)
0 references
14 November 2014
0 references
For a homotopy associative \(H\)-space with inverse \(X\), the correspondence \(X\wedge X \rightarrow X, (x,y)\rightarrow xyx^{-1}y^{-1}\) induces a binary operation \[ \langle -,-\rangle : \pi_i (X) \otimes \pi_i (X) \rightarrow \pi_{i+j} (X) \] called the \textit{Samelson product} in \(X\). In this work the authors consider the basic Samelson products in \(p\)-regular Lie groups. Let \(G\) be a compact simply connected Lie group. By the Hopf theorem, \(G\) has the rational homotopy type of the product \(S^{2n_1 -1} \times \dots \times S^{2n_l -1}\) where \(n_1 \leq \dots \leq n_l\). The sequence \(n_1, \dots, n_l\) is called the type of \(G\) and is denoted by \(t(G)\). For example the exceptional Lie groups \(G_2,F_4, E_6,E_7,E_8\) have the following types \(t(G)\) \[ G_2: 2,6;\quad F_4: 2,6,8,12 \] and \[ E_6: 2,5,6,8,9,12;\quad E_7: 2,6,8,10,12,14,18; \quad E_8:2,8,12,14,18,20,24,30. \] We say that \(G\) is \textit{p-regular} if it has the \(p\)-local homotopy type of a product of spheres. By the classical result of Serre, it is known that \(G\) is \(p\)-regular if and only if \(p \geq n_l\), in which case \[ G_{(p)} \simeq {S_{(p)}}^{2n_1 -1} \times \dots \times {S_{(p)}}^{2n_l -1}. \] Suppose that \(G\) is \(p\)-regular, and let \(\epsilon_{2{n_i}-1}\) be the composite \[ S^{2n_i-1} \rightarrow {S_{(p)}}^{2n_1 -1} \times \dots \times {S_{(p)}}^{2n_l -1} \simeq G_{(p)}. \] The Samelson products \(\langle\epsilon_{2{n_i}-1}, \epsilon_{2 {n_j}-1}\rangle\) are fundamental in studying the homotopy (non)commutativity of \(G_{(p)}\). Bott computed the Samelson products in the classical groups \(U(n)\) and \(Sp(n)\). Then by combining with the information of the \(p\)-primary component of the homotopy groups of spheres, the (non)triviality of the Samelson products \(\langle\epsilon_{2{n_i}-1}, \epsilon_{2 {n_j}-1}\rangle\) is completely determined when \(G = SU(n), Sp(n), Spin(2n + 1)\), where \(Sp(n)_{(p)}\simeq Spin(2n + 1)_{(p)}\) as loop spaces since \(p\) is odd. For example, when \(G = SU(n)\) and \(p \geq n\), the type of \(G\) is given by \(2, \dots, n\) and \[ \langle\epsilon_{2{n_i}-1}, \epsilon_{2 {n_j}-1}\rangle \Leftrightarrow i+j > p. \] In the present paper the authors consider the exceptional Lie groups. They prove the following conjecture. Let \(G\) be a \(p\)-regular exceptional Lie group. For \(i, j \in t(G)\), there exists \(k \in t(G)\) satisfying \(i + j = k + p-1\) if and only if \(\langle\epsilon_{2{n_i}-1}, \epsilon_{2 {n_j}-1}\rangle\) is non-trivial. For the proof, they proceed as follows. First they reduce the nontriviality of the Samelson products \(\langle\epsilon_{2{n_i}-1}, \epsilon_{2 {n_j}-1}\rangle\) in the \(p\)-regular Lie group \(G\) to a certain condition on the Steenrod operation \(P^1\) on the mod \(p\) cohomology of the classifying space \(BG\). Then for a \(p\)-regular exceptional Lie group \(G\), they compute the mod \(p\) cohomology of \(BG\) as the ring of invariants of the Weyl group of \(G\). With this description of the mod \(p\) cohomology of \(BG\), they compute the action of Steenrod operation \(P^1\) on it. Last they prove the desired result about non-triviality of Samelson products.
0 references
\(p\)-regular exceptional Lie groups
0 references
Samelson products
0 references
Weyl group invariants
0 references
Steenrod operations
0 references
classifying space
0 references
mod \(p\) cohomology
0 references
0 references