12
$\begingroup$

Let $X$ be a smooth projective curve of genus $g>1$ over an algebraically closed field $k$ of characteristic $p>0$. Let $\alpha_{p}$ be the group scheme of the kernel of $F: \mathbb{G}_{a} \rightarrow \mathbb{G}_{a}$, where $F$ denotes the Frobenius. It is well-know that $H_{fppf}^{1}(X, \alpha_{p})$ is the kernel of Cartier operator on $H^{0}(X,\Omega^{1}_{X,d=0})$.

Is $H_{fppf}^{1}(X, \alpha_{p})$ a finite group? If not, what is the dim$_{k}H_{fppf}^{1}(X, \alpha_{p})$? What is the relationship between $H_{fppf}^{1}(X, \alpha_{p})$ and the $p$-rank of $X$?

$\endgroup$
  • 2
    $\begingroup$ By Cartier duality, $H^1_{fppf}(X,\alpha_p)$ should be the same as the group of morphisms of group schemes $\alpha_p\to \text{Pic}_{X/k}$. $\endgroup$ – Jason Starr Jan 1 '16 at 8:39
  • 1
    $\begingroup$ And since $\operatorname{Pic}_{X/k}[p]\simeq \left( \mathbb Z /p \right)^h \times \left(\mu_p\right)^h \times \left(\alpha_p\right)^{2(g-h)}$, where $h$ is the $p$-rank, if I am correct, we are almost done. $\endgroup$ – Niels Jan 1 '16 at 8:47
  • $\begingroup$ @Niels: So, $(\mathbb{Z}/p\mathbb{Z})^{2(g-r)}$ ? $\endgroup$ – kiseki Jan 1 '16 at 8:59
15
$\begingroup$

Lemma. Let $k$ be a perfect field of characteristic $p > 0$, and let $X$ be a reduced $k$-variety. Then $H^i(X_{\operatorname{fppf}},\alpha_p)$ is a $k$-vector space. In particular, it can only be finite if it is $0$ or if $k$ is finite.

Proof. Consider the short exact sequence \begin{equation} 0\to \alpha_p \to \mathbb G_a \stackrel{(-)^p}\to \mathbb G_a \to 0\tag{1} \end{equation} on $X_{\operatorname{fppf}}$. Let $f \colon X_{\operatorname{fppf}} \to X_{\operatorname{\acute et}}$ be the natural map. Then $R^if_* \mathbb G_a = 0$ for $i > 0$, since $\mathbb G_a$ is a smooth group scheme (see for example Milne's Étale Cohomology book, Theorem III.3.9). It follows that $$R^if_* \alpha_p = 0$$ for $i \geq 2$. On the other hand, $f_* \alpha_p = 0$, since $X$ is reduced. Hence, the Leray spectral sequence $$E_2^{p,q} = H^p(X_{\operatorname{\acute et}},R^qf_*(\alpha_p)) \Rightarrow H^{p+q}(X_{\operatorname{fppf}},\alpha_p)$$ collapses on the $E_2$ page, and we find $$H^i(X_{\operatorname{fppf}},\alpha_p) = H^{i-1}(X_{\operatorname{\acute et}},R^1f_*\alpha_p).$$ But $R^1f_*\alpha_p$ sits in a short exact sequence \begin{equation} 0 \to \mathcal O_X \stackrel{(-)^p}\to \mathcal O_X \to R^1f_*\alpha_p \to 0.\tag{2} \end{equation} If $F \colon X \to X$ denotes the absolute Frobenius, then $F$ is a homeomorphism on the underlying spaces. Moreover, $F_*\mathcal O_X \cong \mathcal O_X$ as abelian sheaves (even on $X_{\operatorname{\acute et}}$) (but not as sheaves of $\mathcal O_X$-modules!). Thus, we can rewrite (2) as $$0 \to \mathcal O_X \stackrel {F^\#}\to F_*\mathcal O_X \to R^1f_* \alpha_p \to 0,$$ where the map $F^\# \colon \mathcal O_X \to F_* \mathcal O_X$ is just the map of rings corresponding to $F \colon X \to X$. This is an $\mathcal O_X$-linear map, so $R^1f_* \alpha_p$ is a coherent sheaf of $\mathcal O_X$-modules, thus its cohomology is a $k$-vector space. $\square$

Remark. Some texts use the relative Frobenius instead, but since $k$ is perfect I think it is harmless to identify $X$ with $X^{[p]}$, the pullback along the geometric Frobenius on $\operatorname{Spec} k$.

Remark. If $X$ is projective, then the same argument shows that $H^1(X,\alpha_p)$ is a finite-dimensional $k$-vector space.

If $X$ is projective and geometrically integral, then $H^0(X,\mathcal O_X) = k$. Since $k$ is perfect, (1) now gives an inclusion $H^1(X_{\operatorname{fppf}},\alpha_p) \subseteq H^1(X,\mathcal O_X)$.

On the other hand, if $X = \mathbb A^1$, then we get $$H^1(X,\alpha_p) = k[x]/k[x]^p \cong \bigoplus\limits_{\substack{m \geq 0\\p \nmid m}} k \cdot x^m,$$ which is infinite-dimensional.

Remark. On the other hand, the short exact sequence on the flat site $$0 \to \alpha_{p^n} \to \mathcal O_X \stackrel{F^n}\to \mathcal O_X \to 0$$ realises $H^1_{\operatorname{fppf}}(X, \alpha_{p^n})$ as the kernel of the map $H^1(X, \mathcal O_X) \to H^1(X, \mathcal O_X)$ induced by the $n$-th power of Frobenius.

We can think of $H^1(X,\mathcal O_X)$ as the $p$-Lie algebra of the Picard scheme, and I believe that the Frobenius on this space corresponds to the $p$-th power operation of the $p$-Lie algebra (Mumford's Abelian Varieties proves this when $X$ is an abelian variety [Thm 15.3], and I think the case for curves should follow by embedding into the Jacobian).

Relation with the $p$-rank. In [loc. cit.], Mumford shows that the $p$-rank $r$ is the dimension of the semisimple part of $H^1(X,\mathcal O_X)$ with respect to the Frobenius, and $g - r$ is the nilpotent part. It seems that therefore $g - r$ must equal the dimension of $H^1_{\operatorname{fppf}}(X, \alpha_{p^n})$ as $n \to \infty$; note that this is bounded since all are contained in $H^1(X, \mathcal O_X$).

Remark. A somewhat weird way of looking at $\alpha_{p^n}$: as above, if $f \colon X_{\operatorname{fppf}} \to X_{\operatorname{\acute et}}$ is the natural 'inclusion', then $$R^if_* \alpha_{p^n} = \left\{\begin{array}{ll} \operatorname{coker}(\mathcal O_X \stackrel{F^n}\to (F_X^n)_* \mathcal O_X), & i = 1,\\ 0, & i \neq 1. \end{array}\right.$$ Here, the map $F^n$ is $\mathcal O_X$-linear. Thus, $R^1f_* \alpha_{p^n}$ is a coherent sheaf $\mathscr F$ of $\mathcal O_X$-modules, which can easily be seen to be locally free of rank $p^{n \dim X} - 1$ (if $X$ is smooth). Thus, we can think of (the sheaf) $\alpha_{p^n}$ as being like $\mathscr F[-1]$, at least in the sense that $$H^i_{\operatorname{fppf}}(X, \alpha_{p^n}) = H^{i-1}(X, \mathscr F) = H^i(X, \mathscr F[-1]),$$ where the right hand side can be taken with respect to your favourite topology (Zariski, étale, fppf, etc.), since $\mathscr F$ is coherent.

However, $\alpha_{p^n}$ and $\mathscr F[-1]$ are not actually isomorphic in the derived category (consider sections on an infinitesimal thickening of $X$), but they become isomorphic after pushing forward to the étale site.

Remark. Happy new year!

$\endgroup$
  • $\begingroup$ @van Dobben de Bruyn: Does this mean $H^{1}_{fppf}(X, \alpha_{p})$ is not a finite group ? $\endgroup$ – kiseki Jan 1 '16 at 8:52
  • $\begingroup$ Right; it's a finite-dimensional $k$-vector space. Since $k$ is algebraically closed, it's therefore infinite (unless it's $0$). $\endgroup$ – R. van Dobben de Bruyn Jan 1 '16 at 8:59
  • $\begingroup$ @van Dobben de Bruyn: Thanks! Happy new year! $\endgroup$ – kiseki Jan 1 '16 at 9:45

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.