REVIEW 3 minor 172 references
Obstructions to smoothing orbicurves turn the degree-zero wrapped Floer algebra of a regular cotangent fiber into the orbifold Hecke algebra.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
2026-07-14 04:40 UTC pith:CMNE3INL
load-bearing objection Solid new obstruction theorems for stacky ghosts plus a clean Floer realisation of orbifold Hecke algebras; the adapted J0 is constructed, not assumed.
Obstructions to smoothing orbicurves and Orbifold Hecke algebras
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
There is a surjective algebra morphism from the degree-zero bulk-deformed wrapped Floer cohomology of a regular cotangent fibre of the orbifold [T*X/G] onto the specialised orbifold Hecke algebra of [X/G]; the morphism is an isomorphism as soon as π_{2}(X)⊗Q=0.
What carries the argument
The obstruction theorems (Theorems 1.1–1.2 / 5.34, 5.37) that force the leading equivariant jet of the main component to vanish whenever a non-trivial holomorphic form of matching character exists on the ghost; these vanishings eliminate all but the Hecke-type boundary degenerations.
Load-bearing premise
The whole argument needs a single almost-complex structure that is both contact-type at infinity and simultaneously adapted to every type-A singular locus; without it the jet transversality and localisation steps fail.
What would settle it
Exhibit a compact complex manifold X with finite automorphism group G such that π_{2}(X)⊗Q=0 yet the degree-zero wrapped Floer algebra of a regular cotangent fibre is strictly larger than the specialised orbifold Hecke algebra (or is not even well-defined for any adapted almost-complex structure).
If this is right
- When X is aspherical the entire graded algebra HW*(T*[x][X/G]) is concentrated in degree zero and equals the orbifold Hecke algebra.
- The same obstruction package supplies the analytic foundation for a regular bulk-deformed wrapped Fukaya category of any global quotient whose singularities are of compound Am-1 type.
- Classical Hecke algebras of complex reflection groups, affine Hecke algebras and double affine Hecke algebras of type A arise as degree-zero Floer algebras of suitable cotangent fibres.
- Boundary ghosts with two or more stacky points are rigorously excluded, so the only relations that appear are the expected Hecke polynomials.
Where Pith is reading between the lines
- The same jet-vanishing technique should extend, after virtual perturbations, to cyclic quotient singularities that are not of type A, opening a route to reduced open Gromov–Witten invariants for more general orbifolds.
- A Morse-theoretic model on the space of G-paths would give a chain-level lift of the isomorphism, producing a derived orbifold Hecke algebra that can be compared with string-topology constructions.
- The construction suggests that bulk-deformed Fukaya categories of other singular Lagrangians (e.g., fixed loci of higher codimension) may likewise recover algebraic objects attached to the corresponding reflection arrangements.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops analytic tools for obstructing smoothings of nodal orbicurves that carry orbighosts mapped into cyclic quotient singularities (Theorems 1.1–1.2, proved via equivariant jet transversality in §4 and two-step gluing with localization in §5). As the main application it constructs the regular bulk-deformed wrapped Fukaya category of the cotangent-bundle orbifold [T*X/G] and proves that the degree-0 cohomology of the endomorphism A∞-algebra of a regular cotangent fibre is related to Etingof’s orbifold Hecke algebra by a surjective algebra morphism EV that becomes an isomorphism whenever π₂(X)⊗ℚ=0 (Theorem 1.6 / Theorem 6.6).
Significance. The work supplies one of the first complete computations in orbifold Lagrangian Floer theory that involves a singular Lagrangian (the zero-section). The obstruction package for Am-1-singularities is new and of independent interest for reduced orbifold Gromov–Witten theory. The identification of HW⁰ with the specialized Hecke algebra recovers, in a uniform geometric way, a large class of algebras that appear in representation theory (affine and double-affine Hecke algebras, Broué–Malle–Rouquier algebras, etc.). The constructions are written with full analytic detail and rest on an explicitly constructed adapted almost-complex structure (Proposition 5.5).
minor comments (3)
- Several typographical slips appear in the introduction and abstract (e.g., “orb icurves”, “A∞ -algebra”, “ℏℏℏ”). A careful proof-reading pass would improve readability.
- The orientation package for orbicurves is deferred to Appendix A; a one-sentence pointer in §3.4 to the precise isomorphism det(Du)≅o_x̂ used for signs would help the reader.
- In §7 the examples are listed rather than computed; even a short verification for one classical case (e.g., the A1 double-affine Hecke algebra) would make the geometric origin of the Hecke relation more transparent.
Circularity Check
No significant circularity: Hecke relations emerge from geometric counts of orbidisks via new obstruction theorems, not by definition or self-citation chain.
full rationale
The algebraic Hecke algebra H_ℏℏℏ([X/G]) is defined independently (Defs. 6.1–6.2) as a quotient of the completed group algebra of π₁(X_reg/G) by the explicit polynomial relations (1.9)/(6.4). The geometric side HW⁰_ℏℏℏ(T*_[x][X/G]) is defined via bulk-deformed counts of G-equivariant orbidisks in the wrapped Fukaya category (Def. 3.16, Thm. 3.18). The map EV (6.21) is constructed by evaluation of half-disks to G-paths; the proof that it is a surjective algebra morphism (Thm. 6.6) proceeds by analyzing boundary strata of the moduli spaces T(ˆx; m_Y,h) and showing, via the new jet-vanishing theorems (Thms. 5.34, 5.37, relying on the localization tricks of Lemmas 5.27/5.30 and the adapted almost-complex structures of Prop. 5.5), that all ghost degenerations except the single-stacky-point orbidisks are obstructed. The surviving strata produce precisely the Hecke relations by gluing (Step 2 of Prop. 6.12). Flatness upgrading the surjection to an isomorphism when π₂(X)⊗ℚ=0 is imported from the external reference [Eti17, Thm. 3.7]. Self-citations (HTY26, HKTY25) supply only background constructions for special cases (symmetric products) and are not used to force the present isomorphism. No parameter is fitted, no uniqueness theorem is imported from the authors’ prior work, and no ansatz is smuggled; the derivation is self-contained against the algebraic definition of the Hecke algebra.
Axiom & Free-Parameter Ledger
axioms (4)
- domain assumption Existence of G-equivariant ω-tame almost complex structures of contact type that are adapted to all type-A inertia components (Def. 5.1, Prop. 5.5).
- standard math The stack of admissible G-covers of nodal orbidisks is an orbifold with corners (Claim 3.6).
- standard math Etingof’s flatness theorem: H_τ([X/G]) is a flat formal deformation of C[π_{1}^orb([X/G])] when π_{2}(X)igotimes Q=0 (Thm. 6.4).
- standard math Standard elliptic regularity, unique continuation, and maximum principles for ω-tame almost complex structures of contact type.
invented entities (2)
-
Regular bulk-deformed wrapped Fukaya category W^reg_ℏℏℏ([T*X/G])
independent evidence
-
Equivariant J-holomorphic jets and the associated evaluation maps
independent evidence
Cite this review
Pith. "Pith review of Obstructions to smoothing orbicurves and Orbifold Hecke algebras." pith.science (2026). https://pith.science/paper/CMNE3INL
@misc{pith2026260711572,
author = {Pith},
title = {Pith review of: Obstructions to smoothing orbicurves and Orbifold Hecke algebras},
year = {2026},
howpublished = {\url{https://pith.science/paper/CMNE3INL}},
note = {Machine review of arXiv:2607.11572}
}
read the original abstract
In this paper, we study obstructions to smoothing nodal orbicurves with orbighosts mapped into cyclic quotient singularities. As an application, we show, under some assumptions, that the orbifold Hecke algebra of a complex global quotient orbifold $[X/G]$ is isomorphic to the degree $0$ cohomology of the $A_\infty$-algebra of endomorphisms of a regular cotangent fiber $T_{[x]}^*[X/G]$ regarded as an object of the bulk-deformed wrapped Fukaya category of the orbifold $T^*[X/G]$ for a compact complex manifold $X$ and finite group $G \subset \operatorname{Aut}(X)$.
Reference graph
Works this paper leans on
-
[1]
Adem, Alejandro and Leida, Johann and Ruan, Yongbin , TITLE =. 2007 , PAGES =. doi:10.1017/CBO9780511543081 , URL =
-
[2]
Contact and symplectic topology , SERIES =
Auroux, Denis , TITLE =. Contact and symplectic topology , SERIES =. 2014 , MRCLASS =. doi:10.1007/978-3-319-02036-5\_3 , URL =
-
[3]
Brou\'e, Michel and Malle, Gunter and Rouquier, Rapha\"el , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 1998 , PAGES =
1998
-
[4]
Duistermaat, Hans , TITLE =. Advances in Math. , FJOURNAL =. 1976 , NUMBER =. doi:10.1016/0001-8708(76)90074-8 , URL =
-
[5]
Gordon, I. and Stafford, J. T. , TITLE =. Adv. Math. , FJOURNAL =. 2005 , NUMBER =. doi:10.1016/j.aim.2004.12.005 , URL =
-
[6]
Nadler, David and Zaslow, Eric , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2009 , NUMBER =. doi:10.1090/S0894-0347-08-00612-7 , URL =
- [7]
-
[8]
1994 , PAGES =
Kashiwara, Masaki and Schapira, Pierre , TITLE =. 1994 , PAGES =
1994
-
[9]
Nakajima, Hiraku , TITLE =. 1999 , PAGES =. doi:10.1090/ulect/018 , URL =
-
[10]
Fukaya, Kenji and Oh, Yong-Geun , TITLE =. Asian J. Math. , FJOURNAL =. 1997 , NUMBER =. doi:10.4310/AJM.1997.v1.n1.a5 , URL =
-
[11]
Fukaya, Kenji and Oh, Yong-Geun and Ohta, Hiroshi and Ono, Kaoru , TITLE =. 2009 , PAGES =. doi:10.1090/crmp/049/07 , URL =
-
[12]
Lipshitz, Robert , TITLE =. Geom. Topol. , FJOURNAL =. 2006 , PAGES =. doi:10.2140/gt.2006.10.955 , URL =
-
[13]
Colin, Vincent and Ghiggini, Paolo and Honda, Ko , TITLE =. Publ. Math. Inst. Hautes \'Etudes Sci. , FJOURNAL =. 2024 , PAGES =. doi:10.1007/s10240-024-00145-x , URL =
-
[14]
Holomorphic disks and topological invariants for closed three-manifolds , JOURNAL =
Ozsv\'. Holomorphic disks and topological invariants for closed three-manifolds , JOURNAL =. 2004 , NUMBER =. doi:10.4007/annals.2004.159.1027 , URL =
-
[15]
Manolescu, Ciprian , TITLE =. Duke Math. J. , FJOURNAL =. 2006 , NUMBER =. doi:10.1215/S0012-7094-06-13224-6 , URL =
-
[16]
Hamiltonian handleslides for Heegaard Floer homology , author=. 2008 , primaryClass=. 0801.0564 , archivePrefix=
Pith/arXiv arXiv 2008
-
[17]
Mak, Cheuk Yu and Smith, Ivan , TITLE =. J. Eur. Math. Soc. (JEMS) , FJOURNAL =. 2022 , NUMBER =. doi:10.4171/jems/1159 , URL =
-
[18]
2004 , eprint=
A note on Hilbert schemes of nodal curves , author=. 2004 , eprint=
2004
-
[19]
Abbondandolo, Alberto and Schwarz, Matthias , TITLE =. Geom. Topol. , FJOURNAL =. 2010 , NUMBER =. doi:10.2140/gt.2010.14.1569 , URL =
-
[20]
Abbondandolo, Alberto and Schwarz, Matthias , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 2006 , NUMBER =. doi:10.1002/cpa.20090 , URL =
-
[21]
Abouzaid, Mohammed , TITLE =. J. Symplectic Geom. , FJOURNAL =. 2012 , NUMBER =
2012
-
[22]
2019 , eprint=
Skeins on branes , author=. 2019 , eprint=
2019
-
[23]
Morton, Hugh and Samuelson, Peter , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2021 , NUMBER =. doi:10.1007/s00220-021-04052-8 , URL =
-
[24]
Abouzaid, Mohammed , TITLE =. Publ. Math. Inst. Hautes \'. 2010 , PAGES =. doi:10.1007/s10240-010-0028-5 , URL =
-
[25]
Weber, Joa , TITLE =. J. Symplectic Geom. , FJOURNAL =. 2005 , NUMBER =. doi:10.4310/jsg.2005.v3.n4.a7 , URL =
-
[26]
Seidel, Paul and Smith, Ivan , TITLE =. Duke Math. J. , FJOURNAL =. 2006 , NUMBER =. doi:10.1215/S0012-7094-06-13432-4 , URL =
-
[27]
2008 , eprint=
2-Kac-Moody algebras , author=. 2008 , eprint=
2008
-
[28]
Derived equivalences for symmetric groups and
Chuang, Joseph and Rouquier, Rapha\". Derived equivalences for symmetric groups and. Ann. of Math. (2) , FJOURNAL =. 2008 , NUMBER =. doi:10.4007/annals.2008.167.245 , URL =
-
[29]
Khovanov, Mikhail and Lauda, Aaron D. , TITLE =. Represent. Theory , FJOURNAL =. 2009 , PAGES =. doi:10.1090/S1088-4165-09-00346-X , URL =
-
[30]
1963 , PAGES =
Milnor, John , TITLE =. 1963 , PAGES =
1963
-
[31]
2025 , eprint=
Towards a definition of Khovanov homology for links in fibered 3 -manifolds , author=. 2025 , eprint=
2025
-
[33]
Ganatra, Sheel and Pardon, John and Shende, Vivek , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2024 , NUMBER =. doi:10.1090/jams/1035 , URL =
-
[34]
2013 , eprint=
Symplectic cohomology and duality for the wrapped Fukaya category , author=. 2013 , eprint=
2013
-
[35]
Sylvan, Zachary , TITLE =. J. Topol. , FJOURNAL =. 2019 , NUMBER =. doi:10.1112/topo.12088 , URL =
-
[36]
Colin, Vincent and Ghiggini, Paolo and Honda, Ko and Hutchings, Michael , TITLE =. Geom. Topol. , FJOURNAL =. 2011 , NUMBER =. doi:10.2140/gt.2011.15.1749 , URL =
-
[37]
Abouzaid, Mohammed and Seidel, Paul , TITLE =. Geom. Topol. , FJOURNAL =. 2010 , NUMBER =. doi:10.2140/gt.2010.14.627 , URL =
-
[38]
Khovanov, Mikhail , TITLE =. Duke Math. J. , FJOURNAL =. 2000 , NUMBER =. doi:10.1215/S0012-7094-00-10131-7 , URL =
-
[39]
University of Illinois at Chicago, Chicago, Illinois , year=
Computations in Khovanov Homology , author=. University of Illinois at Chicago, Chicago, Illinois , year=
-
[40]
and Ng, Lenhard and Sullivan, Michael G
Ekholm, Tobias and Etnyre, John B. and Ng, Lenhard and Sullivan, Michael G. , TITLE =. Geom. Topol. , FJOURNAL =. 2013 , NUMBER =. doi:10.2140/gt.2013.17.975 , URL =
-
[41]
Floer, Andreas , TITLE =. J. Differential Geom. , FJOURNAL =. 1988 , NUMBER =
1988
-
[42]
arXiv , primaryClass=:0812.0129 , year=
A simple proof of a theorem of Fukaya and Oh , author=. arXiv , primaryClass=:0812.0129 , year=
-
[43]
Manolescu, Ciprian , TITLE =. Adv. Math. , FJOURNAL =. 2007 , NUMBER =. doi:10.1016/j.aim.2006.09.007 , URL =
-
[44]
Coherent Springer theory and the categorical Deligne-Langlands correspondence , author=
-
[45]
Lusztig, George , TITLE =. Represent. Theory , FJOURNAL =. 1998 , PAGES =. doi:10.1090/S1088-4165-98-00054-5 , URL =
-
[46]
Kazhdan, David and Lusztig, George , TITLE =. Invent. Math. , FJOURNAL =. 1987 , NUMBER =. doi:10.1007/BF01389157 , URL =
-
[47]
Chriss, Neil and Ginzburg, Victor , TITLE =. 2010 , PAGES =. doi:10.1007/978-0-8176-4938-8 , URL =
-
[48]
Vasserot, Eric , TITLE =. Duke Math. J. , FJOURNAL =. 2005 , NUMBER =. doi:10.1215/S0012-7094-04-12623-5 , URL =
-
[49]
Etingof, Pavel and Ginzburg, Victor , TITLE =. Invent. Math. , FJOURNAL =. 2002 , NUMBER =. doi:10.1007/s002220100171 , URL =
-
[50]
Kashiwara, Masaki and Rouquier, Rapha\". Microlocalization of rational. Duke Math. J. , FJOURNAL =. 2008 , NUMBER =. doi:10.1215/00127094-2008-043 , URL =
-
[51]
Etingof, Pavel , TITLE =. Mosc. Math. J. , FJOURNAL =. 2017 , NUMBER =. doi:10.17323/1609-4514-2016-16-4-635-666 , URL =
-
[52]
Ariki, Susumu , TITLE =. J. Math. Kyoto Univ. , FJOURNAL =. 1996 , NUMBER =. doi:10.1215/kjm/1250518452 , URL =
-
[53]
Representation theory of algebraic groups and quantum groups , SERIES =
Finkelberg, Michael and Ginzburg, Victor , TITLE =. Representation theory of algebraic groups and quantum groups , SERIES =. 2010 , MRCLASS =. doi:10.1007/978-0-8176-4697-4\_6 , URL =
-
[54]
Free loop spaces in geometry and topology , SERIES =
Abouzaid, Mohammed , TITLE =. Free loop spaces in geometry and topology , SERIES =. 2015 , ISBN =
2015
-
[55]
Current developments in mathematics, 2006 , PAGES =
Seidel, Paul , TITLE =. Current developments in mathematics, 2006 , PAGES =. 2008 , ISBN =
2006
-
[56]
Abouzaid, Mohammed , TITLE =. Adv. Math. , FJOURNAL =. 2011 , NUMBER =. doi:10.1016/j.aim.2011.06.007 , URL =
-
[57]
Colin, Vincent and Honda, Ko and Tian, Yin , TITLE =. J. Topol. , FJOURNAL =. 2024 , NUMBER =. doi:10.1112/topo.12349 , URL =
-
[58]
Jones, V. F. R. , TITLE =. Ann. of Math. (2) , FJOURNAL =. 1987 , NUMBER =. doi:10.2307/1971403 , URL =
-
[59]
Orbifolds in mathematics and physics (
Chen, Weimin and Ruan, Yongbin , TITLE =. Orbifolds in mathematics and physics (. 2002 , ISBN =. doi:10.1090/conm/310/05398 , URL =
-
[60]
Chen, Weimin and Ruan, Yongbin , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2004 , NUMBER =. doi:10.1007/s00220-004-1089-4 , URL =
-
[61]
SIGMA Symmetry Integrability Geom
Chen, Bohui and Ono, Kaoru and Wang, Bai-Ling , TITLE =. SIGMA Symmetry Integrability Geom. Methods Appl. , FJOURNAL =. 2024 , PAGES =. doi:10.3842/SIGMA.2024.011 , URL =
-
[62]
Cho, Cheol-Hyun and Poddar, Mainak , TITLE =. J. Differential Geom. , FJOURNAL =. 2014 , NUMBER =
2014
-
[63]
Fukaya, Kenji and Oh, Yong-Geun and Ohta, Hiroshi and Ono, Kaoru , TITLE =. Duke Math. J. , FJOURNAL =. 2010 , NUMBER =. doi:10.1215/00127094-2009-062 , URL =
-
[64]
2017 , eprint=
Construction of Kuranishi structures on the moduli spaces of pseudo holomorphic disks: I , author=. 2017 , eprint=
2017
-
[65]
Fukaya, Kenji and Oh, Yong-Geun and Ohta, Hiroshi and Ono, Kaoru , TITLE =. Adv. Math. , FJOURNAL =. 2024 , PAGES =. doi:10.1016/j.aim.2024.109561 , URL =
-
[66]
Abramovich, Dan and Corti, Alessio and Vistoli, Angelo , TITLE =. Comm. Algebra , FJOURNAL =. 2003 , NUMBER =. doi:10.1081/AGB-120022434 , URL =
-
[67]
McDuff, Dusa and Salamon, Dietmar , TITLE =. 2004 , PAGES =. doi:10.1090/coll/052 , URL =
doi:10.1090/coll/052 2004
-
[68]
Cieliebak, Kai and Mohnke, Klaus , TITLE =. J. Symplectic Geom. , FJOURNAL =. 2007 , NUMBER =. doi:10.4310/jsg.2007.v5.n3.a2 , URL =
-
[69]
Kol\'ar, Ivan and Michor, Peter W. and Slov\'ak, Jan , TITLE =. 1993 , PAGES =. doi:10.1007/978-3-662-02950-3 , URL =
-
[70]
Zehmisch, Kai , TITLE =. J. Fixed Point Theory Appl. , FJOURNAL =. 2015 , NUMBER =. doi:10.1007/s11784-014-0178-z , URL =
-
[71]
, TITLE =
Bredon, Glen E. , TITLE =. 1972 , PAGES =
1972
-
[72]
Galeotti, Mattia , TITLE =. Ann. Inst. Fourier (Grenoble) , FJOURNAL =. 2022 , NUMBER =. doi:10.5802/aif.3503 , URL =
-
[73]
Seidel, Paul , TITLE =. Bull. Soc. Math. France , FJOURNAL =. 2000 , NUMBER =
2000
-
[74]
, TITLE =
McLaughlin, Dennis A. , TITLE =. Pacific J. Math. , FJOURNAL =. 1992 , NUMBER =
1992
-
[75]
Michigan Math
O'Neill, Barrett , TITLE =. Michigan Math. J. , FJOURNAL =. 1966 , PAGES =
1966
-
[76]
2025 , eprint=
Orbifold Hamiltonian Floer theory for global quotients , author=. 2025 , eprint=
2025
-
[77]
Cho, Cheol-Hyun and Hong, Hansol , TITLE =. J. Symplectic Geom. , FJOURNAL =. 2017 , NUMBER =. doi:10.4310/JSG.2017.v15.n2.a1 , URL =
-
[78]
Bao, Erkao and Honda, Ko , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2021 , NUMBER =. doi:10.2140/agt.2021.21.1677 , URL =
-
[79]
Doan, Aleksander and Walpuski, Thomas , TITLE =. Comment. Math. Helv. , FJOURNAL =. 2023 , NUMBER =. doi:10.4171/cmh/556 , URL =
-
[80]
2020 , eprint=
Fukaya category for Landau-Ginzburg orbifolds , author=. 2020 , eprint=
2020
-
[81]
Siegel, Kyler , TITLE =. J. Symplectic Geom. , FJOURNAL =. 2021 , NUMBER =. doi:10.4310/jsg.2021.v19.n5.a5 , URL =
This paper was first reviewed by grok-4.5 on July 14, 2026.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.