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.
Local Calabi–Yau threefold from a canonical line bundle
Definition
Let be a nonempty smooth projective complex surface and define its canonical line bundle by . For a holomorphic line bundle , its total space is the complex manifold obtained by gluing the local products using the transition functions of . Set , with projection . Then is a smooth complex threefold and its canonical bundle satisfies . If , this is the noncompact local Calabi–Yau threefold denoted ; it is not a compact Calabi–Yau threefold.
Definition references
Facts & Assumptions
Given: A nonempty smooth projective complex surface , its holomorphic cotangent bundle , and with projection .
Complex manifolds, holomorphic vector bundles and Hermitian metrics: a complex manifold of dimension carries holomorphic charts with holomorphic transition maps.
Complex manifolds, holomorphic vector bundles and Hermitian metrics: a holomorphic vector bundle is locally trivial with holomorphic transition matrices.
Proof
On every holomorphic trivializing open set , the total space is . The differential of the projection has kernel equal to the vertical tangent line, canonically identified with the pullback . The base tangent map is surjective in these product charts, so the local exact sequences glue to . The same charts show that is a smooth complex manifold of dimension .
Taking determinants in this exact sequence gives . Since by the definition of , ; dualizing yields .
For , every fiber of is isomorphic to and is closed in . If were compact, that closed fiber would be compact, contradicting noncompactness of . Thus this local threefold is noncompact.