Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: AI-generatedPipeline-generatedprecheck passverified 2026-11-05 (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.

Local Calabi–Yau threefold from a canonical line bundle

Definition

Let S be a nonempty smooth projective complex surface and define its canonical line bundle by KS=det⁡(ΩS1)=⋀2ΩS1. For a holomorphic line bundle L→S, its total space Tot⁡(L) is the complex manifold obtained by gluing the local products U×C using the transition functions of L. Set X=Tot⁡(KS), with projection π:X→S. Then X is a smooth complex threefold and its canonical bundle satisfies KX≅OX. If S=P1×P1, this is the noncompact local Calabi–Yau threefold denoted ωP1×P1; it is not a compact Calabi–Yau threefold.

Facts & Assumptions

Given: A nonempty smooth projective complex surface S, its holomorphic cotangent bundle ΩS1, and X=Tot⁡(KS) with projection π.

[F1]

Complex manifolds, holomorphic vector bundles and Hermitian metrics: a complex manifold of dimension m carries holomorphic charts with holomorphic transition maps.

[F2]

Complex manifolds, holomorphic vector bundles and Hermitian metrics: a holomorphic vector bundle is locally trivial with holomorphic transition matrices.

Proof

technique · direct local bundle calculation
1.1givenF1F2construct

On every holomorphic trivializing open set U⊂S, the total space is U×C. The differential of the projection has kernel equal to the vertical tangent line, canonically identified with the pullback π∗KS. The base tangent map is surjective in these product charts, so the local exact sequences glue to 0→π∗KS→TX→π∗TS→0. The same charts show that X is a smooth complex manifold of dimension 2+1=3.

2.1givenstep 1.1algebra

Taking determinants in this exact sequence gives det⁡TX≅π∗(KS⊗det⁡TS). Since det⁡TS=KS−1 by the definition of KS, det⁡TX≅OX; dualizing yields KX=det⁡ΩX1≅OX.

3.1givenstep 1.1algebra∎

For S=P1×P1, every fiber of π is isomorphic to C and is closed in X. If X were compact, that closed fiber would be compact, contradicting noncompactness of C. Thus this local threefold is noncompact.

Depends on

Dependency tree · 2 levels

Sources