1: \documentclass[12pt]{amsart}
2: \setcounter{tocdepth}{1}
3: \usepackage{amssymb}
4: \usepackage{epsfig}
5: \usepackage{graphicx}
6: \numberwithin{equation}{section}
7:
8:
9: \input xy
10: \xyoption{all}
11:
12:
13: \textheight 20cm \textwidth 13cm
14: \advance\headheight 2pt
15: \calclayout
16: \allowdisplaybreaks[3]
17:
18:
19:
20: \theoremstyle{plain}
21: \newtheorem{prop}{Proposition}
22: \newtheorem{Theo}[prop]{Theorem}
23: \newtheorem{theo}[prop]{Theorem}
24: \newtheorem{coro}[prop]{Corollary}
25: \newtheorem{cond}[prop]{Condition}
26: \newtheorem{lemm}[prop]{Lemma}
27: \newtheorem{assu}[prop]{Assumption}
28: \newtheorem{sublemm}[prop]{Sublemma}
29:
30: \theoremstyle{definition}
31: \newtheorem{defi}[prop]{Definition}
32: \newtheorem{prob}[prop]{Problem}
33: \newtheorem{ques}[prop]{Question}
34: \newtheorem{conj}[prop]{Conjecture}
35:
36: %\theoremstyle{remark}
37: \newtheorem{rema}[prop]{Remark}
38: \newtheorem{rems}[prop]{Remarks}
39: \newtheorem{exam}[prop]{Example}
40: \newtheorem{exer}[prop]{Exercise}
41: \newtheorem{nota}[prop]{Notation}
42:
43:
44:
45: %\usepackage[notref,notcite]{showkeys}
46:
47:
48: %\numberwithin{equation}{section}
49:
50: \newcommand{\bA}{\mathbb A}
51: \newcommand{\bC}{\mathbb C}
52: \newcommand{\bN}{\mathbb N}
53: \newcommand{\bP}{\mathbb P}
54: \newcommand{\bQ}{\mathbb Q}
55: \newcommand{\bZ}{\mathbb Z}
56:
57:
58: \newcommand{\cC}{\mathcal C}
59: \newcommand{\cI}{\mathcal I}
60: \newcommand{\cL}{\mathcal L}
61: \newcommand{\cN}{\mathcal N}
62: \newcommand{\cO}{\mathcal O}
63: \newcommand{\cT}{\mathcal T}
64: \newcommand{\cU}{\mathcal U}
65: \newcommand{\cV}{\mathcal V}
66: \newcommand{\cW}{\mathcal W}
67: \newcommand{\cX}{\mathcal X}
68: \newcommand{\cY}{\mathcal Y}
69:
70:
71: \newcommand{\ra}{\rightarrow}
72: \newcommand{\lra}{\longrightarrow}
73: \newcommand{\Spec}{{\rm Spec}}
74: \newcommand{\Hom}{{\rm Hom}}
75: \newcommand{\iHom}{{\mathcal H}\!{\mathit om}}
76: \newcommand{\Hilb}{{\mathcal H}\!{\mathit ilb}}
77: \newcommand{\Ext}{{\rm Ext}}
78: \newcommand{\iExt}{{\mathcal E}\!{\mathit xt}}
79: \newcommand{\mfm}{\mathfrak m}
80: \newcommand{\mfq}{\mathfrak q}
81: \newcommand{\mfr}{\mathfrak r}
82: \newcommand{\mfw}{\mathfrak w}
83: \newcommand{\mfo}{\mathfrak o}
84:
85: \makeatother
86: \makeatletter
87:
88:
89:
90:
91: \author{Brendan Hassett}
92: \address{Department of Mathematics \\
93: Rice University, MS 136 \\
94: Houston, Texas 77251-1892 \\
95: USA}
96: \email{hassett@rice.edu}
97:
98: \author{Yuri Tschinkel}
99: \address{
100: Mathematisches Institut \\
101: Bunsenstr. 3-5 \\
102: 37073 G\"ottingen \\
103: Germany \\
104: Courant Institute, NYU \\ 251 Mercer str. \\ New York, NY 10012 \\ USA}
105: \email{
106: tschinkel@cims.nyu.edu}
107:
108:
109:
110:
111:
112:
113: \title[Approximation at places of bad reduction]{Approximation
114: at places of bad reduction for rationally connected varieties}
115:
116:
117:
118:
119:
120:
121: \begin{document}
122: \date{\today}
123:
124:
125: \begin{abstract}
126: This paper addresses weak approximation for rationally connected
127: varieties defined over the function field of a curve, especially
128: at places of bad reduction. Our
129: approach entails analyzing the rational connectivity of the smooth
130: locus of singular reductions of the variety. As an application,
131: we prove weak approximation for cubic surfaces with square-free
132: discriminant.
133: \end{abstract}
134:
135: \maketitle
136: \tableofcontents
137:
138: \section{Introduction}
139: \label{sect:introduction}
140:
141:
142: In number theory, many results and techniques rely on
143: approximating adelic points by rational points.
144: In this paper, we study geometric versions of these notions
145: for rationally connected varieties over the function field of a curve.
146: In this context, rational points correspond to sections of
147: rationally-connected fibrations over the curve.
148: We are looking for sections with prescribed jet data
149: in finitely many fibers
150: (see Section~\ref{sect:approx} for definitions).
151:
152: Let $k$ be an algebraically closed field of characteristic zero,
153: $B$ a smooth curve over $k$ with function field $F=k(B)$.
154: Let $\overline{B}$ be the smooth projective model of $F$
155: and put $S:=\overline{B}\setminus B$.
156:
157: \begin{theo}\label{theo:main}
158: Let $X$ be a smooth proper rationally connected variety over $F$, and $\pi:\cX \ra B$ a
159: model of $X$, i.e., $\cX$ is an algebraic space flat and proper over $B$
160: with generic fiber $X$. Let $\cX^{sm}$ be the locus where $\pi$ is smooth and
161: $\cX^{\bullet} \subset \cX^{sm}$ be such that
162: \begin{enumerate}
163: \item{
164: there exists a section $s:B\ra \cX^{\bullet}$;}
165: \item{
166: for each $b\in B$ and $x\in \cX^{\bullet}_b$, there exists a rational
167: curve $f:\bP^1\ra \cX^{\bullet}_b$ containing $x$ and the generic point of $\cX^{\bullet}_b$.}
168: \end{enumerate}
169: Then sections of $\cX^{\bullet}\ra B$ satisfy approximation away from $S$.
170: \end{theo}
171: Rationally-connected fibrations over curves have sections
172: by \cite{GHS}. The existence of a section
173: through a finite set of prescribed points is addressed
174: \cite{KMM} 2.13 and \cite{kollar} IV.6.10.1.
175: Weak approximation is known in fibers of good reduction \cite{HT}, so we
176: take simultaneous resolutions of singular fibers of $\cX$ whenever possible
177: \cite{Br1} \cite{Br2}. Consequently, when $\cX \ra B$ admits a simultanteous resolution over
178: some \'etale neighborhood of $b$, we replace $\cX$ by this resolution.
179: However, the resolved family may be an algebraic space, rather than
180: a scheme, over $B$.
181: This is why Theorem~\ref{theo:main} is stated in this generality.
182:
183: We shall actually prove a stronger result, Theorem~\ref{theo:mainbis},
184: which is applicable in positive characteristic. In this context,
185: Corollary~\ref{coro:positive} gives weak approximation at places of
186: good reduction.
187:
188:
189:
190: \
191:
192: There are very few instances where weak approximation over function fields is known
193: at all places \cite{CT}:
194: \begin{itemize}
195: \item stably rational varieties;
196: \item connected linear algebraic groups and homogeneous spaces
197: for these groups;
198: \item homogeneous space fibrations over varieties that satisfy weak approximation,
199: for example, conic bundles over rational varieties;
200: \item Del Pezzo surfaces of degree at least four.
201: \end{itemize}
202: Even the case of cubic surfaces remains open, in general.
203: Madore established weak approximation for cubic surfaces
204: at places of good reduction \cite{Ma}. His proof uses the abundance of
205: distinct unirational parametrizations, and builds on ideas of Swinnerton-Dyer \cite{SWD}.
206:
207: When is Theorem~\ref{theo:main} applicable?
208: Let $X$ be a smooth projective rationally connected variety over $F=k(B)$,
209: with $B$ projective. There
210: exists a regular model $\pi:\cX \ra B$, and any section $s:B\ra \cX$
211: is contained in $\cX^{sm}$.
212: For each singular fiber $\cX_b$, fix an irreducible component
213: $\cX^{\bullet}_b\subset \cX_b^{sm}$; these determine
214: an open subset $\cX^{\bullet}\subset \cX^{sm}$. To prove weak
215: approximation for $X$, it suffices to prove approximation
216: for each $\cX^{\bullet}$ obtained in this way.
217: We do not know how to verify (1) in general: Is there
218: {\em any} section meeting a prescribed irreducible component of $\cX^{sm}_b$?
219: Further, there is no general result giving a regular model $\cX\ra B$ such that
220: each irreducible component of $\cX^{sm}_b$ has the property (2).
221:
222: We give applications to cubic surfaces:
223: \begin{theo}\label{theo:cubic}
224: Let $X$ be a smooth cubic surface over $F$ and $\pi:\cX \ra B$ a model
225: whose singular fibers are cubic surfaces with rational double points. Suppose
226: there exists a section $s:B\ra \cX^{sm}$.
227: Then sections of $\cX^{sm}\ra B$ satisfy approximation away from $S$.
228: \end{theo}
229: When the model is regular all sections are contained in the smooth locus,
230: so we conclude:
231: \begin{coro}\label{coro:cubicsm}
232: Let $X$ be a smooth cubic surface over $F$. Suppose $X$ admits a regular model $\pi:\cX \ra B$
233: whose singular fibers are cubic surfaces with rational double points.
234: Then weak approximation holds for $X$ away from $S$.
235: \end{coro}
236:
237: There exist cubic surfaces which do not admit models with at most
238: rational double points in a given fiber, e.g.,
239: the isotrivial family
240: $$x^3+y^3+z^3=tw^3$$
241: over the $t$-line.
242: Nonetheless, Corollary~\ref{coro:cubicsm} proves weak approximation
243: for `generic' cubic surfaces.
244: \begin{coro}\label{coro:cubicgen}
245: Let $\Hilb=\bP(\Gamma(\cO_{\bP^3}(3)))\simeq \bP^{19}$ denote the Hilbert scheme of
246: cubic surfaces, $\cU\ra \Hilb$ the universal family,
247: $D\subset \Hilb$ the discriminant divisor, and $B\subset\Hilb$
248: a smooth curve transverse to $D$ (i.e., the discriminant is square-free along $B$).
249: Then sections of
250: $$
251: \cX=\cU\times_{\Hilb}\Spec(F)\ra B
252: $$
253: satisfy approximation away from $S$.
254: \end{coro}
255:
256: Meeting the discriminant transversally is an open condition
257: on the classifying map to the Hilbert scheme.
258: The transversality implies that near singular points
259: of $\cX_b$, the model $\cX:=\cU\times_{\Hilb}B$ has local analytic equation
260: $x^2+y^2+z^2=t$, where $t$ is a local uniformizer for $B$ at $b$.
261: In particular, $\cX$ is a regular model and Corollary~\ref{coro:cubicsm}
262: applies.
263:
264:
265:
266:
267:
268:
269: \
270:
271: In our approach to approximation, we require precise control over proper rational curves in
272: the smooth locus.
273: One focus of this paper is to extend standard results on smooth proper rationally
274: connected varieties to the non-proper case (see Section~\ref{sect:SRC}).
275: The application to cubic surfaces entails a refinement of rational connectivity results
276: of \cite{KeMc} (see Section~\ref{sect:cubic}).
277:
278:
279:
280: \
281:
282: \noindent
283: {\bf Acknowledgments:} We are grateful to J. L. Colliot-Th\'el\`ene for numerous discussions about
284: the problems considered here; the ideas here were developed during visits to
285: Orsay by both authors. We also benefitted from conversations with S. Keel,
286: A. Knecht, J. Koll\'ar, and J. McKernan.
287: The first author was partially supported by the
288: Sloan Foundation and NSF Grants 0134259 and 0196187.
289:
290: \section{Notions of approximation}
291: \label{sect:approx}
292: Let $F$ be a global field, i.e., a number field or the function
293: field of a curve $B$ defined over an algebraically closed field $k$.
294: Let $S$ a finite
295: set of places of $F$ containing the archimedean places, $\mfo_{F,S}$
296: the corresponding ring of integers, and
297: $\bA_{F,S}$ the restricted direct product over all places outside $S$.
298:
299: Let $X$ be an algebraic variety over $F$,
300: $X(F)$ the set of $F$-rational points
301: and $X(\bA_{F,S})\subset \prod_{v\notin S}X(F_v)$ the set of $\bA_{F,S}$-points of $X$.
302: The set $X(\bA_{F,S})$
303: carries a natural direct product topology.
304: One says that {\em weak approximation} holds for $X$ away from $S$
305: if $X(F)$ is dense in this topology.
306:
307: The set $X(\bA_{F,S})$ also carries a natural adelic topology:
308: The basic open subsets are
309: $$\prod_{v\in S'}\mathfrak u_v\times \prod_{v\notin (S\cup S')} \cX(\mfo_v),$$
310: where $S'$ is a finite set of nonarchimedean places disjoint from $S$,
311: $\cX$ is a model over $\Spec(\mfo_{F,S})$,
312: $\mfo_v$ is the completion of $\mfo_{F,S}$ at $v$, and
313: $\mathfrak u_v \subset X(F_v)$ an open subset in the $v$-adic
314: analytic topology on $X(F_v)$. This does not depend on the choice of model.
315: {\em Strong approximation} holds for $X$ away from $S$
316: if $X(F)$ is dense in $X(\bA_{F,S})$.
317: Note that strong approximation
318: implies weak approximation.
319: Conversely, for
320: $\cX$ proper over the integers, weak approximation implies
321: strong approximation, since $\cX(\mfo_v)=X(F_v)$; in these
322: cases, we will use the term
323: weak approximation for the sake of consistency.
324:
325: Finally, there is a formulation which
326: is sensitive to the choice of model $\cX$.
327: Consider the topology on $\prod_{v\notin S}\cX(\mfo_v)$ with basic open subsets
328: $$\prod_{v\in S'}\mathfrak u_v\times \prod_{v\notin (S\cup S')} \cX(\mfo_v),$$
329: with $\mathfrak u_v \subset \cX(\mfo_v)$ an open subset.
330: We say that {\em approximation holds for $S$-integral points of $\cX$}
331: if $\cX(\mfo_{F,S})$ is dense in this product. This
332: is a weak version of strong approximation.
333:
334: \
335:
336: We now focus on the function field case: Let $\overline{B}$ be a smooth
337: projective model of $B$ with $S=\overline{B}\setminus B$;
338: place $v$ correspond to points $b\in \overline{B}$.
339: Let $X$ be a smooth variety proper over $F=k(B)$,
340: $\pi:\cX \ra B$ a model proper
341: and flat over $B$ (which exists by \cite{Na}),
342: and $\cX^{\bullet}\subset \cX^{sm}$ a
343: model for $X$ surjecting onto $B$.
344: Since $\pi$ is proper, $F$-rational points of $X$ correspond to
345: sections $s:B\ra \cX$. If $\cX$ is regular $s$ factors through
346: $\cX^{sm}$.
347:
348: \begin{defi}
349: An {\em admissible section} of $\pi:\cX \ra B$ is a section
350: $s:B\ra \cX^{sm}$.
351: An {\em admissible $N$-jet} of
352: $\pi$ at $b$ is a section of
353: $$
354: \cX^{sm}\times_B \Spec(\cO_{B,b}/\mfm^{N+1}_{B,b})\ra
355: \Spec(\cO_{B,b}/\mfm^{N+1}_{B,b}).
356: $$
357: An {\em approximable $N$-jet} of
358: $\pi$ at $b$ is a section of
359: $$
360: \cX\times_B \Spec(\cO_{B,b}/\mfm^{N+1}_{B,b})\ra
361: \Spec(\cO_{B,b}/\mfm^{N+1}_{B,b})
362: $$
363: that may be lifted to a section of
364: $\widehat{\cX}_b \ra \widehat{B}_b,$
365: with $\widehat{B}_b=\Spec(\hat{\cO}_{B,b})$ and $\widehat{\cX}_b=X\times_B \widehat{B}_b.$
366: \end{defi}
367: Hensel's lemma guarantees that every admissible $N$-jet is
368: approximable. Let $\{b_i\}_{i\in I}$ be a finite set of points
369: and $j_i$ an admissible $N$-jet of $\pi$ at $b_i$.
370: We write $J=\{ j_i\}_{i\in I}$ for the
371: corresponding collection of admissible $N$-jets.
372:
373: The notions of weak and strong approximation
374: introduced above have geometric interpretations
375: \begin{itemize}
376: \item{Weak and strong approximation hold for $X$ away from $S$ if
377: any finite collection of approximable jets of $\pi$ can be realized
378: by a section $s:B\ra \cX$.}
379: \item{This is equivalent to weak
380: approximation holding for $X^{\bullet}$ away from $S$: Every
381: jet in $\cX$ at $b$ can be realized by a section
382: $\cX\times_B \widehat{B}_b \ra \widehat{B}_b$ meeting
383: $\widehat{\cX}^{\bullet}_b$.}
384: \item{If $\cX$ is regular these are equivalent to the condition that
385: any collection of admissible jets of $\pi$ can be realized by
386: a section $s:B\ra \cX^{sm}$.}
387: \end{itemize}
388: There is an analogous formulation of approximation for integral points:
389: \begin{itemize}
390: \item{Approximation holds for sections of $\cX^{\bullet}\ra B$ away from $S$
391: if each collection of
392: jet data in $\cX^{\bullet}$ can be realized by a section $s:B\ra \cX^{\bullet}$.}
393: \item{If $\cX$ is regular and $\cX^{\bullet}=\cX^{sm}$ this is equivalent to
394: weak approximation for $X$.}
395: \end{itemize}
396:
397:
398:
399:
400: \section{Curves, combs, and deformations}
401: \label{sect:term}
402:
403: The {\em dual graph} associated with a nodal curve $C$ has
404: vertices are indexed by the irreducible components of $C$
405: and its edges indexed by
406: the intersections of these components.
407: A projective nodal curve $C$ is {\em tree-like} if
408: \begin{itemize}
409: \item{each irreducible component of $C$ is smooth;}
410: \item{the dual graph of $C$ is a tree.}
411: \end{itemize}
412:
413: \begin{defi}
414: A {\em comb with $m$ reducible teeth} is a projective nodal curve $C$ with
415: $m+1$ subcurves
416: $D, T_1, \ldots, T_m$ such that
417: \begin{itemize}
418: \item{$D$ is smooth and irreducible;}
419: \item{$T_l\cap T_{l'}=\emptyset$, for all $l\neq l'$;}
420: \item{each $T_l$
421: meets $D$ transversally
422: in a single point; and }
423: \item{each $T_l$ is a chain of $\bP^1$'s.}
424: \end{itemize}
425: Here $D$ is called the {\em handle} and the
426: $T_l$ the {\em reducible teeth}.
427: \end{defi}
428:
429: We will use the following lemma, which has the same proof as
430: Proposition 24 of \cite{HT}:
431: \begin{lemm}\label{lemm:old}
432: Let $C$ be a tree-like curve, $W$ a smooth algebraic space,
433: $h:C\ra W$ an immersion with nodal image. Suppose that for each irreducible
434: component $C_l$ of $C$, $H^1(C_l,\cN_h\otimes \cO_{C_l})=0$ and
435: $\cN_h \otimes \cO_{C_l}$ is globally generated. Then $h$ deforms to
436: an immersion.
437:
438: Suppose furthermore that $\mfw=\{w_1,\ldots,w_M\} \subset C$ is a collection of
439: smooth points such that for each component $C_l$,
440: $H^1(\cN_h\otimes \cO_{C_l}(-\mfw))=0$ and the sheaf $\cN_h \otimes \cO_{C_l}(-\mfw)$
441: admits a section nonzero at each point of the quotient
442: $$(\cN_h\otimes \cO_{C_l})/\cN_{h|C_l}.$$
443: Then $h:C\ra W$ deforms to an immersion of a smooth curve into $W$ containing
444: $h(\mfw)$.
445: \end{lemm}
446:
447:
448: \section{Strong rational connectivity}
449: \label{sect:SRC}
450: \begin{defi}
451: A variety $X$ is {\em rationally connected} (resp. {\em
452: separably rationally connected}) if there is a family
453: of proper irreducible rational curves $g:U\ra Z$ (resp.
454: $\pi_2:U=\bP^1\times Z\ra Z$) and a cycle
455: morphism $u:U\ra X$ such that
456: $$
457: u^{2}:U\times_Z U \ra X\times X$$
458: is dominant (resp. smooth over the generic point)).
459: \end{defi}
460: Intuitively, two generic points of $X$ can be joined by
461: an irreducible projective rational curve. Over fields
462: of characteristic zero, rational connected varieties
463: are also separably rationally connected \cite{kollar} IV.3.3.1.
464:
465: The notion of rational connectedness is a bit subtle over countable fields:
466: For convenience, we work over an uncountable algebraically closed
467: field.
468: Over such a field, rational connectivity is equivalent to
469: the condition that two very general points of $X$ can
470: be joined by such a rational curve.
471:
472: \begin{defi}
473: Let $X$ be a smooth algebraic space of dimension $d$ and
474: $f:\bP^1 \ra X$ a nonconstant morphism, so we have an isomorphism
475: $$
476: f^*\cT_X\simeq \cO_{\bP^1}(a_1) \oplus \ldots \oplus \cO_{\bP^1}(a_d)
477: $$
478: for suitable integers $a_1,\ldots,a_d$.
479: Then $f$ is {\em free} (resp. {\em very free}) if each $a_i\ge 0$
480: (resp. $a_i\ge 1$).
481: \end{defi}
482: We refer the reader to \cite{kollar} IV.3 for further facts
483: about rationally connected varieties.
484:
485:
486: One technical result will play a prominent r\^ole in our analysis.
487: \begin{prop}[\cite{kollar} IV.3.9.4] \label{prop:tech}
488: Let $V$ be a smooth separably rationally connected (not necessarily
489: proper) variety. Then there
490: exists a nonempty subset $V^0\subset V$ characterized
491: as the largest open subset such that if $v_1,\ldots,v_m\in V^0$
492: are distinct closed points, then there is a very free curve
493: in $V^0$ containing these as smooth points. Moreover, any
494: rational curve $C\subset V$ that meets $V^0$ is contained
495: in $V^0$.
496: \end{prop}
497: No example where $V^0\neq V$ is known.
498: \begin{rema} \label{rema:include}
499: Let $V_2$ be a smooth variety, $V_1\subset V_2$ a rationally
500: connected dense open subvariety, and $V_2^0\subset V_2$
501: the largest open set satisfying the conditions
502: of Proposition~\ref{prop:tech} . Then $V_1^0 \subset V_2^0$.
503: Thus a point $v\in V_2$ is in $V_2^0$ provided there is
504: a rational curve $f:\bP^1\ra V_2$ through $v$ and meeting $V_1^0$.
505: \end{rema}
506:
507: \begin{prop} \label{prop:blowup}
508: Let $V$ be a smooth separably rationally connected variety, and
509: $\beta:W\ra V$ an iterated blow-up of $V$ along smooth subvarieties.
510: Then $\beta^{-1}(V^0)=W^0$.
511: \end{prop}
512: \begin{proof}
513: The inclusion $W^0 \subset \beta^{-1}(V^0)$ is straightforward:
514: Given points $w_1,\ldots,w_m \in W^0$, there is a very free curve
515: $g:\bP^1 \ra W^0$ containing them; we may choose this
516: to be transversal to the exceptional divisor of $\beta$.
517: The inclusion of sheaves
518: $$\cT_W \hookrightarrow \beta^*\cT_V$$
519: remains an inclusion after pull-back via $g$, as the support
520: of the cokernel does not contain $g(\bP^1)$. The positivity
521: of $g^*\cT_W$ implies the positivity of $(\beta\circ g)^*\cT_V$,
522: which means that $\beta\circ g:\bP^1 \ra V$ is also very free.
523:
524: For the reverse direction, we may restrict to the case where $W$
525: is the blow-up of $V$ along a smooth subvariety $Z$ of
526: codimension $r>1$, with exceptional divisor $E$. It is
527: clear that $\beta^{-1}(V^0\setminus Z) \subset W_0$, so
528: consider some $w\in \beta^{-1}(z)$ with $z\in Z\cap V^0$.
529: It suffices to construct a rational curve containing $w$ and
530: the generic point of $W$.
531:
532: There exists a very free curve $f':\bP^1\ra V^0$ with the
533: following properties:
534: \begin{enumerate}
535: \item{$f'(\bP^1)$ meets $Z$ only at $z$ (we can always deform
536: a very free curve so that it misses a codimension $\ge 2$ subset);}
537: \item{$f'(\bP^1)$ is smooth at $z$ and transverse to $Z$.}
538: \end{enumerate}
539: Let $g':\bP^1 \ra W$ denote
540: the lift to $W$, which is free in $W$,
541: and $w'=g'(0)$. If $w'=w$ then we are done.
542: Otherwise, let $\ell \subset \beta^{-1}(z)\simeq \bP^{r-1}$
543: denote the line joining $w$ and $w'$. Since $g'$ is free,
544: it admits a small deformation to a free curve $g'':\bP^1 \ra W$
545: with $w'':=g''(0)\in \ell, w''\neq w'$. (See Figure~\ref{figa}.)
546:
547: \begin{figure}[h]
548: \centerline{\hskip 2cm\includegraphics{swa.eps}}
549: \caption{Constructing the comb}
550: \label{figa}
551: \end{figure}
552:
553:
554: We construct a comb
555: $h:C \ra W$ with handle $\ell\subset \bP^{r-1}\subset W$ and
556: two teeth $g',g'':\bP^1 \ra W$. Using the exact sequence
557: of normal bundles
558: $$0 \ra \cN_{\ell/E} \ra \cN_{\ell/W} \ra \cN_{E/X}\otimes \cO_{\ell} \ra 0$$
559: we find
560: $$\cN_{\ell/W}\simeq \cO_{\bP^1}^{\dim(V)-r} \oplus
561: \cO_{\bP^1}(1)^{r-2}\oplus \cO_{\bP^1}(-1)$$
562: where the negative summand is in the normal direction to $E$.
563: Since $g'(\bP^1)$ and $g''(\bP^1)$ are transverse to $E$, applying
564: Proposition 23 of \cite{HT} we see
565: $$\cN_h\otimes \cO_{\ell} \simeq \cO_{\bP^1}^{\dim(V)-r} \oplus
566: \cO_{\bP^1}(1)^{r-2}\oplus \cO_{\bP^1}(1);$$
567: the quotient $(\cN_h \otimes \cO_{\ell}) / \cN_{h|\ell}$
568: lies in the image of the positive summands.
569:
570: Lemma~\ref{lemm:old} implies that
571: $h:C\ra W$ admits a deformation to a rational curve
572: containing $w$.
573: \end{proof}
574:
575: A similar argument gives the following
576: strengthening of Proposition~\ref{prop:tech}
577: (cf. Theorem 2.2 of \cite{De})
578: \begin{prop} \label{prop:jetstech}
579: Let $V$ be a smooth separably rationally connected variety and
580: $V^0\subset V$ be the distinguished open subset characterized
581: in Proposition~\ref{prop:tech}.
582: Then for any finite collection of jets
583: $$j_i:\Spec k[\epsilon]/\left<\epsilon^{N+1}\right> \hookrightarrow V^0,
584: \quad i=1,\ldots,m$$
585: supported at distinct points $v_1,\ldots,v_m$,
586: there exists a very free rational curve
587: smooth at $v_1,\ldots,v_m$ with the prescribed jets.
588: \end{prop}
589: \begin{proof}
590: There is an iterated blow-up
591: $$\beta:W=W_N \ra \ldots \ra W_j \ra \ldots \ra W_1 \ra V$$
592: and points
593: $w_1,\ldots,w_m \in W$ so that
594: if $g:C\ra W$ is a morphism whose image contains $w_1,\ldots,w_m$ then
595: the image of $f:=\beta\circ g:C\ra V$ contains the given collection
596: of jets.
597: Here is the description: Over each point $v_i$, we blow up $V$
598: successively at $N$ points. Given any smooth curve germ $C$
599: with the prescribed $N$-jet at $v_i$, $W_j$ is the blowup of
600: $W_{j-1}$ at the points of the proper transform of $C$ lying over the $v_i$.
601: Proposition~\ref{prop:blowup} then implies there exists
602: a very free curve $g:\bP^1 \ra W$ through $w_1,\ldots w_m$. However,
603: the image of this curve in $V$ will be singular at $v_i$ if $g(\bP^1)$
604: meets $\beta^{-1}(v_i)$ in more than one point.
605:
606: We claim there exists a very free curve $g_i:\bP^1 \ra W$ meeting
607: $\beta^{-1}(v_i)$ only at $w_i$, transversally. We choose this
608: curve so that it is disjoint from $\beta^{-1}(v_j)$ when $j\neq i$.
609: Fix generic points $x_i \in g_i(\bP^1)$ and let $g_0:\bP^1 \ra W$ be a very free
610: curve intersecting $g_i(\bP^1)$ transversely at $x_i$ but not meeting any $\beta^{-1}(v_i)$.
611: (For example, take $g_0=(\beta^{-1}\circ f_0)$, where $f_0:\bP^1\ra V$ is
612: a very free curve through $\beta(x_1),\ldots,\beta(x_m)$.) Consider the
613: comb $h:C \ra W$ with handle $g_0(\bP^1)$ and $m$-teeth $g_i(\bP^1)$.
614: This deforms to a very free curve $h':\bP^1 \ra W$ meeting each $\beta^{-1}(v_i)$
615: only at $w_i$, transversally.
616:
617: The proof of the claim is a refinement of the argument for Proposition~\ref{prop:blowup}.
618: We proceed by induction on $N$. The base case $N=1$ is contained in
619: the proof of Proposition ~\ref{prop:blowup}, which gives a very free curve smooth
620: at $v_i$ with prescribed tangency.
621: Let $E_{i,N}\simeq \bP^{\dim(V)-1}$ be the
622: last exceptional divisor of $\beta:W \ra V$ over $v_i$, i.e., the exceptional
623: divisor of the $N$-th blow-up. For $1\leq j<N$,
624: let $E_{i,j}\subset W_N$ denote the proper transform of the exceptional
625: divisor of $W_j \ra W_{j-1}$ over $v_i$; we have
626: $E_{i,j}\simeq \mathrm{Bl}_{w_{i,j}}\bP^{\dim(V)-1}$, where
627: $w_{i,j}$ is the intersection of the proper transform of $C$ with the exceptional
628: divisor of $W_j \ra W_{j-1}$.
629:
630: Suppose that $g'_i:\bP^1 \ra W$ is a very free curve
631: such that $\beta\circ g'_i$ is smooth with the desired $(N-1)$-jet at $v_i$. Let
632: $w'_i=g'_i(\bP^1)\cap \beta^{-1}(v_i)$ denote the unique point of intersection, which we assume is
633: distinct from $w_i$. Let $\ell_N$ denote the line in $E_{i,N}\simeq \bP^{\dim(V)-1}$
634: joining $w_i$ and $w'_i$, and $z_{N-1}$ its point of intersection with $E_{i,N-1}$.
635: Let $\ell_{N-1}\subset E_{i,N-1}\simeq \mathrm{Bl}_{w_{i,N-1}}\bP^{\dim(V)-1}$ denote the
636: proper transform of a line containing $z_{N-1}$, and $z_{N-2}$ its point of
637: intersection with $E_{i,N-2}$. Continue in this way, until we obtain
638: $\ell_1\subset E_{i,1}$, the proper transform of a line containing $z_1$.
639: Finally, let $g''_i:\bP^1 \ra W$ be a very free curve meeting the exceptional
640: locus transversally at a generic point of $\ell_1$. (See Figure~\ref{figb}.)
641: \begin{figure}[h]
642: \centerline{\hskip 2cm\includegraphics{swbb.eps}}
643: \caption{Constructing the comb with reducible teeth}
644: \label{figb}
645: \end{figure}
646:
647:
648: Let $h:C\ra W$ be the comb with handle $\ell_N$ and two reducible teeth:
649: \begin{enumerate}
650: \item{$g'_i:\bP^1 \ra W$;}
651: \item{the union of the lines $\ell_{N-1},\ldots,\ell_1$ and the curve $g''_i:\bP^1 \ra W$;}
652: \end{enumerate}
653: By a normal bundle computation similar to that of Proposition~\ref{prop:blowup}, we find that
654: $\cN_h|\ell_N$ is ample and $\cN_h$ is nonnegative on each of the remaining components:
655: Again, Lemma~\ref{lemm:old} (or Proposition 24 of \cite{HT}) implies that $h$ admits
656: a deformation to an immersed rational curve containg $w_i$.
657:
658:
659: Here are the details of the computations (cf. \cite{HT} Section 5):
660: The normal bundle of a line in projective space is
661: $$\cN_{\ell_N/E_{i,N}}=\cN_{\ell_N/\bP^{\dim(V)-1}}\simeq \cO_{\bP^1}(+1)^{\dim(V)-2}$$
662: and the normal bundle for an exceptional divisor is
663: $$\cN_{E_{i,N}/W}\simeq \cO_{\bP^{\dim(V)-1}}(-1).$$
664: For each $j$ we have
665: \begin{equation} \label{ES1}
666: 0 \ra \cN_{\ell_j/E_{i,j}} \ra \cN_{\ell_j/W} \ra \cN_{E_{i,j}/W}|_{\ell_j} \ra 0
667: \end{equation}
668: which for $j=N$ yields
669: $$\cN_{\ell_N/W}\simeq \cO_{\bP^1}(+1)^{\dim(V)-2} \oplus \cO_{\bP^1}(-1),$$
670: with the negative component in the direction normal to $E_{i,N}$. We also have
671: an extension
672: \begin{equation} \label{ES2}
673: 0 \ra \cN_{\ell_j/W} \ra \cN_h|_{\ell_j} \ra Q(\ell_j) \ra 0,
674: \end{equation}
675: where $Q(\ell_j)$ is a torsion sheaf supported at the points where
676: $\ell_j$ meets the adjacent components. For $j=N$ these
677: are $g_i'(\bP^1)$ and $\ell_{N-1}$, and since the tangent
678: vectors to these curves are normal to $E_{i,N}$, we find
679: $$\cN_h|_{\ell_N}\simeq \cO_{\bP^1}(+1)^{\dim(V)-2} \oplus \cO_{\bP^1}(+1).$$
680:
681: The normal bundle of the proper transform of a line in the blow-up
682: of projective space at a point of the line is
683: $$\cN_{\ell_j/E_{i,j}}=\cN_{\ell_j/\mathrm{Bl}_{w_{i,j}}\bP^{\dim(V)-1}}\simeq
684: \cO_{\bP^1}^{\dim(V)-2}$$
685: for $j=1,\ldots,N-1$. Similarly, we can compute
686: $$\cN_{E_{i,h}/W}|_{\ell_j}=\cO_{\bP^1}(-2)$$
687: so the exact sequence analogous to (\ref{ES1}) yields
688: $$\cN_{\ell_j/W}\simeq \cO_{\bP^1}^{\dim(V)-2} \oplus \cO_{\bP^1}(-2),$$
689: with the negative component in the direction normal to $E_{i,j}$. Using
690: (\ref{ES2}) and the fact that $\ell_j$ is adjacent to $\ell_{j+1}$
691: and $\ell_{j-1}$ (or $g_i''(\bP^1)$ when $j=1$), we find
692: $$\cN_h|_{\ell_j}\simeq \cO_{\bP^1}^{\dim(V)-2} \oplus \cO_{\bP^1}.$$
693: \end{proof}
694:
695:
696: \begin{defi}
697: A smooth separably rationally connected
698: variety $Y$ is {\em strongly rationally connected} if any
699: of the following conditions hold:
700: \begin{enumerate}
701: \item{for each point $y\in Y$, there exists a rational curve $f:\bP^1 \ra Y$
702: joining $y$ and a generic point in $Y$;}
703: \item{for each point $y\in Y$, there exists a free rational curve
704: containing $y$;}
705: \item{for any finite collection of points $y_1,\ldots,y_m\in Y$, there
706: exists a very free rational curve containing the $y_j$ as smooth points;}
707: \item{for any finite collection of jets
708: $$\Spec\, k[\epsilon]/\left<\epsilon^{N+1}\right> \subset Y, i=1,\ldots,m$$
709: supported at distinct points $y_1,\ldots,y_m$,
710: there exists a very free rational curve
711: smooth at $y_1,\ldots,y_m$ and containing the prescribed jets.}
712: \end{enumerate}
713: \end{defi}
714: The implications
715: $$(4) \Rightarrow (3) \Rightarrow (2) \Rightarrow (1) $$
716: are obvious.
717: By Proposition~\ref{prop:tech},
718: assertions (1)-(3) are each equivalent to the condition
719: $Y=Y^0$.
720: Property (4) is analogous to Theorem 2.2 of \cite{De}, which is stated
721: for proper varieties. It follows from (1) by
722: Proposition~\ref{prop:jetstech}.
723:
724: \
725:
726: With basic properties of strongly rationally connected varieties
727: established, Theorem~\ref{theo:main} follows from the general result
728: (cf. \cite{kollar} IV.6.10.1):
729: \begin{theo}\label{theo:mainbis}
730: Let $\pi:\cY \ra B$ be a smooth morphism whose fibers are strongly rationally
731: connected. Assume that $\pi$ has a section.
732: Then sections of $\cY\ra B$ satisfy approximation away from $S$.
733: \end{theo}
734: \begin{proof}
735: Let $\overline{\pi}:\overline{\cY} \ra \overline{B}$ be a proper flat model of
736: $\cY\ra B$, which exists by \cite{Na}. The section extends
737: to a section $\overline{s}$ of $\overline{\pi}$. By a result of Artin and N\'eron
738: \cite{Art69b} Corollary 4.6, there exists a blow-up with center supported
739: in $\overline{\pi}^{-1}(S)$
740: $$\widetilde{\cY} \ra \overline{\cY}$$
741: such that the proper transform of $\overline{s}(\overline{B})$ in $\widetilde{\cY}$
742: is contained in $\widetilde{\cY}^{sm}$.
743:
744: Recall the proof of weak approximation at places of good reduction in Section 5 of \cite{HT}.
745: This is a bootstrap argument, using the existence of a section in the smooth locus
746: to construct sections with prescribed jets of successively higher order.
747: {\em Properness} is used only to establish that the
748: smooth fibers are strongly rationally connected, so we can produce very free
749: curves with desired properties. In our situation, this
750: is part of the hypotheses.
751: \end{proof}
752:
753: Weak approximation at places of good reduction in positive characteristic was left
754: unresolved in \cite{HT}. However, combining Theorem~\ref{theo:mainbis} with the
755: main result of \cite{dJS} yields:
756: \begin{coro}\label{coro:positive}
757: Let $\pi:\cY \ra B$ be a smooth proper morphism with
758: separably rationally connected fibers. Then weak approximation
759: holds away from $S=\overline{B}\setminus B$.
760: \end{coro}
761:
762:
763:
764:
765:
766:
767: \section{Cubic surfaces}
768: \label{sect:cubic}
769: We work over an algebraically closed field of characteristic zero.
770: \begin{defi}
771: A {\em log Del Pezzo surface} is a pair $(X,\Delta)$ consisting
772: of a normal projective surface $X$ and an effective $\bQ$-divisor
773: $\Delta=\sum a_i \Delta_i, 0<a_i\le 1$ on $X$, with
774: log terminal singularities, such that $-(K_X+\Delta)$ is ample.
775: When $\Delta$ is empty, this is equivalent to saying that
776: $X$ has quotient singularities and ample anticanonical class.
777: \end{defi}
778:
779: \begin{theo}[\cite{KeMc} 1.6]
780: \label{theo:KeMc}
781: The smooth locus of a log Del Pezzo surface $(X,\Delta)$ is
782: rationally connected, i.e., two generic points in $X^{sm}$
783: can be joined by an irreducible projective
784: rational curve contained in $X^{sm}$.
785: \end{theo}
786: \begin{exam}[\cite{zhang}]
787: There exist projective rational surfaces with rational double points
788: whose smooth locus is not rationally connected. Consider
789: $$\widetilde{X}=E\times \bP^1$$
790: where $(E,0)$ is an elliptic curve and the involution
791: \begin{eqnarray*}
792: \iota: \widetilde{X} & \ra & \widetilde{X} \\
793: (e,[x_0,x_1]) & \mapsto & (-e,[x_1,x_0]).
794: \end{eqnarray*}
795: The involution has eight isolated fixed points $\mfq \subset \widetilde{X}$.
796: The quotient $X=\widetilde{X}/\left<\iota\right>$ has eight $A_1$ singularities
797: and is rational: $X\ra E/\left<\iota\right>\simeq \bP^1$ is a conic bundle.
798: Since $\widetilde{X}-\mfq \ra X^{sm}$ is a covering space,
799: $\pi_1(X^{sm}) \subset \pi_1(\widetilde{X}-\mfq)$ with index two.
800: Thus
801: $$\pi(\widetilde{X}-\mfq)\simeq \pi(\widetilde{X})\simeq \pi(E)\simeq \bZ\times \bZ$$
802: and $X^{sm}$ has infinite fundamental group. However, rationally connected
803: varieties (even non-proper ones) have finite fundamental groups
804: (see Lemma 7.8 of \cite{KeMc} and Proposition 2.10 of \cite{KollarSM}, for example).
805: \end{exam}
806:
807:
808:
809: The following conjecture would allow us to
810: apply Theorem~\ref{theo:main} to prove
811: weak approximation for many log Del Pezzo surfaces:
812: \begin{conj} \label{conj:SRCDP}
813: The smooth locus of a log Del Pezzo surface is strongly rationally
814: connected.
815: \end{conj}
816:
817: We prove this for cubic surfaces:
818: \begin{theo} \label{theo:cubicSRC}
819: Let $X\subset \bP^3$ be a cubic surface with rational double points.
820: Then $X^{sm}$ is strongly rationally connected.
821: \end{theo}
822: \begin{proof}
823: Let $x_1\in X^{sm}$ be a point. We produce a rational curve
824: $R\subset X^{sm}$ joining $x_1$ and a generic point $x_2\in X^{sm}$.
825:
826: We will make explicit precisely how $x_2$ must be chosen.
827: We assume:
828: \begin{enumerate}
829: \item[(1)]{The tangent hyperplane section $H_2$ at $x_2$
830: is irreducible and nodal.}
831: \end{enumerate}
832: In particular, $H_2\subset X^{sm}$ and there are no lines
833: $\ell\subset X$ containing $x_2$.
834: Projection from $x_2$ then gives a double cover
835: $$\mathrm{Bl}_{x_2}X \ra \bP^2;$$
836: the covering transformation interchanges
837: the exceptional divisor and the proper transform.
838: We obtain a birational involution
839: \begin{eqnarray*}
840: \iota_{x_2}:X &\dashrightarrow& X \\
841: x & \mapsto & x',
842: \end{eqnarray*}
843: where $\{x,x',x_2\}$ are collinear.
844: This factors as the blow-up of $x_2$ followed by
845: the blow-down of the proper transform of $H_2$.
846: Note that $\iota_{x_2}$ fixes
847: the singularities of $X$ and thus takes $X^{sm}$ to itself.
848:
849: We also assume:
850: \begin{enumerate}
851: \item[(2)]{$H_2$
852: does not contain $x_1$.}
853: \end{enumerate}
854: It follows that
855: $H_2$ does not contain $x'_1=\iota_{x_2}(x_1)$.
856: Moreover, $x_1$ and $x'_1$ are in the open subset on
857: which $\iota_{x_2}$ is an isomorphism.
858:
859: We assume furthermore:
860: \begin{enumerate}
861: \item[(3)]{$x_2$ is not contained in $H_1$.}
862: \end{enumerate}
863: It follows that $x_2 \not \in H'_1$,
864: the tangent hyperplane section at $x'_1$.
865: Indeed, suppose that $x_2 \in H'_1$.
866: We know that $x_2\neq x'_1$ (because $x'_1 \not \in H_2$),
867: so consider the line joining $x_2$ and $x'_1$.
868: This meets $X$ only
869: at $x_2$ and $x'_1$, so $x'_1=x_1$ and
870: $x_2 \in H_1$, a contradiction.
871:
872: Finally, we assume:
873: \begin{enumerate}
874: \item[(4)]{$H'_1$ is
875: irreducible and nodal.}
876: \end{enumerate}
877: In particular, $H'_1 \subset X^{sm}$.
878:
879: Since $x_2 \not \in H'_1$, $\iota_{x_2}$ is regular along $H'_1$.
880: We verify that the rational curve
881: $R=\iota_{x_2}(H'_1)$ has the desired properties.
882: Since $H'_1\subset X^{sm}$ and
883: $\iota_{x_2}(X^{sm})\subset X^{sm}$, we find $R\subset X^{sm}$.
884: We have $x'_1\in H'_1$, so $x_1=\iota_{x_2}(x'_1)\in R$.
885: Since $H'_1$ meets $H_2$ in a point $y\neq x_2$,
886: $x_2=\iota_{x_2}(y)\in R$.
887: \end{proof}
888:
889: We now prove Theorem~\ref{theo:cubic}: For each singular fiber $\cX_b$,
890: $\cX_b^{sm}$ is strongly rationally connected by Theorem~\ref{theo:cubicSRC}.
891: Approximation follows from Theorem~\ref{theo:main}.
892:
893:
894:
895: \begin{exam}
896: Here is another case where Conjecture~\ref{conj:SRCDP} is easily verified.
897: Let $X$ be a partial resolution of a cubic surface $\Sigma$ with at most $A_1$-singularities,
898: i.e., we have a factorization of the minimal resolution
899: $$\widetilde{\Sigma} \ra X \stackrel{\beta}{\ra} \Sigma.$$
900: Then $X^{sm}$ is strongly rationally connected.
901:
902: Theorem~\ref{theo:cubic} implies that $\Sigma^{sm}$ is strongly rationally connected,
903: hence $\beta^{-1}(\Sigma^{sm})\subset (X^{sm})^0$. The locus
904: $X^{sm}\setminus \beta^{-1}(\Sigma^{sm})$ is a union of $(-2)$-curves $\{E_i\}$,
905: corresponding to the resolved singularities $\{p_i\}$ of $\Sigma$.
906: If $(X^{sm})^0$ meets $E_i$, it must also contain $E_i$. Hence
907: it suffices to show that for each $E_i$ there
908: exists a rational curve in
909: $X^{sm}$ meeting $E_i$ and $\beta^{-1}(\Sigma^{sm})$ (see Remark~\ref{rema:include}).
910:
911: To find this rational curve, consider the projection from $p_i$
912: $$\pi_i:\Sigma \dashrightarrow \bP^2$$
913: which induces a morphism $\pi'_i:X\ra \bP^2$. The image of $E_i$ is a plane
914: conic and the image of the singularities of $X$
915: has codimension two in $\bP^2$, so there exists a rational curve
916: $$f:\bP^1 \ra \bP^2\setminus \pi'_i(\mathrm{Sing}(X))$$
917: meeting the image of $E_i$.
918:
919: The same argument applies if $X$ is obtained from a cubic surface $\Sigma$ with
920: $A_1$ and $A_2$ singularities by resolving some subset of $\mathrm{Sing}(\Sigma)$.
921: \end{exam}
922:
923:
924:
925:
926:
927:
928:
929:
930: \bibliographystyle{plain}
931: \bibliography{sw}
932:
933:
934: \end{document}
935: %There are two natural topologies on $\bA_{K,S}$. First of all,
936: %the adelic topology, with a basis consisting of products
937: %$\prod_{v\in S'} \mathfrak u_v\times\prod_{v\notin (S\cup S')} \mfo_v$,
938: %where $S'$ is a finite set of nonarchimedean places disjoint from $S$,
939: %$\mathfrak u_v$ are open subset in $K_v$, in the standard $v$-adic
940: %topology, and $\mfo_v\subset K_v$ is the ring of $v$-adic integers.
941: %Secondly, we have the direct product topology: with basis consisting of
942: %subsets projecting to $\prod_{v\in S'}\mathfrak u_v$.
943:
944: %We give some examples of cubic surfaces with reducible degenerate fibers,
945: %and how sections might be found passing through the various components.
946: %\begin{exam}
947: %{\bf Resolve some family of cubic surfaces with compound-$A_1$ singularities
948: %not admitting simultaneous resolution. Draw pictures of minimal resolution}
949: %\end{exam}
950:
951:
952:
953:
954: