1: 

2: \documentclass[12pt]{article}

3: 

4: \usepackage{amsfonts}

5: \usepackage{amssymb}

6: %\usepackage{theorem}

7: \usepackage{amsmath}

8: \usepackage{amsthm}

9: \usepackage{epsfig}

10: 

11: \setlength{\topmargin}{-0.3in}

12: \setlength{\headheight}{8pt}

13: \setlength{\textheight}{9.0in}

14: \setlength{\oddsidemargin}{-.1cm}

15: %\setlength{\evensidemargin}{-0.3in}

16: \setlength{\textwidth}{6.0in}

17: %\setlength{\parindent}{0in}

18: 

19: \title{An analog to Deuring's criterion for good reduction of elliptic curves

20: \thanks{Work supported in part by the European Community's Human 

21: Potential Programme

22: under Contract HPRN-CT-2000-00114, GTEM}}

23: 

24: %\theoremstyle{plain}

25: 

26: \author{Claus Lehr}

27: 

28: \newcommand{\PK}{{\mathbb P}^{1}_{K}}

29: 

30: \newtheorem{defi}{Definition}[section]

31: \newtheorem{proposition}[defi]{Proposition}

32: \newtheorem{theorem}[defi]{Theorem}

33: \newtheorem{lemma}[defi]{Lemma}

34: \newtheorem{example}[defi]{Example}

35: \newtheorem{Exs}[defi]{Examples}

36: \newtheorem{corollary}[defi]{Corollary}

37: \newtheorem{remark}[defi]{Remark}

38: 

39: \newcommand{\B}{\beta}

40: \newcommand{\C}{\gamma}

41: \newcommand{\E}{\epsilon}

42: \newcommand{\U}{x_2}

43: \newcommand{\ed}{\hfill$\square$}

44: \newcommand{\OO}{{R         }}

45: \newcommand{\AP}{{\mathbb P}^{1}_{R}}

46: \newcommand{\AS}{{\mathbb P}^{1}_{S}}

47: \newcommand{\llll}{\lambda}

48: \newcommand{\CX}{{X}}

49: \newcommand{\CY}{{Y}}

50: \newcommand{\CZ}{{Z}}

51: \newcommand{\PL}{{\mathbb P}^{1}_{L}}

52: \newcommand{\Pk}{{\mathbb P}^{1}_{k}}

53: \newcommand{\kk}{K{[\![}x{]\!\!]}}

54: \newcommand{\kkk}{K[\![x-1]\!\!]}

55: \newcommand{\pp}{R[[x]]} 

56: %\newcommand{\ppp}{{\mathcal O}[\![x-1]\!\!]}

57: \newcommand{\la}{\longrightarrow}

58: \newcommand{\nn}{(R/\pi^v)[x]}

59: %\newcommand{\Xk}{{\mathcal X}_k}

60: \newcommand{\Aa}{{\mathbb P}^{\mbox{\rm \scriptsize sp}}_R}

61: \begin{document}

62: \maketitle

63: 

64: \begin{abstract}

65: In this paper we study the reduction of $p$-cyclic covers of the $p$-adic

66: line ramified at exactly four points. For $p=2$ these covers are

67: elliptic curves and Deuring has given a criterion for when such a

68: curve has good reduction. Here we consider the case of $p>2$ and 

69: completely determine the stable model of the cover.

70: In particular we obtain a finite extension $R'$ of $R$ necessary

71: for the stable reduction to be defined.

72: No additional conditions are imposed on the geometry of the branch locus

73: and thus this work can be viewed as a first step towards understanding

74: the situation where branch points coalesce.

75: \end{abstract}

76: 

77: \section{Introduction}

78: Let $R$ be a complete mixed characteristic $(0,p)$ discrete valuation

79: ring. We denote by $K$ the field of fractions of $R$ and by $k$ the 

80: residue field of $R$ which we assume to be algebraically closed.

81: The valuation given on $K$ by the ring $R$ will be called $v$.

82: For $X \la \PK$ a $p$-cyclic cover we are interested in the stable

83: model of $X$. In previous work (cf. \cite{L1}) we have considered this 

84: problem under

85: certain conditions on the geometry of the branch locus $B$ of the

86: cover. In particular we required that $B$ has equidistant geometry, which is

87: to say that $\PK$ has a smooth $R$-model such that $B$ extends to a 

88: relative \'etale divisor over $R$. This condition was first introduced

89: in a paper by Raynaud (cf. \cite{R1}) and

90: it is also a key hypothesis in \cite{M} generalizing the results in 

91: \cite{L1}. 

92: Here we allow any $B$ consisting of 

93: four rational points and determine the stable reduction $X_k$ of the

94: resulting cover $X$.

95: The assumption of $B$ to be equidistant implies in particular that the 

96: stable reduction has no vanishing cycles - a result essentially due to

97: Raynaud (cf. \cite{R1}). Knowing this the computations are then reduced

98: to finding the components of positive genus in the stable reduction. 

99: Under the conditions imposed here 

100: this will no longer be true, in particular $X$ can be a Mumford curve.

101: The situation of a general branch locus $B$ has been dealt with in

102: \cite{L2}. There we gave explicit methods to determine the number of 

103: cycles. Beyond this for such a general branch locus it is still not

104: known how to obtain a fine description of the stable reduction of $X$.\\

105: 

106: \noindent{\bf Acknowledgments}  

107: I would like to thank David Harbater for suggesting the example given

108: in section \ref{exo}. He also pointed out problems in the notation of

109: a previous version. \\

110: 

111: \section{The main result} \label{exres}

112: We keep the notation of the introduction and assume in addition that $R$

113: contains a primitive $p$-th root of unity $\zeta$ as well as 

114: $\tau=(-p)^{p/(p-1)}$. We denote by $\pi$ a uniformizer in $R$. 

115: Let $X \la \PK$ be a $p$-cyclic cover. Suppose the cover is ramified at

116: exactly four $K$-rational points. For a suitable coordinate $x_0$ on $\PK$

117: we can assume the branch locus to be $\{0,1,\infty, \llll\}$ with

118: $\llll \in K-\{0,1\}$. Similarly making an appropriate change of coordinates

119: we can assume $\llll \in R-\{0,1\}$ such that the reduction 

120: $\bar{\llll}\not=1$.

121: Therefore the cover is given birationally by the equation 

122: $z_0^p=x_0(x_0-1)^{\B}(x_0-\llll)^{\C}$ with positive integers $\B,\C < p$ such that 

123: $(1+\B+\C,p)=1$. 

124: 

125: The following theorem

126: completely describes the structure of the stable reduction of $X$. Its 

127: strength lies in the fact that we do not only determine the combinatorics

128: of the special fiber (which can be done with less work)

129: but also give equations for the stable model $X_{R'}$

130: over an explicitly determined discrete valuation ring $R' \supseteq R$.

131: In particular this yields equations for the irreducible components of the 

132: special fiber. We write $$j(\llll)= 

133: p^{-2p/3(p-1)}\left( \llll^2(\B+1)^2-2\llll(\B+\C+1-\B\C)+(\C+1)^2\right).$$

134: 

135: 

136: \begin{theorem} \label{deuring}

137: With the notation introduced above, and for $p>3$,

138: there are three different possibilities for the special fiber 

139: of the stable model $X_k$:

140: \begin{itemize}

141: \item[1)] $X_k$ consists of a single irreducible component, i.e.\ 

142: $X$ has potentially

143: good reduction iff one of the following two conditions is satisfied:

144: 

145: a) $v(\llll)=0$ and  $v(j(\llll)) \ge 0$.

146: 

147: In this case $X_k$ has $p$-rank $0$.

148: 

149: b) $\C+1=p$ and $v(\llll)=v(\tau^2)$.

150: 

151: In this case $X_k$ has $p$-rank $p-1$.

152: 

153: \item[2)] $X_k$ has exactly two irreducible components, both of genus zero and

154: intersecting each other in $p$ distinct points iff $\C+1=p$ and 

155: $v(\llll)>v(\tau^2)$. In this case $X$ is a Mumford curve.

156: 

157: \item[3)] In all remaining cases $X_k$ has two irreducible components, each

158: of genus $(p-1)/2$, intersecting in precisely one point.

159: \end{itemize}

160: \end{theorem}

161: 

162: \begin{figure}[h]

163: \begin{center}

164: \input{f2_pic1.pstex_t}

165: \caption{The special fiber in the three cases of Theorem \ref{deuring}}

166: \label{3fibers}

167: \end{center}

168: \end{figure}

169: 

170: \begin{remark} \rm In case 1) of Theorem \ref{deuring} $X_k$ is a smooth curve and a $p$-cyclic cover

171: of $\Pk$. In the sub-case a) the branch locus of this cover has exactly one point while in b) it

172: consists of two points.

173: \end{remark}

174: 

175: \begin{defi} \rm For the purposes of this paper we call the different types of degeneration

176: in Theorem \ref{deuring} type 1a), 1b), 2) and 3).

177: \end{defi}

178: 

179: \subsection{Semi-Stable Models} \label{mod}

180: To be precise we recall in this section the definitions of the various

181: $R$-models considered.

182: 

183: \begin{defi} \rm An $R$-scheme $Y_R$ is called

184: {\it semi-stable} if it is proper, flat of relative dimension $1$

185: over $R$ and the following conditions hold:

186: 

187: \noindent i) Its generic fiber $Y_K$ is smooth over $K$.

188: 

189: \noindent ii) Its special fiber $Y_k$ is reduced and

190: has at most ordinary double points.

191: 

192: \noindent The scheme $Y_R$ is also called semi-stable model for $Y_K$.

193: \end{defi}

194: 

195: \begin{defi} \rm A semi-stable curve $Y_R$ is called {\it stable}

196: if every irreducible

197: component of $Y_k$ that is isomorphic to $\Pk$ meets the other components

198: in at least $3$ points.

199: \end{defi}

200: 

201: \begin{remark} \rm For any smooth $K$-curve of genus $\ge 2$ there exists a

202: stable model, after possibly passing to a finite extension of $K$

203: (cf.\ \cite{DM}).

204: \end{remark}

205: 

206: \section{Proof of the main theorem}

207: 

208: In order to show Theorem \ref{deuring} we will proof Theorem 

209: \ref{deuring}' below from which Theorem \ref{deuring} is easily deduced.

210: \vspace{.5cm}

211: 

212: {\noindent{\bf Theorem \ref{deuring}'} \it

213: Keeping the above notation we distinguish two cases:

214: \begin{itemize}

215: \item[1)] Assume $v(\llll)=0$. 

216: 

217: a) $v(j(\llll)) \ge 0$ iff $X$ has potentially good reduction of type 1a).

218: 

219: b) $v(j(\llll)) < 0$ iff $X_k$ consists of two irreducible components,

220: each of genus $(p-1)/2$ intersecting in precisely one point, i.e.\ reduction of type 3).

221: 

222: \item[2)] Assume $v(\llll)>0$.

223: 

224: a) If $\C+1 \not=p$ then $X_k$ has reduction of type 3).

225: 

226: %b) If $\C+1=p$ we have three subcases:

227: 

228: b1) If $\C+1=p$ and $v(\llll)=v(\tau^2)$, then $X$ has potentially good 

229: reduction of type 1b).

230: 

231: b2) If $\C+1=p$ and $v(\llll)>v(\tau^2)$, then $X_k$ has reduction of type 2).

232: 

233: b3) If $\C+1=p$ and $v(\llll)<v(\tau^2)$, then $X_k$ has reduction of type 3).

234: 

235: \end{itemize}}  

236: 

237: 

238: The main tool in proving Theorem \ref{deuring} is the following result on

239: the degeneration of ${\bf \mu}_p$-torsors, which we recall from \cite{L1}.

240: To state it we introduce the following notation. If $v$ is the valuation 

241: defined by $R$ on $K$ we extend it to the ring $R[x]$ in the following way:

242: \[\mbox{For} \quad \sum^m_{i=0} a_ix^i \in R[x] \quad \mbox{define} \quad

243: v(\sum^m_{i=0} a_ix^i)=\mbox{min}\{v(a_i) | 0 \le i \le m\}. \]

244: 

245: Let $C \la \PK$ be a $p$-cyclic cover given birationally by $y^p=f(x)$ with

246: $f(x) \in R[x]$ monic. The equation determines an $R$-model $\mathcal C$ for $C$,

247: an affine patch of which is obtained by normalizing $R[x]$ in the function

248: field $K(C)$. We further assume that ${\mathcal C}_k={\mathcal C} 

249: \otimes_R k$ 

250: is reduced. Under these

251: assumptions we have the following result characterizing ${\mathcal C}_k$.

252: 

253: \begin{proposition}\label{ap}

254: Choose $h(x) \in R[x]$ such that $w:=v(h(x)^p-f(x)) \in {\mathbb Z}$ 

255: is maximal. 

256: 

257: \noindent 1) $w>v(\tau)$:

258: Then ${\mathcal C}_k$ has $p$ irreducible components each of which is

259: isomorphic to $\Pk$. The map ${\mathcal C}_k \la \Pk$

260: is an isomorphism when restricted to each irreducible component.

261: 

262: \noindent 2) $w=v(\tau)$:

263: The Artin-Schreier equation 

264: \begin{equation} \label{fi}

265: T^p-T+\big((h(x)^p-f(x))/\tau\big)^-/\bar{h}(x)^p=0

266: \end{equation}

267: is 

268: irreducible over the field $k(x)$ and ${\mathcal C}_k \la \Pk$ is given

269: birationally by this equation.

270: 

271: \noindent 3) $w<v(\tau)$: 

272: Then ${\mathcal C}_k \la \Pk$ is purely inseparable.

273: \end{proposition} \ed \\

274: 

275: \begin{remark} \label{app} \rm In order to apply Proposition \ref{ap} it is not always necessary to

276: know the exact value of $w$.

277: For instance if one can find an $h(x)$ such that $v(h(x)^p-f(x))=v(\tau)$

278: and equation \eqref{fi} is irreducible it follows that $w=v(\tau)$.

279: 

280: Also if for a certain $h(x)$ with $v(\pi^e)=v(h(x)^p-f(x))<v(\tau)$ the

281: polynomial $((h(x)^p-f(x))/\pi^e)^- \notin k[x]^p$ then $w<v(\tau)$.

282: Further in this situation the cover ${\mathcal C}_k \la \Pk$ is given 

283: birationally by $T^p=((h(x)^p-f(x))/\pi^e)^-$.

284: 

285: Both of these assertions are immediate consequences of the proof of the

286: proposition.

287: 

288: \end{remark}

289: 

290: We add an easy lemma that will be useful later.

291: 

292: \begin{lemma} \label{hh}

293: Consider the situation of Proposition \ref{ap} case 2). We write $N=sp$

294: for the degree of $f(x)$ and assume that

295: $$f(x)=\sum_{i=1}^N a_Nx^N \quad \mbox{\rm with } v(a_N) \ge v(\tau^{(N-i)/p}).$$

296: Then $v(x^N-f(x))=v(\tau)$ and hence ${\mathcal C}_k \la \Pk$ is given by

297: $$T^p-T+\big((x^N-f(x))/\tau\big)^-/x^N=0.$$

298: \end{lemma}

299: 

300: The following classical result will be used at various points in the paper.

301: A proof can be found in \cite{St} , III, 7.8.

302: 

303: \begin{proposition} \label{stich} Let $k$ be an algebraically closed field of

304: characteristic $p>0$ and $f(x) \in k[x]$ a polynomial of

305: degree $m$ such that the Artin-Schreier equation 

306: $y^p-y=f(x)$ defines a field extension $L/k(x)$, and $(m,p)=1$. 

307: Then the genus of $L$ is $(m-1)(p-1)/2$.

308: \end{proposition} \ed \\

309: 

310: \noindent{\it Proof of Theorem \ref{deuring}'.}

311: Some constructions in this proof will require to pass from $R$ to a finite

312: extension $R'$. We will not always point this out but note here that in

313: the results used each of these extensions is given explicitly.  

314: 

315: 1)a): We apply \cite{L1} Theorem 1 with $f(x_0)=x_0(x_0-1)^{\B}(x_0-\llll)^{\C}$,

316: $m=3$, $n=1+\B+\C$, $b=\tau^{1/3}$ 

317: and proceed as in the proof of loc.\ cit.\ Corollary\ 2.

318: We compute $$f'(x_0)=(x_0-1)^{\B-1}(x_0-\llll)^{\C-1}\left( (\B+\C+1)x_0^2

319: -x_0(\B\llll+\llll+\C+1) +\llll\right) .$$ 

320: So $g(x_0)=x_0^2-x_0(\llll(\B+1)+\C+1)/(\B+\C+1)+\llll/(\B+\C+1)$ and

321: $g'(x_0)=2x_0-(\llll(\B+1)+\C+1)/(\B+\C+1)$.

322: Assuming potentially good reduction 

323: condition a) in loc.\ cit. Theorem 1 reads:

324: \begin{equation}\label{pp}

325: g(x_0) \equiv (x_0-d)^2=x_0^2-2dx_0+d^2 \quad (\mbox{\rm mod } b)

326: \end{equation} 

327: On the other hand we have the above expression for $g(x_0)$ and hence

328: we set $d=(\llll(\B+1)+\C+1)/2(\B+\C+1)$.

329: Notice that condition \eqref{pp} determines $d$ modulo $b$ and hence, if

330: there exists a choice of $d$ inducing good reduction, so will our choice of

331: $d$ above.

332: Now we evaluate the conditions in part

333: b) of loc.\ cit. Theorem 1.

334: With respect to the coordinate $x_1=b/(x_0-d)$ we get the following equation

335: for the generic fiber:

336: \begin{equation}\label{blow}

337: z_1^p=x_1^N+b\frac{f'(d)}{f(d)}x_1^{N-1}+b^2\frac{f^{(2)}(d)}{2f(d)}x_1^{N-2}+

338: b^3 \frac{f^{(3)}(d)}{3!f(d)}x_1^{N-3}+ \dots

339: \end{equation}

340: where $N \in \{p,2p\}$ depends on $n$.

341: Notice that in the reduction $\bar{f}'(x_0)$ of the polynomial $f'(x_0)$ to $k[x_0]$

342: the zero $\bar{d}$ has multiplicity $2$ and therefore $f^{(3)}(d)$ is a unit

343: in $R$. Further $f(d)$ is a unit in $R$.

344: Now we apply Proposition \ref{ap}. Still assuming we have potentially good reduction

345: the cover given by \eqref{blow} has to fall into case 2) of the proposition and the genus of the special

346: fiber is $p-1$. Let $s$ be such that $N=sp$. Then $s$ is the degree of 

347: $h(x_1)$ and since $p \ge 5$ 

348: we may assume $h(x_1)=x_1^s$ using Lemma \ref{hh}.

349: Here $s \in \{1,2\}$ depending on the degree

350: of $f(x_0)$.

351: We conclude that potentially good reduction implies

352: $$v(f'(d))\ge v(b^2) \quad \mbox{\rm and} \quad v(f^{(2)}(d))\ge v(b).$$

353: Now $v(f'(d))=v(g(d))$ so $v(g(d)) \ge v(b^2)$. Finally

354: $$g(d)=\frac{-1}{4(\B+\C+1)}(\llll^2(\B+1)^2-2\llll(\B+\C+1-\B\C)+(\C+1)^2)$$

355: and $4(\B+\C+1)$ is a unit. This shows that the condition on $j(\llll)$ is

356: necessary. 

357: 

358: To show sufficiency define $d,b$ as before and  

359: observe that $j(\llll) \ge 0$ implies

360: $\bar{g}(\bar{d})=0$ so $f(d)$ is a unit. Also by construction $g'(d)=0$.

361: We conclude that $\bar{d}$ is a zero of multiplicity $2$ in $\bar{f}'(x_0)$

362: hence $f^{(3)}(d)$ is a unit in $R$.

363: Define $F(x_0)$ by $f'(x_0)=F(x_0)g(x_0)$. Then, using $v(j(\llll))\ge 0$,

364: we get $v(f'(d)) \ge v(b^2)$ and the 

365: identity $f^{(2)}(x_0)=F'(x_0)g(x_0)+F(x_0)g'(x_0)$ shows $v(f^{(2)}(d)) \ge v(b^2)$. 

366: Now the above equation \eqref{blow} yields a smooth model using 

367: Proposition \ref{ap} as indicated in Remark \ref{app}.

368: 

369: 1)b): It follows from $v(\llll)=0$ that the stable reduction of $X$ has

370: a tree-like special fiber. Further the sum of the geometric genera over all 

371: the components in this tree is equal to the genus $g$ of the generic fiber $X$

372: (cf.\ \cite{L1} Theorem 2). By the Riemann-Hurwitz formula we get

373: $g=p-1$. As case 1)a) is an 

374: 'if and only if' statement in the present case we will have at least two 

375: components of strictly

376: positive genus. On the other hand by Artin-Schreier Theory

377: the genus of such a component is a 

378: multiple of $(p-1)/2$ (cf.\ Proposition \ref{stich}).

379: We conclude that the special fiber of the stable model has two irreducible

380: components of genus $(p-1)/2$ intersecting in exactly one point. 

381: The equations of those components have been given in the proof of loc.\ cit.\

382: Theorem 2.

383: 

384: \begin{figure}[h]

385: \begin{center}

386: \input{f2_pic2.pstex_t}

387: \caption{Typical picture of the fibers in Theorem \ref{deuring}' 1a) and 1b)

388: with ramification locus and the components of positive genus 

389: obtained by blow up.}

390: \label{1abfibers}

391: \end{center}

392: \end{figure}

393: 

394: 2)a): We will keep using the polynomials $f(x_0)$ and $g(x_0)$

395: of the proof of part 1)a).

396: Let $\AP$ be the smooth $R$-model for $\PK$ corresponding to the 

397: coordinate $x_0$ and 

398: $\mathcal X$ its normalization in $K(X)$. 

399: Then the singularities of $\mathcal X$ are closed points and their image

400: on the special fiber $\Pk$ of $\AP$ is 

401: contained in the locus $Z=\{x_0|\bar{g}(x_0)=0\}$. Now

402: $$\bar{g}(x_0)=x_0^2-x_0\left( \frac{\C+1}{\B+\C+1}\right)^- \quad 

403: \mbox{\rm and} \quad

404: Z=\{\bar{d}=(\frac{\C+1}{\B+\C+1})^-,0\}\quad \mbox{\rm with } \bar{d} 

405: \not=0.$$

406: We will verify that a suitable blow up on $\AP$ in the point 

407: $\bar{d}$ will induce a component of genus $(p-1)/2$ in the stable model 

408: of $X$:

409: Set $d=\frac{\C+1}{\B+\C+1}$; then this notation is consistent with the above

410: use of $\bar{d}$. We will blow up the ideal $(x_0-d,b)$ on $\AP$ where

411: $b=\tau^{1/2}$. With $N$ as before the equation for the generic fiber 

412: with respect to the coordinate $x_1=b/(x_0-d)$ is \eqref{blow}.

413: 

414: %$$y^p=x^N+b\frac{f'(d)}{f(d)}x^{N-1}+b^2\frac{f^{(2)}(d)}{2f(d)}x^{N-2} 

415: %+ \dots $$

416: Now observe that $\bar{d} \notin \{0,1\}$, i.e.\ it is not a zero of

417: $\bar{f}(x_0)$, so $f(d)$ is a unit in $R$. Also by construction $f'(d)=0$

418: and $f^{(2)}(d)$ is a unit.

419: Using Propositions \ref{ap} and \ref{stich} we conclude that $x_1=b/(x_0-d)$ 

420: corresponds to a component

421: of genus $(p-1)/2$ in the stable reduction of X.

422: At this point, by standard properties of semi-stable models,

423: it is already clear that the special fiber of the stable 

424: reduction is as stated in the theorem. To actually also obtain an equation of 

425: the second component one passes to a smooth $R$-model for $\PK$ on which

426: the two points $x_0=0$ and $x_0=\llll$ have distinct specializations by

427: change of coordinates $x_0 \mapsto x_0/\llll$.

428: Then one proceeds as before to get a different component of the same genus.

429: 

430: 2)b1): Consider the smooth $R$-model for $\PK$ corresponding to

431: $x_1=x_0/\tau$. We claim that its normalization in $K(X)$ is a smooth model

432: for $X$. With respect to $x_1$ the branch locus is 

433: $\{0,\llll/\tau, \infty, 1/\tau\}$. Now the claim follows from 

434: \cite{L1} Example 1 and Proposition 4. 

435: Alternatively one can write out the equations

436: as done before. The statement on the $p$-rank is immediate from the

437: Deuring-Shafarevich Formula (cf.\ \cite{Cr} Corollary 1.8.)

438: once one observes that the special fiber of the smooth model is a

439: Galois cover of $\Pk$ ramified in two points.

440: 

441: \begin{figure}[h]

442: \begin{center}

443: \input{f2_pic3.pstex_t}

444: \caption{Typical picture of the fibers in Theorem \ref{deuring}' 2a) and 2b1)

445: with ramification locus and the components of positive genus 

446: obtained by blow up.}

447: \label{2ab1fibers}

448: \end{center}

449: \end{figure}

450: 

451: 2)b2): Consider the model for $\PK$ corresponding to $x_1=x_0/\llll^{1/2}$.

452: With respect to $x_1$ the branch locus is 

453: $\{0,\llll^{1/2},\infty, 1/\llll^{1/2}\}$.

454: The fact that the stable model is a Mumford curve now follows exactly

455: as in \cite{L1} Example 5 (with $\tau^2$ replaced by $\llll^{1/2}$).

456: 

457: 2)b3): What follows is the most delicate part of the proof.

458: To symmetrize the position of the branch points we consider the smooth

459: $R$-model for $\PK$ corresponding to $x_1=x_0/(x_0+\llll^{1/2})$ and write

460: $\E=\llll^{1/2}/(1+\llll^{1/2})$.

461: With respect to the coordinate $x_1$ the branch locus becomes

462: $\{0,\E,1,1-\E\}$. The equation for the 

463: generic fiber is

464: \begin{equation} \label{2}

465: z_1^p=F(x_1)=x_1(x_1-\E)^{p-1}(x_1-1)^{p-\B}(x_1-1+\E)^{\B}.

466: \end{equation}

467: Further we set

468: \begin{equation}\label{ha} h(x_1)=x_1(x_1-1) \end{equation}

469: 

470: Let ${\mathcal Y}_k$ be the special fiber of the normalization of the new

471: model (corresponding to $x_1$) in $K(X)$.

472: Using Proposition \ref{ap} 3) and Remark \ref{app}

473: one shows that ${\mathcal Y}_k$

474: is given birationally by the equation

475: $$y^p=t(x_1)=-\left( \frac{h(x_1)^p-F(x_1)}{\llll^{1/2}} \right)^-.$$ 

476: Further a direct computation yields

477: $$t(x_1)=(x_1-1)^{p-1}x_1^{p-1}((\bar{\B}+1)x_1-1) \notin k[x]^p$$

478: $$t'(x_1)= (x_1-1)^{p-2}x_1^{p-2}(-(\bar{\B}+1)x_1^2+2x_1-1)$$

479: 

480: We conclude that the singularities on $\mathcal Y$ 

481: map to the locus $\{x_1|-(\bar{\B}+1)x_1^2+2x_1-1=0\}$ if $\bar{\B}+1 \not=0$ 

482: and, after minor modifications, 

483: to $\{x_1|2x_1-1=0\} \cup \{\infty\}$ if $\bar{\B}+1=0$.

484: Notice that these loci are disjoint from $\{0,1\}$, the locus where the

485: branch points of the generic fiber specialize to.

486: 

487: \begin{figure}[h]

488: \begin{center}

489: \input{f2_pic4.pstex_t}

490: \caption{The symmetrized model for $\PK$, corresponding to $x_1$, as introduced in the proof 

491: of case 2b3). Notice that the image of the singular locus, marked by dots, is 

492: disjoint from the horizontal branching.}

493: \label{2b3fibers}

494: \end{center}

495: \end{figure}

496: 

497: Strictly speaking introducing $x_1=x_0/(x_0+\llll^{1/2})$ is not necessary but it

498: makes the following constructions less ad hoc. Also we will only consider 

499: the case that $\bar{\B}+1 \not=0$ the other case can be treated in a similar

500: manner. At this point we again have to distinguish two cases:

501: 

502: First assume $0 < v(\llll^{1/2}) \le v(p^{(p-2)/(p-1)})$. 

503: Consider the derivative

504: $$F'(x_1)=(x_1-\E)^{p-2}(x_1-1)^{p-\B-1}(x_1-1+\E)^{\B-1}$$

505: $$\left( 2px_1^3-(3p-\E(p-1-\B))x_1^2+x_1(\E^2(\B-1-p)+p+2\E)+\E(\E-1) 

506: \right)$$

507: 

508: %$$\left( 2px^3-\frac{(2p+\B+1)\llll^{1/2}+3p}{1+\llll^{1/2}}x^2

509: %+\frac{2\llll^{1/2}(p+1)

510: %+\llll(1+\B)+p}{(1+\llll^{1/2})^2}x-\frac{\llll^{1/2}}{(1+\llll^{1/2})^2}

511: %\right)$$

512: 

513: We set $g(x_1)=$

514: $$\frac{1}{\llll^{1/2}}

515: \left( 2px_1^3-(3p-\E(p-1-\B))x_1^2+x_1(\E^2(\B-1-p)+p+2\E)+\E(\E-1) \right).$$

516: 

517: %$$\frac{1}{\llll^{1/2}}

518: %\left( 2px^3-\frac{(2p+\B+1)\llll^{1/2}+3p}{1+\llll^{1/2}}x^2

519: %+\frac{2\llll^{1/2}(p+1)

520: %+\llll(1+\B)+p}{(1+\llll^{1/2})^2}x

521: %-\frac{\llll^{1/2}}{(1+\llll^{1/2})^2}\right) .$$

522: 

523: Notice that $g(x_1) \in R[x_1]$ and the zeros of $\bar{g}(x_1)$ are contained 

524: in the image of the singularities of ${\mathcal Y}_k$ above. 

525: Let $d$ be a zero of $g(x_1)$ not specializing to $\infty$.

526: There are exactly two of these and they specialize to distinct simple zeros

527: of $\bar{g}(x_1)$. 

528: Choose $b$ such that $v(b^2\llll^{1/2})=v(\tau)$ and consider the 

529: coordinate $x_2=b/(x_1-d)$. Then the equation for the

530: special fiber becomes

531: \begin{equation}\label{3}

532: z_2^p=\sum_{i=0}^{2p}b^i \frac{F^{(i)}(d)}{i!F(d)}x_2^{2p-i}

533: \end{equation}

534: Observe that $F(d)$ is a unit, $F'(d)=0$ and $v(F^{(2)}(d))=\llll^{1/2}$ 

535: because

536: $d$ was chosen to be a simple zero. Also $v(b^iF^{(i)}(d)/i!)>v(\tau)$ for 

537: $3 \le i$ and $(p,i)=1$. Further the condition 

538: $0 < v(\llll^{1/2}) \le v(p^{(p-2)/(p-1)})$ implies that $v(b^p) \ge v(\tau)$.

539: With $h_2(x_2):=x_2^2$ Proposition \ref{ap}, used as indicated in Remark 

540: \ref{app},  

541: shows that this blow up yields an irreducible component

542: in the stable reduction of $X$. Further, by

543: Proposition \ref{stich}, the  

544: genus of this component is $(p-1)/2$.  

545: Doing the same for the other choice of $d$ will yield the 

546: second component in the stable model. Having introduced the 

547: symmetrized model

548: at the beginning of the proof it is clear that this second component is

549: different from the one just computed.

550: 

551: Now assume $v(\tau) > v(\llll^{1/2}) \ge v(p^{(p-2)/(p-1)})$. 

552: With $x_1$ as in equation \eqref{2} and $h(x_1)$ as defined in \eqref{ha}

553: write $$T_0(x_1)=\frac{h(x_1)^p-F(x_1)}{\llll^{1/2}}$$

554: We have seen above that $\bar{T}_0'(x_1)=-t'(x_1)$ has two distinct zeros 

555: outside

556: $\{0,1\}$. Now let $d$ be one of the two zeros of $T_0'(x_1)$ not specializing 

557: to $\{0,1\}$. Choose $b$ such that $v(b^2\llll^{1/2})=v(\tau)$.

558: In what follows we will show that 

559: the blow up corresponding to $x_2=b/(x_1-d)$ will yield a component of the 

560: stable model. As before the generic fiber is given birationally by 

561: $$z_2^p=\tilde{F}(\U)={\U}^{2p}+b\frac{F'(d)}{F(d)}\U^{2p-1}

562: +b^2\frac{F^{(2)}(d)}{2F(d)}\U^{2p-2} 

563: + \dots + b^p\frac{F^{(p)}(d)}{p!F(d)}\U^p+ \dots$$

564: Set $$\tilde{h}(\U)=\U^2+b\frac{h'(d)}{h(d)}\U+\frac{b^2}{h(d)}$$

565: Notice that 

566: $$\tilde{h}(\U)^p=\U^{2p}+b\frac{(h(x_1)^p)'|_{x_1=d}}{h(d)^p}\U^{2p-1}

567: +b^2\frac{(h(x_1)^p)^{(2)}|_{x_1=d}}{2!h(d)^p}\U^{2p-2}+ \dots $$

568: We claim that $v(\tilde{h}(\U)^p-\tilde{F}(\U))=v(\tau)$.

569: With $T(x_1)=h(x_1)^p-F(x_1)$ we have $T'(x_1)=ph(x_1)^{p-1}h'(x_1)-F'(x_1)$.

570: Further $v(T'(x_1))=v(\llll^{1/2})$ because $\bar{T}_0'(x_1)=-t'(x_1)\not\equiv 0$.

571: Certainly $v(F'(x_1)) \le v(p)$, so

572: we get that $v(F'(x_1))=\mbox{\rm min}\{v(\llll^{1/2}),v(p)\}$.

573:  

574: Also $v(T(x_1))=v(\llll^{1/2})$ therefore $h(d)^p=F(d)+r$ with 

575: $v(r) \ge v(\llll^{1/2})$.

576: Now we are ready to analyze $\tilde{h}(\U)^p-\tilde{F}(\U)$.

577: Consider the coefficient of $\U^{2p-i}$:

578: $$b^i\frac{(h(x_1)^p)^{(i)}|_{x_1=d}}{i!h(d)^p}-b^i\frac{F^{(i)}(d)}{i!F(d)}$$

579: Multiplying this with the unit $h(d)^p$ we get

580: $$\frac{b^i}{i!}\left( (h(x_1)^p)^{(i)}|_{x_1=d}

581: -F^{(i)}(d)\frac{h(d)^p}{F(d)} \right)$$

582: $$=\frac{b^i}{i!}\left( (h(x_1)^p-F(x_1))^{(i)}|_{x_1=d}\right) 

583: +b^ir\frac{F^{(i)}(d)}{i!F(d)}.$$

584: Now by construction $(h(x_1)^p-F(x_1))'|_{x_1=d}=0$ and $v(brF'(d)) > v(\tau)$.

585: (It is this last inequality that only is valid if we put a lower bound 

586: on $v(\llll^{1/2})$).

587: Further the coefficient of $\U^{2p-2}$ has order exactly $v(\tau)$

588: because $\bar{d}$ is a simple zero of $\bar{T}_0'(x_1)$. 

589: Finally the coefficients of

590: all other $\U$-powers have orders $>v(\tau)$. 

591: Again Proposition \ref{ap} case 2 yields

592: a component of genus $(p-1)/2$. The other component is obtained the same way

593: using the second zero of $T_0'(x_1)$ mentioned above. \ed \\

594: 

595: Next we treat the case of $p=3$. Otherwise

596: we keep the assumptions of the previous theorem. Here the result will look

597: slightly different.

598: 

599: \begin{theorem} \label{p3}

600: There are three possibilities for the special fiber $X_k$ of the stable model:

601: 

602: \begin{itemize}

603: \item[1)] $X_k$ consists of a single irreducible component, i.e.\ 

604: $X$ has potentially good reduction iff $\C+1=p$ and $v(\llll)=v(\tau^2)$.

605: In this case $X_k$ has $p$-rank $p-1$.

606: 

607: \item[2)] $X_k$ has exactly two irreducible components, both of genus zero and

608: intersecting each other in $p$ distinct points iff $\C+1=p$ and 

609: $v(\llll)>v(\tau^2)$. In this case $X$ is a Mumford curve.

610: 

611: \item[3)] In all remaining cases $X_k$ has two irreducible components, each

612: of genus $(p-1)/2$, intersecting in precisely one point.

613: \end{itemize}

614: \end{theorem}

615: 

616: \noindent{\it Proof.} We follow the same path as for $p>3$ distinguishing

617: the cases $v(\llll)=0$ and $v(\llll) \ge 0$.

618: The first case is a consequence of \cite{M} and the algorithm given there

619: also will yield equations. Observe that it is a priory clear that potentially 

620: good reduction with $p$-rank zero is not an option, using genus formulas.

621: 

622: In the case of $v(\llll) \ge 0$ the previous proof carries over word by

623: word. \ed\\

624: 

625: We would like to compare the above to a classic result of Deuring 

626: on elliptic curves which we first recall:\\

627: 

628: \noindent{\bf Theorem (Deuring)}{\it

629: Let $X/K$ be an elliptic curve given by $y^2=x(x-1)(x-\llll)$

630: with $j$-invariant

631: \[j(E)=2^8\frac{(\llll^2-\llll+1)^3}{\llll^2(\llll-1)^2} .\] 

632: Then $X$ has potentially good reduction if and only if $j(E)\in R$.}\\

633: 

634: To see why Theorem \ref{deuring} is an analog of this consider 

635: Deuring's criterion in

636: the case that the residue characteristic is $p=2$. This is the only case

637: which involves wild ramification. Then it is a statement

638: about reduction of cyclic covers of degree $p=2$, ramified at four points.

639: Deuring's result is not a special case of Theorem \ref{deuring} but can be

640: proved using methods similar to those used above.

641: Note that at the beginning we defined 

642: $j(\llll)$ for $z_0^p=x_0(x_0-1)^{\B}(x_0-\llll)^{\C}$ and in the special case of

643: $\B=\C=1$ this yields $j(\llll)=4p^{-2p/3(p-1)}(\llll^2-\llll +1)$ which

644: is quite similar to $j(E)$ for elliptic curves.

645: 

646: \begin{remark} \rm 

647: In Theorem \ref{deuring} it would be desirable to have a set of invariants

648: such as $j(\llll)$ which determine the stable reduction of $X$ through

649: their absolute values. This has been achieved

650: by Q.Liu for genus $2$ curves (cf.\ \cite{Li} Theorem 1). 

651: In our setup it seems 

652: not obvious how to find such a set of invariants if possible at all.

653: A reason for this is that here there is no modular interpretation in the

654: sense that not every curve of genus $(m-1)(p-1)/2$ arises as a $p$-cyclic cover

655: of the affine line.

656: \end{remark}

657: 

658: \section{An Application} \label{exo}

659: 

660: The following application of Theorem \ref{deuring} was pointed out by David

661: Harbater. Besides being of interest on its own, it also has significance

662: in the theory of lifting Galois covers from positive characteristic to

663: characteristic zero.

664: 

665: \begin{proposition} \label{qwerty} For $p>3$

666: consider the cover $X \la \Pk$ given birationally by 

667: \begin{equation} \label{exx}

668: z^p=(x-c_1)^{p-1}(x+c_1)(x-c_2)^{p-1}(x+c_2)

669: \end{equation}

670: where $c_1,-c_1,c_2,-c_2 \in R$ are all distinct.

671: Then this cover can not have potentially good reduction of type 1a.

672: \end{proposition}

673: 

674: \begin{proof} We first bring equation \eqref{exx} in the shape

675: required to apply Theorem \ref{deuring}. Therefore we introduce the coordinate

676: $$x_0=\frac{c_1-c_2}{2c_1} \frac{x+c_1}{x-c_2}.$$

677: With respect to $x_0$ the generic fiber is given by

678: \begin{equation}

679: z_0^p=x_0(x_0-1)^{p-1}(x_0+\frac{(c_1-c_2)^2}{4c_1c_2})

680: \end{equation}

681: 

682: In what follows we will assume that the cover has potentially good reduction

683: of type 1a) and produce a contradiction. 

684: Observe that Theorem \ref{deuring}' 1)a) implies that there exists a smooth $R$-model

685: for $\PK$ such that the points of the branch locus of $X \la \PK$ specialize

686: to distinct points on the closed fiber.

687: Now, with respect to $x_0$, the branch locus contains $\{0,1,\infty\}$ and hence

688: the fourth point can not specialize to the set $\{0,1,\infty\}$ on the closed fiber.

689: We write $\llll=-\frac{(c_1-c_2)^2}{4c_1c_2}$ and conclude $\llll \in R-\{0,1\}$ and

690: $\bar{\llll}\not=1$. Now we can apply Theorem \ref{deuring} 1)a) to obtain 

691: $v(j(\llll)) \ge 0$. So

692: $j(\llll)=p^{-2p/(3(p-1))}(\llll^2(\B +1)^2-2\llll

693: (\B+\C+1-\B\C)+(\C+1)^2)$ and with

694: $\B=p-1$ and $\C=1$ we get

695: $j(\llll)= p^{-2p/(3(p-1))}(\llll^2p^2-4\llll+4)$

696: This yields $v(\llll-1) \ge 0$ - a contradiction, so this case

697: doesn't occur.

698: 

699: \begin{remark} \rm In the situation of Proposition \ref{qwerty} potentially

700: good reduction of type 1b is possible. One easily checks that it is the case 

701: for $c_1=1$ and $c_2=-\tau-1$ or $c_1=1$ and $c_2=\tau^2$.

702: \end{remark}

703: 

704: 

705: 

706: 

707: \end{proof}

708: 

709: 

710: \bibliographystyle{amsplain}

711: \begin{thebibliography}{AAAAA}

712: 

713: %\bibitem[Bo]{Bo}

714: %Bourbaki, N.: Commutative Algebra. Berlin-Heidelberg-New York: Springer 1989.

715: 

716: %\bibitem[BW]{BW}

717: %Bouw, I., Wewers, S.: Reduction of covers and Hurwitz spaces. Preprint 2000.

718: 

719: %\bibitem[Co]{C}

720: %Coleman, R.: Computing stable reductions. 

721: %S\'eminaire de Th\'eorie des Nombres,

722: %Paris 1985-86. Basel-Boston-Berlin: Birkh\"auser 1987.

723: 

724: %\bibitem[CM]{CM} Coleman, R., McCallum, W.: Stable reduction of Fermat

725: %curves and Jacobi sum Hecke characters. J. reine. angew. Math.{\bf

726: %385}, 41-101 (1988).

727: 

728: \bibitem[Cr]{Cr} Crew, R.M.: Etale $p$-covers in characteristic $p$.

729: Compositio Math.{\bf 52}, 31-45 (1984).

730: 

731: \bibitem[DM]{DM}

732: Deligne, P., Mumford, D.: The irreducibility of the

733: space of curves of given genus. Inst. Hautes Etudes Sci. Publ. Math. 

734: {\bf 36}, 75-109 (1969).

735: 

736: %\bibitem[GM]{GM}

737: %Green, B., Matignon, M.: Order $p$ automorphisms of the open disc of a

738: %$p$-adic field. J. Amer. Soc. {\bf 12} (1), 269-303 (1999).

739: 

740: %\bibitem[SGA1]{SGA1}

741: %Grothendieck, A.: Rev\^etements \'etales et groupe fondamental.

742: %Berlin-Heidelberg-New York: Springer 1971.

743: 

744: %\bibitem[EGA1]{EGA1}

745: %Grothendieck, A., Dieudonne, J.: El\'ements de la g\'eom\'etrie alg\'ebrique.

746: %Berlin-Heidelberg-New York: Springer 1971. 

747: 

748: %\bibitem[EGA3]{EGA3}

749: %Grothendieck, A., Dieudonne, J.: El\'ements de la g\'eom\'etrie alg\'ebrique.

750: %Inst. Hautes Etudes Sci. Publ. Math. 

751: %No.{\bf 11,17} (1961,1963). 

752: 

753: %\bibitem[H1]{H1}

754: %Harbater, D.: Ordinary and Supersingular Covers in Characteristic $p$.

755: %Pacific Journal of Mathematics, {\bf 113}, No.2, 349-363, 1984.

756: 

757: %\bibitem[H2]{H2} 

758: %Harbater, D.: Abhyankar's Conjecture on Galois groups over

759: %curves. Inv. Math.{\bf 117},1-25, 1994.

760: 

761: %\bibitem[Ha]{Ha} 

762: %Hartshorne, R.: Algebraic Geometry. 

763: %Berlin-Heidelberg-New York: Springer 1977.

764: 

765: %\bibitem[He]{H}

766: %Henrio, Y.: Arbres de Hurwitz et automorphismes d'ordre $p$ des

767: %disques et couronnes $p$-adiques formels. doctoral thesis, Bordeaux 1999.

768: 

769: %\bibitem[Hy]{Hy}

770: %Hyodo, O.: Wild ramification in the imperfect residue field case.

771: %Advanced studies in pure mathematics 12, 1987.

772: 

773: %\bibitem[Hu]{Hu}

774: %Husem\"oller, D.: Elliptic Curves.

775: %Berlin-Heidelberg-New York: Springer 1987.

776: 

777: %\bibitem[K]{K} 

778: %Koblitz, N.: P-adic numbers, p-adic analysis and

779: %zeta-functions. Berlin-Heidelberg-New York: Springer 1977.

780: 

781: \bibitem[L1]{L1}

782: Lehr, C.: Reduction of $p$-cyclic Covers of the Projective Line.

783: Manuscripta Math. {\bf 106}, 151-175 (2001).

784: 

785: \bibitem[L2]{L2} Lehr, C. {Effective methods for vanishing cycles of 

786: $p$-cyclic covers of the $p$-adic line}. 

787: J. Algebra {\bf 271}, no. 1, 407-425 (2004).

788: 

789: \bibitem[Li]{Li}

790: Liu, Q.: Courbes stables de genre $2$ et leur sch\'ema de modules.

791: Math.Ann. {\bf 295}, 201-222 (1993).

792: 

793: %\bibitem[LL]{LL}

794: %Liu, Q., Lorenzini, D.: Models of curves and finite covers. Compositio

795: %Math. {\bf 118}, 61-102 (1999).

796: 

797: %\bibitem[Ma]{Ma} 

798: %Matsumura, H.: Commutative Algebra.

799: %Reading, Massachusetts: Benjamin/Cummings Publishing Company 1981.

800: 

801: \bibitem[M]{M}

802: Matignon, M.: Vers un algorithme pour la r\'eduction stable des rev\^etements

803: $p$-cycliques de la droite projective sur un corps $p$-adique.

804: Math. Ann. {\bf 325}, no. 2, 323-354 (2003).

805: 

806: \bibitem[R]{R1}

807: Raynaud, M.: $p$-groupes et r\'eduction semi-stable des courbes. The

808: Grothendieck Festschrift, Vol.3, Basel-Boston-Berlin: Birkh\"auser 1990.

809: 

810: %\bibitem[R2]{R3} 

811: %Raynaud, M.: Rev\^etements de la droite affine en caracteristique

812: %$p \not= 0$ et conjecture d'Abhyankar. Inv. Math. {\bf 116}, 425-462

813: %(1994)

814: 

815: %\bibitem[R3]{R2}

816: %Raynaud, M.: Sp\'ecialisation des rev\^etements en caract\'eristique $p>0$.

817: %Ann. Scient. Ec. Norm. Sup. {\bf 32}(4), 87-126 (1999).

818: 

819: %\bibitem[Sa]{S} 

820: %Sa\"{\i}di, M.: $p$-rank and semi-stable reduction of curves II.

821: %Math.Ann. {\bf 312} (4), 625-639  (1998).

822:  

823: %\bibitem[Sc]{Sc} Schmechta, T.: Mumford-Tate curves. Courbes

824: %semi-stables et group fondamental en g\'eom\'etrie alg\'ebrique.

825: %Basel-Boston-Berlin: Birkh\"auser 2000.

826: 

827: %\bibitem[Se]{Se} Serre, J.P.:Corps Locaux. Paris: Hermann 1968.

828:  

829: \bibitem[St]{St} Stichtenoth, H.: Algebraic Function Fields and

830: Codes. Berlin-Heidelberg-New York: Springer 1993. 

831: 

832: %\bibitem[VS]{VS} Van Steen, G.: Galois Coverings of the Non-Archimedean

833: %Projective Line. Math. Z. {\bf 180}, 217-224 (1982).

834: 

835: 

836: \bibitem[Za]{Za} Zapponi, L.: 

837: Specialization of polynomial covers of prime degree. 

838: Pacific J. Math. {\bf 214}, no. 1, 161-183 (2004).

839: 

840: 

841: %\bibitem[Z]{Z} Zhang, B.: Rev\^etements \'etales ab\'eliens de

842: %courbes g\'en\'erique et ordinarit\'e. Ann. Fac. Sci. Toulouse

843: %Math. (6) 1, no. 1, 133--138  (1992).

844: 

845: \end{thebibliography}

846: \end{document}

847: 

848: 

849: 

850: 

851: 

852: 

853: 

854: 

855: 

856: 

857: 

858: 

859: 

860: 

861: 

862: 

863: 

864: 

865: 

866: 

867: