Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)verified 2026-11-04 (gpt-6.1-sol)
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Almost-Calabi–Yau data for special Lagrangians

Definition

Let X be a complex manifold of complex dimension n, with integrable complex structure J. An almost-Calabi–Yau datum on X is a real closed positive (1,1)-form ω and a nowhere-vanishing holomorphic n-form Ω. Positivity means ω(v,Jv)>0 for every nonzero real tangent vector v; type (1,1) means ω(Jv,Jw)=ω(v,w). Thus g(v,w)=ω(v,Jw) is the associated Kähler metric, and Ω trivializes the canonical line bundle KX=⋀nT∗1,0X.

The manifold need not be compact. No Ricci-flat equation, volume normalization, or pointwise normalization of Ω against g is part of this definition. In particular, no calibration or volume-minimizing conclusion follows merely from the name “almost-Calabi–Yau.”

Depends on

Dependency tree · 2 levels

Sources