I’m so excited about this new domain name of my website. Please check it out!
Consider the group , by which I mean quotient of by its center. So this group has order . If an interested reader looks at the classification of groups of order :”apparently”, says this reader, “this group is isomorphic to !”
Now naturally acts on a set of 5 elements. On the other hand, naturally acts on a set of 6 elements, namely the points of .
The brain teaser is: how to find a natural action of on a set of 6 elements, and how to find a natural action of on a set of 5 elements? I couldn’t find these in a nice way. For instance, we can let act on (the projectivization of) degree 4 homogeneous polynomials (with coefficients in ). The orbit of consists of 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?
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 ““, 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.
In this notes of Jesse Kass, an example due to Igusa is discussed. One takes an ordinary elliptic curve over characteristic with an actual -torsion point , and form the quotient of by a (fixed point free) action of where the automorphism acts by and here is another elliptic curve (could be the same as ). The point is that this quotient is then a smooth projective surface in characteristic with non-reduced Picard scheme.
One can simply make similar examples in other characteristics too. For instance, in characteristic , take ordinary with an actual -torsion point. Then take to be the supersingular elliptic curve with an automorphism by ““. Do the similar construction above, and run the same argument, you can prove that the Picard scheme has tangent space of dimension whereas the Albanese has dimension (use ).
As for characteristic , take ordinary with an actual -torsion as usual. Then let be the hyperelliptic curve given by , which admits the automorphism which fixes and sends to . This is an automorphism of order . So do the similar construction, by Hochschild–Serre spectral sequence, you will find that the tangent space of the Picard scheme is at least . However, its Albanese has dimension again, this is because that our automorphism acts on via those non-trivial characters of order , hence there is no invariants.
So I think these are concrete examples of elliptic surfaces with wild fibres, as discussed in Liedtke’s notes.
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 and a thickening of the base and asks whether you can extend the to a flat family over . 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 over a field such that (1) ; (2) the ideal sheaf of nilpotent functions is square-zero, in particular maybe viewed as a coherent sheaf on , hence the following condition would make sense; (3) lastly, I want to be a line bundle on , justifying the title of this blog. Let’s denote the degree of by (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 , defined as in the first paragraph, as a line bundle on is just where is the self intersection number of the rational curve we begin with. In fact, embed as zero-section of the total space of 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 ).
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 ?
In fact, one can classify them quite easily. On , we have a short exact sequence of sheaves: . Choose our favorite affine covering of the scheme , so that on each charts is given by a polynomial algebra. On each piece, we may choose a splitting . On the overlap, we have glueing information given by and , where & are the coordinates on each affine line and is a Laurent polynomial. One can easily see that here is just the degree of . If one changes the choices made above, the Laurent polynomial will be changed in degrees and parts (computation omitted). This discussion tells us, for each there is exactly an family of such ‘s with , where . The origin corresponds exactly to the ‘s admitting a section back to .
On the other hand may be viewed as , given an element of the former space is equivalent to giving an with of degree . How to get the corresponding extension class (as a vector bundle on )? The answer is to look at the cotangent bundle. We have sequence of maps , giving rise to a short exact sequence: .
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 . Consider the rational normal curve of degree in , its normal bundle is . There is an family of embeddings 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 , then we exactly get an 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 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 -action… Should be more careful with *omitted computations* next time.
Here’s a fun fact: let be a smooth proper surface over a perfect field of positive characteristic , if there is no global -form on , then the Hodge-to-de-Rham spectral sequence (for ) degenerates at 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 page and is contained in the box. By Serre duality, both and are zero. Therefore by plain formalism of spectral sequence, it degenerates at page. Recall that the Hodge-to-de-Rham spectral sequence (for ) degenerates at page is equivalent to the conjugae spectral sequence degenerates at 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 is zero. By Serre duality, we see that which implies that the Picard variety of is reduced. Therefore the pullback map is an isomorphism, where is the Albanese variety of . 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!”.
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 be a smooth rigid space over , a -adic field. Recall that a -local system (which will be denoted as ) is a sheaf on the pro-étale site of which (pro-étale-)locally looks like a finite dimensional -vector space times . When is a point, this recaptures the definition of a -adic Galois representation (which will be denoted as ) of a -adic field. There’s a natural generalization of “de Rham representation” which is called a “de Rham -local system” (okay, let me not recall anymore since I’m feeling lazy. From now on, let’s pretend the readers know the “modern” -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: . In the representation situation (i.e. is a point), one knows that there is an injection and de Rham condition means this is an isomorphism. Now one has that is a filtered coherent sheaf and its fibres will have rank at most that of , those points where the fibres having rank equals to that of 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 which presumably is also injective. If one interprete the former as a sub-vector-bundle inside the latter, if one views 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?