In mathematics, the standard conjectures about algebraic cycles are several conjectures describing the relationship of algebraic cycles and Weil cohomology theories. One of the original applications of these conjectures, envisaged by Alexander Grothendieck, was to prove that his construction of pure motives gave an abelian category that is semisimple. Moreover, as he pointed out, the standard conjectures also imply the hardest part of the Weil conjectures, namely Weil's Riemann hypothesis (i.e. an analog over finite fields of the well known Riemann hypothesis) that remained open at the end of the 1960s and was proved later by Pierre Deligne; for details on the link between Weil and standard conjectures, see Kleiman (1968). The standard conjectures remain open problems, so that their application gives only conditional proofs of results. In quite a few cases, including that of the Weil conjectures, other methods have been found to prove such results unconditionally. The classical formulations of the standard conjectures involve a fixed Weil cohomology theory H. All of the conjectures deal with "algebraic" cohomology classes, which means a morphism on the cohomology of a smooth projective variety
H ∗(X) → H ∗(X) induced by an algebraic cycle with rational coefficients on the product X × X via the cycle class map, which is part of the structure of a Weil cohomology theory. Conjecture A is equivalent to Conjecture B (see Grothendieck (1969), p. 196), and so is not listed. The situations over the field of complex numbers and over finite fields are completely different. Hodge standard conjecture is true over the field of complex numbers, but largely unknown over finite fields. On the other hand, Standard conjecture C is known over finite fields, but largely unknown over complex numbers.
Lefschetz type Standard Conjecture (Conjecture B) One of the axioms of a Weil theory is the so-called hard Lefschetz theorem (or axiom): Begin with a fixed smooth hyperplane section
W = H ∩ X, where X is a given smooth projective variety in the ambient projective space P N and H is a hyperplane. Then for i ≤ n = dim(X), the Lefschetz operator
L : H i(X) → H i+2(X), which is defined by intersecting cohomology classes with W, gives an isomorphism
Ln−i : H i(X) → H 2n−i(X). Now, for i ≤ n define:
Λ = (Ln−i+2)−1 ∘ L ∘ (Ln−i) : H i(X) → H i−2(X) Λ = (Ln−i) ∘ L ∘ (Ln−i+2)−1 : H 2n−i+2(X) → H 2n−i(X) The conjecture states that the Lefschetz operator (Λ) is induced by an algebraic cycle.
Künneth type Standard Conjecture (Conjecture C) It is conjectured that the projectors
H ∗(X) ↠ Hi(X) ↣ H ∗(X) are algebraic, i.e. induced by a cycle π i ⊂ X × X with rational coefficients. This implies that the motive of any smooth projective variety (and more generally, every pure motive) decomposes as
h ( X ) = ⨁ i = 0 2 d i m ( X ) h i ( X ) . {\displaystyle h(X)=\bigoplus _{i=0}^{2dim(X)}h^{i}(X).}
The motives h 0 ( X ) {\displaystyle h^{0}(X)} and h 2 d i m ( X ) {\displaystyle h^{2dim(X)}} can always be split off as direct summands. The conjecture therefore immediately holds for curves. It was proved for surfaces by Murre (1990). Katz & Messing (1974) have used the Weil conjectures to show the conjecture for algebraic varieties defined over finite fields, in arbitrary dimension. Šermenev (1974) proved the Künneth decomposition for abelian varieties A. Deninger & Murre (1991) refined this result by exhibiting a functorial Künneth decomposition of the Chow motive of A such that the n-multiplication on the abelian variety acts as n i {\displaystyle n^{i}} on the i-th summand h i ( A ) {\displaystyle h^{i}(A)} . de Cataldo & Migliorini (2002) proved the Künneth decomposition for the Hilbert scheme of points in a smooth surface.
Conjecture D (numerical equivalence vs. homological equivalence) Conjecture D states that numerical and homological equivalence agree. (It implies in particular the latter does not depend on the choice of the Weil cohomology theory). This conjecture implies the Lefschetz conjecture. If the Hodge standard conjecture holds, then the Lefschetz conjecture and Conjecture D are equivalent. Over the field of complex numbers, this conjecture was shown by Lieberman for varieties of dimension at most 4, and for abelian varieties. Over finite fields, this conjecture was shown by Clozel for abelian varieties with etale l-adic cohomology, for an infinite set of prime numbers l (which can be stated in terms of Cebotarev density theorem). One crucial idea in the proof of Clozel is to try to reduce to a similar setting as for Abelian varieties over the field of complex numbers: construct a "Hodge decomposition" for the cohomology, using the type of CM field of the endomorphism group.
… excerpt ends here. Continue reading the full article.
