In Prop. 4.1, p. 87 of the article "Ample vector bundles on curves" (Nagoya Math. J. 43 [1971], 73--89), R. Hartshorne states the following:


*Let $A$ be an abelian variety [over an alg. closed field $k$, say - my assumption]. Let $X$ be a non-singular subvariety of $A$. 
Assume that every curve in $X$ generates $A$. Then the normal bundle $N$ to $X$ in $A$ is ample.*


The proof he provides is based on a criterion of Gieseker for ampleness and boils down to the following statement (X):


*Let $Y$ be a smooth curve over $k$ and let $\phi:Y\to A$ be a $k$-morphism, which is birational onto its image. Suppose that $\phi\_\*(Y)$ generates $A$. 
Then the map $\phi^\*:H^0(A,\Omega\_{A/k})\to H^0(Y,\Omega\_{Y/k})$ is injective.*


Hartshorne does not spell out a proof of (X) but it is likely that he had the following argument in mind:


"Proof": There is a factorisation $Y\to^{i}{\rm Jac}(Y)\to^{g} A$ of $\phi$, where $i$ is the morphism 
of $Y$ into the Jacobian ${\rm Jac}(Y)$ of $Y$ given by the choice of some $k$-point on $Y$ and $g$ exists because the Jacobian is an Albanese variety for $Y$. 
Now $i^\*:H^0({\rm Jac}(Y),\Omega\_{{\rm Jac}(Y)/k})\to H^0(Y,\Omega\_{Y/k})$ is an isomorphism (this is a classical fact) 
and $g^\*:H^0(A,\Omega\_{A/k})\to H^0({\rm Jac}(Y),\Omega\_{{\rm Jac}(Y)/k})$ is injective because the morphism $g$ is a surjective morphism between 
abelian varieties and is thus smooth.


(for this argument when $k={\bf C}$, see for instance Prop. 6.3.10 (p. 30) in R. Lazarsfeld, "Positivity in algebraic geometry. II." Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. No. 49. Springer-Verlag, Berlin, 2004.)


Now the "Proof" given above is apparently flawed, because when ${\rm char}(k)>0$, surjective morphisms between 
abelian varieties are not smooth in general. In fact, I think that (X) is false when ${\rm char}(k)>0$, although I do not have 
a counterexample handy. This is is also suggested by Serre's discussion of Albanese varieties in Exp. 10 of the 
"Séminaire Chevalley" (1958-1959) (see proof of Th. 3).


In fact it seems to me that Hartshorne's Prop. 4.1 is likely to be false when ${\rm char}(k)>0.$


My question is: is there a way to give a characteristic free proof of (X) ? Or are there classical counterexamples to (X) ? 
Is it well-known that Hartshorne's Prop. 4.1 is false when ${\rm char}(k)>0$ ?


I would also like to underline there is no implicit assumption on the characteristic of the base field in Hartshorne's paper. 
This is clear from the formulation of some corollaries of Prop. 4.1 (for instance Cor. 4.3).


Thank you in advance for your help.



On a proposition in Hartshorne's paper "Ample vector bundles on curves"
The assertion (X) is false in any characteristic $p > 0$ for any $Y$ with genus at least 2. (It is true and easy for $Y$ of genus 1, and true and easy and uninteresting for $Y$ of genus 0.) 


To see this, we may and do choose a subgroup scheme $G \subset J := {\rm{Jac}}(Y)$ of the nonzero infinitesimal Frobenius kernel of $J$ such that $G$ is equal to $\alpha\_p$ or $\mu\_p$. Note that the map $q:J \rightarrow J/G =: A$ has tangent mapping with kernel equal to the line ${\rm{Lie}}(G) \subset {\rm{Lie}}(J)$ that is a proper subspace (as the genus is larger than 1). 


For $y\_0 \in Y(k)$, the associated inclusion $i\_{y\_0}:Y \hookrightarrow J$ defined by $y \mapsto \mathscr{O}(y - y\_0)$ carrying $y\_0$ to $0$ yields a line ${\rm{Lie}}(i\_{y\_0})({\rm{T}}\_{y\_0}(Y)) \subset {\rm{Lie}}(J)$, and it is a classical fact that as we vary through such $y\_0$ the resulting lines inside ${\rm{Lie}}(J)$ span this space. In particular, there must be some such $y\_0$ (and hence for all but finitely many $y\_0$, though we won't use this) for which this line is not contained in the proper subspace ${\rm{Lie}}(G)$. Consequently, the composition $q \circ i\_{y\_0}:Y \rightarrow J/G$ carrying $y\_0$ to 0 is injective between tangent spaces at $y\_0$ and $0$. Thus, this map is formally an immersion at $y\_0$, so it is separable onto its image (by smoothness considerations for $Y$ and $J/G$), yet it is also purely inseparable onto its image since $Y$ is closed in $J$ and $q$ is a purely inseparable isogeny, so $Y \rightarrow J/G$ is birational onto its image. 


The pullback map $\Omega^1(J/G) \rightarrow \Omega^1(Y) = \Omega^1(J)$ is dual to the quotient map ${\rm{Lie}}(J) \rightarrow {\rm{Lie}}(J/G)$ that is not surjective
(for dimension reasons, as its kernel ${\rm{Lie}}(G)$ is a nonzero subspace), so this pullback map on global 1-forms is not injective.


