arXiv subjects
Publications and source records attributed to Miles Reid.
This is a first introduction to unprojection methods, and more specifically to Tom and Jerry unprojections. These two harmless tricks deserve to be better known, since they answer many practical questions about constructing codimension 4 Gorenstein subschemes. In particular, we discuss here the two smoothing components of the anticanonical cone over PP(1,2,3).
We show that, for a Q-Fano threefold X of Fano index 2, the inequality dim |-1/2K_X| <= 4 holds with a single well understood family of varieties having dim |-1/2K_X| = 4.
Part I introduced diptych varieties $V_{ABLM}$ and gave a rigorous construction of them in the case $d,e\ge 2$ and $de>4$. Here we prove the existence of $V_{ABLM}$ in all the cases with $de\le4$. At the same time we construct some classes of interesting quasihomogeneous spaces for groups such as $\GL(2)\times\G_m^r$ based on the algebra of polars.
I describe the projective resolution of a codimension 4 Gorenstein ideal, aiming to extend Buchsbaum and Eisenbud's famous result in codimension 3. The main result is a structure theorem stating that the ideal is determined by its (k+1) x 2k matrix of first syzygies, viewed as a morphism from the ambient regular space to the Spin-Hom variety SpH_k in Mat(k+1,2k). This is a general result encapsulating some theoretical aspects of the problem, but, as it stands, is still some way from tractable applications.
We present a new class of affine Gorenstein 6-folds obtained by smoothing the 1-dimensional singular locus of a reducible affine toric surface; their existence is established using explicit methods in toric geometry and serial use of Kustin-Miller Gorenstein unprojection. These varieties have applications as key varieties in constructing other varieties, including local models of Mori flips of Type A.
We give an orbifold Riemann-Roch formula in closed form for the Hilbert series of a quasismooth polarized n-fold X,D, under the assumption that X is projectively Gorenstein with only isolated orbifold points. Our formula is a sum of parts each of which is integral and Gorenstein symmetric of the same canonical weight; the orbifold parts are called "ice cream functions". This form of the Hilbert series is particularly useful for computer algebra, and we illustrate it on examples of K3 surfaces and Calabi-Yau 3-folds. These results apply also with higher dimensional orbifold strata (see [A. Buckley and B. Szendroi, Orbifold Riemann-Roch for 3-folds with an application to Calabi-Yau geometry, J. Algebraic Geometry 14 (2005) 601--622] and [Shengtian Zhou, Orbifold Riemann-Roch and Hilbert series, University of Warwick PhD thesis, March 2011, 91+vii pp.], although the correct statements are considerably trickier. We expect to return to this in future publications.
This work is part of the Graded Ring Database project [GRDB], and is a sequel to [Altinok's 1998 PhD thesis] and [Altinok, Brown and Reid, Fano 3-folds, K3 surfaces and graded rings, in SISTAG (Singapore, 2001), Contemp. Math. 314, 2002, pp. 25-53]. We introduce a strategy based on Kustin-Miller unprojection that constructs many hundreds of Gorenstein codimension 4 ideals with 9x16 resolutions (that is, 9 equations and 16 first syzygies). Our two basic games are called Tom and Jerry; the main application is the biregular construction of most of the anticanonically polarised Mori Fano 3-folds of Altinok's thesis. There are 115 cases whose numerical data (in effect, the Hilbert series) allow a Type I projection. In every case, at least one Tom and one Jerry construction works, providing at least two deformation families of quasismooth Fano 3-folds having the same numerics but different topology.
We prove that an etale cover Y of degree 8 of a Campedelli surface S is a complete intersection of four quadrics in P^6, obtaining as a consequence that Y is the universal cover of S, the covering group G=Gal(Y/S)is the topological fundamental group of S and that G cannot be the dihedral group of order 8. This paper patches up an incomplete manuscript of the third author.
The division of compact Riemann surfaces into 3 cases K_C<0, g=0, or K_C=0, g=1, or K_C>0, g>=2 is well known, and corresponds to the familiar trichotomy of spherical, Euclidean and hyperbolic non-Euclidean plane geometry. Classification aims to treat all projective algebraic varieties in terms of this trichotomy. The model is the treatment of surfaces by Castelnuovo and Enriques around 1900. Because the canonical class of a variety may not have a definite sign, we usually have to modify a variety by a minimal model program (MMP) before it makes sense to apply the trichotomy; this involves contractions, flips and fibre space decompositions. The classification of 3-folds was achieved by Mori and others during the 1980s. New results over the last 5 years have added many layers of subtlety to higher dimensional classification. These include: -> extension of MMP to dimension 4 (Shokurov), -> rational connected varieties (Campana and Kollár--Miyaoka--Mori), -> explicit classification results for 3-folds (Corti, Kawakita and others), -> Calabi-Yaus, mirror symmetry and string theory applications, -> resolution of orbifolds and McKay correspondence, -> the derived category as a characteristic of varieties (Bondal, Orlov, Bridgeland and others), -> birational rigidity (Sarkisov, Corti, Pukhlikov and others). The study of 3-folds also yields a rich crop of applications in several different branches of algebra, geometry and theoretical physics. My lecture surveys some of these topics.
Many classes of projective algebraic varieties can be studied in terms of graded rings. Gorenstein graded rings in small codimension have been studied recently from an algebraic point of view, but the geometric meaning of the resulting structures is still relatively poorly understood. We discuss here the weighted projective analogs of homogeneous spaces such as the Grassmannian Gr(2,5) and orthogonal Grassmannian OGr(5,10) appearing in Mukai's linear section theorem for Fano 3-folds, and show how to use these as ambient spaces for weighted projective constructions. This is a first sketch of a subject that we expect to have many interesting future applications.
Gorenstein projection plays a key role in birational geometry; the typical example is the linear projection of a del Pezzo surface of degree d to one of degree d-1, but variations on the same idea provide many of the classical and modern birational links between Fano 3-folds. The inverse operation is the Kustin--Miller unprojection theorem (A. Kustin and M. Miller, Constructing big Gorenstein ideals from small ones, J. Algebra 85 (1983) 303--322), which constructs "more complicated" Gorenstein rings starting from "less complicated" ones (increasing the codimension by 1). We give a clean statement and proof of their theorem, using the adjunction formula for the dualising sheaf in place of their complexes and Buchsbaum--Eisenbud exactness criterion. Our methods are scheme theoretic and work without any mention of the ambient space. They are thus not restricted to the local situation, and are well adapted to generalisations. The final section contains examples, and discusses briefly the applications to graded rings and birational geometry that motivate this study.
Explicit birational geometry of 3-folds represents a second phase of Mori theory, going beyond the foundational work of the 1980s. This paper is a tutorial and colloquial introduction to the explicit classification of Fano 3-folds (Q-Fano 3-folds), a subject that we hope is nearing completion. With the intention of remaining accessible to beginners in algebraic geometry, we include examples of elementary calculations of graded rings over curves and K3 surfaces. For us, K3 surfaces have at worst Du Val singularities and are polarised by an ample Weil divisor; they occur as the general elephant of a Fano 3-fold. A second section of the paper runs briefly through the classical theory of nonsingular Fano 3-folds and Mukai's extension to indecomposable Gorenstein Fano 3-folds. Ideas sketched out by Takagi at the Singapore conference reduce the study of Q-Fano 3-folds with g>=2 to indecomposable Gorenstein Fano 3-folds together with unprojection data. Much of the information about the anticanonical ring of a Fano 3-fold or K3 surface is contained in its Hilbert series. The Hilbert function is given by orbifold Riemann--Roch (see Reid's Young Person's Guide); using this, we can treat the Hilbert series as a simple collation of the genus and a basket of cyclic quotient singularities. Many hundreds of families of K3s and Fano 3-folds are known, among them a large number with g<=0, and Takagi's methods do not apply to these. However, in many cases, the Hilbert series already gives firm indications of how to construct the variety by biregular or birational methods. A final section of the paper introduces the K3 database in Magma, that manipulates these huge lists without effort.
Iku Nakamura [Hilbert schemes of Abelian group orbits, J. Alg. Geom. 10 (2001), 757--779] introduced the G-Hilbert scheme for a finite subgroup G in SL(3,C), and conjectured that it is a crepant resolution of the quotient C^3/G. He proved this for a diagonal Abelian group A by introducing an explicit algorithm that calculates A-Hilb C^3. This note calculates A-Hilb C^3 much more simply, in terms of fun with continued fractions plus regular tesselations by equilateral triangles.
I show that the weighted projective line PP(2,3) has an embedding PP(2,3) into PP(4,5,6,9) whose image Gamma is contained in a quasismooth K3 hypersurface X_24 in PP(4,5,6,9). The pair (Gamma in X_24) unprojects to the codimension 4 K3 surface Y in PP(4,5,5,6,7,8,9) with Basket = [1/2(1,1), 1/5(1,4), 1/5(2,3), 1/9(4,5)], Hilbert Numerator = 1 - t^12 - t^13 - 2t^14 - 2t^15 - 2t^16 - t^17 + t^19 + 2t^20 + 3t^21 + 4t^2 + 3t^23 + .. (this example is called Altinok4(111) in the Magma K3 database). The local coordinates at the third centre P_3 = 1/5(2,3) of Y are of weight 7 and 8 (rather than 2 and 3), so both are eliminated by the projection from P_3. Together with other examples, this gives substance to Type IV unprojections. Several more cases of Type IV unprojections are known up to codimension 5 or 6. The paper also contains some Magma programming routines suitable as exercises for babies.
This is the Foreword to the book ``Explicit birational geometry of 3-folds'', edited by A. Corti and M. Reid, CUP Jun 2000, ISBN: 0 521 63641 8, with papers by K. Altmann, A. Corti, A.R. Iano-Fletcher, J. Kollár, A.V. Pukhlikov and M. Reid. One of the main achievements of algebraic geometry over the last 20 years is the work of Mori and others extending minimal models and the Enriques--Kodaira classification to 3-folds. This book is an integrated suite of papers centred around applications of Mori theory to birational geometry. Four of the papers (those by Pukhlikov, Fletcher, Corti, and the long joint paper Corti, Pukhlikov and Reid) work out in detail the theory of birational rigidity of Fano 3-folds; these contributions work for the first time with a representative class of Fano varieties, 3-fold hypersurfaces in weighted projective space, and include an attractive introductory treatment and a wealth of detailed computation of special cases.
Let G be a finite group of automorphisms of a nonsingular complex threefold M such that the canonical bundle omega_M is locally trivial as a G-sheaf. We prove that the Hilbert scheme Y=GHilb M parametrising G-clusters in M is a crepant resolution of X=M/G and that there is a derived equivalence (Fourier- Mukai transform) between coherent sheaves on Y and coherent G-sheaves on M. This identifies the K theory of Y with the equivariant K theory of M, and thus generalises the classical McKay correspondence. Some higher dimensional extensions are possible.
Let M be a quasiprojective algebraic manifold with K_M=0 and G a finite automorphism group of M acting trivially on the canonical class K_M; for example, a subgroup G of SL(n,C) acting on C^n in the obvious way. We aim to study the quotient variety X=M/G and its resolutions Y -> X (especially under the assumption that Y has K_Y=0) in terms of G-equivariant geometry of M. At present we know 4 or 5 quite different methods of doing this, taken from string theory, algebraic geometry, motives, moduli, derived categories, etc. For G in SL(n,C) with n=2 or 3, we obtain several methods of cobbling together a basis of the homology of Y consisting of algebraic cycles in one-to-one correspondence with the conjugacy classes or the irreducible representations of G.
This file, provided as bibliographical information, contains the table of contents and editors' foreword from the proceedings of the July 1996 Warwick EuroConference on Algebraic Geometry.