Alphabeta Math
TheoremStatement: Literature-sourcedProof: AI-adaptedPipeline-generatedprecheck pass
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.

Kähler identities give Lefschetz sl-two and hard Lefschetz

Statement

Assume the Axiom of Choice (The Axiom of Choice), inherited from the analytic suppliers below. Let X be a compact Kähler n-fold with Kähler form ω, in the conventions of Compact Kähler and rational Hodge polarization conventions, and put L=[ω]⌣(−) on cohomology. Then the following hold.

  • Ln−k:Hk(X;R)→H2n−k(X;R) is an isomorphism for 0≤k≤n.
  • Harmonic representatives transport (L,Λ,H) to an sl2 action: L is cup product with [ω], Λ on cohomology means applying Λ to the harmonic representative and not to an arbitrary closed form, H acts by deg⁡−n, and [L,Λ]=H, [H,L]=2L, [H,Λ]=−2Λ hold on cohomology.
  • Primitive cohomology is Pk={a∈Hk(X;R):the harmonic representative of a lies in ker⁡Λ}, and for 0≤k≤n one has Pk=ker⁡(Ln−k+1:Hk(X;R)→H2n−k+2(X;R)); for every k, Hk(X;R)=⨁r≥max⁡(0,k−n)LrPk−2r, and a class of type (p,q) has primitive components of type (p−r,q−r).
  • If [ω] is the real image of a rational class ℓ∈H2(X;Q), all these decompositions and L-isomorphisms are rational, and they remain isomorphisms after extension to every characteristic-zero field.

Facts & Assumptions

Given: A compact Kähler n-fold X with Kähler form ω, the operators L=ω∧, Λ=L∗, H=[L,Λ], and the cohomology of X.

[F1]

The Kähler conventions, the Laplacians, the Hodge star, the (p,q) decomposition, the operators L,Λ and the sign convention on cohomology are those of Compact Kähler and rational Hodge polarization conventions.

[F2]

On each exterior power, L raises degree by two, Λ lowers it by two, H=(k−n)id on degree k, [L,Λ]=H, [H,L]=2L, [H,Λ]=−2Λ, the primitive-component maps on each fixed degree are rational polynomials in L,Λ, and every element has a unique primitive decomposition ∑rLrur with ur∈ker⁡Λ of degree k−2r and r≥max⁡(0,k−n), Ln−t+1u=0 and Ln−tu≠0 for nonzero primitive u of degree t≤n, an element of degree k≤n is primitive exactly when Ln−k+1u=0, and Ln−k is a linear isomorphism of degree-k onto degree-(2n−k) forms (Hermitian exterior Lefschetz decomposition and Weil star identity).

[F3]

The de Rham Laplacian commutes with L, Λ and H, preserves each bidegree type, and equals twice the ∂ˉ-Laplacian (Kähler commutators and preservation of harmonic types).

[F4]

Every real de Rham class of the compact Kähler manifold has a unique harmonic representative, the Hodge decomposition of Hk(X;C) is by the types of harmonic representatives, pullback by holomorphic maps between compact Kähler manifolds and cup product preserve type, and the rational cohomology is a pure Hodge structure (Compact Kähler Hodge decomposition from elliptic harmonic forms).

[F5]

The natural coefficient maps Hr(X;Q)⊗F→Hr(X;F) are isomorphisms for every characteristic-zero field F, compatibly with cup products and pullback (Rational cohomology scalar comparison on compact smooth manifolds).

Proof

1.1F1F2F3F4givenalgebra

By [F3] the Laplacian commutes with L, Λ and H; hence L and Λ carry harmonic forms to harmonic forms and H acts on a harmonic form of degree k by the scalar k−n [F1]. By [F4] every real de Rham class has a unique harmonic representative, so applying the corresponding operator to that representative defines R-linear maps L,Λ,H on H∗(X;R); on closed forms L is wedge with the closed ω, so on cohomology it is cup product with [ω], and the sl2 relations [L,Λ]=H, [H,L]=2L, [H,Λ]=−2Λ hold on forms by [F2], hence on harmonic forms by commutation with the Laplacian, hence pass to cohomology. Unique harmonic representatives also transport the pointwise primitive decomposition: a harmonic form u of degree k is uniquely ∑rLrur with ur primitive harmonic of degree k−2r, r≥max⁡(0,k−n), because its primitive-component maps are polynomials in L,Λ by [F2], they commute with Δ by [F3] and take a smooth harmonic form to smooth harmonic primitive components; conversely every sum of string elements with primitive harmonic seeds is harmonic. Since Ln−t+1ur=0 and Lrur≠0 for 0≤r≤n−t when t=deg⁡ur≤n by [F2], the map Ln−k sends the string of ur bijectively from its (k)-position to its (2n−k)-position and zero is the only string element killed in the relevant range, so Ln−k:Hk(X;R)→H2n−k(X;R) is an isomorphism for 0≤k≤n; the kernel of Ln−k+1 in degree k≤n consists exactly of the sums ∑rLrur with r=0, because Ln−k+1Lrur=Lr+n−k+1ur=0 if and only if n−k+1+r>n−t with k=t+2r, that is r=0; this is the displayed Pk. Summing the decompositions string by string gives Hk(X;R)=⨁r≥max⁡(0,k−n)LrPk−2r, and since L raises both Hodge indices by one and Λ lowers both by one, a class of type (p,q) has primitive components of type (p−r,q−r).

2.1F2F4F5step 1.1givenalgebra∎

Assume [ω] is the real image of a rational class ℓ, so that cup product with [ω] on cohomology is the scalar extension of the rational map a↦a⌣ℓ [F4, F5]. In rational bases the matrix of Ln−k:Hk(X;Q)→H2n−k(X;Q) is rational and becomes invertible over R by step 1.1, so its determinant is a nonzero rational number and the map is already invertible over Q; under the comparison of [F5] its scalar extension to any characteristic-zero field F is therefore an isomorphism Hk(X;F)→H2n−k(X;F), compatible with cup products. For 0≤k≤n, the subspaces Pk=ker⁡Ln−k+1 are rational; for k>n they are zero by [F2]. Thus the primitive summands LrPk−2r are then rational, and the rational matrix of the direct-sum map ⨁r≥max⁡(0,k−n)LrPk−2r→Hk(X;Q) becomes the isomorphism of step 1.1 over R, hence is invertible with nonzero rational determinant and stays invertible after scalar extension, which proves that the decomposition is rational and persists over F. Finally the lowering operator reconstructed on each string by ΛLru=r(n−t−r+1)Lr−1u for primitive u of degree t=k−2r [F2] has rational coefficients and, by uniqueness of the primitive decomposition over R, it coincides there with the transported harmonic operator Λ; so the sl2 structure itself is rational.

Depends on

Used by

Dependency tree · two levels

49 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources