One of the standard conjectures in algebraic geometry is that an operator $\Lambda$ on the cohomology algebra of a projective variety is algebraic. To my lying eyes it looks like there are two definitions of the operator $\Lambda$ out there and that the two don't agree.


On the algebraic side, let $X$ be a projective variety of dimension $n$, equipped with the first Chern class $w$ of an ample line bundle $A$. We then get a Lefschetz operator on cohomology by setting $L u = u \wedge w$ for a class $u \in H^\*(X)$. Because of the Lefschetz theorems we can define another operator $\Lambda\_a u = (L^{n-k+2})^{-1} \circ L \circ L^{n-k}$ on $k$-classes $u$ when $k \leq n$ (when $k > n$ there's a similar definition that doesn't matter here). By definition this operator satisfies $\Lambda\_a L = \operatorname{id}$.


On the geometric side, let $X$ be a compact Kahler manifold of dimension $n$, equipped with a Kahler metric $\omega$. (If the cohomology class of $\omega$ is entire then it is the curvature form of an ample line bundle on $X$ and everything is algebraic.) As before we get a Lefschetz operator on forms and cohomology by setting $L\_g u = u \wedge \omega$. The metric $\omega$ also defines a Hodge star operator $\*$ that operates on forms, which defines an inner product on forms, and the adjoint of $L$ with respect to that inner product is $\Lambda\_g$. The Kahler identities say (amongst other things) that $[L,\Lambda\_g]\,u = (k-n) u$ for a $k$-form $u$. These operators descend to the cohomological level, either by representing cohomology classes by harmonic forms or by working out purely cohomological definitions of the operators from primitive decompositions of cohomology classes (that the two agree necessarily passes through harmonic representatives).


Now, to me these definitions do not agree. For one, the commutation identity $[L,\Lambda\_g]\,u = (k-n) u$ on the geometric side is incompatible with $\Lambda\_a L = \operatorname{id}$ on the algebraic side. I don't think this difference is just a matter of overcoming not having all of Hodge theory in arbitrary characteristic; if we have primitive decompositions of classes we can define the $\*$ and $\Lambda$ operators just fine on cohomology without reference to differential forms, which I would think is what we'd want to do if we wanted to emulate Hodge theory on Kahler manifolds in the algebraic world. Apparently the people who defined these things (Grothendieck and co. I imagine) didn't agree.


Why not? Why is one of the standard conjectures stated in terms of an operator that doesn't seem to be used in the classical world?



Why don't the algebraic and geometric adjoints of the Lefschetz operator agree?
In addition to Kleiman's "Algebraic cycles and the Weil conjectures" mentioned by abx, I can highly recommend reading the first article in the Motives proceedings (Jannsen/Kleiman/Serre) by Kleiman: "The standard conjectures".


It introduces several $\Lambda$ and $\star$ operators, and shows that when one is algebraic, then so are the others. Further, it shows implications to weaker conjectures, such as algebraicity of the Künneth projectors.


