Strictification and gluing of Lagrangian distributions on derived schemes with shifted symplectic forms

Artan Sheshmani; Dennis Borisov; Ludmil Katzarkov; Shing-Tung Yau

REVIEW 3 major objections 5 minor 23 references

Strictification and gluing of Lagrangian distributions on derived schemes with shifted symplectic forms

T0 review · 3 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper proves that every derived scheme over $\mathbb{C}$ with a $-2$-shifted symplectic structure and Hausdorff second-countable classical points admits a globally defined Lagrangian distribution.

desk verdict The isotropic-structure strictification is a real advance, and Theorem 3 is the right input for the CY4 programme, but the proof currently leans on an unproved flat-localization claim (Prop. 9) and a hidden framing assumption (Prop. 16). read the letter →

arxiv 1908.00651 v3 pith:BCTTE5CT submitted 2019-08-01 math.AG hep-thmath.DG

Dennis Borisov , Ludmil Katzarkov , Artan Sheshmani , Shing-Tung Yau This is my paper · ORCID

classification math.AGhep-thmath.DG MSC 14A2014N3514J3514F0555N2253D30

keywords shiftedsymplecticstructuresLagrangiandistributionsderivedschemesCalabi-Yaufour-foldsSpin(7)-instantonsmodulispacesofsheavesstrictificationdgC-infinityrings

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper establishes a global existence theorem for Lagrangian distributions on derived schemes equipped with a $-2$-shifted symplectic form, the structure that appears on moduli spaces of sheaves on Calabi-Yau four-folds. If the theorem is right, every such derived scheme, provided its underlying space of classical points is Hausdorff and second-countable, carries a globally defined distribution that is maximally isotropic with respect to the imaginary part of the symplectic form and negative definite with respect to the real part. The significance is that dividing by such a distribution produces a new space with a globally defined shifted potential, whose critical locus recovers the original derived scheme. This is the key input needed to write moduli spaces of sheaves on Calabi-Yau four-folds as derived critical loci of Spin(7)-type instanton moduli.

What carries the argument

The load-bearing object is the purely derived foliation: a derived foliation, locally a quotient of the de Rham complex by weight-1 generators, whose distribution has no cohomology in non-positive degrees. Around it the paper builds semi-strict Lagrangian distributions, where the symplectic form vanishes only modulo $\delta(A^{-1})$, and then uses the isotropic structure $\lambda$ to perform the missing strictification. The gluing mechanism is the family of maximally isotropic sub-bundles interpolating between two negative-definite distributions (Proposition 11), which preserves derived-foliation and equivalence properties, letting the sheaf be shown soft.

What would settle it

Find a well presented dg algebra with a strict $-2$-shifted symplectic form and a purely derived foliation satisfying the conditions of Proposition 8, for which no localization admits a graded vector subspace of the tangent complex with vanishing Lie bracket that generates it; such an example would break Proposition 9 and Theorem 3.

Watch

Extended reading notes

Core claim

The central claim, Theorem 3, is that if $(S,\omega)$ is a derived scheme over $\mathbb{C}$ with a $-2$-shifted symplectic structure, and its underlying dg manifold $(M,\omega_{\mathrm{im}},\omega_{\mathrm{re}})$ has Hausdorff and second-countable space of classical points, then the sheaf on $M$ of purely derived foliations that are Lagrangian distributions for $\omega_{\mathrm{im}}$ and negative definite for $\omega_{\mathrm{re}}$ is soft. Hence it has global sections: a globally defined Lagrangian distribution exists. The proof reduces the problem to sheaves of strict Lagrangian distributions, using the isotropic structure to strictify non-strict distributions and negative definiteness to interpolate and glue via partitions of unity.

Load-bearing premise

The proof relies on the unproved assertion in Proposition 9 that, after localization, Spec(A) can be made flat: the tangent complex has a graded vector subspace with vanishing Lie bracket that generates it; if this fails, semistrictification, and with it strictification, collapses.

Editorial extensions

If this is right

Every derived scheme over $\mathbb{C}$ with a $-2$-shifted symplectic structure and Hausdorff second-countable classical points has at least one global Lagrangian distribution.
The quotient of the derived scheme by such a distribution yields a new scheme or stack with a globally defined shifted potential whose critical locus recovers the original scheme.
For moduli of sheaves on Calabi-Yau four-folds, the theorem supplies the input needed to construct an algebraic-geometric version of Spin(7)-instantons as the quotient.
Lagrangian distributions can be re-encoded as strict ones, so local strict charts glue to global strict distributions rather than only up to cohomology.
The softness of the sheaf means existence can be checked locally and extended to compact subsets, allowing inductive gluing.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The method should carry over to derived Artin stacks that admit a principal bundle from a derived Quot-scheme, as used in Part II; the group action would distribute the chosen distribution along orbits.
Different choices of negative-definite Lagrangian distributions are connected by the interpolation family, so the resulting global potential may be unique up to homotopy; checking this would make the construction intrinsic to the moduli problem.
Because the argument uses dg $C^\infty$-rings and partitions of unity, the global distribution can be chosen smoothly on the underlying complex manifold, which may make analytic counterparts more accessible.
Theorem 1 suggests a purely cohomological criterion for a distribution to be Lagrangian, so future constructions might verify only rank and vanishing of the symplectic form without solving for the isotropic structure.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Two things to know about 1908.00651. First, the core idea — using isotropic structures to strictify Lagrangian distributions, replacing Borisov–Joyce's gluing-up-to-cohomology with genuine gluing — is a real advance, and Theorem 3 gives exactly the global object the shifted-potential programme needs: any derived scheme over C with a −2-shifted symplectic structure, Hausdorff and second-countable classical locus, admits a global Lagrangian distribution as a dg C^∞-manifold. Second, as written the proof is conditional: it leans on an unproved flat-localization claim before Prop. 9 and a hidden global-framing assumption inside the proof of Prop. 16.

The paper deserves credit for where it sits. It is honest about the difference from [2] (which only glued up to cohomology because distributions were required to be strict from the start) and from [6], and the new content is precisely the strictification and the sheaf-softness argument. Theorem 1 is a genuinely useful simplification: for a purely derived foliation of half rank, the Lagrangian property is a property of the distribution, not of the chosen isotropic structure.

The soft spots are real but narrow. The claim that Spec(A) can be made flat — after localization, the tangent complex has a generating graded vector subspace with vanishing Lie bracket — is asserted with "this can always be achieved by localization" and no proof. Over arbitrary algebraic dg algebras that statement looks unlikely as written: Zariski localization can trivialize a bundle, but it cannot in general produce a commuting frame. The saving grace is that Theorem 3 is a statement about dg C^∞-manifolds, where the analogous flat-localization is plausible by choosing local coordinates. So the gap may be repairable, but the text currently claims the algebraic version and builds Prop. 9 on it. The second issue is smaller but real: Prop. 16 extends a local basis to a basis of E over all of M without justification.

The citation pattern is fine; [2] and [6] are published external results, and the new claims are not fitted to any parameter. I take the reader's conditional verdict as fair.

Bottom line: this is a serious technical paper with an important theorem, and it deserves a serious referee. I would send it out, flagging the flat-localization issue as the main thing the authors need to prove or carefully restrict.

Referee Report

3 major / 5 minor

Summary. The paper develops a framework of integrable distributions, derived foliations, isotropic and Lagrangian structures on derived schemes and on dg C∞-manifolds, with the aim of proving that a derived scheme over C equipped with a −2-shifted symplectic structure and having a Hausdorff, second-countable space of classical points admits a globally defined Lagrangian distribution. Section 1 recalls and extends the language of graded mixed algebras and Lie–Rinehart algebras, and introduces derived foliations. Section 2 organizes shifted symplectic forms and isotropic structures into sheaves on the space of classical points. Section 3 proves strictification results for Lagrangian distributions, culminating in a semi-strictification statement and the claim that Lagrangianness is independent of the isotropic structure for purely derived foliations. Section 4 passes to the underlying dg C∞-manifold, uses negative definiteness with respect to the real part of the symplectic form to interpolate and glue local distributions, and concludes that the sheaf of purely derived foliations that are Lagrangian with respect to ω_im and negative definite with respect to ω_re is soft. Theorem 3 is the main global existence statement.

Significance. If the main theorem is correct, it is a significant step toward the authors' program: it would supply the global Lagrangian distributions needed for the shifted-potential construction for moduli spaces of sheaves on Calabi–Yau four-folds. The paper has real conceptual strengths: it gives a clean sheaf-theoretic packaging of local data, it identifies the isotropic structure as the key device that makes strictification and gluing compatible, and it isolates the role of negative definiteness with respect to the real part of the symplectic form. The dependence on prior work by Borisov–Joyce and by Brav–Bussi–Joyce is explicit and appropriate. However, the central strictification argument rests on an unproved and questionable local flatness assertion, so the significance of the paper is conditional on a repair of that step.

major comments (3)

[Section 3, before Proposition 9] The definition of 'Spec(A) can be made flat' asserts that after localization the tangent complex TA has a graded vector subspace V^* that generates TA over A and on which the Lie bracket vanishes, and the text states 'This can always be achieved by localization' without proof. This assertion is load-bearing: Proposition 9 uses it to construct the surjective homotopy kernel C^• and to endow it with a Lie–Rinehart structure, and Remark 8, Theorem 1, and the strictification results in Section 4 depend on Proposition 9. The degree-zero part of the claim would require a commuting frame of the tangent sheaf of the smooth algebra A0; Zariski localization can trivialize a vector bundle, but it cannot in general produce commuting vector fields, for example on an affine open of a K3 surface. Thus the algebraic strictification argument is incomplete as written. If the intended statement is only for dg C∞-rings in local coordinates, that restricted statement should be made and proved, since Theorem 3 is about dg C∞-manifolds.
[Proposition 16, proof] The proof assumes that, after passing to a semi-strict representative, one can choose a basis {e_j} of L modulo δ(A^{-1}) and then extend it to a basis of E over all of M. For a nontrivial vector bundle E on a general well-presented dg C∞-ring, such a global basis need not exist. This matters because the displayed formula defining φ and the construction of the strict Lagrangian distribution are made relative to that global basis. The argument is local in spirit, but the proposition is stated globally; either the statement should be restricted to a coordinate chart in which E and L are trivialized, or an argument for the needed triviality should be supplied.
[Theorem 2, proof] The proof of Theorem 2 says that a compatible system of local distributions can be converted into one global distribution 'using a good coordinate system (e.g. [2])' and by applying Proposition 17. No precise statement of what 'good coordinate system' provides is included in this paper, and Proposition 17 itself uses the explicit fibrant replacement from the proof of Proposition 9, which depends on the disputed flat-localization assertion. Consequently the sheaf-isomorphism theorem that feeds directly into Theorem 3 is not established independently of the gap in Section 3.

minor comments (5)

[Proposition 12] The statement of Proposition 12 says 'positive definite' where the surrounding definitions and Proposition 11 require 'negative definite' with respect to ω_re; this sign inconsistency should be corrected.
[Propositions 15 and 16] These propositions are phrased for a well-presented dg C-algebra but then use (TM, ω_im) with R-valued forms, bases over M, and classical points valued in R; the passage from the algebraic setting to the underlying dg C∞-manifold should be set out explicitly before these statements.
[Remark 8] The claim that local existence of semi-strict realizations follows from Propositions 8 and 9 is only valid if the flat-localization assumption is available; the statement should explicitly flag that it is conditional on that assumption.
[Proposition 14, proof] The proof says that one can choose sections of E^1_t around p that are mapped injectively by δ and that this remains true for neighbouring values of t, but it does not justify the continuity of these choices over the parameter interval; a short argument would improve the exposition.
[Proposition 6] The verification of the descent identities for the extension of distributions and isotropic structures to the prism atlas is summarized as 'tedious but straightforward'; since the sheaf property is central to the paper, a fuller indication of the argument would be helpful.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the new strictification and global-existence theorems are derived from fresh constructions plus independent prior results; the unproved flat-localization assertion is a correctness risk, not a circular reduction.

full rationale

The paper's derivation chain is not circular. Local strict symplectic forms come from the Darboux theorem of Brav-Bussi-Joyce [6], an external result. The strictification of purely derived foliations is carried out in Propositions 8, 9, and 16 by explicit constructions (complements, homotopy kernels, and corrections by δ(φ)); these do not assume the Lagrangian distributions whose existence Theorem 3 asserts. The gluing step imports the interpolation and partition-of-unity lemmas (Propositions 11 and 12) from Borisov-Joyce [2], and Theorem 2 uses a 'good coordinate system' from [2]. Although [2] is co-authored by the first author, it is a published, peer-reviewed theorem that does not contain the target global-existence claim; it supplies a standard coordinate technique. The self-citation to [3] for Quot-scheme symplectic structures is motivational and not used in the proof of Theorem 3. No fitted parameter is renamed as a prediction, no definition is circular, and no uniqueness theorem is invoked to forbid alternatives. The main correctness concern is the unproved assertion before Proposition 9 that every well-presented dg algebra can be made flat by localization (a graded vector subspace V* generating the tangent complex with vanishing Lie bracket). This is a missing proof and a possible false statement over arbitrary algebraic dg algebras, and it would undermine the semi-strictification step if not repaired; but an unproved premise is a correctness risk, not a circularity, because the premise is not equivalent to the conclusion. Accordingly, the circularity score is low.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

There are no numeric free parameters. The main theorem rests on local strictification (Prop. 9), which depends on an unproved flat-localization assertion, on the external Darboux theorem [6], and on qualitative assumptions about separated schemes, locally finite atlases, and Hausdorff second countable classical points. Prop. 16 also implicitly assumes a global frame for a vector bundle. No new physical entities are introduced.

assumptions (5)

ad hoc to paper Spec(A) can be made flat: there is a graded vector subspace V* generating TA over A with Lie bracket vanishing on V*, achievable by localization.
Stated before Prop. 9 without proof or citation; used to endow the homotopy kernel C with a Lie-Rinehart structure.
domain assumption Derived schemes considered are separated, with locally finite atlases and every open cover admitting a locally finite refinement.
Section 1.2, used to define distributions and sheaves on the space of classical points; excludes some non-separated stacks.
domain assumption Brav-Bussi-Joyce Darboux theorem: any -2-shifted symplectic structure is locally equivalent to a strict one (Prop. 5).
Invoked in Theorem 3 proof to assume omega strict after localization; cited from [6].
domain assumption M is Hausdorff and second countable.
Theorem 3 assumption; used to conclude local softness implies softness and enables partitions of unity.
ad hoc to paper Proposition 16 implicitly assumes E admits a global orthonormal basis over M.
The proof extends {e_j, i e_j} to a basis of E over all of M; this requires triviality of the bundle E, not proven and not generally true.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Strictification and gluing of Lagrangian distributions on derived schemes with shifted symplectic forms." pith.science (2026). https://pith.science/paper/BCTTE5CT

@misc{pith2026190800651,
  author       = {Pith},
  title        = {Pith review of: Strictification and gluing of Lagrangian distributions on derived schemes with shifted symplectic forms},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BCTTE5CT}},
  note         = {Machine review of arXiv:1908.00651}
}

abstract

A strictification result is proved for isotropic distributions on derived schemes equipped with negatively shifted homotopically closed $2$-forms. It is shown that any derived scheme over $\mathbb{C}$ equipped with a $-2$-shifted symplectic structure, and having a Hausdorff space of classical points, admits a globally defined Lagrangian distribution as a dg $\mathbb{C}^{\infty}$-manifold.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

23 extracted references · 21 canonical work pages

[2]

Virtual fundamental classes for moduli spaces of sheaves on Calabi–Yau four-folds

D.Borisov, D.Joyce. Virtual fundamental classes for moduli spaces of sheaves on Calabi–Yau four-folds. Geometry and Topology 21 (2017)

work page 2017
[6]

A Darboux theorem for derived schemes with shifted symplectic structure

Ch.Brav, V.Bussi, D.Joyce. A Darboux theorem for derived schemes with shifted symplectic structure. J. of the AMS, vol. 32 n. 2, pp. 399-443 (2018)

work page 2018
[1]

A ’Darboux theorem’ for shifted symplectic structures on derived Artin stacks, with applic ations

O.Ben Bassat, Ch.Brav, V.Bussi, D.Joyce. A ’Darboux theorem’ for shifted symplectic structures on derived Artin stacks, with applic ations. Geometry and Topology 19, pp. 1287-1359 (2015)

work page 2015
[3]

Shifted symplectic structures on de- rivedQuot-schemes

D.Borisov, L.Katzarkov, A.Sheshmani. Shifted symplectic structures on de- rivedQuot-schemes. Preprint

work page
[4]

Global shifted potentials for moduli stacks of sheaves on Calabi-Yau four-folds II

D.Borisov, A.Sheshmani, S.-T.Yau. Global shifted potentials for moduli stacks of sheaves on Calabi-Yau four-folds II. arXiv:2007.13194 [math.AG]

arXiv 2007
[5]

Topological characterization of various types of C8-rings

D.Borisov. Topological characterization of various types of C8-rings. Comm. in Analysis and Geometry, vol. 23, N. 2, pp. 349-361 (2015)

work page 2015
[7]

Journal of Topology 10, pp

D.Calaque, T.Pantev, B.To¨ en, M.Vaqui´ e, G.Vezzosi.Shifted Poisson struc- tures and deformation quantization. Journal of Topology 10, pp. 483-584 (2017)

work page 2017
[8]

Orientability for gauge theories on Calabi–Yau mani- folds

Y.Cao, N.C.Leung. Orientability for gauge theories on Calabi–Yau mani- folds. Adv. Math. 314, pp. 48-70 (2017)

work page 2017

Show all 23 references

[9]

Homological algebra for superalgebras of diﬀer- entiable functions

D.Carchedi, D.Roytenberg. Homological algebra for superalgebras of diﬀer- entiable functions. arXiv:1212.3745v1

arXiv
[10]

Derived Quot schemes

I.Ciocan-Fontanine, M.Kapranov. Derived Quot schemes. Ann. Scient. ´Ec. Norm. Sup. 4th series, t. 34 p. 403-440 (2001)

2001
[11]

Gauge theory in higher dimensions

S.K.Donaldson, R.P.Thomas. Gauge theory in higher dimensions. In The geometric universe pp. 3147, OUP (1998)

1998
[12]

Crystals and D-modules

D.Gaitsgory, N.Rozenblyum. Crystals and D-modules. Pure and Applied Mathematics Quarterly, vol. 10, no. 1 (2014). GLOBAL SHIFTED POTENTIALS FOR CY4 MODULI STACKS I 33

2014
[13]

Techniques de construction et th´ eor` emes d’existence en g´ eometrie alg´ ebrique IV

A.Grothendieck. Techniques de construction et th´ eor` emes d’existence en g´ eometrie alg´ ebrique IV. Les sch´ emas de Hilbert.S´ eminaire Bourbaki 221 (1960/61)

1960
[14]

DG coalgebras as formal stacks

V.Hinich. DG coalgebras as formal stacks. J. of Pure and Applied Algebra 162, pp. 209-250 (2001)

2001
[15]

The geometry of moduli spaces of sheaves

D.Huybrechts, M.Lehn. The geometry of moduli spaces of sheaves. Cam- bridge University Press (2010)

2010
[16]

Riemannian geometry over diﬀerent normed division algebra s

N.C.Leung. Riemannian geometry over diﬀerent normed division algebra s. J. Diﬀerential Geometry 61, pp. 289-333 (2002)

2002
[17]

Algebra, ge- ometry and physics: a conference in honour of Maxim Kontsevich

T.Pantev. Derived foliations and shifted potentials. Talk at “Algebra, ge- ometry and physics: a conference in honour of Maxim Kontsevich”, IHES 23-27.06.2014

2014
[18]

T.Pantev, B.To¨ en, M.Vaqui´ e, G.Vezzosi.Shifted symplectic structures. Publ. Math. Inst. Hautes ´Etudes Sci. 117, pp. 271-328 (2013)

2013
[19]

B.To¨ en, M.Vaqui´ e.Moduli of objects in dg-categories. Ann. Scient. ´Ec. Norm. Sup. 4th series, t. 40, p. 387-444 (2007)

2007
[20]

To¨ en.Simplicial presheaves and derived algebraic geometry

B. To¨ en.Simplicial presheaves and derived algebraic geometry. pp. 119-186 in I.Moerdijk, B.To¨ en.Simplicial methods for operads and algebraic geometry. Birkh¨ auser (2010)

2010
[21]

Alg` ebres simpliciales S1-´ equivariantes, th´ eorie de de Rham et th´ eor` emes HKR multiplikatifs

B.To¨ en, G.Vezzosi. Alg` ebres simpliciales S1-´ equivariantes, th´ eorie de de Rham et th´ eor` emes HKR multiplikatifs. Compositio Math. 147 pp. 1979- 2000 (2011)

2011
[22]

Uhlenbeck, S.T

K. Uhlenbeck, S.T. Yau. On the existence of Hermitian-Yang-Mills connec- tions in stable vector bundles. Comm. Pure Appl. Math. 257-293 39 (1986)

1986
[23]

Lie algebroids and homological vector ﬁelds

A.Yu.Vaintrob. Lie algebroids and homological vector ﬁelds. Russ. Math. Suv. 52 428 (1997). dennis.borisov@uwindsor.ca, artan@cmsa.fas.harvard.e du, yau@math.harvard.edu 1 Department of Mathematics and Statistics, University of Wi ndsor, 401 Sunset A ve, Windsor Ontario, Canad...

1997

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.

[1] [2]

Virtual fundamental classes for moduli spaces of sheaves on Calabi–Yau four-folds

D.Borisov, D.Joyce. Virtual fundamental classes for moduli spaces of sheaves on Calabi–Yau four-folds. Geometry and Topology 21 (2017)

work page 2017

[2] [6]

A Darboux theorem for derived schemes with shifted symplectic structure

Ch.Brav, V.Bussi, D.Joyce. A Darboux theorem for derived schemes with shifted symplectic structure. J. of the AMS, vol. 32 n. 2, pp. 399-443 (2018)

work page 2018

[3] [1]

A ’Darboux theorem’ for shifted symplectic structures on derived Artin stacks, with applic ations

O.Ben Bassat, Ch.Brav, V.Bussi, D.Joyce. A ’Darboux theorem’ for shifted symplectic structures on derived Artin stacks, with applic ations. Geometry and Topology 19, pp. 1287-1359 (2015)

work page 2015

[4] [3]

Shifted symplectic structures on de- rivedQuot-schemes

D.Borisov, L.Katzarkov, A.Sheshmani. Shifted symplectic structures on de- rivedQuot-schemes. Preprint

work page

[5] [4]

Global shifted potentials for moduli stacks of sheaves on Calabi-Yau four-folds II

D.Borisov, A.Sheshmani, S.-T.Yau. Global shifted potentials for moduli stacks of sheaves on Calabi-Yau four-folds II. arXiv:2007.13194 [math.AG]

arXiv 2007

[6] [5]

Topological characterization of various types of C8-rings

D.Borisov. Topological characterization of various types of C8-rings. Comm. in Analysis and Geometry, vol. 23, N. 2, pp. 349-361 (2015)

work page 2015

[7] [7]

Journal of Topology 10, pp

D.Calaque, T.Pantev, B.To¨ en, M.Vaqui´ e, G.Vezzosi.Shifted Poisson struc- tures and deformation quantization. Journal of Topology 10, pp. 483-584 (2017)

work page 2017

[8] [8]

Orientability for gauge theories on Calabi–Yau mani- folds

Y.Cao, N.C.Leung. Orientability for gauge theories on Calabi–Yau mani- folds. Adv. Math. 314, pp. 48-70 (2017)

work page 2017