new domain name

I’m so excited about this new domain name of my website. Please check it out!

Advertisements

a brain teaser

Consider the group G = PSL_2(\mathbb{F}_5), by which I mean quotient of SL_2(\mathbb{F}_5) by its center. So this group has order 60. If an interested reader looks at the classification of groups of order 60:”apparently”, says this reader, “this group is isomorphic to A_5!”

Now A_5 naturally acts on a set of 5 elements. On the other hand, G naturally acts on a set of 6 elements, namely the \mathbb{F}_5 points of \mathbb{P}^1.

The brain teaser is: how to find a natural action of A_5 on a set of 6 elements, and how to find a natural action of G on a set of 5 elements? I couldn’t find these in a nice way. For instance, we can let G act on (the projectivization of) degree 4 homogeneous polynomials (with coefficients in \overline{\mathbb{F}_5}). The orbit of x^4 - 2\sqrt{2} x^2 y^2 + y^4 consists of 5 elements (okay, let me not prove this here). So this must be it. But this is not satisfying. So the brain teaser is really: how can you realize these actions in a nice way?

Good reduction or not, that is the question

Ok, admittedly this title is not the best one that I can come up with. I just read (small part of) this paper. The authors constructed a family of degenerating Calabi–Yau 3-folds (over a punctured disc), with trivial monodromy action and have a (potentially) semistable reduction which is not a smooth filling.

If I understand it correctly, the authors believe that this family has no (potentially) good reduction. Namely, however we pull this family back along maps from another punctured disc to the current one given by “z^n“, it won’t admit a smooth filling.

Now the (philosophical) question is, how can we tell if a smooth variety over the fraction field of a DVR does NOT have a smooth integral model over that DVR?

I know this (kind of fake) example: if we take a non-archimedean Hopf surface, then its étale cohomology groups are unramified (if you use l-adic coefficients) or Crystalline (if you use p-adic coefficients). But it doesn’t have a smooth reduction. Why? Because the weight is wrong. Ok, so this example is lame.

So I think there is a task I can give myself: to find a smooth projective variety over a non-archimedean field such that (1) its étale cohomology groups are “good reduction” meaning unramified/Crystalline of the correct weight and, (2) it does not admit any potential good reduction. I assume it would be easy to find a potential example, like the example discussed in the above link, but it perhaps is quite difficult to prove that such a thing is an actual example.

**************************************************************************

Update on Dec. 8th: Bhargav reminded me that a curve of compact type is one such example. Meanwhile Daniel said that one can detect (this example) by looking at the monodromy action on the (algebraic) fundamental group of this curve and decided it doesn’t have (potential) good reduction. On the other hand, Dingxin pointed the existence of this paper of Robert Friedman. This paper exhibits an example of degenerating family of quintic surfaces over a punctured disk, which doesn’t have a (potential) good reduction, with the property that a finite power of the monodromy action is homotopic to identity!

**************************************************************************

In memory of Michael Zhao.

Explicit surfaces in characteristic p with non-reduced Picard.

In this notes of Jesse Kass, an example due to Igusa is discussed. One takes an ordinary elliptic curve E over characteristic 2 with an actual 2-torsion point P, and form the quotient of E \times E' by a (fixed point free) action of \mathbb{Z}/2 = \langle \sigma \rangle where the automorphism \sigma acts by \sigma(x,y) = (x+P,-y) and here E' is another elliptic curve (could be the same as E). The point is that this quotient is then a smooth projective surface in characteristic 2 with non-reduced Picard scheme.

One can simply make similar examples in other characteristics too. For instance, in characteristic 3, take ordinary E with an actual 3-torsion point. Then take E' to be the supersingular elliptic curve with an automorphism by “\omega“. Do the similar construction above, and run the same argument, you can prove that the Picard scheme has tangent space of dimension 2 whereas the Albanese has dimension 1 (use \omega^2 + \omega + 1 = 0).

As for characteristic p \geq 5, take ordinary E with an actual p-torsion as usual. Then let C be the hyperelliptic curve given by y^2 = x^p - x, which admits the automorphism which fixes y and sends x to x+1. This is an automorphism of order p. So do the similar construction, by Hochschild–Serre spectral sequence, you will find that the tangent space of the Picard scheme is at least 2. However, its Albanese has dimension 1 again, this is because that our automorphism acts on H^1_{crys}(C)[\frac{1}{p}] via those non-trivial p-1 characters of order p, hence there is no invariants.

So I think these are concrete examples of elliptic surfaces with wild fibres, as discussed in Liedtke’s notes.

flat first order thickenings of projective line

First let me clarify the meaning of this title. In deformation theory, people cares about the situation where you have a flat family of schemes X \to S and a thickening S' of the base and asks whether you can extend the X to a flat family over S'. In this sense, one can show that there is not interesting first order thickening of a projective line. However, in this post, I want to discuss schemes of the following type: it is a finite type proper scheme X \to Spec(k) over a field such that (1) X_{red} \cong \mathbb{P}^1; (2) the ideal sheaf \mathcal{I} of nilpotent functions is square-zero, in particular \mathcal{I} maybe viewed as a coherent sheaf on \mathbb{P}^1, hence the following condition would make sense; (3) lastly, I want \mathcal{I} to be a line bundle on \mathbb{P}^1, justifying the title of this blog. Let’s denote the degree of \mathcal{I} by n (because why not).

These guys arise naturally in algebraic geometry. For example, take a smooth rational curve embedded in some smooth algebraic surface, then take its first order thickening. In this situation, the ideal sheaf \mathcal{I}, defined as in the first paragraph, as a line bundle on \mathbb{P}^1 is just \mathcal{O}(-n) where n is the self intersection number of the rational curve we begin with. In fact, embed \mathbb{P}^1 as zero-section of the total space of \mathcal{O}(-n) shows that any line bundle can show up in this fashion. The examples constructed via line bundles are lame in the sense that they admit projection back to their reduced closed subscheme (aka \mathbb{P}^1).

One can ask several basic questions: can we classify these guys? Do they all arise as a first order thickening of rational curve in a surface? Are there examples which do not admit projection back to \mathbb{P}^1?

In fact, one can classify them quite easily. On X, we have a short exact sequence of sheaves: 0 \to \mathcal{I} \to \mathcal{O}_X \to \mathcal{O}_{\mathbb{P}^1} \to 0. Choose our favorite affine covering of the scheme X = U \cup V, so that on each charts \mathcal{O}_{\mathbb{P}^1} is given by a polynomial algebra. On each piece, we may choose a splitting \mathcal{O}_X \simeq \mathcal{O}_{\mathbb{P}^1}[\epsilon]/(\epsilon^2). On the overlap, we have glueing information given by T = S^{-1} + \eta \cdot f(S) and \epsilon = \eta \cdot S^n, where S & T are the coordinates on each affine line and f(S) is a Laurent polynomial. One can easily see that here n is just the degree of \mathcal{I}. If one changes the choices made above, the Laurent polynomial f will be changed in degrees \geq -2 and \leq n parts (computation omitted). This discussion tells us, for each n there is exactly an \mathbb{A}^{d(n)} family of such X‘s with \mathcal{I} \cong \mathcal{O}_X, where d(n) = max\{ 0, -n-3 \}. The origin corresponds exactly to the X‘s admitting a section back to \mathbb{P}^1.

On the other hand \mathbb{A}^{d(n)} may be viewed as H^1(\mathcal{O}(n+2)) = H^1(\mathcal{O}(n) \otimes T_{\mathbb{P}^1}) = Ext^1(\Omega^1_{\mathbb{P}^1/k}, \mathcal{I}), given an element of the former space is equivalent to giving an X with \mathcal{I} of degree n. How to get the corresponding extension class (as a vector bundle on \mathbb{P}^1)? The answer is to look at the cotangent bundle. We have sequence of maps \mathbb{P}^1 \to X \to Spec(k), giving rise to a short exact sequence: 0 \to \mathcal{I}/\mathcal{I}^2 = \mathcal{I} \to \Omega_{X/k} \otimes_{\mathcal{O}_X} \mathcal{O}_{\mathbb{P}^1} \to \Omega^1_{\mathbb{P}^1/k} \to 0.

Lastly, what about realizability by surfaces? It turns out that these can always be realized as first order thickening of rational curves inside a rational surface! We may assume that n \leq -4. Consider the rational normal curve of degree m in \mathbb{P}^m, its normal bundle is \mathcal{O}(m+2)^{\oplus (m-1)}. There is an \mathbb{A}^{m-1} family of embeddings \mathcal{O}(m+2) into the normal bundle. On every point of the rational normal curve, this normal bundle determines a normal direction, we can take the “union” of these normal lines to get a rational surface on which lies the rational normal curve, then we may form the first order thickening. Let m = -n-2, then we exactly get an \mathbb{A}^{d(n)} family. This must be the family we are looking for, because what else could it be (to put it in my advisor’s wording)? Ok, one may verify this by considering the tangent-normal sequence (I made this up, but you probably should know what I meant).

The reason why I think about all of these was because in Johan’s problem, we were trying to show the first order thickening of a conic in \mathbb{P}^2 doesn’t admit a section back to the conic.

At this point, I think I probably made a mistake. I think the Laurent polynomial can actually be adjusted by a scalar, which means the discussion of moduli above probably should be quotient out by a \mathbb{G}_m-action… Should be more careful with *omitted computations* next time.

Random fun fact with two totally different proofs

Here’s a fun fact: let X be a smooth proper surface over a perfect field k of positive characteristic p > 0, if there is no global 2-form on X, then the Hodge-to-de-Rham spectral sequence (for X) degenerates at E_1 page. Below we will give two proofs that are totally different which builds on many (very) nontrivial results.

Here’s one proof. Look at the conjugate spectral sequence. It starts at E_2 page and is contained in the [0,2] \times [0,2] box. By Serre duality,  both E_2^{0,2} and E_2^{2,0} are zero. Therefore by plain formalism of spectral sequence, it degenerates at E_2 page. Recall that the Hodge-to-de-Rham spectral sequence (for X) degenerates at E_1 page is equivalent to the conjugae spectral sequence degenerates at E_2 page, therefore we are done.

Here’s another proof. Again by Serre duality and the configuration of the spectral sequence, it suffices to show that the differential map H^1(\mathcal{O}_X) \to H^1(\Omega^1_X) is zero. By Serre duality, we see that H^2(\mathcal{O}_X) = 0 which implies that the Picard variety of X is reduced. Therefore the pullback map H^1(\mathrm{Alb}(X), \mathcal{O}) \to H^1(X,\mathcal{O}_X) is an isomorphism, where \mathrm{Alb}(X) is the Albanese variety of X. Since the differentials on any abelian variety is zero, we get what we want.

Maybe I should propose a vote with the question “which proof is better” and let people choose between “the first one”/”the second one”/”neither because you use a steam-hammer to crack nuts, fool!”.

Why is it not (that) crazy.

Not-fun-fact: de Rham was born in the French-speaking area of switzerland, so I’ve probably called his name wrong for my whole life (should I change it?). Damn it!

This starts as a discussion with a friend. We were discussing a surprising result of Liu–Zhu about rigidity of local systems on a smooth rigid space being de Rham.

Let X be a smooth rigid space over K, a p-adic field. Recall that a \mathbb{Q}_p-local system (which will be denoted as \mathbb{L}) is a sheaf on the pro-étale site of X which (pro-étale-)locally looks like a finite dimensional \mathbb{Q}_p-vector space times X. When X is a point, this recaptures the definition of a p-adic Galois representation (which will be denoted as V) of a p-adic field. There’s a natural generalization of “de Rham representation” which is called a “de Rham \mathbb{Q}_p-local system” (okay, let me not recall anymore since I’m feeling lazy. From now on, let’s pretend the readers know the “modern” p-adic Hodge theory after Scholze. Previous statement is true if there’s no reader at all.). There is an amazing/surprising theorem of Liu–Zhu saying that if such a local system is “de Rham” at one point, then it is in fact de Rham everywhere. Both my friend and I knew this statement, and we had a discussion today for why it is not that crazy.

Recall that one has a morphism between sites: \nu \colon X_{pro\acute{e}t} \to X_{\acute{e}t}. In the representation situation (i.e. X is a point), one knows that there is an injection (V \otimes B_{dR})^{Gal} \otimes B_{dR} \to (V \otimes B_{dR}) and de Rham condition means this is an isomorphism. Now one has that \nu_{*} (\mathbb{L} \otimes \mathcal{O}\mathbb{B}_{dR}) is a filtered coherent sheaf and its fibres will have rank at most that of \mathbb{L}, those points where the fibres having rank equals to that of \mathbb{L} are presumably the “de Rham locus”. Then by semi-continuity, we convince ourselves that “being de Rham” is a (Zariski)-closed condition.

On the other hand, we have \nu^* \nu_* (\mathbb{L} \otimes \mathcal{O}\mathbb{B}_{dR}) \otimes_{\nu^* \mathcal{O}_X}\mathcal{O}\mathbb{B}_{dR} \to \mathbb{L} \otimes \mathcal{O}\mathbb{B}_{dR} which presumably is also injective. If one interprete the former as a sub-vector-bundle inside the latter, if one views \mathcal{O}\mathbb{B}_{dR} as some sort of structure sheaf, then the semi-continuity would tell us the locus where this is an isomorphism is an open condition. Therefore we also convince ourselves that “being de Rham” is a (pro-étale)-open condition.

Of course we didn’t read the proof (and perhaps we should), so what I said here perhaps is completely a BS.

BTW, anyone knows how to type accents in LaTeX in wordpress?