Alphabeta Math
DefinitionDefinition: AI-adaptedProof: 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.

MUM quintic degeneration and normalized Ricci-flat metrics

Definition

A one-parameter quintic degeneration is a proper holomorphic map f:X→Δ from a complex analytic space, where Δ={t∈C:∣t∣<ε} and Δ∗=Δ∖{0}. Require f−1(Δ∗) to be a complex manifold and f∣f−1(Δ∗):f−1(Δ∗)→Δ∗ to be a holomorphic submersion. For every t∈Δ∗, require Xt=f−1(t) to be biholomorphic to a smooth degree-five hypersurface in PC4; here smooth means the defining homogeneous polynomial has no singular point on its zero locus. Fix t0∈Δ∗. Proper smoothness makes R3f∗Z a local system on Δ∗; its monodromy T:H3(Xt0;Z)→H3(Xt0;Z) is parallel transport around the positively oriented generator of π1(Δ∗,t0). It is maximally unipotent (MUM) when T is unipotent and N=log⁡T:=∑j=1s−1(−1)j+1(T−id⁡)j/j satisfies N4=0 and N3≠0, where s is any positive integer with (T−id⁡)s=0.

A normalized Ricci-flat metric family is a smooth family of real vertical two-forms ωt on the fibres Xt. More precisely, put V=ker⁡(dfR:TRf−1(Δ∗)→f∗TRΔ∗), the real vertical tangent bundle, and take a smooth section of ΛR2VR∗ whose restriction to Xt is ωt. Require each ωt to be closed, of type (1,1), and positive, hence to define a Kähler metric gt by ωt(v,w)=gt(Jtv,w). Ricci-flat means that in every holomorphic coordinate chart on Xt, if ωt=igjkˉdzj∧dzˉk, its Ricci form ρt=−i∂∂ˉlog⁡det⁡(gjkˉ) vanishes. Require ∫Xtωt33!=1. 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.

Depends on

Dependency tree · 2 levels

Sources