Equivariant Bordism Ring

• Equivariant bordism ring is defined as the graded ring of bordism classes of G-manifolds with stably complex structures, capturing fixed point data and formal group law phenomena.
• Its algebraic structure is governed by equivariant formal group laws, where Euler classes and structure constants define relations influenced by group actions and fixed-point localization techniques.
• Applications include computing characteristic numbers, classifying torus actions on manifolds, and bridging geometric, homotopical, and algebraic insights through universal properties.

The equivariant bordism ring encodes geometric and homotopical data of manifolds equipped with a smooth action by a group, with the algebraic structure reflecting subtle properties of fixed points, representation theory, and formal group laws. In the equivariant context, the ring structure is significantly more complex and rich than in the non-equivariant (purely topological) case, with new algebraic phenomena arising from group actions, fixed-point localization, and equivariant characteristic classes. Both geometric (bordism of G-manifolds) and homotopical (Thom spectrum) approaches yield meaningful and computable equivariant bordism rings, especially for actions of tori, finite abelian groups, and compact Lie groups.

1. Foundational Definitions and Equivariant Bordism Rings

Let $G$ be a compact Lie group (notably $S^1$, tori $T^n$, or finite abelian groups). The geometric $G$-equivariant complex bordism group $\Omega^{U:G}_n$ consists of bordism classes of smooth, closed, stably complex $G$-manifolds, where stably complex means the tangent bundle becomes a $G$-equivariant complex vector bundle after adding a trivial real bundle. The coefficient ring is given by $MU^G_* = \Omega^{U:G}_*$, with graded ring structure: disjoint union provides addition, and the Cartesian product (with diagonal $G$-action) provides multiplication.

For compact tori $G=T^r$, Tom Dieck's equivariant (complex) cobordism $MU_G$ and Cole-Greenlees-Kriz's universal equivariant Lazard ring $L_G$ both serve as universal objects in the classification of complex-oriented $G$-equivariant cohomology theories, via equivariant formal group laws (Liu, 2013, Hausmann, 2019).

The equivariant bordism ring $MU^G_*$ encodes not just the classes of $G$-manifolds, but also the manner in which their tangent representations decompose under the group action, the presence and weights of fixed points, and the characteristic classes arising from equivariant vector bundles (Carlson, 2019, Liu, 2011).

2. Algebraic Presentation and Formal Group Law Structures

The algebraic structure of equivariant bordism rings is governed by equivariant formal group laws. In the nonequivariant setting, Quillen identified the complex bordism ring with the Lazard ring $L$ for formal group laws; the equivariant analog is that $MU^G_*$ (at least for abelian $G$) is isomorphic to the equivariant Lazard ring $L^G$ (Hausmann, 2019, Hanke et al., 2017). For tori, $L_G$ is generated by Euler classes of nontrivial 1-dimensional representations and structure constants for the formal group law, modulo relations coming from the group structure and the formal group law (Liu, 2013).

For a finite abelian group $G$, $MU_G^*$ is explicitly presented as a completed inverse limit over chains of subgroups $S$: $$MU_G^*(\mathrm{pt}) \cong \varprojlim_{S} \widehat{A_S}/I_S$$ where $A_S$ is a polynomial algebra in Euler classes of irreducible components over $MU^*$, and $I_S$ imposes the formal group law relations among such classes (Abram et al., 2015, Abram, 2013). The combination of surjective and injective comparison maps (from the equivariant Lazard ring, or to Borel cohomology) ensures these presentations are effective and reflect topological fixed point data.

For split tori, $MU_G$ is generated by the Euler classes $e(\beta)$ and the universal formal group law structure constants $a_{s,t}^u$ subject only to relations derived from the formal group law and the regularity of the Euler class sequence (Liu, 2013). Completion at the augmentation ideal identifies $MU_G$ with the ring of power series $L[[e(\beta_1), \dots, e(\beta_r)]]$.

3. Fixed Point Localization and Computations for Tori

Fixed point localization is a central technique for both computing and constraining equivariant bordism rings, especially in semifree and torus contexts. The Atiyah-Bott-Berline-Vergne (ABBV) formula plays a decisive role: $$\int_M c^T_I(TM) = \sum_{p \in M^G} \frac{c_I^T|_p}{e_G(\nu_p)}$$ where $c_I^T$ is an equivariant Chern class, $e_G(\nu_p)$ is the equivariant Euler class of the normal bundle at a fixed point, and the sum runs over isolated fixed points. For semifree $S^1$-manifolds with only isolated fixed points, this leads to strict linear relations on fixed point data ("semifree ABBV identities"), determining the ring structure (Carlson, 2019).

In the semifree, isolated-fixed-point case for $S^1$, geometric and fixed point localization arguments show that every class is a polynomial in $x=[\mathbb{CP}^1]$, so that

$$MU_*^{S^1,\,\mathrm{semi}} \cong \mathbb{Z}[x],\quad \deg(x)=2$$

with no further relations. All isotropy information beyond diagonally rotated spheres is forced to vanish by the identities among fixed point contributions (Carlson, 2019).

For general torus actions, the equivariant algebraic cobordism $\Omega_T^*(X)$ (in algebraic geometry) enjoys a free module structure over $S(T) = L[[t_1, \ldots, t_r]]$, the equivariant cobordism of a point. For filtrable (e.g., toric) varieties, $\Omega_T^*(X)$ splits according to fixed points, and the localization theorem ensures that restriction to fixed points, after inverting weights, completely determines classes (Krishna, 2010, Krishna et al., 2010).

Toric varieties provide computable, combinatorial models: their equivariant cobordism ring is presented as

$$MU_T^*(X) \cong MU_T^*(pt)[x_\rho \mid \rho \in \Sigma(1)] / (I_{SR},\, R_m)$$

where $x_\rho$ correspond to $T$-invariant divisors, $I_{SR}$ encodes Stanley–Reisner (fan) relations, and $R_m$ imposes linear relations from the universal formal group law (Krishna et al., 2010). The forgetful map to ordinary cobordism sends all equivariant parameters to zero, yielding the ordinary presentation.

4. Universal Properties and Connections to Global Homotopy Theory

For abelian groups, the equivariant bordism ring is characterized by deep universal properties. The main result is that $MU_*^A$ is the universal global group Law—i.e., the initial object among all contravariant functors from $\mathsf{Ab}$ (compact abelian Lie groups) to commutative rings equipped with a coordinate (the universal Euler class), satisfying short-exactness with respect to multiplication by Euler classes and restriction to kernels (Hausmann, 2019).

More generally, for all elementary abelian 2-groups, the real bordism ring $MO_*^A$ is universal among global 2-torsion formal group laws, i.e., those with $[2]_F(y(\epsilon)) = 0$, and this universality principle enables passage between geometric, homotopical, and algebraic descriptions across all such groups (Hausmann et al., 2024, Hausmann, 2019).

This perspective tightly integrates the algebraic and topological data—fixed-point structure, Euler class regularity, and formal group law coefficients—via global homotopy theory. The resulting functoriality allows all restriction and transfer operations to be interpreted formally in this algebraic setting, and provides inductive and computational power for computation over arbitrary abelian groups.

5. Examples, Extensions, and Open Directions

• Semifree $S^1$-equivariant bordism: only one generator ($x=[\mathbb{CP}^1]$), free algebra with no additional relations (Carlson, 2019).
• Torus equivariant bordism: polynomial algebra over the Lazard ring in equivariant parameters, with Stanley–Reisner and formal group law relations; the structure over filtrable and toric varieties is algorithmically computable (Krishna, 2010, Krishna et al., 2010, Darby, 2014).
• Finite abelian groups: the ring admits a detailed presentation as a pullback over chains of subgroups, with the formal group law governing relations among Euler classes of irreducible characters (Abram et al., 2015, Abram, 2013).
• Algebraic cobordism: geometric (double-point relations) and algebraic (Chern class operators, formal group law) methods coincide (Liu, 2011). The canonical fixed-point map is well-defined and reflects equivariant singularities.
• Non-toral groups and complexity: For non-abelian or non-toral actions, e.g., symmetric groups, advanced isotropy-separation and Tate square constructions yield explicit presentations, albeit with more intricate coherence and compatibility requirements (Hu et al., 2021).

Open questions include the regularity of Euler classes beyond tori, the explicit structure of equivariant bordism for non-abelian groups, computational methods for highly non-free actions, and the interaction of geometric and purely algebraic approaches. The ring-theoretic and localization properties for generalized settings (e.g., GKM complexes, orbifolds, infinite discrete groups) remain active areas of research.

6. Impact and Significance

The equivariant bordism ring and its algebraic structure via global group laws and formal group laws have reshaped the interaction between algebraic topology, globalization and descent, geometry of group actions, and even algebraic geometry. The explicit connection to the equivariant Lazard ring, the precise localization calculi, and the universality properties inform both the computational and conceptual landscape of equivariant stable homotopy theory and algebraic cobordism (Hausmann, 2019, Krishna, 2010).

These developments have practical consequences in the computation of characteristic numbers for $G$-manifolds, the classification of torus manifolds and toric varieties, and even the study of invariants in equivariant enumerative geometry and localization in algebraic geometry.

---

References:

• (Carlson, 2019) B. Hanke and H. Wiemeler, "Fixed points and semifree bordism," 2019.
• (Krishna, 2010) A. Krishna, "Equivariant Cobordism for Torus Actions," 2010.
• (Liu, 2013) G. Liu, "On the Equivariant Lazard Ring and Tom Dieck's Equivariant Cobordism Ring," 2013.
• (Abram et al., 2015) A. Abram and I. Kriz, "The equivariant complex cobordism ring of a finite abelian group," 2015.
• (Hausmann, 2019) F. Hausmann, "Global group laws and equivariant bordism rings," 2019.
• (Darby, 2014) A. Darby, L. Lü, and L. Yu, "Torus Manifolds in Equivariant Complex Bordism," 2014.
• (Liu, 2011) C. L. Liu, "Equivariant Algebraic Cobordism and Double Point Relations," 2011.
• (Hu et al., 2021) P. Hu, I. Kriz, and Y. Lu, "Coefficients of the $Σ_3$-equivariant complex cobordism ring," 2021.
• (Hausmann et al., 2024) L. Firsching and D. Barnes, "The universal property of bordism of commuting involutions," 2024.