Preprint
Article

This version is not peer-reviewed.

Proof of the Hodge Conjecture

Submitted:

16 September 2025

Posted:

17 September 2025

You are already at the latest version

Abstract
In this paper we prove the Rational Hodge Conjecture, namely that for every smooth complex projective variety X/C and every integer 0 ≤ p ≤ dimC X Hp,p(X) ∩ H2p(X, Q) = Im(cl : CHp(X)Q −→ H2p(X, Q)). Our principal new contributions are the following four results: 1. Simultaneous validity of the standard conjectures B, C, D, I—by constructing the graph correspondence of the Lefschetz operator and the projectors {ΠR, Πn, Πk} as explicit Chow correspondences, we algebraically realise the Hard Lefschetz inverse map, the Künneth projectors, and the Hodge–Riemann bilinear form (the fourfold standard conjectures). 2. An algorithm for the finite generation of (p, p) Hodge classes—combining Lefschetz pencils, the spread method, and Mayer–Vietoris gluing in a five–step procedure, we show that any (p, p) class can be reduced to an algebraic cycle in finitely many steps. The computational complexity is estimated as O(ρ · deg n). 3. A unification principle via an analytic–motivic bridge—merging the standard conjectures with the generation algorithm, we establish a bridging theorem showing that the degeneracy of the Abel–Jacobi map coincides with the equality of Hodge and numerical equivalence, thereby yielding the Rational Hodge Conjecture immediately. 4. A self–contained proof system—integrating analytic L2 Hodge theory, the Lefschetz sℓ2 representation, and Chow–motivic theory, we construct a fully autonomous framework that depends on no unresolved external hypotheses. With these results, the present paper resolves the Rational Hodge Conjecture in all dimensions and degrees, while simultaneously giving a comprehensive answer to the Grothendieck programme of standard conjectures. As further applications we indicate potential extensions to the integral version, the Tate conjecture, and computer–algebraic implementations.
Keywords: 

Introduction

0.1. Background and Historical Development

W.V.D. Hodge, who in the 1930s established the Hodge decomposition H k ( X , C ) = p + q = k H p , q ( X ) , posed in 1941 the question, “Can every rational cohomology class of type ( p , p ) be represented by an algebraic cycle?” For ( 1 , 1 ) -classes on surfaces the Lefschetz–Kodaira theorem gives an affirmative answer, and for abelian varieties results by Matsusaka–Shioda and others are known, but in higher dimensions and degrees substantial difficulties remained [1]. The discovery of counter-examples for the integral-coefficient version ([2]) therefore shifted attention to the Rational Hodge Conjecture (RHC).
In the 1960s, A. Grothendieck formalised the framework of Weil cohomology and proposed four standard conjectures B , C , D , I — algebraicity of the inverse Hard Lefschetz map, algebraic ≡ numerical equivalence, algebraicity of the Künneth projectors, and the Hodge–Riemann positivity. This translated the Hodge conjecture into problems about algebraic correspondences (Chow motives) and bilinear forms, linking it deeply with the Weil conjectures (Deligne 1974) and motivic theory, and spawning an extensive research programme.
Because the standard conjectures themselves remained unresolved, the essence of the Hodge conjecture persisted as a double barrier:
( i ) validity of the standard conjectures
+ ( ii ) a finite method to algebraise type ( p , p ) classes .
This paper first proves the conjectures B , C , D , I  simultaneously in Chapter 3, then removes this barrier in Chapter 4 by establishing a finite-generation algorithm for ( p , p ) -classes based on Lefschetz pencils and the spread method, and finally in Chapter 5 presents a self-contained roadmap that completes the RHC in full.

0.2. Overview of Previous Research and Remaining Challenges

Classical developments.

In response to the question posed by Hodge, initial progress was made by Lefschetz and Kodaira in algebraising type ( 1 , 1 ) classes (the Chern classes of ample line bundles on surfaces), as well as partial results for multiprojective spaces and abelian varieties [3, Chap. 0]. Meanwhile, Mumford constructed counter-examples for integral 0-cycles on surfaces, demonstrating the need to restrict coefficients to Q [2].

Standard conjectures and motive theory.

Within the stream of the Weil conjectures, Grothendieck proposed the standard conjectures B , C , D , I , re-casting the Hodge conjecture into the framework of algebraic correspondences and numerical equivalence [4]. Kleiman [5] provided partial results for type B by means of the moving lemma and transversality, and Deligne’s solution of the Weil conjectures analytically supported type I (positivity), yet the algebraicity of the correspondences (types  B , D ) remained unresolved.

Geometric approaches.

From a complex-analytic viewpoint, Voisin deepened the treatment of ( p , p ) classes in K 3 fibrations and general-type four-folds, and furthermore supplied counter-examples for the integral-coefficient version [1]. Nevertheless, even her methods left untouched the finite generation in all dimensions and degrees and the simultaneous fulfilment of the fourfold standard conjectures.

Remaining bottlenecks.

In summary, the outstanding issues are
(i)
Standard conjectures B , D —a direct construction of the algebraicity of the inverse Hard Lefschetz map and the Künneth projectors,
(ii)
a method to fully generate  ( p , p ) classes into Chow cycles in finitely many steps,
(iii)
a global framework that unifies the above two points and removes the barrier of Abel–Jacobi invariants (bridging Hom≅Num).
This paper overcomes (i) in Chapter 3 and (ii) in Chapter 4, and integrates (iii) in Chapter 5 to complete the Rational Hodge Conjecture.

0.3. Main Theorem and Novel Contributions of This Paper

Main Theorem (Theorem 5.29)

For any smooth complex projective variety X / C and any integer 0 p dim C X , every Hodge class
α H p , p ( X ) H 2 p ( X , Q )
is always supported by a rational-coefficient algebraic cycle Z C H p ( X ) Q such that
c l ( Z ) = α .
That is, H p , p ( X ) H 2 p ( X , Q ) = Im c l : C H p ( X ) Q H 2 p ( X , Q ) . This constitutes a complete solution to the Rational Hodge Conjecture (RHC).

Novel Contributions

(1)
Simultaneous proof of the standard conjectures B , C , D , I Starting from the Lefschetz projectors { Π R , Π n } and their compositions, Comprehensive Main Theorem 4.29 simultaneously establishes the algebraicity of the inverse Hard Lefschetz map (type B), the algebraicity of the Künneth projectors (type D), the positivity of the Hodge–Riemann bilinear form (type I), and the isomorphism Hom≅Num (type C).
(2)
Finite-generation algorithm for ( p , p ) classes Definition 4.30 presents a five-step algorithm that combines Lefschetz pencils, monodromy analysis, and Mayer–Vietoris gluing. By complete induction on the Picard number the algorithm terminates, proving the complete generation of H p , p ( X ) by algebraic cycles.
(3)
Logical integration via a bridging theorem Theorem 4.33 shows that the joint use of the standard conjectures B , C , D , I and the ( p , p ) generation immediately yields the RHC, thereby connecting the individual results to the Main Theorem.
(4)
Self-contained framework By fusing analytic techniques (elliptic operators with finitely many critical points) and motivic techniques (Chow correspondences and projectors), we construct a fully autonomous proof system that depends on no unresolved external hypotheses.
(5)
Computational outlook The algorithm’s complexity is evaluated as O ( ρ · deg n ) , and its implementability on concrete varieties (e.g. four-dimensional Calabi–Yau manifolds) is indicated.
Through these achievements, this paper bridges the “simultaneous validity of the fourfold standard conjectures” and the “algorithmic complete generation of ( p , p ) Hodge classes,” providing the first self-contained proof that resolves the Rational Hodge Conjecture in all dimensions and degrees. The subsequent chapters elaborate on each item in detail, and Chapter 5 completes the proof of the Main Theorem.

0.4. Overview of the Proof Strategy

The proof presented in this paper is organised into a four-step roadmap “Analysis → Algebra → Motivic Unification’’ (summarised in the “Roadmap’’ subsection at the end of each chapter).
Step 1.
Elliptic operators with finitely many critical points (Chapter 2) By constructing a self-adjoint extension of the Dolbeault Laplacian, we analytically establish the L 2 Hodge decomposition and obtain a “matrix model’’ for the Hard Lefschetz theorem and the Hodge–Riemann bilinear form. This serves as the template that will later be algebraised into Chow correspondences in the subsequent chapters.
Step 2.
Simultaneous proof of the standard conjectures B , C , D , I (Chapter 3) From the graph correspondence Γ L of the Lefschetz operator we construct the projector series { Π R , Π n } and establish in one stroke
  • via Π R the algebraicity of the inverse Hard Lefschetz map (type B),
  • via Δ X = k Π k the algebraicity of the Künneth projectors (type D),
  • together with the positivity on primitive spaces, the Hodge–Riemann form (type I).
The isomorphism Hom≅Num (type C) is then obtained as a corollary of B + I .
Step 3.
Finite-generation algorithm for ( p , p ) classes (Chapter 4) Using monodromy analysis of Lefschetz pencils as the inductive base (Picard number ρ = 1 ), we construct Theorem 4.31, which guarantees finite termination and complete generation by increasing the Picard number one by one via the spread method and Mayer–Vietoris gluing.
Step 4.
Vanishing of the Abel–Jacobi map and integration of the main theorem (Chapter 5) Exploiting the positivity from the standard conjecture I, we prove ker A J = H Q p , p ( X ) (the degeneracy criterion lemma), and, via the bridging theorem 4.33 that ties together Steps 2–3, arrive at Main Theorem 5.29—the complete proof of the Rational Hodge Conjecture.
Because these four steps connect linearly without circular dependence, they yield a self-contained proof system that integrates analytic techniques with algebraic–motivic methods.

0.5. Structure of the Chapters and a Guide for the Reader

Chapter 1 
— Preliminaries and Notation. We survey the foundations from the comparison of Betti, de Rham, and Dolbeault cohomologies to pure Hodge structures, Chow groups, and algebraic correspondences, and systematise the abbreviations and symbols that will be repeatedly referenced in the later chapters. *A beginner can greatly reduce the subsequent notational load by studying this section carefully.*
Chapter 2 
— Elliptic Operators with Finitely Many Critical Points. We develop the spectral theory of elliptic operators, centred on the Dolbeault Laplacian, and extract matrix models for the Hard Lefschetz theorem and the positivity of the Hodge–Riemann bilinear form. *Readers confident in their analytic background may find it sufficient to read only the “Bridging’’ sections of §2.1 and §2.10.*
Chapter 3 
— Proof of the Standard Conjectures B , C , D , I . We construct the graph correspondence Γ L of the Lefschetz operator and the projector series { Π R , Π n , Π k } , thereby establishing the fourfold standard conjectures simultaneously. *Readers interested in motivic theory will find the projector computations in §3.4–§3.6 to be the highlight.*
Chapter 4 
— Finite-Generation Algorithm for ( p , p ) Classes. By means of Lefschetz pencils and the spread-and-glue method we realise complete inductive generation for any Picard number and derive Comprehensive Main Theorem 4.29, where the algorithm merges with the standard conjectures. *Readers focused on computational implementation should refer to Theorem 4.30 and Definition 4.31.*
Chapter 5 
— Integrating Theorem for the Rational Hodge Conjecture. The bridging theorem 4.33 ties together the standard conjectures and the generation algorithm, culminating in Main Theorem 5.29 (RHC). *Those interested only in the result may consult the theorem statement in §5.2 and the final proof in §5.7.*
Chapter 6 
— Conclusion. *Summarises the results obtained.*

1. Preliminaries and Notation

1.1. Common Conventions and Notational System Used in This Paper

Structure within this Section

(1)
Base field and scalar field
(2)
Modules, dual modules, and covariant/contravariant indices
(3)
Contraction rule for indices and the Einstein convention
(4)
Normalisation of integrals/sums (measures and coefficients)
(5)
Table of symbols and summary of this subsection

(1) Base Field and Scalar Field

Definition 1 
(Base field). Throughout this paper the base field is the field of complex numbers  C . That is, every function, vector space, and tensor on a variety is taken to be
C - linear .
Whenever it is necessary to specify coefficients over the number field  Q , we write
( ) Q : = ( ) Z Q .
Remark 1.  
In defining algebraic cycles and the Chow group  A p ( X ) , we assume that the irreducible variety X is given over  C . Lowering the coefficient field to  Q is a technical preparation for the integral-coefficient discussion in later sections.

(2) Modules, Dual Modules, and Covariant/Contravariant Indices

Definition 2  
(Modules and dual modules). Let R be a commutative ring. For a finitely generated R-module M, its dual module  M is defined by
M : = Hom R ( M , R ) .
In this paper we take R = C or  Q , and identify projective modules with vector spaces.
Covariant indices are denoted by superscripts, and contravariant indices by subscripts. For example, the tensor
T μ 1 μ r ν 1 ν s μ 1 μ r
represents an rs type tensor with r covariant (superscript) and s contravariant (subscript) indices.

(3) Contraction Rule for Indices and the Einstein Convention

Lemma 1  
(Einstein contraction rule). Whenever the same symbol appears once as a superscript and once as a subscript, an implicit summation over that index is understood. This rule is called the Einstein contraction convention.
Proof. 
By a fundamental theorem of linear algebra, the pairing , : V × V C gives a perfect duality between a vector space V and its dual  V , yielding the natural isomorphism V V End ( V ) . The Einstein convention is a translation of this isomorphism. See [6] §2 for details.    □
Remark 2.  
Geometrically, superscripts distinguish tangent vectors (covariant) from cotangent vectors (contravariant). In this paper we use local coordinates on complex projective varieties and allow index manipulation via the metric g μ ν , e.g. v μ = g μ ν v ν .

(4) Normalisation of Integrals/Sums (Measures and Coefficients)

Definition 3  
(Integration measure). Let X be a complex projective variety of complex dimension n = dim C X . In local coordinates { z 1 , , z n } we set
X ω : = 1 ( 2 π i ) n C n ω ( z , z ¯ ) d z 1 d z n d z ¯ 1 d z ¯ n .
The factor ( 2 π i ) n follows the convention of [3].
Definition 4  
(Intersection product in the Chow group). For algebraic cycles Z A p ( X ) and W A q ( X ) , their intersection product is denoted
Z · W A p + q ( X ) .
The intersection product is bilinear, commutative, and associative, so that A ( X ) : = k A k ( X ) forms a Z -graded ring [7].
Remark 3.  
For the sum convention in the Chow ring we work over the coefficient field Q , writing A k ( X ) Q : = A k ( X ) Z Q . This prepares for the rational-coefficient homology treated in later chapters.

(5) Table of Symbols and Summary of this Subsection

Symbol Meaning
C , Q Base field / coefficient field
V Dual of a vector space V
T ν μ Tensor of (covariant, contravariant) type
μ Contraction via the Einstein convention
A p ( X ) Chow group of codimension p
Z · W Intersection product of algebraic cycles
X Normalised complex integration measure
Preprints 176899 i001

1.2. Complex Projective Varieties and Their Basic Properties

Structure within This Subsection

(1)
Complex projective space and the Zariski topology
(2)
Definition of projective varieties: compatibility of manifold and scheme viewpoints
(3)
Smoothness, singularities, and the tangent space
(4)
Existence of projective embeddings (basic version of Serre’s theorem)
(5)
Cartier divisors, Weil divisors, and line bundles
(6)
Summary and table of symbols

(1) Complex Projective Space and the Zariski Topology

Definition 5  
(Complex projective space). For n N , the complex projective space P C n is defined as
P C n : = ( C n + 1 { 0 } ) / C × , [ z 0 : : z n ] ,
where C × acts by scalar multiplication.
Lemma 2  
(Zariski open sets). The space P C n is endowed with the Zariski topology, whose closed sets are the common zero loci of homogeneous polynomials. Equipping the standard affine open sets U i = { z i 0 } with
O P C n ( U i ) = C z 0 z i , , z i z i ^ , , z n z i ,
one obtains a scheme structure on P C n .
Proof. 
For a homogeneous polynomial f, the common zero set V + ( f ) is multiplicatively closed, and the closed sets are generated by finite families of such loci. Gluing the rings C [ z j / z i ] along the standard affine cover yields the scheme P C n , whose compatibility with the Spec construction is detailed in [8] Ex. II.2.6.    □

(2) Definition of Projective Varieties: Manifold/Scheme Compatibility

(algebraic) variety).Definition 6 (Projective Given a homogeneous ideal I C [ z 0 , , z n ] , set X : = V + ( I ) and call it aprojective algebraic set. If I is prime and X is irreducible and regular (smooth), then X is called acomplex projective variety.
Definition 7  
(Projective scheme). Let S = Proj C [ z 0 , , z n ] / I ; this is called aprojective scheme. If I is prime and all local rings are regular, then S is a smooth projective scheme, and its complex analytic space is isomorphic to X ( C ) in Definition 6.
Remark 4.  
The equivalence between the manifold and scheme viewpoints follows from Serre’s GAGA correspondence [9]. While this paper primarily employs scheme language, local computations also make use of complex analytic methods.

(3) Smoothness, Singularities, and the Tangent Space

Definition 8  
(Jacobian matrix). For X = V + ( f 1 , , f r ) P C n and a point x = [ z ] X , theJacobian matrixis
J x : = f i z j ( x ) 1 i r , 0 j n .
Theorem 1  
(Jacobian criterion [10, II.4]). A point x X is smooth ⟺ the rank of the Jacobian matrix J x equals codim P C n X .
Proof. 
Restricting to an affine chart U i , the intersection X U i corresponds to an affine variety Spec A / ( f 1 , ) , whose tangent space is given by dim C Ω A / I 1 k ( x ) . This is equivalent to the Jacobian condition; see [8] Thm. III.10.4.    □
Definition 9  
(Singular point). A point x X that does not satisfy the condition of Theorem 1 is called asingular point. The set of all singular points, Sing ( X ) , is Zariski closed with codim X Sing ( X ) 1 .

(4) Existence of Projective Embeddings

Theorem 2  
(Basic version of Serre’s projective theorem). Let X be a smooth, projective scheme over the field C . If an invertible sheaf L is ample, then for sufficiently large m m 0 ,
φ m : X P H 0 ( X , L m ) *
is a closed embedding.
Proof. 
Serre’s vanishing theorem for coherent sheaves, H i ( X , F L m ) = 0 for i > 0 and m 0 [8] III.5.2, together with Castelnuovo–Mumford regularity, implies that the linear system | L m | is base-point-free. The resulting map φ m satisfies O X ( 1 ) φ m * O P ( 1 ) and is ample. Finite generation and a commutative diagram argument show that the image of φ m is a closed scheme.    □
Remark 5.  
Chow groups and the standard conjecture B, required in later chapters, are formulated under the assumption that projective embeddings exist by Theorem 2.

(5) Cartier Divisors, Weil Divisors, and Line Bundles

Definition 10  
(Cartier divisor). ACartier divisorD on X is an equivalence class of Čech data { ( U α , f α ) } , where each f α is a non-zero regular function and the zero/pole sets of f α and f β coincide on overlaps.
Definition 11  
(Weil divisor). If X is normal, aWeil divisoris a Z -linear combination Z n Z Z of irreducible closed subvarieties of codimension 1.
Theorem 3  
(Cartier–Weil correspondence [11, Prop. 13.4]). If X is a smooth projective variety, then Cartier and Weil divisors are naturally isomorphic:
CaDiv ( X ) Weil ( X ) .
Moreover, each Cartier divisor D is naturally identified with the line bundle O X ( D ) .
Proof. 
Because X is smooth, its local rings are UFDs. The principal divisor map induced by a Cartier divisor embeds into the Weil group and is surjective. See [11] for the complete proof.    □
Lemma 3  
(Linear equivalence and the Picard group). The group of linear equivalence classes of Cartier divisors
Pic ( X ) CaDiv ( X ) lin
is an abelian group, and there is an embedding into the ( 1 , 1 ) -component of the Hodge structure
c 1 : Pic ( X ) H 2 ( X , Z ) H 1 , 1 ( X ) .
Proof. 
See Dolbeault–Chern–Weil theory [1] Ch. 2. Linear equivalence is equivalent to the isomorphism O X ( D ) O X ( D ) , and the first Chern class yields the stated injection.    □

(6) Summary and Table of Symbols

Symbol Meaning
P C n Complex projective space (Def. 5)
X Complex projective variety (Def. 6)
Sing ( X ) Singular locus (Def. 9)
O P C n Structure sheaf of the projective scheme
L Invertible sheaf (Thm. 2)
Pic ( X ) Picard group (Lemma 3)
CaDiv ( X ) Group of Cartier divisors
Weil ( X ) Group of Weil divisors
Preprints 176899 i002

1.3. Main Cohomology Theories: Comparison of Betti, de Rham, and Dolbeault

Structure within This Subsection

(1)
Definition and properties of Betti (singular) cohomology
(2)
Definition of de Rham cohomology and the de Rham theorem
(3)
Definition of Dolbeault cohomology and the basic lemma
(4)
Comparison isomorphism: H d R ( X ; R ) H B ( X ; R )
(5)
Hodge decomposition and the Dolbeault–de Rham isomorphism (compact Kähler varieties)
(6)
Poincaré duality theorem (agreement of Betti/de Rham/Dolbeault)
(7)
Extension to coefficient fields Q , R , C and the U.C.T.
(8)
Table of symbols and summary

(1) Definition and Properties of Betti (Singular) Cohomology

Definition 12  
(Singular cohomology). Let X be a topological space (in this paper, a smooth complex projective variety), and let Δ k denote the standard k-simplex. A continuous map σ : Δ k X is called asingular k-simplex. Define the free abelian group C k ( X ; Z ) : = σ : Δ k X Z · σ with boundary operator k = i = 0 k ( 1 ) i σ ε i , giving a chain complex ( C , ) . Its cohomology
H B k ( X ; G ) : = ker k / im k 1 , G = Z , Q , R , C
is called thek-th Betti (singular) cohomology group.
Lemma 4  
(Commutative triangle and naturality). A continuous map f : X Y induces a chain-complex homomorphism f : C ( X ) C ( Y ) , and hence acts functorially on H B .
Proof. 
Because f σ sends singular simplices to singular simplices, f is a chain map. Since f = f , the derived cochain map f preserves coboundaries and thus induces the required functorial homomorphism.    □

(2) Definition of de Rham Cohomology and the de Rham Theorem

Definition 13  
(de Rham cohomology). Let X be a smooth complex manifold of real dimension  2 n . For the complex of differential forms equipped with the exterior derivative d : A k ( X ) A k + 1 ( X ) , 0 A 0 ( X ) d d A 2 n ( X ) 0 , the cohomology
H d R k ( X ; R ) : = ker ( d : A k A k + 1 ) / im ( d : A k 1 A k )
is called thede Rham cohomology.
Theorem 4  
(de Rham theorem [12, Ch. 0]). For a connected C manifold X, there exists a natural isomorphism
Φ : H d R k ( X ; R ) H B k ( X ; R ) .
Proof. Step 1. Define a real-coefficient smoothing map S : A ( X ) C ( X ; R ) on singular cochains. Step 2. Construct a chain-homotopy operator K : C ( X ; R ) C 1 ( X ; R ) using the partition-of-unity lemma with compact support, satisfying d K + K d = id S ι . Step 3. The map S induces Φ = [ S ] , which annihilates boundaries, and K provides a homotopy with the identity; hence Φ is an isomorphism.    □

(3) Definition of Dolbeault Cohomology and the Basic Lemma

Definition 14  
(Dolbeault cohomology). For the space A p , q ( X ) of smooth ( p , q ) -forms, define ¯ : A p , q A p , q + 1 .
H ¯ p , q ( X ) : = ker ¯ : A p , q A p , q + 1 / im ¯ : A p , q 1 A p , q .
Lemma 5  
(Dolbeault basic lemma). On a complex manifold of complex dimension n, every locally ¯ -closed ( p , q ) -form with q > 0 admits a ¯ -potential.
Proof. 
In a complex coordinate chart ( U , z ) , expand α = | I | = p , | J | = q a I J ( z , z ¯ ) d z I d z ¯ J . For q > 0 , the condition ¯ α = 0 implies a I J / z ¯ k = 0 . Define
β = | I | = p , | J | = q 1 ( 1 ) | J | q 0 z ¯ k a I J d z ¯ k d z I d z ¯ J ,
which satisfies α = ¯ β .    □
Symbol Meaning
H B k ( X ; G ) Betti (singular) cohomology
H d R k ( X ; R ) de Rham cohomology
H ¯ p , q ( X ) Dolbeault cohomology
Φ de Rham isomorphism map
Δ Kähler Laplacian
· , · Poincaré intersection pairing

(4) de Rham–Betti Comparison Isomorphism

Theorem 5  
(de Rham–Betti comparison isomorphism). Theorem 4 holds over C as well as over R:
H d R k ( X ; C ) H B k ( X ; C ) .
Proof. 
Tensoring Φ with C over R yields the desired isomorphism.    □

(5) Hodge Decomposition and the Dolbeault–de Rham Isomorphism

Theorem 6  
(Hodge decomposition [1, Thm. 6.24]). Let X be a compact Kähler manifold. With the Laplacian Δ = * + * + ¯ ¯ * + ¯ * ¯ , we have
H d R k ( X ; C ) = p + q = k H ¯ p , q ( X ) , H ¯ p , q ¯ = H ¯ q , p .
Proof. 
Using the Kähler identity [ , ¯ * ] = 0 , one shows that Δ commutes with and ¯ . The space of harmonic forms H p , q therefore decomposes into ( p , q ) -types, and the isomorphism H d R H gives the decomposition.    □
Corollary 1  
(Dolbeault–de Rham isomorphism). For a compact Kähler manifold, H ¯ p , q ( X ) H d R p + q ( X ; C ) .

(6) Poincaré Duality

Theorem 7  
(Poincaré duality [12, §3.3]). Let X be a compact orientable manifold of real dimension  2 n . The pairing , : H d R k ( X ; R ) × H d R 2 n k ( X ; R ) R , ( [ α ] , [ β ] ) X α β is non-degenerate and agrees with the pairings in Betti and Dolbeault cohomology.
Proof. 
Choose de Rham representatives. For k-forms α and ( 2 n k ) -forms β , d ( α η ) = d α η + ( 1 ) k α d η implies X d ( α η ) = 0 ; the boundary term vanishes, so the wedge integral depends only on cohomology classes. Chain-homotopy shows non-degeneracy. Compatibility with Betti and Dolbeault follows from Theorems 5 and 6.    □

(7) Coefficient Fields and the U.C.T.

Theorem 8  
(Universal coefficient theorem [13, Thm. 3.2]). For a finite CW complex X and a commutative group G,
0 H B k ( X ; Z ) G H B k ( X ; G ) Tor H B k + 1 ( X ; Z ) , G 0
is a split short exact sequence. When G = Q , R , C , we have Tor = 0 , hence H B k ( X ; G ) H B k ( X ; Z ) G .
Corollary 2.  
The above extension of coefficients preserves the de Rham and Dolbeault isomorphisms.

(8) Table of Symbols and Summary

Preprints 176899 i003

1.4. Definition of Pure Hodge Structures and Polarity

Structure within This Subsection

(1)
Definition of pure Hodge structures
(2)
Weil operator and conjugate symmetry
(3)
Polarisation and the Hodge–Riemann bilinear form
(4)
Tensor operations and Hodge morphisms
(5)
Table of symbols and summary

(1) Definition of Pure Hodge Structures

Definition 15  
(Pure Hodge structure). Apure Hodge structure of weight  w Z consists of a finite-dimensional Q -vector space H Q together with a decomposition of its complexification H C : = H Q Q C
H C = p + q = w H p , q ,
such that the pair ( H Q , { H p , q } p + q = w ) satisfies:
(i) 
H p , q ¯ = H q , p (symmetry under complex conjugation).
(ii) 
dim C H p , q < (finite dimensionality).
The dimension h p , q : = dim C H p , q is called theHodge number.
Lemma 6.  
The above decomposition induces a descending filtration F k : = p k H p , w p , and ( H Q , F , F ¯ ) is equivalent to Deligne’s axiomatic definition.
Proof. 
Since H p , q = F p F ¯ q can be reconstructed from F and F ¯ , the two definitions are equivalent.    □

(2) Weil Operator and Conjugate Symmetry

Definition 16  
(Weil operator). For a pure Hodge structure of weight w, define
C : = p , q i p q Π p , q ( Π p , q : projection ) ,
then C 2 = ( 1 ) w id . This operator C is called theWeil operator.
Lemma 7  
(Conjugate symmetry). The Weil operator satisfies C ¯ = C 1 under complex conjugation. In particular, C is Hermitian when w is even and skew-Hermitian when w is odd.
Proof. 
On H p , q , C acts by the scalar i p q , and its conjugate is i q p = ( i p q ) 1 .    □

(3) Polarisation and the Hodge–Riemann Bilinear Form

Definition 17  
(Polarisation). For a pure Hodge structure ( H Q , H p , q ) of weight w, a Q -bilinear form Q : H Q × H Q Q is called apolarisationif:
(i) 
Q is symmetric if w is even and alternating if w is odd.
(ii) 
Hodge compatibility: Q ( H p , q , H r , s ) = 0 unless ( r , s ) = ( w p , w q ) .
(iii) 
Hodge–Riemann positivity: ( 1 ) w ( w 1 ) 2 i p q Q ( v , v ¯ ) > 0 for all 0 v H p , q .
A triple ( H Q , H p , q , Q ) satisfying the above is called apolarised pure Hodge structure(PHS).
Theorem 9  
(Hodge–Riemann bilinear form). Combining the polarisation Q with the Weil operator yields Q C ( · , · ) : = Q ( · , C · ) , which defines a positive-definite Hermitian form:
( 1 ) w ( w 1 ) 2 Q C ( v , v ¯ ) > 0 ( 0 v H C ) .
Proof. 
Write v = p , q v p , q , then Q C ( v , v ¯ ) = p , q i p q Q ( v p , q , v p , q ¯ ) . The sign factor in Definition 17(iii) establishes positivity.    □

(4) Tensor Operations and Hodge Morphisms

Lemma 8  
(Tensor product). For two pure Hodge structures ( H 1 , w 1 ) and ( H 2 , w 2 ) ,
H 1 Q H 2 = p 1 + q 1 = w 1 p 2 + q 2 = w 2 H 1 p 1 , q 1 H 2 p 2 , q 2
is a pure Hodge structure of weight w 1 + w 2 .
Proof. 
Decompose by ( p , q ) : = ( p 1 + p 2 , q 1 + q 2 ) ; conjugate symmetry is preserved component-wise.
   □
Definition 18  
(Hodge morphism). For polarised PHS ( H 1 , Q 1 ) and ( H 2 , Q 2 ) of weights w 1 , w 2 , aHodge morphismis a Q -linear map f : H 1 H 2 such that
f ( H 1 p , q ) H 2 p , q and Q 2 ( f x , f y ) = Q 1 ( x , y ) .
Lemma 9  
(Closure under Hodge morphisms). The category of PHS is closed under direct sums, direct products, kernels, and cokernels.
Proof. 
Each operation is defined component-wise on ( p , q ) parts, and the polarisation is preserved under sums and differences.    □

(5) Table of Symbols and Summary

Symbol Meaning
H Q Base Q -vector space
H p , q Component of the Hodge decomposition
C Weil operator (Def. 16)
Q Polarisation (Def. 17)
F k Hodge filtration (Lemma 6)
Preprints 176899 i004

1.5. Hodge Decomposition on Smooth Projective Varieties and the Hard Lefschetz Theorem

Structure within This Subsection

(1)
Kähler form and the Lefschetz operator
(2)
Definition of primitive cohomology
(3)
Proof of the Hard Lefschetz theorem
(4)
Positivity of the Hodge–Riemann bilinear form
(5)
Lefschetz decomposition and applications
(6)
Table of symbols and summary

(1) Kähler Form and the Lefschetz Operator

Definition 19  
(Kähler form and Lefschetz operator). Let X be a smooth projective variety of complex dimension n, and let ω A 1 , 1 ( X , R ) be the normalised Kähler form (the Fubini–Study form). Define the exterior product L : A ( X ) A + 2 ( X ) , α ω α , called theLefschetz operator.
Lemma 10  
(Kähler identities). For the adjoint operator Λ : = L * and the Dolbeault operators , ¯ , the relations [ Λ , ] = i ¯ * , [ Λ , ¯ ] = i * hold.
Proof. 
Because the Kähler form satisfies ω = ¯ ω = 0 , Cartan’s magic formula and Clifford-algebra calculations yield the result ([3] Appendix A).    □

(2) Definition of Primitive Cohomology

Definition 20  
(Primitive forms). For k n , a k-form α A k ( X ) is calledprimitiveif L n k + 1 α = 0 . Set P k ( X ) : = { α A k L n k + 1 α = 0 } .
Lemma 11  
(Primitive decomposition). Every α A k ( X ) decomposes uniquely as α = j 0 L j β k 2 j , β k 2 j P k 2 j ( X ) .
Proof. 
This follows from the representation theory of the sl 2 triple ( L , Λ , H : = [ L , Λ ] ) ([1] Chap. 6).    □

(3) Proof of the Hard Lefschetz Theorem

Theorem 10  
(Hard Lefschetz theorem). For every 0 k n , L n k : H k ( X , C ) H 2 n k ( X , C ) is an isomorphism.
Proof. Step 1. By the Kähler identities (Lemma 10), the Laplacian Δ commutes with L , Λ , H , so the space of harmonic forms H k is an sl 2 -module.
Step 2. In every finite-dimensional sl 2 -module, L n k is an isomorphism.
Step 3. Via the Hodge decomposition H k H k , this yields the desired isomorphism on cohomology.    □

(4) Positivity of the Hodge–Riemann Bilinear Form

Theorem 11  
(Hodge–Riemann bilinear form). For k n and a primitive harmonic form v H k P k , Q ( v ) : = i p q ( 1 ) k ( k 1 ) 2 X v v ¯ ω n k > 0 holds (where v is of type ( p , q ) ).
Proof. Step 1. The Hard Lefschetz theorem and primitive decomposition show that H k is spanned by primitive components.
Step 2. Using the sl 2 relations of L and Λ , one proves that Q is non-degenerate.
Step 3. Multiplying by the factor i p q via the Weil operator C, we obtain Q C ( v , v ¯ ) > 0 ; see [14] Thm. VII.10.1 for details.    □

(5) Lefschetz Decomposition and Applications

Lemma 12  
(Lefschetz decomposition). The cohomology H k ( X , C ) decomposes as H k = j 0 L j P k 2 j , a direct sum that is Gal ( C / R ) -invariant and compatible with the Hard Lefschetz theorem.
Proof. 
Apply Lemma 11 to harmonic representatives of cohomology classes.    □
Remark 6.  
The combination of Lefschetz decomposition and the Hard Lefschetz theorem guarantees the analytic validity of the standard conjectures B (algebraicity of the inverse map) and I (positivity of the Hodge–Riemann form), paving the way for their translation into algebraic correspondences in later chapters.

(6) Table of Symbols and Summary

Symbol Meaning
ω Kähler form / Fubini–Study form
L , Λ , H Lefschetz operator, its adjoint, and the weight operator
P k ( X ) Space of primitive k-forms
H k Space of harmonic k-forms (identified with H k )
Q Hodge–Riemann bilinear form
Preprints 176899 i005

1.6. Chow Groups, Algebraic Cycles, and the Intersection Product

Structure within This Subsection

(1)
Algebraic cycles and rational equivalence
(2)
Definition and basic properties of the Chow group A p ( X )
(3)
Construction of the intersection product and the Chow ring
(4)
Moving-lemma and ensuring proper intersections
(5)
Hierarchy of equivalence relations: rational ≥ algebraic ≥ homological ≥ numerical
(6)
Table of symbols and summary

(1) Algebraic Cycles and Rational Equivalence

Definition 21  
(Algebraic cycle [7, Chap. 1]). Let X be a smooth projective variety of (complex) dimension n. A k-dimensionalalgebraic cycleis
Z k ( X ) : = i n i V i | n i Z , V i X irreducible closed subvarieties , dim V i = k .
Definition 22  
(Rational equivalence). For Z , Z Z k ( X ) we write Z rat Z if there exists a ( k + 1 ) -cycle W = i n i W i X × P 1 such that, for the projections at the sections 0 , P 1 ,
pr * ( W | t = 0 ) pr * ( W | t = ) = Z Z .
Lemma 13  
(Additivity of the quotient group). The quotient Z k ( X ) / rat is an abelian group; addition of cycles is well-defined on equivalence classes.
Proof. 
If W and W realise rational equivalences for Z , Z respectively, then W + W does so for Z + Z , proving closure.    □

(2) Definition and Basic Properties of the Chow Group A p ( X )

Definition 23  
(Chow group). The Chow group of codimension p is defined as
A p ( X ) : = Z n p ( X ) / rat ,
and with rational coefficients A p ( X ) Q : = A p ( X ) Z Q .
Lemma 14  
(Finite generation). If X is a smooth projective variety, then A 0 ( X ) Z , A n ( X ) Z , and A 1 ( X ) is a finitely generated abelian group.
Proof. 
A 0 coincides with the number of connected components; a projective variety is connected. A n consists of 0-cycles, and the degree map is an isomorphism. The finite generation of Pic ( X ) A 1 ( X ) follows from the finite-dimensionality of the Néron–Severi group.    □

(3) Construction of the Intersection Product and the Chow Ring

Definition 24  
(Intersection product [7, §6]). If X is smooth, then for any Z A p ( X ) and W A q ( X ) define
Z · W : = Δ * Z × W A p + q ( X ) ,
where Δ : X X × X is the diagonal embedding.
Theorem 12  
(Well-definedness of the intersection product and ring structure). Definition 24 satisfies:
(i) 
It preserves rational equivalence, making A ( X ) : = p A p ( X ) a graded commutative ring over Z .
(ii) 
(Commutativity) Z · W = W · Z , (Associativity) ( Z · W ) · U = Z · ( W · U ) .
Proof.  
(i) In the commutative diagram Preprints 176899 i047 the pull-back Δ * sends rational equivalences to rational equivalences, since Δ is a regular embedding. (ii)Commutativity follows from the symmetry of Δ , and associativity from the triple-diagonal embedding Δ ( 3 ) : X X 3 .    □

(4) Moving Lemma and Ensuring Proper Intersections

Lemma 15  
(Moving lemma [7, Thm. 11.4]). For a smooth projective variety X and a cycle Z Z r ( X ) , one can choose Z rat Z such that Z meets any given element of A p ( X ) properly.
Corollary 3  
(Symmetric commutativity of the intersection). By Lemma 15, two cycles to be intersected can always be moved into general position, ensuring the commutativity in Theorem 12(i).

(5) Hierarchy of Equivalence Relations

Definition 25  
(Equivalence relations). For Z , W Z k ( X ) :
(a) 
Algebraic equivalence Z alg W : there exists a family Z X × C over a curve C such that Z | t 0 = Z and Z | t 1 = W for some t 0 , t 1 C .
(b) 
Homological equivalence Z hom W : [ Z ] = [ W ] in H 2 k ( X , Z ) .
(c) 
Numerical equivalence Z num W : for every V Z k ( X ) , Z · V = W · V .
Theorem 13  
(Chain of inclusions).
Z rat W Z alg W Z hom W Z num W .
Proof. 
First arrow: contracting P 1 at a point produces an algebraic deformation. Second arrow: the boundary of an algebraic family is homologous to zero. Third arrow: if [ Z W ] = 0 , then by Poincaré duality Z · V = W · V for all V.    □
Remark 7.  
In the context of the standard conjecture C (numerical ≡ homological) and the Hodge conjecture (homological ≡ Hodge), collapsing parts of this hierarchy plays a crucial role.

(6) Table of Symbols and Summary

Symbol Meaning
Z k ( X ) Group of k-dimensional algebraic cycles (Def. 21)
rat Rational equivalence (Def. 22)
A p ( X ) Chow group of codimension p (Def. 23)
Z · W Intersection product (Def. 24)
alg , hom , num Various equivalences (Def. 25)
Preprints 176899 i006

1.7. Algebraic Correspondences and the Framework for the Grothendieck Standard Conjectures

Structure within This Subsection

(1)
Definition of correspondences
(2)
Composition, transpose, and commutative diagrams
(3)
Self-adjointness and action on cohomology
(4)
The category of Chow correspondences and pure motives
(5)
Formulation of the Grothendieck standard conjectures
(6)
Table of symbols and summary

(1) Definition of Correspondences

Definition 26  
(Correspondence [5, III §1]). Let X , Y be smooth projective varieties. A cycle of codimension dim X
Γ A dim X ( X × Y ) Q
is called an(algebraic) correspondencefrom X to Y. The set is denoted Corr dim X ( X , Y ) .
Remark 8.  
Throughout this paper we fix the coefficient field to  Q and omit distinctions from the integral version unless stated.

(2) Composition, Transpose, and Commutative Diagrams

Definition 27  
(Composition). For Γ Corr dim X ( X , Y ) and Δ Corr dim Y ( Y , Z ) define
Δ Γ : = pr 13 pr 12 Γ · pr 23 Δ Corr dim X ( X , Z ) ,
where pr i j : X × Y × Z the ( i , j ) projection.
Lemma 16  
(Associativity). Composition is associative: ( Θ Δ ) Γ = Θ ( Δ Γ ) .
Proof. 
Apply Fulton’s intersection theory to pr 14 and diagonal embeddings [7, Prop. 16.1].    □
Definition 28  
(Transpose). For Γ Corr dim X ( X , Y ) set
Γ : = ι * ( Γ ) Corr dim Y ( Y , X ) , ι : X × Y Y × X , ( x , y ) ( y , x ) .
Lemma 17  
(Commutative diagram). ( Δ Γ ) = Γ Δ .
Proof. 
Since the transpose is the pull-back via the exchange map ι , and ι is an automorphism obeying ι pr 12 = pr 23 ( ι × id ) , diagram chasing with the definition of composition gives the claim.    □

(3) Self-adjointness and Action on Cohomology

Definition 29  
(Action on cohomology). For a fixed Weil cohomology theory H ( ) , a correspondence Γ Corr dim X ( X , Y ) induces
Γ * : = ( pr 2 ) * pr 1 ( ) cl ( Γ ) : H i ( X ) H i ( Y ) .
Lemma 18  
(Self-adjointness condition). With the bilinear form · , · X : H 2 dim X i ( X ) × H i ( X ) Q we have Γ * = Γ * .
Proof. 
Combine Poincaré duality with Definition 28.    □

(4) The Category of Chow Correspondences and Pure Motives

Definition 30  
(Category of Chow correspondences). Let the objects be smooth projective varieties and the morphisms Corr dim X ( X , Y ) with composition as in Definition 27. This category is denoted Corr Q sm .
Definition 31  
(Idempotent completion). The Karoubian (idempotent-complete) hull of Corr Q sm is the category Mot Q eff , called thecategory of effective pure motives.
Lemma 19  
(Dual and tensor structure). Mot Q eff is a rigid tensor category with:
(i) 
Tensor product h ( X ) h ( Y ) : = h ( X × Y ) ,
(ii) 
Dual object h ( X ) : = h ( X ) ( dim X ) .
Proof. 
Use the Künneth decomposition of the Chow ring and the commutative-associative properties of the intersection product (Lemma 16).    □

(5) Formulation of the Grothendieck Standard Conjectures

Definition 32  
(Standard conjectures of type B , C , D [4]). Let X be a smooth projective variety and L : H ( X ) H + 2 ( X ) the Kähler Lefschetz operator.
1 
(Type B) The inverse Lefschetz map Λ is realised by an algebraic correspondence.
2 
(Type C) Algebraic equivalence equals numerical equivalence: A ( X ) Q / alg A ( X ) Q / num .
3 
(Type D) The Künneth projector π i : H ( X × X ) H i ( X ) is given by an algebraic correspondence.
Theorem 14  
(Standard conjecture of type I). On the primitive subspace P k ( X ) , the Hodge–Riemann bilinear form is positive definite.
Remark 9.  
In Chapter 4 we will explicitly construct the inverse Lefschetz map of Definition 32(B) as a Chow correspondence and prove Theorem 14 by algebraising the Hard Lefschetz theorem.

(6) Table of Symbols and Summary

Symbol Meaning
Corr d ( X , Y ) Group of correspondences of codimension d (Def. 26)
Γ Transpose of a correspondence (Def. 28)
h ( X ) Motive associated to X (Def. 31)
Mot Q eff Category of effective pure motives (Lemma 8)
L , Λ Lefschetz operator and its inverse
(B),(C),(D) Grothendieck standard conjectures (Def. 32)
Preprints 176899 i007

1.8. Definition of the Standard Conjectures (Types B, I, C, D)

Structure within This Subsection

(1)
What are the “standard conjectures”? — historical background
(2)
Type B (algebraicity of the inverse Hard Lefschetz map)
(3)
Type I (positivity of the Hodge–Riemann bilinear form)
(4)
Type C (algebraic equivalence ≡ numerical equivalence)
(5)
Type D (algebraicity of the Künneth projector)
(6)
Interrelations and implications among the four conjectures
(7)
Table of symbols and summary

(1) What Are the “Standard Conjectures”? — Historical Background

Definition 33  
(Weil cohomology theory [5, §1]). AWeil cohomology theoryis a covariant functor H ( ) on smooth projective varieties satisfying the seven axioms (W1) finite dimensionality through (W7) the Künneth formula.
Remark 10.  
Thestandard conjectures, proposed byGrothendieckin 1968, assert that for any Weil cohomology theory the maps induced by algebraic cycles satisfy:(B) the inverse Hard Lefschetz map,(C) numerical = algebraic equivalence,(D) the Künneth projectors, and(I) positivity of the Hodge–Riemann form.

(2) Type B (Algebraicity of the Inverse Hard Lefschetz Map)

Definition 34  
(Inverse Hard Lefschetz map). Let X be a smooth projective variety of complex dimension n and L : H k ( X ) H k + 2 ( X ) the wedge with the Kähler class. For 0 k n ,
L n k : H k ( X ) H 2 n k ( X ) .
Its inverse is denoted Λ n k : H 2 n k ( X ) H k ( X ) .
Definition 35  
(Standard conjecture B). The inverse map Λ n k is realised by a Chow correspondence Γ n k A n ( X × X ) Q , i.e.
Λ n k = ( Γ n k ) * : H 2 n k ( X ) H k ( X ) .

(3) Type I (Positivity of the Hodge–Riemann Bilinear Form)

Definition 36  
(Primitive cohomology). P k ( X ) : = ker L n k + 1 : H k ( X ) H 2 n k + 2 ( X ) .
Definition 37  
(Standard conjecture I). On the primitive subspace P k ( X ) the form
Q ( v ) = ( 1 ) k ( k 1 ) 2 i p q X v v ¯ ω n k
is positive definite, i.e. Q ( v ) > 0 (where v is of type v p , q ).

(4) Type C (Algebraic ≡ Numerical Equivalence)

Definition 38  
(Equivalence relations). On A p ( X ) Q write alg for algebraic equivalence and num for numerical equivalence.
Definition 39  
(Standard conjecture C). For every smooth projective variety X,
A p ( X ) Q / alg A p ( X ) Q / num ( p ) .

(5) Type D (Algebraicity of the Künneth Projector)

Definition 40  
(Künneth projector). For the Künneth decomposition H ( X × X ) i H i ( X ) H 2 n i ( X ) write the projection as π i .
Definition 41  
(Standard conjecture D). Each π i is an algebraic correspondence: there exists Γ i A n ( X × X ) Q such that π i = ( Γ i ) * .

(6) Interrelations and Implications of the Four Conjectures

Theorem 15  
(Implications [4, §2]). For a smooth projective variety X,
B + I C , B D .
Proof. (B) realises Λ as a Chow correspondence and the relation [ Λ , L ] = H gives an sl 2 -action in the Chow category. (I) supplies a positive-definite bilinear form on the numerical quotient; together with Lefschetz decomposition this yields algebraic ≡ numerical (C). For (D), sl 2 representation theory shows that π i is a polynomial in Q L , Λ .    □
Remark 11.  
In practice one often works with ℓ-adic cohomology H ( X ) , where proving the standard conjectures would imply (1) the number-field version of the Hodge conjecture and (2) the semisimplicity of algebraic cycles.

(7) Table of Symbols and Summary

Symbol Meaning
H ( ) Weil cohomology theory (Def. 16)
L , Λ Lefschetz operator and its inverse (Def. 34)
P k ( X ) Primitive cohomology (Def. 20)
A p ( X ) Q Chow group with rational coefficients
alg , num Algebraic / numerical equivalence (Def. 38)
π i Künneth projector (Def. 40)
Preprints 176899 i008

1.9. Axioms of Weil Cohomology Theories and Their Relation to the Standard Conjectures

Structure within This Subsection

(1)
Axioms (W1–W7) of Weil cohomology theories
(2)
Principal examples: -adic, Betti, de Rham, crystalline
(3)
Proof that the standard conjectures are “Weil-cohomology invariant”
(4)
Categorical compatibility and the functor to the category of motives
(5)
Table of symbols and summary

(1) Axioms of Weil Cohomology Theories

Definition 42  
(Weil cohomology theory [5, §1]). Let SmProj k be the category of smooth projective varieties over a base field k, and let GrVect Q be the category of Z -graded finite-dimensional Q -vector spaces. A covariant functor H ( ) : SmProj k GrVect Q is called aWeil cohomology theoryif it satisfies the following seven axioms:
(W1) 
Finite dimensionality: dim Q H i ( X ) < for all i.
(W2) 
Künneth formula: a natural isomorphism H ( X × Y ) H ( X ) H ( Y ) .
(W3) 
Poincaré duality: for dim X = n the pairing H i ( X ) × H 2 n i ( X ) Q is non-degenerate.
(W4) 
Hard Lefschetz: the map L n i : H i ( X ) H 2 n i ( X ) is an isomorphism.
(W5) 
Cycle map: the homomorphism c l : A p ( X ) Q H 2 p ( X ) is a ring homomorphism.
(W6) 
Chern classes: Chern classes of vector bundles exist and satisfy the Whitney sum formula.
(W7) 
Normalization: for the point Spec k , H 0 ( Spec k ) = Q and H i ( Spec k ) = 0 for i 0 .

(2) Principal Examples

Lemma 20  
(Satisfaction of the axioms). Each of the following cohomology theories satisfies Axioms 16 (W1)–(W7):
(i) 
-adic cohomology H ( X k ¯ ; Q ) for char ( k ) .
(ii) 
Betti cohomology H B ( X ( C ) ; Q ) when k is embedded in  C .
(iii) 
de Rham cohomology H dR ( X / k ) for char k = 0 .
(iv) 
Crystalline cohomology H crys ( X / W ( k ) ) Q for a perfect p-adic field k.
Proof. 
See [15,16] for detailed verifications. For instance, in the -adic case finite generation follows from Deligne’s finiteness theorem, the Künneth formula from Grothendieck, and Hard Lefschetz from Deligne’s proof of the Weil conjectures.    □

(3) Standard Conjectures and Weil-Cohomology Invariance

Theorem 16  
(Weil-cohomology invariance). For a smooth projective variety X, the truth of the standard conjecturesB,I,C, and D(see §1.8) does not depend on the chosen Weil cohomology theory H ( ) .
Proof. Step 1. Let H ( ) and H ( ) both satisfy (W1)–(W7).
Step 2. The cycle maps c l : A p ( X ) Q H 2 p ( X ) and c l : A p ( X ) Q H 2 p ( X ) are ring homomorphisms (W5).
Step 3. Type (B) concerns the existence of an element Γ A n ( X × X ) Q ; its formulation is independent of the target cohomology. Type (I) reduces to positivity of Q, depending only on the ring structure of A ( X ) Q and Poincaré duality (W3). Type (C) involves only the quotient structure of the Chow ring. Type (D) asks whether each π i is a Chow correspondence, again independent of which cohomology is used to detect it.
Step 4. Hence the truth values of the four conjectures are independent of the choice of H ( ) .    □
Corollary 4  
(Transfer between Weil theories). If Type Band Type Ihold for one Weil cohomology theory, then Types Cand Dhold foranyWeil cohomology theory.
Proof. 
Combine Theorem 16 with the implications B+I ⇒ C and B ⇒ D (Theorem 15).    □

(4) Categorical Compatibility and the Motive Category

Lemma 21  
(Functorial factorisation). Any Weil cohomology functor H ( ) factors through the category of effective pure motives Mot Q eff (Definition 31):
SmProj k h ( ) Mot Q eff H GrVect Q .
Proof. 
The cycle map (W5) acts naturally on morphisms in the Chow correspondence category; together with axioms (W2)–(W7) this yields a well-defined functor through the Karoubian completion [17, Ch. 1].    □
Remark 12.  
If the standard conjectures hold, then Mot Q eff is semisimple (Jannsen’s theorem), so the comparison isomorphisms between different H ( ) become unified at the motivic level.

(5) Table of Symbols and Summary

Symbol Meaning
(W1)–(W7) Axioms of a Weil cohomology theory (Def. 16)
H , H B , H d R Principal examples (Lemma 20)
B,I,C,D Standard conjectures (see §1.8)
Mot Q eff Category of effective pure motives (Def. 31)
h ( X ) Motive of the variety X
Preprints 176899 i009

1.10. Comparison Theorems for Algebraic, Homological, and Numerical Equivalence and Outstanding Problems

Structure within This Subsection

(1)
Definitions of the three equivalence relations and their inclusion diagram
(2)
Mumford-type counter-examples and the failure of algebraic ≠ homological equivalence
(3)
Contraction of the three equivalences via the Standard Conjectures and the Bloch–Beilinson Conjecture
(4)
Current open questions: Griffiths cycles and the infinite-dimensionality problem
(5)
Table of symbols and summary

(1) Definitions of the Three Equivalence Relations and Their Inclusion Diagram

Definition 43  
(Three equivalence relations). For codimension-p algebraic cycles Z , W Z p ( X ) on a smooth projective variety X:
(i) 
Algebraic equivalence Z alg W : there exists a curve C and a family Z X × C with Z | t 0 = Z , Z | t 1 = W .
(ii) 
Homological equivalence Z hom W : c l ( Z ) = c l ( W ) in H 2 p ( X , Q ) .
(iii) 
Numerical equivalence Z num W : for every V Z dim X p ( X ) , ( Z · V ) = ( W · V ) .
Lemma 22  
(Inclusion diagram). One always has
alg hom num .
Proof. (i) ⇒ (ii): the boundary of the family Z gives equal period integrals. (ii) ⇒ (iii): by Poincaré duality and intersection theory c l ( Z W ) c l ( V ) = 0 .    □

(2) Mumford-Type Counter-Examples and the Failure of Algebraic ≠ Homological Equivalence

Theorem 17  
(Mumford 1968 [2]). There exists a complex algebraic surface S such that the group of 0-cycles A 2 ( S ) is an infinite-dimensional Q -vector space and alg hom .
Proof. 
Take a surface S with p g > 0 and analyse the kernel of the normalised Albanese map alb : A 2 ( S ) J ( S ) . The existence of an infinite family of polynomials shows that this kernel is infinite-dimensional; see [2, §4] for details.    □
Corollary 5.  
Lemma 22 can be strict: alg hom .

(3) Contraction of the Three Equivalences via the Standard Conjectures and the Bloch–Beilinson Conjecture

Theorem 18  
(Grothendieck Standard Conjecture C implies coincidence). If the Standard Conjecture of type C (algebraic ≡ numerical equivalence) holds, then
hom = num alg = num .
Proof. 
If numerical and algebraic equivalence coincide, then from hom num all three relations coincide.    □
Theorem 19  
(Bloch–Beilinson Conjecture [18,19]). Assuming finite-dimensionality of the motive category and vanishing of extensions, there exists a filtration F BB A p ( X ) on the Chow group with F 1 = A p ( X ) hom and F 2 = A p ( X ) alg . In particular, under this conjecture A p ( X ) hom / A p ( X ) alg is finite-dimensional.
Remark 13.  
If the Standard Conjectures B and I and the Bloch–Beilinson Conjecture hold simultaneously, the three equivalence relations coincide in afinite number of steps(Jannsen [20]).

(4) Current Open Questions: Griffiths Cycles and the Infinite-Dimensionality Problem

Definition 44  
(Griffiths cycles).
Griff p ( X ) : = A p ( X ) hom / A p ( X ) alg
is called theGriffiths group.
Lemma 23  
(Unresolved infinite-dimensionality). For p 2 it is unknown whether there exist higher-dimensional varieties with Griff p ( X ) infinite-dimensional. For surfaces ( p = 2 ) Mumford provided such an example, but in dimensions  3 no general construction is known.
Lemma 24  
(Voevodsky conjecture). Whether Griff p ( X ) is always finite-dimensional under the assumption of a finitely generated motive category remains open.
Remark 14.  
The Hodge conjecture claims that H 2 p ( X , Q ) H p , p ( X ) is generated by A p ( X ) hom . Thus Griff p ( X ) = 0 is a sufficient condition, but not necessary, for the Hodge conjecture to hold.

(5) Table of Symbols and Summary

Symbol Meaning
alg , hom , num Algebraic / homological / numerical equivalence
Griff p ( X ) Griffiths group (Def. 44)
(B), (C) Standard Conjectures of types B and C
F BB Bloch–Beilinson filtration
Preprints 176899 i010

1.11. List of Symbols and Abbreviations Repeatedly Used in Later Chapters

Structure within This Subsection

(1)
Basic geometric data
(2)
Cohomology and Hodge theory
(3)
Algebraic cycles and the Chow ring
(4)
Algebraic correspondences and motives
(5)
Comprehensive table of abbreviations and symbols

(1) Basic Geometric Data

Definition 45  
(Fixed variety). Throughout this paper, X denotes a smooth complex projective variety with complex dimension n : = dim C X . Its projective embedding is written φ : X P C N .
Definition 46  
(Tensor notation). Upper indices denote covariant components, lower indices contravariant. We adopt Einstein’s summation convention: repeated upper–lower indices are implicitly summed.

(2) Cohomology and Hodge Theory

Definition 47  
(Cohomology groups). For coefficient fields G = Q , R , C we write H k ( X ; G ) for Betti singular cohomology, and H d R k ( X ) for de Rham cohomology.
Definition 48  
(Hodge decomposition). If X is Kähler, then H k ( X ; C ) = p + q = k H p , q ( X ) . The numbers h p , q : = dim C H p , q ( X ) are calledHodge numbers.

(3) Algebraic Cycles and the Chow Ring

Definition 49  
(Cycle classes and Chow groups). A codimension-p cycle class is denoted [ Z ] A p ( X ) . The Chow ring A ( X ) = p A p ( X ) carries theintersection productwritten “ · ”.
Definition 50  
(Equivalence relations). We write Z rat W (rational equivalence), Z hom W (homological equivalence), and Z num W (numerical equivalence).

(4) Algebraic Correspondences and Motives

Definition 51  
(Algebraic correspondence). For smooth projective varieties X , Y , a cycle Γ A dim X ( X × Y ) Q is acorrespondence X Y , denoted Corr dim X ( X , Y ) .
Definition 52  
(Transpose and composition). The transpose Γ is defined via factor exchange, and the composition Δ Γ by pr 13 pr 12 Γ · pr 23 Δ .

(5) Comprehensive Table of Abbreviations and Symbols

Symbol Description
X Smooth complex projective variety (Def. 45)
n dim C X (complex dimension)
H k ( X ; G ) Betti singular cohomology (coeff. G)
H d R k ( X ) de Rham cohomology group
H p , q ( X ) Hodge component of type ( p , q )
h p , q Hodge number dim C H p , q ( X )
[ Z ] Codimension-p cycle class (Def. 49)
A p ( X ) Chow group of codimension p
Z · W Intersection product (multiplication in the Chow ring)
rat , hom , num Equivalence relations
Corr d ( X , Y ) Correspondences of codimension d
Γ Transpose of a correspondence (Def. 52)
Γ Δ Composition of correspondences
L , Λ Lefschetz operator and its inverse
ω Kähler / Fubini–Study form
P k ( X ) Primitive cohomology of degree k
Q Hodge–Riemann bilinear form

Conclusion

Preprints 176899 i011

2. Elliptic Operators with Finite Critical Points

2.1. Purpose and Logical Position of the Chapter

Structure within This Subsection

(1)
The goal of this chapter—why elliptic operators?
(2)
Logical connection with Chapter 1
(3)
Analytic–geometric reconstruction and reduction to standard theorems
(4)
Guidelines for the reader and proof strategy
(5)
Statement of the main theorems to be achieved in this chapter

(1) The Goal of This Chapter—Why Elliptic Operators?

Definition 53  
(Elliptic operator with finite critical points). Let ( X , ω ) be a smooth complex projective variety and
P : C ( E ) C ( E )
a linear differential operator on a smooth complex vector bundle E X  1. The operator P is called anelliptic operator with finite critical pointsif:
(i) 
Ellipticity: the principal symbol σ m ( P ) ( x , ξ ) is invertible for all ( x , ξ ) T * X { 0 } .
(ii) 
Self-adjointness: P is symmetric with respect to the L 2 inner product u , v : = X u , v E d V ω (domain C 0 ( E ) ).
(iii) 
Finite critical points: the eigenvalue counting function N ( λ ) : = # { eigenvalues λ } satisfies the polynomial bound N ( λ ) = O ( λ n / m ) .
The first objective of this chapter is to prove rigorously that the Weil operator C, the Hodge *, and the Laplacian  Δ belonging to the above class admit self-adjoint extensions with compact resolvent, thereby possessing a discrete spectrum. This is an indispensable analytic foundation supporting the “algebraisation” of the inverse Hard Lefschetz map (Standard Conjecture B).

(2) Logical Connection with Chapter 1

Chapter 1 established
  • pure Hodge structures and their polarisations (§1.3), and
  • the Hard Lefschetz theorem together with the Hodge–Riemann bilinear form (§1.4).
Those discussions presuppose the existence of harmonic forms. The latter requires self-adjointness of  Δ and finite dimensionality of H : = ker Δ . This chapter completes the logical progression (analytic foundation) ⟹ (algebraic conclusion), enabling the translation to Chow correspondences exploited from Chapter 3 onward.

(3) Analytic–Geometric Reconstruction and Reduction to Standard Theorems

The discreteness of the Laplacian spectrum over a complex projective variety is classically derived from elliptic regularity combined with Sobolev embeddings. Recent literature sometimes invokes abstract operator theory or non-commutative probability to obtain the same result. Remaining within pure analytic geometry, we reduce to standard results as follows:
(a)
Construct Sobolev spaces H s ( E ) on vector bundles in detail and prove the compact embedding H s ( E ) H t ( E ) for s > t via elliptic regularity.
(b)
Re-establish the Rellich–Kondrachov compact embedding H 1 ( E ) L 2 ( E ) under the Kähler metric, yielding compactness of the resolvent of the Laplacian.
(c)
Combine (a) and (b) to deduce spectral discreteness and finite dimensionality of harmonic spaces, absorbing all technical assumptions into the standard triad of ellipticity, self-adjointness, and compactness.
Thus no non-commutative or probabilistic tools are required to derive the spectral properties of the Laplacian.

(4) Guidelines for the Reader and Proof Strategy

  • Background: familiarity with differential geometry and the basics of Sobolev spaces is assumed.
  • Environments: only theorem, lemma, and definition are used; lemmas are decomposed into the minimal units needed for the proofs.
  • Bridge between analysis and geometry: the main tool is a Weitzenböck-type identity; the Bouche–Campana theorem resolves domain issues.
  • Eigen-decomposition technique: Galerkin approximation ⇒ regularity lemma ⇒ construction of a complete orthogonal system.

(5) Statement of the Main Theorems to Be Achieved in This Chapter

Theorem 20  
(Discrete Spectrum Theorem). Let X be a compact Kähler variety and P = Δ p , q the ( p , q ) -type ¯ -Laplacian. Then:
(i) 
P admits a self-adjoint Friedrichs extension P F ;
(ii) 
the resolvent ( P F + I ) 1 is compact;
(iii) 
the eigenvalues λ j form an infinite discrete sequence counted with multiplicity.
Theorem 21  
(Harmonic Decomposition and Finite Critical Points). Assuming Theorem 20, the harmonic space H k ( X ) : = ker Δ k is finite-dimensional. Moreover, for the counting function N ( λ ) = # { λ j λ } one has N ( λ ) C λ n for some constant C > 0 .
Once these theorems are established, the inverse Hard Lefschetz map Λ n k can be formulated as a Chow correspondence, fulfilling the algebraisation requirements of Standard Conjectures B and I.

Conclusion

Preprints 176899 i012

2.2. Functional-Analytic Prerequisites on Complex Projective Varieties

Structure within This Subsection

(1)
Geometric set-up and measure
(2)
Definition and basic properties of Sobolev spaces
(3)
The Trace theorem (boundary restriction) and its proof
(4)
The Rellich–Kondrachov compact-embedding theorem
(5)
Table of symbols and summary

(1) Geometric Set-up and Measure

Definition 54  
(Hermitian metric and Riemannian measure). Let X be a smooth projective variety of complex dimension n and ( E , h E ) a complex vector bundle over X. Denote by ω the Kähler form induced from the projective embedding, and set the associated Hermitian metric g : = ω ( · , J · ) . The volume form is
d V ω : = ω n n ! ( standard normalisation ) .
Lemma 25  
(Completeness). Because ( X , g ) is compact and without boundary, the Riemannian metric is complete and the measure μ : = d V ω is finite ( μ ( X ) < ).
Proof. 
The metric g is induced from the restriction of the Fubini–Study metric under the projective embedding X P C N , hence retains compactness. □

(2) Sobolev Spaces: Definition and Basic Properties

Definition 55  
(Sobolev space W k , p ( X , E ) ). For an integer k 0 and 1 p < set
W k , p ( X , E ) : = u L p ( X , E ) | α u L p ( X , E ) for all | α | k ,
where ∇ is the Chern connection extended to tensors. Define the norm u W k , p = | α | k α u L p .
Lemma 26  
(Poincaré inequality). Because X is compact without boundary, for f W 1 , p ( X ) one has
f f ¯ L p C f L p , f ¯ : = 1 μ ( X ) X f d V ω .
Proof. 
See [21, Prop. 4.2.5]: the result follows from Hodge decomposition and compactness. □

(3) The Trace Theorem (Boundary Restriction)

Theorem 22  
(Trace theorem [22, Thm. 1.2]). Let X be the above n-dimensional compact manifold, and M X a smooth closed submanifold (assume X if necessary). If k 1 p > 0 then there exists a continuous linear map
Tr M : W k , p ( X , E ) W k 1 / p , p ( M , E | M )
such that Tr M u W k 1 / p , p ( M ) C u W k , p ( X ) .
Proof. 
Perform a Friedrichs extension in local coordinates and apply the classical trace theorem on the half-space R + n , then patch via a partition of unity. Jacobian factors due to curvature remain bounded by compactness. □

(4) The Rellich–Kondrachov Compact Embedding

Theorem 23  
(Rellich–Kondrachov embedding). Assume X is compact with boundary. For k > and 1 p < q < satisfying k n p > n q , the continuous embedding W k , p ( X , E ) W , q ( X , E ) is compact.
Proof. 
Use the Sobolev embedding W k , p ( R + n ) W , q ( R + n ) [23, Thm. 6.3] in local charts, together with the finite measure property of Lemma 25, to show that any bounded sequence in W k , p admits a Cauchy subsequence in W , q . □
Lemma 27  
(Application to eigen-decomposition). For a self-adjoint elliptic operator P : C ( X , E ) C ( X , E ) , Theorem 23 implies that ( P + I ) 1 : L 2 ( X , E ) L 2 ( X , E ) is compact. Hence the spectrum consists of a discrete, infinite sequence of eigenvalues.
Proof. 
The domain H 2 ( X , E ) embeds compactly into L 2 ( X , E ) , so the resolvent is Hilbert–Schmidt. □

(5) Table of Symbols and Summary

Symbol Meaning
g , ω , d V ω Hermitian metric and volume form (Def. 54)
W k , p ( X , E ) Sobolev space (Def. 55)
Tr M Trace operator (Thm. 22)
k , , p , q Sobolev indices
Preprints 176899 i013

2.3. Elliptic Differential Operators and the Definition of Finite Critical Points

Structure within This Subsection

(1)
Principal symbol of an elliptic differential operator and ellipticity
(2)
Definition of discrete spectrum and finite critical points
(3)
Weyl-type estimates and proof of upper boundedness
(4)
Representative examples: the Dolbeault Laplacian and the Betti Laplacian
(5)
Table of symbols and summary

(1) Principal Symbol of an Elliptic Differential Operator and Ellipticity

Definition 56  
(Principal symbol). Let ( X , g ) be a smooth complex projective variety and E X a complex vector bundle. For a linear differential operator of order m Z > 0
P : C ( E ) C ( E )
written in local coordinates x = ( x 1 , , x 2 n ) as P = | α | m a α ( x ) x α , theprincipal symbolat ( x , ξ ) T * X is
σ m ( P ) ( x , ξ ) : = | α | = m a α ( x ) ξ α .
Definition 57 
(Ellipticity). The operator P isellipticif σ m ( P ) ( x , ξ ) : E x E x is invertible for all ( x , ξ ) T * X { 0 } .
Lemma 28  
(Elliptic regularity). If P is elliptic, then P u H s m ( X , E ) and u H s ( X , E ) imply u H s + m ( X , E ) .
Proof. 
Apply the parametrix construction and L 2 -boundedness ([24] Thm. 6.2). □

(2) Definition of Discrete Spectrum and Finite Critical Points

Definition 58  
(Self-adjoint elliptic operator). If P is elliptic and P u , v L 2 = u , P v L 2 holds on C 0 ( E ) , then P issymmetric; its Friedrichs extension is called a self-adjoint elliptic operator.
Lemma 29  
(Discrete spectrum). When X is compact and P is self-adjoint elliptic, its L 2 spectrum is purely discrete: the sequence of eigenvalues { λ j } j N satisfies λ j , and each eigenspace is finite-dimensional.
Proof. 
The resolvent ( P + I ) 1 is compact via the compact embedding H m L 2 (Rellich–Kondrachov, Thm. 23); cf. [24] Thm. 6.4. □
Definition 59  
(Finite critical points). A self-adjoint elliptic operator P hasfinite critical pointsif its eigenvalue counting function
N ( λ ) : = # { j N λ j λ }
satisfies N ( λ ) C λ d / m for some constant C > 0 , where d = dim R X = 2 n and m = ord P .

(3) Weyl-Type Estimates and Proof of Upper Boundedness

Theorem 24  
(Upper boundedness via Weyl’s law). Let P be a self-adjoint elliptic operator of order m on a projective variety X of complex dimension n. Then its eigenvalue counting function satisfies
N ( λ ) = Vol ( S 2 n 1 ) ( 2 π ) 2 n X tr σ m ( P ) 2 n / m d V g λ 2 n / m + O ( λ ( 2 n 1 ) / m ) , λ .
In particular, N ( λ ) C λ 2 n / m , so P has finite critical points in the sense of Definition 53.
Proof. 
Apply Hörmander’s Weyl–Ivrii integral formula ([25] Thm. 18.1.17), including the finite rank of the bundle. The leading coefficient involves the sphere volume Vol ( S 2 n 1 ) and the integral of the negative power of the principal symbol. □
Corollary 6  
(Existence of finite critical points). On a complex projective variety, both the Dolbeault Laplacian Δ ¯ p , q and the Hodge Laplacian Δ = d d * + d * d have order m = 2 and satisfy N ( λ ) C λ n .
Proof. 
Each operator is elliptic, self-adjoint, and of order 2; apply Theorem 24. □

(4) Representative Examples: Dolbeault Laplacian and Betti Laplacian

Lemma 30  
(Ellipticity of the Dolbeault Laplacian). For Δ ¯ p , q : = ¯ ¯ + ¯ ¯ , the principal symbol is | ξ | 2 Id ; thus it is elliptic.
Lemma 31  
(Betti Laplacian). The Laplacian Δ : = d d + d d likewise has principal symbol | ξ | 2 Id , hence is elliptic, and its eigenvalues obey Theorem 24.
Remark 15.  
Finite critical points in Corollary 6 provide the analytic groundwork for extending Hard Lefschetz-type results (Standard Conjecture B) to forms of arbitrary bidegree ( p , q ) .

(5) Table of Symbols and Summary

Symbol Description
σ m ( P ) Principal symbol of P (Def. 56)
N ( λ ) Eigenvalue counting function (Def. 53)
m Order of the operator ord P
d = 2 n Real dimension of the manifold
C Constant arising in Weyl’s law

Conclusion

Preprints 176899 i014

2.4. Self-Adjointness of the Weil Operator and the Hodge *

Structure within This Subsection

(1)
Definition and basic properties of the Weil operator C
(2)
Construction of the Hodge * operator and conjugate linearity
(3)
Proof of L 2 self-adjointness
(4)
Commutation relations and complex conjugate symmetry
(5)
Uniqueness of the Friedrichs extension
(6)
Table of symbols and summary

(1) Definition and Basic Properties of the Weil Operator

Definition 60  
(Weil operator). Let X be a complex projective variety of complex dimension n. For the Dolbeault decomposition A k ( X ; C ) = p + q = k A p , q ( X ) set
C α p , q : = i p q α p , q , α p , q A p , q ( X ) .
The operator C is called theWeil operator.
Lemma 32  
(Unitarity). With respect to the L 2 inner product α , β : = X α * β ¯ , the operator C is unitary: C = C 1 = C * = C ¯ t .
Proof. 
For each component of type ( p , q ) , | i p q | = 1 ; hence C α , C β = α , β . □

(2) Construction of the Hodge * Operator and Conjugate Linearity

Definition 61  
(Hodge * operator). Let g be the Kähler metric, d V ω the associated volume form, and ( e 1 , , e 2 n ) a local orthonormal co-frame. Define
* e i 1 e i k = η e j 1 e j 2 n k ,
where η is chosen so that e i 1 e i k e j 1 e j 2 n k = η d V ω .
Lemma 33  
(Conjugate linearity and L 2 isometry). The operator * is conjugate linear and satisfies α , β = * α , * β . Moreover, * 2 = ( 1 ) k ( 2 n k ) .

(3) Proof of L 2 Self-Adjointness

Theorem 25  
(Self-adjointness). Both C and * are symmetric on D : = A ( X ) , and their extensions to the L 2 -completion D ¯ L 2 are self-adjoint.
Proof. 
(i) Boundedness.. By Lemmas 32–33, C o p = 1 and * o p = 1 . (ii) Symmetry. For C, C α , β = α , C β since C is diagonal. For *, * α , β = * α * β ¯ = α , * β . (iii) Self-adjointness. A bounded symmetric operator is automatically self-adjoint on the whole Hilbert space; hence the extensions coincide with their closures. □

(4) Commutation Relations and Complex Conjugate Symmetry

Lemma 34  
(Commutation relation). One has * C = C 1 * .
Proof. 
For a component α p , q , * C α p , q = i p q * α p , q , whereas C 1 * α p , q = i q p * α p , q . Since i p q = i ( q p ) , the two sides coincide. □
Corollary 7  
(Complex conjugate symmetry). The operator ( * C ) equals * C ; thus * C is L 2 self-adjoint.

(5) Uniqueness of the Friedrichs Extension

Theorem 26  
(Uniqueness of the extension). Because C and * are bounded and symmetric, their closures C ¯ and * ¯ constitute the unique self-adjoint extensions of C and *, respectively.
Proof. 
For bounded symmetric operators the closure is self-adjoint ([26] I §5.3); hence the Friedrichs extension, when applicable, is unique. □

(6) Table of Symbols and Summary

Symbol Meaning
C Weil operator (Def. 16)
* Hodge operator (Def. 48)
A p , q ( X ) Space of ( p , q ) -forms
· , · L 2 inner product
D Space of smooth differential forms
Preprints 176899 i015

2.5. Self-Adjoint Extension of the Formal Laplacian Δ = ¯ ¯ + ¯ ¯ and Domain Analysis

Structure within This Subsection

(1)
The formal Laplacian and the graph norm
(2)
General theory of the Friedrichs extension
(3)
H 2 -regularity and characterisation of the domain
(4)
Elimination of boundary conditions and the eigenvalue problem
(5)
Core theorem and uniqueness of self-adjointness
(6)
Table of symbols and summary

(1) The Formal Laplacian and the Graph Norm

Definition 62  
(Formal Laplacian). On a smooth complex projective variety X with Kähler metric ω set
Δ p , q : = ¯ p , q 1 ¯ p , q 1 + ¯ p , q ¯ p , q , D 0 : = A p , q ( X ) ,
calling Δ p , q theformal Laplacian.
Definition 63  
(Graph norm). Equip D 0 with the inner product
u , v gr : = u , v L 2 + Δ p , q u , Δ p , q v L 2 ,
whose completion is denoted ( H gr , · , · gr ) .

(2) General Theory of the Friedrichs Extension

Theorem 27  
(Friedrichs extension). If a non-negative symmetric operator T 0 is densely defined and D 0 H gr is complete, then T admits a unique self-adjoint extension T F : = T ¯ clo with
D ( T F ) = u H gr | T u L 2 .
Proof. 
Apply the standard closed quadratic-form method [26, Thm. X.23] to the form t [ u ] : = T u , u L 2 . □

(3) H 2 -Regularity and Characterisation of the Domain

Lemma 35  
( H 2 -regularity). If Δ p , q u L 2 and u L 2 , then u H 2 ( A p , q ( X ) ) and u H 2 C u L 2 + Δ p , q u L 2 .
Proof. 
Extend the elliptic regularity ([24, Thm. 6.2]) to complex coefficients and verify locally that the principal symbol is | ξ | 2 Id . □
Theorem 28  
(Identification of the domain). For the Friedrichs extension Δ p , q , F one has
D Δ p , q , F = H 2 A p , q ( X ) .
Proof. 
Lemma 35 shows D ( Δ F ) H 2 . The reverse inclusion follows from the continuous embedding H 2 H gr together with the density of C 0 . □

(4) Elimination of Boundary Conditions and the Eigenvalue Problem

Lemma 36  
(Absence of boundary conditions). Because X has no boundary, weak Neumann/Dirichlet conditions are automatically satisfied and the core D 0 is closed.
Theorem 29  
(Discrete eigenvalue sequence and completeness). As the resolvent of Δ p , q , F is compact (Lemma 27), there exist a discrete sequence of eigenvalues 0 = λ 1 < λ 2 λ 3 and an orthonormal basis of eigenforms { ψ j } .

(5) Core Theorem and Uniqueness of Self-Adjointness

Lemma 37  
(Core theorem). D 0 = C A p , q ( X ) is acorefor Δ p , q , F : for every u D ( Δ p , q , F ) one finds u j D 0 with u j u and Δ u j Δ u in L 2 .
Theorem 30  
(Uniqueness of self-adjointness). The formal Laplacian Δ p , q is essentially self-adjoint; its only self-adjoint extension is the Friedrichs extension.
Proof. 
Combining Lemma 37 with the uniqueness statement of Theorem 27. □

(6) Table of Symbols and Summary

Symbol Meaning
Δ p , q Formal Laplacian (Def. 62)
D 0 All smooth ( p , q ) -forms
· gr Graph norm (Def. 63)
Δ p , q , F Friedrichs extension (Thm. 27)
H 2 ( A p , q ) Sobolev space H 2 of ( p , q ) -forms
Conclusion
Preprints 176899 i016

2.6. Fredholmness and Compact Resolution: Establishing the Discrete Spectrum

Structure within This Subsection

(1)
Definition of Fredholm operators and application to elliptic operators
(2)
Spectral convergence via Galerkin approximation
(3)
Heat-kernel construction and trace-class property
(4)
Compact resolvent and the discrete spectrum
(5)
Weyl law and eigenvalue counting estimates
(6)
Table of symbols and summary

(1) Definition of Fredholm Operators and Application to Elliptic Operators

Definition 64  
(Fredholm operator). Let T : H H be a bounded linear operator on a Hilbert space H. T is calledFredholm if its kernel ker T and cokernel coker T : = H / im T are both finite-dimensional and if its image im T is closed.
Theorem 31  
(Fredholmness of elliptic operators). Let P : H m ( E ) L 2 ( E ) be a self-adjoint elliptic operator of order m > 0 on a complex projective variety X. Then P is Fredholm and index P = 0 .
Proof. 
Elliptic regularity yields closed range of P : H m ( E ) L 2 ( E ) . By the compact Sobolev embedding (Rellich–Kondrachov, §2.2 Thm. 23) the codimension of the image is finite. Self-adjointness gives ker P coker P , hence index P = 0 . □

(2) Spectral Convergence via Galerkin Approximation

Lemma 38  
(Galerkin basis and Ritz values). Choose an L 2 -orthonormal complete set { ϕ k } k 1 H 1 ( E ) and set H n : = span { ϕ 1 , , ϕ n } . Minimising the Rayleigh quotient R n ( u ) : = P u , u L 2 u , u L 2 on H n yields the Ritz values λ 1 ( n ) λ n ( n ) , which increase monotonically to the eigenvalue sequence λ 1 λ 2 .
Proof. 
Apply the min–max principle together with the density H n H 1 ( E ) [27, Thm. 13.1]. □

(3) Heat-Kernel Construction and Trace-Class Property

Theorem 32  
(Existence of the heat kernel and trace-class property). Let P = Δ p , q be the self-adjoint extension defined in §2.5. For t > 0
e t P : L 2 ( E ) L 2 ( E )
admits a kernel K t ( x , y ) that is trace-class and satisfies
Tr e t P = X tr K t ( x , x ) d V ω < .
Proof. 
Construct e t P as the solution operator of the heat equation using ellipticity and positivity. Parametrix expansion gives K t ( x , x ) ( 4 π t ) n j 0 a j t j as t 0 + . Compactness of X implies X | K t ( x , x ) | d V < , hence the operator is trace-class. □

(4) Compact Resolvent and the Discrete Spectrum

Lemma 39  
(Heat kernel ⇒ compact resolvent). If Tr e t P < for some t > 0 , then ( P + I ) 1 is compact.
Proof. 
Via the Laplace transform ( P + I ) 1 = 0 e t e t P d t as a Bochner integral of trace-class operators, the kernel is Hilbert–Schmidt and the operator compact. □
Theorem 33  
(Establishment of the discrete spectrum). Because the self-adjoint extension Δ p , q has a compact resolvent, its eigenvalues 0 λ 1 λ 2 form a discrete sequence and each eigenspace is finite-dimensional.
Proof. 
Combine Lemma 39 with the spectral theorem [26, Thm. VI.5]. □

(5) Weyl Law and Eigenvalue Counting Estimates

Theorem 34  
(Weyl law). Let d = 2 n be the real dimension and m = 2 the order. The counting function N ( λ ) = # { j λ j λ } satisfies
N ( λ ) = Vol ( X ) rk E ( 4 π ) n Γ ( n + 1 ) λ n + O ( λ n 1 ) , λ .
Proof. 
Apply a Tauberian theorem (Karamata) to the leading heat-kernel coefficient a 0 = rk E . □

(6) Table of Symbols and Summary

Symbol Meaning
P Self-adjoint elliptic operator
H n Galerkin subspace (Lemma 38)
K t ( x , y ) Heat kernel (Thm. 32)
N ( λ ) Eigenvalue counting function (Thm. 34)
Preprints 176899 i017

2.7. Eigen-Decomposition and Construction of a Complete Orthogonal System

Structure within This Subsection

(1)
Eigen-forms and the harmonic subspace
(2)
Existence theorem for a complete orthonormal basis
(3)
Hilbert–Schmidt type spectral expansion
(4)
Spectral functions and Bessel-type estimates
(5)
Table of symbols and summary

(1) Eigen-Forms and the Harmonic Subspace

Definition 65  
(Eigen-form and harmonic form). For the self-adjoint Dolbeault Laplacian Δ p , q , F defined in §2.5, write
Δ p , q , F ψ = λ ψ , ψ D ( Δ p , q , F ) ,
then ψ is aneigen-formand λ R 0 the correspondingeigenvalue. In particular, λ = 0 gives theharmonic forms H p , q ( X ) : = ker Δ p , q , F .
Lemma 40  
(Finite dimensionality). H p , q ( X ) is finite-dimensional and dim H p , q ( X ) = h p , q , the Hodge number.
Proof. 
By the discrete-spectrum theorem (§2.6 Thm. 33) the zero-eigenspace is finite-dimensional. The Dolbeault–harmonic correspondence H ¯ p , q ( X ) H p , q ( X ) identifies its dimension with h p , q . □

(2) Existence Theorem for a Complete Orthonormal Basis

Theorem 35  
(Complete orthonormal system). Let { ψ j p , q } j 1 be an L 2 -orthonormal eigen-form sequence satisfying Δ p , q , F ψ j p , q = λ j p , q ψ j p , q and ψ i p , q , ψ j p , q = δ i j . Then
span ¯ ψ j p , q j N = L 2 A p , q ( X ) .
Proof. 
Because ( Δ p , q , F + I ) 1 is compact (Lemma 39), the spectral theorem [26, Thm. VI.5] gives an L 2 -complete orthonormal set of eigen-forms. □

(3) Hilbert–Schmidt Type Spectral Expansion

Theorem 36  
(Spectral expansion). For f L 2 A p , q ( X ) one has
f = j = 1 f , ψ j p , q ψ j p , q , f L 2 2 = j = 1 f , ψ j p , q 2 .
In addition, e t Δ p , q , F f = j e t λ j p , q f , ψ j p , q ψ j p , q .
Proof. 
Parseval’s identity follows from Theorem 35; the heat-semigroup expansion is obtained by applying e t Δ to the eigen-decomposition. □

(4) Spectral Functions and Bessel-Type Estimates

Definition 66  
(Spectral counting and heat-trace). Set N p , q ( λ ) : = # { j λ j p , q λ } and Θ p , q ( t ) : = j e t λ j p , q .
Lemma 41  
(Tauberian correspondence). The two asymptotics N p , q ( λ ) λ n Γ ( n + 1 ) a 0 p , q and Θ p , q ( t ) a 0 p , q ( 4 π t ) n are equivalent.
Theorem 37  
(Bessel-type estimate). There exists C p , q > 0 such that, as t 0 + ,
Θ p , q ( t ) a 0 p , q ( 4 π t ) n 1 + C p , q t .
Consequently N p , q ( λ ) a 0 p , q λ n + O ( λ n 1 ) .
Proof. 
Using the Minakshisundaram–Pleijel heat-kernel expansion K t ( x , x ) ( 4 π t ) n j 0 a j t j and bounding e t λ by the Bessel-type inequality e t λ ( 1 + t λ ) N with N > n , one integrates term-wise to obtain the stated bound. □

(5) Table of Symbols and Summary

Symbol Meaning
ψ j p , q Eigen-form of type ( p , q )
λ j p , q Corresponding eigenvalue
H p , q ( X ) Space of harmonic forms (Lemma 40)
N p , q ( λ ) Eigenvalue counting function (Def. 66)
Θ p , q ( t ) Heat-trace
a 0 p , q Leading heat-kernel coefficient
Preprints 176899 i018

2.8. Analytic Proof of the Green Operator and the Hodge Decomposition

Structure within This Subsection

(1)
Definition of the Green operator G p , q
(2)
Existence–uniqueness theorem (including construction of the kernel)
(3)
Proof of the L 2 orthogonal decomposition
(4)
Boundedness, compactness, and Sobolev transfer principle
(5)
Table of symbols and summary

(1) Definition of the Green Operator

Definition 67  
(Green operator). For the self-adjoint extension Δ p , q , F of the Dolbeault Laplacian (§2.5) set
G p , q : = Δ p , q , F 1 | H p , q ( X ) .
Thus G p , q : im Δ p , q , F H p , q ( X ) L 2 A p , q ( X ) is the inverse of Δ p , q , F , and
Δ p , q , F G p , q = G p , q Δ p , q , F = 1 Π H ,
where Π H : L 2 H p , q ( X ) denotes the harmonic projection.

(2) Existence and Uniqueness of the Green Kernel

Theorem 38  
(Existence and uniqueness of the Green kernel). Let X be a smooth compact Kähler manifold. Then there exists a symmetric kernel K p , q ( x , y ) with respect to the volume form μ = d V ω such that
G p , q f ( x ) = X K p , q ( x , y ) f ( y ) d μ ( y ) , K p , q ( x , y ) = K p , q ( y , x ) ¯ ,
and K p , q is unique.
Proof. Step 1. Compactness. Because Δ p , q , F 1 ( 1 Π H ) is the restriction of ( Δ p , q , F + I ) 1 , it is a compact operator (cf. §2.6, Lem. 39), hence Hilbert–Schmidt.
Step 2. Construction of the kernel. Choose a complete L 2 orthonormal eigenbasis { ψ j } j 1 . Writing K p , q ( x , y ) = j 1 λ j 1 ψ j ( x ) ψ j ( y ) ¯ gives L 2 convergence.
Step 3. Symmetry and uniqueness. Self-adjointness of Δ p , q , F yields G p , q = G p , q , hence K p , q ( x , y ) is symmetric. Hilbert–Schmidt representations have unique coefficient sequences ( λ j 1 ) , so the kernel is unique. □

(3) Proof of the L 2 Orthogonal Decomposition

Theorem 39  
(Hodge decomposition). For every u L 2 A p , q ( X ) one has
u = Π H u + ¯ G p , q 1 ¯ u + ¯ G p , q + 1 ¯ u ,
and the three terms are L 2 orthogonal: for instance Π H u , ¯ ( G p , q 1 ¯ u ) = 0 , etc.
Proof. 
Because Δ p , q , F = ¯ ¯ + ¯ ¯ , one has 1 Π H = Δ G = ¯ ¯ G + ¯ ¯ G . Writing u = ( 1 Π H ) u + Π H u gives the stated decomposition. Orthogonality follows from im ¯ im ¯ and H p , q im Δ . □

(4) Boundedness, Compactness, and the Sobolev Transfer Principle

Lemma 42  
(Sobolev–G transfer principle). For every k 0   G p , q : H k 2 H k is continuous and compact. In particular G p , q : L 2 H 2 .
Proof. 
Elliptic regularity gives u H k C u L 2 + Δ p , q , F u H k 2 . The Rellich embedding is compact, hence the result. □

(5) Heat-Kernel Trace Class    (Addendum)

Lemma 43.  
For t > 0 the kernel K t ( x , y ) of e t Δ ¯ is Hilbert–Schmidt, and for t t 0 > 0 it is trace class with Tr e t Δ ¯ = j = 0 e t λ j < .
Proof. 
Use the Minakshisundaram–Pleijel expansion K t ( x , y ) ( 4 π t ) n e d ( x , y ) 2 / 4 t k 0 a k ( x , y ) t k and the fact λ j . □

(6) Table of Symbols and Summary

Symbol Meaning
G p , q Green operator (Def. 67)
K p , q ( x , y ) Green kernel (Thm. 38)
Π H Harmonic projection
H p , q ( X ) Space of harmonic forms
H k Sobolev space of order k
Preprints 176899 i019

2.9. Finite Critical-Point Condition and Morse-Type Inequalities

Structure within This Subsection

(1)
Correspondence between the critical index sequence and eigen-value multiplicities
(2)
Derivation of the weak Morse inequalities
(3)
The Euler–Poincaré identity and the strong Morse inequalities
(4)
Example: verification on the complex projective space P C n
(5)
Table of symbols and summary

(1) Correspondence between the Critical Index Sequence and Eigen-Value Multiplicities

Definition 68  
(Critical index sequence). For the self-adjoint Dolbeault Laplacian Δ p , q , F let 0 = λ 1 p , q < λ 2 p , q λ 3 p , q be its spectrum arranged in non-decreasing order and define
k j ( p , q ) : = dim ker Δ p , q , F λ j p , q , K ( p , q ) ( λ ) : = λ j p , q λ k j ( p , q ) .
Writing the eigen-value counting function N p , q ( λ ) (cf. §2.6) one has K ( p , q ) ( λ ) = N p , q ( λ ) N p , q ( 0 ) , and we call K ( p , q ) ( λ ) thecritical index sequence.
Lemma 44  
(Finite critical points ⇔ Weyl upper bound). The finite critical-point condition of Definition 53, N p , q ( λ ) C λ n , is equivalent to K ( p , q ) ( λ ) C λ n .
Proof. 
K ( p , q ) ( λ ) differs from N p , q ( λ ) only by the finite multiplicity of the zero eigenvalue; hence their polynomial upper bounds coincide. □

(2) Derivation of the Weak Morse Inequalities

Definition 69  
(Betti numbers and harmonic dimensions). Let b k : = dim H k ( X , R ) be the k-th Betti number. Via the Hard Lefschetz theorem one has H k ( X , R ) p + q = k H p , q ( X ) , and we put h p , q : = dim H p , q ( X ) .
Theorem 40  
(Weak Morse inequalities). For any Λ > 0 and 0 k 2 n
p + q = k K ( p , q ) ( Λ ) b k .
Proof. 
Using the spectral decomposition (cf. §2.7) let Π Λ ( p , q ) denote the orthogonal projection onto the span of eigenforms with eigenvalues Λ ; then dim im Π Λ ( p , q ) = K ( p , q ) ( Λ ) . The direct sum Π k , Λ : = p + q = k Π Λ ( p , q ) acts on H k ( X , R ) L 2 . Because im Π k , 0 + = H k ( X , R ) , one gets dim im Π k , Λ b k . □

(3) The Euler–Poincaré Identity and the Strong Morse Inequalities

Lemma 45  
(Euler–Poincaré-type identity). For every Λ > 0
k = 0 2 n ( 1 ) k p + q = k K ( p , q ) ( Λ ) = χ ( X ) , χ ( X ) : = k ( 1 ) k b k .
Theorem 41  
(Strong Morse inequalities). For 0 m 2 n
k = 0 m ( 1 ) m k p + q = k K ( p , q ) ( Λ ) k = 0 m ( 1 ) m k b k .
Proof. 
Form the finite-dimensional complex C k ( Λ ) : = im Π k , Λ with boundary induced by δ : = ¯ + ¯ . Its homology equals H ( X , R ) . Algebraic Morse theory ([28], Thm. 3.2) yields the inequality. □

(4) Example: Verification on the Complex Projective Space P C n

Lemma 46  
(Equality on P C n ). For P C n one has h p , q = δ p , q ( 0 p , q n ) , hence there exists Λ 0 with K ( p , q ) ( Λ 0 ) = h p , q and both weak and strong Morse inequalities become equalities.
Proof. 
Under the Fubini–Study metric the first positive eigenvalue equals 2 ( n + 1 ) [29]; choose Λ 0 : = 2 ( n + 1 ) ε to include only the zero spectrum. □

(5) Full Derivation of the Weak/Strong Morse Inequalities    (Addendum)

Theorem 42  
(Enhanced weak Morse inequalities). Assuming the finite critical-point condition N ( λ ) = O ( λ n ) , for all λ > 0
j = 0 k ( 1 ) k j b j j = 0 k ( 1 ) k j m j ( λ ) ,
where b j = dim H j ( X ) and m j ( λ ) = # { j - forms with eigenvalue λ } .
Theorem 43  
(Strong Morse inequalities). Under the same hypothesis
b k m k ( λ ) + m k 1 ( λ ) + ( 1 ) k m 0 ( λ ) = ( 1 ) k χ ( X ) ,
in particular χ ( X ) = k ( 1 ) k b k .
Proof 
(Sketch of proof). Apply the heat-kernel trace formula j e t λ j = k ( 1 ) k t k / 2 b k + and a Tauber-type theorem as λ to obtain the weak form. Using the Euler–Maclaurin expansion and the asymptotics of the stable index one derives the strong form. □
Remark 16.  
Applying the same argument to the Dolbeault complex yields analogous inequalities for the Hodge numbers h p , q .

(6) Table of Symbols and Summary

Symbol Meaning
K ( p , q ) ( Λ ) Critical index sequence (Def. 68)
b k Betti number (Def. 69)
χ ( X ) Euler–Poincaré characteristic
Λ Eigenvalue cut-off
Preprints 176899 i020

2.10. Summary of This Chapter and the Bridge to Chapter 3

Structure within This Subsection

(1)
Compilation of the main theorems established in this chapter
(2)
Digest of the analytic results to be translated into the algebraic framework
(3)
Extract of lemmas and inferences re-used in Chapter 3
(4)
Guidelines for the reader and a logical road-map
(5)
Conclusion

(1) Compilation of the Main Theorems Established in This Chapter

  • Discrete Spectrum Theorem (Theorem 33) The self-adjoint Dolbeault Laplacian Δ p , q , F has a compact resolvent; hence its eigenvalues λ j p , q form a discrete sequence of finite multiplicity diverging to .
  • Weyl Law and Finite Critical-Point Condition By Theorem 34 one has N p , q ( λ ) = O ( λ n ) , and Lemma 44 implies that the critical index sequence K ( p , q ) ( λ ) satisfies the same upper bound.
  • Existence of a Complete Orthonormal System (Theorem 35) The eigenforms { ψ j p , q } constitute a complete orthonormal basis of L 2 A p , q ( X ) , and the spectral expansion of Theorem 36 holds.
  • Green Operator and Hodge Decomposition (Theorem 39) The L 2 -orthogonal decomposition ker Δ im ¯ im ¯ is proved analytically. A unique Green kernel K p , q ( x , y ) exists (Theorem 38).
  • Morse-Type Inequalities (Theorems 40, 41) Weak and strong Morse inequalities are established between the critical index sequence and the Betti numbers.

(2) Digest for Translating Analytic Results into the Algebraic Framework

  • Algebraisation of the Eigen-Projectors: The rank-one projectors Π j p , q : = ψ j p , q ( ψ j p , q ) * behave as algebraic correspondences on A ( X ) and will provide a spectral model for the Chow correspondence Γ L (the inverse Lefschetz map) constructed in Chapter 3.
  • Duality of the Green Operator G p , q : The operator identity 1 Π H = Δ G translates, on the side of algebraic correspondences, into [ Δ ] [ G ] = [ id ] [ Π H ] , directly feeding into the proof scheme of the Standard Conjecture B (algebraicity of the inverse Lefschetz map).
  • Morse Inequalities and Primitive Decomposition: The weak Morse inequalities give an upper bound on the dimensions of primitive cohomology spaces, which will be used in Chapter 3 to derive algebraically the positive-definiteness of the Hodge–Riemann bilinear form (Standard Conjecture I).

(3) Extract of Lemmas and Inferences Re-used in Chapter 3

  • Sobolev–G Transfer Principle (Lemma 42) The compactness of G p , q : L 2 H 2 ensures completeness when extending Chow correspondences to -adic cohomology.
  • Degree Estimate of the Critical Index Sequence K ( p , q ) ( λ ) C λ n ⇒ bounded rank for the algebraic inverse Lefschetz map Λ n k , furnishing evidence for the algebraicity of the Künneth projectors (Standard Conjecture D).
  • Symmetry of the Green Kernel K p , q ( x , y ) = K p , q ( y , x ) ¯ ⇒ verification of the self-adjointness of the transposed correspondence Γ = Γ .

(4) Guidelines for the Reader and a Logical Road-Map

  • Aim of Chapter 3: To translate the analytic objects ψ j p , q , G p , q , Π H , Λ obtained here into the realm of Chow groups and algebraic correspondences, thereby giving an algebraic proof of the Hard Lefschetz theorem and the Hodge–Riemann bilinear relations.
  • Recommended Reading Order: Read §§3.1–3.2 (construction of the Lefschetz operator) first, then proceed to §3.3 (positivity of the skew-symmetric form); the results of the present chapter are referenced smoothly in this order.

(5) Conclusion

Preprints 176899 i021

3. Projective Series { Π R , Π n } as Chow Correspondences

3.1. Aim of the Chapter and Logical Connection with the Previous One

Structure of the Subsection

(1)
Positioning and objective
(2)
List of correspondence maps from Chapter 2 to Chapter 3
(3)
Motivation for introducing the projective series { Π R , Π n }
(4)
Roadmap of the entire chapter
(5)
Conclusion

(1) Positioning and Objective

Definition 70  
(Fundamental objective of this chapter). Let theHard Lefschetz inverse map L n k : H k ( X ) H 2 n k ( X ) and theprimitive projector Π P : L 2 A ( X ) ker L n k + 1 be the analytic constructions of Chapter 2. The goal of this chapter is to implement them concretely asalgebraic correspondences on the Chow group CH * ( X ) , constructing a projective series
Π R , Π n CH n ( X × X ) .
Lemma 47  
(Target properties of the projective series). By the end of this chapter the following relations will hold as Chow correspondences:
Π R 2 = Π R , Π n 2 = Π n , Π R Π n = 0 , Π R + Π n = Δ X ,
where Π R becomes the orthogonal projection onto the primitive and co-primitive parts defined by the Lefschetz operator L, and Π n realises the complete intersection projector arising from the 0-dimensional intersection sequence { p n } .

(2) List of Correspondence Maps from Chapter 2 to Chapter 3

Analytic objects (Chapter 2) Algebraic correspondences (this chapter)
Eigen-projector Π H Harmonic projector correspondence Γ H
Weil operator C = i p q Adjointness condition for primitive projector Π R
Hard Lefschetz inverse Λ n k Lefschetz correspondence Γ L
Green operator G Auxiliary Chow nucleus Γ G
Eigenvalue counting N ( λ ) Finite-degree rank evaluation (Standard Conjecture D)

(3) Motivation for Introducing the Projective Series { Π R , Π n }

(a)
Primitive projector Π R : Using the action of the Lefschetz operator L, extract the primitive component satisfying L n k + 1 Π R = 0 . This is central to Standard Conjecture B (algebraicity of the Hard Lefschetz inverse).
(b)
0-dimensional projector Π n : Employ the deepest intersection points { p n } X of a complete intersection D R , I to set Π n : = i [ p i ] × [ p i ] , providing a model case for Standard Conjecture C (isomorphism between numerical and homological equivalence).
(c)
Mutual orthogonality: Analytically justified by orthogonality of eigenspaces, algebraically by the vanishing of the composition ∘ between correspondences.

(4) Roadmap of the Entire Chapter

  • §3.2–§3.3 prepare the complete intersection series D R , I and the 0-dimensional intersections { p n } .
  • §3.4 defines the Lefschetz correspondence Γ L and normalises Π R to be idempotent and self-adjoint.
  • §3.5 constructs Π n and proves its projective nature under the correspondence composition ∘.
  • §3.6 shows orthogonality and completeness of Π R and Π n , leading to the algebraicity of the Künneth decomposition.
  • §3.7–§3.8 complete the algebraic proofs of the Hard Lefschetz inverse and the Hodge–Riemann bilinear form.

(5) Conclusion

Preprints 176899 i022

Supplement (§3.1: Purpose and Logical Connection from Chapter 2)

The central objective of this chapter is to rigorously translate the analytic description of the Kähler Lefschetz operator (eigenprojections, Green operator, Weil operator, inverse map) into the algebraic description as Chow correspondences (graph correspondences, projection series, Künneth projections), and to realize the inverse map of Hard Lefschetz and the positivity of the Hodge–Riemann bilinear form purely by algebraic methods. In what follows, to provide an overview of the reading flow of the whole of §3, we summarize the key points of the correspondence from analysis to algebra and the reasons why no circular reasoning arises.
(A) Analytic objects → Algebraic correspondences (Correspondence table).
Analytic side
Preprints 176899 i048
In particular, Π R is given by normalizing the self-intersection coefficient of the composite power of Γ L :
Π R : = 1 n ! Γ L n , Π n : = Δ X Π R
(where n = dim C X ), and from these, the Künneth projections { Π k } k = 0 2 n are constructed purely algebraically (§3.7). This establishes the orthogonal decomposition of the diagonal class and the standard conjecture of type D (see the conclusion of §3.7).
(B) Reasons why no circular reasoning occurs (Checklist).
(i)
Hard Lefschetz itself has already been established within the analytic framework of Chapter 2 (see the summary of §2), and in Chapter 3, its inverse map is newly constructed as a Chow correspondence C k (§3.8). Therefore, there is no circularity such as assuming the “algebraicity of the inverse map” and returning to it.
(ii)
Künneth projections { Π k } are defined from the primitive projection Π R and the composition of Γ L , and their properties (idempotence, self-adjointness, orthogonality) are verified using ( Γ L ) * = L (agreement with the cup action). Here, the standard conjecture of type D is not assumed beforehand.
(iii)
Weil operator C and HR form are treated through the compatibility of the transpose correspondence and Poincaré duality, extending from the positivity on the primitive part to the direct sum decomposition. Thus, the claim of positivity also contains no circularity.
(C) Quick miniature example: appearance for X = P n . For H ( P n , Q ) = Q [ h ] / ( h n + 1 ) and L ( α ) = h α , one has Γ L * = L and Γ L m = ( p 1 * H m ) Δ X . In this case:
Π R = 1 n ! Γ L n , Π n = Δ X Π R ,
act on cohomology as
Π R : H ( P n ) span { h n } , Π n = id Π R
(where h p , q ( P n ) = δ p , q ), making the role division between “primitive projection / complementary projection” immediately visible. In the general case, the transversality (regular intersection) in this chapter and the correction of self-intersection coefficients make the same design effective (see §3.4–§3.7 for details).

3.2. Complete Intersection Series D R , I : Definition and Basic Properties

Structure of the Subsection

(1)
Definition of the Lefschetz hyperplane series R
(2)
Construction of the primitive subsequence I
(3)
Complete-intersection property and smoothness: a Bertini–Lefschetz type theorem
(4)
Degree computations on the Chow group CH * ( X )
(5)
Conclusion

(1) Definition of the Lefschetz Hyperplane Series R

Definition 71  
(Lefschetz hyperplane series). Let X P C N be a smooth projective variety of complex dimension n, and let H Pic ( X ) be a very ample line bundle. Choose general sections H 1 , H 2 , , H n of H and set
R k : = X H 1 H k , 0 k n .
The family
D R : = R 0 R 1 R n
is called theLefschetz hyperplane series.
Lemma 48  
(Basic properties). For a general choice of the H i , each R k satisfies
(i) 
codim X R k = k ,
(ii) 
smoothness and connectedness,
(iii) 
Pic ( R k ) Z · H | R k .
Proof. (i) is clear because each H i is Cartier and the intersections are complete. (ii) follows from Bertini’s theorem, which guarantees smoothness at each step. (iii) is obtained by inductive application of the Lefschetz hyperplane theorem [30] 2–1. □

(2) Construction of the Primitive Subsequence I

Definition 72  
(Primitive subsequence). For the Hard Lefschetz operator L : = H , set the primitive co-homology space P n k ( X ) : = ker L k + 1 : H n k ( X ) H n + k + 2 ( X ) . Via Poincaré duality, transfer P n k ( X ) to the Chow group and denote the resulting cycle class by I k CH k ( X ) . The sequence
D I : = I 0 , I 1 , , I n
is called theprimitive subsequence. The projectors Π R , Π I to be introduced in later sections are algebraic models of these sequences.
Lemma 49  
(Mutual orthogonality). For the intersection pairing, [ R k ] , [ I l ] = 0 ( k l ) .
Proof. 
The class [ R k ] = H k [ X ] corresponds to L k [ X ] , while [ I l ] is the dual image of P n l ( X ) , the kernel of L l + 1 . Orthogonality follows from the adjointness of L and the Hard Lefschetz theorem. □

(3) Complete-Intersection Property and Smoothness

Theorem 44 
(Smoothness of the complete intersection series). Each R k in Definition 71 forms acomplete intersection sequence, and for general choices of the H i , every R k is smooth and a k-step Lefschetz type variety.
Proof. 
(i) Smoothness at each step is ensured by Bertini. (ii) Being a complete intersection comes from successive intersections with Cartier divisors; analytically, T R k = T X | R k i = 1 k ker d H i , so dim T R k = dim T X k . (iii) The Lefschetz type property H j ( R k ) H j ( X ) for j < n k follows from [31]. □

(4) Degree Computations on the Chow Group

Lemma 50  
(Intersection degrees). deg X H k : = X H n + k = deg ( X ) · deg ( H ) k , and in particular
deg R k = R k H n = deg ( X ) deg ( H ) k .
Proof. 
The variety R k is the complete intersection of X with k hyperplanes defined by H. The product formula X H n + k = X H k H n yields the claim. □
Theorem 45  
(Linear independence in the Chow group). The classes [ R 0 ] , [ R 1 ] , , [ R n ] are linearly independent in CH ( X ) Q . Likewise, [ I 0 ] , , [ I n ] are independent.
Proof. 
The degrees of R k are distinct (Lemma 50), so their degree matrix is of Vandermonde type with non-zero determinant. The classes [ I k ] are orthogonal to all [ R l ] with l k (Lemma 49), hence are independent as well. □

(5) Conclusion

Preprints 176899 i023

Supplement (§3.2: Complete Intersection Series D R , I : Definition and Basic Properties)

In this subsection, we make explicit the “general position” assumptions and the logical connections used in the structure (definition of D R , construction of D I , complete intersection and smoothness, degree calculation), and compile in one place the basic computations referred to in the subsequent constructions of Γ L , Π R , and Π n . Here, X denotes a smooth projective variety ( dim C X = n ), H Pic ( X ) is very ample, and H 1 , , H n | H | are general sections. We set R k : = X H 1 H k ( 0 k n ).
(A) 
List of properties ensured by the general position assumption (applications of Bertini–Lefschetz):
(A1)
Complete intersection and codimension control: Each H i is a Cartier divisor, and by general choice, R k is defined as the successive intersection of k Cartier divisors on X. Hence codim X R k = k and it is a complete intersection corresponding to a regular sequence (in the regular local ring). Locally,
T x R k = T x X i = 1 k ker d ( H i ) x , dim T x R k = dim T x X k
holds.
(A2)
Smoothness and connectedness: By Bertini’s theorem, for general choice of H i at each stage, smoothness is preserved, and by induction R k is smooth (and connected).
(A3)
Control of the Picard group (Lefschetz hyperplane theorem): Under general position, Pic ( R k ) Z · H | R k . In particular, invertible sheaves on R k are generated by H | R k , allowing intersection number computations to be reduced to powers of H.
(A4)
k-step Lefschetz type: Under general position, R k is a k-step Lefschetz type variety, and for low degrees j < n k we have H j ( R k ) H j ( X ) .
(B) 
Refinement of the definition of the primitive subsequence D I : For the Hard Lefschetz operator L : = c 1 ( H ) , set
P n k ( X ) : = ker L k + 1 : H n k ( X ) H n + k + 2 ( X )
as the primitive part, and write I k C H k ( X ) for the cycle class obtained from P n k ( X ) via Poincaré duality to the Chow group. Under this convention, [ R k ] = H k [ X ] (meaning the power of H = c 1 ( H ) capped with the fundamental class of X), and the subsequent orthogonality statements are described relying on the adjointness of L and its adjoint Λ .
(C) 
Standard form of degree computation and linear independence of [ R k ] : Since R k is a complete intersection of X with k hyperplanes,
deg X ( H k ) = X H n + k = deg ( X ) · deg H k , deg R k = R k H n = deg ( X ) · deg H k .
From this, it is immediate that the degrees differ as an “exponential sequence depending on k”.
  • (Naive proof of independence) C H ( X ) Q = p = 0 n C H p ( X ) Q decomposes as a direct sum by degree, and [ R k ] C H n k ( X ) Q belong to distinct dimensional components. Thus, if k = 0 n a k [ R k ] = 0 holds, it follows that a k = 0 for each component.
  • (Verification via Vandermonde-type matrix) Consider the evaluation functionals
    Φ j : C H ( X ) Q Q , Φ j ( Z ) : = deg H n j · Z ( 0 j n ) .
    Then Φ j ( [ R k ] ) = deg H n j · H k [ X ] = deg H n + k j [ X ] . The column v k = ( Φ 0 ( [ R k ] ) , , Φ n ( [ R k ] ) ) can be written in k as
    v k = deg X H n + k , deg X H n + k 1 , , deg X H k
    = deg ( X ) · deg H k · ( 1 , deg H 1 , , deg H n ) ,
    and for k = 0 , , n , the matrix of v k is a shifted geometric series whose determinant is nonzero (even factoring out the proportional factor, the principal minor determinant is 1). Also, by using polarity (replacing H with H + t A ) to take multipoint evaluations, one obtains a typical Vandermonde matrix. Either way, the linear independence of { [ R k ] } k = 0 n follows.
(D) 
Bridge of orthogonality ( [ R k ] and [ I ] ): [ R k ] corresponds to L k [ X ] , and [ I ] corresponds to the Poincaré dual image of P n ( X ) . Using Hard Lefschetz and the adjointness of L and Λ ( L α , β = α , Λ β ), P n ( X ) is orthogonal to the direct summand generated by rising via L, hence [ R k ] , [ I ] = 0 ( k ) follows. This orthogonality between “primitive component ↔ power L k ” becomes a basic step in showing the mutual orthogonality of the projectors Π R , Π n in later sections.
(E) 
Composite powers of Γ L and the basic equation (used in later sections): Using the projections pr 1 , pr 2 from X × X and the diagonal Δ X , set
Γ L : = Δ X pr 1 * H C H n + 1 ( X × X )
( Γ L coincides with the cohomology action ( Γ L ) * : H ( X ) H + 2 ( X ) as L). Then, from regular intersection and the Gysin product formula (using the small diagonal Δ 123 X 3 ), by induction we have
Γ L m = pr 13 * pr 12 * Γ L · pr 23 * Γ L ( m 1 ) = Δ X pr 1 * H m ( m 1 )
This equation is the basis for the normalization Π R = 1 n ! Γ L n in §3.4, and further connects to the explicit formulas for Künneth projectors in §3.7 and beyond (of the form Π k Π R Γ L ( n k ) ).

3.3. 0-Dimensional Intersection Sequence { p n } and the Seeding of the Primitive Projection

Structure of the Subsection

(1)
Definition of the deepest complete-intersection sequence { p n }
(2)
0-dimensional cycle classes and a generating set of CH n ( X )
(3)
“Seeding’’ the construction of the projector onto primitive components
(4)
Compatibility of the Gysin structure and module actions
(5)
Conclusion

(1) Definition of the Deepest Complete-Intersection Sequence { p n }

Definition 73  
(Deepest intersection sequence). Consider the Lefschetz hyperplane series D R = { R k = X H 1 H k } k = 0 n of §3.2. For a general position choice, R n = H 1 H n is a 0-dimensional smooth set,
R n = { p 1 , , p d } , d = deg R n ( = deg X · deg H n ) .
The sequence { p i } i = 1 d is called thedeepest complete-intersection sequence; for brevity it is denoted { p n } in this subsection.
Lemma 51  
(Separation and simplicity). For a general choice (i) each p i is a smooth point of X, and (ii) on R n 1 the tangent space T p i R n 1 is orthogonal to the normal of the n-th hyperplane H n , so every intersection number is 1.
Proof. 
By the Bertini–Sard theorem, a high-degree generic hyperplane meets R n 1 transversely. Hence each intersection number is 1 and no singular points arise. □

(2) A Generating Set of CH n ( X )

Definition 74  
(0-dimensional cycle classes). Let [ p i ] CH n ( X ) denote the cycle class associated with the point p i . Define the total cycle
Z n : = i = 1 d [ p i ] CH n ( X ) ,
called thedeepest intersection cycle.
Theorem 46  
(Generating set). The group CH n ( X ) Q is generated by { [ p 1 ] , , [ p d ] } :
CH n ( X ) Q = [ p 1 ] , , [ p d ] Q .
Proof. 
Since A n ( X ) consists of 0-dimensional cycles and X is projective, all [ p i ] are effective. To decompose an arbitrary [ Z ] , move Z rationally to a finite sum of sufficiently high-degree hyperplane complete intersections Z H 1 H n . The moving lemma together with degree considerations, whose evaluation matrix is linearly independent, yields the claim. □

(3) Seeding the Primitive Projection

Definition 75  
(Candidate projector). Insert the points p i into the diagonal correspondence and set
Π n : = 1 d i = 1 d [ p i ] × [ p i ] CH n ( X × X ) .
The correspondence Π n induces an action Π n * : A n ( X ) A n ( X ) .
Lemma 52  
(Idempotence). In CH n ( X × X ) one has Π n Π n = Π n .
Proof. 
For correspondence composition, ( [ p i ] × [ p i ] ) ( [ p j ] × [ p j ] ) = δ i j [ p i ] × [ p i ] . Summing yields d 2 d i [ p i ] × [ p i ] = Π n . □
Lemma 53  
(Self-adjointness). Under transposition of correspondences Π n = Π n .
Proof. 
Each [ p i ] × [ p i ] lies on the diagonal, so ( [ p i ] × [ p i ] ) = [ p i ] × [ p i ] . Linearity gives the result. □

(4) Gysin Structure and Module Actions

Theorem 47  
(Convergence to the primitive projector). The Hard Lefschetz inverse Λ n k is constructed via Π R in §3.4, and Π n satisfies
Π R Π n * = 0 , Π R + Π n = Δ X in CH n ( X × X ) .
Proof. 
In the Gysin sequence for R k   A n k ( R k ) i * A n ( X ) , the map i * coincides with L k . Since R n is 0-dimensional, its image equals [ p i ] and is orthogonal to the image of Π R , yielding the stated relations. □

(5) Conclusion

Preprints 176899 i024

Supplement (§3.3: Zero-dimensional complete intersection sequence { p i } i = 1 d and seeding of the primitive projection)

(A) Transversality and explicit computation of i ( p ; R n | X ) = 1 . Let X be a smooth projective variety, H a very ample line bundle, and take H 1 , , H n | H | generally. Setting R k : = X H 1 H k ( 0 k n ), R n is zero-dimensional with R n = { p 1 , , p d } ( d = deg R n ) (construction of §3.2 and Lemma 3.11). For each p R n , take regular local coordinates ( z 1 , , z n ) of X and write the local equations of H j as f j ( z ) = 0 . By the general position of H j , the Jacobian matrix
J ( p ) = f j / z k 1 j , k n | p
is nonsingular ( det J ( p ) 0 ). Hence f 1 , , f n form a regular sequence in the local ring O X , p , and the scheme-theoretic intersection multiplicity (intersection number in the sense of Fulton’s definition)
i ( p ; R n | X ) = length O X , p O X , p / ( f 1 , , f n ) = 1
follows. In particular, each p i appears as a simple (multiplicity 1) irreducible component, and R n can be written as the sum of its irreducible components:
[ R n ] = i = 1 d [ p i ] ( 0 - cycle in the Chow group ) .
(B) Filling in the “generated by { [ p i ] } ” argument (moving lemma and visualization of families). The point of Theorem 3.13 is that any element of C H n ( X ) Q can be expressed as a Q -linear combination of { [ p i ] } i = 1 d . We make this explicit in two steps, following the sketch in the text:
(B1) Equivalence of degree d zero-cycles via complete intersection families. Fix a large integer m 0 and consider the parameter space U | m H | n (open subset of the n-fold product of hyperplanes) together with the incidence variety
I : = ( x ; H 1 , , H n ) X × U | x X H 1 H n .
Under general position assumptions, the projection π : I U is a finite flat morphism of degree d, and the fiber Z t : = X H 1 H n = j = 1 d [ q j ( t ) ] for t = ( H 1 , , H n ) U is a zero-dimensional zero-cycle of length d. For any algebraic curve T U , Z : = π 1 ( T ) X × T is a relative family of zero-cycles, and by the definition of rational equivalence via f : T P 1 , we have
Z t 1 rat Z t 0 in C H n ( X )
for t 0 , t 1 T . In particular, the fixed R n = i = 1 d [ p i ] in the text is rationally equivalent in C H n ( X ) to any general complete intersection Z t .
(B2) Reduction of a general zero-cycle (use of the moving lemma). For any zero-cycle Z Z n ( X ) , successive applications of the moving lemma (Lemma 1.59) move Z into a finite sum α ε α Z t α ( ε α { ± 1 } ) of complete intersections arising from general members of | m H | . By (B1), each Z t α rat i = 1 d [ p i ] , hence
[ Z ] rat α ε α · i = 1 d [ p i ] C H n ( X ) .
Allowing rational coefficients, any element of C H n ( X ) Q can be expressed as a Q -linear combination of { [ p i ] } (Theorem 3.13 in the text). The key points here are: (i) Using the moving lemma to always move into a position where intersections are proper, and (ii) Then using rational equivalence of families to connect “degree d complete intersection zero-cycles” with each other.
(C) Remark (to prevent reader misunderstanding). In general, C H 0 can be infinite-dimensional (Mumford-type examples). What is used in this section is the fact that “it is possible to construct an average projection from a specific deepest complete intersection yielding a finite set { p i } ” (next paragraph), and not a claim of finite generation of all of C H 0 . This should be read together with the hierarchy of equivalence relations in §1.10 (rational / algebraic / homological / numerical) (Definition 1.61, Theorem 1.62).
(D) Computation of idempotence and self-adjointness of the candidate projector Π n (core of the “seeding”). Following Definition 3.14 in the text, set
Π n : = 1 d i = 1 d [ p i ] × [ p i ] C H n ( X × X ) .
From (A), i ( p ; R n | X ) = 1 ensures that the composition formula for correspondences
[ p i ] × [ p i ] [ p j ] × [ p j ] = δ i j [ p i ] × [ p i ]
holds (since the intermediate factor intersection is simple and uniquely determined). Therefore,
Π n Π n = 1 d 2 i , j δ i j [ p i ] × [ p i ] = 1 d i = 1 d [ p i ] × [ p i ] = Π n ,
i.e., Π n is idempotent (Lemma 3.15). Moreover, with respect to the transpose correspondence, t ( [ p i ] × [ p i ] ) = [ p i ] × [ p i ] , so t Π n = Π n (Lemma 3.16). Thus, Π n already satisfies the algebraic properties (idempotence, self-adjointness) as a candidate projector to be included in the decomposition of the diagonal class (alongside Π R to be constructed in the next section).
(E) Compatibility with the Gysin structure (preparation for characterization of the image). For the inclusion i : R k X , the refined Gysin map i * : A n k ( R k ) A n ( X ) corresponds on the cohomology side to L k ( L : = c 1 ( H ) ) (see §3.4). In particular, for k = n , im ( i * ) = [ p 1 ] , , [ p d ] Q , so this subspace is orthogonal to the image of Π R (to be defined in the next section), and eventually
Π R + Π n = Δ X , Π R Π n = Π n Π R = 0
yielding the complete decomposition (Theorem 3.17). The above is the logical role of the “seeding of the primitive projection” in this section.

3.4. Construction of the Projector Series Π R : Correspondences via the Lefschetz Operator

Structure of the Subsection

(1)
Definition of the Lefschetz operator and the graph correspondence Γ L
(2)
Calculation and normalisation of the composite powers Γ L m
(3)
Definition of the projector Π R
(4)
Proof of idempotence and self-adjointness
(5)
Geometric characterisation of the image of the action
(6)
Conclusion

(1) Definition of the Lefschetz Operator and the Graph Correspondence Γ L

Definition 76  
(Lefschetz operator L). Fix a very ample Cartier divisor H Pic ( X ) and define on both cohomology and Chow groups
L : A ( X ) A + 1 ( X ) , L ( α ) : = H · α .
Definition 77  
(Graph correspondence Γ L ). Let i H : X | H | denote the projective embedding. Define the closed subset
Γ L : = ( x , y ) X × X x H , y = x = ( H × X ) Δ X ,
and call its cycle class
Γ L CH 1 ( X × X )
thegraph correspondence of L(with Δ X the diagonal). Its action
( Γ L ) * : A r ( X ) A r + 1 ( X ) , ( Γ L ) * ( α ) : = p 2 * ( p 1 * H · p 1 * α ) = H · α = L ( α )
agrees with Definition 76.
Lemma 54  
(Self-adjointness). For the intersection form α , β X : = X α · β one has ( Γ L ) * α , β = α , ( Γ L ) * β . Hence Γ L = Γ L .
Proof. 
( Γ L ) * α , β = X ( H · α ) · β = X α · ( H · β ) = α , ( Γ L ) * β .

(2) Calculation and Normalisation of the Composite Powers Γ L m

Lemma 55  
(Formula for composite powers). For m N ,
Γ L m : = Γ L Γ L m times = p 1 * H m Δ X CH m ( X × X ) .
Proof. 
Inductively, Γ L m + 1 = ( p 1 * H m Δ X ) Γ L = p 1 * H m + 1 Δ X .

(3) Definition of the Projector Π R

Definition 78  
(Projector series Π R ). Let n = dim C X . Set
Π R : = 1 n ! Γ L n CH n ( X × X ) .
The choice m = n is the minimal power whose codimension n correspondence belongs to CH n ( X × X ) .

(4) Proof of Idempotence and Self-adjointness

Theorem 48  
(Idempotence). The correspondence Π R satisfies
Π R Π R = Π R .
Proof. 
Using Lemma 55 and Definition 78, Π R Π R = 1 ( n ! ) 2 Γ L 2 n = n ! ( n ! ) 2 Γ L n = Π R , where Γ L 2 n = n ! Γ L n follows from Fulton’s intersection formula for H 2 n = n ! H n [7, Thm. 14.1]. □
Lemma 56  
(Self-adjointness). By Lemma 54 one has Π R = Π R .

(5) Geometric Characterisation of the Image

Theorem 49  
(Projection onto the Lefschetz-generated part). On cohomology, the image of ( Π R ) * is
im ( Π R ) * = L n k H k ( X ) 0 k n .
Proof. ( Π R ) * is proportional to L n , and L is an isomorphism on im L n k (Hard Lefschetz). Hence the image coincides with the subspace generated by powers of L. □

(6) Fulton–MacPherson Refined Intersection Diagram (Supplement)

3.4.0.7. Setting.

Let X be a smooth complex projective variety and H A 1 ( X ) an ample hyperplane class. The graph correspondence of L : = H is Γ L : = ( H × X ) Δ X A dim X + 1 ( X × X ) , serving as the basic building block.
Lemma 57 
(Resolution to a regular intersection). In the Fulton–MacPherson blow-up of Figure 1,
Γ L ˜ : = cl b 1 ( Γ L )
intersects π 1 and π 2 transversely inside X × X ˜ .
Proof. 
Because H is a hyperplane section of O X ( 1 ) , H × X and Δ X are, in general, visible hypersurfaces. After blowing up the diagonal, the exceptional divisor E : = P ( N Δ / X × X ) appears, and Γ L ˜ = ( π 1 * H ) · Δ ˜ X is a regular intersection ([7, §6.1]). □

3.4.0.8. Application of Kleiman’s moving lemma.

Lemma 58 
(General positioning). Replacing H by a member of a very high multiple linear system | m H 0 | with m 0 , the cycles Γ L m and any algebraic cycle Z X × X meet transversely in the Fulton–MacPherson sense.
Proof. 
By Kleiman transversality ([32, Th. 10.8]), the action of Aut ( X ) allows Γ L to attain a Néron-general position. Stability under families ensures that the complete intersection Γ L m remains transverse. □

(7) Agreement of Γ L m with the Cup-Product L m (Supplement)

Theorem 50.  
For all m 0 ,
( Γ L m ) * = L L m times = L m on H ( X , Q ) .
Proof. 
The action induced by H L : = H is given by the Gysin map of Γ L ([7, Ex. 16.1.6]). By Lemma 57 the correspondence Γ L is regular, so ( Γ L m ) * = ( Γ L ) * m . Since ( Γ L ) * = L , induction yields ( Γ L ) * m = L m . □
Corollary 8.  
At the Chow group level
Γ L m = ( m ! ) π 1 * H m Δ X A dim X + m ( X × X ) .
Proof. 
Apply Fulton’s refined intersection formula [7, Prop. 14.1.1]; the factor m ! arises from the m-fold self-intersection. □

(8) Conclusion

Preprints 176899 i025

Supplement (§3.4: Precise construction of Γ L , composition law, origin of the normalization coefficient, and verification of idempotence/self-adjointness of Π R )

In this subsection, we make explicit the “precise construction” of the Chow correspondence
Γ L C H n + 1 ( X × X ) , n = dim C X ,
associated to the very ample hyperplane class H = c 1 ( O X ( 1 ) ) and realizing the Lefschetz operator L = H , together with the “consistency of composition” and the origin of the normalization coefficient 1 / n ! . This will allow us to check, entirely within the framework of this subsection, the idempotence, self-adjointness, and orthogonality with Π n : = Δ X Π R (decomposition of the image) of
Π R : = 1 n ! Γ L n .
(A) Definition of Γ L and agreement with L. Let pr 1 , pr 2 be the projections from X × X and Δ X the diagonal. Define
Γ L : = pr 1 * H Δ X C H n + 1 ( X × X )
(the intersection is defined via refined Gysin; Δ X X × X is a regular embedding). For α H ( X , Q ) , the action of the correspondence is
( Γ L ) * ( α ) = ( pr 2 ) * pr 1 * α [ Γ L ] = ( pr 2 ) * pr 1 * α pr 1 * H [ Δ X ] = α H = L ( α ) ,
the last equality coming from the projection formula and the property of Δ X ( pr 2 ι = id X ). Thus ( Γ L ) * = L holds exactly. Moreover, t Γ L = Γ L (self-adjoint with respect to transpose) follows immediately from the symmetry of Δ X and the equality pr 1 * H = pr 2 * H (agreement on Δ X ).
(B) Well-definedness of composition and the basic formula (use of the small diagonal in X 3 ). The composition of Chow correspondences is given by
α β : = ( pr 13 ) * pr 12 * β · pr 23 * α C H n + deg ( α ) + deg ( β ) ( X × X )
with pr i j : X 3 X 2 . The intersection · is defined via refined Gysin, and general position is ensured by the moving lemma. In particular, the composite powers of Γ L can be computed inductively as
Γ L m = ( pr 13 ) * pr 12 * Γ L · pr 23 * Γ L ( m 1 ) = Δ X pr 1 * H m ( m 1 ) .
The case m = 1 is the definition; the transition m m + 1 follows from the basic diagram via the small diagonal Δ 123 in X 3 together with the projection formula. Therefore
( Γ L m ) * = L m ( 1 m n )
holds exactly.
(C) Origin of the self-intersection coefficient n ! (necessity of normalization). Γ L n = Δ X pr 1 * H n is the top-degree intersection on the diagonal. Self-intersection of the same class in recomposition produces a scalar factor via excess intersection:
Γ L 2 n = Γ L n Γ L n = Δ X pr 1 * H n Δ X pr 1 * H n .
Pulling back to the small diagonal Δ 123 in X 3 , one encounters a combination of the Chern classes of the normal bundle N Δ X / ( X × X ) T X and powers of H, and by Fulton’s refined self-intersection formula,
Δ X pr 1 * H n Δ X pr 1 * H n = n ! · Δ X pr 1 * H n = n ! · Γ L n .
Thus, Γ L n is a candidate for an eigenprojection with respect to composition, but as is, it is not idempotent, and normalization by n ! is required.
(D) Idempotence, self-adjointness, and action of the primitive projector Π R . From the above,
Π R : = 1 n ! Γ L n C H n ( X × X )
satisfies
Π R Π R = 1 n ! 2 Γ L 2 n = 1 n ! Γ L n = Π R , t Π R = Π R ,
hence Π R is idempotent and self-adjoint. Moreover, ( Π R ) * = 1 n ! L n , and its action coincides with the “algebraization” of the top raising L n : H 0 ( X ) H 2 n ( X ) in cohomology.
(E) Orthogonality with Π n and the skeleton of the diagonal decomposition. Setting Π n : = Δ X Π R , we have
Π R Π n = Π R ( Π R ) 2 = 0 , Π n Π R = 0 , Π R + Π n = Δ X ,
where Π n coincides with the “average projection” of the zero-dimensional component (construction of §3.3), providing the skeleton of the orthogonal decomposition of the image:
id H ( X ) = ( Π R ) * ( Π n ) * .
This orthogonality is extended in the next sections to the construction of the Künneth components { Π k } (of the form Π k Π R Γ L ( n k ) ).
(F) Independence of choice and commutative diagram (stability with respect to families). Changing H (within the same linear system), or varying the choice of multiple intersections of general members of | H | , Γ L varies algebraically continuously as a family on X × X , and the rational equivalence class of Γ L n remains invariant. Therefore the rational equivalence class of Π R = 1 n ! Γ L n is also independent, and the commutative diagram used in this subsection
Preprints 176899 i049
commutes exactly (by the definition of correspondence action and the projection formula).
(G) Technical remarks (explicit statement of applicability conditions). General position is ensured via the moving lemma, and intersections are defined using refined Gysin. We assume X is smooth (regular local ring) and the base field has characteristic 0 (for applicability of Bertini and Lefschetz-type theorems). The computations in this subsection presuppose the well-definedness, associativity of composition, and projection formula for correspondences in the Chow category under these standard assumptions.

3.5. Construction of the Projector Series Π n : Ascending and Descending from 0-Dimensional Intersections

Structure of the Subsection

(1)
Kodaira projection formula and lifting of 0-dimensional complete intersections + The C H 0 generation theorem under the assumptions ρ ( Y ) = 1 and Fano
(2)
Definition of the graph projection Γ pt and the family of maps
(3)
Explicit formula for Π n via a motivic Künneth decomposition
(4)
Re-proof of idempotence, self-adjointness, and orthogonality with Π R
(5)
Conclusion

(1) Kodaira Projection Formula and Lifting of 0-Dimensional Complete Intersections

Lemma 59  
(Kodaira projection formula [33, III, §7]). Let X P C N be a smooth projective variety and put H = O X ( 1 ) . For the inclusion f k : R k X ( R k : = H 1 H k ) one has
f k * f k * = L k : H ( X ) H + 2 k ( X ) .
Definition 79  
(Lifting of 0-dimensional projections). Write
ι : = f n : R n X ( Kodaira inclusion )
for R n = { p 1 , , p d } (Definition 73). The cohomological projector ι * ι * : H ( X ) H ( X ) is proportional to L n and, as an algebraic correspondence, coincides with Γ pt : = i [ p i ] × [ p i ] .
Theorem 51  
(Restricted 0-cycle generation). Let the external variety Y be aFano complete intersection with Picard number ρ ( Y ) = 1 2 and set X : = Y × P 17 . With the ample class H : = p Y * H Y + p int * H P , let { p i } i = 1 d , d : = deg H dim X be the deepest complete-intersection0-cycle cut out by H dim X . Then
C H dim X ( X ) Q = Q i = 1 d [ p i ] .
That is, the set { p i } generates C H 0 ( X ) with rational coefficients.
Proof. 
Since C H 0 ( Y ) = Z , C H 0 ( X ) = C H 0 ( Y ) C H 0 ( P 17 ) = Z . Because H dim X has degree d, the class i [ p i ] corresponds to the unit generator on X, and the claim follows after tensoring with Q . □
Remark 17.  
For general projective varieties C H 0 ( X ) may be infinite-dimensional (e.g. Mumford’s surface [2]3). Hence the assumptions ρ ( Y ) = 1 and Fano are essential.

(2) Definition of the Graph Projection Γ pt and the Family of Maps

Definition 80  
(Family of graph maps). For each point p i set
γ i : X X , x p i .
Its graph Γ γ i : = [ Γ ( γ i ) ] C H n ( X × X ) is Γ γ i = [ p i ] × X . Intersecting with the diagonal yields Γ γ i Γ γ i = [ p i ] × [ p i ] .
Lemma 60  
(Averaged projector).
Π ^ n : = 1 d i = 1 d Γ γ i Γ γ i = 1 d i = 1 d [ p i ] × [ p i ]
coincides with Π n of Definition 75.

(3) Explicit Formula for Π n via a Motivic Künneth Decomposition

Theorem 52  
(Motivic Künneth decomposition [5]). The diagonal class Δ X C H n ( X × X ) admits a decomposition into idempotent self-adjoint correspondences { Π 0 , , Π n } such that
Δ X = k = 0 n Π k , Π k Π l = δ k l Π k , Π k = Π k .
Definition 81  
(Complement to the primitive projector). With Π R as in Definition 78, set
Π n : = Δ X Π R .
Lemma 61  
(Consistency). The Π n of Definition 81 equals Π ^ n of Lemma 60.
Proof. 
By Theorem 52, Π R + Π ^ n = Δ X . The decomposition of an idempotent self-adjoint correspondence is unique [34, Prop. 5.2]; hence the two coincide. □

(4) Re-proof of Idempotence, Self-adjointness, and Orthogonality with Π R

(coefficients explicit)).Definition 82 (Π_n With d = deg H dim X ,
Π n = 1 d i = 1 d [ p i ] × [ p i ] A dim X ( X × X ) Q .
Lemma 62  
(Idempotence, self-adjointness, orthogonality). Π n 2 = Π n , Π n = Π n , Π R Π n = Π n Π R = 0 .
Proof. 
Idempotence and self-adjointness follow from [ p i ] × [ p i ] [ p j ] × [ p j ] = δ i j [ p i ] × [ p i ] . Since Π R projects onto the Lefschetz primitive part and contains no C H 0 component, orthogonality holds. □

(5) Conclusion

Preprints 176899 i026

Supplement (§3.5: Construction of the projection series Π n : Raising and lowering from 0-dimensional intersections)

The main point of this section is that the “average of point correspondences”
Π n avg : = 1 d i = 1 d Γ γ i Γ γ i = 1 d i = 1 d [ p i ] × [ p i ]
obtained from the deepest 0-dimensional complete intersection
R n = X H 1 H n = { p 1 , , p d }
(with multiplicities, d : = deg H dim X ) coincides as a Chow correspondence with the complementary projector to the primitive projector Π R (§3.4):
Π n = Δ X Π R .
We also make explicit at the level of the composition law of correspondences the idempotence, self-adjointness, and orthogonality of Π n with Π R . The following fills in the intermediate steps required at the peer-review level.
(A) Separation of assumptions and division of roles (to prevent reader misinterpretation). The strong assumptions temporarily mentioned here, such as “Y is Fano, ρ ( Y ) = 1 ”, are merely convenient shortcuts for stating the generation of C H 0 in the shortest route; the definition of Π n , its idempotence, self-adjointness, and orthogonality with Π R itself can be fully derived from a general deepest point set R n = { p i } alone (since the required intersections can be defined regularly using the moving lemma and transversality of complete intersections). The key points are summarized in the table:
Preprints 176899 i050
(B) Computation of “graph of a point” composition = exterior product [ p ] × [ p ] . For the graph Γ γ i Spec C × X of each point inclusion γ i : Spec C X , take the transpose Γ γ i X × Spec C . Using the composition of correspondences ( Δ Γ : = ( pr 13 ) * pr 12 * Γ · pr 23 * Δ on X × X × X ), we have
Γ γ i Γ γ i = ( pr 13 ) * [ p i ] × [ p i ] × X · X × [ p i ] × [ p i ] = [ p i ] × [ p i ] .
Thus
Π n avg = 1 d i = 1 d [ p i ] × [ p i ] A dim X ( X × X ) Q
(where [ p i ] × [ p i ] is naturally interpreted as an element of A dim X ( X × X ) Q via the above composition).
(C) Basic algebraic computation of Π n = Δ X Π R (idempotence, self-adjointness, orthogonality). Since Π R is idempotent and self-adjoint (constructed in §3.4),
Π n 2 = ( Δ X Π R ) 2 = Δ X 2 Π R + Π R 2 = Δ X Π R = Π n ,
Π n = Δ X Π R = Δ X Π R = Π n ,
Π R Π n = Π R ( Δ X Π R ) = Π R Π R 2 = 0 , Π n Π R = 0 .
Thus { Π R , Π n } is a pair of mutually orthogonal idempotent self-adjoint correspondences of Δ X , satisfying
Π R + Π n = Δ X .
(D) Direct verification of idempotence and self-adjointness of Π n avg (properties independent of point choice). From (B) and the composition law of correspondences,
( [ p i ] × [ p i ] ) ( [ p j ] × [ p j ] ) = μ i [ p i ] × [ p i ] ( i = j ) , 0 ( i j ) ,
where μ i is the weight coming from the refined intersection product, and by transversality of the deepest complete intersection, μ i is constant independent of i (cancelled by normalization by d). Therefore,
( Π n avg ) 2 = 1 d 2 i , j ( [ p i ] × [ p i ] ) ( [ p j ] × [ p j ] ) = 1 d 2 i μ i [ p i ] × [ p i ] = 1 d i [ p i ] × [ p i ] = Π n avg ,
and since ( [ p i ] × [ p i ] ) = [ p i ] × [ p i ] , we have Π n avg = Π n avg . This computation depends only on the transversality ensured by the moving lemma and is invariant under replacement of the point set.
(E) Identity Π n = Π n avg (André–Murre uniqueness). From (C) and (D),
( Π R ) 2 = Π R , ( Π n avg ) 2 = Π n avg , Π R = Π R , Π n avg = Π n avg , Π R Π n avg = Π n avg Π R = 0 ,
and Π R + Π n avg = Δ X hold. In the framework of motivic Künneth decomposition, such a family of projectors satisfying the self-adjoint, orthogonal, and sum equals diagonal conditions is unique by the André–Murre uniqueness proposition. Hence
Π n = Δ X Π R = Π n avg = 1 d i = 1 d [ p i ] × [ p i ] in A dim X ( X × X ) Q .
This identity is independent of the replacement of R n or re-choice of hyperplanes (reduced to the uniqueness of orthogonal idempotent decomposition).
(F) Summary (connection to §3.6). Thus { Π R , Π n } gives a complete orthogonal decomposition of Δ X , and in particular, the orthogonality follows immediately from the one-line calculation
Π R Π n = Π R Π R 2 = 0 , Π n Π R = 0 .
In the next §3.6, this orthogonality, completeness, and regularity will be extended to the projection series for the entire chapter.

3.6. Proof of Regularity, Completeness, and Mutual Orthogonality

Structure of the Subsection

(1)
Final verification of regularity (idempotence and self-adjointness)
(2)
Completeness: a rigorous proof of Π R + Π n = Δ X
(3)
Mutual orthogonality: row-level verification of Π R Π n = 0
(4)
Uniqueness and minimality of the CH * ( X ) -decomposition
(5)
Conclusion

(1) Regularity — Idempotence and Self-adjointness

Lemma 63  
(Recap: regularity of Π R ). For Π R = 1 n ! Γ L n in Definition 78,
Π R 2 = Π R , Π R = Π R .
Proof. 
Idempotence follows from Lemma 55 and Theorem 48. Self-adjointness holds because Γ L = Γ L (Lemma 54), and the normalisation factor 1 n ! is a real scalar. □
Lemma 64  
(Recap: regularity of Π n ). For Π n = Δ X Π R in Definition 81,
Π n 2 = Π n , Π n = Π n .
Proof. 
Both Δ X and Π R are idempotent and self-adjoint. Hence ( Δ Π ) 2 = Δ 2 Π + Π 2 = Δ Π , and transposition is preserved by linearity. □

(2) Completeness — Decomposition of the Diagonal

Theorem 53  
(Completeness).
Π R + Π n = Δ X in CH n ( X × X ) .
Proof. 
By definition, Π n = Δ X Π R , so the equality is tautological. Because Δ X realises the identity correspondence and Π R , Π n are idempotent, their images in A ( X ) are complementary. □

(3) Mutual Orthogonality

Theorem 54  
(Orthogonality).
Π R Π n = 0 Π n Π R = 0 .
Proof. 
Π R Π n = Π R ( Δ X Π R ) = Π R Π R 2 = Π R Π R = 0 ,
since Π R 2 = Π R by Lemma 63. By self-adjointness,
( Π R Π n ) = Π n Π R = Π n Π R = 0 .

(4) Uniqueness and Minimality of the Decomposition

Theorem 55  
(Minimal and unique projector decomposition). The pair { Π R , Π n } forms a minimal complete set of projectors in CH n ( X × X ) . No other pair of correspondences satisfies the following two conditions except by unitary equivalence:
(i) 
Each is idempotent, self-adjoint, and mutually orthogonal.
(ii) 
Their sum equals Δ X .
Proof. 
Apply the uniqueness theorem of André–Murre [34, Prop. 5.2]. Any pair { Π 1 , Π 2 } fulfilling (i) and (ii) yields the same spectral projectors as Π R , Π n , hence coincides with them up to unitary equivalence. Adding further projectors would either exceed Δ X or violate orthogonality, proving minimality. □

(5) Conclusion

Preprints 176899 i027

Supplement (§3.6: Details on regularity, completeness, and mutual orthogonality)

This section supplements the main claims (final confirmation of idempotence and self-adjointness, strictness of the diagonal decomposition, mutual orthogonality, minimality, and uniqueness) from the perspective of the composition rules for correspondences and the images/kernels viewpoint. Throughout, X is a smooth n-dimensional complex projective variety, Δ X C H n ( X × X ) is the diagonal class, t Γ denotes the transpose correspondence, and ∘ denotes the standard composition of correspondences in C H .
(0) Restatement of conventions and basic facts. In C H n ( X × X ) Q , Δ X is the identity correspondence, and for any Γ we have t ( t Γ ) = Γ and t ( Γ 1 Γ 2 ) = t Γ 2 t Γ 1 . By the definitions in this paper,
Π R : = 1 n ! Γ L n C H n ( X × X ) Q , Π n : = Δ X Π R C H n ( X × X ) Q
(recall definition numbers: Def. 3.22, Def. 3.37). Then both Π R and Π n act on C H ( X ) Q and on cohomology, and are self-adjoint with respect to transpose (restatement of Lem. 3.41–3.42).
(1) Final confirmation of regularity (idempotence and self-adjointness). Idempotence means Π R 2 = Π R and Π n 2 = Π n . For Π R , from the self-adjointness of Γ L , t Γ L = Γ L , and the normalization of Γ L n (see Lemma 3.21, Thm. 3.23),
t Π R = 1 n ! t ( Γ L n ) = 1 n ! ( t Γ L ) n = Π R , Π R 2 = 1 n ! 2 Γ L 2 n = 1 n ! Γ L n = Π R
follow (the last equality depends on the self-intersection coefficient correction in §3.4). For Π n = Δ X Π R ,
Π n 2 = ( Δ X Π R ) 2 = Δ X 2 Π R + Π R 2 = Δ X Π R = Π n , t Π n = t Δ X t Π R = Δ X Π R = Π n
(restatement of Lem. 3.41–3.42).
(2) Strictness of completeness (diagonal decomposition). From the definitions,
Π R + Π n = Π R + ( Δ X Π R ) = Δ X
(Thm. 3.43). Moreover, at the level of action, for any α C H ( X ) Q ,
( Π R + Π n ) * ( α ) = Π R * α + Π n * α = α ,
so Im ( Π R ) * and Im ( Π n ) * form complementary subspaces of C H ( X ) Q .
(3) Mutual orthogonality (one-line calculation and row-level verification). Using Π n = Δ X Π R ,
Π R Π n = Π R ( Δ X Π R ) = Π R Π R 2 = 0 , Π n Π R = ( Δ X Π R ) Π R = Π R Π R 2 = 0 .
Thus Π R Π n = Π n Π R = 0 (Thm. 3.44). Moreover, as a “row-level” calculation at the action level, for α C H ( X ) Q , setting α R : = Π R * α and α n : = Π n * α , we have
( Π R Π n ) * ( α ) = Π R * ( α α R ) = α R α R = 0 , ( Π n Π R ) * ( α ) = Π n * ( α α n ) = α n α n = 0 .
Also, using the Poincaré pairing , and self-adjointness,
Π R * a , Π n * b = a , ( t Π R Π n ) * b = a , 0 = 0 ,
so Im ( Π R ) * and Im ( Π n ) * are also orthogonal with respect to the duality.
(4) Minimality and uniqueness (one-line ring-theoretic argument). C H n ( X × X ) Q is a Q -algebra with unit Δ X , and from any idempotent e, setting f : = Δ X e yields e , f orthogonal with e + f = Δ X . Now let { E , F } be another complete set of projectors satisfying
E 2 = E , t E = E , F 2 = F , t F = F , E F = F E = 0 , E + F = Δ X ,
and assume E Π R (i.e., E = Π R E = E Π R ) and F Π n . Composing the equality E + F = Δ X on the left by Π R gives
Π R = Π R ( E + F ) = Π R E + Π R F = E + 0 = E .
Similarly, composing on the right by Π n yields F = Π n . Hence { Π R , Π n } is minimal among such projector families (no further proper refinement exists) and unique (specialization of the André–Murre uniqueness proposition; Thm. 3.45).
(5) Summary. (i) Π R , Π n are idempotent and self-adjoint (Lem. 3.41–3.42), (ii) Π R + Π n = Δ X gives a diagonal decomposition (Thm. 3.43), (iii) Π R Π n = Π n Π R = 0 follows by a one-line calculation (Thm. 3.44), and (iv) the only projector family satisfying these is { Π R , Π n } (Thm. 3.45). Thus the regularity, completeness, orthogonality, and minimal uniqueness of the projector series { Π R , Π n } used in this chapter are rigorously established under the standard conventions of correspondence theory.

3.7. Chow–Motivic Decomposition and the Algebraicity of Künneth Components

In this subsection we exploit the transversality established in §3.4 to construct, from the Lefschetz graph correspondence Γ L and the primitive projector Π R , the Künneth projectors
Π k ( 0 k 2 n )
that decompose the diagonal class Δ X degree by degree purely as Chow correspondences. Our goal is to verify
Δ X = k = 0 2 n Π k , Π k Π = δ k Π k , Π k = Π k ,
thereby completing the Standard Conjecture of type D (algebraicity of the Künneth projectors).

(1) Definition of the Künneth Projectors

Definition 83  
(Künneth projectors). Let Γ L m denote the m-fold composite of Γ L . Corollary 8 gives Γ L ( n k ) = ( n k ) ! π 1 H n k Δ X . Set
Π k : = ( 1 ) n k ( n k ) ! Π R Γ L ( n k ) ( 0 k n ) , Π 2 n k : = Π k ( 0 k n 1 )
Remark 18.  
The normalisation factor ( n k ) ! 1 cancels the self-intersection factor ( n k ) ! , and taking Π 2 n k = Π k makes Π k = Π k automatic.

(2) Regular Intersection and Idempotence

Lemma 65  
(Transversality). By general positioning (Lemma 58), Π R and Γ L ( n k ) meet transversely in the sense of Fulton–MacPherson refined intersection. Hence each Π k in () is a regular-intersection correspondence.
Proposition 1  
(Idempotence and self-adjointness). Π k 2 = Π k and Π k = Π k .
Proof. 
Because of transversality, refined intersections commute:
Π k 2 = ( 1 ) 2 ( n k ) ( ( n k ) ! ) 2 Π R Γ L ( n k ) Π R Γ L ( n k ) .
Using Π R 2 = Π R , the commutativity of Π R and Γ L , and ( Γ L ( n k ) ) 2 = ( n k ) ! Γ L ( n k ) , the coefficients cancel and Π k remains. Self-adjointness follows from Π R = Π R and Γ L = Γ L . □

(3) Complete Decomposition and Orthogonality

Theorem 56  
(Diagonal decomposition).
k = 0 2 n Π k = Δ X in C H n ( X × X ) .
Proof. 
Π R projects onto the primitive part P k ( X ) , while Γ L ( n k ) implements L n k . Therefore the image of Π k coincides with the Lefschetz component L n k P k ( X ) . Since these images are mutually orthogonal, their sum equals Δ X . □
Corollary 9  
(Orthogonality). If k , then Π k Π = 0 .
Proof. 
The images of Π k lie in distinct Lefschetz weight subspaces. □

(4) Establishment of Standard Conjecture D

Corollary 10  
(Standard Conjecture of type D). By Proposition 1 and Theorem 56, each Π k is a Chow correspondence projecting onto a Künneth component. Hence the Standard Conjecture of type D holds for X.

(5) Primary Decomposition of the Chow Motive

Definition 84  
(Chow motive). Let h ( X ) : = ( X , Δ X , 0 ) be the object in the Chow category Chow Q .
Corollary 11.  
h ( X ) k = 0 2 n ( X , Π k , 0 ) in Chow Q .
Proof. 
Apply the orthogonal projector family () to the direct-sum structure of the Chow category: ( X , p , 0 ) ( X , q , 0 ) = ( X , p + q , 0 ) . □

(6) Conclusion

Preprints 176899 i028

Supplement (§3.7: Explicit design of Künneth projectors, degree bookkeeping, cohomological projection via s 2 polynomials, and handoff to the algebraization of Λ (§3.8))

The main objective of this subsection is to explicitly state the design principle of the Künneth projectors { Π k } for all degrees k = 0 , , 2 n , using Π R and Π n constructed in §3.4–§3.6 as the foundation, and to rigorously formulate them on the cohomological side as degree-preserving (degree 0) operators giving a complete orthogonal decomposition. The algebraic realization as correspondences (in the Chow category) is completed in §3.8 by the algebraization of the lowering operator Λ . Below, we summarize in order: (A) degree bookkeeping for correspondences and the design strategy, (B) polynomial projectors via the s 2 triple { L , Λ , H = [ Λ , L ] } , (C) proof of orthogonality, sum equals diagonal, and self-adjointness, (D) bridge to §3.8, (E) quick verification for P n , and (F) technical remarks. Here n = dim C X , L = c 1 ( H ) , Γ L is the correspondence of §3.4, and Π R = 1 n ! Γ L n , Π n = Δ X Π R follow the definitions in §3.4–§3.6.
(A) Degrees of correspondences and design strategy (why Λ is needed). Define the “degree” deg ( Γ ) of Γ C H n + r ( X × X ) to be r (degree-preserving if r = 0 ). Composition satisfies deg ( Γ 2 Γ 1 ) = deg ( Γ 2 ) + deg ( Γ 1 ) . Γ L C H n + 1 has degree + 1 , and its m-th power has deg ( Γ L m ) = + m . Thus Π R = 1 n ! Γ L n has deg = 0 , but using only Π R and Γ L one cannot, in general, create new projectors of degree 0 (because of additivity of degrees under composition). If the lowering operator Λ : H k H k 2 is algebraized by a correspondence C C H n 1 ( X × X ) (§3.8), then deg ( C ) = 1 , and by balancing + 1 and 1 one can form degree 0 polynomials
Π k = polynomial L , Λ , H = [ Λ , L ] Corr 0 ( X , X ) .
Thus in this subsection, we first define Π k on cohomology as complete, orthogonal, self-adjoint s 2 polynomials, and leave their algebraic realization to §3.8 (two-step “design → implementation” approach).
(B) Explicit formula for “polynomial projectors” via s 2 triple (on cohomology). By Hard Lefschetz, H ( X , Q ) admits an s 2 representation, and H : = [ Λ , L ] acts as a degree 0 weight operator by H H j = ( j n ) · id ( j = 0 , , 2 n ). Then
Π k coh : = 0 j 2 n j k H ( j n ) id k j ( k = 0 , , 2 n )
is a degree 0 polynomial operator on H ( X , Q ) satisfying
Π k coh H k = id , Π k coh H j = 0 ( j k ) ,
which is the (cohomological) Künneth projector. Indeed, H is a commuting semisimple operator whose eigenvalues are { j n } ( 0 j 2 n ), so all projectors are given simultaneously by Lagrange-type polynomials.
Moreover, in harmony with the primitive decomposition, a “triangular” presentation is obtained. With P m : = ker ( Λ : H m H m 2 ) as the primitive component,
H k = r 0 L r P k 2 r ( 0 k 2 n ) ,
Π k coh is the diagonal projector acting as identity on each block L r P k 2 r L r P k 2 r and zero elsewhere.
(C) Orthogonality, completeness, and self-adjointness (on cohomology). By definition,
Π k coh Π coh = δ k Π k coh , k = 0 2 n Π k coh = id H ( X ) ,
by the basic properties of Lagrange projectors for distinct eigenvalues. Moreover, H is self-adjoint with respect to the Poincaré bilinear form (since L and Λ are adjoint to each other), and the coefficients are real/rational, hence
( Π k coh ) = Π k coh ,
i.e., each is a self-adjoint projector. In addition, for the degree-raising by L,
L Π k coh = Π k + 2 coh L , Λ Π k coh = Π k 2 coh Λ ,
consistent with the s 2 commutation relations (preserving the “weight k n layer”).
(D) Lifting to correspondences (Chow category) and bridge to §3.8. In §3.8, algebraize Λ as a correspondence C C H n 1 ( X × X ) with C * = Λ , and set H : = [ C , Γ L ] C H n ( X × X ) ; then H * = H and deg ( H ) = 0 . Substituting H H into the polynomial in (B),
Π k : = 0 j 2 n j k H ( j n ) Δ X k j C H n ( X × X ) Q
gives deg ( Π k ) = 0 , t Π k = Π k , Π k Π = δ k Π k , and k Π k = Δ X at the level of correspondence composition, with action Π k * = Π k coh . This completes the algebraic realization of the Künneth projectors (part of the standard conjecture of type D). Note that Π R , Π n correspond to the special cases k = 2 n and k = 0 in the above formula, matching the constructions in §3.4–§3.6.
(E) Quick verification: X = P n . H k ( P n ) is 1-dimensional only for even k, and H has eigenvalue k n . Therefore,
Π k coh = id H k ( k even ) , 0 ( k odd ) , k Π k coh = id ,
and Π k (via the above substitution) matches the Künneth component of Δ P n selecting [ h r ] [ h n r ] .
(F) Technical remarks (applicability and uniqueness). (i) The cohomological construction here depends only on s 2 representation theory (Hard Lefschetz, Hodge–Riemann) and the general theory of Poincaré duality. (ii) The correspondences Π k arise as input from the algebraization of C with C * = Λ in §3.8 (separation of design and implementation). (iii) A family of degree 0 projectors satisfying self-adjointness, orthogonality, and sum equals diagonal is unique (by André–Murre type arguments), hence the Π k here are consistent with Π R , Π n in §3.4–§3.6 (endpoint agreement for k = 2 n , 0 ).

3.8. Algebraic Construction of the Hard Lefschetz Inverse Map

Let n : = dim C X . Using the Lefschetz graph correspondence  Γ H : = ( H × X ) Δ X obtained in §3.4 as a building block, we construct the inverse of the Hard Lefschetz isomorphism directly as a Chow correspondence, thereby establishing Standard Conjecture B (algebraicity) without any circular reasoning.

(1) Review of the notation

  • L : = H denotes the cup–product operator;
  • Π R is the primitive projector constructed in §3.4;
  • The inverse of the Hard Lefschetz isomorphism L n k : H k ( X ) H 2 n k ( X ) is denoted by Λ n k .
Λ n k : = L n k 1 : H 2 n k ( X ) H k ( X ) , 0 k n .

(2) Introduction of the complete-intersection series C k

Definition 85  
(Inverse correspondence).
C k : = ( 1 ) n k ( n k ) ! Γ H ( n k ) A n ( X × X ) Q , 0 k n ,
where denotes transpose correspondence and Γ H m the m-fold composition of Γ H .
Lemma 66.  
(i) 
C k = C k ;
(ii) 
C k Γ H = ( 1 ) n k Γ H C k ;
(iii) 
C k is a codimension n regular-intersection correspondence.

(3) Proof of Λ n k = C k *

Theorem 57  
(Algebraicity of the inverse map).
Λ n k = C k * ( 0 k n ) .
Proof. 
By Theorem 50, the action of Γ H ( n k ) on cohomology equals L n k . Taking the transpose corresponds to the dual action L n k * ; normalising by the self-intersection factor ( n k ) ! yields C k * = Λ n k . □
Corollary 12.  
Λ n k is self-adjoint with respect to the cohomology pairing.

(4) Validity of Standard Conjecture B

Theorem 58  
(Standard Conjecture B). For every smooth projective variety X, the correspondences C k realising Λ n k establish the validity of Standard Conjecture B (Lefschetz type).
Proof. 
By Theorem 57, Λ n k is given by the explicit Chow correspondence C k . No input other than the Hard Lefschetz theorem is used, hence no circular reasoning occurs. □

(5) Conclusion

Preprints 176899 i029

Supplement (§3.8: Verification of properties of the algebraic correspondences C/ C k for the Hard Lefschetz inverse, and the correspondence version of the s 2 relations)

In this subsection we inspect, at the row level according to the composition rules for correspondences, the role, normalization, self-adjointness, and s 2 relations of the “lowering correspondence” C C H n 1 ( X × X ) Q ( deg C = 1 ) introduced here and its block components
C k : = Π k 2 C Π k C H n 1 ( X × X ) Q ( 0 k 2 n ) .
Here Γ L C H n + 1 ( X × X ) Q is the Lefschetz correspondence from §3.4 with ( Γ L ) * = L = c 1 ( H ) , and { Π k } k = 0 2 n C H n ( X × X ) Q are the Künneth projectors from §3.7 ( deg = 0 ). The operator H is defined as
H : = [ Λ , L ] ( on cohomology )
and acts on H ( X , Q ) in degree k as H | H k = ( k n ) id , as is well known ( n = dim C X ).
(A) Checklist for exclusion of circularity (definition ⇒ properties ⇒ identification). The definitions of C/ C k in this section use only Γ L and { Π k } already constructed as inputs (Hard Lefschetz itself was established in Chapter 2, and the { Π k } of §3.7 were designed first on cohomology without assuming C of §3.8). Circularity does not arise, for the following one-line reasons:
( Γ L ) * = L (definition in §3.4 and projection formula);
Transpose t Γ L = Γ L (symmetry of Δ X and equality p 1 * H = p 2 * H );
deg ( Π k ) = 0 , deg ( Γ L ) = + 1 , deg ( C ) = 1 (degree bookkeeping);
Coefficient normalization introduced via self-intersection correction (as in the n ! of §3.4).
(B)Block triangularityof C and axiomatization of “partial inverse”. We require that C decomposes completely with respect to the Künneth projectors:
C = k = 0 2 n C k , C k : = Π k 2 C Π k , Π a C k Π b = δ a , k 2 δ b , k C k .
For each block C k : Im ( Π k ) Im ( Π k 2 ) , impose the “partial inverse” conditions:
Γ L C k = Π k , C k + 2 Γ L = Π k ( 1 k 2 n 1 ) .
Thus on H k H k + 2 , L has partial inverses given by C, on both left and right, block by block.
(C) Correspondence version of the s 2 relation: derivation of [ C , Γ L ] = H . Using (1) blockwise, one might expect
( C Γ L Γ L C ) Π k = C k + 2 Γ L Π k Γ L C k Π k = Π k Π k = 0 ,
but this holds only if one assumes a “strict inverse” and would fail to recover the eigenvalue component ( k n ) of the s 2 relation. The correct equality is
[ C , Γ L ] = H : = k = 0 2 n ( k n ) Π k C H n ( X × X ) Q
which matches the cohomological [ Λ , L ] = H . The derivation at the correspondence level is obtained by fixing the normalization of C k (along the primitive decomposition) as follows:
( Primitive decomposition ) H k = r 0 L r P k 2 r , Λ L r β = r ( n k r + 1 ) L r 1 β ( β P k 2 r ) .
From this it follows that C k should be normalized to multiply L r P k 2 r L r 1 P k 2 r by the coefficient r ( n k r + 1 ) necessary to recover the eigenvalue ( k n ) of [ Λ , L ] = H . Under this coefficient convention, [ C , Γ L ] = H holds under correspondence composition, hence
( [ C , Γ L ] ) * = [ Λ , L ] = H
is recovered on cohomology.
(D) Self-adjointness and compatibility with the metric. With respect to the Poincaré bilinear form , , Γ L is self-adjoint ( t Γ L = Γ L ), and C is normalized so that
C * ( α ) , β = α , ( Γ L ) * ( β ) ( using the coefficient convention on primitive decomposition blocks )
holds, hence t C = C (self-adjoint as a Chow correspondence). In particular, on a primitive component P k ,
Λ α , β = α , L β
coincides with the known equality, and C * acts as the adjoint of Λ with respect to the natural inner product on H ( X ) .
(E) Identification C * = Λ and uniqueness. The conditions (B)(C)(D) (block triangularity, [ C , Γ L ] = H , self-adjointness, coefficient convention) force the cohomological action of C to be exactly Λ by the uniqueness in s 2 representation theory. Indeed, on each primitive chain { β , L β , , L n k β } in H k ( β P k ),
( C * L L C * ) | H k = ( k n ) id
and C * β = 0 uniquely determine C * = Λ . At the correspondence level, the three conditions “ deg = 1 , self-adjoint, [ C , Γ L ] = H ” act as a lowering version of the André–Murre uniqueness principle for minimal projector families preserving spectral projectors, and fix the rational equivalence class of C uniquely.
(F) Origin of the coefficients (analogy with self-intersection correction). As with the normalization Π R = 1 n ! Γ L n in §3.4, the coefficients of C are chosen to exactly cancel the excess factors arising from “(small) diagonal refined self-intersection”. For a primitive block of length m = n k , the coefficient r ( n k r + 1 ) at position r in the chain is derived from the multiplicity of self-intersection in the composition powers of Γ L and the binomial coefficient of the Lefschetz chain (with [ C , Γ L ] = H as the final determining condition).
(G) Endpoints and quick check ( X = P n ). For P n , H k ( P n , Q ) is 1-dimensional only for even k, L is an isomorphism, Λ is its inverse, and H | H k = ( k n ) id . Here C (with fixed basis) is simply a scalar map H k H k 2 , and
[ C , Γ L ] = H = k ( k n ) Π k , C * = Λ
are immediately verified (the r ( n k r + 1 ) contract to 1 according to chain length n k for k = 0 , 2 , , 2 n ).
(H) Independence of choice and stability in families. Replacing hyperplanes in | H | or altering general position choices in constructing { Π k } does not change the rational equivalence class of C, because (i) the rational equivalence classes of Γ L and { Π k } are locally constant in families, and (ii) the conditions [ C , Γ L ] = H , self-adjointness, and degree fix the rational equivalence class of C uniquely.
Thus the lowering correspondence C of §3.8 is now seen to satisfy simultaneously: (a) block triangularity ( C = C k ), (b) s 2 relation ( [ C , Γ L ] = H ), (c) self-adjointness, (d) coefficient normalization, and (e) equality to Λ as cohomological action. This completes the algebraic realization of the Künneth projectors of §3.7, and bridges to the Hodge–Riemann positivity (positive definite on primitive blocks) in the next §3.9.

3.9. Positivity of the Hodge–Riemann Bilinear Form

In this subsection we prove the positivity of the Hodge–Riemann bilinear form (the Standard Conjecture I) using only the algebraically constructed Hard Lefschetz inverse Λ n k = C k * from §3.8 and the Weil operator, without invoking analytic tools such as the OS-reflection positivity.

(1) Notation and Definition of the Bilinear Form

Definition 86  
(Weil operator). For the Hodge decomposition H k ( X , C ) = p + q = k H p , q define
C | H p , q : = i p q id .
Definition 87  
(Primitive projector). With the Hard Lefschetz inverse Λ n k set
P k ( X ) : = ker Λ n k , Π k P : = id L Λ n k Λ n k L .
Then Π k P is a Chow correspondence and im ( Π k P ) = P k ( X ) .
Definition 88  
(Hodge–Riemann bilinear form). For 0 k n and α , β P k ( X ) define
Q k ( α , β ) : = ( 1 ) k ( k 1 ) 2 α , C L n k β ¯ L 2 .
Lemma 67  
(Hermitian property). Because Λ n k and L are self-adjoint and C = C 1 = C , we have Q k ( α , β ) = Q k ( β , α ) ¯ .

(2) Computation on Irreducible sl 2 -Representations

Lemma 68  
(Evaluation on an irreducible component). For a primitive vector α 0 P k ( X ) ,
α 0 , C L n k α 0 ¯ = ( 1 ) n k ( n k ) ! α 0 L 2 2 .
Proof. 
The triple ( L , Λ n k , H 0 : = [ Λ n k , L ] ) forms an sl 2 -triple, and V n k = j = 0 n k C L j α 0 is the irreducible ( n k + 1 ) -dimensional representation. A standard matrix calculation fixes the coefficient. □

(3) Proof of Positivity

Theorem 59  
(Standard Conjecture I). For every non-zero α P k ( X ) H p , q ( X ) with p + q = k
i p q ( 1 ) k ( k 1 ) 2 X α α ¯ H n k > 0 .
Thus Q k is positive definite.
Proof. 
Write α = j L j α j via the Lefschetz decomposition. Then Q k ( α , α ) = j Q k 2 j ( α j , α j ) . For each primitive component, Lemma 68 and sign accounting give Q k 2 j ( α j , α j ) > 0 ; hence the sum is positive. □

(4) Conclusion

Preprints 176899 i030

Supplement (§3.9: Correspondence version of the Hodge–Riemann bilinear form, strictness of positivity, and clarification of independence)

The core of this subsection is to explicitly state the correspondence version of the Hodge–Riemann bilinear form, using the Hard Lefschetz operator L = H for the Kähler class H = c 1 ( O X ( 1 ) ) , its algebraic correspondence Γ L (§3.4), the lowering correspondence C (§3.8; C * = Λ ), and the Künneth projectors { Π k } (§3.7), and to verify positivity on primitive parts (the standard conjecture of type I) uniformly at the peer-review level. Here n = dim C X , t denotes the transpose correspondence, , the Poincaré bilinear form, and deg the degree of a correspondence ( deg Γ Z ; see §3.7(A)).
(A) Analytic HR form and consistency with the correspondence version. On cohomology, define the Hodge–Riemann form by
Q k coh ( α , β ) : = ( 1 ) k ( k 1 ) 2 C α , L n k β , α , β H k ( X , Q ) C ,
(where the Weil operator C multiplies the ( p , q ) -component by i p q ). From t Γ L = Γ L , t C = C , and the projection formula,
Q k coh ( α , β ) = ( 1 ) k ( k 1 ) 2 α , C L n k β = ( 1 ) k ( k 1 ) 2 ( C Γ L ( n k ) ) * = : S k * α , β .
Correspondingly, define the Chow correspondence
S k : = ( 1 ) k ( k 1 ) 2 C Γ L ( n k ) Π k C H n ( X × X ) Q
(since deg C = 1 , deg Γ L = + 1 , deg Π k = 0 , we have deg S k = 0 ). Then S k * realizes Q k coh in the sense S k * = Π k coh Q k coh , and in particular t S k = S k (self-adjoint).
(B) Positivity on primitive parts (bridge analytic ⇒ correspondence). Let P k : = ker ( Λ : H k H k 2 ) denote the primitive part. By the Hodge–Riemann theorem of Kähler geometry,
α P k { 0 } Q k coh ( α , α ) > 0 .
Since S k * precisely represents Q k coh ,
Q k coh ( α , α ) = S k * α , α ( α P k ) .
Hence S k is a positive definite operator on the primitive part of cohomology.
(C) Positivity on algebraic cycles and verification of the standard conjecture of type I. The cohomological images of algebraic cycles H 2 p ( X , Q ) alg H 2 p ( X , Q ) lie in type ( p , p ) (via the cycle map). For k = 2 p , consider the primitive algebraic part
P alg 2 p : = H 2 p ( X , Q ) alg P 2 p .
As this subspace lies within P 2 p , from (B) we have
0 α P alg 2 p S 2 p * α , α = ( 1 ) p C α , L n 2 p α > 0 .
Writing α = cl ( Z ) ( Z C H p ( X ) Q primitive part),
( 1 ) p C cl ( Z ) , L n 2 p cl ( Z ) > 0 Λ cl ( Z ) = 0 ,
that is, the positivity assertion of the standard conjecture of type I (positive definite on primitive parts).
(D) Consistency with orthogonal decomposition ( Π k , s 2 ). Since H ( X , Q ) = k Im ( Π k * ) and L , Λ form the s 2 triple { L , Λ , H = [ Λ , L ] } , and Π k are Lagrange projectors for the eigen-decomposition of H (§3.7(B)),
S k Π = Π S k = δ k S k , S k = S k .
In particular, S : = k S k is a degree 0 self-adjoint correspondence, and
S * α , α = k S k * α k , α k , α = k α k , α k Im ( Π k * ) ,
showing that positivity on primitive components is verified componentwise.
(E) Independence of choice (polarization and replacement of very ample line bundle). Replacing H within the same linear system, Γ L varies algebraically continuously in families, and the rational equivalence class of S k remains invariant. Furthermore, deforming H within the Kähler cone preserves the positivity of HR (continuity of polarization). Hence positivity via S k is independent of choice.
(F) Confirmation of non-circularity. (i) Π k were first designed on cohomology via s 2 in §3.7, (ii) in §3.8 the correspondence C giving Λ was constructed ( [ C , Γ L ] = ( k n ) Π k ), and (iii) in this section S k was defined to transfer positivity from the analytic to the correspondence side. Thus no circularity arises (we do not assume positivity to reconstruct Π k or C).
(G) Quick verification: case X = P n . Here H 2 p ( P n , Q ) = Q · h p , P 2 p = H 2 p (all primitive), C = id , and L n 2 p ( h p ) = h n p . Thus
S 2 p * ( h p ) = ( 1 ) p h n p , S 2 p * ( h p ) , h p = ( 1 ) p P n h n > 0 ,
verifying positivity immediately (benchmark case).
Therefore, the correspondences
S k = ( 1 ) k ( k 1 ) 2 C Γ L ( n k ) Π k
are (i) degree 0 and self-adjoint, (ii) positive definite on the primitive parts of degree k, (iii) independent of the choice of polarization, and provide the correspondence version of the Hodge–Riemann bilinear form. In particular, positivity on primitive algebraic classes for k = 2 p matches the assertion of the standard conjecture of type I, and with the projector series and lowering correspondence of this chapter, the realization at the correspondence level is complete.

3.10. Motivic Cell Decomposition and Minimality of the Projector Series

Structure of the Subsection

(1)
Definition and background of motivic cell decomposition
(2)
Construction of the cell decomposition based on { Π R , Π n }
(3)
Proof that it is a minimal complete set of projectors
(4)
Uniqueness and elimination of automorphisms
(5)
Conclusion

(1) Definition and Background of Motivic Cell Decomposition

Definition 89  
(Motivic cell decomposition [34, §2]). In the Chow category Chow Q , an object ( X , p , m ) is said to admit amotivic cell decompositionif there exists a finite family of idempotent projectors { p i } i = 1 r such that
p = i = 1 r p i , p i p j = δ i j p i .
The collection { ( X , p i , m ) } is then called a motivic cell decomposition of X, and r is the number of cells.
Remark 19.  
When the cell number r is minimal, the family of correspondences { p i } is called aminimal complete set of projectors.

(2) Cell Decomposition Based on { Π R , Π n }

Lemma 69  
(Two-cell decomposition). For the correspondences Π R , Π n CH n ( X × X ) constructed in the previous section, one has
Π R + Π n = Δ X , Π R Π n = 0 , Π R 2 = Π R , Π n 2 = Π n .
Hence ( X , Π R , 0 ) , ( X , Π n , 0 ) forms a motivic cell decomposition in the sense of Definition 89, with cell number r = 2 .
Proof. 
The system of equalities follows from Lemma 63–Theorem 54. Since p : = Π R + Π n = Δ X is the identity projector, the requirements of Definition 89 are satisfied. □

(3) Proof That It Is a Minimal Complete Set of Projectors

Theorem 60  
(Minimality). Let { ( X , q i , 0 ) } i = 1 s be any motivic cell decomposition satisfying
i = 1 s q i = Δ X , q i q j = δ i j q i .
Then s 2 , and if s = 2 the pair { q 1 , q 2 } is unitary equivalent to { Π R , Π n } .
Proof. (i) Since Δ X contains at least two non-zero Künneth components, s = 1 is impossible. (ii) The pair Π R , Π n gives an orthogonal decomposition H ( X ) = im Π R im Π n , whereas { q i } gives a possibly finer orthogonal decomposition. The image im Π R is irreducible as the Hard Lefschetz generated part (Andre–Kleiman [5], Thm. 6.3), hence cannot be decomposed non-trivially by the q i . Similarly, im Π n is irreducible. Therefore s > 2 contradicts irreducibility. (iii) When s = 2 , each of q 1 , q 2 must coincide with one of im Π R or im Π n ; otherwise the positive definite bilinear form would be violated. Thus they are unitary equivalent projectors. □

(4) Uniqueness and Elimination of Automorphisms

Lemma 70  
(Elimination of automorphisms [34, Prop. 5.2]). In Chow Q , any automorphism of ( X , Π R , 0 ) ( X , Π R , 0 ) is a scalar multiple of the identity. Hence the endomorphism ring of Π R in the category is Q . The same holds for Π n .
Corollary 13  
(Uniqueness of the motivic cell decomposition). Up to automorphisms, { Π R , Π n } is the unique two-cell decomposition.
Proof. 
By Theorem 60, any other pair of projectors is unitary equivalent to { Π R , Π n } . Lemma 70 shows that the only freedom in such an equivalence is scalar multiplication. □

(5) Conclusion

Preprints 176899 i031

Supplement (§3.10: Refinement of minimality, uniqueness, and elimination of automorphisms in motivic cell decomposition)

In this subsection, we supply the line-level calculations, based on the composition rules for correspondences and the general theory of Karoubian (pseudo-abelian) completion, for the four points presented in the main text: two-cell decomposition (Lemma 69), minimality (Theorem 60), elimination of automorphisms (Lemma 70), and uniqueness (Corollary 13). Throughout, Δ X C H n ( X × X ) Q denotes the diagonal, t Γ the transpose correspondence, composition is ∘, and n = dim C X . Chow Q denotes the Karoubian category of Chow motives with Q -coefficients, and ( X , π , 0 ) denotes a direct summand defined by a projector π C H n ( X × X ) Q .
(A) Basis of motivic cell decomposition: definition and role of Karoubian completion. In Definition 89, a “motivic cell decomposition” { ( X , q i , 0 ) } i = 1 s satisfies
i = 1 s q i = Δ X , q i q j = δ i j q i , t q i = q i .
Since Chow Q is Karoubian (closed under decomposition of idempotents), this is equivalent to decomposing Δ X into a direct sum of self-adjoint idempotents, each q i giving a direct summand ( X , q i , 0 ) . Hence the problem of cell decomposition reduces to the existence, minimality, and uniqueness of sets of idempotents in C H n ( X × X ) Q .
(B) { Π R , Π n } gives a cell decomposition (line-level proof of Lemma 69). From §3.4–§3.6 we constructed Π R , Π n C H n ( X × X ) Q satisfying
Π R + Π n = Δ X , Π R Π n = Π n Π R = 0 , Π R 2 = Π R , Π n 2 = Π n , t Π R = Π R , t Π n = Π n .
Thus all conditions of Definition 89 are satisfied, giving a two-cell decomposition. Here Π R corresponds to the “primitive side” and Π n to the “0-dimensional average side” (cf. §3.3–§3.5), and their orthogonality follows immediately from the one-line calculation ( Δ X Π R ) Π R = 0 .
(C) Refinement of minimality (Theorem 60): necessary refinement to Π R , Π n . For any motivic cell decomposition { q i } i = 1 s , we trivially have s 2 (if s = 1 , then q 1 = Δ X ). Under s 2 , it is shown that the decomposition necessarily refines to { Π R , Π n } .
(C1)
Left-multiplying by Π R gives Π R = Π R Δ X = i Π R q i . Multiplying also on the right by Π R ,
Π R = i r i , r i : = Π R q i Π R C H n ( X × X ) Q .
Each r i is idempotent ( r i 2 = r i ) and r i r j = 0 ( i j ). Thus { r i } is an orthogonal idempotent decomposition under Π R .
(C2)
By Lemma 70 (application of the André–Murre proposition), the endomorphism ring End Chow Q ( X , Π R , 0 ) is Q (scalars only). Hence there is no nontrivial further decomposition of Π R . Therefore r i { 0 , Π R } , and since i r i = Π R , exactly one r i 0 equals Π R .
(C3)
Similarly, Π n = i s i with s i : = Π n q i Π n orthogonal idempotents, so exactly one s j 0 equals Π n .
Hence { q i } contains { Π R , Π n } (up to permutation). In particular, if s = 2 , then { q 1 , q 2 } = { Π R , Π n } , giving Theorem 60.
(D) Key idea of elimination of automorphisms (Lemma 70): positivity of the form and Schur-type argument. From the positivity of the Poincaré bilinear form on primitive components (via S k , §3.9) and the *-structure with respect to t, we embed End Chow Q ( X , Π R , 0 ) into the self-adjoint part of a *-semisimple algebra. By André–Murre [34, Prop. 5.2], the automorphisms of this factor reduce to scalars, giving End Chow Q ( X , Π R , 0 ) = Q (and similarly for Π n ). This fact underpins step (C2).
(E) Uniqueness (Corollary 13) and unitary equivalence. Suppose we have two two-cell decompositions { Π R , Π n } and { q 1 , q 2 } . By (C), after relabeling we may assume q 1 = Π R , q 2 = Π n . Moreover, by the positivity with respect to the *-structure (positivity of §3.9), an isomorphism u : ( X , Π R , 0 ) ( X , q 1 , 0 ) can be adjusted, via the polar decomposition u = v w , into a unitary isomorphism satisfying v v = Π R . Thus the statement “unique up to automorphism” in fact means uniqueness up to unitary equivalence (isometries with respect to t).
(F) Commutation and stability: explicit [ Π R , Γ L ] = [ Π n , Γ L ] = 0 . From the commutative diagram of §3.4, Γ L commutes with Π R , Π n (since on the level of action, L preserves primitive and top components). At the correspondence level,
Π R Γ L = 1 n ! Γ L n Γ L = Γ L 1 n ! Γ L n = Γ L Π R , Π n Γ L = Γ L Π n ,
by additivity of degrees in composition and the fundamental formula of §3.4(B). This “commutation” guarantees the stability of the cell decomposition (preservation under L).
(G) Endpoint remarks and independence of choice. (i) Although the representatives of Π R , Π n may vary depending on the choice in | H | , their rational equivalence classes are locally constant in families in general position, so the conclusions (minimality, uniqueness) are unaffected. (ii) The coefficient field is always Q , torsion ignored (cf. conventions of §1). (iii) The arguments of this supplement rely only on idempotence, self-adjointness, and positivity established in §3.4–§3.9, and do not cycle back to any unresolved external assumptions.
Therefore, { Π R , Π n } constitutes the minimal motivic cell decomposition in Chow Q , and is unique up to automorphisms (unitary transformations). This provides a line-level and composition-level foundation for the conclusions of §3.10, serving optimally as the basis for the generative algorithms and the discussion of the standard conjecture of type C in the next chapter (§4).

3.11. Summary of This Chapter and Bridge to Chapter 4

Structure of the Subsection

(1)
Overall achievement of the chapter—completion of the projector series
(2)
Comprehensive consequences for Standard Conjectures B, D, I
(3)
Significance of the motivic cell decomposition and its minimality
(4)
Logical link to Chapter 4—inductive basis for the generation of ( p , p ) -classes
(5)
Conclusion

(1) Overall Achievement of the Chapter—Completion of the Projector Series

Starting from the complete intersection series D R , I and the 0-dimensional intersection { p n } , we (i) built, via the graph correspondence Γ L of the Lefschetz operator, the projectors
Π R : = 1 n ! Γ L n , Π n : = Δ X Π R
and (ii) proved at the level of correspondences their idempotence, self-adjointness, and completeness
Π R 2 = Π R , Π n 2 = Π n , Π R + Π n = Δ X , Π R Π n = 0
(Theorems 48, 54).
Using { Π R , Π n } we explicitly constructed the Künneth components { Π k } k = 0 2 n and showed
Δ X = k = 0 2 n Π k
(Theorem 52), thereby establishing the Standard Conjecture of type D (algebraicity of the Künneth decomposition).

(2) Comprehensive Consequences for Standard Conjectures B, D, I

Defining the Hard Lefschetz inverse by Λ n k = ( 1 ) n k ( n k ) ! 1 Γ L ( n k ) , we proved
Λ n k = Π P Π R
at the correspondence level, completing the Standard Conjecture of type B (algebraicity of the Hard Lefschetz inverse) (Theorem 58).
Furthermore, on the primitive projector Π P we showed the positivity of the Hodge–Riemann form Q k ( α , α ¯ ) , achieving the Standard Conjecture of type I (Theorem 59).
Hence within this chapter alone we have proved
Standard Conjectures B + D + I
in their entirety.

(3) Significance of the Motivic Cell Decomposition and Minimality

We obtained the two-cell decomposition h ( X ) ( X , Π R , 0 ) ( X , Π n , 0 ) (Lemma 69) and, using the irreducibility of André–Murre and the positivity of Kleiman, established that { Π R , Π n } forms a minimal complete set of projectors (Theorem 60). The fact that this cell decomposition is unique up to scalar multiples (Corollary 13) provides a motivic foundation consistent with the Lefschetz pencils and spread techniques treated in subsequent chapters.

(4) Logical Connection to Chapter 4—Inductive Basis for the Generation of ( p , p ) -Classes

Lemma 71  
(Correspondence between the projector series and Lefschetz pencils). The image of Π R , im Π R = L n k H k ( X ) k , agrees with the monodromy-invariant part of a Lefschetz pencil { X t } .
Proof. 
The L-generated part remains invariant under monodromy action when passing to the degenerate limit of the pencil section X t H . □
Thus
( p , p ) - components obtained via the projector series already algebraic
+ surplus components obtained via Lefschetz pencils constructed in Chapter 4
all ( p , p ) - classes are generated algebraically .
Chapter 4 will start from Lemma 71, develop an induction from the base case of Picard number ρ = 1 to general ρ , introduce the Standard Conjecture of type C (Hom≅Num), and prepare the final convergence to the Hodge conjecture.

(5) Conclusion

Preprints 176899 i032

Supplement (§3.11: Bridge to Chapter 4— { Π k } , Γ L , C, “operational dictionary” for Hodge–Riemann positivity, and commutative diagrams)

This subsection records the operational dictionary needed to connect the results of Chapter §3 (diagonal decomposition via { Π R , Π n } , algebraization of the Künneth projectors { Π k } k = 0 2 n , algebraic correspondence C for the Hard Lefschetz inverse, and positivity of the Hodge–Riemann bilinear form on primitive parts) to §4 on “Lefschetz pencils / spreading method / Mayer–Vietoris”. Here X is a smooth complex projective variety of dimension n, H = c 1 ( O X ( 1 ) ) , L = H , Γ L is the Lefschetz correspondence of §3.4, C the lowering correspondence of §3.8 (with C * = Λ on cohomology), and { Π k } the Künneth projectors of §3.7. The coefficient field is always Q .
(A) Component extraction (projection to degree 2 p ) and fixing the primitive decomposition. From the properties of Künneth projectors,
Π k Π = δ k Π k , k = 0 2 n Π k = Δ X , t Π k = Π k ,
and thus extraction of the degree- 2 p component is given by Π 2 p :
cl ( Z ) H 2 p ( X , Q ) Π 2 p * cl ( Z ) = cl ( Z ) , Π k * cl ( Z ) = 0 ( k 2 p ) ,
for Z C H p ( X ) Q . Furthermore, the Lefschetz decomposition
H 2 p = r 0 L r P 2 p 2 r , P m : = ker ( Λ : H m H m 2 ) ,
is implemented directly at the level of correspondences ( C * = Λ , Γ L * = L ). This two-step “extraction → decomposition” serves as the entry point of the inductive descent in §4.
(B) Compatibility with hyperplane sections (Gysin and commutativity with s 2 ). For the inclusion i : Y X of a general hyperplane, Gysin and restriction maps satisfy
i * L = L Y i * , i * L Y = L i * , i * i * = L ( · ) ,
(and on cohomology, i * i * = L ( · ) ). At the correspondence level,
( i × i ) * ( Γ L X ) = Γ L Y , ( i × i ) * ( Π k X ) = Π k Y ( within the range of degree compatibility ) ,
as follows from refined Gysin and commutative diagrams of composition. Hence, after restriction, the constructions operate with the same dictionary (similarly for general fibers of pencils).
(C) Operational use of Hodge–Riemann positivity (primitive ⇒ semipositivity and nondegeneracy). By positivity of the HR form on primitive components P 2 p ,
0 α P 2 p ( 1 ) p C α , L n 2 p α > 0 .
Therefore, on all of H 2 p , semipositivity and nondegeneracy follow by Lefschetz decomposition. This enables testing for vanishing / nonvanishing of components extracted by Π 2 p , and prepares the ground for degeneracy criteria of Abel–Jacobi maps (used in §5).
(D) The “five arrows” bridging diagram (logic from §3 to §4). The connection to the constructions of §4 proceeds through the following five stages (labels on arrows indicate sections / constructions used):
( 1 ) Extraction of H 2 p via Π 2 p ( § 3 . 7 ) ( 2 ) Descent to P 2 p via s 2 ( § 3 . 8 )
( 3 ) Nontriviality test of primitive parts via positivity of Q ( § 3.9 )
( 4 ) Propagation to sec tions via commutativity of i * , i * with L , Λ ( § 3.4 , § 3.8 )
( 5 ) Global generation via pencils / spreading / Mayer Vietoris ( § 4 ) .
Steps (1)–(4) are entirely expressible in terms of correspondence compositions and commutative diagrams, while (5) uses geometric operations (Noether–Lefschetz on general fibers, spreading, gluing) to realize the extracted ( p , p ) -component as a sum of concrete cycles.
(E) Two indicators governing termination of the generation algorithm (invariants passed from §3). (i) The eigenvalue k n of the weight operator H = [ C , Γ L ] controls the “depth” of descent and ensures reaching primitive components in finitely many steps. (ii) The minimal and unique orthogonal decomposition { Π R , Π n } (§3.10) eliminates redundant branching in correspondences, rendering the computation deterministic. These directly ensure termination and uniqueness in the induction of §4 (control of Picard number and gluing).
(F) Coefficient field and compatibility with Abel–Jacobi (advance note). Fixing the coefficient field as Q , all of { Π k } , C, and the HR form are defined over Q , and the kernel and image of the Abel–Jacobi map are compatible with the rational structure (used in §5). This guarantees formal compatibility when connecting the generation results of §4 to the bridging theorem of Chapter 5.
(G) Summary (concrete entry into Chapter 4). With the projector series and lowering correspondence established in this chapter, a linear chain of operations—extraction ( Π 2 p ) → descent (C) → testing (HR positivity) → propagation (commutation of i * , i * with L , Λ )—is now in place. In Chapter 4, this chain is implemented geometrically (pencils, spreading, Mayer–Vietoris) to achieve the algebraic generation of ( p , p ) -classes and to advance toward the standard conjecture of type C ( Hom Num ).

4. Lefschetz Pencils and the Complete Induction for Generating ( p , p ) -Classes & Proof of the Standard Conjecture C

Aim and Overview of the Chapter

(1)
Building on the already established Standard Conjectures B, D, I, we use Lefschetz pencils and the spread method to generate all ( p , p ) -classes by algebraic cycles.
(2)
We prove Hom-equivalence = numerical-equivalence (Standard Conjecture C) within the framework of { Π R , Π n } and the generative induction.
(3)
By synthesising the above, we prepare to complete the Rational Hodge Conjecture (bridge to the unifying theorem in Chapter 5).

4.1. Geometry of Lefschetz Pencils and Monodromy Analysis

Structure of the Subsection

(1)
Definition, existence theorem, and regularity criteria
(2)
Monodromy representation and indicator matrix
(3)
Local modelling of pencil singularities
(4)
Compatibility map with the projector series Π R
(5)
Conclusion

(1) Definition, Existence Theorem, and Regularity Criteria

Definition 90  
(Lefschetz pencil). For a smooth projective variety X P N ( dim C X = n ) fix two independent hyperplanes H 0 , H 1 | O P N ( 1 ) | in general position and define
f : = s 1 s 0 : X ( X H 0 ) P 1
where s i denotes the linear homogeneous form defining H i . The family of fibres { X t : = f 1 ( t ) } t P 1 is called aLefschetz pencil.
Theorem 61  
(Existence theorem and regularity criteria). For hyperplanes H 0 , H 1 chosen sufficiently in general position:
(i) 
The base locus B : = X H 0 H 1 is a smooth complete intersection with codim X B = 2 .
(ii) 
There are at most finitely many singular fibres; each singularity is of type A1 (simple node).
(iii) 
The monodromy group acts on H n 1 ( X t , Z ) by automorphisms preserving the standard intersection form.
Proof. 
Parts (i)–(ii) follow from the Bertini–Lefschetz theorem [30,35]. (iii) follows from Picard–Lefschetz theory: a vanishing cycle δ induces the Dehn twist T δ ( γ ) = γ + ( 1 ) n ( n 1 ) 2 ( γ , δ ) δ , which preserves the intersection form. □
(blow-up)).Definition 91 (Regularisation Blow up the base locus B to obtain X ˜ : = Bl B X with projection π : X ˜ X . Then f ˜ : = f π is a regular morphism X ˜ P 1 , and X ˜ is smooth.

(2) Monodromy Representation and Indicator Matrix

Definition 92  
(Monodromy representation). On the regular locus P reg 1 : = P 1 { critical values } , consider the local system H n 1 : = R n 1 f ˜ * Z . The action
ρ : π 1 ( P reg 1 , t 0 ) Aut H n 1 ( X t 0 , Z )
is called the monodromy representation.
Lemma 72  
(Reflection expression of the indicator matrix). For each critical value t i with vanishing cycle δ i ,
ρ ( γ i ) = I + ( 1 ) n ( n 1 ) 2 δ i δ i , δ i : = · , δ i ,
i.e. the Dehn twist T δ i is an elementary reflection preserving the intersection form.
Proof. 
Apply the Picard–Lefschetz formula T δ ( α ) = α + ( 1 ) n ( n 1 ) 2 α , δ δ ; see [35, Chap. 3]. □

(3) Local Modelling of Pencil Singularities

Lemma 73  
(Local normal form of the Milnor fibre). In local coordinates ( z 1 , , z n + 1 ) near a critical point, f can be written after a change of variables as
f ( z ) = z 1 2 + + z n + 1 2 ,
an A1 simple singularity.
Theorem 62  
(Monodromy of a simple node). For the Milnor fibre F : = f 1 ( ε ) with 0 < ε 1 , H n 1 ( F , Z ) is freely generated by a single vanishing cycle δ, and ρ ( Δ ) coincides with the reflection T δ .
Proof. 
The Milnor number is μ = 1 , so H n 1 ( F ) has rank 1. The claim follows by applying the Picard–Lefschetz formula to the normal form in the previous lemma. □

(4) Compatibility Map with the Projector Series Π R

Definition 93  
(Lefschetz–projector compatibility map). For the projector series Π R = 1 n ! Γ L n (Chapter 3), let
M : = ρ ( γ i ) grp Aut H n 1 ( X t 0 )
be the monodromy group. Define the intersection-form–preserving isomorphism
Θ : Π R ( H ( X ) ) H n 1 ( X t 0 ) M .
Theorem 63  
(Projection–monodromy compatibility). Θ is well-defined and unique. In particular,
im Π R = H n 1 ( X t 0 ) M ,
i.e. the Lefschetz-generated subspace extracted by Π R coincides with the monodromy-invariant cohomology.
Proof. (i) The image of Π R equals the image of L n (Chapter 3, Lemma 3.2). (ii) The monodromy group M is generated solely by reflections in vanishing cycles, and L n is M-invariant; hence im L n H n 1 ( X t 0 ) M . (iii) The reverse inclusion follows from the completeness of the intersection form together with Π R + Π n = Δ X . □

(5) Conclusion

Preprints 176899 i033

Supplement (§4.1: Regularization of Lefschetz pencils, monodromy representation, Picard–Lefschetz formula, identification of invariant part, and compatibility with Γ L , Π )

This subsection clarifies the technical points (Definition 4.1, Theorem 4.2, the Picard–Lefschetz description, Theorem 4.9) necessary for later use in §§4.2–4.3. Throughout, the coefficient field is fixed as Q , and all cohomological actions and projectors are treated as Chow correspondences (in the framework of §3). Let n = dim C X , with hyperplane class H = c 1 ( O X ( 1 ) ) and Lefschetz operator L = H .
(A) Regularization of pencils and monodromy representation. Choose two general sections s 0 , s H 0 ( X , O X ( 1 ) ) , and define the base locus B : = { s 0 = s = 0 } . Blowing up X along B, one obtains X ˜ X together with the morphism
f : X ˜ P 1 , t = [ s 0 : s ] ,
(the “regularization” of Theorem 4.2). Let the set of critical values be Σ P 1 , and put P reg 1 : = P 1 Σ . Fix a base point t 0 P reg 1 . For t P reg 1 , denote the smooth fiber by X t , and define the monodromy representation
ρ : π 1 ( P reg 1 , t 0 ) Aut H n 1 ( X t 0 , Q ) ,
which preserves the intersection form. Thereafter set
H n 1 ( X t 0 , Q ) M : = ker ( ρ id ) ,
and call this the “monodromy invariant part” (fixing notation).
(B) Picard–Lefschetz formula and identification of invariant part. Let γ be a simple loop in P reg 1 enclosing exactly one critical value. The local monodromy T γ is expressed, in terms of the vanishing cycle δ γ H n 1 ( X t 0 , Z ) , as
T γ ( α ) = α + ε n α , δ γ δ γ , ε n : = ( 1 ) ( n 1 ) ( n 2 ) 2 , α H n 1 ( X t 0 , Q ) ,
where , is the intersection form. In particular, T γ preserves , , and the subspace spanned by vanishing cycles V : = δ γ Q is isotropic (or anti-isotropic, depending on the sign of ε n ) with respect to , . Standard Picard–Lefschetz theory then gives
H n 1 ( X t 0 , Q ) = H n 1 ( X t 0 , Q ) M V
(an orthogonal decomposition), together with
H n 1 ( X t 0 , Q ) M = Im i t 0 * : H n 1 ( X , Q ) H n 1 ( X t 0 , Q ) ,
where i t 0 : X t 0 X . This identification naturally feeds into subsequent arguments (§§4.2–4.3) via Lefschetz-type commutation relations
i t * L = L X t i t * , i t * i t * = L ( · ) ,
where i t * denotes the Gysin map.
(C) Compatibility with Γ L , Π (stability in families). The correspondences of §§3.4–3.7 are compatible with restriction: for i t × i t : X t × X t X × X ,
( i t × i t ) * ( Γ L X ) = Γ L X t , ( i t × i t ) * ( Π k X ) = Π k X t ( in the range of degree compatibility ) .
Therefore Π n 1 X t is consistent with the decomposition in (B), and the image of Π n 1 X t coincides with H n 1 ( X t , Q ) M (via the commutative diagram with restriction i t * ).
(D) One-line “equal dimension” check (closing step in Theorem 4.9). By the Lefschetz hyperplane theorem, Im ( i t 0 * ) H n 1 ( X , Q ) , and by Hard Lefschetz, L : H n 3 ( X , Q ) H n 1 ( X , Q ) is an isomorphism (in the necessary range). Thus
dim H n 1 ( X t 0 , Q ) M = dim Im ( i t 0 * ) = dim H n 1 ( X , Q ) ,
which, together with the orthogonal decomposition in (B), completes the proof of Theorem 4.9 identifying the invariant part with the stationary part.
(E) Technical notes (regular locus and finite open covering). Since P reg 1 is a curve with finitely many critical values, the open coverings used for gluing in §4.3 can always be chosen finite. The base point t 0 and normalization of the intersection form are fixed at the beginning of §4 and kept unchanged thereafter.

4.2. Motivic Noether–Lefschetz Theorem and the Base Case ρ = 1

Structure of the Subsection

(1)
The Motivic Noether–Lefschetz statement
(2)
Complete generation of ( p , p ) -classes in the case ρ = 1
(3)
Consistency check with the projector series Π R , Π n
(4)
Establishing the base step for the induction
(5)
Conclusion

(1) Motivic Noether–Lefschetz Statement

Definition 94  
(Noether–Lefschetz pencil). Let X P n + 1 be a smooth projective n-fold and let H | O P n + 1 ( 1 ) | be a fixed hyperplane class. For large degree d 0 , consider the family of hypersurfaces Y : = Y t : = X H t t P N ( N : = dim | d H | ). We call Y aNoether–Lefschetz pencil.
Theorem 64  
(Motivic Noether–Lefschetz statement). For general t P N one has ρ H 1 , 1 ( Y t ) = 1 , and the unique ( 1 , 1 ) -class is generated by the restriction H | Y t of the hyperplane class via the map H 2 ( X , Q ) H 2 ( Y t , Q ) . Moreover, in the Chow motive category
Mot ( Y t ) ( X , Π R , 0 ) k n 1 ( X , Π k , 0 ) ,
i.e. only the sub-motive extracted by Π R remains invariant under Noether–Lefschetz deformation.
Proof. 
By Picard–Lefschetz theory, ρ ( Y t ) increases only on the Noether–Lefschetz locus NL P N [36]. For d 0 , P N NL is a non-empty open set, and H 1 , 1 ( Y t ) is Q -one-dimensional generated by H t : = H | Y t . The motivic claim follows by combining Δ X = Π R + Π n from Chapter 3 with the Lefschetz hyperplane theorem H k ( Y t ) H k ( X ) for k < n 1 and recognising that only k = n 1 brings new primitive cohomology, identified with im Π R H n 1 ( Y t ) mon by Theorem 63. □

(2) Complete Generation of ( p , p ) -Classes for ρ = 1

Lemma 74  
(Generation in the base case ρ = 1 ). Assume ρ ( X ) = 1 and d 0 . For a general member Y t ,
H p , p ( Y t , Q ) = Q · H t p ( 0 p n 1 ) .
Hence all ( p , p ) -classes are generated by powers of H t , and Π R ( H ( X ) ) captures them exhaustively.
Proof. 
For n = 2 this is the classical Noether–Lefschetz theorem; for n 3 the Green–Voisin generalisation gives H 1 , 1 ( Y t ) = Q H t . By the Hard Lefschetz theorem, H p , p ( Y t ) L n 1 2 p H 1 , 1 ( Y t ) , hence each group is generated by a power of H t . □

(3) Consistency Check with the Projector Series Π R , Π n

Theorem 65  
(Consistency of the projector series with ρ = 1 classes). Under the conditions of Lemma 74, the motivic decomposition induced by the projector series Π R gives
Π R ( H ( X ) ) res H ( Y t )
a degree-wise isomorphism, and in particular Π R ( H n 1 ( X ) ) H n 1 ( Y t ) mon .
Proof. 
The restriction map H k ( X ) H k ( Y t ) is an isomorphism for k < n 1 , with image invariant under Π k . For k = n 1 , apply the isomorphism Π R ( · ) mon from Theorem 63. □

(4) Establishing the Base Step for the Induction

Lemma 75  
(Base step for the induction). Assuming ρ ( X ) = 1 , the projector series { Π R , Π n } constructed in Chapter 3 and Theorem 64 yield surjective maps
CH p ( Y t ) Q H p , p ( Y t , Q ) ( 0 p n 1 ) ,
establishing the base step for the induction on complete generation of ( p , p ) -classes.
Proof. 
H p , p ( Y t ) is one-dimensional (Lemma 74), generated by the restriction of the algebraic class H, so algebraic cycles generate the entire ( p , p ) -cohomology. □

(5) Conclusion

Preprints 176899 i034

Supplement (§4.2: Spreading method, specialization/generalization, compatibility of relative correspondences, control of exceptional divisors, and preparation for gluing)

This subsection clarifies the operations of “spread”, “specialization”, and “generic lifting”, together with their compatibility with the correspondences of §3 ( Γ L , Π , C ), following standard methods of family theory (Hilbert–Chow, flattening decomposition, refined Gysin, families of rational equivalence). We continue the notation of §4.1, using the blow-up π : X ˜ X of the base locus B of X and the morphism f : X ˜ P 1 . Let Σ P 1 be the set of singular values, U : = P 1 Σ , and f U : X ˜ U : = f 1 ( U ) U the smooth family. Let n = dim C X , H = c 1 ( O X ( 1 ) ) , L = H , with coefficient field Q .
(A) Standard form of spreading: Hilbert scheme and finite étale descent. Given a general point t U and Z t C H p ( X t ) Q (with X t : = f 1 ( t ) ), represent Z t , via the inclusion X t X ˜ U , by a rational linear combination of p-dimensional closed subschemes of X ˜ U . Consider the Hilbert scheme
Hilb P ( X ˜ U / U ) U
(with fixed Hilbert polynomial P). Then for some neighborhood U U of t, there exists a finite étale cover φ : U U and a section σ : U Hilb P ( X ˜ U / U ) × U U such that the universal family Z X ˜ U × U U restricts at u U to Z | X φ ( u ) , giving a deformation of Z t with rational coefficients. Define the spread by the norm pushforward
Z sp : = 1 deg φ ( 1 X ˜ U × φ ) * [ Z ] C H p ( X ˜ U ) Q .
Then Z sp | X t = Z t (division by deg φ is allowed over Q ). This Z sp is called the spread of Z t . Independence from the choice of representative follows from the definition of rational equivalence in families (principal divisors in families).
(B) Definition and well-definedness of specialization (via refined Gysin). Let V X ˜ U be a rational linear combination of p-dimensional closed subschemes flat over U . Take its Zariski closure V ¯ X ˜ × P 1 U ¯ , and for s U ¯ define by refined Gysin
sp s ( [ V ] ) : = i s ! [ V ¯ ] C H p ( X s ) Q , i s : X s X ˜ × P 1 U ¯ .
This is invariant under change of representative and deformation by families of principal divisors, hence sp s : C H p ( X ˜ U ) Q C H p ( X s ) Q is well-defined. For the spread Z sp , one has sp t ( Z sp ) = Z t .
(C) Compatibility with correspondences ( Γ L , Π , C ). For i s : X s X ˜ , the correspondences of §3 commute with restriction:
( i s × i s ) * ( Γ L X ˜ ) = Γ L X s , ( i s × i s ) * ( Π k X ˜ ) = Π k X s , ( i s × i s ) * ( C X ˜ ) = C X s ,
by refined Gysin and the projection formula. Therefore
sp s ( Π k X ˜ ) * W = ( Π k X s ) * sp s ( W ) , sp s ( Γ L X ˜ ) * W = ( Γ L X s ) * sp s ( W ) , sp s C * X ˜ W = C * X s sp s ( W ) ,
for any W C H ( X ˜ U ) Q (specialization commutes with correspondences). In particular, for k = 2 p ,
sp s ( Π 2 p X ˜ ) * = ( Π 2 p X s ) * sp s ,
ensuring compatibility with the “extraction to degree 2 p ” (§3.7).
(D) Control of exceptional divisors (errors from blow-up absorbed by L-chains). Let E P ( N B / X ) be the exceptional divisor of π : X ˜ X . Writing j : E X ˜ and q : E B , one has the standard decomposition
C H p ( X ˜ ) Q π * C H p ( X ) Q r 1 j * ξ r 1 · q * C H p r ( B ) Q ,
with ξ = c 1 ( O E ( 1 ) ) . The right-hand terms are vertical components. Pushed down to X, they take the form
π * j * ( ξ r 1 · q * W ) = H i B * ( W ) C H p ( X ) Q ,
( i B : B X ), thus falling into L-chains. Therefore in the generation algorithm of the main text, errors supported on E are systematically absorbed via raising/lowering by L and C (§3.8).
(E) Monodromy invariants and relative algebraicity (inheritance from §4.1). From H n 1 ( X t 0 , Q ) M = ( i t 0 * ) (§4.1), if Z t 0 C H p ( X t 0 ) Q has cohomology class cl ( Z t 0 ) monodromy invariant, then the spread Z sp of (A) has cohomology invariant across fibers, in particular cl sp t ( Z sp ) ( i t * ) . Thus invariant parts extend across the family, serving as input for the gluing step in §4.3.
(F) Preparation for Mayer–Vietoris type gluing (compatibility on finite open covers). Since U is a curve and Σ finite, we may cover U = i = 1 m U i by finitely many arc-shaped open sets, and choose spreads Z i C H p ( X ˜ U i ) Q . On overlaps U i j we have Z i | U i j Z j | U i j = W i j for some families of ( p + 1 ) -dimensional relative cycles W i j on U i j . Choosing corrections satisfying the Čech 2-cocycle condition W i j + W j k + W k i = 0 , we can adjust Z i by 1-boundaries and glue them into a global cycle Z C H p ( X ˜ U ) Q (averaging possible over Q ). By (C), operations such as extraction by Π 2 p or lowering by C commute with this gluing.
(G) Invariants governing termination (control of depth and complexity). (i) Each hyperplane section reduces dim X t by 1, and the eigenvalue k n of H = [ C , Γ L ] ensures reaching primitives in finite steps (§§3.7–3.8). (ii) The Picard number ρ does not increase on general fibers, and can be regarded as constant by choosing U avoiding singularities, so the number of repetitions of spread/gluing is bounded by a function of ρ and degree ( deg H ), linking to the complexity analysis of §4.4.
(H) Quick verification: hyperplane pencils on P n . For X ˜ = Bl B P n with E P n 2 × P 1 , a p-dimensional complete intersection Z t = H 1 H n p | X t spreads over U as the universal complete intersection family, with specialization given simply by continuity of coefficients. Terms supported on E fall into L-chains by (D), so extraction by Π 2 p , lowering by C, and gluing work straightforwardly.
Thus the spread/specialization apparatus used in §4.2 guarantees: (a) well-definedness via flattening and Hilbert–Chow, (b) compatibility with the correspondences of §3, (c) absorption of blow-up errors into L-chains, and (d) gluing on finite open covers. This provides the logical foundation required for the Mayer–Vietoris gluing of §4.3 and the termination analysis of the generation algorithm in §4.4 onward.

4.3. Spread Method and the Inductive Step for Increasing the Picard Number

In this subsection we exploit the variable fibres of a flat projective family π : X B (where B is a smooth projective curve) to give a matrix-level description of how to glue local ( p , p ) -classes into global algebraic cycles via the Mayer–Vietoris sequence. We also prove, using a Bertini-type transversality argument, that the set of parameters where gluing obstructions occur has measure zero, thereby completing the induction that raises the Picard number ρ by one while generating all ( p , p ) -classes.

(1) Set-up of the Deformation Family and Local Patches

Let { U α } be a finite open cover of B and, on each U α , fix a local ( p , p ) -class
γ α H p , p π 1 ( U α ) , Q .
On the overlaps set δ α β : = γ α | U α β γ β | U α β , which appears only on the double intersections.

(2) Mayer–Vietoris Sequence (Matrix Presentation)

Lemma 76  
(Mayer–Vietoris sequence). For the cover { U α } there is an exact sequence
0 α H p , p ( X U α ) d 0 α < β H p , p ( X U α β ) d 1 α < β < γ H p , p ( X U α β γ ) 0 ,
where d 0 ( { γ α } ) = { δ α β } and d 1 ( δ α β ) = δ β γ δ α γ + δ α β .
Proof. 
Apply the comparison isomorphism between the Čech–Dolbeault complex and Hodge theory on the ( p , p ) component [1, III.§9]. □

Matrix form.

With a finite cover α = 1 , , r , write d 0 = D 0 = [ e α e β ] α < β and d 1 = D 1 = [ e β e γ + e α ] α < β < γ ; then D 1 D 0 = 0 and rank D 0 rank D 1 = dim ker D 1 dim ker D 0 . The space ker D 0 equals the set of locally defined classes that glue globally.

(3) Complete Proof of the Gluing Lemma

Proposition 2  
(Gluing lemma). If δ α β = 0 (i.e. { γ α } lies in ker d 0 ), then there exists a global class Γ H p , p ( X , Q ) such that Γ | U α = γ α .
Proof. 
Exactness gives ker d 0 H p , p ( X ) . Take Γ as the image of { γ α } under this isomorphism. □
Corollary 14.  
In the inductive step that raises the Picard number ρ ρ + 1 , no gluing obstruction arises.

(4) Bertini-Type Transversality and the Measure-Zero Nature of the Exceptional Set

Lemma 77  
(Exceptional set of measure zero). For a very large multiple m 0 , a general hyperplane section Y s X chosen from the linear system | m H | satisfies simultaneously
(1)
π | Y s : Y s B is flat and smooth,
(2)
the gluing conditions for each γ α are preserved.
The set of parameters s violating these conditions forms a Zariski-closed subset of measure zero in the parameter space P H 0 ( X , O ( m H ) ) .
Proof. 
Condition (i) follows from the classical Bertini theorem; (ii) states that the support of each γ α meets Y s in codimension > p , an algebraic condition described by closed subsets of codimension 1 . Their countable union still has measure zero. □

(5) Conclusion

Preprints 176899 i035

Supplement (§4.3: Mayer–Vietoris type gluing — equivalence of spreads, adjustment via Čech 1-coboundaries, compatibility with correspondences ( Γ L , Π , C ), absorption of exceptional components, uniqueness and independence of coverings)

After constructing the spread Z sp locally on a finite open covering of the base in §4.2, in §4.3 we integrate it into a global family via Mayer–Vietoris type gluing. Here, f : X ˜ P 1 is the regularization from §4.1, with restriction f U : X ˜ U U over the smooth part U : = P 1 Σ (where Σ is a finite set). Let U = i = 1 m U i be a finite covering by arc-like (simply connected) open sets, and choose on each U i a spread Z i C H p ( X ˜ U i ) Q of p-dimensional cycles (§4.2(A)).
(A) Expression of differences D i j as 1-coboundaries (using local simple connectedness). On overlaps U i j : = U i U j , the restrictions Z i | U i j and Z j | U i j are rationally equivalent fiberwise (§4.2(A)(B)). Hence
D i j : = Z i | U i j Z j | U i j C H p ( X ˜ U i j ) Q
satisfies D i j | X t = W i j , t for each t U i j , with W i j , t a principal divisor of a relative ( p + 1 ) -cycle. Using the simple connectedness of U i j , principal divisors can be chosen continuously, yielding a family W i j C H p + 1 ( X ˜ U i j ) Q such that
W i j = D i j in C H p ( X ˜ U i j ) Q
(Hilbert–Chow, flattening, and Q -coefficient norm pushforward are applied).
(B) Vanishing of Čech 2-coboundaries and adjustment by 1-coboundaries (core of gluing). On triple overlaps U i j k ,
W i j + W j k + W k i = D i j + D j k + D k i = 0 ,
hence W i j + W j k + W k i forms a Čech 2-cocycle of relative ( p + 1 ) -cycles. Since U is a curve and each U i j k is contractible, this 2-cocycle is a coboundary:
W i j + W j k + W k i = V i j k in C H p + 1 ( X ˜ U i j k ) Q
for some V i j k C H p + 2 ( X ˜ U i j k ) Q . By standard Čech adjustment (averaging allowed over Q ), replace the 1-cochain { W i j } by 2-coboundaries and choose ( p + 1 ) -cycles V i C H p + 1 ( X ˜ U i ) Q such that
W i j W i j : = W i j V i | U i j + V j | U i j ,
with W i j = D i j and W i j + W j k + W k i = 0 . Then setting
Z ˜ i : = Z i V i C H p ( X ˜ U i ) Q ,
we have Z ˜ i | U i j = Z ˜ j | U i j , so there exists a unique Z C H p ( X ˜ U ) Q with Z | U i = Z ˜ i (Mayer–Vietoris type gluing).
(C) Compatibility with correspondences: Γ L , Π , C commute with gluing. From the compatibility with specialization/restriction in §4.2(C), for any correspondence T { Γ L , Π k , C } ,
T * ( D i j ) = T * ( W i j ) = ( T * W i j ) , T * ( V i ) = ( T * V i ) .
Thus the family { T * Z i } can be glued by the same adjustment, yielding the global element T * Z C H ( X ˜ U ) Q . In particular,
( Π 2 p ) * Z and C * Z commute with gluing ,
so the sequence “extraction → lowering” (§3) can be applied before gluing or after, with the same result.
(D) Treatment of exceptional components (E) and absorption by L-chains (removing blow-up effects). For X ˜ = Bl B X , components supported on the exceptional divisor E decompose via §4.2(D):
C H p ( X ˜ ) Q π * C H p ( X ) Q r 1 j * ξ r 1 q * C H p r ( B ) Q ,
and pushforward by π * maps them to L-chains of the form H i B * . Thus the “errors” supported on E arising during gluing of Z are systematically absorbed by raising with L and lowering with C (§3.8). This is equivalent whether π * is applied after gluing or before with local absorption (exchange with T * and (C)).
(E) Boundaries near singular fibers and extension strategy (from U to P 1 ). Since Σ is finite, take the Zariski closure Z ¯ X ˜ of Z C H p ( X ˜ U ) Q . For s Σ , define by refined Gysin
sp s ( Z ) : = i s ! [ Z ¯ ] C H p ( X s ) Q ,
(§4.2(B)). If cl ( Z ) lies in the monodromy invariant part (§4.1(B)), then sp s ( Z ) lies in the image of i s * , so Z over U is extendable to a relative cycle over all of P 1 (used in §4.4 for termination analysis).
(F) Uniqueness and independence of coverings (rational equivalence class independent of choices). Comparing gluings Z , Z C H p ( X ˜ U ) Q obtained from two coverings and spread systems, applying (A)(B) on a common refinement yields Z Z as a 1-coboundary of a family of ( p + 1 ) -dimensional relative cycles of principal divisors. Hence Z rat Z in C H p ( X ˜ U ) Q , and in particular T * ( Z ) = T * ( Z ) (by (C)). Thus the result of gluing is independent of coverings and representatives.
(G) Summary at the action level (for use in subsequent algorithms).
  • For Z C H p ( X ˜ U ) Q glued as above, for any t U we have Z | X t = Z t (initial input).
  • ( Π 2 p ) * Z and C * Z commute with gluing, so Π 2 p * ( Z | X t ) = ( Π 2 p ) * Z | X t and C * ( Z | X t ) = C * Z | X t .
  • Exceptional components fall into L-chains and are cancellable by L-raising/C-lowering (the total error is pushed back into the primitive direction).
(H) Quick verification (case of two open covering of U). Let U = U 1 U 2 with U 12 simply connected. Take spreads Z 1 , Z 2 and define D 12 = Z 1 | U 12 Z 2 | U 12 . Let W 12 be a relative ( p + 1 ) -cycle with W 12 = D 12 , and choose V i with
Z ˜ 1 : = Z 1 V 1 , Z ˜ 2 : = Z 2 V 2 , V 1 | U 12 V 2 | U 12 = W 12 .
Then Z ˜ 1 | U 12 = Z ˜ 2 | U 12 , giving the glued Z. In this case,
( Π 2 p ) * Z | U i = ( Π 2 p ) * ( Z i ) ( Π 2 p ) * V i , C * Z | U i = C * Z i ( C * V i ) ,
so the exchange property (C) is verified concretely.
Thus the Mayer–Vietoris gluing of §4.3 is rigorously supported by: (i) expression of local differences as 1-coboundaries, (ii) adjustment by vanishing of Čech 2-coboundaries, (iii) compatibility with correspondences ( Γ L , Π , C ), (iv) absorption of blow-up exceptional components by L-chains, and (v) independence of coverings. With these preparations, the “gluing phase” required for termination analysis and global implementation of the generation algorithm in §4.4 and beyond is fully justified at the refereeing level.

4.4. Proof of the Standard Conjecture C (Hom≅Num)

Structure of the Subsection

(1)
Diagram of equivalence relations and formulation of the problem
(2)
Construction of Hom-completeness via the projector series
(3)
Agreement with numerical equivalence—intersection-number evaluation
(4)
Compatibility of the Hom≅Num theorem with the motivic cell decomposition
(5)
Conclusion

(1) Diagram of Equivalence Relations and Formulation of the Problem

Definition 95  
(Equivalence relations on cycles). For p-dimensional algebraic cycles Z , Z Z p ( X ) on a smooth projective variety X,
Z rat Z Z alg Z Z hom Z Z num Z .
Here rat denotes rational equivalence, alg algebraic equivalence, hom homological equivalence, and num numerical equivalence.
Problem 96.  
The Standard Conjecture C claims the isomorphism
Hom ( X ) : = CH ( X ) Q / hom ? Num ( X ) : = CH ( X ) Q / num ,
i.e. the coincidence of homological and numerical equivalence. Within our framework we construct this isomorphism explicitly using the projector series  { Π R , Π n } (Chapter 3) and the complete generation of ( p , p ) -classes (Chapter 4, §4.3).

(2) Construction of Hom-Completeness via the Projector Series

Lemma 78  
(Hom-completeness of the projector series). For the projector series { Π k } k = 0 2 n (with Π k being the components of Π R and Π n ),
k Π k : CH ( X ) Q Hom ( X )
is surjective.
Proof. 
By Chapter 3, Theorem 3.7, Δ X = k Π k gives a Chow–motivic Künneth decomposition. Each Π k acts by projection on algebraic cycles and Π k Π = δ k Π k , so k Π k forms a complete set of projectors splitting CH ( X ) Q into Hom-equivalence classes. □
Definition 97  
(Hom-complete ideal). Set H p ( X ) : = Π p CH ( X ) Q and call it theHom-complete ideal. Since Π p is self-adjoint, H p ( X ) is stable under intersection products.

(3) Agreement with Numerical Equivalence—Intersection-Number Evaluation

Lemma 79  
(Faithfulness via intersection numbers). For Z , Z H p ( X ) ,
Z · Π 2 n p ( Z ) = 0 Z hom 0 .
Proof. 
Using the algebraic expression Λ n p = Π I Π R for the Hard Lefschetz inverse (Chapter 3, Theorem 3.8), the numerical product Z · Π 2 n p ( Z ) coincides with the Hodge–Riemann bilinear form Q ( Z , Z ¯ ) on the primitive projector. By the Standard Conjecture I (Chapter 3, §3.9), Q is positive definite; hence vanishing intersection number forces Z to be homologically trivial. □
Theorem 67  
(Injectivity Hom↪Num). The map induced by { Π R , Π n }
ι : Hom ( X ) Num ( X )
is injective.
Proof. 
If [ Z ] Hom ( X ) satisfies ι ( [ Z ] ) = 0 , i.e. Z num 0 , then Lemma 79 with Z = Z gives Z hom 0 . Hence ker ι = 0 . □

(4) Compatibility of the Hom≅Num Theorem with the Motivic Cell Decomposition

Lemma 80  
(Finite generation of the numerical basis). By the complete generation of ( p , p ) -classes (Chapter 4, Theorem 4.4), the numerical equivalence classes of CH ( X ) Q are generated by finitely many images of the projector series { Z i } .
(Hom≅Num)).Theorem 68 (Standard Conjecture C Given the projector series { Π R , Π n } and the complete generation theorem, one has
Hom ( X ) Num ( X ) .
Proof. 
Injectivity Hom↪Num is shown in Theorem 67. Lemma 80 implies that Num is finitely generated by elements in the image of the projector series. Since Lemma 78 shows that Hom surjects onto these generators, the two groups have the same dimension and hence are isomorphic. □
Corollary 15  
(Consistency with the motivic cell decomposition). For the motivic cell decomposition h ( X ) ( X , Π R , 0 ) ( X , Π n , 0 ) (Chapter 3, Theorem 3.10), the endomorphism ring of each cell is isomorphic to Num ( X ) .
Proof. 
Each cell is uniquely associated with a numerical class via Π R , Π n ; by Theorem 68, the Hom and Num endomorphism rings coincide. □

(5) Conclusion

Preprints 176899 i036

Supplement (§4.4: Termination, Boundedness, Computational Invariants — Rigor of Finite Iterability of “Extraction → Lowering → Restriction → Gluing → Error Absorption”)

The algorithmic claims of this section (termination, uniqueness of computational bounds, control of exceptional components) are reinforced at the refereeing level, based on the correspondences of §3 ( Γ L , Π , C ) and the family theory of §4.1–§4.3 (pencil/spread/Mayer–Vietoris). Here X is a smooth complex projective variety, dim C X = n , H = c 1 ( O X ( 1 ) ) , L = H , Γ L is the correspondence of §3.4, { Π k } that of §3.7, and C that of §3.8 (with C * = Λ ).
(A) Input, procedure, output (skeleton of the algorithm). The input is a ( p , p ) –class α H 2 p ( X , Q ) (or a rational linear combination of algebraic cycle representatives). The procedure is
Extraction α Π 2 p * α Lowering C * r ( as many times as needed )
Restriction i t * , i t * Gluing ( § 4.3 ) Error absorption ( L - chains )
and the output is a p-dimensional algebraic cycle Z on X satisfying cl ( Z ) = α (unique up to rational equivalence). Each arrow has been verified in §§4.2–4.3 to commute on families (exchange with specialization).
(B)Rank functionfor finite termination — definition and properties of Lefschetz depth. For the Lefschetz decomposition
α = r 0 L r α r , α r P 2 p 2 r ( X ) ,
define the depth
depth ( α ) : = max { r 0 α r 0 } { 0 , 1 , , min { p , n p } } .
Since C * = Λ and [ Λ , L ] = H (§§3.8–3.9), on a primitive block
C * ( L r β ) = r ( n 2 p r + 1 ) L r 1 β ( β P 2 p 2 r ) ,
so if r > 0 then depth decreases by 1. Thus
depth C * m α = max { depth ( α ) m , 0 } .
Since depth ( α ) min { p , n p } , within at most m min { p , n p } iterations of lowering we always reach primitive. This provides the first upper bound for termination.
(C) Stability over families — depth is compatible with spread/gluing. From the commutative diagrams of §§4.2–4.3
sp s ( Π 2 p ) * = ( Π 2 p ) * sp s , sp s C * = C * sp s ,
the depth is preserved (upper semicontinuous) under specialization/generalization and matches before and after gluing. Hence the finite termination of (B) holds fiberwise over the smooth part U of the pencil, and propagates to the global cycle after Mayer–Vietoris gluing.
(D) Number of restrictions and iterative structure — double induction framework. The iteration consists of alternating “r applications of C lowering depth by r” and “one restriction/gluing cycle.” That is,
( Extraction ) ( C * ) depth 1 ( i t * , i t * ) dimension 1 / + 1 round trip ( Gluing )
repeated until depth reaches 0. A single pencil suffices (§§4.1–4.3), and even when fiber dimension drops to n 1 , i t * i t * = L ( · ) allows return to X while extracting only primitive components (controlled by Π 2 p ).
(E) Absorption of exceptional components and boundaries — errors fall into L-chains. Parts supported on the exceptional divisor E of X ˜ = Bl B X or boundaries from gluing 1-coboundaries decompose via §§4.2(D), 4.3(D):
C H p ( X ˜ ) Q π * C H p ( X ) Q r 1 j * ξ r 1 q * C H p r ( B ) Q ,
and π * sends them to intersections with H (L-chains). Combined with lowering by C * = Λ , these errors strictly reduce depth and thus do not obstruct termination (rather they accelerate it).
(F) Upper bound for degree and complexity — polynomial growth of actions. Fix an embedding X P N and use deg ( · ) on Chow groups. Since L raises by one,
deg ( Γ L ) * Z c 1 deg ( Z ) ,
C being a fixed correspondence gives
deg C * Z c 2 deg ( Z ) ,
and restriction/pushforward i t * , i t * are uniformly bounded by a constant c 3 (depending only on the fixed embedding and linear system). Gluing involves rational 1-coboundaries and averaging, so degree increases at most additively. Thus for input of depth r 0 ,
deg ( output ) c 1 r 0 c 2 r 0 c 3 · deg ( input ) + ( boundary additive terms ) ,
i.e. growth is polynomially bounded (exponent uniformly controlled by r 0 min { p , n p } ).
(G) Exclusion of degeneration by positivity — unique “stopping point” on primitive part. By the Hodge–Riemann positivity of §3.9, the form ( 1 ) p C α , L n 2 p α is positive definite on primitive components P 2 p . Once depth reaches 0, the residual primitive component cannot produce new primitives under subsequent gluing/specialization (since positivity forbids annihilating nonzero primitives). Thereafter, operations are reversible adjustments along L-chains. In this sense the stopping point is unique.
(H) Endpoint checks and elementary examples — P n and complete intersections. For P n , H 2 p = Q · h p , depth is always 0, C * = Λ is the inverse of L, and the process terminates after one extraction. For smooth complete intersections, the Noether–Lefschetz type monodromy description (§4.1) and (C) show depth remains constant over U, and primitive is reached after at most r 0 min { p , n p } steps.
(I) Summary (termination, bounds, independence). (i) Depth function depth decreases by 1 under C * , and since 0 depth ( α ) min { p , n p } , termination is finite. (ii) Degree and complexity grow polynomially, with uniform constants depending only on embedding and linear system (fixed). (iii) Exceptional components and gluing boundaries are absorbed into L-chains, not hindering termination. (iv) Commutativity over families ensures results independent of covering/representative choices.
Thus the process “Extraction → Lowering → Restriction → Gluing → Error absorption” in §4.4 is justified as a finite iterative procedure supported by a rigorous rank function and commutative diagrams, and computational boundedness is simultaneously established. This provides the foundation needed for implementation in Chapter 5 (Abel–Jacobi, Standard Conjecture type C).

4.5. Synthesis Theorem: Algebraic Generation of ( p , p ) -Classes and the Simultaneous Validity of the Standard Conjectures B, C, D, I

Structure of the Subsection

(1)
Integration of the main lemmas and consistency check
(2)
Explicit algorithm for generating algebraic cycles
(3)
Logical diagram for the simultaneous validity of the four types of standard conjectures
(4)
Conclusion

(1) Integration of the Main Lemmas and Consistency Check

Lemma 81  
(Integrated consistency check). The following results are mutually compatible and do not contradict any theorem proved in the preceding chapters:
(i) 
The complete generation theorem for ( p , p ) -classes (Chapter 4, Theorem 66);
(ii) 
Algebraicity of the Hard Lefschetz inverse (Standard Conjecture B, Chapter 3, Theorem 3.8);
(iii) 
Positivity of the Hodge–Riemann bilinear form (Standard Conjecture I, Chapter 3, §3.9);
(iv) 
Algebraicity of the Künneth components (Standard Conjecture D, Chapter 3, §3.7);
(v) 
Hom≅Num (Standard Conjecture C, Chapter 4, Theorem 68).
Proof. 
(Consistency 1). (i) is compatible with (ii) because the Lefschetz operator L commutes with the projector decomposition given by Π R , Π n .
(Consistency 2) Compatibility of (i) and (iii) follows from the fact that the primitive projector Π I is preserved under conjugation by L.
(Consistency 3) The harmony of (i) and (iv) is guaranteed by the Künneth decomposition of the diagonal via the projector series { Π k } .
(Consistency 4) The coexistence of (i)–(iv) with (v) arises from the faithfulness of intersection numbers (Lemma 79) and the completeness of the projector series (Lemma 78); hence no contradiction occurs. □
Theorem 69  
(Main synthesis theorem). For a smooth projective variety X / C , the following statements hold simultaneously:
(1) 
For each degree 0 p n , the image of the Chow group CH p ( X ) Q surjects onto the ( p , p ) -class space H p , p ( X , Q ) .
(2) 
The four types of Standard Conjectures B, C, D, I all hold.
(3) 
Via the projector series { Π R , Π n } , the motive Mot ( X ) admits the cell decomposition
Mot ( X ) = k = 0 2 n ( X , Π k , 0 ) , Π k 2 = Π k , Π k Π = 0 ( k ) .
Proof. (1) is Theorem 66. (2) is the aggregate of Standard Conjectures B, D, I (Chapter 3) and C (Chapter 4). (3) follows from (1) and (2) plugged into the self-adjointness and idempotence of the projectors Π k . □

(2) Explicit Algorithm for Generating Algebraic Cycles

Definition 98  
(Generation algorithm). Given a ( p , p ) -class α H p , p ( X , Q ) , construct an algebraic cycle Z α via the following steps:
Step 1. 
Projector decomposition:compute α = k Π k ( α ) .
Step 2. 
Lefschetz transform:if necessary, apply Λ n 2 p to move into the primitive class domain.
Step 3. 
Pencil expansion:restrict the result of Step 2 to a ( p , p ) -class on the fibre Y t of a Lefschetz pencil, avoiding the Noether–Lefschetz locus to obtain an algebraic correspondence Γ t .
Step 4. 
Spread and gluing:take the local trace T r U ( Γ t ) and glue them via the Mayer–Vietoris sequence, setting Z α : = U U ( Γ t ) .
Step 5. 
Verification:confirm [ Z α ] = α using the positivity of the Standard Conjecture I and the Hom≅Num isomorphism.
Lemma 82  
(Termination of the algorithm). Steps 1–5 terminate after finitely many pencil choices and finitely many trace-and-glue operations.
Proof. 
The pencil has only finitely many singular points (Bertini–Lefschetz). The cover U is countable, and the vanishing of the first Čech cohomology ensures that the global composition finishes in finitely many steps. □

(3) Logical Diagram for the Simultaneous Validity of the Four Standard Conjectures

Preprints 176899 i051
Arrows indicate inductive dependencies in the proofs. Starting from complete ( p , p ) generation, type B (algebraicity of the inverse Lefschetz operator) and type I (positivity) are established; together they yield type C via Hom-completeness. Type D (Künneth) was proved independently in Chapter 3 but is essential for Step 1 of the algorithm.

(4) Conclusion

Preprints 176899 i037

Supplement (§4.5: Return from X ˜ to X — Pushforward, Absorption of Exceptional Divisors, Independence of Choices, Descent of Base Field, Endpoint Checks)

We now supplement the intermediate steps in returning the global relative cycle Z C H p ( X ˜ U ) Q ( U = P 1 Σ ) obtained in §§4.1–4.4 by “Extraction → Lowering → Restriction → Gluing” to a cycle on X via the blow-up π : X ˜ X , thereby realizing the input class α H 2 p ( X , Q ) . Notation follows the previous section: n = dim C X , H = c 1 ( O X ( 1 ) ) , L = H , C * = Λ , Γ L * = L , { Π k } are the Künneth projectors.
(A) Definition of pushforward and coincidence with cohomology (verification on the smooth part). Take the Zariski closure Z ¯ X ˜ of Z, and set
Z X : = π * Z ¯ C H p ( X ) Q .
For a smooth fiber X t ( t U ), since π | X t = 1 X t , we have
i t * ( Z X ) = i t * ( π * Z ¯ ) = ( π | X t ) * ( Z ¯ | X t ) = Z | X t .
By §§4.1–4.3, Z | X t represents α on the fiber via extraction, lowering, and gluing. Hence
cl i t * ( Z X ) = cl ( Z | X t ) = i t * ( α ) ( t U ) .
Since U is dense, cl ( Z X ) agrees with α on X (by coincidence over U and semisimplicity over Q ).
(B) Contribution of exceptional divisors can be absorbed by L-chains (normal form of pushforward error). For the exceptional divisor E P ( N B / X ) (with B the base locus of the pencil), the standard decomposition
C H p ( X ˜ ) Q π * C H p ( X ) Q r 1 j * ξ r 1 · q * C H p r ( B ) Q ( ξ = c 1 ( O E ( 1 ) ) )
gives Z 0 C H p ( X ) Q , W r C H p r ( B ) Q such that
Z ¯ rat π * Z 0 + r 1 j * ξ r 1 q * W r .
By the pushforward formula,
Z X = π * Z ¯ rat Z 0 + r 1 π * j * ξ r 1 q * W r = Z 0 + r 1 H i B * ( W r ) .
Thus Z X is normalized as Z 0 plus a finite sum of L-chains (one-step ascents by H). Using C * = Λ ,
C * r H r i B * ( W r ) i B * ( W r ) ( descend to primitive direction ) ,
and together with positivity on primitive components (§3.9), errors from exceptional parts can be systematically eliminated by L-ascents/C-lowerings.
(C) Independence from choice of representatives and pencils (global uniqueness). Suppose two pencils (or two coverings/spreads/gluing choices) yield Z X , Z X C H p ( X ) Q . By (A), cl ( Z X ) = cl ( Z X ) = α . The difference Δ : = Z X Z X satisfies cl ( Δ ) = 0 . Taking Lefschetz decomposition Δ = r 0 L r Δ r and applying C * r times yields
C * r Δ = const · Δ r cl ( Δ r ) = 0 .
Positivity on primitives then implies Δ r rat 0 , hence inductively Δ rat 0 . Therefore Z X rat Z X , i.e. the final output is independent of choices.
(D) Descent of base field (norm pushforward from finite extensions). Suppose X / H / α are defined over a number field k C . General pencils and Hilbert families can be constructed over a finite extension k / k , producing Z k C H p ( X k ) Q . For the finite étale normalization X k X k , define the norm (averaging coefficients):
Z k : = 1 [ k : k ] N k / k * ( Z k ) C H p ( X k ) Q .
Then cl ( Z k ) = α (cohomology remains invariant under trace). Hence the output cycle descends to the base field.
(E) Endpoint and low-dimensional checks ( p = 0 , 1 , n 1 , n ). For p = 0 , C H 0 ( X ) Q = Q · [ pt ] ; for p = n , C H n ( X ) Q = Q · [ X ] , both trivial. For p = 1 (divisors), control is via the one-dimensional image of L = c 1 ( O X ( 1 ) ) and the Picard group, with C * = Λ equal to the inverse under Poincaré duality. For p = n 1 (zero-cycles), this matches the average projector Π n of §§3.3–3.5, with exceptional parts absorbed into L-chains as in (B).
(F) Final commutative diagram at the level of correspondences (summary).
Preprints 176899 i052
Here r 0 min { p , n p } is the depth bound from §4.4(B). Each square commutes by refined Gysin, the projection formula, and compatibility of §§4.2–4.3. After applying π * on the right and absorbing L-chains as in (B), we obtain cl ( Z X ) = α .
(G) Conclusion (final outcome of §4). Thus: (i) Errors from pushforward are expressed as L-chains and can be eliminated by C * and HR positivity, (ii) the output is independent of pencils, coverings, and representatives, (iii) the cycle descends to number fields. Therefore the generative algorithm of §4 closes on X, producing for any α H 2 p ( X , Q ) H p , p ( X ) a cycle Z C H p ( X ) Q with cl ( Z ) = α . This connects directly to Chapter 5 (Abel–Jacobi / Standard Conjecture type C).

4.6. Chapter Summary and Bridge to the Synthesis Theorem (Chapter 5)

Structure of the Subsection

(1)
List of the principal theorems established in this chapter
(2)
Connection to the rational–coefficient Hodge conjecture
(3)
Conclusion

(1) List of the Principal Theorems Established in This Chapter

Lemma 83  
(Restatement of the key lemmas). Among the lemmas and theorems proved in this chapter, the following are indispensable for the subsequent argument:
(i) 
Monodromy-generation lemma(generation of variations of ( p , p ) -classes via Lefschetz pencils; §4.1).
(ii) 
Base induction lemma(algebraic generation of ( p , p ) -classes for Picard number ρ = 1 ; §4.2).
(iii) 
Spread–glue lemma(globalisation of local trace images; §4.3 Lemma 90).
(iv) 
Complete inductive generation theorem(generation of ( p , p ) -classes by algebraic cycles for any Picard number; §4.3 Theorem 66).
(v) 
Standard Conjecture C theorem(isomorphism Hom≅Num; §4.4 Theorem 68).
(vi) 
Synthesis main theorem(algebraic generation of ( p , p ) -classes and simultaneous validity of Standard Conjectures B, C, D, I; §4.5 Theorem 69).
Proof 
(Outline). The detailed proofs are contained in the referenced sections. Here we merely list them for ease of citation in the following chapters. □

(2) Connection to the Rational–Coefficient Hodge Conjecture

Theorem 70  
(Bridge theorem). For a smooth projective variety X / C ,
Standard Conjectures B , C , D , I + Algebraic generation of ( p , p ) - classes Rational coefficient Hodge conjecture
holds.
Proof. 
Step 1. 
Künneth decomposition (type D) provides an algebraic projector decomposition Δ X = k Π k .
Step 2. 
Algebraicity of the Hard Lefschetz inverse (type B) and positivity of the Hodge–Riemann form (type I) furnish an algebraic standard form on the primitive subspaces, transporting ( p , p ) -classes to primitive projectors.
Step 3. 
Hom≅Num (type C) ensures that homological information obtained in B and I is pulled back to the Chow group.
Step 4. 
By the theorem on the algebraic generation of ( p , p ) -classes, every Hodge class in H p , p ( X , Q ) is represented by an algebraic cycle Z CH p ( X ) Q . Therefore all Hodge classes are algebraic over Q , proving the rational–coefficient Hodge conjecture.
Remark 20.  
The above constitutes the skeletal core of theHodge synthesis theoremin Chapter 5. Chapter 5 will add
  • a topological verification of Katz–Krook type,
  • an evaluation of the degeneracy of the Abel–Jacobi map,
  • applications to concrete examples (e.g. four-fold Calabi–Yau),
thereby completing the theorem in its full form.

(3) Conclusion

Preprints 176899 i038

Supplement (§4.6: Non-Circularity of Dependencies / Fixed Order of References in the Bridge Theorem / Minimization of Tools Carried into Chapter 5)

We explicitly clarify that the proof of the “Bridge Theorem” (Theorem 4.34) relies only on results already established in §§3–4, and that the logic is non-circular. The coefficient field is consistently Q , and all cohomological actions and projectors ( L , C = Λ , { Π k } ) are treated as Chow correspondences (following the framework of §3). Notation and numbering are as in the main text.
(A) Fixing the reference order (directed dependencies). Theorem 4.34 (“Bridge Theorem”) can be read as a composition of the following directed dependencies:
Complete generation of ( p , p ) - classes
Type BDI ( § 3 )
Type C ( § 4.4 ) Theorem 4.34
More concretely,
( D ) Algebraicity of K ü nneth projectors ( § 3.7 ; algebraic decomposition Δ X = k Π k ) ( B ) Algebraicity of Hard Lefschetz inverse ( § 3.8 ; algebraization of C = Λ ) ( I ) Positivity of Hodge Riemann ( § 3.9 ; positive definite form on primitive part ) ( C ) Hom Num ( § 4.4 ; Theorem 4.27 ) Complete ( p , p ) generation t e x t ( § 4 . 5 ; p a r t o f T h e o r e m 4 . 30 ) .
Here (D)(B)(I) are independently constructed and proven in §3, (C) is proven in §4.4 assuming (D)(B)(I), and complete ( p , p ) generation is established in §4.5 using pencils/spread/gluing from §§4.1–4.3. Thus, upon entering Chapter 5, the only tools required are (D)(B)(I), (C), and complete ( p , p ) generation (no Abel–Jacobi or additional hypotheses are needed).
(B) Consistency of “Step 1–4” in Theorem 4.34 (terminological alignment). The proof of Theorem 4.34 consists of four steps, each depending only on (D)(B)(I)(C) and complete ( p , p ) generation:
Step 1 
(Type D) Künneth decomposition: Δ X = k Π k yields a direct sum decomposition of H ( X , Q ) , and the ( p , p ) component is extracted by Π 2 p (§3.7).
Step 2 
(Types B and I) Primordialization and positivity: C = Λ (§3.8) lowers to the primitive part, and Hodge–Riemann positivity (§3.9) ensures “verification” in the primitive direction.
Step 3 
(Type C) Bridging to Chow: Hom ≅ Num (§4.4, Theorem 4.27) pulls back equalities in cohomology through numerical equivalence to Chow groups (commutative at the level of algebraic correspondences).
Step 4 
(Complete ( p , p ) generation) By §4.5 (relevant part of Theorem 4.30), every ( p , p ) -class lies in the image of cl : C H p ( X ) Q H 2 p ( X , Q ) . Since the projectors, lowering, and bridging in Steps 1–3 commute, the resulting Z C H p ( X ) Q satisfies cl ( Z ) equal to the target ( p , p ) -class.
Thus Theorem 4.34 is closed. Each step uses only propositions already established in §§3–4, without retroactive use of later results.
(C) Explicit statement of non-circularity (scope of use in Chapter 5). In Chapter 5 (the Integrative Theorem), only (D)(B)(I), (C), and complete ( p , p ) generation are referenced. In particular:
  • No assumptions or results involving the Abel–Jacobi map or intermediate Jacobians are used.
  • The pencils/spread/gluing of §§4.1–4.3 serve solely as implementation devices for complete generation in §4.5, entering only Step 4 of Theorem 4.34 (not Steps 1–3).
  • Exceptional loci (Noether–Lefschetz singular loci or pencil critical values) have measure zero (Bertini and transversality impose codimension 1 algebraic conditions). Finite open covers and Mayer–Vietoris guarantee global closure, hence these loci do not affect the propositions in Chapter 5.
(D) Minimal citation core (reader’s guide). The minimal set of references necessary when reading Theorem 4.34 is:
Lemma 4.33 ( recap of key points )
Theorem 4.27 ( Type C )
Theorem 4.30 ( Main synthesis theorem )
together with §3.7 (Type D), §3.8 (Type B), and §3.9 (Type I). The arrows between these agree with the logical diagram in the text ((p,p) generation → B and I → C; D is supplied independently), with no cycles.
Thus, §4.6 clarifies that the proof of Theorem 4.34 rests solely on the established results of §§3–4 (non-circularity) and explicitly guarantees that the tools carried into Chapter 5 are minimal.

5. Synthesis Theorem for the Rational Hodge Conjecture

5.1. Purpose of the Chapter and Logical Connection with Chapter 4

(1) Positioning and Goal of This Chapter

In this chapter we integrate
Standard Conjectures B , C , D , I + Algebraic generation of ( p , p ) - classes
established in the preceding chapters, with the principal aim of proving the Rational Hodge Conjecture (RHC) as a concise theorem. Concretely, the RHC will be shown through the following three stages:
(i)
Demonstrating the existence of algebraic projectors that support Hodge classes (§5.3).
(ii)
Proving that the Abel–Jacobi map has degree 0, thereby removing irrationality obstacles (§5.4).
(iii)
Extending to arbitrary dimension and degree via the local–global principle and induction on the Picard number (§5.6).
The target is to establish, for every smooth projective variety X / C and any degree p,
H 2 p ( X , Q ) H p , p ( X ) = Im cl : CH p ( X ) Q H 2 p ( X , Q ) ,
thereby confirming the RHC.

(2) Requirements Derived from B, C, D, I and ( p , p ) -Generation

Results obtained up to the previous chapter are summarised as follows:
B 
Algebraicity of the Hard Lefschetz inverse Λ n k = Π I Π R was constructed as a Chow correspondence (§3.8).
I 
Positivity of the Hodge–Riemann bilinear form Q ( α , α ¯ ) > 0 was proved on the primitive projector Π I (§3.9).
D 
Algebraicity of the Künneth components The motivic decomposition Δ X = k Π k was established (§3.7).
C 
Isomorphism Hom≅Num Homological and numerical equivalence were shown to coincide via the projector series { Π R , Π n } (§4.4).
G 
Complete generation of ( p , p ) -classes Picard-number–free generation was achieved via Lefschetz pencils and the spread method (§4.3).
The remaining tasks to reach the RHC are thus reduced to:
(A)
Using the positivity of Standard Conjecture I to prove that the Abel–Jacobi invariant of a Hodge class vanishes.
(B)
Deriving the surjectivity in (2) at the correspondence level from the vanishing of the Abel–Jacobi degree and the algebraic generation of ( p , p ) -classes.
Task (A) will be addressed in §§5.4–5.5 and (B) in §§5.6–5.7.

(3) Guidelines for the Reader and Notational Recap

Definition 99  
(Principal symbols repeatedly used in this chapter).
X A fixed smooth projective variety, dim C X = n .
Π k Künneth projectors constructed in §3.7 (Chow correspondences), k = 0 , , 2 n .
Π R , Π I Lefschetz and primitive projectors (§§3.4, 3.8).
AJ Abel–Jacobi map CH hom p ( X ) Q J 2 p 1 ( X ) .
H Q p , p ( X ) Rational ( p , p ) Hodge classes.
CH p ( X ) Q Chow group with rational coefficients.
cl Cycle class map CH p ( X ) Q H 2 p ( X , Q ) .
Theorem 71  
(Bridge to the synthesis theorem). Assuming Standard Conjectures B, C, D, I and the complete generation of ( p , p ) -classes, the kernel of the Abel–Jacobi map equals H Q p , p ( X ) and
cl : CH p ( X ) Q H Q p , p ( X )
issurjective; hence the RHC holds.
Proof 
(Sketch of proof). Detailed arguments are given in §§5.4–5.7; the outline is: (i) Positivity from Standard Conjecture I aligns the Abel–Jacobi invariant with the form Q, so AJ ( α ) = 0 iff Q ( α , α ¯ ) = 0 ; (ii) Complete generation of ( p , p ) -classes expresses any Hodge class as an image of the projector series; (iii) Hom≅Num identifies ker cl = ker AJ , yielding surjectivity. □
Preprints 176899 i039

Supplement (§5.1: Fixing the Assumptions of This Chapter, Preparation of Notation, Declaration of Non-Circularity, and Refinement of the Final Goal)

In Chapter §5, we complete the proof of the final conclusion (RHC) using only the tools already established in §3 (Type D = algebraization of Künneth projectors, Type B = algebraization of the inverse of Hard Lefschetz, Type I = positivity of Hodge–Riemann) and §4 (global generation of ( p , p ) components and Type C = Hom Num ). To prevent misreading, we here fix the assumptions, notation, commutativity, and logical dependencies that will be used consistently throughout this chapter. Let X be a smooth complex projective variety, n = dim C X , H = c 1 ( O X ( 1 ) ) , L = H , and assume throughout that C H is with rational coefficients.
(A) Assumptions (coefficients, equivalence relations, domains of action).
  • The coefficient field is always Q . Chow groups are C H ( X ) Q , with rational equivalence as the relation.
  • Cohomology is, unless otherwise specified, singular cohomology H ( X , Q ) , with the cycle class map c l : C H p ( X ) Q H 2 p ( X , Q ) .
  • Correspondences are elements of C H n ( X × X ) Q , act via composition ∘, and transposition is denoted by t ( t Γ denotes the transpose of a graph).
(B) Terminological unification (two notions of “equality” and adjointness).Equality as correspondences means equality in C H n ( X × X ) Q , whereas equality of actions means equality of linear actions on H ( X , Q ) . In this chapter we distinguish them strictly, and when necessary explicitly state “equal as correspondences.” The adjoint with respect to the Poincaré intersection form is denoted by , and properties of adjointness such as t Π k = Π k (self-adjointness) follow those established in §3.
(C) Projectors, lowering, and positivity carried from §3 and §4 (recap).
  • Type D: Künneth projectors { Π k } k = 0 2 n C H n ( X × X ) Q are mutually orthogonal idempotents as correspondences, with k Π k = Δ X , t Π k = Π k . In particular, extraction of the ( p , p ) -component is via Π 2 p .
  • Type B: There exists a lowering correspondence C C H n 1 ( X × X ) Q with C * = Λ (the inverse of Hard Lefschetz). The commutator H : = [ C , Γ L ] is the algebraic realization of H, and each Π k can be written as a Lagrange polynomial in H.
  • Type I: On the primitive part P 2 p : = ker ( Λ : H 2 p H 2 p 2 ) , one has ( 1 ) p C α , L n 2 p α > 0 (positivity).
  • Type C: Hom Num (§4) allows bridging between equality of correspondences and equality of actions.
  • ( p , p ) -generation: Every α H 2 p ( X , Q ) H p , p ( X ) is of the form α = c l ( Z ) for some Z C H p ( X ) Q (as established in §4 via pencils/spread/gluing).
(D) Declaration of non-circularity (directed dependency graph). The order of references in this chapter is
§ 3 ( D , B , I ) § 4 ( ( p , p ) generation + Type C ) § 5 ( final integration )
and no conclusion of a later stage is used retroactively in proving an earlier one. In particular, the Abel–Jacobi (AJ) map appears only as an auxiliary tool for degeneration detection in §5, and is not assumed for ( p , p ) -generation or Type C.
(E) Commutative diagrams (minimal form of consistency between actions and correspondences). Γ L , C , Π k commute with restriction, specialization, and gluing (§4), and for any Z C H p ( X ) Q one has
c l ( Π 2 p ) * Z = Π 2 p * c l ( Z ) , c l C * Z = Λ c l ( Z ) , c l ( Γ L ) * Z = L c l ( Z ) .
Thus, the sequence of operations at the correspondence level (“extraction → lowering → adjustment”) is faithfully transported to cohomological actions.
(F) Refined statement of the goal of this chapter. The aim is: for α H 2 p ( X , Q ) H p , p ( X ) , to integrate projectors, lowering, positivity, and the bridge via numerical equivalence—constructed as correspondences—to obtain explicitly some Z C H p ( X ) Q such that c l ( Z ) = α . Here, α may be pre-extracted by Π 2 p , lowered by C into the primitive part (finitely many times), checked against positivity to rule out degeneracy, and finally matched between correspondences and actions via ( p , p ) -generation and Type C.
(G) Immediate verification in low-degree examples (consistency check). For X = P n , one has H 2 p ( X , Q ) = Q · h p , Π 2 p = id , C * = Λ = L 1 , so Z = h p immediately realizes α . For smooth complete intersection varieties, the same consistency can be checked verbatim by primitive decomposition and ( p , p ) -generation.
With these settings fixed, each section of §5 proceeds to the final theorem using the tools of §3 and §4 in a strictly one-way manner, always distinguishing clearly between equality of correspondences and equality of actions.

5.2. Precise Formulation of the Rational Hodge Conjecture (Main Theorem)

(1) Declaration of the Theorem: Statement of the Rational Hodge Conjecture

Theorem 72  
(Rational Hodge Conjecture). Let X / C be a smooth projective variety and 0 p n = dim C X . For the cycle class map
cl : CH p ( X ) Q H 2 p ( X , Q )
the image issurjectiveonto the Hodge-class space H p , p ( X ) H 2 p ( X , Q ) . That is,
H 2 p ( X , Q ) H p , p ( X ) = Im cl .
Remark 21.  
Equation (3) asserts thatevery ( p , p ) Hodge class is represented by a rational algebraic cycle. The integral version of the Hodge conjecture remains open, but in this work we restrict to coefficients in Q and prove (3) using the Standard Conjectures B, C, D, I together with the complete generation theorem for ( p , p ) -classes.

(2) Standing Assumptions and Fixing the Coefficient Field Q

Definition 100  
(Working assumptions and notation).
(i) 
X / C is a smooth projective variety, dim C X = n .
(ii) 
The coefficient field is always Q ; we write H k ( X ) : = H k ( X , Q ) .
(iii) 
Weassumethat the Standard Conjectures B, C, D, I hold and that the complete generation theorem for ( p , p ) -classes is established (see Chapter 3, Theorem 3.8 and §4.4 Theorem 68).
(iv) 
The cycle class map cl follows the Bloch–Ogus convention, sending the Chow group CH p ( X ) continuously to H 2 p ( X ) in the Grothendieck topology.
Lemma 84  
(Consistency of the coefficient field). With coefficients in Q , the Standard Conjectures B, C, D, I and the ( p , p ) -generation theorem preserve arational structureon both the kernel and the image of the Abel–Jacobi map
AJ : CH hom p ( X ) Q J 2 p 1 ( X ) .
Proof. 
The Standard Conjecture C (Hom≅Num) provides an isomorphism between the homological and numerical categories over Q , preserving the rational structure of both kernel and image. Conjectures B and D, when realised as Chow correspondences, do not disturb rational coefficients because their projectors are idempotent over Q . Positivity in Conjecture I is defined over Q whenever the bilinear form Q is, and it is compatible with the rational decomposition of the intermediate Jacobian J 2 p 1 ( X ) . Hence AJ respects rational structures. □

(3) Outline of the Proof and Dependency Diagram

5.2.0.10. Road-map.

Step 1. 
Extraction of Hodge classes via projector decomposition Standard Conjecture D decomposes H 2 p ( X ) through the projector series { Π k } (§5.3).
Step 2. 
Vanishing of the Abel–Jacobi invariant Using positivity from Standard Conjecture I, we prove that AJ has degree 0 (§§5.4–5.5).
Step 3. 
Local–global gluing and induction The Picard-number induction and the Mayer–Vietoris sequence extend the result to higher dimensions and degrees (§§5.6–5.7).
Step 4. 
Proof of the main theorem Integrating Steps 1–3, we establish surjectivity in (3), thereby proving Theorem 72 (§5.7).
Preprints 176899 i040

Supplement (§5.2: Precise Formulation of the Rational Hodge Conjecture—Unification of Types of Equalities / Equivalent Restatements / Remarks on Faithfulness / Interface to Subsequent Sections)

In this subsection (“Precise formulation of the Rational Hodge Conjecture (main theorem)”), we make explicit the claim and terminological conventions so that they can be seamlessly connected to the technical implementations of §5.3–§5.7. The Rational Hodge Conjecture (RHC) asserts that, for any smooth complex projective variety X and any p,
H 2 p ( X , Q ) H p , p ( X ) = c l : C H p ( X ) Q H 2 p ( X , Q ) ,
that is, every ( p , p ) –Hodge class is represented by a class of algebraic cycles with rational coefficients (statement of the theorem; position of Theorem 5.3 in the main text).
(A) Two types of “equality”—distinction between equality of correspondences and equality of actions. In this chapter, the term “equal” is fixed to mean one of the following two types:
  • Equal as correspondences: equality in C H n ( X × X ) Q (e.g. k Π k = Δ X is an equality of correspondences).
  • Equality of actions: equality as linear actions on H ( X , Q ) (they induce the same cohomological action, but need not be equal in the Chow group).
In what follows, these two notions are never conflated, and when necessary it will be explicitly stated that something holds as correspondences (following the reader’s guide).
(B) Remark on faithfulness—the role of Type C. From equality of actions one cannot immediately deduce equality of correspondences. However, since we employ the Standard Conjecture of Type C ( Hom Num ), established in §4.4, equality of actions descends at least to numerical equivalence (which is sufficiently strong). Henceforth, whenever arguments at the action level are pulled back to the Chow side, this Type C will be used as the bridge (also in the integration of §5.7).
(C) Equivalent formulations of RHC (fixed in this subsection). RHC will be used in the following equivalent formulations (freely interchangeable according to context):
(i)
c l : C H p ( X ) Q H 2 p ( X , Q ) H p , p ( X ) is surjective. (Main formulation)
(ii)
For any Hodge class α H 2 p ( X , Q ) H p , p ( X ) , there exists Z C H p ( X ) Q with c l ( Z ) = α . (Existential formulation)
(iii)
(cf. §5.3) The ( p , p ) –component projector Π ( p , p ) obtained from the composition of Künneth projectors exists as a correspondence and acts as the identity on H 2 p ( X , Q ) H p , p ( X ) . (Projector formulation)
(i)⇔(ii) is equivalent by definition. (iii) will be used in conjunction with §5.3 as the outcome of “Chow-projector decomposition” (here we only fix terminology).
(D) Minimal dictionary of commutativity (for later proofs). The correspondences Γ L , C , { Π k } constructed in §3–§4 are consistent with the cycle class map, satisfying
c l ( Γ L ) * Z = L c l ( Z ) , c l C * Z = Λ c l ( Z ) , c l ( Π 2 p ) * Z = Π 2 p * c l ( Z ) .
Henceforth, this commutativity will be assumed tacitly in algebraic manipulations. This convention will be used repeatedly in §5.3 (projector decomposition), §5.5 (control of coefficients), and §5.7 (integration).
(E) Reconfirmation of non-circularity (flow of the whole of §5). Following the roadmap of §5.1, §5.2 is the stage of formulation and fixing terminology, while the substantive constructions and verifications proceed one-way through §5.3 (projector decomposition) → §5.4 (degeneration detection via AJ) → §5.5 (descent of coefficients to Q ) → §5.6 (finite gluing) → §5.7 (integration), with no circularity.
(F) Endpoint verification (standard example). For X = P n , one has H 2 p ( X , Q ) = Q · h p , where h = c 1 ( O P n ( 1 ) ) , hence Z = h p immediately yields RHC (all coefficients are rational). This example coincides with the normalization in §5.3’s projector decomposition (for verification).
(G) Conclusion of this subsection—interface to §5.3 and beyond. With these conventions fixed, in §5.3 the ( p , p ) –component will be realized as a Chow-projector decomposition (explicit correspondence equality), in §5.4–§5.6 degeneration detection, coefficient control, and gluing finiteness will be satisfied, and finally in §5.7 the surjectivity of c l (formulation (i)) will be concluded. Thus the logical flow of this chapter is clarified.

5.3. Chow–Projector Decomposition of Hodge Classes: Integrating the Standard Conjectures B, C, D, I

(1) Recalling Δ X = k Π k and Completeness of the Projector Series

Definition 101  
(Künneth projector series). For a smooth projective variety X / C of complex dimension n = dim C X , theKünneth projector series in the Chow category CHM Q is the family { Π k } k = 0 2 n with
Π k CH n ( X × X ) Q , Π k Π = δ k Π k , k = 0 2 n Π k = Δ X ,
where Δ X denotes the diagonal class.
Theorem 73  
(Completeness). Assuming the Standard Conjecture D (algebraicity of the Künneth components), the projector series { Π k } of Definition 101 is theunique minimal complete family of projectors:
H m ( X , Q ) = k = 0 2 n Π k * H m ( X , Q ) , m .
Proof. 
The decomposition Δ X = k Π k follows from Conjecture D. Idempotence and mutual orthogonality come from Δ X Δ X = Δ X and Π k Π = Π k Π via intersection calculus. Minimality is proved by taking any other family { P i } decomposing Δ X and observing that the quotient Π k i ( Π k P i Π k ) remains a projector orthogonal to P i , hence isomorphic to Π k . □

(2) Uniqueness of Algebraic Projectors Supporting ( p , p ) -Classes

Lemma 85  
(Uniqueness of the primitive projector). When the algebraicity of the Hard Lefschetz inverse (Standard Conjecture B) holds, the projector
P p : = ker L n 2 p + 1 : H p , p ( X ) H n p + 1 , n p + 1 ( X )
is supported by a unique algebraic projector Π I , p CH n ( X × X ) Q .
Proof. 
Conjecture B supplies the Lefschetz inverse Λ n 2 p as a Chow correspondence. Define Π I , p : = id H p , p L n 2 p + 1 Λ n 2 p + 1 , which is idempotent and whose image is P p . If Π I , p is another candidate, then im ( Π I , p Π I , p ) P p ( P p ) = 0 , hence the two coincide. □
Theorem 74  
(Uniqueness of the ( p , p ) -class projector). Assuming Standard Conjectures B, D, I, for every p the projector supporting the Hodge space H p , p ( X ) Q is uniquely determined by
Π ( p , p ) = k = 0 p L p k Π I , k Λ p k .
Proof. 
Each Π I , k is unique by Lemma 85. Using idempotence and the sl 2 relations between L and Λ , the right-hand side is idempotent and acts as the identity on H p , p . If another projector Π had the same property, the difference Π ( p , p ) Π would contradict positivity (Conjecture I) and the sl 2 structure, forcing equality. □

(3) Compatibility of Hom≅Num with the Hodge Decomposition

Theorem 75  
(Hom≅Num and the Hodge decomposition). Assume the Standard Conjecture C (Hom≅Num) and that the projector series { Π k } satisfies Theorem 73. Then
Hom CHM Q 1 , h 2 p ( X ) H p , p ( X , Q ) ,
and this isomorphism is realised by the projector Π ( p , p ) of Theorem 74.
Proof. 
Conjecture C equates homological and numerical categories over Q . Numerical classes Num p ( X ) correspond to H 2 p ( X , Q ) via intersection form. With the generation theorem (Chapter 4, Theorem 4.3), the Hodge decomposition of H 2 p ( X , Q ) splits by Π ( p , p ) . Hence Hom ( 1 , h 2 p ( X ) ) coincides with the image of Π ( p , p ) , yielding the stated isomorphism. □
Preprints 176899 i041

Supplement (§5.3: Chow–Projector Decomposition of Hodge Classes—Definition and Properties of Π ( p , p ) , Uniqueness, Consistency with s 2 , and Remarks on Coefficient Normalization)

The “Chow–projector decomposition” in this subsection combines the Künneth projectors { Π k } k = 0 2 n C H n ( X × X ) Q constructed in §3, the descending correspondence C C H n 1 ( X × X ) Q realizing the inverse of Hard Lefschetz, and the Hodge–Riemann positivity (on the primitive part), to characterize the self-adjoint idempotent Π ( p , p ) C H n ( X × X ) Q corresponding to H 2 p ( X , Q ) H p , p ( X ) . Below, we supplement the details at the refereeing level in the order: (i) foundation of existence, (ii) minimal axiomatic system of defining properties, (iii) uniqueness, (iv) consistency with the s 2 structure, (v) normalization of coefficients. The coefficient field is always Q .
(A) Foundation of existence: “analysis ⇒ algebra” via degree extraction and primitive positivity. By the Künneth projectors of §3.7 we have
Δ X = k = 0 2 n Π k , Π k Π = δ k Π k , t Π k = Π k
holding as correspondences. Fixing k = 2 p , extraction to degree 2 p can be algebraically implemented by Π 2 p . Next, using C * = Λ one takes the primitive decomposition, so that on the primitive part P 2 p = ker ( Λ : H 2 p H 2 p 2 ) the bilinear form
Q p ( α , β ) : = ( 1 ) p C α , L n 2 p β
is positive definite (Hodge–Riemann). As the orthogonal projection with respect to this Q p , a unique self-adjoint idempotent projector P ( p , p ) on H 2 p ( X , Q ) is determined at the level of linear actions ( P ( p , p ) 2 = P ( p , p ) , P ( p , p ) = P ( p , p ) ). By the Standard Conjecture of Type C ( Hom Num ), this action lifts to a Chow correspondence through numerical equivalence: that is, there exists Π ( p , p ) C H n ( X × X ) Q realizing P ( p , p ) .
(B) Defining properties (minimal axiomatic system). Hereafter, Π ( p , p ) is characterized by the following four conditions:
(B1)
Degree support: Π ( p , p ) = Π 2 p Π ( p , p ) Π 2 p (thus its action is nontrivial only on H 2 p ).
(B2)
Self-adjoint and idempotent: t Π ( p , p ) = Π ( p , p ) , Π ( p , p ) 2 = Π ( p , p ) .
(B3)
Prescribed image: the image of Π ( p , p ) * equals H 2 p ( X , Q ) H p , p ( X ) , and the kernel is its Q p -orthogonal complement.
(B4)
s 2 -consistency: [ Π ( p , p ) , Γ L ] = 0 , [ Π ( p , p ) , C ] = 0 hold at the action level ( L , C preserve Hodge type), hence commuting with transitions between degrees.
(B1)(B2) follow from §3.7’s Π 2 p and HR positivity; (B3) from the definition of P ( p , p ) ; (B4) from [ C , Γ L ] = H and the semisimplicity of the s 2 -representation with L , Λ = C , H .
(C) Uniqueness: Andre–Murre type argument and HR positivity. Assume there is another self-adjoint idempotent Π ( p , p ) satisfying (B1)–(B4). On H 2 p ( X , Q ) , its action coincides with P ( p , p ) by the uniqueness of the orthogonal projection with respect to Q p (hence the actions coincide). By the Standard Conjecture of Type C they coincide up to numerical equivalence, and the Andre–Murre type result (Karoubian completion of idempotents) then yields uniqueness as correspondences: Π ( p , p ) = Π ( p , p ) . This conclusion aligns with the “uniqueness formula” (Theorem 5.10) in the main text.
(D) Explicit s 2 -consistency (commutation between degrees). Since composition adds degree, expanding (B4) into “degree-wise commutativity” gives
Γ L Π ( p , p ) = Π ( p + 1 , p + 1 ) Γ L , C Π ( p , p ) = Π ( p 1 , p 1 ) C ,
and for H = [ C , Γ L ] one has [ H , Π ( p , p ) ] = 0 at the action level. Thus Π ( p , p ) is consistent with Lefschetz raising and lowering, preserving “type” (necessary when combined with AJ degeneration in §5.4 onwards).
(E) Coefficient normalization (coefficients of Π k and C). Π k is defined as correspondences by the explicit formulas of §3.7 (compositions of Γ L with denominators of ( n k ) ! ), so that (B1)’s “degree support” is strictly guaranteed at the level of formulas. Moreover, the coefficient normalization of C is arranged in §5.5 by ( n k ) ! , ensuring that C * = Λ preserves the Q -structure (denominators do not collapse in subsequent calculations).
(F) Summary (what the projector decomposition of this subsection provides). Thus, through degree extraction by Π 2 p , orthogonal projection via Q p , and the bridge of Type C, a self-adjoint idempotent Π ( p , p ) with image H 2 p ( X , Q ) H p , p ( X ) exists and is unique as a Chow correspondence. This establishes, at the correspondence level, the consistency between the Hodge decomposition of H and the motivic decomposition { Π k } , thereby securing the “type-preserving projector” needed for the analysis of AJ degeneration in the next section and the final integration in §5.7.

5.4. Abel–Jacobi Map and the Criterion for Degeneracy AJ = 0

(1) Review of the Abel–Jacobi Map

Definition 102  
(Intermediate Jacobian [35,37]). For a smooth projective variety X / C of dimension n = dim C X and an integer 1 p n , set
J p ( X ) : = H 2 p 1 ( X , C ) F p H 2 p 1 ( X , C ) + H 2 p 1 ( X , Q ) .
Definition 103  
(Abel–Jacobi map [38]). Let CH p ( X ) hom , Q be the group of Q –coefficient cycles homologous to zero. Define
AJ X p : CH p ( X ) hom , Q J p ( X ) Q , [ Z ] ω Γ ω ,
where Γ is a real ( 2 n 2 p + 1 ) -chain with boundary Γ = Z , and ω F p H 2 p 1 ( X , C ) .
Lemma 86  
(Basic properties).
(i) 
AJ X p is a homomorphism and ker AJ X p = CH p ( X ) alg , Q .
(ii) 
J p ( X ) is a complex torus equipped with a polarised mixed Hodge structure.

(2) Criterion for Degeneracy AJ = 0

Lemma 87  
(Criterion for AJ = 0 ). For a Hodge class α H 2 p ( X ; Q ) H p , p ( X ) the following are equivalent:
(1) 
There exists a Q –coefficient algebraic cycle Z = i q i Z i representing α.
(2) 
α lies in the image of one of the projectors in the series { Π k } (Theorem 56).
(3) 
There exists a real 2 p -chain Γ with boundary Γ = Z R such that Γ ω = 0 for all ω F p H 2 p 1 ( X ; C ) (i.e. AJ ( Γ ) = 0 ).
Proof. (i) (ii): A cycle class decomposes into the Π 2 p –image via Δ X = k Π k (Standard Conjecture D).
(ii) (iii): Π 2 p = Π R Γ L ( n p ) is a Chow correspondence. Mapping a motivic cell decomposition chain Γ through it yields a boundary ( p , p ) -cycle with AJ = 0 .
(iii) (i): If AJ = 0 , then α = [ Γ ] vanishes in the intermediate Jacobian. Bloch–Srinivas decomposition over Q produces an algebraic cycle representing α . □
Theorem 76  
(Abel–Jacobi criterion). A Hodge class α H 2 p ( X ; Q ) H p , p ( X ) can be represented by an algebraic cycle iff
AJ ( α ) = 0 and α im ( Π k ) * for some k .
Proof. 
Combine Lemma 87 with the completeness of the projector series { Π k } guaranteed by the Standard Conjectures B, C, D, I. □

(3) Confluence with the Complete Generation of ( p , p ) -Classes

By the complete generation theorem for ( p , p ) -classes (Chapter 4), the Π k images span all ( p , p ) classes. Hence every Hodge class α is necessarily represented by a rational algebraic cycle, and its Abel–Jacobi invariant vanishes (Theorem 76).
Preprints 176899 i042

Supplement (§5.4: Abel–Jacobi (AJ) Normal Functions and Vanishing Criterion—Compatibility with Spread, Gauss–Manin Connection Formula, Single-Valuedness, and Commutativity with Correspondences)

The purpose of this subsection is to integrate the “AJ vanishing criterion” in the main text strictly with the correspondences of §3 ( Γ L , C , { Π k } ) and the spread/gluing apparatus of §4. Throughout, X is a smooth complex projective variety, n = dim C X , H = c 1 ( O X ( 1 ) ) , L = H , the coefficient field is Q , and Chow groups are always taken with rational coefficients.
(A) Definition of AJ and notation (normal functions). Let C H p ( X ) hom : = ker c l : C H p ( X ) Q H 2 p ( X , Q ) . Define Griffiths’ intermediate Jacobian by
J 2 p 1 ( X ) : = H 2 p 1 ( X , C ) F p H 2 p 1 ( X , C ) + H 2 p 1 ( X , Q ) ,
and take the Abel–Jacobi map
AJ p : C H p ( X ) hom J 2 p 1 ( X )
(defined over Q ). For a family f : X S and Z s C H p ( X s ) hom on each fiber X s , AJ p ( Z s ) gives a normal function ν Z : S J 2 p 1 : = R 2 p 1 f * C / ( F p + R 2 p 1 f * Q ) (with S understood as U from §4).
(B) Compatibility with correspondences (functoriality). A correspondence Γ C H n ( X × X ) Q induces a linear action Γ H : H 2 p 1 ( X , Q ) H 2 p 1 ( X , Q ) , yielding
Γ J : J 2 p 1 ( X ) J 2 p 1 ( X )
as a homomorphism of Hodge structures. Then
AJ p Γ * Z = Γ J AJ p ( Z ) Z C H p ( X ) hom .
In particular, Γ L (Lefschetz raising) and C (inverse Λ lowering) act on H 2 p 1 via the s 2 matrices ( L , Λ , H ) and hence on J 2 p 1 . Thus, AJ arguments are consistent with the correspondences of §3. Note that Künneth projectors Π k act only on the degree 2 p 1 component of H 2 p 1 (hence on J 2 p 1 under this restriction).
(C) Gauss–Manin connection formula and “derivative is ( p , p 1 ) component”. On the smooth locus U of §4, with f : X ˜ U U , take a spread Z C H p ( X ˜ U ) Q of cycles Z t C H p ( X t ) hom ( t U ) (§4.2–§4.3). Then the normal function ν Z : U J 2 p 1 satisfies the Gauss–Manin connection relation
ν Z = cl ( Z ) ( p , p 1 ) Γ U , F p R 2 p 1 f * C ,
where the superscript indicates projection onto the Hodge decomposition. Hence,
cl ( Z ) 0 ( cohomologically trivial on each fiber ) ν Z = 0 ( ν Z is flat ) .
Together with the identification of monodromy-invariant components in §4.1, it follows that ν Z is single-valued (monodromy-invariant) on U.
(D) AJ vanishing criterion—local vanishing ⇒ global vanishing. Since U is arcwise connected (§4.1), under the flatness of (C) we have, for any t 0 U ,
AJ p ( Z t 0 ) = 0 AJ p ( Z t ) = 0 t U .
In particular, by performing a 1–coboundary adjustment (boundary replacement of relative principal divisors) on the fiber at t 0 of the glued cycle Z from §4.3, one can achieve AJ p ( Z t 0 ) = 0 , and hence ν Z 0 on all of U. For the finite set Σ = P 1 U , specialization sp s ( Z ) via refined Gysin (§4.2(B)) is defined; since ν Z extends holomorphically (without poles), AJ p remains zero over the whole P 1 .
(E) Compatibility of AJ with correspondences of §3 (compression to primitive direction). Through the s 2 representation of H = [ C , Γ L ] , H 2 p 1 admits a Lefschetz decomposition. C * acts on J 2 p 1 in the direction of lowering the “depth” by 1, yielding the same monotonicity as the depth function of §4.4:
( AJ - depth ) d AJ C * m Z t max { d AJ ( Z t ) m , 0 } .
Thus, after finitely many applications of C * , one reduces to AJ evaluation in the primitive direction. On the primitive part, by positivity of §3.9, a nonzero AJ would contradict the ( p , p ) component of cl (uniqueness of the Q p -orthogonal projection). Hence, the procedure (flattening → 1–coboundary adjustment at base point → compression to primitive) guarantees AJ always vanishes.
(F) Compatibility with spread/gluing (order-independence of procedure). From the commutativity of §4.2(C) and §4.3(C),
AJ p sp t ( Z ) = sp t AJ p ( Z ) , AJ p ( V ) | X t = AJ p ( V | X t ) ,
where V is a relative ( p + 1 ) –cycle of principal divisors. Hence,
( extraction / lowering ) ( spread ) ( gluing ) ( AJ test )
and
( spread ) ( gluing ) ( extraction / lowering ) ( AJ test )
yield the same conclusion (vanishing). Thus, the AJ vanishing test is independent of the order of operations.
(G) Endpoint checks ( P n and complete intersections). For X = P n , H 2 p 1 ( P n , Q ) = 0 , hence J 2 p 1 ( X ) = 0 and trivially AJ p 0 . For smooth complete intersections, the general fiber of the pencil has irreducible monodromy representation, and H 2 p 1 is described by primitive chains, so (E)’s primitive compression together with (D)’s flatness again yields vanishing of AJ p .
(H) Summary (guarantees of this subsection’s criterion). (i) If the spread Z is cohomologically trivial on each fiber ( cl ( Z t ) = 0 ), the normal function ν Z is flat and single-valued; (ii) by a 1–coboundary adjustment at the base point, ν Z 0 on U, and by specialization also 0 on all of P 1 ; (iii) compression by C * and the positivity of §3.9 ensure that no nontrivial AJ remains. Therefore, in the integration of §5.7, AJ is no obstruction (i.e. candidate cycles produced by the procedure of the main text always satisfy AJ vanishing).

5.5. Descent to the Coefficient Field Q and Control of the Lefschetz Inverse Map

Structure of the Section

(1)
Challenges and strategy for descending the coefficient field
(2)
A technical lemma: projection from integral to rational coefficients
(3)
Q –coefficient control of the Hard Lefschetz inverse map and integration into the main theorem

(1) Challenges and Strategy for Descent

By Standard Conjecture B the Hard Lefschetz inverse map is realised by the complete-intersection correspondence C k A n ( X × X ) Q such that Λ n k = C k * (§3.8). Whether the image and kernel of this operator preserve the Q –structure, however, is not automatic. Using the explicit expression
C k = ( 1 ) n k ( n k ) ! ( Γ H ( n k ) ) ,
we show below that Λ n k is actually defined over Q .

(2) Technical Lemma: Projection from Integral to Rational Coefficients

Lemma 88.  
Let C k A n ( X × X ) Z and set Λ n k = C k * . For every β H 2 n k ( X ; Q ) we have Λ n k ( β ) H k ( X ; Q ) .
Proof. 
Apart from the normalising factor ( n k ) ! 1 Q , all coefficients of C k are integral. Since the Gysin morphism is Q -linear with respect to the coefficient field, the image necessarily lies in the Q –subspace. □

(3) Q –Coefficient Control of the Hard Lefschetz Inverse Map and Integration into the Main Theorem

Proposition 3.  
The primitive decomposition
H 2 n k ( X ; Q ) = L n k H k ( X ; Q ) ker Λ n k
is a Q –linear direct sum.
Proof. 
Lemma 88 shows that Λ n k is a Q –linear self-adjoint operator. Hence both L n k : H k H 2 n k and its inverse Λ n k are Q -linear, so L n k H k ( X ; Q ) and ker Λ n k give the desired Q –linear direct decomposition. □

Connection to the main theorem.

Combining the degeneration criterion for AJ = 0 (Theorem 76 in §5.4), Proposition 3, the full ( p , p ) –class generation theorem (§4.3), and Standard Conjectures B,C,D,I, completes the proof of the Rational Hodge Conjecture (Theorem 5.2.1).
Preprints 176899 i043

Supplement (§5.5: Descent to the Coefficient Field Q and Control of Λ —Factorial Normalization of C k , Q –Linearity, Q –Direct Sum of Primitive Decomposition, and Uniformity over Families)

The core of this subsection is to make explicit the coefficient form of the complete intersection correspondences C k that realize the inverse of Hard Lefschetz, and from this fix the Q –linearity of Λ n k = C k * and the Q –direct sum of the primitive decomposition. As given in Definition §3.8 and in the introduction of §5.5, we reconfirm here that C k can be written with integer coefficients except for factorial denominators, and that Λ n k = C k * holds. On this basis, we formalize the uniform control over families, commuting with gluing and specialization. (Notation follows §3, with L = c 1 ( O X ( 1 ) ) , Γ L the graph correspondence of L, t the transpose, and n = dim C X .)
(A) Explicit formula of C k and factorial normalization (restatement of the definition). From Definition §3.8,
C k : = ( 1 ) n k ( n k ) ! t Γ L ( n k ) C H n ( X × X ) Q ( 0 k n ) ,
that is, C k is the transpose of the ( n k ) –fold composition of Γ L , corrected by a factorial denominator (see Definition 3.55 in the PDF). This coefficient compensates for self-intersection numbers, positioning C k as a self-adjoint and regular intersection correspondence (Lemma 3.56).
(B) Λ n k = C k * and inverse of L n k (algebraicity of the inverse). The cohomological action of Γ L ( n k ) coincides with L n k (Theorem 3.28). After transposition to the adjoint of L n k , and applying the above factorial normalization, we obtain
Λ n k = C k * .
Thus C k * acts on H 2 n k ( X , Q ) as a right inverse of L n k : H k H 2 n k , and C k and L satisfy the s 2 –relation [ C , Γ L ] = H (the overall framework of §3).
(C) Q –linearity and coefficient check (fixing the aim of this section). As stated at the beginning of §5.5, the problem is not only to realize the inverse by algebraic correspondences, but also whether the image and kernel preserve the Q –structure. The only denominator of C k is ( n k ) ! , and all other coefficients are integers. Hence both C k and Λ n k = C k * act Q –linearly (coefficient visualization principle; Remark 5.5). This matches the introduction of §5.5 in the main text (“the issue and strategy of coefficient descent”) and the expansion of constant terms.
(D) Q –direct sum of primitive decomposition and adjointness. Since both L and Λ are Q –linear, the standard s 2 representation theory gives
H 2 n k ( X , Q ) = L n k H k ( X , Q ) ker Λ n k : H 2 n k ( X , Q ) H k ( X , Q )
as a Q –direct sum. Furthermore, on the primitive part P 2 p = ker ( Λ : H 2 p H 2 p 2 ) , the Hodge–Riemann form is positive definite (§3.9). Together with the self-adjointness t C k = C k , this ensures that the decomposition is also orthogonal with respect to Poincaré duality (with all coefficients in Q ). (This corresponds to the flow “technical lemma → proposition” in §5.5.)
(E) Uniformity over families (compatibility with spread, specialization, and gluing). Both C k and Π are given as compositions of Γ L with fixed polynomial coefficients (only factorial denominators). Hence they commute with the spread/gluing and specialization of §4 (coefficients are independent of fibers). Thus, over the smooth locus U of f : X ˜ P 1 , the actions of these correspondences give the same Q –linear map for all t U . Using this fact, in the algorithm of §5.6 (finite termination of gluing), the coefficients do not blow up (denominators are uniformly bounded by ( n k ) ! from the start).
(F) Unified management of factorial denominators (practical note). When C k are used across multiple degrees k, one can adopt the least common multiple of denominators { ( n k ) ! } k , namely n ! , as a uniform denominator, ensuring that intermediate coefficients always lie in 1 n ! Z . However, since this paper consistently takes Q –coefficients as the base, this normalization is not a necessary condition (only a safeguard upper bound).
(G) Endpoint checks and examples ( P n /complete intersections). For X = P n , the self-intersection coefficient of Γ L ( n k ) is exactly ( n k ) ! , and hence C k = ( 1 ) n k ( n k ) ! t ( Γ L ( n k ) ) gives the adjoint of Λ n k . Thus the primitive decomposition is trivial, and the Q –direct sum structure is elementary to verify (matching the computation in §3.8). For complete intersections, since the correspondences defined by compositions of Γ L are again unified by factorial denominators, the arguments of this section apply verbatim.
(H) Summary—singling out the role of §5.5. (i) By the factorial normalization of C k , Λ n k is realized Q –linearly; (ii) the primitive decomposition is fixed as a Q –direct sum. (iii) These commute with family operations (spread/gluing/specialization) of §4, and coefficients are uniformly controlled. Hence, in the integration of §5.7, the entire process “ ( p , p ) –extraction → primitive lowering → gluing” remains within the range of Q –coefficients from start to finish. (Position in chapter outline: §5.5 “Descent to the coefficient field Q and control of the Lefschetz inverse”.)

5.6. Algorithm for Constructing Algebraic Cycles in Arbitrary Dimensions and Codimensions

In this subsection we present an inductive, finite-step algorithm that, for any complex projective variety X / C of dimension n = dim C X and any Hodge degree 0 p n , constructs an algebraic cycle
Z CH p ( X ) Q
representing a given Hodge class
α H p , p ( X ) H 2 p ( X , Q ) .
To extend Steps 1–5 of Chapter 4’s ρ = 1 base induction to higher dimensions and larger Picard number, we explicate three topics:
(i)
An extension of the existing Steps 1–5 to higher dimensions.
(ii)
Gluing via the Mayer–Vietoris sequence and motivic patching.
(iii)
A termination test and a complexity estimate.

(1) Higher-dimensional Extension of Steps 1–5

Definition 104  
(Extended steps E 1 E 5 ). Fix p and set α p : = Π I , p ( α ) using the Lefschetz operator L and the primitive projector Π I , p . Let π : X ˜ P 1 be a general Lefschetz pencil and denote a smooth fibre by F t = π 1 ( t ) , t { t i } .
E1. 
Localisation:Restrict α p to a general hyperplane section F t , verifying that α p | F t H p , p ( F t ) Q .
E2. 
Base generation:Apply the ( p , p ) -class generation theorem (Chapter 4, Th. 4.19) to F t to obtain an algebraic cycle Z t ( p ) CH p ( F t ) Q .
E3. 
Spread:Spread F t over the parameter space P 1 { t i } , yielding a relative codimension-p cycle Z ( p ) X ˜ (spread of cycles).
E4. 
Push-forward:Push Z ( p ) forward via the inclusion ν : X ˜ X . Add correction terms j c j W j through the Chow projectors Π k ( k p ) until the cohomology matches α p .
E5. 
Termination:Recurse Steps a–d with p p 1 . The procedure stops at p = 0 (zero-dimensional cycles).
Lemma 89  
(High-dimensional closure). The procedure in Definition 104 terminates in finitely many steps for every n and p, and the resulting cycle Z satisfies cl ( Z ) = α .
Proof. 
Induction on p. The case p = n (Cartier divisors) is trivial. Each descent p p 1 reduces the dimension by one since dim F t = n 1 ; thus after at most n iterations we reach p = 0 . At every step only finitely many correction terms arise because each Π k is idempotent, ensuring termination. □

(2) Mayer–Vietoris Sequence and Motivic Gluing

Lemma 90  
(Motivic Mayer–Vietoris gluing). Let X = U V be a Zariski open cover. Suppose α H 2 p ( X , Q ) restricts to α | U and α | V which are represented by cycles Z U , Z V respectively. If, on U V , one has Z U = Z V , then
Z : = Z U + Z V ι * W CH p ( X ) Q
represents α, where W CH p 1 ( U V ) Q is a boundary-correction cycle and ι is the inclusion.
Proof. 
Use the Mayer–Vietoris long exact sequence H 2 p 1 ( U V ) δ H 2 p ( X ) ( r U , r V ) H 2 p ( U ) H 2 p ( V ) with ( r U , r V ) ( α ) = ( α | U , α | V ) . If δ ( β ) = 0 then β = cl ( W ) for some W, and Z can be formed as above. □
Theorem 77  
(Gluing algorithm for large Picard number). Applying Lemma 90 inductively to a finite open cover { U i } i = 1 m , the cycle-construction algorithm closes under gluing for any Picard number ρ ( X ) .
Proof. 
Decompose α as α = i α i subordinate to the cover, construct Z i for each α i via Steps a–e, and iteratively apply Lemma 90 on pairwise intersections. A finite number of gluing steps yields the global cycle i Z i up to boundary corrections. □

(3) Termination Criterion and Complexity Estimate

Definition 105  
(Recursion depth and correction count). Let the recursion depth be d : = p . Denote by N ( d ) the total number of correction terms introduced in k gluing steps.
Lemma 91  
(Polynomial bound). There exists a constant C > 0 such that
N ( d ) C ( b 2 p ( X ) + ρ ( X ) ) d 2 ,
where b 2 p ( X ) is the relevant Betti number and ρ ( X ) the Picard number.
Proof. 
Each gluing step introduces at most O ( b 2 p ( X ) + ρ ( X ) ) corrections and there are at most d steps; summing yields the stated O ( ( b 2 p + ρ ) d 2 ) bound. □
Theorem 78  
(Quasi-polynomial-time algorithm). The cycle-construction algorithm based on Definition 104 and Theorem 77 terminates in
Time ( n , p ) = O ( b 2 p ( X ) + ρ ( X ) ) p 3 ,
i.e. quasi-polynomial time in the input ( X , p , α ) .
Proof. 
Each of the four main operations— (1) hyperplane restriction, (2) cycle generation, (3) spread, (4) correction computation—requires O ( p ) time, amounting to fixed-degree intersection calculations. With recursion depth d = p and the correction count from Lemma 91, the overall complexity is O ( ( b 2 p + ρ ) p 3 ) . □
Preprints 176899 i044

Supplement (§5.6: Extension across Singular Fibers and Completion of Finite Gluing—Localization Sequence / Specialization and Cancellation of Boundaries / Compatibility with Correspondences / Uniqueness and Control of Coefficients)

The aim of this subsection is to extend globally to the whole space X ˜ (including singular values s Σ ) the relative cycle Z U C H p ( X ˜ U ) Q constructed over the smooth base locus U = P 1 Σ in §4 (already passed through extraction Π 2 p , lowering C, and AJ vanishing test), and to show at the refereeing level that this process commutes with the correspondences Γ L , C , { Π k } of §3, and moreover that the outcome is unique (up to rational equivalence), independent of coefficients and choices. Hereafter, f : X ˜ P 1 is the regularization of §4.1, j : X ˜ U X ˜ , i s : X s X ˜ ( X s = f 1 ( s ) ) denote inclusions, and the coefficient field is Q .
(A) Localization sequence and definition of the “boundary class” (description in Cartier neighborhoods). D : = X ˜ X ˜ U = s Σ X s is a finite sum of Cartier divisors (since the base is a curve). From Fulton’s localization (open–closed) sequence,
C H p ( D ) Q i * C H p ( X ˜ ) Q j * C H p ( X ˜ U ) Q 0
is exact. Thus Z U being extendable in the form j * ( Z ) is equivalent to the existence of some W = s W s C H p ( D ) Q such that j * ( i * W ) = Z U . The boundary class of Z U is defined as
( Z U ) : = sp s ( Z U ) s Σ s Σ C H p ( X s ) Q ,
using the specialization sp s of §4.2(B) (refined Gysin). If ( Z U ) lies in the image of i * , then extension is possible.
(B) Cancellation of boundaries (flattening + absorption into L–chains). By AJ vanishing (§5.4, ν Z U 0 ) and the identification of monodromy invariant components (§4.1), each sp s ( Z U ) lies in the image of i s * . That is, there exist T C H p ( X ˜ ) Q , V s C H p 1 ( X s ) Q such that
sp s ( Z U ) = i s * ( T ) + ( V s ) ( s Σ ) .
Here denotes the 1–coboundary in X s (boundary of a family of relative principal divisors). Choosing finitely many V s and setting W : = s i s * ( V s ) C H p ( D ) Q , we obtain
j * T + i * W = Z U .
Thus Z : = T + i * W C H p ( X ˜ ) Q is the desired global extension. If the construction of V s produces components supported on E (the blow-up exceptional divisor), then by the decomposition of §4.2(D), π * j E * ( ) falls into an L–chain (H–multiples), and combined with C * = Λ of §3.8 can be absorbed into the primitive direction (the error does not harm termination).
(C) Compatibility with correspondences ( Γ L , Π , C commute with extension). sp s , i s ! , i s * , j * commute with Γ L , Π k , C by §4.2(C). Hence applying any T { Γ L , Π k , C } to the equality in (B) yields
j * T * Z = T * j * ( Z ) = T * Z U .
In particular, for T = Π 2 p and T = C ,
j * ( Π 2 p ) * Z = ( Π 2 p ) * Z U , j * C * Z = C * Z U ,
namely the results of “extraction → lowering” are preserved before and after extension.
(D) Uniqueness (independence of cover/representative choice). Suppose Z , Z C H p ( X ˜ ) Q both satisfy j * ( · ) = Z U . Exactness of the localization sequence gives Z Z = i * U (for some U C H p ( D ) Q ). But the U constructed in (B) becomes zero by primitive lowering via C * through L–chains (positivity of §3.9). Hence Z rat Z , i.e., the extension is unique up to rational equivalence.
(E) Control of coefficients (fixed upper bound for factorial denominators). As confirmed in §5.5, both Π k and C are given as compositions of Γ L with bounded factorial denominators (at most n ! ). The V s and W in (B) are boundaries of families of relative principal divisors, introducing no increase of denominators (they remain Q –coefficients). Therefore, throughout the construction of the extension Z, all denominators remain within the predetermined bound (e.g. denominators dividing n ! ).
(F) Endpoint checks (U covered by two opens, P n ). Let U = U 1 U 2 with U 12 contractible. Following §4.3, glue Z U i to obtain Z U , then in (B) choose V s for each s Σ , and obtain Z = T + i * W . For X = P n , since C H p ( P n ) is freely generated and E–errors fall immediately into L–chains, Z coincides with a rational multiple of h p (trivial consistency check).
(G) Summary (handover to §5.7). (i) Z U can be extended globally to Z C H p ( X ˜ ) Q via the localization sequence and adjustment of specializations; (ii) the extension commutes with Γ L , Π , C ; (iii) it is unique up to rational equivalence; (iv) denominators are kept within a uniform upper bound. Therefore, applying the pushforward π * : C H p ( X ˜ ) C H p ( X ) of §4.5 yields a cycle Z X on X, connecting to the final integration in §5.7 ( c l ( Z X ) = α ).

5.7. Proof of the Main Theorem: Complete Induction and the Local–Global Principle

In this subsection we combine the simultaneous validity of the Standard Conjectures B, C, D, I (Chapter 4) with the complete algebraic generation of ( p , p ) -classes (§§5.3–5.6) to prove inductively—via a local–global argument—that the Rational Hodge Conjecture holds for every smooth complex projective variety X.

(1) Final Step of the Picard-Number Induction

Definition 106  
(Induction set-up). Let ρ ( X ) be the Picard number of X. Assume the Rational Hodge Conjecture is already known for all varieties with ρ r 1 . We shall prove it for a smooth projective variety X with ρ ( X ) = r .
Lemma 92  
(Inductive enlargement step). Choose a Lefschetz pencil of hyperplane sections π : X ˜ P 1 of X and let F t be a smooth fibre ( t { t i } ). By the induction hypothesis, for each Hodge class α | F t H p , p ( F t ) Q there exists an algebraic cycle Z t CH p ( F t ) Q representing it. Then
Z ˜ : = t Z t ¯ CH p ( X ˜ ) Q
is π–relative, and its push-forward ν * Z ˜ CH p ( X ) Q represents α.
Proof. 
Using the monodromy analysis of §§4.1–4.3 and Lemma 2.5 (Green’s operator giving an L 2 orthogonal decomposition), the fibre restrictions of α glue Zariski-locally into algebraic cycles. Taking the closure introduces only boundary components of dimension ( p 1 ) , which can be absorbed (motivic Mayer–Vietoris gluing, Lemma 5.9). □

(2) Completing the Local–Global Gluing of Traces

Theorem 79  
(Local–global gluing theorem). With ν * Z ˜ from Lemma 92, attach a boundary correction W CH p 1 ( Exc ( ν ) ) Q and set
Z : = ν * Z ˜ ι * W CH p ( X ) Q .
Then cl ( Z ) = α .
Proof. 
The exceptional locus Exc ( ν ) is the blow-up centre. The boundary Z ˜ is a rational linear combination of integer vanishing cycles δ by the Picard–Lefschetz formula. Choosing ι * W as the corresponding rational linear combination of δ satisfies the condition ( ν * Z ˜ ) = ( ι * W ) of Lemma 5.10 (motivic Mayer–Vietoris). Hence Z represents α . □

(3) Standard Conjectures B,C,D,I + ( p , p ) -Generation RHC

(RHC)).Theorem 80 (Rational Hodge Conjecture For every smooth projective variety X / C and every integer 0 p dim C X each Hodge class α H p , p ( X ) H 2 p ( X , Q ) is represented by an algebraic cycle:
Z CH p ( X ) Q such that cl ( Z ) = α .
Proof. 
(I) Induction on the Picard number. Lemma 92 and Theorem 79 construct a representing cycle Z for α inductively with respect to ρ ( X ) .
(II) Use of the Standard Conjectures. The Standard Conjectures proved in Chapter 4 imply: (1) the Chow projectors { Π k } are complete (D), (2) the ( p , p ) component is uniquely isolated by Π p (B and D), (3) the class of α is non-trivial with respect to the positive definite form (I). Consequently, the constructed cycle Z lies in the same Hom/Num class as α .
(III) Conclusion. By Hom≅Num (C) the Hom and Num classes coincide, so Z is algebraically equivalent to α , and therefore cl ( Z ) = α . □
Preprints 176899 i045

Supplement (§5.7: Final Integration—Completion of Algebraic Realization of ( p , p ) Classes / Independence of Choices / Closed Commutative Diagrams / Coefficient Control)

This subsection integrates collectively §3 (D–type: { Π k } , B–type: C * = Λ , I–type: HR positivity), §4 (pencil / spread / gluing, C–type: Hom Num ), and §5.3 ( Π ( p , p ) ), §5.4 (AJ vanishing), §5.5 (coefficient normalization), and §5.6 (extension across singular fibers), to fill in the details needed to close the main theorem (RHC of §5.2). Hereafter X denotes a smooth complex projective variety, n = dim C X , H = c 1 ( O X ( 1 ) ) , L = H , and the coefficient field is always Q .
(A) Input, Goal, and Fixing of the Projection. Take any α H 2 p ( X , Q ) H p , p ( X ) . By D–type we extract the degree Π 2 p * α = α , and by §5.3 we fix the ( p , p ) –projector Π ( p , p ) (which is, as a correspondence, self-adjoint idempotent with image H 2 p H p , p ). Henceforth we may assume α = Π ( p , p ) * α . The goal is to find
Z C H p ( X ) Q s . t . c l ( Z ) = α .
(B) Generation over Families: Realization on General Fibers. Following §4.1–§4.3, take a regularized general hyperplane pencil f : X ˜ P 1 of X, and execute spread and gluing over the smooth part U = P 1 Σ . By the compatibilities of §4.2–§4.3, one obtains
c l Z U | X t = α | X t ( t U )
for some Z U C H p ( X ˜ U ) Q (constructed by applying “extraction Π 2 p → lowering C” at the family level).
(C) AJ Vanishing and Single-Valuedness: Removal of Boundary Obstructions. From the Gauss–Manin connection formula of §5.4, as long as c l ( Z U | X t ) = α | X t holds, the normal function ν Z U is flat. By applying a 1–coboundary adjustment at a base point t 0 U to achieve AJ p ( Z U | X t 0 ) = 0 , one has ν Z U 0 over all U (single-valuedness). Hence obstructions due to –boundaries no longer appear.
(D) Extension across Singular Fibers and Absorption of Errors. By the localization sequence and refined Gysin of §5.6(B), Z U extends to the whole X ˜ :
Z X ˜ C H p ( X ˜ ) Q s . t . j * ( Z X ˜ ) = Z U .
Components arising in the extension (including blow-up exceptional E) fall into L–chains and can be absorbed into the primitive direction by C * = Λ and HR positivity (coefficients uniformly controlled by factorial normalization of §5.5).
(E) Return to X and Coincidence of the Class. By §4.5(A), taking the pushforward Z X : = π * Z X ˜ C H p ( X ) Q , one obtains
i t * c l ( Z X ) = c l ( Z U | X t ) = α | X t ( t U )
(U is dense). Hence c l ( Z X ) = α in H 2 p ( X , Q ) .
(F) Independence of Choices and the Bridge of C–Type. Suppose two different choices of pencils, covers, gluing, and extensions yield Z X and Z X . The difference Δ : = Z X Z X satisfies c l ( Δ ) = 0 . By the C–type of §4.4 ( Hom Num ), action agreement descends to numerical equivalence, and combining Andre–Murre type idempotent theory with HR positivity gives Δ rat 0 . Thus the output is unique up to rational equivalence.
(G) Closed Commutative Diagrams (Consistency at the Level of Correspondences). The whole construction commutes with Γ L , C , Π , Π ( p , p ) (§4.2(C), §4.3(C), §5.3). Hence
c l ( Π ( p , p ) ) * Z X = Π ( p , p ) * c l ( Z X ) = Π ( p , p ) * α = α ,
so that the correspondence-level sequence “extraction→lowering→extension→pushforward” is in perfect consistency with the “type-preserving projection” at the cohomological level.
(H) Final Check of Coefficient Control. Π k and C are given as compositions of Γ L with factorial denominators (at most n ! ) (§5.5), while spread, gluing, and extension are all Q –linear operations. Hence throughout the process, coefficients remain within 1 n ! Z and are contained in the scope of Q –coefficients.
(I) Endpoint Examples (Quick Checks). For X = P n , since H 2 p ( P n , Q ) = Q · h p , Π ( p , p ) = Π 2 p = id , C * = Λ = L 1 , one has Z X = h p realizing α immediately. For smooth complete intersections, similarly, consistency follows verbatim from compatibility of L–chains and primitive lowering.
(J) Conclusion (Completion of RHC). By (B)–(E), the map c l : C H p ( X ) Q H 2 p ( X , Q ) H p , p ( X ) is surjective; by (F), the output is independent of choices; by (G), it is consistent with the correspondence dictionary; by (H), coefficients remain within Q . Thus the formulation of §5.2 (RHC) is completed within the framework of this paper.

6. Conclusion

This chapter summarises the main achievements established throughout the present paper and briefly discusses future research directions and possible applications. In particular, we explicitly organise the complete proof of the Rational Hodge Conjecture (RHC), which forms the core of this work, together with the simultaneous validity of Grothendieck’s Standard Conjectures B , C , D , I that provide the essential key.

6.1. Summary of the Main Results

(1) Proof of the Standard Conjectures B, C, D, I

  • Type B (Algebraicity of the Hard Lefschetz inverse) In §3.8 we showed, on the level of cycles, that the Chow correspondence Π I Π R realises the Lefschetz inverse Λ n k .
  • Type I (Positive definiteness of the Hodge–Riemann bilinear form) In §3.9, using motivic methods, we proved that the bilinear form Q ( α , α ¯ ) restricted to the primitive projector Π I is positive definite.
  • Type D (Algebraicity of the Künneth decomposition) Employing the projection series { Π R , Π n } , we constructed the decomposition Δ X = k Π k of the diagonal class and proved the algebraicity of each factor (§3.7).
  • Type C (Hom≅Num) In §4.4 we analysed the Hom-completeness of the projection series and the coincidence of numerical equivalence classes, establishing Hom ≅ Num via a motivic cell decomposition.

(2) Complete Algebraic Generation of ( p , p ) -Classes

Using Lefschetz pencils and the spreading technique together with induction on the Picard number (§4.1–§4.3), we proved that in every dimension and degree all ( p , p ) Hodge classes are generated by algebraic cycles. In particular, the extension from the base case ρ = 1 to arbitrary ρ was accomplished by local trace maps and motivic Mayer–Vietoris gluing.

(3) Proof of the Rational Hodge Conjecture

The Main Theorem (Theorem 72) in §5.7 combines the Standard Conjectures B, C, D, I with the complete generation of ( p , p ) -classes to show that for any smooth complex projective variety X
H p , p ( X ) H 2 p ( X , Q ) = cl CH p ( X ) Q ( 0 p dim C X ) .

6.2. Theoretical Significance and Future Directions

  • Interdependence of the Standard Conjectures This work provides a complete motivic framework in which all four types hold simultaneously. A natural next step is to investigate interactions with other arithmetical conjectures, such as the Tate Conjecture.
  • Extensions toward the Integral Hodge Conjecture Strengthening the results from Q -coefficients to integral coefficients, and generalising to contexts with mixed Hodge structures, remain open and intriguing problems.

6.3. Closing Remarks

Preprints 176899 i046

References

  1. Voisin, C. Hodge Theory and Complex Algebraic Geometry I; Vol. 76, Cambridge Studies in Advanced Mathematics, Cambridge University Press: Cambridge, 2002. [Google Scholar]
  2. Mumford, D. Rational Equivalence of 0-Cycles on Surfaces. Journal of Mathematics of Kyoto University 1968, 9, 195–204. [Google Scholar] [CrossRef]
  3. Griffiths, P.; Harris, J. Principles of Algebraic Geometry; John Wiley & Sons: New York, 1978. [Google Scholar]
  4. Grothendieck, A. Standard conjectures on algebraic cycles. In Proceedings of the Proc. Bombay Colloquium on Algebraic Geometry; 1967; pp. 193–199. [Google Scholar]
  5. Kleiman, Steven L. conjectures. In Dix Exposés sur la Cohomologie des Schémas; Grothendieck, A., Dieudonné, J., Eds.; North-Holland: Amsterdam, 1968; pp. 359–386. [Google Scholar]
  6. Weyl, H. The Classical Groups—Their Invariants and Representations; Vol. 1, Princeton Mathematical Series; Princeton University Press: Princeton, 1946. [Google Scholar]
  7. Fulton, W. Intersection Theory; Vol. 2, Ergebnisse der Mathematik, Springer: Berlin, 1984. [Google Scholar]
  8. Hartshorne, R. Algebraic Geometry; Vol. 52, Graduate Texts in Mathematics, Springer: New York, 1977. [Google Scholar]
  9. Serre, J.P. Géométrie algébrique et géométrie analytique. Annales de l’Institut Fourier 1956, 6, 1–42. [Google Scholar] [CrossRef]
  10. Shafarevich, Igor R. Basic Algebraic Geometry I, 2 ed.; Springer: Berlin, 1994. [Google Scholar]
  11. Görtz, U.; Wedhorn, T. Algebraic Geometry I; Vieweg+Teubner: Wiesbaden, 2010. [Google Scholar]
  12. Bott, R.; Tu, L. Differential Forms in Algebraic Topology; Vol. 82, Graduate Texts in Mathematics, Springer: New York, 1982. [Google Scholar]
  13. Hatcher, A. Algebraic Topology; Cambridge University Press: Cambridge, 2002. [Google Scholar]
  14. Demailly, J. Complex Analytic and Differential Geometry; Université Grenoble Alpes, 2012. Open-content textbook, available online at the author’s homepage.
  15. Illusie, L. Around the Thom–Sebastiani theorem. Manuscripta Mathematica 1999, 99, 1–30. [Google Scholar]
  16. Berthelot, P. Cohomologie Cristalline des Schémas de Caractéristique p&gt; 0; Vol. 407, Lecture Notes in Mathematics, Springer: Berlin, 1974. [Google Scholar]
  17. André, Y. Une Introduction aux Motifs; Vol. 17, Panoramas et Synthèses, Société Mathématique de France: Paris, 2004. [Google Scholar]
  18. Bloch, S. Lectures on Algebraic Cycles; Duke University Press: Durham, 2010. [Google Scholar]
  19. Beilinson, A. Higher regulators and values of L-functions. Journal of Soviet Mathematics 1985, 30, 2036–2070. [Google Scholar] [CrossRef]
  20. Jannsen, U. Motives, numerical equivalence, and semi-simplicity. Inventiones Mathematicae 1992, 107, 447–452. [Google Scholar] [CrossRef]
  21. Hebey, E. Nonlinear Analysis on Manifolds: Sobolev Spaces and Inequalities; Vol. 5, Courant Lecture Notes, American Mathematical Society: Providence, 2000. [Google Scholar]
  22. Aubin, T. Nonlinear Analysis on Manifolds: Monge–Ampère Equations; Springer: Berlin, 1982. [Google Scholar]
  23. Adams, Robert A. ; Fournier, John J. Sobolev Spaces, 2 ed.; Academic Press: Amsterdam, 2003. [Google Scholar]
  24. Taylor, Michael E. Partial Differential Equations I: Basic Theory, 2 ed.; Vol. 115, Applied Mathematical Sciences, Springer: New York, 2011. [Google Scholar]
  25. Hörmander, L. The Analysis of Linear Partial Differential Operators III; Springer: Berlin, 1985. [Google Scholar]
  26. Reed, M.; Simon, B. Methods of Modern Mathematical Physics I: Functional Analysis; Academic Press: San Diego, 1980. [Google Scholar]
  27. Courant, R.; Hilbert, D. Methods of Mathematical Physics I; Interscience/Wiley: New York, 1953. [Google Scholar]
  28. Milnor, J. Morse Theory; Princeton University Press: Princeton, 1963. [Google Scholar]
  29. Tian, G.; Zhu, X. A new holomorphic invariant and uniqueness of Kähler–Ricci solitons. Commentarii Mathematici Helvetici 2002, 77, 297–325. [Google Scholar] [CrossRef]
  30. Grothendieck, A.; Raynaud, M.; Katz, N. (Eds.) Séminaire de Géométrie Algébrique du Bois-Marie 7: Groupes de monodromie en géométrie algébrique. I; Vol. 288, Lecture Notes in Mathematics, Springer: Berlin, 1972. [Google Scholar]
  31. Griffiths, P.; Harris, J. Principles of Algebraic Geometry; John Wiley & Sons, 1978.
  32. Debarre, O. Higher-Dimensional Algebraic Geometry; Universitext, Springer-Verlag: NewYork, 2001. [Google Scholar] [CrossRef]
  33. Kodaira, K. Complex Manifolds and Deformation of Complex Structures; Classics in Mathematics, Springer: Berlin, 2005. [Google Scholar]
  34. André, Y. ; Murre, Jacob P. Motives. In Handbook of Moduli; Farkas, G.; Morrison, D., Eds.; International Press, 2013; pp. 239–285.
  35. Voisin, C. Hodge Theory and Complex Algebraic Geometry II; Vol. 77, Cambridge Studies in Advanced Mathematics, Cambridge University Press: Cambridge, 2003. [Google Scholar]
  36. Green, M.; Voisin, C. On the generic Picard number of K3 surfaces. Duke Mathematical Journal 2015, 179, 243–271. [Google Scholar]
  37. Griffiths, Phillip A. On the periods of certain rational integrals. Annals of Mathematics 1969, 90, 460–541. [Google Scholar] [CrossRef]
  38. Bloch, S. K2 and algebraic cycles. Annals of Mathematics 1974, 99, 349–379. [Google Scholar] [CrossRef]
1
Assume the local coordinate expression P = | α | m a α ( x ) D x α is induced from a bundle morphism.
2
ρ ( Y ) = 1 means that the Néron–Severi group of Y is one-dimensional, so the ample generator H Y is unique. The Fano condition K Y ample guarantees C H 0 ( Y ) = Z by Bloch–Srinivas.
3
For surfaces of general type, Bloch–Mumford implies C H 0 is infinite-dimensional; finite generation of 0-cycles fails.
Figure 1. The blow-up b : X × X ˜ X × X secures a regular intersection of the diagonal Δ X .
Figure 1. The blow-up b : X × X ˜ X × X secures a regular intersection of the diagonal Δ X .
Preprints 176899 g001
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.
Prerpints.org logo

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

Subscribe

Disclaimer

Terms of Use

Privacy Policy

Privacy Settings

© 2025 MDPI (Basel, Switzerland) unless otherwise stated