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.

Slope of a holomorphic bundle on a Kähler threefold

Physical scope

Purely mathematical degree and slope convention for locally free holomorphic bundles; no stability-to-Hermitian–Yang–Mills existence theorem is asserted.

Definition

Let X be a compact Kähler complex threefold with complex structure J and a specified Kähler form ω; orient X by its complex structure and write [ω]∈HdR2(X;R) for its de Rham class. For a locally free holomorphic vector bundle E→X of rank r>0, let c1top(E)∈H2(X;Z) be its topological first Chern class as in def-chern-classes-from-the-projective-bundle-relation. Write c1R(E)∈HdR2(X;R) for the inverse de Rham image of its coefficient change c1top(E)↦(c1top(E))R, 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 deg⁡ω(E):=⟨c1R(E)⌣[ω]2,[X]⟩,μω(E):=deg⁡ω(E)r, where [X] is the complex-orientation fundamental class. A rescaling ω↦tω for t>0 multiplies both degree and slope by t2. This convention alone does not assert (semi)stability or existence of a Hermitian–Yang–Mills connection.

Facts & Assumptions

Given: A compact Kähler complex threefold (X,J), its specified Kähler form ω and class [ω], a rank-r>0 locally free holomorphic bundle E, the real Chern class c1R(E), and the complex orientation.

[F1]

Kähler class, canonical bundle, and Ricci form reserves J for the complex structure and defines the Kähler form ω as a smooth positive real (1,1)-form with dω=0; its de Rham class is [ω].

[F2]

Chern classes from the projective-bundle relation defines c1top(E). Under full AC, Characteristic forms represent topological characteristic classes over the reals specifies the natural isomorphism JX:HdR∗(X;R)→H∗(X;R) 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 c1R(E):=JX−1((c1top(E))R) is needed; no connection is selected and no tangent-bundle formula is applied to E.

[A1]

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.

1.1givenF1F2A1

The cup product c1R(E)⌣[ω]2 has real cohomological degree six, equal to the real dimension of X. Its evaluation on the complex-orientation fundamental class is therefore a scalar determined by the two cohomology classes, which defines deg⁡ω(E).

2.1givenstep 1.1algebra∎

The rank r is a positive integer, so division defines μω(E). Replacing ω by tω replaces [ω]2 by t2[ω]2, hence multiplies deg⁡ω(E) and μω(E) by t2. No stability inequality or existence conclusion is part of these definitions.

Depends on

Dependency tree · 2 levels

Sources