Formality of differential graded algebras and complex Lagrangian submanifolds

Borislav Mladenov

arxiv: 2007.05498 · v1 · submitted 2020-07-10 · 🧮 math.AG · math.QA· math.SG

Formality of differential graded algebras and complex Lagrangian submanifolds

Borislav Mladenov This is my paper

Pith reviewed 2026-05-24 13:44 UTC · model grok-4.3

classification 🧮 math.AG math.QAmath.SG

keywords formalitydifferential graded algebrasLagrangian submanifoldsdeformation quantisationholomorphic symplectic varietiesKähler LagrangiansA-infinity modules

0 comments

The pith

Deformation quantisation shows the endomorphism DG algebra of a compact Kähler Lagrangian is formal.

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

The paper shows that for a compact Kähler Lagrangian submanifold L inside a holomorphic symplectic variety X over the complex numbers, the derived endomorphism algebra of the pushforward of the square root of its canonical bundle is formal. Formality here means that this differential graded algebra is quasi-isomorphic to its cohomology algebra, which simplifies computations of morphisms in the derived category. The proof relies on deformation quantisation, and the result extends to pairs of Lagrangians together with statements on how formality behaves in families of A-infinity modules.

Core claim

Using deformation quantisation, the endomorphism differential graded algebra RHom(i_* K_L^{1/2}, i_* K_L^{1/2}) is formal when i: L → X is a compact Kähler Lagrangian in a holomorphic symplectic variety X over C. The result generalises to pairs of Lagrangians, and auxiliary results address formality in families of A_∞-modules.

What carries the argument

Deformation quantisation applied to the endomorphism differential graded algebra RHom(i_* K_L^{1/2}, i_* K_L^{1/2}) to establish its formality.

If this is right

The DG algebra is quasi-isomorphic to its cohomology algebra.
Formality holds for the corresponding endomorphism algebra between any pair of such Lagrangians.
Formality is preserved under deformations in families of A_infinity-modules.

Where Pith is reading between the lines

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

Formality may reduce homological computations involving these objects to calculations in ordinary graded algebras.
The techniques could extend to questions of formality for other coherent sheaves on holomorphic symplectic varieties.
The results on families of A_infinity-modules may apply independently to deformation problems in derived categories.

Load-bearing premise

The geometric setup of a compact Kähler Lagrangian in a holomorphic symplectic variety over the complex numbers permits the direct application of deformation quantisation to prove formality of the endomorphism algebra.

What would settle it

An explicit compact Kähler Lagrangian in a holomorphic symplectic variety over C where the endomorphism DG algebra fails to be formal or where the deformation quantisation step does not yield the claimed quasi-isomorphism.

read the original abstract

Let $i: \mathrm{L} \hookrightarrow \mathrm{X}$ be a compact K\"{a}hler Lagrangian in a holomorphic symplectic variety $\mathrm{X}/\mathbf{C}$. We use deformation quantisation to show that the endomorphism differential graded algebra $\mathrm{RHom}\big(i_*\mathrm{K}_\mathrm{L}^{1/2},i_*\mathrm{K}_\mathrm{L}^{1/2}\big)$ is formal. We prove a generalisation to pairs of Lagrangians, along with auxiliary results on the behaviour of formality in families of $\mathrm{A}_\infty$-modules.

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

Abstract claims formality of RHom endomorphism algebras on Kähler Lagrangians via deformation quantization, but with no full text the claim cannot be checked at all.

read the letter

The main thing here is the claim that deformation quantization makes the endomorphism DG algebra RHom(i_* K_L^{1/2}, i_* K_L^{1/2}) formal when L is a compact Kähler Lagrangian in a holomorphic symplectic variety over C. The abstract also mentions a generalization to pairs of Lagrangians and some statements about how formality behaves for families of A_infty-modules. That is the entire content available to evaluate. What looks new is the direct use of deformation quantization to reach formality for these particular endomorphism algebras in the holomorphic symplectic setting. If the steps go through, it would give a way to avoid explicit computation of higher products in the derived category. The paper does well to flag a geometric situation where quantization techniques might simplify a standard formality question that appears in mirror symmetry work. The obvious limitation is that only the abstract exists in the record. No lemmas, no equations, no conditions on the quantization map, and no discussion of how the Kähler or compactness hypotheses enter the argument. Without those pieces it is impossible to see whether the application of deformation quantization is routine or whether it hides extra assumptions that need separate verification. The soundness of the central step therefore cannot be judged. The same holds for the family results and the pair generalization. This work would interest people who already follow formality questions for sheaves on holomorphic symplectic varieties or who use deformation quantization in algebraic geometry. A reader hunting for new criteria that turn geometric data into vanishing of A_infty operations might find the full paper worth reading if the details are supplied. Right now there is no argument to referee, so I would not send it to peer review on the basis of the abstract alone.

Referee Report

1 major / 0 minor

Summary. The paper claims to use deformation quantisation to prove that the endomorphism differential graded algebra RHom(i_* K_L^{1/2}, i_* K_L^{1/2}) is formal, where i: L → X is the inclusion of a compact Kähler Lagrangian submanifold L in a holomorphic symplectic variety X over C. It also proves a generalisation to pairs of Lagrangians and auxiliary results on the behaviour of formality in families of A_∞-modules.

Significance. If the result holds, it would represent a notable application of deformation quantization to establish formality of DG algebras associated to Lagrangian submanifolds in holomorphic symplectic geometry. This could have implications for understanding the derived category of coherent sheaves and A_∞ structures in this context. The additional results on pairs and families would extend the utility of the main theorem.

major comments (1)

Abstract: The central claim that deformation quantization yields formality of the indicated RHom DG algebra is stated without any indication of the required conditions on the geometric setup, the specific deformation quantization construction employed, or the steps reducing the endomorphism algebra to a formal one; this absence prevents verification of the result.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their comments on the manuscript. We address the major comment below.

read point-by-point responses

Referee: Abstract: The central claim that deformation quantization yields formality of the indicated RHom DG algebra is stated without any indication of the required conditions on the geometric setup, the specific deformation quantization construction employed, or the steps reducing the endomorphism algebra to a formal one; this absence prevents verification of the result.

Authors: We agree that the provided abstract is concise and omits explicit indications of the geometric conditions, the precise deformation quantization construction, and the reduction steps to formality. While abstracts are necessarily brief, this can indeed hinder immediate verification. In the revised manuscript we will expand the abstract to include these elements: the setup of compact Kähler Lagrangians in holomorphic symplectic varieties over ℂ, the deformation quantization of the structure sheaf used, and a high-level outline of how it induces formality of the indicated RHom DG algebra. The body of the paper already contains the full details and proofs. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified from available text

full rationale

Only the abstract is provided, which asserts that deformation quantisation is applied to the given geometric setup (compact Kähler Lagrangian in holomorphic symplectic variety) to establish formality of the indicated RHom DG algebra, along with generalisations. No equations, lemmas, self-citations, or derivation steps are present that reduce any claim to its own inputs by construction. The result is presented as following from an external technique applied in this context, with no evidence of self-definitional, fitted-prediction, or self-citation-load-bearing circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim depends on the validity of applying deformation quantization in the context of Kähler Lagrangians in holomorphic symplectic varieties.

axioms (1)

domain assumption Deformation quantization applies to the endomorphism algebra of the pushforward sheaf in this setting to establish formality.
Directly from the abstract statement that this technique is used to show the result.

pith-pipeline@v0.9.0 · 5593 in / 1240 out tokens · 32810 ms · 2026-05-24T13:44:25.079752+00:00 · methodology

Formality of differential graded algebras and complex Lagrangian submanifolds

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)