Which 'well-known' algebraic geometric results do not hold in characteristic 2? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T05:13:01Z http://mathoverflow.net/feeds/question/69631 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/69631/which-well-known-algebraic-geometric-results-do-not-hold-in-characteristic-2 Which 'well-known' algebraic geometric results do not hold in characteristic 2? Jesus Martinez Garcia 2011-07-06T12:42:04Z 2011-07-08T17:09:08Z <p>A <em>smooth</em> curve $X$ in $\mathbb{P}^n$ is strange if there is a point $p$ which lies on all the tangent lines of $X$.</p> <p>Examples are $\mathbb{P}^1$ is strange and so is $y=x^2$ in characteristic $2$. These are in fact all (see Hartshorne IV.3.9).</p> <p>For this reason, in any characteristic we do not use lines to get embeddings in projective space.</p> <p>But this actually has consequences. Many classical theorems in algebraic geometry do not use 'transcendental methods', i.e. the only result they use is that the base field is algebraically closed, and so they can be applied in finite characteristic. Or they cannot?</p> <p>Here is where characteristic $2$ breaks down the standard results. For instance, when embedding blow-ups of $\mathbb{P}^2$ in $\mathbb{P^n}$ we use linear systems of conics and cubics in $\mathbb{P}^2$ to separate the points, but this is not possible in characteristic $2$ (have a look at Beauville IV.4 if you do not know how linear systems can embed spaces). This means that in characteristic 2 we cannot interpret cubic surfaces ni $\mathbb{P}^3$ in terms of blow-ups of the projective plane in 6 points in general position and viceversa.</p> <p>OK, enough intro. My question is: "Are there other examples of results which do not apply in characteristic 2 due to other reasons not involving embeddings in projective space?"</p> <p>Also, I am looking for results that do not hold in low characteristic. i.e. I know that vanishing theorems do not hold in characteristic p in general, but I am looking for pathologies for some but not all finite characteristic (usually 2, or 3).</p> <p>I suspect 'probably yes but not many', since I cannot come up with any, but if it turns out there are lots, maybe I'll make this question community wiki.</p> http://mathoverflow.net/questions/69631/which-well-known-algebraic-geometric-results-do-not-hold-in-characteristic-2/69632#69632 Answer by Francesco Polizzi for Which 'well-known' algebraic geometric results do not hold in characteristic 2? Francesco Polizzi 2011-07-06T12:57:48Z 2011-07-06T12:57:48Z <p>In all characteristic different from $2$ there exists just one family of Enriques surfaces, obtained by the quotient of a smooth $K3$ surface by a base-point free involution. </p> <p>In characteristic $2$, however, there are some new families of Enriques surfaces, sometimes called <em>quasi Enriques surfaces</em> or <em>non-classical Enriques surfaces</em> or <em>(super)singular Enriques surfaces</em>. </p> <p>This is because in characteristic $2$ one can consider not only $\mathbb{Z}/2 \mathbb{Z}$, but also the group schemes $\alpha_2$ and $\mu_2$.</p> <p>See <a href="http://en.wikipedia.org/wiki/Enriques_surface" rel="nofollow">this link</a> or the book by Cossec and Dolgachev "Enriques surfaces" for more details.</p> http://mathoverflow.net/questions/69631/which-well-known-algebraic-geometric-results-do-not-hold-in-characteristic-2/69634#69634 Answer by Ricky for Which 'well-known' algebraic geometric results do not hold in characteristic 2? Ricky 2011-07-06T13:13:57Z 2011-07-06T13:13:57Z <p>In characteristic 2 (and 3) a lot of familiar result about elliptic curves are false (usually not essentially false, but quite different). For example the Weierstrass equation is more complicated.</p> <p>In Silverman's book "The arithmetic of elliptic curves" there is a whole appendix dedicated to this subject.</p> http://mathoverflow.net/questions/69631/which-well-known-algebraic-geometric-results-do-not-hold-in-characteristic-2/69638#69638 Answer by Sándor Kovács for Which 'well-known' algebraic geometric results do not hold in characteristic 2? Sándor Kovács 2011-07-06T15:19:28Z 2011-07-06T15:19:28Z <p>Bertini's theorem says that in characteristic $0$ a general member of a base point free linear system on a smooth variety is smooth. Serre gave an example (see [Hartshorne, Ex.III.10.7] of a linear system with moving singularities in characteristic $2$.</p> http://mathoverflow.net/questions/69631/which-well-known-algebraic-geometric-results-do-not-hold-in-characteristic-2/69646#69646 Answer by Felipe Voloch for Which 'well-known' algebraic geometric results do not hold in characteristic 2? Felipe Voloch 2011-07-06T16:17:50Z 2011-07-06T16:17:50Z <p>Theta characteristics of algebraic curves behave differently in characteristic two, basically because they are closely related to the two-torsion in the Jacobian.</p> http://mathoverflow.net/questions/69631/which-well-known-algebraic-geometric-results-do-not-hold-in-characteristic-2/69661#69661 Answer by Remke Kloosterman for Which 'well-known' algebraic geometric results do not hold in characteristic 2? Remke Kloosterman 2011-07-06T19:22:08Z 2011-07-06T20:00:18Z <ul> <li><p>In characteristic 2 and 3 there are quasi-elliptic fibrations, i.e., a smooth projective surface S together with a morphism to a smooth projective curve C such that each fiber is a cuspidal rational curve.</p></li> <li><p>The Hurwitz bound for the maximal order of the automorphism group of a smooth projective curve of genus at least 2 does not hold in any positive characteristic.</p></li> <li><p>In characteristic 2 there exists unirational surfaces that are not rational.</p></li> </ul> <p>For the first two you use in char 0 at some point that if $f(x)$ is a polynomial in $x$ and $f'(x)$ is zero then the degree of $f$ is zero. To construct actual examples of curves such that the automorphism group has more that 84(g-1) elements you use the existence of Frobenius. For the third example you might argue that the characteristic zero proof uses transcendental methods.</p> http://mathoverflow.net/questions/69631/which-well-known-algebraic-geometric-results-do-not-hold-in-characteristic-2/69665#69665 Answer by Torsten Ekedahl for Which 'well-known' algebraic geometric results do not hold in characteristic 2? Torsten Ekedahl 2011-07-06T20:24:54Z 2011-07-08T17:09:08Z <p>I am not going to add any new examples but suggest a systematic way of looking at examples. If one looks at special phenomena in characteristic $2$ one can classify them as follows (though this division is far from clear cut):</p> <ol> <li>They are really special to positive characteristic and not only characteristic $2$.</li> <li>They are still really really positive characteristic phenomena but they only appear for some numerical invariants that depend on $p$ (normally increasing with $p$) and as $2$ is the smallest prime they appear "earlier" in characteristic $2$ and hence are encountered there first.</li> <li>They are <em>really</em> special to characteristic $2$.</li> </ol> <p>Some examples and their classification:</p> <ol> <li>Here one can look at failure of strong versions of Bertini, for instance a base point free linear system all of whose members are singular (take the $p$'th power of a very ample linear system). This is uniform in $p$ (though if one starts with a characteristic free ample system, the degree will grow as $p$ grows so in that sense it could also be classified under 2).</li> <li>The existence of quasi-elliptic fibrations in characteristic $2$ (and $3$) is an example as the same phenomemena of a regular but non-smooth curve over a non-perfect field exists in all positive characteristics. However, by a result of Tate the genus of such an example is bounded from below by a linear function of $p$ so they appear later and later. However, there is one further complication in that the quasi-elliptic case is of Kodaira dimension $0$ which makes $2$ and $3$ special as all other examples are of general type. This gives an example of overlap between 2) and 3). <p> Another such example is that of Enriques surfaces. On the one hand the Godeaux construction gives examples of smooth surfaces whose fundamental group scheme is any group scheme of order $p$ with various numerical invariants depending on $p$. However, only in characteristic $2$ (and $3$ I think) is it of Kodaira dimension $0$.</li> <li>Here the examples that come to my mind are mostly somehow related to quadratic forms. They themselves of course really behave differently in characteristic $2$ (even purely geometrically) as does the orthogonal group. However, their influence goes further, for instance that theta characteristics behave differently in characteristic $2$ can be traced back to quadratic forms.</li> </ol> <p><b>Addendum</b>: To test my claim I went through the answers given so far and tried to classify as per above. Most of them are already mentioned above but two are not. First there is Jeremy's comment on torsion in $1+p\mathbb Z_p$ which on the face of it belongs to category 3). However, it is clearly related to $p$-adic radius of convergence of the logarithm and exponential series and that radius grows as $p$ grows. Hence, for absolutely ramified rings you can get the same phenomenon in all characteristics, what is special with $2$ is that it happens in the absolutely unramified. Note also that though the consequence mentioned by Jeremy is more arithmetic than algebro-geometric there are consequences of the latter type. Certainly, mixed characteristic ones such as the structure of finite group schemes but also for crystalline issues (technically the divided power structure on $2\mathbb Z_2$ is not nilpotent).</p> <p>Sándor's example of failure of Kodaira vanishing is mostly of type 1) but the examples usually have $p$ as a parameter in numerical characters making it partly of type 2). There is even the fact that there are a few minimal surfaces of general type in characteristic $2$ (but in no other characteristic) for which $H^1(X,\omega_X^{-1})\ne 0$ which technically is of type 3). </p> http://mathoverflow.net/questions/69631/which-well-known-algebraic-geometric-results-do-not-hold-in-characteristic-2/69684#69684 Answer by Sándor Kovács for Which 'well-known' algebraic geometric results do not hold in characteristic 2? Sándor Kovács 2011-07-07T00:24:00Z 2011-07-07T00:24:00Z <p>I've just realized that no one mentioned Kodaira vanishing. Of course it is not particular to char $2$ and there are versions that work, but the original statement fails in char $p$.</p> http://mathoverflow.net/questions/69631/which-well-known-algebraic-geometric-results-do-not-hold-in-characteristic-2/69687#69687 Answer by Jeremy Teitelbaum for Which 'well-known' algebraic geometric results do not hold in characteristic 2? Jeremy Teitelbaum 2011-07-07T01:07:55Z 2011-07-07T01:07:55Z <p>The multiplicative group $1+p\mathbb{Z}_p$ is torsion free for all $p>2$, but not for $p=2$. </p> <p>This, for example, causes $p=2$ to require special treatment throughout Iwasawa theory.</p> http://mathoverflow.net/questions/69631/which-well-known-algebraic-geometric-results-do-not-hold-in-characteristic-2/69775#69775 Answer by roy smith for Which 'well-known' algebraic geometric results do not hold in characteristic 2? roy smith 2011-07-08T07:52:25Z 2011-07-08T07:52:25Z <p>there are probably more results that are simply not known in characteristic 2. I am guilty of not deciding some results in that case, such as the paper Comp.Math. 1990. pp.367 ff. As I recall in this case it was a matter of not having a Taylor series in degree two, because we could not divide by 2. I apologize, but after all that work, I was satisfied with a result valid in all characteristics ≥ 3.</p> http://mathoverflow.net/questions/69631/which-well-known-algebraic-geometric-results-do-not-hold-in-characteristic-2/69780#69780 Answer by Tommaso Centeleghe for Which 'well-known' algebraic geometric results do not hold in characteristic 2? Tommaso Centeleghe 2011-07-08T09:01:40Z 2011-07-08T09:01:40Z <p>If $E$ is an elliptic curve over a finite field $k$ of characteristic $p>3$, then the group homomorphism ${\rm Aut}_k(E)\rightarrow k^*$ sending an automorphism of $E$ to its effect on the tangent space at $O_E$ is injective.</p> <p>This can be seen (quite easily) using that the degree map $d:{\rm End}_k(E)\rightarrow \mathbf{Z}$ is a positive definite quadratic form (for a precise definition see Silverman p. 88), thus satisfies $d(a+b)\leq d(a)+d(b)+2\sqrt{d(a)d(b)}$, for all $a,b\in {\rm End}_k(E)$.</p> <p>If now $u\in {\rm Aut}_k(E)$ acts as the identity on the tangent space at $O_E$, then the endomorphism $1-u$ is either zero or it is an inseparable isogeny. In both cases $p$ divides $d(1-u)$. Setting $a=1$, $b=u$ in the previous inequality we see that $d(1-u)\leq 4$ and hence $d(1-u)=0$, and $u=1$ (since $p>3$).</p> <p>In char $2$ and $3$ there are elliptic curves with automorphism groups that are not cyclic (even not abelian), thus they cannot be embedded in $k^*$. This different behavior of the primes $2$ and $3$ is perhaps due to the fact that they are "archimedeanly" small.</p>