Deformations of Artin-Schreier covers
Huy Dang
University of Virginia
November 5, 2019
Huy Dang (University of Virginia) Deformations of Artin-Schreier covers November 5, 2019 1 / 23
Deformations of Artin-Schreier covers Huy Dang University of - - PowerPoint PPT Presentation
Deformations of Artin-Schreier covers Huy Dang University of Virginia November 5, 2019 Huy Dang (University of Virginia) Deformations of Artin-Schreier covers November 5, 2019 1 / 23 What is an Artin-Schreier curve? P 1 A Z /p -cover
Deformations of Artin-Schreier covers
Huy Dang
University of Virginia
November 5, 2019
Huy Dang (University of Virginia) Deformations of Artin-Schreier covers November 5, 2019 1 / 23
What is an Artin-Schreier curve?
A Z/p-cover Y
π
− → P1
k (characteristic of k is p > 0)
yp − y = f(x) f(x) ∈ k(x), unique up to adding an element of the form ap − a, a ∈ k(x). Example 1 y5 − y = 1 x5 − 1 (x − 1)2 Isomorphic to y5 − y = 1 x5 − 1 (x − 1)2 + −1 x 5 − −1 x
x − 1 (x − 1)2
Huy Dang (University of Virginia) Deformations of Artin-Schreier covers November 5, 2019 2 / 23
Ramification
Suppose f(x) has r poles: {P1, . . . , Pr} on P1
k.
Let dj be the order of the pole of f(x) at Pj, p ∤ dj. Let ej := dj + 1, the conductor of Pj. Lemma 2 The genus of Y is g =
ej − 2
(p − 1)/2. We say Y has branching datum [e1, e2, . . . , er]⊤.
Huy Dang (University of Virginia) Deformations of Artin-Schreier covers November 5, 2019 3 / 23
Deformation of Artin-Schreier covers
C
φ
− → P1
k is a G-Galois cover. A is a Noetherian complete k-algebra with
residue field k. C C P1
k
P1
A
Spec k Spec A, (1)
Huy Dang (University of Virginia) Deformations of Artin-Schreier covers November 5, 2019 4 / 23
Equal characteristic deformation
Suppose φ : Y − → P1
k is defined by
y5 − y = 1 x6 and A = k[[t]]. τ : Y − → P1
k[[t]] is defined by
y5 − y = −2x + t5 (−2)x5(x − t5)2 ⇒ The special fiber is birational equivalent to y5 − y =
1 x6 .
⇒ The generic fiber (where t = 0) branches at two points x = 0 and x = t5, with conductors 4 and 3, respectively. ⇒ The generic fiber and the special fiber have the same genus. ⇒ τ is a flat deformation of type [7] − → [4, 3]⊤.
Huy Dang (University of Virginia) Deformations of Artin-Schreier covers November 5, 2019 5 / 23
Mixed characteristic deformation
φ : Y − → P1
k is a Z/2-cover given by
y2 − y = 1 x3 . It deforms to (lifts to) characteristic 0 by Z2 = 1 + 4 X3 . (2) If Z = 1 − 2Y , 4Y 2 − 4Y + 1 = 1 + 4 X3 Y 2 − Y = 1 X3 (3) The generic fiber is a Kummer cover that branches at 4 points 0, −22/3, −22/3ξ3, and −22/3ξ2
3.
Huy Dang (University of Virginia) Deformations of Artin-Schreier covers November 5, 2019 6 / 23
Motivation
C curve over k, char(k) = p Grothendieck = = = = = = = ⇒ C lifts to a curve C /W(k) (char W(k) = 0). πet
1 (C)p = πet 1 (Cη)p
Question 2.1 (Lifting problem for covers) Can we lift a G-Galois cover in characteristic p to characteristic 0? Obus, Wewers, and Pop show that every cyclic cover lifts to char 0. Obus and Wewers first show that every cyclic cover with no essential ramification lifts. Pop completes the proof by showing that every cyclic cover can be deformed to one with no essential, hence lifts.
Huy Dang (University of Virginia) Deformations of Artin-Schreier covers November 5, 2019 7 / 23
Local equicharacteristic deformation problem
Suppose p = 5. Can we deform a curve with branching datum to [7, 4]⊤
By a local-global principle, it is enough to answer the “local deformation problem”. Question 2.2 (Local equicharacteristic deformation problem) Suppose φ is a Z/p-extension k[[z]]/k[[x]] given by yp − y =
1 xe−1 , and
{e1, . . . , er} is a partition of e. Does there exists a Z/p-deformation R[[Z]]/R[[X]] of φ over R := k[[t]] whose generic fiber has branching datum [e1, . . . , er]⊤. R[[X]] can be thought of as an open unit disc!
Huy Dang (University of Virginia) Deformations of Artin-Schreier covers November 5, 2019 8 / 23
Disc and annuli
R complete discrete valuation ring. Open unit disc ↔ R[[X]]. R{X} :=
i aiXi | limi→∞|ai| = 0
Closed unit disc ↔ R{X} . Boundary of a disc ↔ R[[X−1]]{X}. Disc of radius r ↔ R[[a−1X]] where a ∈ K, |a| = r. Open annulus of thickness ǫ ↔ R[[X, U]]/(XU − a), where v(a) = ǫ.
Huy Dang (University of Virginia) Deformations of Artin-Schreier covers November 5, 2019 9 / 23
Skeleton of a Hurwitz tree
y5 − y = −2x + t5 (−2)x5(x − t5)2 (4) (4) branches at x = 0 and x = t5. Since, vt(t5 − 0) = 5 · 1.
O L
I
3
ii
i
Huy Dang (University of Virginia) Deformations of Artin-Schreier covers November 5, 2019 10 / 23
Another example of a skeleton
If a cover branches at 0, t5, and t10
t
Huy Dang (University of Virginia) Deformations of Artin-Schreier covers November 5, 2019 11 / 23
Depth and differential conductors
iii
Definition 3
1 the depth conductor δ ∈ Q≥0, is 0 if separable reduction. 2 When δ > 0, the differential conductor ω ∈ Ω1
K, exact.
3 When δ = 0, the degeneration f ∈ K \ K
p.
Huy Dang (University of Virginia) Deformations of Artin-Schreier covers November 5, 2019 12 / 23
Hurwitz tree
O 4
tf 3
f
Huy Dang (University of Virginia) Deformations of Artin-Schreier covers November 5, 2019 13 / 23
Boundary conductor
Boundary conductor bsw(x) = − ordx(ω) − 1, bsw(∞) = ord∞(ω) + 1. Give the instantaneous rate of change of the depth conductor on the direction corresponds to the boundary.
Huy Dang (University of Virginia) Deformations of Artin-Schreier covers November 5, 2019 14 / 23
Flat deformations give rise to good trees
Suppose there exists a flat deformation of type [e] − → [e1, . . . , er]⊤ = ⇒ there exists a good Hurwitz tree of type [e] − → [e1, . . . , er]⊤ = ⇒ there is no deformation of type [5] − → [3, 2]⊤ (when p = 5). ⇐ ? YES!
Huy Dang (University of Virginia) Deformations of Artin-Schreier covers November 5, 2019 15 / 23
Z/p-action on a boundary
Theorem 4 A Z/p-cover of a boundary Spec R[[X−1]]{X} is determined by its depth and its boundary Swan conductors. Remark It is not true for Z/pn-covers (n > 1). Strategy: Construct desired covers for subdiscs and annuli, then glue them together along their boundaries.
Huy Dang (University of Virginia) Deformations of Artin-Schreier covers November 5, 2019 16 / 23
Realize a vertex
Spec R{X, (X − 0)−1, (X − 1)−1} As
dx x4(x−1)3 is exact, dx x4(x−1)3 = dg for some g ∈ k(x). For instance,
g =
2 x3(x−1)2 .
y5 − y = 2 t5·6X3(X − 1)2
Huy Dang (University of Virginia) Deformations of Artin-Schreier covers November 5, 2019 17 / 23
Realize an edge
1
Spec R[[X1, X0]]/(X1X0 − t5·1). y5 − y = X6
1
t5·6 = 1 X6
Huy Dang (University of Virginia) Deformations of Artin-Schreier covers November 5, 2019 18 / 23
Lego time
Huy Dang (University of Virginia) Deformations of Artin-Schreier covers November 5, 2019 19 / 23
Deformation is determined by exact differential forms
Theorem 5 (D.) Suppose {e1, e2, . . . , em} is a partition of {e}. Then there is a deformation
→ [e1, . . . , em]⊤ if and only if there exists an exact Hurwitz tree
→ [e1, . . . , em]⊤. Question 5.1 Let k be an algebraically closed field of characteristic p > 0. Suppose 1 < ei < p for i = 1, 2, . . . , n are integers (n ≥ 2). What are the conditions on the ei’s so that the rational function 1 n
i=1(x − Pi)ei
is a derivative of some rational function in k(x) for some Pi’s in k pairwise distinct?
Huy Dang (University of Virginia) Deformations of Artin-Schreier covers November 5, 2019 20 / 23
Applications
1 Study the geometry of ASg, the moduli space Artin-Schreier covers
2 Study the deformation of all wildly ramified covers Z/pn, Dpn, . . . 3 The lifting problem Huy Dang (University of Virginia) Deformations of Artin-Schreier covers November 5, 2019 21 / 23
Equal characteristic deformation of Z/pn-covers
℘(Y1, Y2) =
x2(x − t4), 1 x3(x − t4)2(x − t2)2
(5)
dx x2(x−1)2
x3
x4
t4 : 2 0 : 3 t4 : 3 t2 : 2
dx x3(x−1)3
dx x6(x−1)2
1
x3 , 1 x7
e1 e0 e1 e0
Huy Dang (University of Virginia) Deformations of Artin-Schreier covers November 5, 2019 22 / 23
Mixed characteristic Hurwitz tree
01
Hurwitz tree of a lift of y2 − y =
1 x5 .
Huy Dang (University of Virginia) Deformations of Artin-Schreier covers November 5, 2019 23 / 23