Showing 1–26 of 26 results for author: Hacking, P

Homological mirror symmetry for projective K3 surfaces

Authors: Paul Hacking, Ailsa Keating

Abstract: We prove the homological mirror symmetry conjecture of Kontsevich for K3 surfaces in the following form: The Fukaya category of a projective K3 surface is equivalent to the derived category of coherent sheaves on the mirror, which is a K3 surface of Picard rank $19$ over the field $\mathbb{C}((q))$ of formal Laurent series. This builds on prior work of Seidel, who proved the theorem in the case of… ▽ More We prove the homological mirror symmetry conjecture of Kontsevich for K3 surfaces in the following form: The Fukaya category of a projective K3 surface is equivalent to the derived category of coherent sheaves on the mirror, which is a K3 surface of Picard rank $19$ over the field $\mathbb{C}((q))$ of formal Laurent series. This builds on prior work of Seidel, who proved the theorem in the case of the quartic surface, Sheridan, Lekili--Ueda, and Ganatra--Pardon--Shende. △ Less

Submitted 7 March, 2025; originally announced March 2025.

Comments: 86 pages, many figures. Comments welcome!

Smoothing Gorenstein toric Fano 3-folds

Authors: Alessio Corti, Paul Hacking, Andrea Petracci

Abstract: We introduce admissible Minkowski decomposition data (amd) for a 3-dimensional reflexive polytope P. This notion is defined purely in terms of the combinatorics of P. Denoting by X the Gorenstein toric Fano 3-fold whose fan is the spanning fan (a.k.a. face fan) of P, our first result states that amd for P determine a smoothing of X. Our second result amounts to an effective recipe for computing th… ▽ More We introduce admissible Minkowski decomposition data (amd) for a 3-dimensional reflexive polytope P. This notion is defined purely in terms of the combinatorics of P. Denoting by X the Gorenstein toric Fano 3-fold whose fan is the spanning fan (a.k.a. face fan) of P, our first result states that amd for P determine a smoothing of X. Our second result amounts to an effective recipe for computing the Betti numbers of the smoothing. △ Less

Submitted 9 December, 2024; originally announced December 2024.

Comments: 54 pages

MSC Class: 14J45; 14J33 (Primary); 14M25; 14E15 (Secondary)

Symplectomorphisms of some Weinstein 4-manifolds

Authors: Paul Hacking, Ailsa Keating

Abstract: Let M be a Weinstein four-manifold mirror to Y\D for (Y,D) a log Calabi--Yau surface; intuitively, this is typically the Milnor fibre of a smoothing of a cusp singularity. We introduce two families of symplectomorphisms of M: Lagrangian translations, which we prove are mirror to tensors with line bundles; and nodal slide recombinations, which we prove are mirror to automorphisms of (Y,D). The proo… ▽ More Let M be a Weinstein four-manifold mirror to Y\D for (Y,D) a log Calabi--Yau surface; intuitively, this is typically the Milnor fibre of a smoothing of a cusp singularity. We introduce two families of symplectomorphisms of M: Lagrangian translations, which we prove are mirror to tensors with line bundles; and nodal slide recombinations, which we prove are mirror to automorphisms of (Y,D). The proof uses a detailed compatibility between the homological and SYZ view-points on mirror symmetry. Together with spherical twists, these symplectomorphisms are expected to generate all autoequivalences of the wrapped Fukaya category of M which are compactly supported in a categorical sense. A range of applications is given. △ Less

Submitted 6 June, 2025; v1 submitted 13 December, 2021; originally announced December 2021.

Comments: Comments welcome! v3: small edits, accepted version

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

Homological mirror symmetry for log Calabi-Yau surfaces

Authors: Paul Hacking, Ailsa Keating, Wendelin Lutz

Abstract: Given a log Calabi-Yau surface $Y$ with maximal boundary $D$ and distinguished complex structure, we explain how to construct a mirror Lefschetz fibration $w: M \to \mathbb{C}$, where $M$ is a Weinstein four-manifold, such that the directed Fukaya category of $w$ is isomorphic to $D^b \text{Coh}(Y)$, and the wrapped Fukaya category $D^b\mathcal{W} (M)$ is isomorphic to… ▽ More Given a log Calabi-Yau surface $Y$ with maximal boundary $D$ and distinguished complex structure, we explain how to construct a mirror Lefschetz fibration $w: M \to \mathbb{C}$, where $M$ is a Weinstein four-manifold, such that the directed Fukaya category of $w$ is isomorphic to $D^b \text{Coh}(Y)$, and the wrapped Fukaya category $D^b\mathcal{W} (M)$ is isomorphic to $D^b \text{Coh}(Y \backslash D)$. We construct an explicit isomorphism between $M$ and the total space of the almost-toric fibration arising in the work of Gross-Hacking-Keel; when $D$ is negative definite this is expected to be the Milnor fibre of a smoothing of the dual cusp of $D$. We also match our mirror potential $w$ with existing constructions for a range of special cases of $(Y,D)$, notably in work of Auroux-Katzarkov-Orlov and Abouzaid. △ Less

Submitted 6 June, 2025; v1 submitted 11 May, 2020; originally announced May 2020.

Comments: This is the final version before publication, incorporating the appendix by Lutz, previously missing from the arxiv. Main article by Hacking and Keating. Comments welcome!

MSC Class: 53D37 (Primary) 14B05; 53D40 (Secondary)

Journal ref: Geom. Topol. 26 (2022) 3747-3833

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

Theta functions on varieties with effective anti-canonical class

Authors: Mark Gross, Paul Hacking, Bernd Siebert

Abstract: We show that a large class of maximally degenerating families of n-dimensional polarized varieties come with a canonical basis of sections of powers of the ample line bundle. The families considered are obtained by smoothing a reducible union of toric varieties governed by a wall structure on a real n-(pseudo-)manifold. Wall structures have previously been constructed inductively for cases with lo… ▽ More We show that a large class of maximally degenerating families of n-dimensional polarized varieties come with a canonical basis of sections of powers of the ample line bundle. The families considered are obtained by smoothing a reducible union of toric varieties governed by a wall structure on a real n-(pseudo-)manifold. Wall structures have previously been constructed inductively for cases with locally rigid singularities and by Gromov-Witten theory for mirrors of log Calabi-Yau surfaces and K3 surfaces by various combinations of the authors. For trivial wall structures on the n-torus we retrieve the classical theta functions. Possible applications include mirror symmetry, geometric compactifications of moduli of certain polarized varieties via stable pairs and geometric quantization. △ Less

Submitted 5 April, 2019; v1 submitted 26 January, 2016; originally announced January 2016.

Comments: To appear in Memoirs of the AMS, 126 pages; v2: Second torus action added in §A.3, new §A.4. v3: Internal remark removed v4: Accepted version

MSC Class: 14J33; 14J32; 14J45

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

Flipping surfaces

Authors: Paul Hacking, Jenia Tevelev, Giancarlo Urzúa

Abstract: We study semistable extremal threefold neighborhoods following earlier work of Mori, Kollár, and Prokhorov. We classify possible flips and extend Mori's algorithm for computing flips of extremal neighborhoods of type k2A to more general neighborhoods of type k1A. In fact we show that they belong to the same deformation family as k2A, and we explicitly construct the universal family of extremal nei… ▽ More We study semistable extremal threefold neighborhoods following earlier work of Mori, Kollár, and Prokhorov. We classify possible flips and extend Mori's algorithm for computing flips of extremal neighborhoods of type k2A to more general neighborhoods of type k1A. In fact we show that they belong to the same deformation family as k2A, and we explicitly construct the universal family of extremal neighborhoods. This construction follows very closely Mori's division algorithm, which we interpret as a sequence of mutations in the cluster algebra of rank 2 with general coefficients. We identify, in the versal deformation space of a cyclic quotient singularity, the locus of deformations such that the total space admits a (terminal) antiflip. We show that these deformations come from at most two irreducible components of the versal deformation space. As an application, we give an algorithm for computing stable one-parameter degenerations of smooth projective surfaces (under some conditions) and describe several components of the Kollár-Shepherd-Barron boundary of the moduli space of smooth canonically polarized surfaces of geometric genus zero. △ Less

Submitted 2 July, 2015; v1 submitted 6 October, 2013; originally announced October 2013.

Comments: 68 pages, 9 figures

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

Compact moduli spaces of surfaces of general type

Authors: Paul Hacking

Abstract: We give an introduction to the compactification of the moduli space of surfaces of general type introduced by Kollár and Shepherd-Barron and generalized to the case of surfaces with a divisor by Alexeev. The construction is an application of Mori's minimal model program for 3-folds. We review the example of the projective plane with a curve of degree d > 3. We explain a connection between the geom… ▽ More We give an introduction to the compactification of the moduli space of surfaces of general type introduced by Kollár and Shepherd-Barron and generalized to the case of surfaces with a divisor by Alexeev. The construction is an application of Mori's minimal model program for 3-folds. We review the example of the projective plane with a curve of degree d > 3. We explain a connection between the geometry of the boundary of the compactification of the moduli space and the classification of vector bundles on the surface in the case H^{2,0}=H^1=0. △ Less

Submitted 13 July, 2011; originally announced July 2011.

Comments: 18 pages

MSC Class: 14J10

Exceptional bundles associated to degenerations of surfaces

Authors: Paul Hacking

Abstract: In 1981 J. Wahl described smoothings of surface quotient singularities with no vanishing cycles. Given a smoothing of a projective surface X of this type, we construct an associated exceptional vector bundle on the nearby fiber Y in the case H^{2,0}(Y)=H^1(Y)=0. If Y is the projective plane we show that our construction establishes a bijective correspondence between the possible degenerate surface… ▽ More In 1981 J. Wahl described smoothings of surface quotient singularities with no vanishing cycles. Given a smoothing of a projective surface X of this type, we construct an associated exceptional vector bundle on the nearby fiber Y in the case H^{2,0}(Y)=H^1(Y)=0. If Y is the projective plane we show that our construction establishes a bijective correspondence between the possible degenerate surfaces X and exceptional bundles on Y modulo dualizing and tensoring by line bundles. If Y is of general type then our construction establishes a connection between components of the boundary of the moduli space of surfaces deformation equivalent to Y and exceptional bundles on Y. △ Less

Submitted 13 July, 2011; originally announced July 2011.

Comments: 19 pages

MSC Class: 14J10; 14J60

Journal ref: Duke Math. J. 162, no. 6 (2013), 1171-1202

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

Smoothable del Pezzo surfaces with quotient singularities

Authors: Paul Hacking, Yuri Prokhorov

Abstract: We give a complete classification of del Pezzo surfaces with quotient singularities and Picard rank 1 which admit a Q-Gorenstein smoothing. There are 14 infinite families of toric examples. The surfaces in each family correspond to solutions of a Markov-type equation. The remaining surfaces are obtained as deformations of the toric surfaces or belong to a finite list of sporadic surfaces. We give a complete classification of del Pezzo surfaces with quotient singularities and Picard rank 1 which admit a Q-Gorenstein smoothing. There are 14 infinite families of toric examples. The surfaces in each family correspond to solutions of a Markov-type equation. The remaining surfaces are obtained as deformations of the toric surfaces or belong to a finite list of sporadic surfaces. △ Less

Submitted 28 August, 2008; v1 submitted 11 August, 2008; originally announced August 2008.

Comments: 36 pages. v2: corrected attribution of Prop. 2.7, added reference

MSC Class: 14J10; 14E30

Journal ref: Compositio Math. 146 (2010) 169-192

Homology of tropical varieties

Authors: Paul Hacking

Abstract: Given a closed subvariety of an algebraic torus, the associated tropical variety is a polyhedral fan in the space of 1-parameter subgroups of the torus which describes the behaviour of the subvariety at infinity. We show that the link of the origin has only top rational homology if a genericity condition is satisfied. Our result is obtained using work of Tevelev and Deligne's theory of mixed Hod… ▽ More Given a closed subvariety of an algebraic torus, the associated tropical variety is a polyhedral fan in the space of 1-parameter subgroups of the torus which describes the behaviour of the subvariety at infinity. We show that the link of the origin has only top rational homology if a genericity condition is satisfied. Our result is obtained using work of Tevelev and Deligne's theory of mixed Hodge structures. △ Less

Submitted 28 August, 2008; v1 submitted 12 November, 2007; originally announced November 2007.

Comments: 13 pages. v2: added Thm 2.4, v3: introduction expanded, references added, published version

MSC Class: 14

Journal ref: Collect. Math. 59 (2008), no. 3, 263-273

Lectures on flips and minimal models

Authors: Alessio Corti, Paul Hacking, János Kollár, Robert Lazarsfeld, Mircea Mustaţă

Abstract: This document contains notes from the lectures of Corti, Kollár, Lazarsfeld, and Mustaţă at the workshop ``Minimal and canonical models in algebraic geometry" at MSRI, Berkeley, April 2007. The lectures give an overview of the recent advances on canonical and minimal models of algebraic varieties obtained by Hacon--McKernan and Birkar--Cascini--Hacon--McKernan. This document contains notes from the lectures of Corti, Kollár, Lazarsfeld, and Mustaţă at the workshop ``Minimal and canonical models in algebraic geometry" at MSRI, Berkeley, April 2007. The lectures give an overview of the recent advances on canonical and minimal models of algebraic varieties obtained by Hacon--McKernan and Birkar--Cascini--Hacon--McKernan. △ Less

Submitted 4 June, 2007; originally announced June 2007.

Comments: 29 pages. Lecture notes from MSRI workshop

MSC Class: 14E30

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

The moduli space of curves is rigid

Authors: Paul Hacking

Abstract: We prove that the moduli stack of stable curves of genus g with n marked points is rigid, i.e., has no infinitesimal deformations. This confirms the first case of a principle proposed by Kapranov. It can also be viewed as a version of Mostow rigidity for the mapping class group. We prove that the moduli stack of stable curves of genus g with n marked points is rigid, i.e., has no infinitesimal deformations. This confirms the first case of a principle proposed by Kapranov. It can also be viewed as a version of Mostow rigidity for the mapping class group. △ Less

Submitted 28 August, 2008; v1 submitted 23 September, 2005; originally announced September 2005.

Comments: 11 pages. v2: Proof rewritten to avoid use of log structures. Example of nonrigid moduli space of surfaces added

MSC Class: 14H10

Journal ref: Algebra and Number Theory 2 (2008), no. 7, 809--818

Degenerations of del Pezzo surfaces I

Authors: Paul Hacking, Yuri Prokhorov

Abstract: Let X be a surface with quotient singularities which admits a smoothing to the plane. We prove that X is a deformation of a weighted projective plane P(a^2,b^2,c^2), where a,b,c is a solution of the Markov equation a^2+b^2+c^2=3abc. We also prove a generalisation for del Pezzo surfaces of degree K^2 at least 5. Let X be a surface with quotient singularities which admits a smoothing to the plane. We prove that X is a deformation of a weighted projective plane P(a^2,b^2,c^2), where a,b,c is a solution of the Markov equation a^2+b^2+c^2=3abc. We also prove a generalisation for del Pezzo surfaces of degree K^2 at least 5. △ Less

Submitted 22 September, 2005; originally announced September 2005.

Comments: 14 pages

MSC Class: 14J10; 14E30

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

Canonical singularities of orders over surfaces

Authors: Daniel Chan, Paul Hacking, Colin Ingalls

Abstract: We classify the possible ramification data and etale local structure of orders over surfaces with canonical singularities. We classify the possible ramification data and etale local structure of orders over surfaces with canonical singularities. △ Less

Submitted 24 July, 2007; v1 submitted 29 January, 2004; originally announced January 2004.

Comments: This contains major revisions, primarily to help introduce the reader to the minimal model program for orders on surfaces

Compact moduli of hyperplane arrangements

Authors: Paul Hacking

Abstract: The minimal model program suggests a compactification of the moduli space of hyperplane arrangements which is a moduli space of stable pairs. Here, a stable pair consists of a scheme X which is a degeneration of projective space and a divisor D=D_1+..+D_n on X which is a limit of hyperplane arrangements. For example, in the 1-dimensional case, the stable pairs are stable curves of genus 0 with n… ▽ More The minimal model program suggests a compactification of the moduli space of hyperplane arrangements which is a moduli space of stable pairs. Here, a stable pair consists of a scheme X which is a degeneration of projective space and a divisor D=D_1+..+D_n on X which is a limit of hyperplane arrangements. For example, in the 1-dimensional case, the stable pairs are stable curves of genus 0 with n marked points. Kapranov has defined an alternative compactification using his Chow quotient construction, which may be described fairly explicitly. We prove that these two compactifications coincide. We deduce a description of all stable pairs. △ Less

Submitted 30 October, 2003; originally announced October 2003.

Comments: 27 pages

MSC Class: 14J10; 52C35

Compact moduli of plane curves

Authors: Paul Hacking

Abstract: We construct a compactification M_d of the moduli space of plane curves of degree d. We regard a plane curve C as a surface-divisor pair (P^2,C) and define M_d as a moduli space of pairs (X,D) where X is a degeneration of the plane. We show that, if d is not divisible by 3, the stack M_d is smooth and the degenerate surfaces X can be described explicitly. We construct a compactification M_d of the moduli space of plane curves of degree d. We regard a plane curve C as a surface-divisor pair (P^2,C) and define M_d as a moduli space of pairs (X,D) where X is a degeneration of the plane. We show that, if d is not divisible by 3, the stack M_d is smooth and the degenerate surfaces X can be described explicitly. △ Less

Submitted 22 October, 2003; originally announced October 2003.

Comments: 46 pages. Final version to be published in Duke Mathematical Journal

MSC Class: 14H10; 14J10 (Primary); 14E30 (Secondary)

Journal ref: Duke Math. J. 124 (2004), no. 2, 213-257

Semistable divisorial contractions

Authors: Paul Hacking

Abstract: The semistable minimal model program is a special case of the minimal model program concerning 3-folds fibred over a curve and birational morphisms preserving this structure. We classify semistable divisorial contractions which contract the exceptional divisor to a normal point of a fibre. Our results can be applied to describe compact moduli spaces of surfaces. The semistable minimal model program is a special case of the minimal model program concerning 3-folds fibred over a curve and birational morphisms preserving this structure. We classify semistable divisorial contractions which contract the exceptional divisor to a normal point of a fibre. Our results can be applied to describe compact moduli spaces of surfaces. △ Less

Submitted 22 October, 2003; v1 submitted 6 August, 2002; originally announced August 2002.

Comments: 16 pages. Introduction rewritten and references added in version 2

MSC Class: 14E30 (Primary); 14J10 (Secondary)

Journal ref: J. Algebra 278 (2004), no. 1, 173-186

A Compactification of the Space of Plane Curves

Authors: Paul Hacking

Abstract: We define a geometrically meaningful compactification of the moduli space of smooth plane curves, which can be calculated explicitly. The basic idea is to regard a plane curve D in P^2 as a pair (P^2,D) of a surface together with a divisor, and allow both the surface and the curve to degenerate. For plane curves of degree d at least 4, we obtain a compactification M_d which is a moduli space of… ▽ More We define a geometrically meaningful compactification of the moduli space of smooth plane curves, which can be calculated explicitly. The basic idea is to regard a plane curve D in P^2 as a pair (P^2,D) of a surface together with a divisor, and allow both the surface and the curve to degenerate. For plane curves of degree d at least 4, we obtain a compactification M_d which is a moduli space of stable pairs (X,D) using the log minimal model program. A stable pair (X,D) consists of a surface X such that -K_X is ample and a divisor D in a given linear system on X with specified singularities. Note that X may be non-normal, and K_X is Q-Cartier but not Cartier in general. We give a rough classification of stable pairs of arbitrary degree, a complete classification in degrees 4 and 5, and a partial classification in degree 6. The compactification is particularly simple if d is not a multiple of 3 - in particular the surface X has at most 2 components. We give a characterisation of these surfaces in terms of the singularities and the Picard numbers of the components. Moreover, we show that M_d is smooth in this case. △ Less

Submitted 19 April, 2001; originally announced April 2001.

Comments: LaTeX, 74 pages

MSC Class: 14H10; 14H50