Skip to main content
MathOverflow

Return to Question

Notice removed Draw attention by CommunityBot
Bounty Ended with no winning answer by CommunityBot
Notice added Draw attention by tttbase
Bounty Started worth 50 reputation by tttbase
added 948 characters in body
Source Link
Dan Petersen
Dan Petersen
  • 40.2k
  • 2
  • 114
  • 201

In Grothendieck's letter to Faltings, he writes

There exists at this time a kind of “yoga des motifs”, which is familiar to a handful of initiates, and in some situations provides a firm support for guessing precise relations, which can then sometimes be actually proved in one way or another (somewhat as, in your last work, the statement on the Galois action on the Tate module of abelian varieties). It has the status, it seems to me, of some sort of secret science – Deligne seems to me to be the person who is most fluent in it. His first [published] work, about the degeneration of the Leray spectral sequence for a smooth proper map between algebraic varieties over $\mathbf C$, sprang from a simple reflection on “weights” of cohomology groups, which at that time was purely heuristic, but now (since the proof����proof of the Weil conjectures) can be realised over an arbitrary base scheme.

Just what is this "simple reflection on 'weights' of cohomology groups" that he's referring to?? The proof in Deligne's paper doesn't use weights at all, but the relative version of the hard Lefschetz theorem.

Often when people say that a certain spectral sequence degenerates because of a weight argument, they mean that all differentials past a certain page go between cohomology groups of different weights. But this is not the case here: we can certainly today put a mixed Hodge structure and a weight filtration on all the terms in the sequence $$ H^p(Y,R^qf_\ast \mathbf Q) \implies H^{p+q}(X,\mathbf Q)$$ (using Saito's theory of mixed Hodge modules), and if $f$ is smooth and proper then $R^qf_\ast \mathbf Q$ is a VHS pure of weight $q$. Even then, this does not imply anything about the weight filtration on $H^p(Y,R^qf_\ast \mathbf Q)$ unless we put more assumptions on $Y$ (and in Deligne's result $Y$ is arbitrary). If we in addition assume $Y$ to be smooth and proper then $E_2^{pq}$ is pure of weight $p+q$ and the spectral sequence will indeed degenerate for formal weight reasons, but surely this is not what Grothendieck is referring to?

In Grothendieck's letter to Faltings, he writes

There exists at this time a kind of “yoga des motifs”, which is familiar to a handful of initiates, and in some situations provides a firm support for guessing precise relations, which can then sometimes be actually proved in one way or another (somewhat as, in your last work, the statement on the Galois action on the Tate module of abelian varieties). It has the status, it seems to me, of some sort of secret science – Deligne seems to me to be the person who is most fluent in it. His first [published] work, about the degeneration of the Leray spectral sequence for a smooth proper map between algebraic varieties over $\mathbf C$, sprang from a simple reflection on “weights” of cohomology groups, which at that time was purely heuristic, but now (since the proof���� of the Weil conjectures) can be realised over an arbitrary base scheme.

Just what is this "simple reflection on 'weights' of cohomology groups" that he's referring to?? The proof in Deligne's paper doesn't use weights at all, but the relative version of the hard Lefschetz theorem.

In Grothendieck's letter to Faltings, he writes

There exists at this time a kind of “yoga des motifs”, which is familiar to a handful of initiates, and in some situations provides a firm support for guessing precise relations, which can then sometimes be actually proved in one way or another (somewhat as, in your last work, the statement on the Galois action on the Tate module of abelian varieties). It has the status, it seems to me, of some sort of secret science – Deligne seems to me to be the person who is most fluent in it. His first [published] work, about the degeneration of the Leray spectral sequence for a smooth proper map between algebraic varieties over $\mathbf C$, sprang from a simple reflection on “weights” of cohomology groups, which at that time was purely heuristic, but now (since the proof of the Weil conjectures) can be realised over an arbitrary base scheme.

Just what is this "simple reflection on 'weights' of cohomology groups" that he's referring to?? The proof in Deligne's paper doesn't use weights at all, but the relative version of the hard Lefschetz theorem.

Often when people say that a certain spectral sequence degenerates because of a weight argument, they mean that all differentials past a certain page go between cohomology groups of different weights. But this is not the case here: we can certainly today put a mixed Hodge structure and a weight filtration on all the terms in the sequence $$ H^p(Y,R^qf_\ast \mathbf Q) \implies H^{p+q}(X,\mathbf Q)$$ (using Saito's theory of mixed Hodge modules), and if $f$ is smooth and proper then $R^qf_\ast \mathbf Q$ is a VHS pure of weight $q$. Even then, this does not imply anything about the weight filtration on $H^p(Y,R^qf_\ast \mathbf Q)$ unless we put more assumptions on $Y$ (and in Deligne's result $Y$ is arbitrary). If we in addition assume $Y$ to be smooth and proper then $E_2^{pq}$ is pure of weight $p+q$ and the spectral sequence will indeed degenerate for formal weight reasons, but surely this is not what Grothendieck is referring to?

Source Link
Dan Petersen
Dan Petersen
  • 40.2k
  • 2
  • 114
  • 201

Grothendieck's letter to Faltings: On the yoga of motives and the degeneration of Leray spectral sequence

In Grothendieck's letter to Faltings, he writes

There exists at this time a kind of “yoga des motifs”, which is familiar to a handful of initiates, and in some situations provides a firm support for guessing precise relations, which can then sometimes be actually proved in one way or another (somewhat as, in your last work, the statement on the Galois action on the Tate module of abelian varieties). It has the status, it seems to me, of some sort of secret science – Deligne seems to me to be the person who is most fluent in it. His first [published] work, about the degeneration of the Leray spectral sequence for a smooth proper map between algebraic varieties over $\mathbf C$, sprang from a simple reflection on “weights” of cohomology groups, which at that time was purely heuristic, but now (since the proof���� of the Weil conjectures) can be realised over an arbitrary base scheme.

Just what is this "simple reflection on 'weights' of cohomology groups" that he's referring to?? The proof in Deligne's paper doesn't use weights at all, but the relative version of the hard Lefschetz theorem.