Conner-Floyd theorem

Conner-Floyd theorem The Conner–Floyd theorem is a result in Algebraic topology and Cobordism theory concerning actions of finite groups on manifolds and relationships between fixed-point sets and bordism classes. It links transformation-group techniques developed by P. A. Smith, John Milnor, Raoul Bott, and Frank Adams with equivariant versions of Thom and Pontryagin constructions used in Homotopy theory and K-theory. The theorem has influenced work by Dennis Sullivan, Michael Atiyah, Friedrich Hirzebruch, and William Browder.

Statement of the theorem

The Conner–Floyd theorem asserts constraints on the cobordism class of a smooth compact manifold admitting a smooth action by a finite cyclic group, expressed in terms of fixed-point data and characteristic numbers. In its classical form it relates equivariant bordism with fixed-point manifolds via maps induced by inclusion, invoking results analogous to the Lefschetz fixed-point theorem and the Atiyah–Bott fixed-point theorem. The statement can be formulated in frameworks used by René Thom, Lev Pontryagin, and Benson Farb-style transformation-group theory, and is often presented alongside the Smith conjecture and theorems of P. A. Smith and Edward Witten on equivariant indices.

Historical context and motivation

Conner and Floyd developed their theorem in the milieu of mid-20th-century advances in cobordism and transformation groups; their work built on the cobordism rings introduced by René Thom and calculated by Milnor and Milnor with contributions from Serre-inspired homological methods. The motivation drew upon classification problems considered by H. Hopf, fixed-point results by P. A. Smith, and index-theoretic techniques from Michael Atiyah and Isadore Singer. Influential contemporaries included Raoul Bott, F. Hirzebruch, S. P. Novikov, and William Browder, while later developments connected to work of Borel, Tate, N. E. Steenrod, and M. F. Atiyah.

Proof outline and key techniques

Proofs of the Conner–Floyd theorem employ equivariant bordism, transfer maps, and characteristic-class calculations analogous to methods used by René Thom and Lev Pontryagin. Key tools include equivariant versions of the Thom isomorphism, equivariant K-theory techniques related to Michael Atiyah and Friedrich Hirzebruch's genera, and localization arguments inspired by the Atiyah–Bott fixed-point theorem and Berline–Vergne formulae. The original arguments use spectral-sequence computations in the style of Jean Leray and Jean-Pierre Serre, while refinements invoke techniques from stable homotopy theory developed by John Milnor, J. F. Adams, and Douglas C. Ravenel.

Examples and applications

Concrete applications include constraints on actions of cyclic groups such as C_p and dihedral groups on manifolds considered by P. A. Smith; instances arise in analysis of periodic diffeomorphisms studied by Edwin E. Floyd and in classification results akin to those pursued by William Browder and C.T.C. Wall. The theorem informs computations in complex cobordism connected to Daniel Quillen and calibrations of genera of Hirzebruch type, used in problems investigated by Michael Atiyah and Bott concerning transformation groups on homotopy spheres treated by Kervaire and Milnor. It also underpins restrictions employed in later work by M. F. Atiyah and G. Segal on equivariant K-theory and by Borel in study of group actions on manifolds.

Generalizations and related results

Generalizations extend Conner–Floyd-type conclusions to broader equivariant bordism theories, interacting with Quillen's approach to complex cobordism, Ravenel's work in stable homotopy, and modern equivariant homotopy theory as developed by Mike Hill, Michael Hopkins, and Douglas Ravenel. Related results include the Atiyah–Segal completion theorem, Localization theorem (equivariant cohomology), and extensions by L. C. R. F. Quillen to formal-group-law techniques used by Morava and in Chromatic homotopy theory. Connections also appear with index-theory generalizations by Isadore Singer and Michael Atiyah, as well as fixed-point phenomena studied by P. A. Smith and later by Tom Mrowka and Peter Kronheimer in gauge-theoretic contexts.

Category:Algebraic topology