Showing 1–20 of 20 results for author: Starr, J M

Separable rational connectedness and weak approximation in positive characteristic

Authors: Jason Michael Starr, Zhiyu Tian

Abstract: In this short note we give a characterization of smooth projective varieties of Picard number one that are separably uniruled but not separably rationally connected. We also give a sufficient condition involving the torsion order and the uniruling index for a smooth Fano variety of Picard number one to be separably rationally connected. As an application, we prove some weak approximation results f… ▽ More In this short note we give a characterization of smooth projective varieties of Picard number one that are separably uniruled but not separably rationally connected. We also give a sufficient condition involving the torsion order and the uniruling index for a smooth Fano variety of Picard number one to be separably rationally connected. As an application, we prove some weak approximation results for Fano complete intersections in positive charactersitic. For example, we show that weak approximation holds at place of strong potentially good reduction for a Fano complete intersection in $\mathbb{P}^n$ of type $(d_1, \ldots, d_c)$ in characteristic $p$ such that $n>d_1+\ldots +d_c, p>d_1, \ldots, d_c.$ △ Less

Submitted 16 July, 2019; originally announced July 2019.

Comments: 5 pages

MSC Class: 14M22

Weak approximation for Fano complete intersections in positive characteristic

Authors: Jason Michael Starr, Zhiyu Tian, Runhong Zong

Abstract: For a smooth curve $B$ over an algebraically closed field $k$, for every $B$-flat complete intersection $X_B$ in $B\times_{\text{Spec}\ k} \mathbb{P}^n_k$ of type $(d_1,\dots,d_c)$, if the Fano index is $\geq 2$ and if $\text{char}(k)>\max(d_1,\dots,d_c)$, we prove weak approximation of $\widehat{\mathcal{O}}_{B,b}$-points of $X_B$ by $k(B)$-points at all places of (strong) potentially good reduct… ▽ More For a smooth curve $B$ over an algebraically closed field $k$, for every $B$-flat complete intersection $X_B$ in $B\times_{\text{Spec}\ k} \mathbb{P}^n_k$ of type $(d_1,\dots,d_c)$, if the Fano index is $\geq 2$ and if $\text{char}(k)>\max(d_1,\dots,d_c)$, we prove weak approximation of $\widehat{\mathcal{O}}_{B,b}$-points of $X_B$ by $k(B)$-points at all places of (strong) potentially good reduction, including all places of good reduction. The key step is the proof that such complete intersections are \emph{separably uniruled by lines}, and even \emph{separably rationally connected}, whenever smooth. We prove that the inequality is close to sharp. We prove a similar theorem for Fano manifolds of Picard number $1$ and Fano index $1$. △ Less

Submitted 27 December, 2018; v1 submitted 6 November, 2018; originally announced November 2018.

Comments: 22 pages. Following discussions with Shizhang Li and Bhargav Bhatt, added hypothesis about torsion in crystalline cohomology for specializations of complex Fano manifolds of Picard number $1$ and Fano index $1$. Also proved a version eliminating this hypothesis and the hypothesis that the mixed characteristic DVR is unramified

MSC Class: 14G05; 14J45

Symplectic invariance of rational surfaces on Kähler manifolds

Authors: Jason Michael Starr

Abstract: Kollar and Ruan proved symplectic deformation invariance for uniruledness of Kaehler manifolds. Zhiyu Tian proved the same for rational connectedness in dimension < 4. Kollar conjectured this in all dimensions. We prove Kollar's conjecture, as well as existence of a covering family of rational surfaces, for all Kaehler manifolds that are symplectically deformation equivalent to G/P or to a low deg… ▽ More Kollar and Ruan proved symplectic deformation invariance for uniruledness of Kaehler manifolds. Zhiyu Tian proved the same for rational connectedness in dimension < 4. Kollar conjectured this in all dimensions. We prove Kollar's conjecture, as well as existence of a covering family of rational surfaces, for all Kaehler manifolds that are symplectically deformation equivalent to G/P or to a low degree complete intersection in such. △ Less

Submitted 30 January, 2019; v1 submitted 16 March, 2018; originally announced March 2018.

Comments: 37 pages. Revised draft: added statements about Koll{á}r's conjecture. Incorporated many suggestions of readers

MSC Class: 14C05; 14N35

Picard schemes of acyclic schemes

Authors: Jason Michael Starr

Abstract: In his work extending rational simple connectedness to schemes with higher Picard rank, Yi Zhu introduced hypotheses for schemes insuring that the relative Picard functor is representable and is étale locally constant with finite free stalks. We give examples showing that one cannot eliminate any of the hypotheses and still have a representable Picard functor that is locally constant with finite f… ▽ More In his work extending rational simple connectedness to schemes with higher Picard rank, Yi Zhu introduced hypotheses for schemes insuring that the relative Picard functor is representable and is étale locally constant with finite free stalks. We give examples showing that one cannot eliminate any of the hypotheses and still have a representable Picard functor that is locally constant with finite free stalks. We also prove that the hypotheses are compatible with composition and with hyperplane sections. △ Less

Submitted 28 June, 2017; originally announced June 2017.

Comments: 10 pp

MSC Class: 14C22; 14M10

Intersection Sheaves for Abel maps

Authors: Jason Michael Starr

Abstract: Intersection sheaves, i.e., the Deligne pairing, were first introduced by Deligne in the setting of Poincare duality for etale cohomology, and later in his work on the determinant of cohomology. Intersection sheaves were generalized from smooth schemes to Cohen-Macaulay schemes by Elkik, and then beyond Cohen-Macaulay schemes by Munoz-Garcia. To define the Abel maps arising in rational simple conn… ▽ More Intersection sheaves, i.e., the Deligne pairing, were first introduced by Deligne in the setting of Poincare duality for etale cohomology, and later in his work on the determinant of cohomology. Intersection sheaves were generalized from smooth schemes to Cohen-Macaulay schemes by Elkik, and then beyond Cohen-Macaulay schemes by Munoz-Garcia. To define the Abel maps arising in rational simple connectedness on the natural parameter spaces of rational sections, we need a variant of the construction of Munoz-Garcia that has the good properties of the construction using det and Div. In addition, we prove basic properties of the classifying stacks that arise in the definition of the Abel maps. △ Less

Submitted 17 June, 2017; originally announced June 2017.

Comments: 29 pp

MSC Class: 14G05; 14G25; 14M22

Rationally simply connected varieties and pseudo algebraically closed fields

Authors: Jason Michael Starr

Abstract: The cohomological dimension of a field is the largest degree with non-vanishing Galois cohomology. Serre's "Conjecture II" predicts that for every perfect field of cohomological dimension $2$, every torsor over the field for a semisimple, simply connected algebraic group is trivial. A field is perfect and "pseudo algebraically closed" (PAC) if every geometrically irreducible curve over the field h… ▽ More The cohomological dimension of a field is the largest degree with non-vanishing Galois cohomology. Serre's "Conjecture II" predicts that for every perfect field of cohomological dimension $2$, every torsor over the field for a semisimple, simply connected algebraic group is trivial. A field is perfect and "pseudo algebraically closed" (PAC) if every geometrically irreducible curve over the field has a rational point. These have cohomological dimension $1$. Every transcendence degree $1$ extension of such a field has cohomological degree $2$. We prove Serre's "Conjecture II" for such fields of cohomological degree $2$ provided either the field is of characteristic $0$ or the field contains primitive roots of unity for all orders $n$ prime to the characteristic. The method uses "rational simple connectedness" in an essential way. With the same method, we prove that such fields are $C_2$-fields, and we prove that "Period equals Index" for the Brauer groups of such fields. Finally, we use a similar method to reprove and extend a theorem of Fried-Jarden: every perfect PAC field of positive characteristic is $C_2$ △ Less

Submitted 10 April, 2017; originally announced April 2017.

Comments: 26 pages

MSC Class: 14G05; 14G27; 12E30

Veronese varieties contained in hypersurfaces

Authors: Jason Michael Starr

Abstract: Alex Waldron proved that for sufficiently general degree $d$ hypersurfaces in projective $n$-space, the Fano scheme parameterizing $r$-dimensional linear spaces contained in the hypersurface is nonempty precisely for the degree range $n\geq N_1(r,d)$ where the "expected dimension" $f_1(n,r,d)$ is nonnegative, in which case $f_1(n,r,d)$ equals the (pure) dimension. Using work by Gleb Nenashev, we p… ▽ More Alex Waldron proved that for sufficiently general degree $d$ hypersurfaces in projective $n$-space, the Fano scheme parameterizing $r$-dimensional linear spaces contained in the hypersurface is nonempty precisely for the degree range $n\geq N_1(r,d)$ where the "expected dimension" $f_1(n,r,d)$ is nonnegative, in which case $f_1(n,r,d)$ equals the (pure) dimension. Using work by Gleb Nenashev, we prove that for sufficiently general degree $d$ hypersurfaces in projective $n$-space, the parameter space of $r$-dimensional $e$-uple Veronese varieties contained in the hypersurface is nonempty of pure dimension equal to the "expected dimension" $f_e(n,r,d)$ in a degree range $n\geq \widetilde{N}_e(r,d)$ that is asymptotically sharp. Moreover, we show that for $n\geq 1+N_1(r,d)$, the Fano scheme parameterizing $r$-dimensional linear spaces is irreducible. △ Less

Submitted 9 March, 2017; originally announced March 2017.

Comments: 19 pages

MSC Class: 14C05; 14J70

A local-global principle for weak approximation on varieties over function fields

Authors: Mike Roth, Jason Michael Starr

Abstract: We present a new perspective on the weak approximation conjecture of Hassett and Tschinkel: formal sections of a rationally connected fibration over a curve can be approximated to arbitrary order by regular sections. The new approach involves the study of how ideal sheaves pullback to Cartier divisors. We present a new perspective on the weak approximation conjecture of Hassett and Tschinkel: formal sections of a rationally connected fibration over a curve can be approximated to arbitrary order by regular sections. The new approach involves the study of how ideal sheaves pullback to Cartier divisors. △ Less

Submitted 4 September, 2009; v1 submitted 1 August, 2009; originally announced August 2009.

Comments: 20 pages, corrected author names and affiliations

MSC Class: 14G05; 14C05

Families of rationally simply connected varieties over surfaces and torsors for semisimple groups

Authors: A. J. de Jong, Xuhua He, Jason Michael Starr

Abstract: Under suitable hypotheses, we prove that a form of a projective homogeneous variety $G/P$ defined over the function field of a surface over an algebraically closed field has a rational point. The method uses an algebro-geometric analogue of simple connectedness replacing the unit interval by the projective line. As a consequence, we complete the proof of Serre's Conjecture II in Galois cohomolog… ▽ More Under suitable hypotheses, we prove that a form of a projective homogeneous variety $G/P$ defined over the function field of a surface over an algebraically closed field has a rational point. The method uses an algebro-geometric analogue of simple connectedness replacing the unit interval by the projective line. As a consequence, we complete the proof of Serre's Conjecture II in Galois cohomology for function fields over an algebraically closed field. △ Less

Submitted 30 September, 2008; originally announced September 2008.

Fano varieties and linear sections of hypersurfaces

Authors: Jason Michael Starr

Abstract: Under a hypothesis on $k$, $d$ and $n$ that is almost the best possible, we prove that for every smooth degree $d$ hypersurface in $P^n$, the $k$-plane sections dominate the moduli space of degree $d$ hypersurface in $P^k$. Using this we prove rational simple connectedness of every smooth degree $d$ hypersurface in $P^n$, under a suitable hypothesis on $d$ and $n$ (previous results were only f… ▽ More Under a hypothesis on $k$, $d$ and $n$ that is almost the best possible, we prove that for every smooth degree $d$ hypersurface in $P^n$, the $k$-plane sections dominate the moduli space of degree $d$ hypersurface in $P^k$. Using this we prove rational simple connectedness of every smooth degree $d$ hypersurface in $P^n$, under a suitable hypothesis on $d$ and $n$ (previous results were only for general hypersurfaces). △ Less

Submitted 5 July, 2006; originally announced July 2006.

Comments: 8 pages

MSC Class: 14N25

Degenerations of rationally connected varieties and PAC fields

Authors: Jason Michael Starr

Abstract: A perfect PAC field containing an algebraically closed field is known to be $C_1$, i.e., every degeneration of a Fano complete intersection has a point. We prove that also every degeneration of a separably rationally connected variety has a point. A perfect PAC field containing an algebraically closed field is known to be $C_1$, i.e., every degeneration of a Fano complete intersection has a point. We prove that also every degeneration of a separably rationally connected variety has a point. △ Less

Submitted 27 February, 2006; originally announced February 2006.

Comments: 5 pages

MSC Class: 14G05; 14G27

Higher Fano manifolds and rational surfaces

Authors: A. J. de Jong, Jason Michael Starr

Abstract: For a Fano manifold of pseudo-index at least 3 and $c_1^2-2c_2$ nef, we show irreducibility of certain spaces of curves on the Fano manifold implies the manifold is a union of rational surfaces. For a Fano manifold of pseudo-index at least 3 and $c_1^2-2c_2$ nef, we show irreducibility of certain spaces of curves on the Fano manifold implies the manifold is a union of rational surfaces. △ Less

Submitted 27 February, 2006; originally announced February 2006.

Comments: 5 pages

MSC Class: 14J45; 14C05

Artin's axioms, composition and moduli spaces

Authors: Jason Michael Starr

Abstract: We prove Artin's axioms satisfy a compatibility for composition of 1-morphisms of stacks in groupoids. Consequently, some natural stacks in groupoids are algebraic, including a common generalization of Vistoli's Hilbert stack and the stack of branchvarieties of Alexeev and Knutson. We prove Artin's axioms satisfy a compatibility for composition of 1-morphisms of stacks in groupoids. Consequently, some natural stacks in groupoids are algebraic, including a common generalization of Vistoli's Hilbert stack and the stack of branchvarieties of Alexeev and Knutson. △ Less

Submitted 27 February, 2006; originally announced February 2006.

Comments: 19 pages

MSC Class: 14A20; 14C05

Very twisting families of pointed lines on Grassmannians

Authors: A. J. de Jong, Jason Michael Starr

Abstract: There exist very twisting families of lines on Grassmannians and isotropic Grassmannians. This is a key step in proving existence of a rational section of a family of isotropic Grassmannians over a surface with vanishing Brauer obstruction. There exist very twisting families of lines on Grassmannians and isotropic Grassmannians. This is a key step in proving existence of a rational section of a family of isotropic Grassmannians over a surface with vanishing Brauer obstruction. △ Less

Submitted 27 February, 2006; originally announced February 2006.

Comments: 25 pages, posting of older preprint

MSC Class: 14C05; 14M15

A note on Fano manifolds whose second Chern character is positive

Authors: A. J. de Jong, Jason Michael Starr

Abstract: This note outlines some first steps in the classification of Fano manifolds for which $c_1^2-2c_2$ is positive or nef. This note outlines some first steps in the classification of Fano manifolds for which $c_1^2-2c_2$ is positive or nef. △ Less

Submitted 27 February, 2006; originally announced February 2006.

Comments: 10 pages, posting of older preprint

MSC Class: 14J45

Divisor classes and the virtual canonical bundle for genus 0 maps

Authors: A. J. de Jong, Jason Michael Starr

Abstract: Some divisor class relations are proved and used to compute the Cartier divisor class of the virtual canonical bundle for genus 0 maps to a smooth target. Some divisor class relations are proved and used to compute the Cartier divisor class of the virtual canonical bundle for genus 0 maps to a smooth target. △ Less

Submitted 27 February, 2006; originally announced February 2006.

Comments: 18 pages, posting of older preprint

MSC Class: 14C05

Hypersurfaces of low degree are rationally simply-connected

Authors: Jason Michael Starr

Abstract: This article proves hypersurfaces of degree d in projective n-space are "rationally simply-connected" if $d^2 \leq n$. In a forthcoming paper, de Jong and I prove a slightly weaker result when $d^2 \leq n+1$. This article proves hypersurfaces of degree d in projective n-space are "rationally simply-connected" if $d^2 \leq n$. In a forthcoming paper, de Jong and I prove a slightly weaker result when $d^2 \leq n+1$. △ Less

Submitted 27 February, 2006; originally announced February 2006.

Comments: 35 pages, posting of older preprint

MSC Class: 14C05; 14E08

The maximal free rational quotient

Authors: Jason Michael Starr

Abstract: This short, expository note proves the existence of the maximal quotient of a variety by free rational curves. This short, expository note proves the existence of the maximal quotient of a variety by free rational curves. △ Less

Submitted 27 February, 2006; originally announced February 2006.

Comments: 8 pages, posting of older preprint

MSC Class: 14C05

A pencil of Enriques surfaces of index one with no section

Authors: Jason Michael Starr

Abstract: Mondromy and deformation-and-specialization arguments are used to produce a pencil of Enriques surfaces with no section and index one. The same technique completes the proof that the witness curves in "Rational connectivity ..." depend on the relative dimension. Mondromy and deformation-and-specialization arguments are used to produce a pencil of Enriques surfaces with no section and index one. The same technique completes the proof that the witness curves in "Rational connectivity ..." depend on the relative dimension. △ Less

Submitted 27 February, 2006; originally announced February 2006.

Comments: 5 pages, posting of older preprint

MSC Class: 14G05; 14D06

Rational surfaces in index-one Fano hypersurfaces

Authors: Roya Beheshti, Jason Michael Starr

Abstract: We give the first evidence for a conjecture that a general, index-one, Fano hypersurface is not unirational: (i) a general point of the hypersurface is contained in no rational surface ruled, roughly, by low-degree rational curves, and (ii) a general point is contained in no image of a Del Pezzo surface. We give the first evidence for a conjecture that a general, index-one, Fano hypersurface is not unirational: (i) a general point of the hypersurface is contained in no rational surface ruled, roughly, by low-degree rational curves, and (ii) a general point is contained in no image of a Del Pezzo surface. △ Less

Submitted 29 January, 2006; originally announced January 2006.

Comments: 13 pages, 6 diagrams

MSC Class: 14C05; 14E08