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.

General Landau–Ginzburg matrix-factorization data

Definition

Let k be a field, let (Y,OY) be a ringed space with commutative structure sheaf of k-algebras, and let W∈Γ(Y,OY). A matrix factorization of W is a finite-rank locally free Z/2-graded OY-module E=E0ˉ⊕E1ˉ together with an odd OY-linear endomorphism δE such that δE2=Wid⁡E. A morphism of parity p∈Z/2 from E to another factorization F is a global section of the parity-p part of the sheaf HomOY(E,F). Composition is composition of sheaf maps.

This definition records the objects and graded morphism modules only. The differential and category axioms are separate mathematical claims; no quotient, idempotent completion, equivalence with a singularity category, or generation claim is included here.

Dependency tree · 0 levels

Nothing. This result depends on no other item in the library.

Sources