Showing 1–22 of 22 results for author: Keel, S

The merging galaxy cluster Abell 3266 at low radio frequencies

Authors: S. W. Duchesne, M. Johnston-Hollitt, C. J. Riseley, I. Bartalucci, S. R. Keel

Abstract: We present new low-frequency ($ν= 88$-216 MHz) observations of the complex merging galaxy cluster Abell 3266. These new observations are taken with the Murchison Widefield Array (MWA) in its Phase II 'extended', long-baseline configuration, offering the highest-resolution low-frequency view of the cluster to date. We report on the detection of four steep spectrum ($α\lesssim -1$ for… ▽ More We present new low-frequency ($ν= 88$-216 MHz) observations of the complex merging galaxy cluster Abell 3266. These new observations are taken with the Murchison Widefield Array (MWA) in its Phase II 'extended', long-baseline configuration, offering the highest-resolution low-frequency view of the cluster to date. We report on the detection of four steep spectrum ($α\lesssim -1$ for $S_ν\propto ν^α$) extended radio sources within the cluster. We confirm the detection of a $\sim 570$ kpc radio relic to the south of the cluster, and a possible bridge of emission connecting the relic to the cluster core. We also detect two new ultra-steep-spectrum ($α\lesssim -1.7$) fossil plasma sources to the north and west of the cluster centre without associated compact radio emission. A previously detected radio galaxy in the cluster is also found to have a spectrally steepening tail with steep-spectrum components highlighted by the MWA. We do not detect a giant radio halo in the cluster. After simulating a range of radio haloes at 216 MHz we place upper limits on the radio luminosity corresponding to $\sim 7.2 \times 10^{24}$ W Hz$^{-1}$ at 150 MHz assuming the expected 500 kpc radius, up to a factor 5 lower than expected from scaling relations. Why a giant radio halo is undetected in Abell 3266 is unclear - the timeline of the merger and overall mass of the system as determined by optical and X-ray studies suggest the foundation for a hosting system. △ Less

Submitted 24 January, 2022; originally announced January 2022.

Comments: 11 pages, 5 figures, re-submitted to MNRAS after initial review round with moderate changes

Secondary fan, theta functions and moduli of Calabi-Yau pairs

Authors: Paul Hacking, Sean Keel, Tony Yue Yu

Abstract: We conjecture that any connected component $Q$ of the moduli space of triples $(X,E=E_1+\dots+E_n,Θ)$ where $X$ is a smooth projective variety, $E$ is a normal crossing anti-canonical divisor with a 0-stratum, every $E_i$ is smooth, and $Θ$ is an ample divisor not containing any 0-stratum of $E$, is unirational. More precisely: note that $Q$ has a natural embedding into the Kollár-Shepherd-Barron-… ▽ More We conjecture that any connected component $Q$ of the moduli space of triples $(X,E=E_1+\dots+E_n,Θ)$ where $X$ is a smooth projective variety, $E$ is a normal crossing anti-canonical divisor with a 0-stratum, every $E_i$ is smooth, and $Θ$ is an ample divisor not containing any 0-stratum of $E$, is unirational. More precisely: note that $Q$ has a natural embedding into the Kollár-Shepherd-Barron-Alexeev moduli space of stable pairs, we conjecture that the induced compactification admits a finite cover by a complete toric variety. We construct the associated complete toric fan, generalizing the Gelfand-Kapranov-Zelevinski secondary fan for reflexive polytopes. Inspired by mirror symmetry, we speculate a synthetic construction of the universal family over this toric variety, as the Proj of a sheaf of graded algebras with a canonical basis, whose structure constants are given by counts of non-archimedean analytic disks. In the Fano case and under the assumption that the mirror contains a Zariski open torus, we construct the conjectural universal family, generalizing the families of Kapranov-Sturmfels-Zelevinski and Alexeev in the toric case. In the case of del Pezzo surfaces with an anti-canonical cycle of $(-1)$-curves, we prove the full conjecture. △ Less

Submitted 18 January, 2022; v1 submitted 5 August, 2020; originally announced August 2020.

Comments: Minor revision

MSC Class: Primary 14J33; Secondary 14J10; 14J32; 14E30; 14G22

The mirror of the cubic surface

Authors: Mark Gross, Paul Hacking, Sean Keel, Bernd Siebert

Abstract: This paper expands on a remark in the paper "Mirror Symmetry for Log Calabi-Yau Surfaces I" of the first three authors of this paper, explaining fully how various constructions of the authors apply to give the mirror to the cubic surface. We give a full description of the scattering diagram associated to the cubic surface: this is a particularly nice diagram in which rays of every rational slope o… ▽ More This paper expands on a remark in the paper "Mirror Symmetry for Log Calabi-Yau Surfaces I" of the first three authors of this paper, explaining fully how various constructions of the authors apply to give the mirror to the cubic surface. We give a full description of the scattering diagram associated to the cubic surface: this is a particularly nice diagram in which rays of every rational slope occur, but they may all be described. The equation of the mirror cubic family is then derived in two ways, first by using broken lines and then by using more recent constructions involving a direct calculation of Gromov-Witten invariants. △ Less

Submitted 18 October, 2019; originally announced October 2019.

Comments: 30 pages, accepted version for Miles Reid's 70th birthday proceedings

MSC Class: 14J33

The Frobenius structure theorem for affine log Calabi-Yau varieties containing a torus

Authors: Sean Keel, Tony Yue Yu

Abstract: Let $U$ be an affine log Calabi-Yau variety containing an open algebraic torus. We show that the naive counts of rational curves in $U$ uniquely determine a commutative associative algebra equipped with a compatible multilinear form. This proves a variant of the Frobenius structure conjecture by Gross-Hacking-Keel in mirror symmetry, and the spectrum of this algebra is supposed to give the hypothe… ▽ More Let $U$ be an affine log Calabi-Yau variety containing an open algebraic torus. We show that the naive counts of rational curves in $U$ uniquely determine a commutative associative algebra equipped with a compatible multilinear form. This proves a variant of the Frobenius structure conjecture by Gross-Hacking-Keel in mirror symmetry, and the spectrum of this algebra is supposed to give the hypothetical mirror family. Although the statement of our theorem involves only elementary algebraic geometry, our proof employs Berkovich non-archimedean analytic methods. We construct the structure constants of the algebra via counting non-archimedean analytic disks in the analytification of $U$. We establish various properties of the counting, notably deformation invariance, symmetry, gluing formula and convexity. In the special case when $U$ is a Fock-Goncharov skew-symmetric X-cluster variety, we prove that our algebra generalizes, and gives a direct geometric construction of, the mirror algebra of Gross-Hacking-Keel-Kontsevich. The comparison is proved via a canonical scattering diagram constructed from counts of infinitesimal non-archimedean analytic cylinders, without using the Kontsevich-Soibelman algorithm. Several combinatorial conjectures of GHKK, as well as the positivity in the Laurent phenomenon, follow readily from the geometric description. △ Less

Submitted 18 January, 2022; v1 submitted 26 August, 2019; originally announced August 2019.

Comments: Improved exposition, new figures

MSC Class: Primary 14J33; Secondary 14G22; 14N35; 14J32; 14T05; 13F60

Canonical bases for cluster algebras

Authors: Mark Gross, Paul Hacking, Sean Keel, Maxim Kontsevich

Abstract: In previous work, the first three authors conjectured that the ring of regular functions on a natural class of affine log Calabi-Yau varieties (those with maximal boundary) has a canonical vector space basis parameterized by the integral tropical points of the mirror. Further, the structure constants for the multiplication rule in this basis should be given by counting broken lines (certain combin… ▽ More In previous work, the first three authors conjectured that the ring of regular functions on a natural class of affine log Calabi-Yau varieties (those with maximal boundary) has a canonical vector space basis parameterized by the integral tropical points of the mirror. Further, the structure constants for the multiplication rule in this basis should be given by counting broken lines (certain combinatorial objects, morally the tropicalisations of holomorphic discs). Here we prove the conjecture in the case of cluster varieties, where the statement is a more precise form of the Fock-Goncharov dual basis conjecture. In particular, under suitable hypotheses, for each Y the partial compactification of an affine cluster variety U given by allowing some frozen variables to vanish, we obtain canonical bases for the ring of functions on Y extending to a basis for functions on U. Each choice of seed canonically identifies the parameterizing sets of these bases with integral points in a polyhedral cone. These results specialize to basis results of combinatorial representation theory. For example, by considering the open double Bruhat cell U in the basic affine space Y we obtain a canonical basis of each irreducible representation of SL_r, parameterized by a set which each choice of seed identifies with integral points of a lattice polytope. These bases and polytopes are all constructed essentially without representation theoretic considerations. Along the way, our methods prove a number of conjectures in cluster theory, including positivity of the Laurent phenomenon for cluster algebras of geometric type. △ Less

Submitted 28 October, 2016; v1 submitted 5 November, 2014; originally announced November 2014.

Comments: 136 pages, this version hopefully represents a significant improvement in exposition

Birational geometry of cluster algebras

Authors: Mark Gross, Paul Hacking, Sean Keel

Abstract: We give a geometric interpretation of cluster varieties in terms of blowups of toric varieties. This enables us to provide, among other results, an elementary geometric proof of the Laurent phenomenon for cluster algebras (of geometric type), extend Speyer's example of an upper cluster algebra which is not finitely generated, and show that the Fock-Goncharov dual basis conjecture is usually false. We give a geometric interpretation of cluster varieties in terms of blowups of toric varieties. This enables us to provide, among other results, an elementary geometric proof of the Laurent phenomenon for cluster algebras (of geometric type), extend Speyer's example of an upper cluster algebra which is not finitely generated, and show that the Fock-Goncharov dual basis conjecture is usually false. △ Less

Submitted 15 April, 2014; v1 submitted 10 September, 2013; originally announced September 2013.

Comments: 50 pages, to appear in Algebraic Geometry

Moduli of surfaces with an anti-canonical cycle

Authors: Mark Gross, Paul Hacking, Sean Keel

Abstract: We prove a global Torelli theorem for pairs (Y,D), where Y is a smooth projective rational surface and D is an effective anti-canonical divisor which is a cycle of rational curves. This Torelli theorem was conjectured by Friedman in 1984. In addition, we construct natural universal families for such pairs. We prove a global Torelli theorem for pairs (Y,D), where Y is a smooth projective rational surface and D is an effective anti-canonical divisor which is a cycle of rational curves. This Torelli theorem was conjectured by Friedman in 1984. In addition, we construct natural universal families for such pairs. △ Less

Submitted 30 June, 2014; v1 submitted 27 November, 2012; originally announced November 2012.

Comments: Final version. Much simplified proofs. To appear in Compositio

MSC Class: 14J10; 14J26

Journal ref: Compositio Math. 151 (2015) 265-291

Mirror symmetry for log Calabi-Yau surfaces I

Authors: Mark Gross, Paul Hacking, Sean Keel

Abstract: We give a canonical synthetic construction of the mirror family to a pair (Y,D) of a smooth projective surface with an anti-canonical cycle of rational curves, as the spectrum of an explicit algebra defined in terms of counts of rational curves on Y meeting D in a single point. In the case D is contractible, the family gives a smoothing of the dual cusp, and thus a proof of Looijenga's 1981 cusp c… ▽ More We give a canonical synthetic construction of the mirror family to a pair (Y,D) of a smooth projective surface with an anti-canonical cycle of rational curves, as the spectrum of an explicit algebra defined in terms of counts of rational curves on Y meeting D in a single point. In the case D is contractible, the family gives a smoothing of the dual cusp, and thus a proof of Looijenga's 1981 cusp conjecture. △ Less

Submitted 6 March, 2015; v1 submitted 24 June, 2011; originally announced June 2011.

Comments: 144 pages, 3 figures, Second version significantly shorter, 109 pages. The first version has a lot of material (particularly in the introduction and material on cyclic quotient singularities) which does not appear in the new version. Download version 1 if this material is desired. Third and final version, small changes from Version 2, to appear in Publ. IHES

MSC Class: 14J33; 58K60

Stable pair, tropical, and log canonical compact moduli of del Pezzo surfaces

Authors: Paul Hacking, Sean Keel, Jenia Tevelev

Abstract: We give a functorial normal crossing compactification of the moduli of smooth marked cubic surfaces entirely analogous to the Grothendieck-Knudsen compactification $M_{0,n} \subset \bar{M}_{0,n}$. We give a functorial normal crossing compactification of the moduli of smooth marked cubic surfaces entirely analogous to the Grothendieck-Knudsen compactification $M_{0,n} \subset \bar{M}_{0,n}$. △ Less

Submitted 12 September, 2007; v1 submitted 17 February, 2007; originally announced February 2007.

Comments: 49 pages, 8 figures. v2: Added section 3 "Iitaka fibration for subvarieties of algebraic tori"

MSC Class: 14J10; 14E30

Journal ref: Invent. Math. 178 (2009), no. 1, 173-227

Equations for $\bar M_{0,n}$

Authors: Sean Keel, Jenia Tevelev

Abstract: We show that the log canonical bundle, $κ$, of $\bar M_{0,n}$ is very ample, show the homogeneous coordinate ring is Koszul, and give a nice set of rank 4 quadratic generators for the homogeneous ideal: The embedding is equivariant for the symmetric group, and the image lies on many Segre embedded copies of $P^1 \times P^2 \times ... \times P^{n-3}$, permuted by the symmetric group. The homogene… ▽ More We show that the log canonical bundle, $κ$, of $\bar M_{0,n}$ is very ample, show the homogeneous coordinate ring is Koszul, and give a nice set of rank 4 quadratic generators for the homogeneous ideal: The embedding is equivariant for the symmetric group, and the image lies on many Segre embedded copies of $P^1 \times P^2 \times ... \times P^{n-3}$, permuted by the symmetric group. The homogeneous ideal of $\bar M_{0,n}$ is the sum of the homogeneous ideals of these Segre embeddings. △ Less

Submitted 5 July, 2005; originally announced July 2005.

Comments: 22 pages

MSC Class: 14

Compactification of the moduli space of hyperplane arrangements

Authors: Paul Hacking, Sean Keel, Jenia Tevelev

Abstract: Consider the moduli space M^0 of arrangements of n hyperplanes in general position in projective (r-1)-space. When r=2 the space has a compactification given by the moduli space of stable curves of genus 0 with n marked points. In higher dimensions, the analogue of the moduli space of stable curves is the moduli space of stable pairs: pairs (S,B) consisting of a variety S (possibly reducible) an… ▽ More Consider the moduli space M^0 of arrangements of n hyperplanes in general position in projective (r-1)-space. When r=2 the space has a compactification given by the moduli space of stable curves of genus 0 with n marked points. In higher dimensions, the analogue of the moduli space of stable curves is the moduli space of stable pairs: pairs (S,B) consisting of a variety S (possibly reducible) and a divisor B=B_1+..+B_n, satisfying various additional assumptions. We identify the closure of M^0 in the moduli space of stable pairs as Kapranov's Chow quotient compactification of M^0, and give an explicit description of the pairs at the boundary. We also construct additional irreducible components of the moduli space of stable pairs. △ Less

Submitted 14 January, 2005; originally announced January 2005.

Comments: 26 pages, 1 figure

MSC Class: 14J10; 52C35

Journal ref: J. Algebraic Geom. 15 (2006), 657--680

Chow Quotients of Grassmannians II

Authors: Sean Keel, Jenia Tevelev

Abstract: We consider Kapranov's Chow quotient compactification of the moduli space of ordered n-tuples of hyperplanes in P^{r-1} in linear general position. For r=2 this is canonically identified with the Grothendieck-Knudsen compactification of M_{0,n} which has among others the nice properties 1) Modular meaning: stable pointed rational curves 2) Canonical description of limits of one parameter degener… ▽ More We consider Kapranov's Chow quotient compactification of the moduli space of ordered n-tuples of hyperplanes in P^{r-1} in linear general position. For r=2 this is canonically identified with the Grothendieck-Knudsen compactification of M_{0,n} which has among others the nice properties 1) Modular meaning: stable pointed rational curves 2) Canonical description of limits of one parameter degenerations 3) Natural Mori theoretic meaning: log canonical compactification. We prove (1-2) generalize naturally to all (r,n), but that (3), which we view as the deepest, fails except possibly in the cases (2,n),(3,6),(3,7),(3,8), where we conjecture it holds. The same generalization of (1) was given recently (and independently) by Hacking. △ Less

Submitted 20 August, 2004; v1 submitted 14 January, 2004; originally announced January 2004.

Comments: Proofs in section 3 are simplified, some technical details and typos are corrected. The proof of 1.5 is removed - a more general modular result will appear in the joint paper with Paul Hacking

Polarized Pushouts for Finite Fields

Authors: Sean Keel

Abstract: Let p: Y--> X be a surjection between schemes projective over the algebraic closure of a finite field. Let L be a line bundle on X such that p^*(L) is globally generated. I give a natural necessary and sufficient condition under which some positive tensor power of L is globally generated. I apply this to give a sufficient condition for semi-ampleness of nef line bundles on the moduli space of st… ▽ More Let p: Y--> X be a surjection between schemes projective over the algebraic closure of a finite field. Let L be a line bundle on X such that p^*(L) is globally generated. I give a natural necessary and sufficient condition under which some positive tensor power of L is globally generated. I apply this to give a sufficient condition for semi-ampleness of nef line bundles on the moduli space of stable pointed curves, in positive characteristic. △ Less

Submitted 6 March, 2003; v1 submitted 19 April, 2002; originally announced April 2002.

Comments: Final Version. To appear in K60 volume of Communications in Algebra

Oort's conjecture for A_g

Authors: Sean Keel, Lorenzo Sadun

Abstract: We prove the conjecture of Oort that a compact subvariety of the moduli space of principally polarized Abelian varieties of genus g has codimension strictly greater than g, for g > 2, in characteristic zero We prove the conjecture of Oort that a compact subvariety of the moduli space of principally polarized Abelian varieties of genus g has codimension strictly greater than g, for g > 2, in characteristic zero △ Less

Submitted 6 March, 2003; v1 submitted 18 April, 2002; originally announced April 2002.

Comments: 17 pages, AmSTeX Final Version, to appear in JAMS

MSC Class: 14K10

Towards the ample cone of $\mgn$

Authors: Angela Gibney, Sean Keel, Ian Morrison

Abstract: In this paper we study the ample cone of the moduli space $\mgn$ of stable $n$-pointed curves of genus $g$. Our motivating conjecture is that a divisor on $\mgn$ is ample iff it has positive intersection with all 1-dimensional strata (the components of the locus of curves with at least $3g+n-2$ nodes). This translates into a simple conjectural description of the cone by linear inequalities, and,… ▽ More In this paper we study the ample cone of the moduli space $\mgn$ of stable $n$-pointed curves of genus $g$. Our motivating conjecture is that a divisor on $\mgn$ is ample iff it has positive intersection with all 1-dimensional strata (the components of the locus of curves with at least $3g+n-2$ nodes). This translates into a simple conjectural description of the cone by linear inequalities, and, as all the 1-strata are rational, includes the conjecture that the Mori cone is polyhedral and generated by rational curves. Our main result is that the conjecture holds iff it holds for $g=0$. More precisely, there is a natural finite map $r: \vmgn 0. 2g+n. \to \mgn$ whose image is the locus $\rgn$ of curves with all components rational. Any 1-strata either lies in $\rgn$ or is numerically equivalent to a family $E$ of elliptic tails and we show that a divisor $D$ is nef iff $D \cdot E \geq 0$ and $r^*(D)$ is nef. We also give results on contractions (i.e. morphisms with connected fibers to projective varieties) of $\mgn$ for $g \geq 1$ showing that any fibration factors through a tautological one (given by forgetting points) and that the exceptional locus of any birational contraction is contained in the boundary. Finally, by more ad-hoc arguments, we prove the nefness of certain special classes. △ Less

Submitted 11 December, 2001; v1 submitted 27 June, 2000; originally announced June 2000.

Comments: 18 pages, AMSTeX2.1, amsppt style, 1 EPS figure. Results on semi-ampleness in char $p>0$ have been deleted because the proof used an incorrect induction which assumed the connectedness of the boundary of $\mgn$ (false for $\bar{\M_{0,4}}$). The main results now apply without special assumptions in char $p>0$ (the description of $\Pic(\mgn)$ is the same as in char 0). Numerous minor corrections have been made. Final version, to appear in J. Amer. Math. Soc

MSC Class: 14H10; 14E99

Mori Dream Spaces and GIT

Authors: Yi Hu, Sean Keel

Abstract: The main goal of this paper is to study varieties with the best possible Mori theoretic properties (measured by the existence of a certain decomposition of the cone of effective divisors). We call such a variety a Mori Dream Space. There turn out to be many examples, including quasi-smooth projective toric (or more generally, spherical) varieties, many GIT quotients, and log Fano 3-folds. We cha… ▽ More The main goal of this paper is to study varieties with the best possible Mori theoretic properties (measured by the existence of a certain decomposition of the cone of effective divisors). We call such a variety a Mori Dream Space. There turn out to be many examples, including quasi-smooth projective toric (or more generally, spherical) varieties, many GIT quotients, and log Fano 3-folds. We characterize Mori dream spaces as GIT quotients of affine varieties by a torus in a manner generalizing Cox's construction of toric varieties as quotients of affine space. Via the quotient description, the chamber decomposition of the cone of divisors in Mori theory is naturally identified with the decomposition of the G-ample cone from geometric invariant theory. In particular every rational contraction of a Mori dream space comes from GIT, and all possible factorizations of a rational contraction can be read off from the chamber decomposition. △ Less

Submitted 4 April, 2000; originally announced April 2000.

A GIT proof of Włodarczyk's weighted factorization theorem

Authors: Yi Hu, Sean Keel

Abstract: We give a short proof of W{\lodarczyk's theorem that any birational map between smooth projective varieties in characteristic zero is a composition of weighted blowups and blowdowns. We give a short proof of W{\lodarczyk's theorem that any birational map between smooth projective varieties in characteristic zero is a composition of weighted blowups and blowdowns. △ Less

Submitted 26 April, 1999; originally announced April 1999.

Comments: 5 pages

Basepoint freeness for nef and big line bundles in positive characteristic

Authors: Seán Keel

Abstract: A necessary and sufficient condition is given for semi-ampleness of a numerically effective (nef) and big line bundle in positive characteristic. One application is to the geometry of the universal stable curve over M_g, specifically, the semi-ampleness of the relative dualizing sheaf, in positive characteristic. An example is given which shows this and the semi-ampleness criterion fail in chara… ▽ More A necessary and sufficient condition is given for semi-ampleness of a numerically effective (nef) and big line bundle in positive characteristic. One application is to the geometry of the universal stable curve over M_g, specifically, the semi-ampleness of the relative dualizing sheaf, in positive characteristic. An example is given which shows this and the semi-ampleness criterion fail in characteristic zero. A second application is to Mori's program for minimal models of 3-folds in positive characteristic, namely, to the existence of birational extremal contractions. △ Less

Submitted 31 December, 1998; originally announced January 1999.

Comments: 34 pages, published version

Report number: Annals migration 4-2001

Journal ref: Ann. of Math. (2) 149 (1999), no. 1, 253-286

Rational Curves on Quasi-Projective Surfaces

Authors: Sean Keel, James McKernan

Abstract: The main result is that a quasi-projective surface has negative log Kodaira dimension (i.e. no log pluricanonical sections) iff it is dominated by images of the affine line. This follows from our main intermediate result, that the smooth locus of a log Fano surface is rationally connected. We also give a classification of all but a bounded family of rank one log del Pezzo surfaces. The main result is that a quasi-projective surface has negative log Kodaira dimension (i.e. no log pluricanonical sections) iff it is dominated by images of the affine line. This follows from our main intermediate result, that the smooth locus of a log Fano surface is rationally connected. We also give a classification of all but a bounded family of rank one log del Pezzo surfaces. △ Less

Submitted 25 July, 1997; originally announced July 1997.

Comments: 159 pages

Basepoint freeness for big line bundles in positive characteristic, with applications to M_g and to 3-fold MMP

Authors: Sean Keel

Abstract: I give a necessary and sufficient condition for a nef and big line bundle in positive characteristic to be semi-ample, and then give two applications: I show that the relative dualizing sheaf of the universal curve is semi-ample, in positive characteristic, and give a simple example which shows that this, and the semi-ampleness criterion, fail in characteristic zero. My second application is to… ▽ More I give a necessary and sufficient condition for a nef and big line bundle in positive characteristic to be semi-ample, and then give two applications: I show that the relative dualizing sheaf of the universal curve is semi-ample, in positive characteristic, and give a simple example which shows that this, and the semi-ampleness criterion, fail in characteristic zero. My second application is to Mori's program for minimal models of 3-folds. I prove a version of the Basepoint Free Theorem (for big line bundles on 3-folds of positive characteristic) and a simple Cone Theorem, for 3-folds of positive Kodaira dimension. △ Less

Submitted 13 March, 1998; v1 submitted 3 March, 1997; originally announced March 1997.

Comments: I have corrected several errors from the original version, and simplified the proof of the contraction theorem. to appear in Annals of Math. arXiv admin note: see math.AG/9901149 for published version accidentally submitted anew in Annals migration

Contractible Extremal Rays on \overline{M}_{0,n}

Authors: Sean Keel, James McKernan

Abstract: We consider the cones of curves and divisors on the moduli space of stable pointed rational curves,M_n, and on the quotient by the symmetric group, Q_n, which is a moduli space of pairs. We find generators for contractible extremal rays of the cone of curves NE_1(M_n), and for the cone of divisors NE^1(Q_n). This second cone turns out to be simplicial. We give complete descriptions of NE_1(M_n)… ▽ More We consider the cones of curves and divisors on the moduli space of stable pointed rational curves,M_n, and on the quotient by the symmetric group, Q_n, which is a moduli space of pairs. We find generators for contractible extremal rays of the cone of curves NE_1(M_n), and for the cone of divisors NE^1(Q_n). This second cone turns out to be simplicial. We give complete descriptions of NE_1(M_n) and NE_1(Q_n) for small n (< 8 in the first case, < 11 in the second). We also have results of independent interest on when curves in a divisor generate the cone of curves of the ambient variety. △ Less

Submitted 7 July, 1996; originally announced July 1996.

Comments: 16 pages,AMSTex

Quotients by Groupoids

Authors: Sean Keel, Shigefumi Mori

Abstract: We show that if a flat group scheme acts properly, with finite stabilizers, on an algebraic space, then a quotient exists as a separated algebraic space. More generally we show any flat groupid for which the family of stabilizers is finite has a uniform geometric, uniform categorical quotient in the category of algebraic spaces. Our argument is elementary and essentially self contained. We show that if a flat group scheme acts properly, with finite stabilizers, on an algebraic space, then a quotient exists as a separated algebraic space. More generally we show any flat groupid for which the family of stabilizers is finite has a uniform geometric, uniform categorical quotient in the category of algebraic spaces. Our argument is elementary and essentially self contained. △ Less

Submitted 25 August, 1995; originally announced August 1995.

Comments: AMSTeX