Equivariant formality in complex-oriented theories

TL;DR

This paper proves an equivariant formality result for complex-oriented cohomology theories in Hamiltonian G-manifolds, extending classical results and establishing new localization and injectivity theorems for advanced cohomology theories.

Contribution

It generalizes the Atiyah-Bott-Kirwan equivariant formality to all complex-oriented theories using modern cohomological splitting techniques.

Findings

Proves equivariant formality for complex-oriented theories in Hamiltonian G-manifolds.

Establishes localization and injectivity theorems for Hopkins-Kuhn-Ravenel theories.

Provides a Goresky-Kottwitz-MacPherson theorem with Morava K-theory coefficients.

Abstract

Let $G$ be a product of unitary groups and let $(M,\omega)$ be a compact symplectic manifold with Hamiltonian $G$-action. We prove an equivariant formality result for any complex-oriented cohomology theory $\mathbb{E}^*$ (in particular, integral cohomology). This generalizes the celebrated result of Atiyah-Bott-Kirwan for rational cohomology from the 1980s. The proof does not use classical ideas but instead relies on a recent cohomological splitting result of Abouzaid-McLean-Smith for Hamiltonian fibrations over $\mathbb{CP}^1.$ Moreover, we establish analogues of the "localization" and "injectivity to fixed points" theorems for certain cohomology theories studied by Hopkins-Kuhn-Ravenel. As an application of these results, we establish a Goresky-Kottwitz-MacPherson theorem with Morava $K$-theory coefficients for Hamiltonian $T$-manifolds.