Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
user avatar
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 ...
Rellw's user avatar
  • 319
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 ...
Ari's user avatar
  • 181
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$ ...
Bma's user avatar
  • 531
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 ...
user avatar
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 ...
user avatar