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.
Slope of a holomorphic bundle on a Kähler threefold
Purely mathematical degree and slope convention for locally free holomorphic bundles; no stability-to-Hermitian–Yang–Mills existence theorem is asserted.
Definition
Let be a compact Kähler complex threefold with complex structure and a specified Kähler form ; orient by its complex structure and write for its de Rham class. For a locally free holomorphic vector bundle of rank , let be its topological first Chern class as in def-chern-classes-from-the-projective-bundle-relation. Write for the inverse de Rham image of its coefficient change , using the natural de Rham isomorphism specified in thm-chern-weil-forms-represent-the-at-characteristic-classes-over-the-reals. Assume full AC as in that supplier. Define its -degree and -slope by
where is the complex-orientation fundamental class. A rescaling for multiplies both degree and slope by . This convention alone does not assert (semi)stability or existence of a Hermitian–Yang–Mills connection.
Definition references
Facts & Assumptions
Given: A compact Kähler complex threefold , its specified Kähler form and class , a rank- locally free holomorphic bundle , the real Chern class , and the complex orientation.
Kähler class, canonical bundle, and Ricci form reserves for the complex structure and defines the Kähler form as a smooth positive real -form with ; its de Rham class is .
Chern classes from the projective-bundle relation defines . Under full AC, Characteristic forms represent topological characteristic classes over the reals specifies the natural isomorphism and identifies normalized Chern forms with the real coefficient images of topological Chern classes for arbitrary smooth complex bundles with supplied Hermitian connection. Here only is needed; no connection is selected and no tangent-bundle formula is applied to .
The Axiom of Choice is assumed as in [F2]. The integral is the cohomological pairing, not an integral of a chosen nonclosed representative.
Proof
Given: The data in the Definition and [F1]–[F2], with AC.
The cup product has real cohomological degree six, equal to the real dimension of . Its evaluation on the complex-orientation fundamental class is therefore a scalar determined by the two cohomology classes, which defines .
The rank is a positive integer, so division defines . Replacing by replaces by , hence multiplies and by . No stability inequality or existence conclusion is part of these definitions.