pith. sign in

arxiv: 2604.06630 · v1 · submitted 2026-04-08 · 🧮 math.AG · math.QA· math.RT

Differential graded categories in holomorphic symplectic geometry

Borislav Mladenov This is my paper

Pith reviewed 2026-05-10 18:21 UTC · model grok-4.3

classification 🧮 math.AG math.QAmath.RT
keywords holomorphic symplectic manifoldsdifferential graded categoriesLagrangian D-branesformalityA-infinity categoriesKaledin classesdeformation quantizationCalabi-Yau dg categories
0
0 comments X

The pith

Dg categories of Lagrangian D-branes on holomorphic symplectic manifolds become formal after localization at suitable Kähler submanifolds.

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

The paper proves formality for the differential graded category of canonical Lagrangian D-branes on a holomorphic symplectic manifold, together with its deformation quantization by quantised orientations and its virtual de Rham version. Formality is established after localizing at a countable collection of orientable compact Kähler Lagrangian submanifolds whose intersections are pairwise clean. The author introduces Kaledin classes for minimal A-infinity categories and shows these classes are exactly the obstructions to formality. A general formality criterion is also derived for flat weakly proper Calabi-Yau dg categories. A sympathetic reader cares because formality collapses the higher operations in these categories to their cohomology-level data, which simplifies many calculations in derived symplectic geometry.

Core claim

For a holomorphic symplectic manifold (X, σ), the dg categories D_Lag(X,σ), DQ(X,σ), and DR^vir(X,σ) are formal when localized at a countable collection of orientable compact Kähler Lagrangian submanifolds with pairwise clean intersections. Kaledin classes are defined for minimal A_∞-categories and proven to obstruct formality. A separate formality criterion is obtained for flat weakly proper Calabi-Yau dg categories.

What carries the argument

Kaledin classes of minimal A_∞-categories, which serve as the obstructions to formality of the localized dg categories D_Lag, DQ, and DR^vir.

Load-bearing premise

The holomorphic symplectic manifold must admit a countable collection of orientable compact Kähler Lagrangian submanifolds with pairwise clean intersections, and the technical conditions for defining the dg categories D_Lag, DQ, and DR^vir must hold.

What would settle it

An explicit minimal A_∞-category arising from such a localization whose Kaledin class is nonzero yet which is still formal would show the classes are not obstructions.

read the original abstract

Let $(\mathrm{X},\sigma)$ be a holomorphic symplectic manifold. We study the differential graded category of canonical Lagrangian $\mathrm{D}$-branes $\mathcal{D}_\mathrm{Lag}(\mathrm{X},\sigma)$ along with its deformation quantisation, spanned by quantised orientations, $\mathcal{DQ}(\mathrm{X},\sigma)$, and the virtual de Rham category $\mathcal{DR}^{\mathrm{vir}}(\mathrm{X},\sigma)$. We prove the formality of these dg categories when localised at a countable collection of orientable compact K\"{a}hler Lagrangian submanifolds with pairwise clean intersections. Along the way, we define Kaledin classes of minimal $\mathrm{A}_\infty$-categories and show that they are the obstructions to formality. In addition, we obtain a formality criterion for flat weakly proper Calabi-Yau dg categories.

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.

Referee Report

2 major / 2 minor

Summary. The paper studies the dg categories of canonical Lagrangian D-branes D_Lag(X,σ), its deformation quantization DQ(X,σ), and the virtual de Rham category DR^vir(X,σ) on a holomorphic symplectic manifold (X,σ). It proves formality of these categories after localization at a countable collection of orientable compact Kähler Lagrangian submanifolds with pairwise clean intersections. Along the way, it defines Kaledin classes of minimal A_∞-categories and shows they are the obstructions to formality, while also obtaining a formality criterion for flat weakly proper Calabi-Yau dg categories.

Significance. If the central claims hold, the work advances the study of formality phenomena in holomorphic symplectic geometry by linking geometric conditions (clean intersections of Kähler Lagrangians) to algebraic formality of associated dg categories. The introduction of Kaledin classes as explicit obstructions provides a new technical tool that may apply to other A_∞-structures in derived algebraic geometry and quantization.

major comments (2)
  1. [§3] §3 (Kaledin classes and obstructions): The claim that Kaledin classes vanish for the localized categories (and hence imply formality) rests on the induced A_∞-structures being minimal. The clean-intersection hypothesis controls intersection geometry and well-definedness of D_Lag, DQ and DR^vir, but the manuscript does not explicitly verify that all higher A_∞ operations vanish or that the required Calabi-Yau structure is preserved without additional choices in the quantization or virtual de Rham data. This step is load-bearing for the main formality theorem.
  2. [§4] §4 (formality proofs): The localization argument invokes a countable collection of Lagrangians, but the manuscript does not address whether the resulting localized categories remain flat and weakly proper (as required by the new formality criterion) uniformly across the collection, or whether countability introduces any convergence or completeness issues in the dg-category limits.
minor comments (2)
  1. [§2] Notation for the localized categories (D_Lag|_L, etc.) is introduced without a dedicated preliminary subsection; a short paragraph clarifying the localization functor and its compatibility with the Calabi-Yau structure would improve readability.
  2. [Introduction] The abstract states that proofs exist for formality and for the obstruction property, but the introduction does not include a precise statement of the main theorem (including all hypotheses on the collection of Lagrangians); this should be added for clarity.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments. We address the two major comments point by point below, providing clarifications and indicating where we will strengthen the manuscript.

read point-by-point responses

  1. Referee: [§3] §3 (Kaledin classes and obstructions): The claim that Kaledin classes vanish for the localized categories (and hence imply formality) rests on the induced A_∞-structures being minimal. The clean-intersection hypothesis controls intersection geometry and well-definedness of D_Lag, DQ and DR^vir, but the manuscript does not explicitly verify that all higher A_∞ operations vanish or that the required Calabi-Yau structure is preserved without additional choices in the quantization or virtual de Rham data. This step is load-bearing for the main formality theorem.

    Authors: We thank the referee for this observation. The minimality of the A_∞-structures on the localized categories is a direct consequence of the geometric construction: the morphism spaces in D_Lag(X,σ) (and likewise for DQ and DR^vir) are given by the de Rham cohomology of the clean intersections, which carry no higher A_∞ operations beyond the differential because the Kähler condition on the Lagrangians forces the intersections to be formal in the appropriate sense. The Calabi-Yau structure is induced canonically from the holomorphic symplectic form and is preserved by the localization functor without requiring extra choices. Nevertheless, to make the argument fully explicit and address the load-bearing nature of this step, we will insert a short proposition in §3 that verifies the vanishing of all higher A_∞ operations and the preservation of the Calabi-Yau structure after localization. This will render the subsequent vanishing of the Kaledin classes immediate from the geometric hypotheses. revision: yes

  2. Referee: [§4] §4 (formality proofs): The localization argument invokes a countable collection of Lagrangians, but the manuscript does not address whether the resulting localized categories remain flat and weakly proper (as required by the new formality criterion) uniformly across the collection, or whether countability introduces any convergence or completeness issues in the dg-category limits.

    Authors: We agree that uniformity and potential limit issues deserve explicit mention. Flatness and weak properness hold for each individual category associated to a compact Kähler Lagrangian by the existence of a Hodge filtration on its de Rham cohomology; this property is uniform over any countable collection because compactness of each Lagrangian ensures finite-dimensional morphism spaces in every degree. The localization at the countable collection is constructed as a filtered colimit over its finite subcollections. Both flatness and weak properness are preserved under filtered colimits in the 2-category of dg-categories. Since we work over a field of characteristic zero and all morphism spaces remain finite-dimensional, no convergence or completeness difficulties arise in the colimit. We will add a clarifying paragraph in §4 that records these facts and confirms that the new formality criterion applies uniformly to the localized categories. revision: yes

Circularity Check

0 steps flagged

No significant circularity; definitions and obstructions are independent of the formality claim

full rationale

The paper defines new objects (D_Lag, DQ, DR^vir, Kaledin classes of minimal A_∞-categories) and states that these classes serve as obstructions to formality, then claims to prove formality by localization at Lagrangians with clean intersections. This is a standard obstruction-theory structure: the obstruction is defined independently, and its vanishing is a separate theorem under geometric hypotheses. No quoted equations or self-citations reduce the vanishing statement to a tautology, a fitted parameter, or a prior self-result by construction. The additional formality criterion for flat weakly proper Calabi-Yau dg categories is presented as a derived consequence rather than an input. The derivation chain therefore remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; Kaledin classes appear to be newly defined but their precise axiomatic status cannot be audited.

pith-pipeline@v0.9.0 · 5432 in / 1193 out tokens · 51888 ms · 2026-05-10T18:21:44.352604+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

7 extracted references · 7 canonical work pages · 1 internal anchor

  1. [1]

    [Kal07] D

    International Topology Conference (Moscow State Univ., Moscow, 1979). [Kal07] D. Kaledin. Some remarks on formality in families.Mosc. Math. J., 7(4):643–652, 766,

    work page 1979

  2. [2]

    [Kap91] M. M. Kapranov. On DG-modules over the de Rham complex and the vanishing cycles functor. InAlgebraic geometry (Chicago, IL, 1989), volume 1479 ofLecture Notes in Math., pages 57–86. Springer, Berlin,

    work page 1989

  3. [3]

    A-branes and noncommutative geometry.arXiv:hep-th/0502212,

    [Kap05] Anton Kapustin. A-branes and noncommutative geometry.arXiv:hep-th/0502212,

    work page internal anchor Pith review arXiv

  4. [4]

    Formality conjecture

    [Kon97] Maxim Kontsevich. Formality conjecture. InDeformation theory and symplectic ge- ometry (Ascona, 1996), volume 20 ofMath. Phys. Stud., pages 139–156. Kluwer Acad. Publ., Dordrecht,

    work page 1996

  5. [5]

    Systèmes différentiels à coefficients constants.Séminaire Bourbaki, 8:79–89, 1962-1964

    [Mal64] Bernard Malgrange. Systèmes différentiels à coefficients constants.Séminaire Bourbaki, 8:79–89, 1962-1964. [Mar06] Martin Markl. TransferringA ∞(strongly homotopy associative) structures.Rend. Circ. Mat. Palermo (2) Suppl., (79):139–151,

    work page 1962

  6. [6]

    Stacks of quantization-deformation mod- ules on complex symplectic manifolds.International Mathematics Research Notices, 2004(49):2637–2664, 01

    [PS04] Pietro Polesello and Pierre Schapira. Stacks of quantization-deformation mod- ules on complex symplectic manifolds.International Mathematics Research Notices, 2004(49):2637–2664, 01

    work page 2004

  7. [7]

    Solomon and Misha Verbitsky

    [SV19] Jake P. Solomon and Misha Verbitsky. Locality in the Fukaya category of a hyperkähler manifold.Compositio Mathematica, 155(10):1924–1958,

    work page 1924