Alphabeta Math
TheoremStatement: Literature-sourcedProof: AI-adaptedPipeline-generatedprecheck passjudge 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.

Evenness of c2 for smooth global Weierstrass Calabi–Yau fourfolds

Statement

Let B3 be a smooth connected integral separated scheme of finite type over C and of dimension three, let L→B3 be an algebraic line bundle, write B3an for its analytic manifold and L=Lan, and let p:W→B3 be the algebraic weighted projective bundle of type (2,3,1) associated with L. The coordinate twists are x∈OW(2)⊗p∗L2, y∈OW(3)⊗p∗L3, and z∈OW(1). Let Y4⊂W be the hypersurface y2=x3+fxz4+gz6 for f∈H0(B3,L4) and g∈H0(B3,L6), and put π=p∣Y4. Assume π is proper (separated, of finite type, and universally closed), flat (each local ring OY4,y is flat over OB3,π(y)), and surjective, with the regular section s given by the distinguished point [1:1:0]. For the generic point η of B3, set Y4,ηˉ:=Y4×B3Spec⁡κ(η)‾; assume this geometric generic fiber is a smooth proper geometrically integral curve with dim⁡κ(η)‾H1(Y4,ηˉ,OY4,ηˉ)=1. Write Y4an and πan:Y4an→B3an for the analytifications. Assume Y4an is smooth, connected, and compact, admits a smooth real positive closed (1,1)-form, and has a holomorphic line-bundle isomorphism KY4an:=det⁡ΩY4an/C1≅OY4an. These are the broad Calabi–Yau conditions used here. Then the second Chern class of the holomorphic tangent bundle T1,0Y4an satisfies c2(Y4an)∈2H4(Y4an;Z). The conclusion is restricted to this smooth global-Weierstrass setting and is not asserted for a singular or resolved fourfold.

Facts & Assumptions

Given: The algebraic Weierstrass morphism and section, and its analytification πan:Y4an→B3an with smooth connected compact Kähler total space and holomorphically trivial canonical bundle as specified in the Statement.

[A1]

Full AC is the choice-function principle of The Axiom of Choice, inherited from the canonical-bundle and characteristic-class suppliers. The broad Calabi–Yau convention used in the Statement requires connected compact Kählerness and holomorphic triviality of the canonical bundle (Compact Calabi–Yau manifold conventions).

[F1]

The Weierstrass model has a regular section s:B3→Y4 with π∘s=id⁡B3, and its analytic dualizing line satisfies ωY4an≅(πan)∗(KB3an⊗L) (Weierstrass model over a line bundle, Canonical bundle of a Weierstrass hypersurface). Since Y4an is smooth, ωY4an=KY4an; the broad Calabi–Yau hypothesis supplies KY4an≅OY4an.

[F2]

For this smooth global Weierstrass specialization with L≅KB3an−1, a=c1(B3an)=c1(L), and section class σ, the integral Chern class formula is c2(Y4an)=(πan)∗(c2(B3an)+11a2)+12σ⌣(πan)∗a (Second Chern class of a smooth Calabi–Yau Weierstrass fourfold).

[F3]

On any connected compact smooth complex threefold B3an, the class c2(B3an)+c1(B3an)2 lies in 2H4(B3an;Z) (The degree-four Chern parity of a compact complex threefold).

Proof

technique · derive the base line-bundle twist from the canonical formula and section, then rewrite the base Chern term as twice an integral class
1.1A1F1givenalgebra

Pulling back KY4an≅OY4an along the analytified section san and using [F1] gives KB3an⊗L≅(san)∗KY4an≅OB3an, so L≅KB3an−1 and a=c1(T1,0B3an)=c1(L). Since πan has a section it is surjective; compactness of Y4an therefore makes B3an=πan(Y4an) compact, and smooth integrality makes it connected. These are the exact base hypotheses needed below.

1.2A1F3givenchoose

By [F3], choose η∈H4(B3an;Z) with c2(B3an)+a2=2η.

2.1A1F1F2F3givenstep 1.1step 1.2algebra∎

Substitute c2(B3an)=2η−a2 in [F2]. The exact class identity gives c2(Y4an)=(πan)∗(2η+10a2)+12σ⌣(πan)∗a=2(πan)∗(η+5a2)+2(6σ⌣(πan)∗a). All classes inside the parentheses are integral, so this exhibits c2(Y4an) as twice an element of H4(Y4an;Z). The result is conditional on the exact smooth global-Weierstrass hypotheses of the Statement; it does not extend to singular or resolved fourfolds.

Remarks

The exactness of the coefficient sequence 0→Z→2Z→F2→0 makes the parity statement valid even when the integral cohomology has torsion. The result does not extend by itself to a singular Weierstrass hypersurface or to an arbitrary crepant resolution.

Depends on

Dependency tree · 2 levels

Sources