Table of Contents
Fetching ...

On homotopy elements represented by quotients of Lie groups

Haruo Minami

TL;DR

This work addresses representing new stable homotopy elements via quotients $G/B$ of a simply connected compact simple Lie group by carefully chosen subgroups, using extended framings induced from realified complex representations. The authors construct framed quotients $(G/B^r, (L^{k\lambda})_{B^r})$ and apply the Pontryagin–Thom framework, together with Euler-type invariants $e'_R$ and $e_C$, to produce explicit representatives for early stable homotopy classes such as $a[7]$, $a[9]$, $a[11]$, $a[15]$, and beyond, validating their nontriviality and determining their orders. By leveraging fibration structures, quaternionic line bundles, and LS/Ossa-type results, they extend the known table of elements in the stable homotopy groups $\pi^S_k$ with Lie-group–originating framings, including $b[19]$ and $a[20]$. The approach provides a constructive bridge between Lie group geometry and stable homotopy theory, enabling systematic generation of additional Lie-group–based representatives for stable homotopy elements in future work.

Abstract

Consider the quotient $G/B$ of a simple matrix Lie group $G$ by a subgroup $B$ isomorphic to a direct product of some of $S^1$s and $S^3$s such that its adjoint representation can be extended over $G$. Then it naturally inherits a stable framing from a twisted left invariant framing $\mathscr{L}^α$ of $G$ where $α$ is the realization of a complex representation of $G$. In this note we want to add some homotopy elements represented by such quotient framed manifolds to those presented in a table of [E. Ossa 1982].

On homotopy elements represented by quotients of Lie groups

TL;DR

This work addresses representing new stable homotopy elements via quotients of a simply connected compact simple Lie group by carefully chosen subgroups, using extended framings induced from realified complex representations. The authors construct framed quotients and apply the Pontryagin–Thom framework, together with Euler-type invariants and , to produce explicit representatives for early stable homotopy classes such as , , , , and beyond, validating their nontriviality and determining their orders. By leveraging fibration structures, quaternionic line bundles, and LS/Ossa-type results, they extend the known table of elements in the stable homotopy groups with Lie-group–originating framings, including and . The approach provides a constructive bridge between Lie group geometry and stable homotopy theory, enabling systematic generation of additional Lie-group–based representatives for stable homotopy elements in future work.

Abstract

Consider the quotient of a simple matrix Lie group by a subgroup isomorphic to a direct product of some of s and s such that its adjoint representation can be extended over . Then it naturally inherits a stable framing from a twisted left invariant framing of where is the realization of a complex representation of . In this note we want to add some homotopy elements represented by such quotient framed manifolds to those presented in a table of [E. Ossa 1982].

Paper Structure

This paper contains 2 sections, 1 theorem, 36 equations.

Key Result

Theorem

In the setting above we have

Theorems & Definitions (12)

  • Theorem
  • Remark
  • proof : Proof of $\mathrm{(i)}$
  • proof : Proof of $\mathrm{(ii)}$
  • proof : Proof of $\mathrm{(iii)}$
  • proof : Proof of $\mathrm{(iv)}$
  • proof : Proof of $\mathrm{(v)}$
  • proof : Proof of $\mathrm{(vi)}$
  • proof : Proof of $\mathrm{(vii)}$
  • proof : Proof of $\mathrm{(viii)}$
  • ...and 2 more