## What are supersingular varieties?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

For varieties over a field of characteristic $p$, I saw people talking about supersingular varieties.

I wanted to ask "why are supersingular varieties interesting". However, as I don't want to ask an MO question with no background/context I thought I'd better define what a supersingular variety is. Unfortunately I can't. (And search engine doesn't help...) Can anyone here help me with this and explain why they are interesting?

A little bit more context: I have seen the definition of supersingular elliptic curves on textbooks by Hartshorne and Silverman. When I read about abelian varieties I saw "for abelian varieties of $\text{dim}>2$ being supersingular $\neq p$ rank being 0".

Illusie mentioned (in the "Motives" volume) that for $X$ a variety over a perfect field of characteristic $p$, $X$ is said to be ordinary if "$H_\text{cris}^*(X/W(k))$ has no torsion and $\text{Newt}_m(X)=\text{Hdg}_m(X)$ for all $m$". My guess is being supersingular should correspond to the other extreme, but what precisely is it? ($\text{Newt}_m(X)$ being a straight line for all $m$?)

-

5
I am not sure if there is a general definition. Your guess that it should mean that $\mathrm{Newt}_m(X)$ should be a straight line for all $m$ is right for abelian varieties and also K3 surfaces. But note that with this definition $\mathbb{P}^n$ would be supersingular, which sounds a bit odd since it is also ordinary (according to Illusie's definition that you mention). – ulrich May 2 2012 at 9:24
I have only seen the word "supersingular" attached to abelian varieties and K3 surfaces. This suggests that a condition like triviality of the canonical bundle makes the homological condition interesting, but I don't know why. – S. Carnahan♦ May 2 2012 at 9:56
The standard definition for Calabi-Yau varieties is that the height of the Artin-Mazur formal group is infinite, i.e. is $\hat{\mathbb{G}_a}$. Ordinary Calabi-Yau varieties have height 1, so it could be seen as the other extreme. – Matt May 3 2012 at 19:08

## 3 Answers

Not an answer, but some historical context (which I think is correct). An elliptic curve over $\mathbb{C}$ used to be called "singular" if its endomorphism ring was larger than $\mathbb{Z}$, i.e., what we now call having complex multiplication. Presumably this use of the word singular was to indicate that the curve was unusual. Then, when people looked at elliptic curves over finite fields, the found that some of them had endomorphism rings that were even larger than an order in a quadratic imaginary field, so those curves were "supersingular" in the sense of being even more unusual. Of course, it turns out that an alternative way to characterize those curves is as having no $p$-torsion (over the algebraic closure of their base field).

-

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

This doesn't really answer your question. But I think you might find these comments interesting (even though I might not be saying anything you don't know).

By a theorem of Mazur-Ogus (Katz' conjecture) the $m$-dimensional Newton polygon of a variety lies above or is equal to its $m$-dimensional Hodge polygon.

A variety is ordinary if these polygons are equal (for all $m$).

For abelian varieties the $m=1$ case suffices and you see that an abelian variety is ordinary iff it is ordinary in the usual sense.

By a theorem of Grothendieck-Katz most varieties are ordinary. This is stated more precisely also in Illusie's paper you mention.

You should take a look at Mazur's beautiful paper on Katz' conjecture.

http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.bams/1183533965

Let me also talk about another nice subject which has to do with Newton polygons and supersingular varieties. Namely, "constructing" varieties with given Newton polygon.

If you stick to the case of curves there are many open questions (to my knowledge). For example, Mazur asks in loc. cit. (page 659) if all five different possible Newton polygons arising from a smooth projective curve of genus $3$ allowed by the restraint of Poincaré duality really arise from some curve or not. I don't know if this question has been answered by now (and let me add that it might actually be answered by now).

I can't really tell you anything else on supersingular varieties. It does seem to be a nice sport to look at "strata" in the moduli spaces of abelian varieties (=Shimura varieties). For example, every "symmetric" Newton polygon arises from an abelian variety (and the Newton polygon of an abelian variety is symmetric). See http://arxiv.org/abs/math/0007201 for even more beautiful statements.

For "strata" of Shimura varieties see

http://arxiv.org/abs/1011.3230 (Wedhorn-Viehmann) http://arxiv.org/abs/1111.6830 (Kret)

These have to do with showing existence of abelian varieties with certain Newton polygons.

So the moral of the story is that it's already pretty difficult to prove that certain polygons arise from geometric objects, e.g., the case of the genus $3$ curves and the Shimura variety business.

-

For a surface $S$, supersingular means that the étale cohomology group $H^{2}(S,\mathbb{Q}_\ell)$ ($\ell$ a prime, prime to the characteristic $p$) is generated by divisors on $S$ (thus the Picard number equals to the second Betti number). Supersingularity is useful if one wishes to compute the Zeta function of $S$.

Shioda worked on supersingular surfaces, see e.g. "An Example of Unirational Surfaces in Characteristic $p$" or "On Unirationality of Supersingular Surfaces". Supersingularity is a necessary condition for a surface to be unirational (be it is not sufficient). He gives examples of Fermat surfaces of degree $>4$ that are unirational.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 32, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9417248964309692, "perplexity_flag": "head"}