# Connections between Standard, Hodge and Tate conjectures on algebraic cycles?

What implications would a solution of the Standard Conjectures have on the Hodge and Tate Conjectures and reverse?

-
In this Article of Wikipedia says: The Hodge conjecture implies the Lefschetz conjecture and conjecture D (num = hom) for varieties over fields of characteristic zero. Likewise for fields of finite characteristic the Tate conjectures in ℓ-adic cohomology imply the Lefschetz conjecture. – user56558 Jul 29 '14 at 14:56

I think the list on Wikipedia is incomplete:

The Hodge conjecture implies the Lefschetz and Kunneth standard conjectures, as well as conjecture D (for singular cohomology) over fields of characteristic 0.

The Tate conjecture also implies Lefschetz, Kunneth, and conjecture D (for etale cohomology) over all fields (not just characteristic $p$).

The reason is pretty simple. All of these conjectures are about the existence of an algebraic cycle: For the Lefschetz conjecture, a cycle inducing the Lefschetz operator. For the Kunneth conjecture, a cycle inducing the projector. For conjecture D, a cycle pairing nontrivially with a fixed homologically nontrivial cycle. In each case, it is easy to check that there exists a cohomology class with the specified properties which is a Hodge class / Tate class. Hence assuming the Hodge conjecture / Tate conjecture, there is an algebraic cycle as well.

In terms of the reverse implication, as far as I know there is none.

-
This may be silly, but I don't understand your argument for conjecture D. If you have a rational cohomology class pairing nontrivially with an algebraic class, its $(p,p)$ component has the same property, but why should it be rational? In char. 0 this is no problem because the Lefschetz type conjecture + the Hodge index theorem imply conjecture D. But I doubt that the Tate conjecture implies conjecture D. – abx Jul 30 '14 at 4:09
$H^{2i}(X,\mathbb Q_\ell)$ and $H^{2d-2i}(X,\mathbb Q_\ell)$ are dual Galois representations. If we have a cycle class in the first one that gives a cyclotomic subrepresentation, so we get a cyclotomic quotient representation of the other one. I think the Tate conjecture is usually taken to include semisimplicity (or it implies that?), so this gives you a cyclotomic subrepresentation that is dual to the first one. – Will Sawin Jul 30 '14 at 4:30
OK. I have never seen the semi-simplicity included in the statement of the Tate conjecture, but I am not an expert. – abx Jul 30 '14 at 5:59
The Tate conjecture furnishes $\mathbf Q_\ell$-linear combinations of cycles. Is it enough? – ACL Aug 4 '14 at 14:09
@ACL: For the Kunneth conjecture, the cycles we are searching for are idempotents in a certain ring. If upon tensoring with $\mathbf Q_\ell$ an algebra has a certain idempotent, then I believe that before tensoring it has corresponding elements whose eigenvalues are in $\mathbf Q_\ell$, that is, they are in an algebraic number field that splits at $\ell$. Combining all $\ell$ I think we get the desired statement. So maybe one needs Tate at each $\ell$. – Will Sawin Aug 4 '14 at 21:19

The period and Hodge conjectures imply the standard conjectures. Yves andré (Une introduction aux motifs)

-
What relation with the standard conjectures? – abx Aug 4 '14 at 7:28