pith. sign in

arxiv: 2605.16370 · v1 · pith:Q7PNXT6Qnew · submitted 2026-05-10 · 🧮 math.DG · math.AG

Spherical Milnor Spaces II: Projective Quotients and Higher Topological Structures

Jean-Pierre Magnot This is my paper

Pith reviewed 2026-05-20 23:02 UTC · model grok-4.3

classification 🧮 math.DG math.AG
keywords spherical Milnor spacesdiffeological groupsZ2-twistsprincipal bundlesobstruction classesnon-abelian gerbeshigher bundlesprojective quotients
0
0 comments X

The pith

Spherical Milnor spaces built from quadratic barycentric normalization yield quotients that model principal bundles with Z2 twists.

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

The paper introduces a spherical variant of Milnor's classifying construction for diffeological groups. It uses quadratic normalization of barycentric coordinates to produce a contractible diffeological space carrying commuting actions of a group G and of Z2. A hierarchy of quotient spaces arises from these actions, including a projective model and a double quotient that encodes twisted and higher structures. These spaces furnish a setting for principal bundles with Z2-twists and generate obstruction classes in low-degree cohomology while relating to non-abelian gerbes and higher bundles.

Core claim

We introduce a spherical variant of Milnor's classifying construction for diffeological groups, based on quadratic normalization of barycentric coordinates. This construction gives rise to a contractible diffeological space endowed with commuting actions of a group G and of Z2, leading naturally to a hierarchy of quotient spaces. We investigate the topological and geometric properties of these quotients, including a projective model and a double quotient space which encodes twisted and higher structures. In particular, we show that this framework provides a natural setting for the study of principal bundles with Z2-twists, and leads to obstruction classes in low-degree cohomology. The建設 is 再

What carries the argument

Spherical Milnor space obtained by quadratic normalization of barycentric coordinates, equipped with commuting G and Z2 actions that produce projective quotients and double quotients for twisted structures.

If this is right

  • Principal bundles with Z2-twists can be modeled using the double quotient spaces from the construction.
  • Obstruction classes for such bundles appear naturally in low-degree cohomology.
  • The quotients connect diffeological geometry to non-abelian gerbes.
  • Higher bundles receive geometric models inside the hierarchy of projective and double quotients.

Where Pith is reading between the lines

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

  • The contractible spaces could support explicit cocycle computations for classifying maps in the diffeological category.
  • Similar normalizations might adapt the construction to other finite-group twists for broader twisted-bundle theory.
  • Relations to higher categorical geometry may produce new invariants detectable in low-degree cohomology.

Load-bearing premise

The quadratic normalization of barycentric coordinates produces a contractible diffeological space endowed with commuting actions of G and Z2 that naturally lead to the described hierarchy of quotient spaces.

What would settle it

An explicit computation demonstrating that the space fails to be contractible after quadratic normalization, or that the G and Z2 actions do not commute, would show the hierarchy of quotients does not arise as claimed.

read the original abstract

We introduce a spherical variant of Milnor's classifying construction for diffeological groups, based on quadratic normalization of barycentric coordinates. This construction gives rise to a contractible diffeological space endowed with commuting actions of a group $G$ and of $\mathbb{Z}_2$, leading naturally to a hierarchy of quotient spaces. We investigate the topological and geometric properties of these quotients, including a projective model and a double quotient space which encodes twisted and higher structures. In particular, we show that this framework provides a natural setting for the study of principal bundles with $\mathbb{Z}_2$-twists, and leads to obstruction classes in low-degree cohomology. The construction is further related to non-abelian gerbes and higher bundles, providing a bridge between diffeological geometry, classifying space theory, and higher topological structures.

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

2 major / 2 minor

Summary. The paper introduces a spherical variant of Milnor's classifying construction for diffeological groups, based on quadratic normalization of barycentric coordinates. This produces a contractible diffeological space with commuting actions of a group G and Z_2, which induces a hierarchy of quotient spaces including a projective model and a double quotient. The work claims these quotients furnish a natural setting for principal bundles with Z_2-twists, yield obstruction classes in low-degree cohomology, and relate to non-abelian gerbes and higher bundles.

Significance. If the constructions are carried out rigorously, the framework could supply a geometric model that unifies aspects of diffeological classifying spaces with twisted bundles and higher structures. The commuting G and Z_2 actions and the resulting quotients offer a concrete way to encode twists that may be useful for obstruction theory in low-degree cohomology.

major comments (2)
  1. [Section 2] The central claim that quadratic normalization of barycentric coordinates yields a contractible diffeological space with free commuting G and Z_2 actions is load-bearing for the entire hierarchy of quotients and the subsequent bundle classification; an explicit contraction or reference to a standard contractibility argument in the diffeological category must be supplied.
  2. [Section 4] The derivation that the double quotient encodes Z_2-twisted principal bundles and produces obstruction classes in low-degree cohomology is asserted without an explicit cocycle computation or diagram showing how the Z_2 action induces the class; this step is required to substantiate the claimed relation to non-abelian gerbes.
minor comments (2)
  1. [Section 3] Clarify the precise definition of the projective quotient and how it differs from the standard projective space construction in the diffeological setting.
  2. [Introduction] Add explicit cross-references to the predecessor paper on spherical Milnor spaces to make the incremental contribution clear.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments. We address the two major comments point by point below, indicating where we agree that additional detail will strengthen the exposition.

read point-by-point responses

  1. Referee: [Section 2] The central claim that quadratic normalization of barycentric coordinates yields a contractible diffeological space with free commuting G and Z_2 actions is load-bearing for the entire hierarchy of quotients and the subsequent bundle classification; an explicit contraction or reference to a standard contractibility argument in the diffeological category must be supplied.

    Authors: We agree that an explicit argument for contractibility will improve clarity. The manuscript constructs the spherical Milnor space via quadratic normalization of barycentric coordinates on the infinite join, which is designed to be the diffeological analogue of the contractible Milnor space. Contractibility follows from the existence of a straight-line homotopy to a basepoint that remains smooth in the diffeological sense. To address the referee's request directly, we will insert a self-contained homotopy contraction in Section 2 of the revised version, verifying that it is a diffeological map and that the G and Z_2 actions remain free and commute throughout the homotopy. revision: yes

  2. Referee: [Section 4] The derivation that the double quotient encodes Z_2-twisted principal bundles and produces obstruction classes in low-degree cohomology is asserted without an explicit cocycle computation or diagram showing how the Z_2 action induces the class; this step is required to substantiate the claimed relation to non-abelian gerbes.

    Authors: We acknowledge that the link from the double quotient to Z_2-twisted bundles and low-degree obstruction classes would benefit from a more explicit illustration. The manuscript derives these structures from the commuting actions by forming the appropriate quotients and invoking the classifying property of the spherical space. In the revision we will add a commutative diagram in Section 4 that tracks the Z_2 action through the quotient maps, together with a sample cocycle computation showing how a transition function on the double quotient yields a class in H^2 with Z_2 coefficients. This will also make the relation to non-abelian gerbes more concrete by identifying the twist with the gerbe's band. revision: yes

Circularity Check

0 steps flagged

No significant circularity in the derivation chain

full rationale

The paper introduces an explicit new construction via quadratic normalization of barycentric coordinates to produce a contractible diffeological space with commuting G and Z2 actions, from which the hierarchy of quotients, projective models, twisted principal bundles, and low-degree obstruction classes are derived directly. These steps follow from the stated definitions and standard properties of diffeological spaces and classifying constructions without reducing to fitted parameters, self-referential equations, or load-bearing self-citations whose content is unverified within the paper. Although titled as part II, the central claims rest on the independent geometric construction rather than looping back to prior results by the same author as the sole justification.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based solely on the abstract, the central claims rest on the assumption that quadratic normalization yields contractibility and commuting actions; no free parameters, invented entities, or additional axioms are explicitly listed.

axioms (1)
  • domain assumption Quadratic normalization of barycentric coordinates produces a contractible diffeological space with commuting G and Z2 actions.
    Directly stated in the abstract as the basis for the hierarchy of quotient spaces.

pith-pipeline@v0.9.0 · 5664 in / 1259 out tokens · 26570 ms · 2026-05-20T23:02:39.748447+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

  • IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    We introduce a spherical variant of Milnor's classifying construction ... based on quadratic normalization of barycentric coordinates. This construction gives rise to a contractible diffeological space endowed with commuting actions of a group G and of Z₂, leading naturally to a hierarchy of quotient spaces.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

59 extracted references · 59 canonical work pages · 6 internal anchors

  1. [1]

    M. F. Atiyah and G. Segal, Twisted K-theory,Ukrainian Math. Bull.1 (2004), no. 3, 291–334

    work page 2004

  2. [2]

    J. C. Baez and A. D. Lauda, Higher-dimensional algebra V: 2-groups,Theory Appl. Categ.12 (2004), 423–491

    work page 2004

  3. [3]

    Breen,On the Classification of 2-Gerbes and 2-Stacks, Ast´ erisque, vol

    L. Breen,On the Classification of 2-Gerbes and 2-Stacks, Ast´ erisque, vol. 225, Soci´ et´ e Math´ ematique de France, Paris, 1994

    work page 1994

  4. [4]

    Differential Geometry of Gerbes and Differential Forms

    L. Breen, Differential geometry of gerbes and differential forms, arXiv:0802.1833

    work page internal anchor Pith review Pith/arXiv arXiv

  5. [5]

    Breen and W

    L. Breen and W. Messing, Differential geometry of gerbes,Adv. Math.198 (2005), no. 2, 732–846

    work page 2005

  6. [6]

    Brown and P

    R. Brown and P. J. Higgins, The algebra of cubes,J. Pure Appl. Algebra21 (1981), no. 3, 233–260

    work page 1981

  7. [7]

    Brown, P

    R. Brown, P. J. Higgins, and R. Sivera,Nonabelian Algebraic Topology, EMS Tracts in Mathematics, vol. 15, European Mathematical Society, Z¨ urich, 2011

    work page 2011

  8. [8]

    A. L. Carey, J. Mickelsson, and M. K. Murray, Index theory, gerbes, and Hamiltonian quantization,Comm. Math. Phys.183 (1997), no. 3, 707–722

    work page 1997

  9. [9]

    J. D. Christensen, G. Sinnamon, and E. Wu, TheD-topology for diffeological spaces, Pacific J. Math.272 (2014), no. 1, 87–110

    work page 2014

  10. [10]

    J. D. Christensen and E. Wu, The homotopy theory of diffeological spaces,New York J. Math.20 (2014), 1269–1303

    work page 2014

  11. [11]

    J. D. Christensen and E. Wu, Tangent spaces and tangent bundles for diffeological spaces,Cah. Topol. G´ eom. Diff´ er. Cat´ eg.57 (2016), no. 1, 3–50

    work page 2016

  12. [12]

    J. D. Christensen and E. Wu, Tangent spaces of bundles and of filtered diffeological spaces,Proc. Amer. Math. Soc.145 (2017), no. 5, 2255–2270

    work page 2017

  13. [13]

    J. D. Christensen and E. Wu, Diffeological vector spaces,Pacific J. Math.303 (2019), no. 1, 73–92

    work page 2019

  14. [14]

    J. D. Christensen and E. Wu, Smooth classifying spaces,Israel J. Math.241 (2021), no. 2, 911–954. 78 JEAN-PIERRE MAGNOT

    work page 2021

  15. [15]

    J. D. Christensen and E. Wu, Exterior bundles in diffeology,Israel J. Math.251 (2022), 537–581

    work page 2022

  16. [16]

    Dold, Partitions of unity in the theory of fibrations,Ann

    A. Dold, Partitions of unity in the theory of fibrations,Ann. of Math.(2) 78 (1963), 223–255

    work page 1963

  17. [17]

    Donovan and M

    P. Donovan and M. Karoubi, Graded Brauer groups and K-theory with local coeffi- cients,Inst. Hautes ´Etudes Sci. Publ. Math.38 (1970), 5–25

    work page 1970

  18. [18]

    J. L. Dupont,Curvature and Characteristic Classes, Lecture Notes in Mathematics, vol. 640, Springer, Berlin–New York, 1978

    work page 1978

  19. [19]

    Fiorenza, U

    D. Fiorenza, U. Schreiber, and J. Stasheff, ˇCech cocycles for differential characteristic classes: an∞-Lie theoretic construction,Adv. Theor. Math. Phys.16 (2012), no. 1, 149–250

    work page 2012

  20. [20]

    D. S. Freed, Classical Chern–Simons theory. Part 1,Adv. Math.113 (1995), no. 2, 237–303

    work page 1995

  21. [21]

    Giraud,Cohomologie non ab´ elienne, Grundlehren der mathematischen Wis- senschaften, vol

    J. Giraud,Cohomologie non ab´ elienne, Grundlehren der mathematischen Wis- senschaften, vol. 179, Springer-Verlag, Berlin–New York, 1971

    work page 1971

  22. [22]

    Goldammer, N.; Magnot, J-P.; Welker, K.; On diffeologies from infinite dimensional geometry to PDE constrained optimizationContemporary Mathematics794(2024), 1–48

    work page 2024

  23. [23]

    Hector, G´ eom´ etrie et topologie des espaces diff´ eologiques, inAnalysis and Geom- etry in Foliated Manifolds, World Scientific, Singapore, 1995, pp

    G. Hector, G´ eom´ etrie et topologie des espaces diff´ eologiques, inAnalysis and Geom- etry in Foliated Manifolds, World Scientific, Singapore, 1995, pp. 55–80

    work page 1995

  24. [24]

    Iglesias-Zemmour and F

    P. Iglesias-Zemmour and F. Laffineur, Noncommutative geometry and diffeology: the irrational torus,J. Noncommut. Geom.14 (2020), no. 4, 1249–1282

    work page 2020

  25. [25]

    Iglesias-Zemmour,Diffeology, Mathematical Surveys and Monographs, vol

    P. Iglesias-Zemmour,Diffeology, Mathematical Surveys and Monographs, vol. 185, American Mathematical Society, Providence, RI, 2013

    work page 2013

  26. [26]

    F. W. Kamber and P. Tondeur,Foliated Bundles and Characteristic Classes, Lecture Notes in Mathematics, vol. 493, Springer, Berlin–New York, 1975

    work page 1975

  27. [27]

    Karoubi,K-Theory: An Introduction, Grundlehren der mathematischen Wis- senschaften, vol

    M. Karoubi,K-Theory: An Introduction, Grundlehren der mathematischen Wis- senschaften, vol. 226, Springer, Berlin–New York, 1978

    work page 1978

  28. [28]

    Kock,Synthetic Differential Geometry, 2nd ed., London Mathematical Society Lecture Note Series, vol

    A. Kock,Synthetic Differential Geometry, 2nd ed., London Mathematical Society Lecture Note Series, vol. 333, Cambridge University Press, Cambridge, 2006

    work page 2006

  29. [29]

    Kriegl and P

    A. Kriegl and P. W. Michor,The Convenient Setting of Global Analysis, Mathematical Surveys and Monographs, vol. 53, American Mathematical Society, Providence, RI, 1997

    work page 1997

  30. [30]

    Magnot, [Exact title of the article on diffeological connections],Carpathian J

    J.-P. Magnot, [Exact title of the article on diffeological connections],Carpathian J. Math., [volume, year, pages to be completed]

    work page

  31. [31]

    Magnot and J

    J.-P. Magnot and J. Watts, The diffeology of Milnor’s classifying space,Topology Appl.232 (2017), 189–213

    work page 2017

  32. [32]

    Magnot, On spherical Milnor Classifying Spaces I: differential geometry Preprint 2026

    J.-P. Magnot, On spherical Milnor Classifying Spaces I: differential geometry Preprint 2026

    work page 2026

  33. [33]

    Milnor, Construction of universal bundles

    J. Milnor, Construction of universal bundles. I,Ann. of Math.(2) 63 (1956), 272–284

    work page 1956

  34. [34]

    Milnor, Construction of universal bundles

    J. Milnor, Construction of universal bundles. II,Ann. of Math.(2) 63 (1956), 430–436

    work page 1956

  35. [35]

    Moerdijk and D

    I. Moerdijk and D. A. Pronk, Orbifolds, sheaves and groupoids,K-Theory12 (1997), no. 1, 3–21

    work page 1997

  36. [36]

    M. K. Murray, Bundle gerbes,J. London Math. Soc.(2) 54 (1996), no. 2, 403–416

    work page 1996

  37. [37]

    Neeb, Abelian extensions of infinite-dimensional Lie groups,Travaux Math´ ematiques15 (2004), 69–194

    K.-H. Neeb, Abelian extensions of infinite-dimensional Lie groups,Travaux Math´ ematiques15 (2004), 69–194

    work page 2004

  38. [38]

    Neeb, Non-abelian extensions of infinite-dimensional Lie groups,Ann

    K.-H. Neeb, Non-abelian extensions of infinite-dimensional Lie groups,Ann. Inst. Fourier (Grenoble)57 (2007), no. 1, 209–271

    work page 2007

  39. [39]

    Nikolaus, U

    T. Nikolaus, U. Schreiber, and D. Stevenson, Principal∞-bundles: general theory, J. Homotopy Relat. Struct.10 (2015), no. 4, 749–801

    work page 2015

  40. [40]

    Nikolaus and K

    T. Nikolaus and K. Waldorf, Four equivalent versions of non-abelian gerbes,Pacific J. Math.264 (2013), no. 2, 355–420

    work page 2013

  41. [41]

    Foundations of Topological Stacks I

    B. Noohi, Foundations of topological stacks I, arXiv:math/0503247. SPHERICAL MILNOR SPACES AND TOPOLOGICAL STRUCTURES 79

    work page internal anchor Pith review Pith/arXiv arXiv

  42. [42]

    Noohi, Homotopy types of topological stacks,Adv

    B. Noohi, Homotopy types of topological stacks,Adv. Math.230 (2012), no. 4–6, 2014–2047

    work page 2012

  43. [43]

    Pervova, Diffeological vector pseudo-bundles,Topology Appl.202 (2016), 269–300

    E. Pervova, Diffeological vector pseudo-bundles,Topology Appl.202 (2016), 269–300

    work page 2016

  44. [44]

    Diffeological connections on diffeological vector pseudo-bundles

    E. Pervova, Diffeological connections on diffeological vector pseudo-bundles, arXiv:1611.07694

    work page internal anchor Pith review Pith/arXiv arXiv

  45. [45]

    Diffeological Levi-Civita connections

    E. Pervova, Levi-Civita connections on diffeological vector pseudo-bundles, arXiv:1701.04988

    work page internal anchor Pith review Pith/arXiv arXiv

  46. [46]

    Pressley and G

    A. Pressley and G. Segal,Loop Groups, Oxford Univ. Press, 1986

    work page 1986

  47. [47]

    D. L. Rector, Steenrod operations in the Eilenberg–Moore spectral sequence,Com- ment. Math. Helv.45 (1970), 540–552

    work page 1970

  48. [48]

    Rosenberg, Continuous-trace algebras from the bundle theoretic point of view,J

    J. Rosenberg, Continuous-trace algebras from the bundle theoretic point of view,J. Austral. Math. Soc. Ser. A47 (1989), no. 3, 368–381

    work page 1989

  49. [49]

    N. T. Scalbi, Differential cohomology as diffeological homotopy theory, arXiv:2408.02593

    work page arXiv

  50. [50]

    Differential cohomology in a cohesive infinity-topos

    U. Schreiber, Differential cohomology in a cohesive∞-topos, arXiv:1310.7930

    work page internal anchor Pith review Pith/arXiv arXiv

  51. [51]

    Segal, Classifying spaces and spectral sequences,Inst

    G. Segal, Classifying spaces and spectral sequences,Inst. Hautes ´Etudes Sci. Publ. Math.34 (1968), 105–112

    work page 1968

  52. [52]

    Souriau, Groupes diff´ erentiels, inDifferential Geometrical Methods in Math- ematical Physics, Lecture Notes in Mathematics, vol

    J.-M. Souriau, Groupes diff´ erentiels, inDifferential Geometrical Methods in Math- ematical Physics, Lecture Notes in Mathematics, vol. 836, Springer, Berlin, 1980, pp. 91–128

    work page 1980

  53. [53]

    Stacey, Comparative smootheology,Theory Appl

    A. Stacey, Comparative smootheology,Theory Appl. Categ.25 (2011), no. 4, 64–117

    work page 2011

  54. [54]

    Stevenson, The geometry of bundle gerbes, Ph.D

    D. Stevenson, The geometry of bundle gerbes, Ph.D. thesis, University of Adelaide, 2000

    work page 2000

  55. [55]

    Waldorf, More morphisms between bundle gerbes,Theory Appl

    K. Waldorf, More morphisms between bundle gerbes,Theory Appl. Categ.18 (2007), no. 9, 240–273

    work page 2007

  56. [56]

    Waldorf, A construction of string 2-group models using a transgression-regression technique, inAnalysis, Geometry and Quantum Field Theory, Contemp

    K. Waldorf, A construction of string 2-group models using a transgression-regression technique, inAnalysis, Geometry and Quantum Field Theory, Contemp. Math., vol. 584, Amer. Math. Soc., Providence, RI, 2012, pp. 99–115

    work page 2012

  57. [57]

    Watts,Diffeologies, Differential Spaces, and Symplectic Geometry, Ph.D

    J. Watts,Diffeologies, Differential Spaces, and Symplectic Geometry, Ph.D. thesis, University of Toronto, 2012

    work page 2012

  58. [58]

    Principal 2-bundles and their gauge 2-groups

    C. Wockel, Principal 2-bundles and their classifying spaces, arXiv:0803.3692

    work page internal anchor Pith review Pith/arXiv arXiv

  59. [59]

    Wu, Pushforward and smooth vector pseudo-bundles,Pacific J

    E. Wu, Pushforward and smooth vector pseudo-bundles,Pacific J. Math.322 (2023), no. 1, 195–224. SFR MATHSTIC, LAREMA, Universit´e d’Angers, 2 Bd Lavoisier, 49045 Angers cedex 1, France; Lyc ´ee Jeanne d’Arc, 40 avenue de Grande Bretagne, 63000 Clermont-Ferrand, France; Lepage Research Institute, 17 novembra 1, 081 16 Presov, Slovakia Email address:magnot@...

    work page 2023