REVIEW 3 major objections 4 minor 1 cited by
Bordism and resolution of singularities
T0 review · 3 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read The paper proves that every compact stably complex derived orbifold is complex bordant to an honest stably complex manifold, via functorial resolution of singularities.
desk verdict Substantial, carefully built splitting theorems for derived orbifold bordism and equivariant bordism; the main caveat is a load-bearing analytic resolution theorem that is only sketched. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The carrying mechanism is a three-stage resolution algorithm applied to a normally complex orbifold. First, Fukaya-Ono-Parker sections, equivariant polynomial perturbations of a section, make zero loci regular in a sense modeled on holomorphic transversality. Their universal zero loci, built from $\Gamma$-equivariant polynomial maps between representations, are then resolved using the Abramovich-Temkin-Wlodarczyk functorial embedded resolution of singularities, with a complex-analytic version used to glue local resolutions into global Cartesian diagrams. Finally, the resulting orbifold is made geometrically abelian by iterated blow-ups following Bergh-Rydh, then destackified by blow-ups and root stacks following Bergh so that its coarse space is a smooth manifold. Compatibility of the resolutions under restriction, stabilization, and products is what makes the construction a natural transformation of homology theories.
What would settle it
Apply the construction to a compact stably complex derived orbifold whose local model is a non-abelian quotient, such as a generic equivariant polynomial zero locus for $\Gamma = S_3$ acting faithfully, and check that the Cartesian square of Proposition 6.15 commutes after restricting stabilizers; any failure would make the splitting map fail to be a natural transformation. Equivalently, exhibit a complex-analytic pair for which the resolution functor of Theorem 6.6 disagrees with the algebraic resolution on a common algebraic pair, which would break the local-to-global gluing and hence Theorem 1.18.
Extended reading notes
Core claim
On the paper's own terms, the central claim is Theorem 1.18: there is a natural transformation $Z: d\Omega^U \to \Omega^U$ of homology theories on orbispaces, respecting the $\Omega^U$-module structures, which splits the inclusion of orbifold bordism in its derived version. In geometric terms, every compact stably complex derived orbifold, presented as the zero locus of a section of a complex vector bundle over an orbifold, is complex bordant to an honest stably complex orbifold, and the correspondence is natural for maps of orbispaces. Passing to topological spaces through the functor $R$ gives the splitting of manifold bordism into its orbifold version, and specializing to finite groups gives the equivariant splittings of Theorems 1.3 and 1.7. The same construction, combined with global Kuranishi charts, defines integral complex cobordism-valued Gromov-Witten classes for arbitrary closed symplectic manifolds.
Load-bearing premise
The load-bearing premise is the complex-analytic functorial embedded resolution theorem stated as Theorem 6.6 in Section 6.1, which the paper presents only as a sketch and attributes to external work; all local resolutions of universal zero loci are patched into global Cartesian diagrams through that theorem, so if it fails for complex-analytic pairs exactly as stated, the splitting map would not be a natural transformation.
Editorial extensions
If this is right
- The inclusion of complex orbifold bordism in derived orbifold bordism splits naturally, so stably complex derived orbifolds introduce no new bordism classes beyond ordinary stably complex orbifolds and manifolds.
- For each finite group $\Gamma$, the map from complex bordism to $\Gamma$-equivariant bordism and the map from geometric to homotopical equivariant bordism split as modules over $\Omega^U_*$.
- Closed symplectic manifolds admit complex cobordism-valued Gromov-Witten invariants that are integral and independent of the almost complex structure, agreeing with the classical class whenever the moduli space is a transverse manifold.
- The null-homotopy statement for $\Omega\mathrm{Ham}(X,\omega) \wedge S^1$ constrains the topology of Hamiltonian fibrations over $S^2$, giving a family version of the homological splitting theorem.
- Because the algorithm applies to normally complex orbifolds, the same resolution machinery is available for moduli spaces with Lagrangian boundary conditions, not only for closed holomorphic curves.
Reading between the lines
- If the splitting is compatible with external but not internal equivariant products, the natural home for the invariants may be a global equivariant bordism spectrum rather than a single $\Gamma$-equivariant module; the paper does not settle that refinement.
- The algebraic analogue of complex-bordism Gromov-Witten invariants would require a different general-position argument, since Lemma 7.6 uses smooth Sard-Smale transversality; the paper explicitly leaves the purely algebraic route open.
- A testable extension is to compute the new Gromov-Witten classes in genus zero for simple targets such as $\mathbb{CP}^n$ and check the expected splitting axioms, which would provide independent evidence for the naturality of the resolution construction.
- If the methods can be refined to respect fiber products, they could support a Hamiltonian Floer homotopy type as an $MU$-module; the paper notes its current construction is not multiplicative enough for that step.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper adapts functorial algorithms for resolution of singularities from algebraic geometry to construct a natural transformation Z : dΩU → ΩU of homology theories on orbispaces, splitting the inclusion of orbifold bordism into derived orbifold bordism (Theorem 1.18). The construction proceeds in three stages: abelianization of normally complex orbifolds via iterated blow-ups (Section 3), desingularization of coarse spaces via blow-ups and root stacks (Section 4), and resolution of the zero loci of regular FOP sections using functorial embedded resolution of singularities (Sections 6 and 7). The splitting is then applied to prove splitting statements for equivariant geometric vs. homotopical bordism (Theorems 1.3, 1.7, 1.10, 1.12), to construct complex cobordism-valued Gromov–Witten invariants for arbitrary closed symplectic manifolds (Theorem 1.14), and to derive a constraint on Hamiltonian fibrations over S^2 (Theorem 1.16). The central technical novelty is the replacement of the canonical Whitney stratification of [BX22b] by resolutions of universal zero loci, which requires a complex analytic functorial embedded resolution theorem that is only sketched.
Significance. If the main theorem is established, the paper provides a substantial structural result: a natural, module-linear splitting of derived orbifold bordism into ordinary orbifold bordism, unifying several previously separate phenomena in equivariant stable homotopy and symplectic topology. The applications to integral complex cobordism-valued Gromov–Witten invariants and to the topology of Hamiltonian fibration spaces are significant and would likely trigger further work. The paper is also praiseworthy for its concrete algorithmic perspective, its careful treatment of normally complex orbifolds as the natural category, and its explicit identification of the ways in which the algebraic resolution machinery must be adapted to the smooth/analytic setting. However, the central result currently rests on two under-supported inputs: the complex analytic functorial embedded resolution theorem (Theorem 6.6) and the generic regularity of FOP sections (Lemma 7.6). Because the paper itself notes in Remark 6.14 that the algebraic category proof is not known, these gaps are load-bearing and must be closed before the claims can be accepted.
major comments (3)
- [§6.1, Theorem 6.6] Theorem 6.6, the complex analytic functorial embedded resolution theorem, is load-bearing for the paper's local-to-global construction: it is used in Proposition 6.15 to establish the Γ2-equivariant Cartesian diagram (6.31), which in turn guarantees that the local resolutions of universal zero loci can be patched into a global resolution in Section 7.2 (the colimit (7.45)). The proof of Theorem 6.6 occupies only a three-step sketch, and the citation given is the unverifiable string "[W/suppress lo24]". The sketch does not establish the crucial functoriality property for holomorphic submersions—namely that the resolution of a pullback pair is the pullback of the resolution—nor does it provide the analytic counterparts of the maximal-contact hypersurface uniqueness and coefficient ideal arguments in [ATW19]. Since Remark 6.14 explicitly states that the algebraic version of Proposition 6.15 is not known, Theorem 6.6 cannot be replaced by the existing algebraic Theorem 6.2. Unless a complete proof or a precise, verifiable reference with the exact statement is supplied, the Cartesian diagram (6.31), and hence the naturality of the splitting map in Theorem 1.18, is not rigorously established.
- [§7.1, Lemma 7.6] Lemma 7.6 asserts that a generic FOP section is regular, but the proof is a single paragraph that invokes Sard–Smale on a Fréchet space of smooth Γ-equivariant bundle maps. The paper does not verify the hypotheses of the infinite-dimensional transversality theorem it appeals to: it does not specify the Banach manifold setup, the nonlinear Fredholm operator whose linearization must be surjective, nor the sense in which the universal zero loci in Definition 7.3 are smooth Banach submanifolds of the relevant mapping spaces. Moreover, Definition 7.3 requires transversality simultaneously for all conjugacy classes γ'' and all stabilizer subgroups Γ', and Proposition 7.4 requires compatibility of these conditions under the partial order of stabilizers; Lemma 7.6 must show that a single generic section satisfies all these constraints at once, uniformly over the compact base. As written, the proof of Lemma 7.6 is an assertion rather than a demonstration, and the resolution procedure of Section 7.2 depends essentially on this regularity statement.
- [§6.2, Proposition 6.15] Even assuming Theorem 6.6, the proof of Proposition 6.15 has a gap in the passage from the local statement of Lemma 6.16 to the global Cartesian diagram (6.31). Lemma 6.16 constructs a complex analytic left inverse θd only locally near points of ZΓ1d(V,W)◦ ∩ VΓ2+ × PolyΓ1d(V,W), and the proof of Lemma 6.17 asserts that the resulting local diagrams "can be patched together" using functoriality. The manuscript does not provide a descent argument explaining why the local left inverses, which depend on choices of a subspace lv0 and Lagrange interpolation data, can be chosen compatibly on overlaps of the open neighborhood, nor why the resulting local submersions induce a single well-defined morphism of pairs to which the resolution functor can be applied globally. Without such an argument, the Cartesian-ness of (6.31) is not fully established, and the patching of resolutions from local charts to the global orbifold is not justified.
minor comments (4)
- [Throughout] The name "Włodarczyk" is consistently garbled as "W/suppress lo" in the text and in the citation for Theorem 6.6; the reference should be corrected to a proper, verifiable source.
- [§5.2, Algorithm I] The text claims that the only auxiliary choice in the destackification algorithm is the choice of flattened Riemannian metric, but the subsequent FOP perturbation step (Section 7) involves additional choices, including the degree d and the approximating section; the paper should clarify which choices are shown to be irrelevant or contractible for the bordism class.
- [§7.1, Lemma 7.5] The commutative diagram in Lemma 7.5 has a typo in its display (the arrow labels f1 and f2 appear to be missing targets), and the proof would benefit from explicitly naming the point in M1 used in the pullback.
- [§2.3, Definition 2.21] The definition of a straightened connection is notationally dense and does not explicitly state that the parallelism ρΓ' is used to identify the connection on the disc bundle with the pulled-back connection; a short explanatory sentence would improve readability.
Circularity Check
No circularity: the splitting map is constructed by resolving zero loci using external functorial resolution theorems and prior FOP-section machinery; the target result is never assumed as an input.
full rationale
The central derivation chain is self-contained in the relevant sense: Theorem 1.18 constructs the natural transformation Z : dΩU → ΩU by taking a compact stably complex derived orbifold, perturbing its defining section to a regular FOP section, resolving the singularities of the resulting zero locus, and then applying the orbifold-to-manifold destackification algorithm. Each of these stages is justified by explicitly cited external tools—Abramovich–Temkin–Włodarczyk functorial resolution, Bergh–Rydh abelianization, Bergh destackification, and the Bai–Xu FOP-section framework—none of which assumes the splitting theorem being proved. Bordism invariance is addressed by applying the same algorithmic steps to cobordisms, not by invoking the desired splitting. The authors' prior works (BX22b, AMS21) are used for foundational ingredients such as FOP sections, universal zero loci, and global Kuranishi charts, but those ingredients do not contain the splitting conclusion, so their use is independent support rather than a self-citation loop. The weakest point is Theorem 6.6, the complex analytic functorial embedded resolution theorem, which is stated with only a sketch and a garbled citation, and Remark 6.14 explicitly says the algebraic analogue is not known; this is a genuine correctness and verification risk for the local-to-global Cartesian diagrams, but it is not circularity, because Theorem 6.6 does not encode or imply the splitting map. No equation in the paper reduces to a fitted parameter, a renamed known result, or a conclusion imported from the authors' own prior work; the derivation does not assume the target result.
Assumptions & free parameters
assumptions (6)
- domain assumption Functorial embedded resolution of singularities for algebraic pairs over C (ATW19) and its complex analytic counterpart (Wlo24)
- domain assumption Bergh-Rydh functorial abelianization and Bergh destackification for Deligne-Mumford stacks can be adapted to normally complex orbifolds
- domain assumption Pardon's results that all derived orbifolds arise as global quotients and his model of orbispaces
- domain assumption Existence, approximation, and straightening properties of FOP sections from Bai-Xu (BX22b)
- domain assumption Global Kuranishi charts for Gromov-Witten moduli spaces from AMS21 and HS22
- standard math Sard-Smale theorem and standard transversality arguments in the smooth category
Cite this review
Pith. "Pith review of Bordism and resolution of singularities." pith.science (2026). https://pith.science/paper/SA6S65SN
@misc{pith2026241204451,
author = {Pith},
title = {Pith review of: Bordism and resolution of singularities},
year = {2026},
howpublished = {\url{https://pith.science/paper/SA6S65SN}},
note = {Machine review of arXiv:2412.04451}
}
abstract
We adapt algorithms for resolving the singularities of complex algebraic varieties to prove that the natural map of homology theories from complex bordism to the bordism theory of complex derived orbifolds splits. In equivariant stable homotopy theory, our techniques yield a splitting of homology theories for the map from bordism to the equivariant bordism theory of a finite group $\Gamma$, given by assigning to a manifold its product with $\Gamma$. In symplectic topology, and using recent work of Abouzaid-McLean-Smith and Hirschi-Swaminathan, we conclude that one can define complex cobordism-valued Gromov-Witten invariant for arbitrary (closed) symplectic manifolds. We apply our results to constrain the topology of the space of Hamiltonian fibrations over $S^2$. The methods we develop apply to normally complex orbifolds, and will hence lead to applications in symplectic topology that rely on moduli spaces of holomorphic curves with Lagrangian boundary conditions.
Forward citations
Cited by 1 Pith paper
-
Ample divisor complements, Floer spectra, and relative Gromov-Witten theory
The associated graded of the Floer homotopy type of an ample smooth divisor complement is computed, with the splitting obstruction encoded in a stable homotopy class from genus-0 relative Gromov–Witten moduli.
Reference graph
Works this paper leans on
-
[1]
[AB21] Mohammed Abouzaid and Andrew Blumberg, Arnold conjecture and Morava K-theory , http://arxiv.org/abs/2103.01507,
-
[6]
[Ati61] M. F. Atiyah, Bordism and cobordism, Proc. Cambridge Philos. Soc. 57 (1961), 200–208. [ATW19] Dan Abramovich, Michael Temkin, and Jaros/suppress law W/suppress lodarczyk, Functorial embedded resolution via weighted blowings up , https://arxiv.org/abs/1906.07106,
arXiv 1961
-
[10]
[BX22a] Shaoyun Bai and Guangbo Xu, Arnold conjecture over integers , https://arxiv.org/abs/2209.08599,
- [15]
-
[16]
[Kon95] Maxim Kontsevich, Enumeration of rational curves via torus actions , The moduli space of curves (Texel Island, 1994), Progr. Math., vol. 129, Birkh¨ auser Boston,Boston, MA, 1995, pp. 335–368. [Kri23] Sophie Kriz, On completion and the evenness conjecture for homotopical e quivariant cobordism,
work page 1994
-
[17]
[KY83] Czes Kosniowski and Mahgoub Yahia, Unitary bordism of circle actions , Proc. Edinburgh Math. Soc. (2) 26 (1983), no. 1, 97–105. MR 695647 [Las79] Richard Lashof, Stable G-smoothing, Algebraic Topology Waterloo 1978, Springer, 1979, pp. 283 –306. [L¨ of73] Peter L¨ offler, Equivariant unitary cobordism and classifying spaces , Proceedings of the Inter...
work page 1983
-
[18]
MR 2271789 [Par13] Brett Parker, Integral counts of pseudo-holomorphic curves , https://arxiv.org/abs/1309.0585,
-
[19]
[Par16] John Pardon, An algebraic approach to virtual fundamental cycles on modu li spaces of pseudo- holomorphic curves , Geom. Topol. 20 (2016), no. 2, 779–1034. [Par21] , Orbifold bordism and duality for finite orbispectra , Geom. Topol. (to appear) (2021), 1–74. [Par22] , Enough vector bundles on orbispaces , Compos. Math. 158 (2022), no. 11, 2046–2081...
work page 2016
Show all 21 references
-
[1964]
Math., vol
MR 176478 [CG06] Tom Coates and Alexander Givental, Quantum cobordisms and formal group laws , The unity of math- ematics, Progr. Math., vol. 244, Birkh¨ auser Boston, Boston, MA, 2006, pp. 155–171. [FO97] Kenji Fukaya and Kaoru Ono, Floer homology and Gromov–Witten invariant ...
2006
-
[1978]
[HS22] Amanda Hirschi and Mohan Swaminathan, Global kuranishi charts and a product formula in symplectic gromov-witten theory, https://arxiv.org/abs/2212.11797,
-
[1996]
MR 266241 [Wal85] Friedhelm Waldhausen, Algebraic K-theory of spaces , Algebraic and geometric topology (New Brunswick, N.J., 1983), Lecture Notes in Math., vol
[tD70] Tammo tom Dieck, Bordism of G-manifolds and integrality theorems , Topology 9 (1970), 345–358. MR 266241 [Wal85] Friedhelm Waldhausen, Algebraic K-theory of spaces , Algebraic and geometric topology (New Brunswick, N.J., 1983), Lecture Notes in Math., vol. 1126, S pring...
1970
-
[1997]
5, 933–1048
[FO99] Kenji Fukaya and Kaoru Ono, Arnold conjecture and Gromov-Witten invariant , Topology 38 (1999), no. 5, 933–1048. [GH78] Phillip Griffiths and Joseph Harris, Principles of algebraic geometry , Pure and Applied Mathematics, Wiley-Interscience [John Wiley & Sons], New York,
1999
-
[2000]
[Ber17] Daniel Bergh, Functorial destackification of tame stacks with abelian sta bilisers, Compos. Math. 153 (2017), no. 6, 1257–1315. [BF97] K. Behrend and B. Fantechi, The intrinsic normal cone , Invent. Math. 128 (1997), no. 1, 45–88. [BM97] Edward Bierstone and Pierre D. M...
2017
-
[2007]
[AMS21] Mohammed Abouzaid, Mark McLean, and Ivan Smith, Complex cobordism, Hamiltonian loops and global Kuranishi charts , https://arxiv.org/abs/2110.14320,
-
[2013]
[BR19] Daniel Bergh and David Rydh, Functorial destackification and weak factorization of orbi folds, https://arxiv.org/abs/1905.00872,
1905 arXiv
-
[2018]
[Sie96] Bernd Siebert, Gromov-witten invariants of general symplectic manifolds , http://https://arxiv.org/abs/dg-ga/9608005,
-
[2019]
[Bat00] Victor V Batyrev, Canonical abelianization of finite group actions , https://arxiv.org/abs/0009043,
-
[2021]
[AMS23] Mohammed Abouzaid, Mark McLean, and Ivan Smith, Gromov–Witten invariants in complex and Morava-local K-theories, http://arxiv.org/abs/2307.01883,
-
[2022]
[BX22b] Shaoyun Bai and Guangbo Xu, An integral Euler cycle in normally complex orbifolds and Z-valued Gromov–Witten type invariants , https://arxiv.org/abs/2201.02688, Version 2,
-
[2023]
Anderson, Cobordism classes of squares of orientable manifolds , Ann
[And66] Peter G. Anderson, Cobordism classes of squares of orientable manifolds , Ann. of Math. (2) 83 (1966), 47–53. MR 187247 [ASSU23] Andr´ es Angel, Eric Samperton, Carlos Segovia, and Bernardo Uribe, Oriented and unitary equivariant bordism of surfaces ,
1966
-
[2024]
Blumberg, and David Gepner, Parametrized spectra, multiplicative Thom spectra and the twisted Umkehr map , Geom
76 MOHAMMED ABOUZAID AND SHAOYUN BAI [ABG18] Matthew Ando, Andrew J. Blumberg, and David Gepner, Parametrized spectra, multiplicative Thom spectra and the twisted Umkehr map , Geom. Topol. 22 (2018), no. 7, 3761–3825. MR 3890766 [Abh82] Shreeram S. Abhyankar, Weighted expansio...
2018
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.