10
$\begingroup$

I am looking for a proof for the following statement

A smooth projective variety $X$ has maximal Albanese dimension if and only if the cotangent bundle of $X$ is generically generated by its global sections, that is,$$ H^0(X,\Omega_X^1)\otimes\mathcal O_X\to \mathcal \Omega_X^1$$ is surjective at the generic point of $X$.

$\endgroup$

1 Answer 1

10
$\begingroup$

In characteristic $0$ that follows from Sard's theorem / generic smoothness. In characteristic $p$, I believe that this is false (I still need to check how double point singularities, $\text{Zero}(x_1^2 + \dots + x_{n-1}^2+x_n^2 + x_{n+1}^p)$, affect the cotangent sheaf).

Characteristic 0.In characteristic $0$, the map of sheaves above is the pullback map, $$d(\text{alb}_X)^\dagger: \text{alb}_X^*\Omega_{\text{Alb}_X/k} \to \Omega_{X/k}.$$ Since the Albanese morphism from $X$ to its image, $\text{alb}_X(X)$, is generically smooth, the dimension of the image equals the rank of $d\text{alb}_X^\dagger$ at a generic point of $X$.

Positive characteristic. However, this seems to be false in positive characteristic. Here is an e-mail that I wrote a few years ago about positive characteristic counterexamples to a similar question. I added some TeX formatting to the e-mail.

"Dear Chris,

I saw Davesh today, and we talked more about the issue we were discussing on Friday regarding purely inseparable covers of Abelian varieties. I now believe that there are serious problems whenever the dimension is $> 1.$ Let $k$ be an algebraically closed field of characteristic $p > 0$. Let $A$ be an Abelian variety of dimension $g > 1$. For a "generic" element $f$ in $k(A)$, the corresponding rational transformation $f : A \dashrightarrow \mathbb{P}^1$ "regularizes" on a blowing up, $u : A' \to A$, such that $A'$ is smooth over $k$. Now consider the following Cartesian diagram, $$ \begin{array}{rrl} X & \xrightarrow{i} & A' \\ g~\downarrow & & \downarrow~f \\ \mathbb{P}^1 &\xrightarrow{F}& \mathbb{P}^1\end{array}$$ where the bottom horizontal $k$-morphism $\mathbb{P}^1 \to \mathbb{P}^1$ is the arises from the Frobenius morphism . The purely inseparable morphism to consider is $i$.

The issue is this: for $f$ generic, the "critical" points of $f$ are just finitely many ordinary double points (I am assuming that $p$ is different from $2$). If $\text{dim}(A) = 1$, then the points of $X$ above such critical points are non-normal. When you normalize, then $X$ is smooth, and your previous argument is valid, i.e., $X$ is an elliptic curve. However, if $\text{dim}(A) > 1$, then the points of $X$ above these finitely many critical points are, in fact, already normal. Thus, $X$ is normal yet singular. So $X$ cannot be an Abelian variety.

Best regards,

Jason"

By construction, the morphism $i$ is finite. Thus, $X$ has maximal Albanese dimension. By construction $H^0(A',\Omega_{A'/k})$ generically generates $\Omega_f$, and thus the $i$-pullback also generically generates $\Omega_g$. If the dimension of the Albanese of $X$ were strictly greater than $\text{dim}(A)$, then there would be more etale $\ell$-sheeted covers of $X$ than there are of $A$, for $\ell$ prime to the characteristic. Yet, since $i$ is purely inseparable, the pullback map on etale fundamental groups is an isomorphism. If the Albanese morphism of $X$ were different from $i$, it would be a generically finite morphism that factors $i$. Since $i$ has prime degree $p$, that is impossible. Thus, $i$ is the Albanese morphism.

Since $i$ is purely inseparable, the rank of $d(\text{alb}_X)^\dagger$ at a general point is at most $\text{dim}(A)-1$. Finally, since $\Omega_i$ is the pullback of $\Omega_F$, i.e., the pullback of $\mathcal{O}_{\mathbb{P}^1}(-2)$, there are no nonzero global sections of $\Omega_i$. Thus, from the usual exact sequence, $$0 \to \text{Image}(d(\text{alb}_X)^\dagger) \to \Omega_{X/k} \to \Omega_i \to 0,$$ it follows that the rank of the following sheaf homomorphism at a general point of $X$ equals $\text{dim}(A)-1$, $$H^0(X,\Omega_{X/k})\otimes_k \mathcal{O}_X \to \Omega_{X/k}.$$

$\endgroup$
0

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .