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 be a smooth connected integral separated scheme of finite type over and of dimension three, let be an algebraic line bundle, write for its analytic manifold and , and let be the algebraic weighted projective bundle of type associated with . The coordinate twists are , , and . Let be the hypersurface for and , and put . Assume is proper (separated, of finite type, and universally closed), flat (each local ring is flat over ), and surjective, with the regular section given by the distinguished point . For the generic point of , set ; assume this geometric generic fiber is a smooth proper geometrically integral curve with . Write and for the analytifications. Assume is smooth, connected, and compact, admits a smooth real positive closed -form, and has a holomorphic line-bundle isomorphism . These are the broad Calabi–Yau conditions used here. Then the second Chern class of the holomorphic tangent bundle satisfies . The conclusion is restricted to this smooth global-Weierstrass setting and is not asserted for a singular or resolved fourfold.
Statement references
Facts & Assumptions
Given: The algebraic Weierstrass morphism and section, and its analytification with smooth connected compact Kähler total space and holomorphically trivial canonical bundle as specified in the Statement.
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).
The Weierstrass model has a regular section with , and its analytic dualizing line satisfies (Weierstrass model over a line bundle, Canonical bundle of a Weierstrass hypersurface). Since is smooth, ; the broad Calabi–Yau hypothesis supplies .
For this smooth global Weierstrass specialization with , , and section class , the integral Chern class formula is (Second Chern class of a smooth Calabi–Yau Weierstrass fourfold).
On any connected compact smooth complex threefold , the class lies in (The degree-four Chern parity of a compact complex threefold).
Proof
Pulling back along the analytified section and using [F1] gives , so and . Since has a section it is surjective; compactness of therefore makes compact, and smooth integrality makes it connected. These are the exact base hypotheses needed below.
By [F3], choose with .
Substitute in [F2]. The exact class identity gives All classes inside the parentheses are integral, so this exhibits as twice an element of . 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 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
The Axiom of Choice
Weierstrass model over a line bundle
Canonical bundle of a Weierstrass hypersurface
Compact Calabi–Yau manifold conventions
Kähler class, canonical bundle, and Ricci form
Second Chern class of a smooth Calabi–Yau Weierstrass fourfold
The degree-four Chern parity of a compact complex threefold