arxiv: 2605.08394 · v1 · submitted 2026-05-08 · 🧮 math.AG

Recognition: 2 theorem links

· Lean Theorem

Equivariant Quotients of Derived Symplectic Spaces and Legendrian Intersection Theorem

Efe \.Izbudak, Kadri \.Ilker Berktav

Pith reviewed 2026-05-12 01:31 UTC · model grok-4.3

classification 🧮 math.AG

keywords derived symplectic geometrycontact structuresGm-actionsLegendrian intersectionsmoduli stacksjet bundlesdiscriminant lociderived algebraic geometry

0 comments

The pith

The quotient of a derived symplectic space by a weight-1 Gm-action carries a derived contact structure, with the action's fundamental vector field replacing the classical Liouville field.

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

The paper translates the classical transversality lemma of contact geometry into derived algebraic geometry. It proves that taking the quotient of a derived symplectic space by a weight-1 Gm-action produces a contact structure on a transverse hypersurface in the quotient, where the fundamental vector field of the action takes the role of the Liouville vector field. This descent is then used to establish a derived Legendrian intersection theorem via base change and an infinity-categorical descent cube. The results equip discriminant loci of 1-jet bundles with a (-1)-shifted contact structure and apply to moduli stacks for projective Higgs bundles, l-adic local systems, and Lie 2-groups. If correct, the work supplies a systematic way to introduce contact geometry into derived moduli problems in algebraic geometry.

Core claim

For a derived symplectic space equipped with a weight-1 Gm-action, the equivariant quotient construction descends the symplectic data to a contact structure on a transverse hypersurface, where the fundamental vector field of the Gm-action replaces the classical Liouville vector field. The derived Legendrian intersection theorem is proved from this using base change and an infinity-categorical descent cube. As direct applications, the discriminant loci of 1-jet bundles carry a (-1)-shifted contact structure, and the same construction produces contact structures on certain moduli stacks including those for projective Higgs bundles, l-adic local systems, and Lie 2-groups.

What carries the argument

The equivariant quotient of a derived symplectic space by a weight-1 Gm-action, which maps symplectic data to contact data on the quotient hypersurface by using the action's fundamental vector field in place of a Liouville field.

If this is right

The discriminant loci of 1-jet bundles carry a (-1)-shifted contact structure.
Moduli stacks for projective Higgs bundles, l-adic local systems, and Lie 2-groups admit derived contact structures via the same quotient construction.
The derived Legendrian intersection theorem holds in this setting, proved by base change and an infinity-categorical descent cube.
Additional examples of contact derived moduli stacks can be obtained by applying the quotient to other derived symplectic spaces with suitable Gm-actions.

Where Pith is reading between the lines

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

The quotient method may extend naturally to produce Legendrian subobjects inside derived moduli stacks beyond the listed examples.
Similar Gm-equivariant lifts along symplectification projections could apply to other group actions in derived geometry.
The results indicate that contact structures arise systematically on many algebraic moduli spaces once derived symplectic data and Gm-actions are present.

Load-bearing premise

The derived Gm-action and quotient construction must faithfully reproduce the classical transversality condition and contact data without extra hidden assumptions on the derived stack or the action.

What would settle it

A concrete derived symplectic space with a weight-1 Gm-action whose quotient hypersurface fails to carry the expected contact structure, or a specific derived moduli example where the Legendrian intersection theorem does not hold.

read the original abstract

The classical transversality lemma of contact geometry constructs a contact structure on a hypersurface transverse to a Liouville vector field using point-set topology and local flows. This paper translates the classical transversality lemma into the context of derived algebraic geometry and provides the derived Legendrian intersection theorem, along with various applications to moduli theory. In brief, we first prove that taking the quotient of a derived symplectic space descends the symplectic data to a contact structure, avoiding a transverse hypersurface, where the fundamental vector field of a weight 1 $\mathbb{G}_m$-action, in the derived setting, replaces the classical Liouville vector field. Secondly, the derived Legendrian intersection theorem is proven using base change, an $\infty$-categorical descent cube, and $\mathbb{G}_m$-equivariant lifts along the symplectification projection. As applications of the main results, we first examine the derived geometry of the discriminant loci of 1-jet bundles and show that these loci carry a $(-1)$-shifted contact structure. In addition, we show that our results apply to certain moduli problems, including projective Higgs bundles, $\ell$-adic local systems, and Lie 2-groups, and we provide further examples of contact derived moduli stacks.

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.

Desk Editor's Note private letter to a colleague

This paper translates the classical transversality lemma to derived algebraic geometry via Gm-quotients of symplectic spaces and proves a derived Legendrian intersection theorem with moduli applications.

read the letter

The main thing to know is that the authors replace the classical Liouville vector field with the fundamental vector field of a weight-1 Gm-action, show that the quotient of a derived symplectic space carries a contact structure, and then obtain the Legendrian intersection theorem through base change and an ∞-categorical descent cube with equivariant lifts. This avoids needing a transverse hypersurface in the derived setting. They apply the results to the discriminant loci of 1-jet bundles, which receive (-1)-shifted contact structures, and to moduli stacks of projective Higgs bundles, ℓ-adic local systems, and Lie 2-groups. The construction reproduces the expected contact data on these examples using standard derived algebraic geometry tools. The stress-test finds no internal inconsistencies, and the approach stays faithful to the classical statements while adapting them directly. What the paper does well is give a usable framework that organizes contact structures on certain moduli stacks, which could help with intersection theory questions in those contexts. The methods are explicit enough that the claims can be checked against the cited classical results. Soft spots are minor and proportional: the applications are sketched at a level that leaves room for more explicit computations in at least one case to confirm the contact data in practice, and the work is primarily an adaptation rather than the discovery of entirely new phenomena. That is normal for a translation paper and does not undermine the utility. This is for readers already comfortable with derived symplectic geometry and contact geometry who want to apply these ideas to moduli problems. A serious referee would be appropriate because the claims rest on reproducible constructions and the applications are concrete enough to evaluate. I would send it to peer review.

Referee Report

2 major / 3 minor

Summary. The manuscript translates the classical transversality lemma of contact geometry into derived algebraic geometry. It proves that the quotient of a derived symplectic space by a weight-1 Gm-action inherits a contact structure, with the fundamental vector field of the action replacing the classical Liouville vector field and avoiding the need for a transverse hypersurface. A derived Legendrian intersection theorem is established via base change, an ∞-categorical descent cube, and Gm-equivariant lifts along the symplectification projection. Applications include endowing the discriminant loci of 1-jet bundles with (-1)-shifted contact structures and extending the framework to moduli stacks of projective Higgs bundles, ℓ-adic local systems, and Lie 2-groups.

Significance. If the technical arguments hold, the work supplies a uniform derived-algebraic construction of contact structures on quotients of derived symplectic spaces, directly applicable to several important moduli problems. The explicit use of equivariant quotients and descent cubes to reproduce classical contact data is a methodological strength that could streamline future constructions in derived symplectic and contact geometry.

major comments (2)

[§3] §3 (quotient construction): the central claim that the weight-1 Gm-action and its fundamental vector field descend the symplectic data to a contact structure on the quotient stack is load-bearing for the entire paper; the base-change arguments must be shown to preserve non-degeneracy of the induced 1-form without additional hidden flatness or freeness hypotheses on the action or the underlying derived stack.
[§4.2] §4.2 (Legendrian intersection theorem): the proof invokes an ∞-categorical descent cube together with Gm-equivariant lifts; the compatibility of these lifts with the symplectification projection must be verified explicitly, as any obstruction in the higher homotopy data would undermine the applications to moduli stacks listed in §5.

minor comments (3)

[Introduction] The introduction would benefit from a short side-by-side comparison of the classical transversality statement and its derived counterpart to highlight the precise points of translation.
[§2] Notation for shifted contact structures and the weight grading on the Gm-action should be recalled with a brief example in the preliminaries section for readers less familiar with derived conventions.
A few references to recent work on derived contact structures appear to be missing; adding them would strengthen the positioning of the results.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the detailed comments. We address the two major comments point by point below, indicating where revisions will be made to strengthen the exposition.

read point-by-point responses

Referee: [§3] §3 (quotient construction): the central claim that the weight-1 Gm-action and its fundamental vector field descend the symplectic data to a contact structure on the quotient stack is load-bearing for the entire paper; the base-change arguments must be shown to preserve non-degeneracy of the induced 1-form without additional hidden flatness or freeness hypotheses on the action or the underlying derived stack.

Authors: The quotient construction in §3 proceeds by descending the symplectic form along the weight-1 Gm-action using the fundamental vector field to induce the contact 1-form on the quotient stack. The base-change arguments rely only on the standard properties of derived stacks and the given weight-1 condition; no additional flatness or freeness hypotheses are imposed or required. To address the concern directly, we will revise §3 by inserting an explicit lemma that verifies non-degeneracy of the descended 1-form step by step via base change, making the absence of hidden assumptions transparent. revision: yes
Referee: [§4.2] §4.2 (Legendrian intersection theorem): the proof invokes an ∞-categorical descent cube together with Gm-equivariant lifts; the compatibility of these lifts with the symplectification projection must be verified explicitly, as any obstruction in the higher homotopy data would undermine the applications to moduli stacks listed in §5.

Authors: The Gm-equivariant lifts in §4.2 are defined to commute with the symplectification projection by the universal property of the equivariant structure, and the ∞-categorical descent cube encodes the higher homotopy compatibilities without introducing obstructions. We will revise §4.2 to include a short explicit verification of this compatibility (including a diagram chase in the homotopy category), thereby confirming that the construction supports the applications in §5 without additional checks. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper constructs an equivariant quotient of derived symplectic spaces that descends symplectic data to a contact structure on the quotient by replacing the classical Liouville vector field with the fundamental vector field of a weight-1 Gm-action. The Legendrian intersection theorem follows from base change, an ∞-categorical descent cube, and Gm-equivariant lifts along the symplectification projection. These steps rely on standard derived algebraic geometry and ∞-categorical tools rather than any fitted parameters, self-definitional reductions, or load-bearing self-citations. Applications to discriminant loci and moduli stacks (Higgs bundles, local systems) are shown to reproduce expected contact data via the same constructions without circular renaming or ansatz smuggling. The derivation chain remains independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review provides no explicit list of free parameters, axioms, or invented entities; the construction appears to rely on standard derived algebraic geometry background.

pith-pipeline@v0.9.0 · 5529 in / 1026 out tokens · 27031 ms · 2026-05-12T01:31:22.224359+00:00 · methodology

discussion (0)

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/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
Theorem 3.7 (Derived Analogue of Classical Transversality): ... the fundamental vector field of a weight 1 Gm-action ... replaces the classical Liouville vector field.
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear
Corollary 5.4 ... PHiggsG(C) admits a canonical 1-shifted contact structure

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

A Derived Legendrian Category for Shifted Contact Stacks
math.AG 2026-05 unverdicted novelty 7.0

A new derived Legendrian category is built for shifted contact stacks in derived algebraic geometry, embedding into span categories and enabling Legendrian surgery.

Reference graph

Works this paper leans on

26 extracted references · 26 canonical work pages · cited by 1 Pith paper

[1]

Lurie,Higher Topos Theory, Annals of Mathematics Studies, 170

J. Lurie,Higher Topos Theory, Annals of Mathematics Studies, 170. Princeton University Press, Princeton, NJ, 2009

work page 2009
[2]

Lurie,Higher Algebra, Unpublished manuscript, available at author’s website, 2017

J. Lurie,Higher Algebra, Unpublished manuscript, available at author’s website, 2017

work page 2017
[3]

Geiges,An Introduction to Contact Topology, Cambridge University Press, 2008

H. Geiges,An Introduction to Contact Topology, Cambridge University Press, 2008

work page 2008
[4]

To ¨en, G

B. To ¨en, G. Vezzosi,Homotopical algebraic geometry II: Geometric stacks and applications, Mem. Amer. Math. Soc. 193 (2008), no. 902, x+224 pp

work page 2008
[5]

Pantev, B

T. Pantev, B. To ¨en, M. Vaqui ´e, and G. Vezzosi,Shifted symplectic structures, Publications math ´ematiques de l’IH´ES, 117:271–328, 2013

work page 2013
[6]

Calaque, T

D. Calaque, T. Pantev, B. To¨en, M. Vaqui´e, and G. Vezzosi,Shifted Poisson Structures and deformation quantiza- tion, Journal of Topology, 10(2):483–584, 2017

work page 2017
[7]

Calaque,Shifted cotangent stacks are shifted symplectic, Annales de la Facult ´e des sciences de Toulouse: Math´ematiques, 28(1):67–90, 2019

D. Calaque,Shifted cotangent stacks are shifted symplectic, Annales de la Facult ´e des sciences de Toulouse: Math´ematiques, 28(1):67–90, 2019

work page 2019
[8]

K. ˙I. Berktav,Shifted Contact Structures and Their Local Theory, Ann. Fac. Sci. Toulouse, Math., Serie 6, Vol. 33(4): 1019-1057, 2024

work page 2024
[9]

K. ˙I. Berktav,On shifted contact derived Artin stacks, Higher Structures 9(2):103–135, 2025

work page 2025
[10]

K. ˙I. Berktav,Legendrian Structures in Derived Geometry, 2025

work page 2025
[11]

To ¨en,Derived Algebraic Geometry, EMS Surveys in Mathematical Sciences, 1(2):153–240, 2014

B. To ¨en,Derived Algebraic Geometry, EMS Surveys in Mathematical Sciences, 1(2):153–240, 2014

work page 2014
[12]

Safronov

P . Safronov. Shifted geometric quantization.Journal of Geometry and Physics, 194, 104992, 2023. 2011.05730

work page arXiv 2023
[13]

Iwanari,Tannakization in derived algebraic geometry, Journal of K-theory, 14(3) 642–700, 2014, doi:10.1017/is014008019jkt278

I. Iwanari,Tannakization in derived algebraic geometry, Journal of K-theory, 14(3) 642–700, 2014, doi:10.1017/is014008019jkt278

work page doi:10.1017/is014008019jkt278 2014
[14]

From HAG to DAG: derived moduli stacks. In Axiomatic, enriched and motivic homotopy theory

To ¨en, B. Vezzosi, G. 2004. “From HAG to DAG: derived moduli stacks. In Axiomatic, enriched and motivic homotopy theory”, Springer Netherlands, 173-216

work page 2004
[15]

W. C. Waterhouse,Introduction to Affine Group Schemes, Graduate Texts in Mathematics, vol. 66, Springer- Verlag, 1979

work page 1979
[16]

N. J. Hitchin,The self-duality equations on a Riemann surface, Proceedings of the London Mathematical Society, s3-55(1) 59–126, 1987

work page 1987
[17]

T ´ellez Dom ´ınguez,Moduli of Higher Connections and Holomorphic 2-Bundles, PhD Thesis, Universidad Aut´onoma de Madrid, 2025

R. T ´ellez Dom ´ınguez,Moduli of Higher Connections and Holomorphic 2-Bundles, PhD Thesis, Universidad Aut´onoma de Madrid, 2025

work page 2025
[18]

J. S. Milne, ´Etale Cohomology, Princeton Mathematical Series, 33. Princeton University Press, 1980

work page 1980
[19]

Ant ´onio,Moduli ofℓ-adic pro-´ etale local systems for smooth non-proper schemes, arXiv:1904.08001, 2019

J. Ant ´onio,Moduli ofℓ-adic pro-´ etale local systems for smooth non-proper schemes, arXiv:1904.08001, 2019

work page arXiv 1904
[20]

J. P . Pridham,Deformingℓ-adic representations of the fundamental group of a smooth variety, Journal of Algebraic Geometry, 15:415–442, 2006

work page 2006
[21]

The stack of local systems with restricted variation and geometric Langlands theory with nilpotent singular support

D. Arinkin, D. Gaitsgory, D. Kazhdan, S. Raskin, N. Rozenblyum, Y. Varshavsky,The stack of local systems with restricted variation and geometric Langlands theory with nilpotent singular support, arXiv:2010.01906, 2020

work page arXiv 2010
[22]

Arinkin, D

D. Arinkin, D. Gaitsgory,Singular support of coherent sheaves and the geometric Langlands conjecture, arXiv:1201.6343, 2012

work page arXiv 2012
[23]

Zhu,Coherent sheaves on the stack of Langlands parameters, Proceedings of Symposia in Pure Mathematics, 2020

X. Zhu,Coherent sheaves on the stack of Langlands parameters, Proceedings of Symposia in Pure Mathematics, 2020

work page 2020
[24]

Jiang,On the construction of moduli stack of projective Higgs bundles over surfaces, arXiv:1911.00250, 2019

Y. Jiang,On the construction of moduli stack of projective Higgs bundles over surfaces, arXiv:1911.00250, 2019

work page arXiv 1911
[25]

Jiang, M

Y. Jiang, M. Kool,Twisted sheaves and SU(r)/Z r Vafa-Witten theory, arXiv:2006.10368, 2020

work page arXiv 2006
[26]

Ben-Bassat, S

O. Ben-Bassat, S. Das, T. Pantev,Moduli stacks of Higgs bundles on stable curves, Moduli 3, e7, 1-44, 2026

work page 2026