Skip to main content
2 of 2
added 143 characters in body
SashaP
  • 7.4k
  • 1
  • 31
  • 46

Let $k$ be a field of characteristics $p$ and $R$ be any ring where $p$ is not invertible.

Asuume that $F:Var_{k}\to D(R-mod)$ is a cohomology theory of smooth algebraic varieties over the field $k$ with values in $R$-modules that satisfies etale descent and has $F^0(\mathrm{Spec}\,k)=R[0]$ such that for any geometrically connected variety $X$ the structure morphism induces an isomorphism $R=F^0(\mathrm{Spec}\,k)\simeq F^0(X)$(these assumptions are satisfied for crystalline cohomology with torsion-free coefficients, e.g. over $W(\bar{k})$). Then at least one of the modules $F^1(\mathbb{A}^1_k)$ and $F^2(\mathbb{A}^1_k)$ must be non-zero.

Indeed, consider the etale Artin-Schreier $\mathbb{Z}/p$-cover given by $\mathbb{A}^1\to\mathbb{A}^1,t\mapsto t^p-t$ (a generator of the cyclic group acts by $t\mapsto t+1$). The Hoschschild-Serre spectral sequence looks like(group cohomology is taken in the category of $R$-modules)$$E_2^{i,j}=H^i(\mathbb{Z}/p,F^j(\mathbb{A}^1))\Rightarrow F^{i+j}(\mathbb{A}^1)$$ If $F^1(\mathbb{A}^1)=0$ then there is an injection(there are no differentials that could touch this term) $H^2(\mathbb{Z}/p,F^0(\mathbb{A}^1))=E^{2,0}_2\hookrightarrow F^2(\mathbb{A}^1)$. But we've assumed that $F^0(\mathbb{A}^1)=R$ with any automorphism acting trivially, so $H^2(\mathbb{Z}/p,F^0(\mathbb{A}^1))=R/p\neq 0$ hence $F^2(\mathbb{A}^1)$ is non-zero.

SashaP
  • 7.4k
  • 1
  • 31
  • 46