Let be an irreducible degree curve in . Some hyperplanes will be tangent to , or pass through singularities of , or even perhaps contain . But most hyperplanes won’t do any of these things. Let be the space of hyperplanes which do not exhibit any of these bad behaviors; these hyperplanes are said to be transverse to . Every hyperplane in meets in points. As we move through , these points move around . If navigates a loop in , before returning to itself, then these points are permuted. Last week, in his class on Algebraic Curves, Joe Harris proved the following theorem.
The Uniform Position Principle: Let and be two hyperplanes in , with and . Then, for any permutation , there is a path from to within such that traveling along this path takes to .
In this proof, it was crucial that we were working with a field of characteristic zero. The key lemma was that there was a little loop in such that traveling around that loop swapped exactly two points. The proof, in sketch, is to find a hyperplane which is not transverse to , but just barely; so that is tangent to at one point and meets transversely at other points. If we then wiggle in a little disc, then the tangency point of and will separate into two distinct points, while the other points will wiggle around a little. The boundary of that disc will be a loop in and (exercise!) as you travel around that loop, the two perturbations of the tangency point switch with each other.
In characteristic , there are curves for which there are no such tangent planes . As I’ll show you soon, there exist curves where every single point is a flex, meaning that the tangent line to at touches with degree . So the proof falls apart. We got into a discussion in Harris’ class about whether the result also falls apart. I’ve done some computations and the answer is “yes”. Moreover, the monodromy groups we get are very pretty.
Let’s understand what a curve where every point is a flex “looks like”. The standard example of a flex is the point on , back in characteristic zero. At the point , this curve has slope . As increases, starting at , the slope of the curve decreases until we hit . There, the rate of change of the slope is momentarily zero, after which the slope starts increasing. Note that the slope need not be zero at a flex: The curve also has a flex at zero. The slope of this curve at is ; what matters is that this is the point where the rate of change of the slope is zero.
Now, let’s switch to characteristic . Look at the curve . At every single point, this curve has slope zero! So the slope is never changing, and every point is a flex. Another example is . Now the slope is . So the slope is changing, but the rate of change of the slope is everywhere zero so, again, every point is a flex. (This is the fundamental difference between characteristic and characteristic zero. In characteristic , a function with derivative zero need not be constant. The monomial sneaky: you’ll never catch it growing, yet grow it does!)Let’s take our first example: the curve in the plane. Let’s intersect this with the line , so we get the equation . When , this equation has distinct roots (exercise!). When , all roots collide to give a -fold root at . So, as moves around, with , we want to know how these points move. Of course, if we are going to be rigorous, we can’t actually move points around, we need to talk about the etale fundamental group. But those who know what that means should be able to make what I’m saying rigorous and those who don’t will understand this.
Let be one of the roots of . Then the other roots are , , … (exercise!). So, if then $r_a-r_b=r_c-r_d$. If our monodromy carries to , then must have the property that implies . In other words, must be of the form , for some constants and . More geometrically, if we move while keeping fixed, we shift to , with depending on which “path” we move along. If we let vary as well, then the different -st roots of are interchanged, in a cyclic cover branched over .
That was pretty, but here is the really fun example. Look at the genus zero, degree curve in projective three space which is parameterized by . What do you think the monodromy group is? Feel free to leave an argument in the comments section; I’ll post the answer sometime next week. Alternatively, if that is too easy, what about the curve ? In that case, I don’t even have a guess yet.