arxiv: 2604.27778 · v1 · submitted 2026-04-30 · 🧮 math.SG · math.CV· math.DG

Recognition: unknown

The existence criterion of holomorphic discs for higher A_infty operations via minimal discs

Qiang Tan , Zuyi Zhang

Authors on Pith no claims yet

Pith reviewed 2026-05-07 07:15 UTC · model grok-4.3

classification 🧮 math.SG math.CVmath.DG

keywords holomorphic discsminimal discsMaslov indicesA_infinity operationsLagrangian submanifoldsKähler manifoldssymplectic geometryexistence criterion

0 comments

The pith

A minimal disc with uniformly signed partial Maslov indices must be the image of a holomorphic disc.

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

The paper establishes a criterion guaranteeing the existence of holomorphic discs that define higher A_infinity operations. In a Kähler manifold, if a minimal disc is bounded by a sequence of transversely intersecting Lagrangian submanifolds and all its partial Maslov indices are either at least 1 or at most -1, then a holomorphic disc exists with exactly the same image. This lets researchers confirm disc existence by checking energy minimality instead of solving the Cauchy-Riemann equation directly. As a byproduct, every minimal disc in complex projective space with boundary on real projective space is holomorphic. The result supplies a practical test for the discs appearing in symplectic constructions of algebraic structures.

Core claim

If a minimal disc in a Kähler manifold with boundary in a sequence of Lagrangian submanifolds intersecting transversely has partial Maslov indices all no less than 1 or all no larger than -1, then there exists a holomorphic disc with the same image as this minimal disc. This supplies the existence needed for higher A_infinity operations. As a byproduct, all minimal discs in CP^m with boundary on RP^m are holomorphic.

What carries the argument

The uniform-sign condition on partial Maslov indices of a minimal disc, which forces the disc to coincide with a holomorphic disc under transverse Lagrangian boundary conditions.

If this is right

Holomorphic discs exist for higher A_infinity operations whenever a minimal representative satisfies the uniform partial Maslov index condition.
All minimal discs in CP^m with boundary on RP^m are holomorphic.
Existence can be verified by checking energy minimization and index signs rather than constructing solutions to the holomorphic curve equation.
The criterion applies to any Kähler manifold equipped with a sequence of transversely intersecting Lagrangian submanifolds.

Where Pith is reading between the lines

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

The result links variational methods for minimal surfaces to the construction of holomorphic curves used in symplectic geometry.
Similar index-sign tests could be explored for other classes of curves or in non-Kähler settings.
Researchers may first locate minimal discs by energy minimization and then apply the criterion to confirm they are holomorphic.

Load-bearing premise

The partial Maslov indices must all share the same sign and the Lagrangian boundaries must intersect transversely, otherwise minimality alone does not guarantee the disc is holomorphic.

What would settle it

A minimal disc in a Kähler manifold whose partial Maslov indices have mixed signs and whose image is not achieved by any holomorphic disc would falsify the criterion; likewise, a non-holomorphic minimal disc in CP^m bounded by RP^m.

Figures

Figures reproduced from arXiv: 2604.27778 by Qiang Tan, Zuyi Zhang.

**Figure 1.** Figure 1: In the picture, wk = e 2πk n i is mapped to xk and 1 is mapped to y. To better understand the Cauchy-Riemann operator, the following description is needed. Let T X ⊗ C be the complexified tangent bundle of a complex manifold (X, J) with complex dimension m. The complex structure J extends C-linearly to T X ⊗ C. Since J 2 = −1, T X ⊗ C splits as the direct sum of T 0,1X and T 1,0X by the J action, where T 0… view at source ↗

read the original abstract

The main theorem of the paper provides an existence criterion of holomorphic discs for higher $A_\infty$ operations. The key step is to show that if a minimal disc in a K\"ahler manifold with boundary in a sequence of Lagrangian submanifolds intersecting transversely such that its partial Maslov indices are either all no less than $1$ or all no larger than $-1$, then there is a holomorphic disc with the same image as this minimal disc. As a by-product, we show that all minimal discs in $\C\mathrm{P}^m$ with boundary on $\R\mathrm{P}^m$ are holomorphic.

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

Minimal discs with uniform partial Maslov sign are holomorphic in Kähler manifolds, with a clean application to CP^m and RP^m.

read the letter

The key point is that under a uniform sign condition on the partial Maslov indices, minimality plus transverse Lagrangian boundaries implies the disc is holomorphic. They get this by first variation of the area, boundary terms cancel thanks to the sign, and then removable singularities give holomorphicity. The CP^m / RP^m case is a direct check that the sign always holds. This is useful for higher A_infty operations because you often start with minimal discs and need to know they are holomorphic. The argument is straightforward and uses standard tools from geometric analysis. The by-product for projective space is nice and concrete. Soft spots are small: it stays inside Kähler manifolds, so no claim for general symplectic. Boundary regularity is assumed handled by the removable singularity step, and the stress-test confirms no issues there. No overclaiming or circularity. This paper is for symplectic geometers who work with Fukaya categories and need practical criteria for holomorphic discs. A reader interested in homological mirror symmetry or A_infty structures will get value from the criterion and the example. It deserves serious peer review because the main theorem is proved with clear steps and the application is verifiable. I recommend sending it out for review. The work is honest and fills a small but real gap in the toolkit.

Referee Report

2 major / 3 minor

Summary. The manuscript proves an existence criterion for holomorphic discs in Kähler manifolds with Lagrangian boundary conditions: if a minimal disc has boundary on a sequence of transversely intersecting Lagrangians and all its partial Maslov indices are uniformly signed (either ≥1 or ≤−1), then there exists a holomorphic disc with the same image. The argument proceeds via the first variation of the area functional, integration by parts that cancels boundary terms due to the sign condition, and the removable-singularity theorem for the resulting harmonic map. As a by-product, every minimal disc in CP^m with boundary on RP^m is shown to be holomorphic by direct verification that the Maslov sign condition holds.

Significance. If the central implication holds, the result supplies a practical, checkable criterion that converts area-minimizing discs into holomorphic ones without additional curvature hypotheses or bubbling analysis. This is potentially useful for constructing higher A_∞ operations in symplectic geometry and Fukaya categories, where one often needs to know that certain minimal discs are in fact J-holomorphic. The CP^m/RP^m corollary is a clean, self-contained application that illustrates the criterion in a classical setting. The proof strategy relies on standard first-variation and maximum-principle techniques, which is a strength when the analytic details are complete.

major comments (2)

[§3.1] §3.1, the statement of Theorem 3.2: the transverse-intersection hypothesis on the boundary Lagrangians is used to ensure that boundary terms vanish after integration by parts, but the manuscript does not discuss whether the conclusion remains valid (or fails) when intersections are non-transverse. Since transversality is part of the hypothesis for the main existence implication, a brief remark on its necessity or a counter-example sketch would clarify the scope.
[§4.3] §4.3, the removable-singularity step: the argument invokes a boundary-adjusted removable-singularity theorem after the (0,1)-part is shown to vanish, but the precise regularity class of the minimal disc (e.g., W^{2,2} or C^{1,α}) is not stated explicitly before the application. Because the central claim equates minimal and holomorphic discs, confirming that the bootstrap reaches the required regularity without additional assumptions is load-bearing.

minor comments (3)

[§2] The notation for partial Maslov indices (Definition 2.4) is introduced without a forward reference to the standard literature (e.g., the original Maslov index for discs). Adding one or two citations would improve readability for readers outside the immediate subfield.
[§5] In the CP^m/RP^m by-product (§5), the verification that every minimal disc satisfies the uniform sign condition is described as “direct,” but no explicit formula or table for the partial indices appears. Including a short computation for a model disc would make the corollary self-contained.
[Introduction] The abstract claims the result applies to “higher A_∞ operations,” yet the body does not contain an explicit section linking the existence criterion back to the A_∞ structure equations. A one-paragraph remark in the introduction or conclusion would clarify the intended application.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive evaluation and the precise comments, which have helped clarify the scope and regularity aspects of the argument. We address each major comment below.

read point-by-point responses

Referee: [§3.1] §3.1, the statement of Theorem 3.2: the transverse-intersection hypothesis on the boundary Lagrangians is used to ensure that boundary terms vanish after integration by parts, but the manuscript does not discuss whether the conclusion remains valid (or fails) when intersections are non-transverse. Since transversality is part of the hypothesis for the main existence implication, a brief remark on its necessity or a counter-example sketch would clarify the scope.

Authors: We agree that transversality is essential: it guarantees that the first variation produces no residual boundary contributions after integration by parts, allowing the sign condition on partial Maslov indices to force the (0,1)-part to vanish. When intersections are non-transverse the boundary terms need not cancel, and the implication may fail. We will insert a short remark immediately after the statement of Theorem 3.2 noting that the transversality hypothesis is necessary for the cancellation step and that the result does not apply to non-transverse configurations. revision: yes
Referee: [§4.3] §4.3, the removable-singularity step: the argument invokes a boundary-adjusted removable-singularity theorem after the (0,1)-part is shown to vanish, but the precise regularity class of the minimal disc (e.g., W^{2,2} or C^{1,α}) is not stated explicitly before the application. Because the central claim equates minimal and holomorphic discs, confirming that the bootstrap reaches the required regularity without additional assumptions is load-bearing.

Authors: Minimal discs with Lagrangian boundary conditions in Kähler manifolds belong to W^{2,2} by the standard variational theory; elliptic bootstrap then yields C^{1,α} regularity (and smoothness in the interior) once the boundary conditions are satisfied. We will add an explicit sentence at the opening of §4.3 stating that the minimal disc is of class W^{2,2} (hence C^{1,α} after bootstrap) and that the removable-singularity theorem applies directly in this class once the (0,1)-part vanishes. revision: yes

Circularity Check

0 steps flagged

No significant circularity in the derivation chain

full rationale

The central existence implication is established analytically: the uniform sign condition on partial Maslov indices (all ≥1 or all ≤−1), combined with area-minimality and transverse intersections, forces the (0,1)-part of the differential to vanish via first variation of the area functional, boundary-term cancellation in integration by parts, a boundary-adjusted monotonicity formula or maximum principle, and the removable-singularity theorem for the resulting harmonic map. This chain relies on standard elliptic regularity and does not redefine any quantity in terms of the holomorphic conclusion itself. The CP^m/RP^m by-product follows by direct verification that every minimal disc satisfies the sign condition. No self-citation is load-bearing for the key steps, no fitted parameters are renamed as predictions, and the argument remains independent of the target result.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The claim rests on standard background from Kähler geometry, Lagrangian Floer theory, and the definition of minimal discs and partial Maslov indices. No free parameters, new entities, or ad-hoc axioms are introduced in the abstract.

axioms (3)

standard math A Kähler manifold carries a compatible symplectic form and complex structure.
Required for the notion of holomorphic disc.
domain assumption Minimal discs are energy-minimizing surfaces with given boundary on Lagrangians.
Central hypothesis of the criterion.
domain assumption Partial Maslov indices are well-defined topological invariants for the discs.
Used to state the uniform-sign condition.

pith-pipeline@v0.9.0 · 5402 in / 1504 out tokens · 91443 ms · 2026-05-07T07:15:41.189544+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

4 extracted references · 4 canonical work pages

[1]

Holomorphic disks with boundary on compact lagrangian surface.arXiv preprint arXiv:2505.19407,

[Che25] Jingyi Chen. Holomorphic disks with boundary on compact lagrangian surface.arXiv preprint arXiv:2505.19407,

work page arXiv
[2]

Lectures on minimal surface theory.arXiv preprint arXiv:1308.3325,

[Whi13] Brian White. Lectures on minimal surface theory.arXiv preprint arXiv:1308.3325,

work page arXiv
[3]

Construction of holomorphic quilts in cartesian product of closed surfaces.arXiv preprint arXiv:2409.19744,

[Zha24] Zuyi Zhang. Construction of holomorphic quilts in cartesian product of closed surfaces.arXiv preprint arXiv:2409.19744,

work page arXiv
[4]

Uniqueness of holomorphic quilts lifted from holomorphic bigons on surfaces.arXiv preprint arXiv:2504.09284,

18 [Zha25] Zuyi Zhang. Uniqueness of holomorphic quilts lifted from holomorphic bigons on surfaces.arXiv preprint arXiv:2504.09284,

work page arXiv