Skip to main content
2 of 5
added two tags

Finiteness of etale cohomology for arithmetic schemes

By an arithmetic scheme I mean a finite type flat regular integral scheme over $\mathrm{Spec} \, \mathbb{Z}$.

Let $X$ be an arithmetic scheme and $n \in \mathbb{N}$. Then is $H_{et}^2(X,\mathbb{Z}/n\mathbb{Z})$ finite?

Remarks: Let $j:U \to X$ be the open subset given by removing the fibres of $X \to \mathrm{Spec} \, \mathbb{Z}$ lying above those primes dividing $n$.

  1. I can easily show that $H_{et}^1(X,\mathbb{Z}/n\mathbb{Z})$ is finite. For example, it follows from the Leray spectral sequence that $H_{et}^1(X,\mathbb{Z}/n\mathbb{Z}) \to H_{et}^1(U,\mathbb{Z}/n\mathbb{Z})$ is injective, and the latter group is finite by a special case of [1, Proposition II.7.1].
  2. If $n$ invertible on $X$, then the answer is yes and this again a special case of [1, Proposition II.7.1]. So I'm interested in the case where $n$ is not invertible on $X$. (In particular, this shows that $H_{et}^2(U,\mathbb{Z}/n\mathbb{Z})$ is finite).
  3. If $\dim X = 1$ then the answer if yes by [1,Theorem II.3.1].
  4. Another application of the Leray spectral sequence argument shows that is suffices to show that $H^0(X, R^1j_* \mathbb{Z}/n\mathbb{Z})$ is finite, but I don't see why this should be the case.
  5. The analogous question concerning finiteness of $H_{et}^i(X,\mathbb{Z}/n\mathbb{Z})$ is also interesting, but for my application I only need the case $i = 2$.

References:

[1] Milne - Arithmetic duality theorems.

Daniel Loughran
  • 21.4k
  • 3
  • 46
  • 136