Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generatedverified 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.

Special Lagrangian with phase

Definition

Let (X,J,ω,Ω) be almost-Calabi–Yau data of complex dimension n, let θ∈R, and let i:L↪X be an oriented embedded smooth real n-manifold without boundary. It is special Lagrangian of phase θ when i∗ω=0,Im⁡(e−iθi∗Ω)=0, and Re⁡(e−iθi∗Ω) is a positive real n-form for the given orientation. Positivity means its value on every positively oriented basis is positive. A submanifold of a symplectic real 2n-manifold is Lagrangian when its tangent space at each point equals its symplectic orthogonal, equivalently when it has real dimension n and the symplectic form restricts to zero. Thus the first condition and the specified dimension make L Lagrangian; the second and third fix the phase and orientation.

The phase can be replaced by θ+2πr for r∈Z. Compactness, normalization of Ω, calibration, minimality, and volume minimization are not implicit. Immersed, singular, weak, and brane-with-local-system variants require separate definitions.

Depends on

Dependency tree · 2 levels

Sources