All Questions
6 questions
2
votes
0
answers
168
views
When do we have $\bigoplus_{i + j = n} R^i f_* \mathbb{Q}_\ell \otimes_{\mathbb{Q}_\ell} R^j g_* \mathbb{Q}_\ell \cong R^{i + j} h_* \mathbb{Q}_\ell$?
Milne, Étale Cohomology, theorem 8.5 states the following version of the Künneth formula (in slightly greater generality). Let $\Lambda$ be a finite commutative ring. Let $X, Y, S$ be schemes with $S$ ...
3
votes
1
answer
241
views
Could I get an interpretation for application of Euler characteristics in number theory?
As a beginner who just get in touch with Euler characteristics in this field, could I get some intuition for the arithmetic meaning of Euler characteristics of bounded complexes, for example Selmer ...
5
votes
1
answer
408
views
On universally closed morphisms of reduced schemes
In this question I'd like to examine some properties of universally closed morphisms.
The question is self-contained. It can also be seen as a follow-up to this question.
Let $R$ be a discrete ...
3
votes
1
answer
267
views
Morphism of sites and abelian sheaf cohomology
Let $f : \mathcal{C}\to\mathcal{D}$ be a morphism of sites (see the Stacks Project) with induced morphism of topoi
$$(f^{-1}, f_*) : Sh(\mathcal{D})\to Sh(\mathcal{C}).$$
By assumption, $f^{-1}$ is an ...
2
votes
0
answers
325
views
A question on direct limits of rings, and descent of ideals
Motivated by an étale cohomology calculation I am going to do, here is a question that should have positive and not too hard answer.
Let $A$ be a ring, $A_0$ a ring such that $A_0$ is equipped with ...
2
votes
0
answers
20
views
Cohomology of $\mathbf{G}_a\otimes_{\mathbf{Z}}\mathbf{G}_a$
Let $X$ be a smooth projective variety over a field.
Is $$H^p(X_{Zar},\mathbf{G}_a\otimes_{\mathbf{Z}}\mathbf{G}_a)$$
at all related to $H^p(X_{Zar},\mathbf{G}_a) = H^p(X,\mathcal{O}_X)$ via tensor ...