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.
MUM quintic degeneration and normalized Ricci-flat metrics
Definition
A one-parameter quintic degeneration is a proper holomorphic map from a complex analytic space, where and . Require to be a complex manifold and to be a holomorphic submersion. For every , require to be biholomorphic to a smooth degree-five hypersurface in ; here smooth means the defining homogeneous polynomial has no singular point on its zero locus. Fix . Proper smoothness makes a local system on ; its monodromy is parallel transport around the positively oriented generator of . It is maximally unipotent (MUM) when is unipotent and satisfies and , where is any positive integer with .
A normalized Ricci-flat metric family is a smooth family of real vertical two-forms on the fibres . More precisely, put , the real vertical tangent bundle, and take a smooth section of whose restriction to is . Require each to be closed, of type , and positive, hence to define a Kähler metric by . Ricci-flat means that in every holomorphic coordinate chart on , if , its Ricci form vanishes. Require The Kähler classes and the scale normalization are part of the data. This definition does not prove that the family exists; existence is conditional on the precise Calabi–Yau metric inputs.