Equivariant 2-Cohomotopy Theory

• Equivariant 2-cohomotopy is the study of degree-two invariants defined by G-equivariant maps and framed bordism via the Pontrjagin–Thom correspondence.
• It employs orthogonal G-spectra with RO(G)-grading, applying Mackey functor techniques to compute and compare equivariant cohomotopy groups.
• Applications include parametrized invariants for families of manifolds and orbifold formulations that extend classical topological results.

Equivariant 2-cohomotopy concerns the homotopy-theoretic and geometric structures encoding degree-two cohomotopy invariants that respect the symmetry given by a compact Lie group $G$ acting on spaces. The central object of study is the equivariant cohomotopy group $\pi_G^2(X)$, typically interpreted either as stable homotopy classes of $G$-equivariant maps to the 2-sphere spectrum, or geometrically via the equivariant Pontrjagin–Thom correspondence with framed bordism classes. Equivariant 2-cohomotopy plays a fundamental role in stable equivariant homotopy theory, the study of parametrized invariants for families of manifolds, and geometric topology—enabling the transfer of classical results into the setting of $G$-actions and orbifolds.

1. Foundational Definitions

For a compact Lie group $G$ and a based $G$-space $X$, the equivariant 2-cohomotopy group is defined as

$$\pi_G^2(X) = [X, S^2]^G = \pi_0(\mathrm{Map}_G(X, S^2)),$$

that is, the set of $G$-equivariant homotopy classes of based maps from $X$ to the 2-sphere $\pi_G^2(X)$0 (where $\pi_G^2(X)$1 has the trivial $\pi_G^2(X)$2-action in the simplest case) (Grady, 2018). In the stabilized context, one works with the category of orthogonal $\pi_G^2(X)$3-spectra $\pi_G^2(X)$4 and the $\pi_G^2(X)$5-sphere spectrum $\pi_G^2(X)$6, so that the stable equivariant 2-cohomotopy is

$\pi_G^2(X)$7

where $\pi_G^2(X)$8 is the unreduced suspension spectrum of $\pi_G^2(X)$9, and $G$0 (Degrijse et al., 2019).

2. Stable Equivariant Cohomotopy via Orthogonal $G$1-Spectra

The model for genuine proper equivariant stable homotopy theory is provided by orthogonal $G$2-spectra, with morphisms corresponding to stable equivariant homotopy classes that induce isomorphisms on all compact subgroups. The cohomotopy functor inherits an $G$3-grading, parametrized by finite-dimensional real $G$4-representations $G$5, through representation spheres $G$6: $G$7 with $G$8 (Degrijse et al., 2019).

Equivariant stable cohomotopy groups admit transfers, restrictions, and coinduction functors, fitting into a Mackey-functor pattern respecting the orbit category. The Wirthmüller isomorphism provides an identification between induction and coinduction functors: for $G$9 a compact subgroup of finite index,

$G$0

This leads to explicit transfer and restriction formulas on cohomotopy groups (Degrijse et al., 2019).

3. Geometric Interpretation and Equivariant Pontrjagin–Thom Correspondence

Geometrically, equivariant 2-cohomotopy is naturally modeled by the equivariant Pontrjagin–Thom correspondence. For a smooth compact $G$1-manifold $G$2: $G$3 where $G$4 denotes the $G$5-equivariant framed bordism group of codimension-2 $G$6-invariant submanifolds of $G$7 equipped with $G$8-equivariant framings (Grady, 2018). The Pontrjagin–Thom collapse map realizes this isomorphism explicitly; every class in $G$9 is represented by a $G$0-equivariant map $G$1, whose inverse images of regular $G$2-fixed points yield equivariantly framed codimension-2 submanifolds.

For $G$3 finite, abelian, or a torus, the equivariant Pontrjagin–Thom theorem guarantees that this identification is always a bijection (Grady, 2018).

4. Parametrized Equivariant 2-Cohomotopy and Characteristic Classes

Equivariant 2-cohomotopy is central in the parametrized setting, as developed in the context of families of 4-manifolds equipped with group actions. In parametrized stable homotopy theory, objects are spectra over a base $G$4; the construction uses families of Fredholm operators and their associated index bundles. Given a virtual $G$5-equivariant Spin$G$6-bundle $G$7, the Thom spectrum $G$8 yields a parametrized Bauer–Furuta invariant: $G$9 The Thom isomorphism identifies this with a characteristic cohomotopy class in

$G$0

with $G$1 the virtual rank of $G$2. For families of 4-manifolds, $G$3, so the characteristic class naturally lands in $G$4, the equivariant 2-cohomotopy of a point (Szymik, 2020).

This framework produces universal characteristic classes and invariants for group actions, compatible with restriction, transfer, and Frobenius reciprocity relations. Under the forgetful maps, these invariants recover the corresponding cohomotopy invariants for subgroups and for the trivial group (Szymik, 2020).

5. Mackey Functor Structure and Orbit Evaluations

Equivariant 2-cohomotopy admits a Mackey functor structure via assignment of $G$5 for subgroups $G$6. This enables computation and comparison across orbits and subgroups. Explicitly, for the $G$7-orbit $G$8,

$G$9

For finite $X$0, $X$1 is a finite abelian group, computable via RO$X$2-graded stable stems and classical descriptions via 2-fold shifts in a complete $X$3-universe. The Mackey functor formalism determines morphisms by restriction, conjugation, and transfer along spans in the orbit category (Degrijse et al., 2019).

6. Orbifold and Stack-Theoretic Reformulation

Through the use of global quotient orbifolds $X$4, equivariant 2-cohomotopy can be reinterpreted in the language of stacks: $X$5 that is, as the connected components of the mapping stack from the quotient orbifold $X$6 to $X$7. Furthermore, framed, codimension-2 suborbifolds of $X$8 correspond bijectively with $X$9 via the equivariant Pontrjagin–Thom construction (Grady, 2018). Elmendorf’s theorem in this context asserts the equivalence of geometry on quotient orbifolds and genuine $$\pi_G^2(X) = [X, S^2]^G = \pi_0(\mathrm{Map}_G(X, S^2)),$$0-spaces for “zero-truncated” homotopy theory.

7. Computational Examples and Applications

Explicit computations anchor the abstract theory. For $$\pi_G^2(X) = [X, S^2]^G = \pi_0(\mathrm{Map}_G(X, S^2)),$$1 (finite cyclic), $$\pi_G^2(X) = [X, S^2]^G = \pi_0(\mathrm{Map}_G(X, S^2)),$$2 coincides with the 2-nd stable stem of $$\pi_G^2(X) = [X, S^2]^G = \pi_0(\mathrm{Map}_G(X, S^2)),$$3, with explicit structure given by RO$$\pi_G^2(X) = [X, S^2]^G = \pi_0(\mathrm{Map}_G(X, S^2)),$$4-graded methods; often, for $$\pi_G^2(X) = [X, S^2]^G = \pi_0(\mathrm{Map}_G(X, S^2)),$$5, related exact sequences are trivial (Degrijse et al., 2019). For $$\pi_G^2(X) = [X, S^2]^G = \pi_0(\mathrm{Map}_G(X, S^2)),$$6 and $$\pi_G^2(X) = [X, S^2]^G = \pi_0(\mathrm{Map}_G(X, S^2)),$$7 with standard rotation, the Atiyah–Hirzebruch spectral sequence yields

$$\pi_G^2(X) = [X, S^2]^G = \pi_0(\mathrm{Map}_G(X, S^2)),$$8

matching the underlying nonequivariant cohomotopy (Degrijse et al., 2019, Grady, 2018).

In parametrized theory, families of K3 surfaces over $$\pi_G^2(X) = [X, S^2]^G = \pi_0(\mathrm{Map}_G(X, S^2)),$$9 with a complex rank-2 Dirac bundle index yield a notable calculation: for even “degree,” the cohomotopy group $G$0 is $G$1, and the nontriviality of this class reflects a genuine family-invariant (Szymik, 2020). No complex spin K3-family over $G$2 can have odd Dirac-degree, as the class in $G$3 vanishes precisely in that case.

---

Key references:

• Proper equivariant stable homotopy theory via orthogonal $G$4-spectra and Mackey functors (Degrijse et al., 2019)
• Geometric interpretation through Pontrjagin–Thom and orbifold perspectives (Grady, 2018)
• Parametrized invariants and applications to families of 4-manifolds (Szymik, 2020)