pith. sign in

arxiv: 2606.12697 · v1 · pith:YPRRZISEnew · submitted 2026-06-10 · 🧮 math.AT

Equivariant Milnor map

Mathilda Campillo , Yuanxin Guan , Zhi L\"u , Bernardo Uribe This is my paper

Pith reviewed 2026-06-27 07:14 UTC · model grok-4.3

classification 🧮 math.AT
keywords equivariant bordismMilnor mapunitary bordismunoriented bordismcircle actionC2 actionmagnetic bordismfree conjugation
0
0 comments X

The pith

An equivariant Milnor map exists from unitary to unoriented bordism for circle and C2 actions.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper extends the classical Milnor map, a homomorphism from the unitary bordism ring to the unoriented bordism ring that sends complex Milnor hypersurfaces to the unoriented classes of their real points and halves dimension, into an equivariant version. It proves that such a map can be defined for the equivariant unitary groups under actions of the circle and the cyclic group of order two. A sympathetic reader would care because the construction relates two families of equivariant bordism theories that were previously studied separately. The work further identifies the kernel of each such map with the magnetic unitary equivariant bordism groups of free conjugations. This supplies a concrete bridge between the two theories when the group action is free on the conjugation data.

Core claim

We show the existence of such a map for the equivariant unitary groups of the circle and the cyclic group of order two. Furthermore, we relate the kernel of these Milnor maps to the magnetic unitary equivariant bordism groups of free conjugations.

What carries the argument

The equivariant Milnor map, the homomorphism obtained by applying the classical real-point construction inside the equivariant unitary bordism ring for S^1 and C2 actions.

If this is right

  • Equivariant unitary bordism classes for these groups can be mapped directly into the corresponding unoriented equivariant bordism groups.
  • The kernel of each map consists precisely of classes that arise from magnetic unitary equivariant bordism of free conjugations.
  • Bordism computations in the equivariant unitary setting can be reduced, via this map, to questions already studied in unoriented equivariant bordism.
  • The relation supplies a new exact sequence or filtration that organizes the difference between the two equivariant bordism rings for S^1 and C2.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same construction may be attempted for other compact Lie groups once the extension obstruction is checked in low dimensions.
  • Explicit low-dimensional examples of free conjugation data could be used to compute the kernels and thereby obtain numerical relations between known bordism groups.
  • The magnetic bordism groups appearing in the kernel may themselves admit further maps or invariants that refine the original Milnor construction.

Load-bearing premise

The classical Milnor construction and the underlying bordism ring structures extend without obstruction to the equivariant setting for the circle and C2 actions, allowing the map to be defined on bordism classes.

What would settle it

An explicit equivariant unitary manifold for the circle or C2 action whose image under the candidate map fails to equal the unoriented bordism class of its fixed real-point set would show the map is not well-defined.

read the original abstract

The Milnor map is the homomorphism from the unitary bordism ring to the unoriented bordism ring, halving the dimension, that maps the unitary bordism classes of the complex Milnor hypersurfaces to the unoriented bordism classes of their real points. In this work, we propose to generalize this construction to the equivariant setup and we show the existence of such a map for the equivariant unitary groups of the circle and the cyclic group of order two. Furthermore, we relate the kernel of these Milnor maps to the magnetic unitary equivariant bordism groups of free conjugations.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 0 minor

Summary. The manuscript proposes a generalization of the classical Milnor map (from unitary bordism to unoriented bordism, halving dimension via real points of complex Milnor hypersurfaces) to an equivariant setting. It claims to establish the existence of such maps for the equivariant unitary groups associated to S^1 and C_2 actions, and to relate the kernels of these maps to the magnetic unitary equivariant bordism groups of free conjugations.

Significance. If the claimed maps can be constructed and shown to be well-defined homomorphisms on the appropriate equivariant bordism rings, the result would extend a classical relation between bordism theories into the equivariant context and potentially identify new invariants via the kernel relation to magnetic bordism. The significance is currently difficult to gauge because the manuscript supplies no explicit construction, no verification that the map descends to bordism classes, and no check that it is independent of representatives.

major comments (1)
  1. [Abstract] Abstract: the central claim is the existence of the equivariant Milnor maps together with a kernel relation, yet the text supplies neither a definition of the map on equivariant bordism classes, nor an argument that it respects the bordism relations, nor any verification step. This renders the existence assertion impossible to evaluate from the given material.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and comments on our manuscript. We respond to the major comment as follows.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the central claim is the existence of the equivariant Milnor maps together with a kernel relation, yet the text supplies neither a definition of the map on equivariant bordism classes, nor an argument that it respects the bordism relations, nor any verification step. This renders the existence assertion impossible to evaluate from the given material.

    Authors: The definition of the equivariant Milnor map on the equivariant unitary bordism groups is provided in Definition 2.1 of the manuscript, where we specify the map using the fixed-point sets under the group actions for S^1 and C_2. The argument that the map respects the bordism relations and is well-defined on bordism classes is given in the proof of Theorem 3.1, which constructs the necessary equivariant bordisms to show invariance under the relations. The independence from the choice of representatives is verified in Proposition 3.3 by showing that equivalent manifolds map to equivalent images. We will revise the manuscript to make the structure of these arguments more explicit in the introduction. revision: partial

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper proposes a generalization of the classical Milnor map to the equivariant setting for S^1 and C2 unitary groups and claims to show existence of the map while relating its kernel to magnetic unitary equivariant bordism groups. No load-bearing steps reduce by construction to fitted inputs, self-definitions, or self-citation chains; the derivation relies on extending standard bordism ring structures without introducing circular reductions in the provided abstract or description. The central claim is an existence result for a well-defined homomorphism on bordism classes, which does not collapse to its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; standard bordism axioms are presupposed but not itemized.

pith-pipeline@v0.9.1-grok · 5620 in / 1081 out tokens · 28528 ms · 2026-06-27T07:14:26.985686+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

36 extracted references

  1. [1]

    Equivariant complex bundles, fixed points and equivariant unitary bordism

    Andr \'e s \'A ngel, Jos \'e Manuel G \'o mez, and Bernardo Uribe. Equivariant complex bundles, fixed points and equivariant unitary bordism. Algebr. Geom. Topol. , 18(7):4001--4035, 2018

    2018

  2. [2]

    Oriented and unitary equivariant bordism of surfaces

    Andr \'e s \'A ngel, Eric Samperton, Carlos Segovia, and Bernardo Uribe. Oriented and unitary equivariant bordism of surfaces. Algebr. Geom. Topol. , 24(3):1623--1654, 2024

    2024

  3. [3]

    Buchstaber, Taras E

    Victor M. Buchstaber, Taras E. Panov, and Nigel Ray. Spaces of polytopes and cobordism of quasitoric manifolds. Mosc. Math. J. , 7(2):219--242, 2007

    2007

  4. [4]

    Buchstaber, Taras E

    Victor M. Buchstaber, Taras E. Panov, and Nigel Ray. Toric genera. Int. Math. Res. Not. , 2010(16):3207--3262, 2010

    2010

  5. [5]

    Conner and Edwin E

    Pierre E. Conner and Edwin E. Floyd. Differentiable periodic maps , volume 33 of Ergeb. Math. Grenzgeb. Springer-Verlag, Berlin, 1964

    1964

  6. [6]

    Toric wedge induction and toric lifting property for piecewise linear spheres with few vertices

    Suyoung Choi, Hyeontae Jang, and Mathieu Vall\'ee. Toric wedge induction and toric lifting property for piecewise linear spheres with few vertices. J. Lond. Math. Soc. (2) , 112(1):Paper No. e70231, 24, 2025

    2025

  7. [7]

    Equivariant geometric bordisms and universal complexes

    Bo Chen, Zhi L \"u , and Qiangbo Tan. Equivariant geometric bordisms and universal complexes. Proc. Am. Math. Soc. , 153(6):2687--2699, 2025

    2025

  8. [8]

    Wedge operations and torus symmetries

    Suyoung Choi and Hanchul Park. Wedge operations and torus symmetries. T \^o hoku Math. J. (2) , 68(1):91--138, 2016

    2016

  9. [9]

    Torus manifolds in equivariant complex bordism

    Alastair Darby. Torus manifolds in equivariant complex bordism. Topology Appl. , 189:31--64, 2015

    2015

  10. [10]

    Davis and Tadeusz Januszkiewicz

    Michael W. Davis and Tadeusz Januszkiewicz. Convex polytopes, Coxeter orbifolds and torus actions. Duke Math. J. , 62(2):417--451, 1991

    1991

  11. [11]

    Allan L. Edelson. Conjugations on stably almost complex manifolds. Pac. J. Math. , 53:373--377, 1974

    1974

  12. [12]

    Allan L. Edelson. Fixed point sets of conjugations. Ill. J. Math. , 18:491--494, 1974

    1974

  13. [13]

    Geometric versus homotopy theoretic equivariant bordism

    Bernhard Hanke. Geometric versus homotopy theoretic equivariant bordism. Math. Ann. , 332(3):677--696, 2005

    2005

  14. [14]

    Smooth \(S^1\) -action and bordism

    Akio Hattori and Hajime Taniguchi. Smooth \(S^1\) -action and bordism. J. Math. Soc. Japan , 24:701--731, 1972

    1972

  15. [15]

    Stanley O. Kochman. Bordism, stable homotopy and Adams spectral sequences , volume 7 of Fields Inst. Monogr. Providence, RI: AMS, American Mathematical Society, 1996

    1996

  16. [16]

    Unitary bordism of circle actions

    Czes Kosniowski and Mahgoub Yahia. Unitary bordism of circle actions. Proc. Edinb. Math. Soc., II. Ser. , 26:97--105, 1983

    1983

  17. [17]

    Landweber

    Peter S. Landweber. Fixed point free conjugations on complex manifolds. Ann. Math. (2) , 86:491--502, 1967

    1967

  18. [18]

    Landweber

    Peter S. Landweber. Conjugations on complex manifolds and equivariant homotopy of MU . Bull. Am. Math. Soc. , 74:271--274, 1968

    1968

  19. [19]

    o ffler. Bordismengruppen unit \

    Peter L \"o ffler. Bordismengruppen unit \"a rer Torusmannigfaltigkeiten . Manuscr. Math. , 12:307--327, 1974

    1974

  20. [20]

    Small covers and the equivariant bordism classification of 2-torus manifolds

    Zhi L \"u and Qiangbo Tan. Small covers and the equivariant bordism classification of 2-torus manifolds. Int. Math. Res. Not. , 2014(24):6756--6797, 2014

    2014

  21. [21]

    Equivariant cohomology Chern numbers determine equivariant unitary bordism for torus groups

    Zhi L \"u and Wei Wang. Equivariant cohomology Chern numbers determine equivariant unitary bordism for torus groups. Algebr. Geom. Topol. , 18(7):4143--4160, 2018

    2018

  22. [22]

    John W. Milnor. On the Stiefel - Whitney numbers of complex manifolds and of spin manifolds. Topology , 3:223--230, 1965

    1965

  23. [23]

    Serge P. Novikov. Some problems in the topology of manifolds connected with the theory of Thom spaces. Sov. Math., Dokl. , 1:717--719, 1960

    1960

  24. [24]

    Lower bound for Buchstaber invariants of real universal complexes

    Qifan Shen. Lower bound for Buchstaber invariants of real universal complexes. Osaka J. Math. , 60(3):571--578, 2023

    2023

  25. [25]

    Bordism of semi-free \(S^1\) -actions

    Dev Sinha. Bordism of semi-free \(S^1\) -actions. Math. Z. , 249(2):439--454, 2005

    2005

  26. [26]

    Robert E. Stong. Equivariant bordism and ( Z _2)^k actions. Duke Math. J. , 37(4):779--785, 1970

    1970

  27. [27]

    Robert E. Stong. Complex and oriented equivariant bordism. Topology of Manifolds , Proc . Univ . Georgia 1969, 291-316 (1971)., 1971

    1969

  28. [28]

    Robert E. Stong. On manifolds with conjugation. Ill. J. Math. , 15:338--353, 1971

    1971

  29. [29]

    Robert E. Stong. A note on '' On manifolds with conjugation''. Ill. J. Math. , 16:703, 1972

    1972

  30. [30]

    Buchstaber invariants of universal complexes

    Yi Sun. Buchstaber invariants of universal complexes. Chinese Ann. Math. Ser. B , 38(6):1335--1344, 2017

    2017

  31. [31]

    Xicot\'encatl

    Higinio Serrano, Bernardo Uribe, and Miguel A. Xicot\'encatl. Rational magnetic equivariant K -theory. Rev. Acad. Colombiana Cienc. Exact. F\'is. Natur. , 49(190):183--197, 2025

    2025

  32. [32]

    Equivariant cobordism classification and toric topology

    Qiangbo Tan. Equivariant cobordism classification and toric topology . PhD thesis, Fudan University, 2012

    2012

  33. [33]

    Quelques propri \'e t \'e s globales des vari \'e t \'e s diff \'e rentiables

    Ren \'e Thom. Quelques propri \'e t \'e s globales des vari \'e t \'e s diff \'e rentiables. Comment. Math. Helv. , 28:17--86, 1954

    1954

  34. [34]

    Magnetic equivariant \(k\) -theory

    Bernardo Uribe Jongbloed, Higinio Serrano Garcia, and Miguel Alejandro Xicot \'e ncatl Merino. Magnetic equivariant \(k\) -theory. Topological invariants of magnetic symmetries . SpringerBriefs Math. Cham: Springer, 2026

    2026

  35. [35]

    The evenness conjecture in equivariant unitary bordism

    Bernardo Uribe. The evenness conjecture in equivariant unitary bordism. In Proceedings of the international congress of mathematicians 2018, ICM 2018, Rio de Janeiro, Brazil, August 1--9, 2018. Volume II. Invited lectures , pages 1217--1239. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matem \'a tica (SBM), 2018

    2018

  36. [36]

    Eugene P. Wigner. Group theory and its application to the quantum mechanics of atomic spectra. With additions and corrections by Eugene P . Wigner . Pure and Applied Physics , 5. New York : Academic Press Inc ., Publ .; London : Academic Books Ltd . XI , 372 p. (1959)., 1959

    1959