Let me recall the Standard Conjecture B (see [1,2] below):



> 
> The $\Lambda$-operation of Hodge theory is algebraic.
> 
> 
> 


It more or less says that the partial inverse to “cupping with the class of a hyperplane” comes from an algebraic cycle. This is true, for example, for abelian varieties.


**Question**


On the fifth page of his article on the Standard Conjectures [2] (page 197 of the journal) in the second paragraph from the top Grothendieck writes:



> 
> I have an idea of a possible approach to Conjecture $B$, which relies in turn on certain unsolved geometric questions, and which should be settled in any case.
> 
> 
> 


**Q1:** Did Grothendieck write/speak anywhere else about this idea? Did he work it out?


**Q2:** What are the “unsolved geometric questions” that he mentions? What is the status of these questions?




---


**References**


1. <https://en.wikipedia.org/wiki/Standard_conjectures_on_algebraic_cycles>
2. <http://www.math.jussieu.fr/~leila/grothendieckcircle/StandardConjs.pdf>



On Grothendieck's idea on his Standard Conjecture B
My guess is that he was thinking about **crystalline cohomology**.


It fits rather nicely in Grothendieck research at that time. He had obviously in mind the success of Dwork's p-adic approach to the Weil conjectures, and the limitations of the other cohomologies avaible at the time (see sections 1.5 to 1.8 of "Crystals and the de Ram cohomology of schemes").


The standard conjectures were worked out in 1965 (according to Grothendieck's 1968 paper), so he had to have them in mind while working on his p-adic cohomology, that he presented to Bourbaki on december 1966. He then gave it to his student Pierre Berthelot to develop. The intro of the Bourbaki notes reads:



> 
> The content of the notes are by no means intended to be a complete
> theory. Rather, they outline the start of a program of work which has
> still not been carried out (\*).
> 
> 
> (\*) For a more detailed exposition and progress in this direction, we
> refer to the work of P. Berthelot, to be developped presumably in SGA
> 8.
> 
> 
> 


Berthelot's complete exposition was not presented as SGA 8, but as in independient work in 1974. So even if the cohomology was ready long before that, Grothendieck had to regard it as unsolved in 1968, when he wrote about the standard conjectures. It is also reasonable to imagine that he had hopes at those early stages for crystalline cohomology to be an important tool in the yoga of motives.


Again, this is just a guess. I'm not sure that he would refer to this as "unsolved geometric questions" (perhaps in the sense of its aplication to Hodge/Betti coefficients?). Maybe someone who knows more about all of this can add some details.


**Some relevant references:**


"[On the de Rham cohomology of algebraic varieties](http://archive.numdam.org/ARCHIVE/PMIHES/PMIHES_1966__29_/PMIHES_1966__29__95_0/PMIHES_1966__29__95_0.pdf)" (Grothendieck, written in 1963)


"[Crystals and the de Rham cohomology of schemes](http://webusers.imj-prg.fr/%7Eleila.schneps/grothendieckcircle/DixExp.pdf)" pp. 254-306 (Grothendieck, written in 1966)


"[Letter to Tate](https://agrothendieck.github.io/divers/LGT66scan.pdf)" (Grothendieck, written in 1966)


