Showing 1–50 of 65 results for author: Abramovich, D

The integral Chow ring of weighted blow-ups

Authors: Veronica Arena, Stephen Obinna, Dan Abramovich

Abstract: We give a formula for the integral Chow rings of weighted blow-ups. Along the way, we also compute the integral Chow rings of weighted projective stack bundles, a formula for the Gysin homomorphism of a weighted blow-up, and a generalization of the splitting principle. In addition, in the appendix we compute the Chern class of a weighted blow-up. We give a formula for the integral Chow rings of weighted blow-ups. Along the way, we also compute the integral Chow rings of weighted projective stack bundles, a formula for the Gysin homomorphism of a weighted blow-up, and a generalization of the splitting principle. In addition, in the appendix we compute the Chern class of a weighted blow-up. △ Less

Submitted 17 August, 2023; v1 submitted 3 July, 2023; originally announced July 2023.

Comments: by: Veronica Arena, Stephen Obinna; with appendix by: Dan Abramovich, Veronica Arena, Stephen Obinna

Desingularization of binomial varieties using toric Artin stacks

Authors: Dan Abramovich, Bernd Schober

Abstract: We show how the notion of fantastacks can be used to effectively desingularize binomial varieties defined over algebraically closed fields. In contrast to a desingularization via blow-ups in smooth centers, we drastically reduce the number of steps and the number of charts appearing along the process. Furthermore, we discuss how our considerations extend to a partial simultaneous normal crossings… ▽ More We show how the notion of fantastacks can be used to effectively desingularize binomial varieties defined over algebraically closed fields. In contrast to a desingularization via blow-ups in smooth centers, we drastically reduce the number of steps and the number of charts appearing along the process. Furthermore, we discuss how our considerations extend to a partial simultaneous normal crossings desingularization of finitely many binomial hypersurfaces. △ Less

Submitted 1 January, 2024; v1 submitted 18 August, 2022; originally announced August 2022.

Comments: Minor changes, accepted for publication in the Mathematische Zeitschrift, 23 pages

MSC Class: 13F56; 14M25; 14B05; 14J17; 14D23

Logarithmic resolution via multi-weighted blow-ups

Authors: Dan Abramovich, Ming Hao Quek

Abstract: We first introduce and study the notion of multi-weighted blow-ups, which is later used to systematically construct an explicit yet efficient algorithm for functorial logarithmic resolution in characteristic zero, in the sense of Hironaka. Specifically, for a singular, reduced closed subscheme $X$ of a smooth scheme $Y$ over a field of characteristic zero, we resolve the singularities of $X$ by ta… ▽ More We first introduce and study the notion of multi-weighted blow-ups, which is later used to systematically construct an explicit yet efficient algorithm for functorial logarithmic resolution in characteristic zero, in the sense of Hironaka. Specifically, for a singular, reduced closed subscheme $X$ of a smooth scheme $Y$ over a field of characteristic zero, we resolve the singularities of $X$ by taking proper transforms $X_i \subset Y_i$ along a sequence of multi-weighted blow-ups $Y_N \to Y_{N-1} \to \dotsb \to Y_0 = Y$ which satisfies the following properties: (i) the $Y_i$ are smooth Artin stacks with simple normal crossing exceptional loci; (ii) at each step we always blow up the worst singular locus of $X_i$, and witness on $X_{i+1}$ an immediate improvement in singularities; (iii) and finally, the singular locus of $X$ is transformed into a simple normal crossing divisor on $X_N$. △ Less

Submitted 13 July, 2022; v1 submitted 12 December, 2021; originally announced December 2021.

Comments: Added Proposition 4.2.10, refined Theorem 4.2.11, and provided more details to proof of Theorem A. Fixed some typographical errors

MSC Class: 14E15 (Primary); 14A20; 14M25 (Secondary)

Punctured logarithmic maps

Authors: Dan Abramovich, Qile Chen, Mark Gross, Bernd Siebert

Abstract: We introduce a variant of stable logarithmic maps, which we call punctured logarithmic maps. They allow an extension of logarithmic Gromov-Witten theory in which marked points have a negative order of tangency with boundary divisors. As a main application we develop a gluing formalism which reconstructs stable logarithmic maps and their virtual cycles without expansions of the target, with tropi… ▽ More We introduce a variant of stable logarithmic maps, which we call punctured logarithmic maps. They allow an extension of logarithmic Gromov-Witten theory in which marked points have a negative order of tangency with boundary divisors. As a main application we develop a gluing formalism which reconstructs stable logarithmic maps and their virtual cycles without expansions of the target, with tropical geometry providing the underlying combinatorics. Punctured Gromov-Witten invariants also play a pivotal role in the intrinsic construction of mirror partners by the last two authors in arXiv:1909.07649, conjecturally relating to symplectic cohomology, and in the logarithmic gauged linear sigma model in upcoming work of the second author with Felix Janda and Yongbin Ruan. △ Less

Submitted 22 April, 2024; v1 submitted 16 September, 2020; originally announced September 2020.

Comments: 125 pages; v2: minor changes throughout the text, added more figures and an appendix on charts for morphisms of log stacks; v3: added appendix on functorial tropicalization, changed treatment of targets with monodromy, minor corrections and more details provided at many places

MSC Class: 14N35 (14D23)

Relative desingularization and principalization of ideals

Authors: Dan Abramovich, Michael Temkin, Jarosław Włodarczyk

Abstract: In characteristic zero, we construct relative principalization of ideals for logarithmically regular morphisms of logarithmic schemes, and use it to construct logarithmically regular desingularization of morphisms. These constructions are relatively canonical and even functorial with respect to logarithmically regular morphisms and arbitrary base changes. Relative canonicity means, that the princi… ▽ More In characteristic zero, we construct relative principalization of ideals for logarithmically regular morphisms of logarithmic schemes, and use it to construct logarithmically regular desingularization of morphisms. These constructions are relatively canonical and even functorial with respect to logarithmically regular morphisms and arbitrary base changes. Relative canonicity means, that the principalization requires a fine enough non-canonical modification of the base, and once it is chosen the process is canonical. As a consequence we deduce the semistable reduction theorem over arbitrary valuation rings. In another our work in progress, the same problems will be solved canonically in the case of proper morphisms. △ Less

Submitted 31 August, 2020; v1 submitted 7 March, 2020; originally announced March 2020.

Comments: Edited throughout, 90 pages, one figure

MSC Class: 14E15 (primary); 14D06; 14A20; 14A21 (secondary)

Functorial embedded resolution via weighted blowings up

Authors: Dan Abramovich, Michael Temkin, Jarosław Włodarczyk

Abstract: We provide a procedure for resolving, in characteristic 0, singularities of a variety $X$ embedded in a smooth variety $Y$ by repeatedly blowing up the worst singularities, in the sense of stack-theoretic weighted blowings up. No history, no exceptional divisors, and no logarithmic structures are necessary to carry this out; the steps are explicit geometric operations requiring no choices; and the… ▽ More We provide a procedure for resolving, in characteristic 0, singularities of a variety $X$ embedded in a smooth variety $Y$ by repeatedly blowing up the worst singularities, in the sense of stack-theoretic weighted blowings up. No history, no exceptional divisors, and no logarithmic structures are necessary to carry this out; the steps are explicit geometric operations requiring no choices; and the resulting algorithm is efficient. A similar result was discovered independently by McQuillan in a manuscript posted on this archive simultaneously. △ Less

Submitted 4 March, 2020; v1 submitted 17 June, 2019; originally announced June 2019.

Comments: Introduction rewritten and significantly expanded, proofs streamlined, references updated

MSC Class: 14E15; 14A20; 14M25

On the hyperbolicity of base spaces for maximally variational families of smooth projective varieties

Authors: Ya Deng, with an appendix by Dan Abramovich

Abstract: For smooth families with maximal variation, whose general fibers have semi-ample canonical bundle, the generalized Viehweg hyperbolicity conjecture states that the base spaces of such families are of log general type. This deep conjecture was recently proved by Popa-Schnell using the theory of Hodge modules and a theorem by Campana-Păun. In this paper we prove that those base spaces are pseudo Kob… ▽ More For smooth families with maximal variation, whose general fibers have semi-ample canonical bundle, the generalized Viehweg hyperbolicity conjecture states that the base spaces of such families are of log general type. This deep conjecture was recently proved by Popa-Schnell using the theory of Hodge modules and a theorem by Campana-Păun. In this paper we prove that those base spaces are pseudo Kobayashi hyperbolic, as predicted by the Lang conjecture: any complex quasi-projective manifold is pseudo Kobayashi hyperbolic if it is of log general type. As a consequence, we prove the Brody hyperbolicity of moduli spaces of polarized manifolds with semi-ample canonical bundle. This proves a conjecture by Viehweg-Zuo in 2003. We also prove the Kobayashi hyperbolicity of base spaces of effectively parametrized families of minimal projective manifolds of general type. This generalizes previous work by To-Yeung, in which they further assumed that these families are canonically polarized. △ Less

Submitted 30 April, 2020; v1 submitted 5 June, 2018; originally announced June 2018.

Comments: 34 pages, final version merges arXiv:1809.05891; title changed. To appear in JEMS

MSC Class: 32Q45; 14D07; 14E99

Resolution of singularities of complex algebraic varieties and their families

Authors: Dan Abramovich

Abstract: We discuss Hironaka's theorem on resolution of singularities in charactetistic 0 as well as more recent progress, both on simplifying and improving Hironaka's method of proof and on new results and directions on families of varieties, leading to joint work on toroidal orbifolds with Michael Temkin and Jarosław Włodarczyk. We discuss Hironaka's theorem on resolution of singularities in charactetistic 0 as well as more recent progress, both on simplifying and improving Hironaka's method of proof and on new results and directions on families of varieties, leading to joint work on toroidal orbifolds with Michael Temkin and Jarosław Włodarczyk. △ Less

Submitted 27 November, 2017; originally announced November 2017.

Comments: 20 pages, submitted to proceedings of the ICM, Rio 2018

MSC Class: 14E15

Decomposition of degenerate Gromov-Witten invariants

Authors: Dan Abramovich, Qile Chen, Mark Gross, Bernd Siebert

Abstract: We prove a decomposition formula of logarithmic Gromov-Witten invariants in a degeneration setting. A one-parameter log smooth family X->B with singular fibre over b_0 \in B yields a family M(X/B,β) -> B of moduli stacks of stable logarithmic maps. We give a virtual decomposition of the fibre of this family over b_0 in terms of rigid tropical curves. This generalizes one aspect of known results in… ▽ More We prove a decomposition formula of logarithmic Gromov-Witten invariants in a degeneration setting. A one-parameter log smooth family X->B with singular fibre over b_0 \in B yields a family M(X/B,β) -> B of moduli stacks of stable logarithmic maps. We give a virtual decomposition of the fibre of this family over b_0 in terms of rigid tropical curves. This generalizes one aspect of known results in the case that the fibre X_{b_0} is a normal crossings union of two divisors. We exhibit our formulas in explicit examples. △ Less

Submitted 2 June, 2020; v1 submitted 28 September, 2017; originally announced September 2017.

Comments: 63 pages, major revision of v2: streamlined exposition with the core results rewritten with simplified and cleaner proofs (now in §2.4-2.6 and §3). To appear in Compositio Math. Accepted version

MSC Class: 14N35 (14D23)

Toroidal orbifolds, destackification, and Kummer blowings up

Authors: Dan Abramovich, Michael Temkin, Jarosław Włodarczyk

Abstract: We show that any toroidal DM stack $X$ with finite diagonalizable inertia possesses a maximal toroidal coarsening $X_{tcs}$ such that the morphism $X\to X_{tcs}$ is logarithmically smooth. Further, we use torification results of [AT17] to construct a destackification functor, a variant of the main result of Bergh [Ber17], on the category of such toroidal stacks $X$. Namely, we associate to $X$ a… ▽ More We show that any toroidal DM stack $X$ with finite diagonalizable inertia possesses a maximal toroidal coarsening $X_{tcs}$ such that the morphism $X\to X_{tcs}$ is logarithmically smooth. Further, we use torification results of [AT17] to construct a destackification functor, a variant of the main result of Bergh [Ber17], on the category of such toroidal stacks $X$. Namely, we associate to $X$ a sequence of blowings up of toroidal stacks $\widetilde{\mathcal{F}}_X\:Y\longrightarrow X$ such that $Y_{tc}$ coincides with the usual coarse moduli space $Y_{cs}$. In particular, this provides a toroidal resolution of the algebraic space $X_{cs}$. Both $X_{tcs}$ and $\widetilde{\mathcal{F}}_X$ are functorial with respect to strict inertia preserving morphisms $X'\to X$. Finally, we use coarsening morphisms to introduce a class of non-representable birational modifications of toroidal stacks called Kummer blowings up. These modifications, as well as our version of destackification, are used in our work on functorial toroidal resolution of singularities. △ Less

Submitted 10 September, 2017; originally announced September 2017.

Comments: 29 pages

MSC Class: 14E15 (primary) 14A20 (secondary)

Journal ref: Alg. Number Th. 14 (2020) 2001-2035

Principalization of ideals on toroidal orbifolds

Authors: Dan Abramovich, Michael Temkin, Jarosław Włodarczyk

Abstract: Given an ideal $\mathcal I$ on a variety $X$ with toroidal singularities, we produce a modification $X' \to X$, functorial for toroidal morphisms, making the ideal monomial on a toroidal stack $X'$. We do this by adapting the methods of [Wło05], discarding steps which become redundant. We deduce functorial resolution of singularities for varieties with logarithmic structures. This is the first s… ▽ More Given an ideal $\mathcal I$ on a variety $X$ with toroidal singularities, we produce a modification $X' \to X$, functorial for toroidal morphisms, making the ideal monomial on a toroidal stack $X'$. We do this by adapting the methods of [Wło05], discarding steps which become redundant. We deduce functorial resolution of singularities for varieties with logarithmic structures. This is the first step in our program to apply logarithmic desingularization to a morphism $Z \to B$, aiming to prove functorial semistable reduction theorems. △ Less

Submitted 10 September, 2017; originally announced September 2017.

Comments: 55 pages

MSC Class: 14A20 (primary) 14M25 (secondary)

Campana points, Vojta's conjecture, and level structures on semistable abelian varieties

Authors: Dan Abramovich, Anthony Várilly-Alvarado

Abstract: We introduce a qualitative conjecture, in the spirit of Campana, to the effect that certain subsets of rational points on a variety over a number field, or a Deligne-Mumford stack over a ring of S-integers, cannot be Zariski dense. The conjecture interpolates, in a way that we make precise, between Lang's conjecture for rational points on varieties of general type over number fields, and the conje… ▽ More We introduce a qualitative conjecture, in the spirit of Campana, to the effect that certain subsets of rational points on a variety over a number field, or a Deligne-Mumford stack over a ring of S-integers, cannot be Zariski dense. The conjecture interpolates, in a way that we make precise, between Lang's conjecture for rational points on varieties of general type over number fields, and the conjecture of Lang and Vojta that asserts that S-integral points on a variety of logarithmic general type are not Zariski-dense. We show our conjecture follows from Vojta's conjecture. Assuming our conjecture, we prove the following theorem: Fix a number field K, a finite set S of places of K containing the infinite places, and a positive integer g. Then there is an integer m_0 such that, for any m > m_0, no principally polarized abelian variety A/K of dimension g with semistable reduction outside of S has full level-m structure. △ Less

Submitted 19 August, 2016; originally announced August 2016.

Comments: 7 pages

MSC Class: Primary 11J97; 14K10; Secondary 14K15; 11G18

Functorial factorization of birational maps for qe schemes in characteristic 0

Authors: Dan Abramovich, Michael Temkin

Abstract: We prove functorial weak factorization of projective birational morphisms of regular quasi-excellent schemes in characteristic 0 broadly based on the existing line of proof for varieties. From this general functorial statement we deduce factorization results for algebraic stacks, formal schemes, complex analytic germs, Berkovich analytic and rigid analytic spaces. We prove functorial weak factorization of projective birational morphisms of regular quasi-excellent schemes in characteristic 0 broadly based on the existing line of proof for varieties. From this general functorial statement we deduce factorization results for algebraic stacks, formal schemes, complex analytic germs, Berkovich analytic and rigid analytic spaces. △ Less

Submitted 27 June, 2016; originally announced June 2016.

Comments: 45 pages

MSC Class: 14E05

Journal ref: Alg. Number Th. 13 (2019) 379-424

Level structures on abelian varieties and Vojta's conjecture

Authors: Dan Abramovich, Keerthi Madapusi Pera, Anthony Várilly-Alvarado

Abstract: Assuming Vojta's conjecture, and building on recent work of the authors, we prove that, for a fixed number field $K$ and positive integer $g$, there is an integer $m_0$ such that for any $m > m_0$ there is no principally polarized abelian variety $A/K$ of dimension $g$ with full level-$m$ structure. To this end, we develop a version of Vojta's conjecture for Deligne-Mumford stacks, which we deduce… ▽ More Assuming Vojta's conjecture, and building on recent work of the authors, we prove that, for a fixed number field $K$ and positive integer $g$, there is an integer $m_0$ such that for any $m > m_0$ there is no principally polarized abelian variety $A/K$ of dimension $g$ with full level-$m$ structure. To this end, we develop a version of Vojta's conjecture for Deligne-Mumford stacks, which we deduce from Vojta's conjecture for schemes. △ Less

Submitted 15 April, 2016; originally announced April 2016.

Comments: Appendix by Keerthi Madapusi Pera. 26 pages

MSC Class: 14K10; 14K15 (Primary); 11G35; 11G18 (Secondary)

Journal ref: Compositio Math. 153 (2017) 373-394

Level structures on abelian varieties, Kodaira dimensions, and Lang's conjecture

Authors: Dan Abramovich, Anthony Várilly-Alvarado

Abstract: Assuming Lang's conjecture, we prove that for a fixed prime $p$, number field $K$, and positive integer $g$, there is an integer $r$ such that no principally polarized abelian variety $A/K$ of dimension $g$ has full level $p^r$ structure. To this end, we use a result of Zuo to prove that for each closed subvariety $X$ in the moduli space $\mathcal{A}_g$ of principally polarized abelian varieties o… ▽ More Assuming Lang's conjecture, we prove that for a fixed prime $p$, number field $K$, and positive integer $g$, there is an integer $r$ such that no principally polarized abelian variety $A/K$ of dimension $g$ has full level $p^r$ structure. To this end, we use a result of Zuo to prove that for each closed subvariety $X$ in the moduli space $\mathcal{A}_g$ of principally polarized abelian varieties of dimension $g$, there exists a level $m_X$ such that the irreducible components of the preimage of $X$ in $\mathcal{A}_g^{[m]}$ are of general type for $m > m_X$. △ Less

Submitted 13 November, 2016; v1 submitted 11 January, 2016; originally announced January 2016.

Comments: 17 pages. References to new work of Brunebarbe added; discussion of implications arising from Lang's geometric conjecture suppressed in light of Brunebarbe's new results. Section 4 recast in more general terms; see Proposition 4.3 and Theorem 1.13

MSC Class: Primary 14K10; 14K15; Secondary 11G18

Luna's fundamental lemma for diagonalizable groups

Authors: Dan Abramovich, Michael Temkin

Abstract: We study relatively affine actions of a diagonalizable group $G$ on locally noetherian schemes. In particular, we generalize Luna's fundamental lemma when applied to a diagonalizable group: we obtain criteria for a $G$-equivariant morphism $f: X'\to X$ to be $strongly\ equivariant$, namely the base change of the morphism $f/\!/G$ of quotient schemes, and establish descent criteria for $f/\!/G$ to… ▽ More We study relatively affine actions of a diagonalizable group $G$ on locally noetherian schemes. In particular, we generalize Luna's fundamental lemma when applied to a diagonalizable group: we obtain criteria for a $G$-equivariant morphism $f: X'\to X$ to be $strongly\ equivariant$, namely the base change of the morphism $f/\!/G$ of quotient schemes, and establish descent criteria for $f/\!/G$ to be an open embedding, étale, smooth, regular, syntomic, or lci. △ Less

Submitted 4 May, 2015; originally announced May 2015.

Comments: 40 pages, comments are welcome. arXiv admin note: substantial text overlap with arXiv:1407.2629

Skeletons and fans of logarithmic structures

Authors: Dan Abramovich, Qile Chen, Steffen Marcus, Martin Ulirsch, Jonathan Wise

Abstract: We survey a collection of closely related methods for generalizing fans of toric varieties, include skeletons, Kato fans, Artin fans, and polyhedral cone complexes, all of which apply in the wider context of logarithmic geometry. Under appropriate assumptions these structures are equivalent, but their different realizations have provided for surprisingly disparate uses. We highlight several curren… ▽ More We survey a collection of closely related methods for generalizing fans of toric varieties, include skeletons, Kato fans, Artin fans, and polyhedral cone complexes, all of which apply in the wider context of logarithmic geometry. Under appropriate assumptions these structures are equivalent, but their different realizations have provided for surprisingly disparate uses. We highlight several current applications and suggest some future possibilities. △ Less

Submitted 26 June, 2015; v1 submitted 14 March, 2015; originally announced March 2015.

Comments: 51 pages, 8 figures

Boundedness of the space of stable logarithmic maps

Authors: Dan Abramovich, Qile Chen, Steffen Marcus, Jonathan Wise

Abstract: We prove that the moduli space of stable logarithmic maps with fixed numerical invariants, from logarithmic curves to a fixed projective target logarithmic scheme with fine and saturated logarithmic structure, is a proper algebraic stack. This was previously known only with further restrictions on the logarithmic structure of the target. We prove that the moduli space of stable logarithmic maps with fixed numerical invariants, from logarithmic curves to a fixed projective target logarithmic scheme with fine and saturated logarithmic structure, is a proper algebraic stack. This was previously known only with further restrictions on the logarithmic structure of the target. △ Less

Submitted 22 January, 2021; v1 submitted 5 August, 2014; originally announced August 2014.

Comments: 32 pages, 2 figures. v3: Significant changes. Final version appears in the Journal of the European Mathematical Society

Journal ref: Journal of the European Mathematical Society, Volume 19, Issue 9 (2017). 2783-2809

Torification of diagonalizable group actions on toroidal schemes

Authors: Dan Abramovich, Michael Temkin

Abstract: We study actions of diagonalizable groups on toroidal schemes (i.e. logarithmically regular logarithmic schemes). In particular, we show that for so-called toroidal actions the quotient is again a toroidal scheme. Our main result constructs for an arbitrary action a canonical torification - making the action toridal after an equivariant blowings up. This extends earlier results of Abramovich-de Jo… ▽ More We study actions of diagonalizable groups on toroidal schemes (i.e. logarithmically regular logarithmic schemes). In particular, we show that for so-called toroidal actions the quotient is again a toroidal scheme. Our main result constructs for an arbitrary action a canonical torification - making the action toridal after an equivariant blowings up. This extends earlier results of Abramovich-de Jong, Abramovich-Karu-Matsuki-Włodarczyk, and Gabber in various aspects. △ Less

Submitted 27 June, 2016; v1 submitted 9 July, 2014; originally announced July 2014.

Comments: The statement of the main result was again strengthened to accommodate our work on functorial factorization of birational maps: we now blow up an ideal without need to further normalize, using results in the new section 5. Some errors were corrected, in particular we made the functorial choice of a torific ideal more precise

MSC Class: 14L30; 14A15; 14E05

Configurations of points on degenerate varieties and properness of moduli spaces

Authors: Dan Abramovich, Barbara Fantechi

Abstract: Consider a smooth variety $X$ and a smooth divisor $D\subset X$. Kim and Sato (arXiv:0806.3819) define a natural compactification of $(X\setminus D)^n$, denoted $X_D^{[n]}$, which is a moduli space of stable configurations of $n$ points lying on expansions of $(X,D)$ in the sense of Jun Li (arXiv:math/0009097, arXiv:math/0110113). The purpose of this note is to generalize Kim and Sato's construc… ▽ More Consider a smooth variety $X$ and a smooth divisor $D\subset X$. Kim and Sato (arXiv:0806.3819) define a natural compactification of $(X\setminus D)^n$, denoted $X_D^{[n]}$, which is a moduli space of stable configurations of $n$ points lying on expansions of $(X,D)$ in the sense of Jun Li (arXiv:math/0009097, arXiv:math/0110113). The purpose of this note is to generalize Kim and Sato's construction to the case where $X$ is an algebraic stack; and to construct an analogous projective moduli space $W_π^{[n]}$ for a degeneration $π:W \to B$. We construct $X^n_D$ and $W_π^{[n]}$ and prove their properness using a universal construction introduced in our paper arXiv:1110.2976 with Cadman and Wise. We then use these spaces for a concrete application, as explained in the next paragraph. In arXiv:1103.5132, a degeneration formula for Gromov--Witten invariants of schemes and stacks is developed, generalizing the approach of Jun Li. This in particular requires proving properness of Li's stack of pre-deformable stable maps in the case where the target $(X,D)$ or $W\to B$ is a Deligne--Mumford stack. One could simply adapt Li's proof, or follow the age-old tradition of imposing such endeavor as an exercise on "the interested reader". Instead, we prefer to provide a different proof here, which uses the properness of $X_D^{[n]}$ and $W_π^{[n]}$. Similar ideas are used by Kim, Kresch and Oh (arXiv:1105.6143) to prove the properness of their space of ramified maps. This note is identical to the text available on our web pages since March 2013. It is posted now as it has become an essential ingredient in others' work. △ Less

Submitted 9 June, 2014; originally announced June 2014.

Comments: 16 pages

MSC Class: 14D23; 14N35

Birational invariance in logarithmic Gromov-Witten theory

Authors: Dan Abramovich, Jonathan Wise

Abstract: Gromov-Witten invariants have been constructed to be deformation invariant, but their behavior under other transformations is subtle. In this note we show that logarithmic Gromov-Witten invariants are also invariant under appropriately defined logarithmic modifications. Gromov-Witten invariants have been constructed to be deformation invariant, but their behavior under other transformations is subtle. In this note we show that logarithmic Gromov-Witten invariants are also invariant under appropriately defined logarithmic modifications. △ Less

Submitted 1 June, 2017; v1 submitted 5 June, 2013; originally announced June 2013.

Comments: 26 pages; exposition expanded and several arguments simplified

MSC Class: 14H10; 14D23; 14M25; 14N35; 14T05

Moduli of algebraic and tropical curves

Authors: Dan Abramovich

Abstract: This is mostly* a non-technical exposition of the joint work arXiv:1212.0373 with Caporaso and Payne. Topics include: Moduli of Riemann surfaces / algebraic curves; Deligne-Mumford compactification; Dual graphs and the combinatorics of the compactification; Tropical curves and their moduli; Non-archimedean geometry and comparison. * Maybe the last section is technical. This is mostly* a non-technical exposition of the joint work arXiv:1212.0373 with Caporaso and Payne. Topics include: Moduli of Riemann surfaces / algebraic curves; Deligne-Mumford compactification; Dual graphs and the combinatorics of the compactification; Tropical curves and their moduli; Non-archimedean geometry and comparison. * Maybe the last section is technical. △ Less

Submitted 3 January, 2013; originally announced January 2013.

Comments: 14 pages, 11 figures. This text accompanies the author's De Giorgi Colloquium Lecture at the Scuola Normale Superiore, Pisa, May 22, 2012

MSC Class: 14T05; 14H10; 14G22

The tropicalization of the moduli space of curves

Authors: Dan Abramovich, Lucia Caporaso, Sam Payne

Abstract: We show that the skeleton of the Deligne-Mumford-Knudsen moduli stack of stable curves is naturally identified with the moduli space of extended tropical curves, and that this is compatible with the "naive" set-theoretic tropicalization map. The proof passes through general structure results on the skeleton of a toroidal Deligne-Mumford stack. Furthermore, we construct tautological forgetful, clut… ▽ More We show that the skeleton of the Deligne-Mumford-Knudsen moduli stack of stable curves is naturally identified with the moduli space of extended tropical curves, and that this is compatible with the "naive" set-theoretic tropicalization map. The proof passes through general structure results on the skeleton of a toroidal Deligne-Mumford stack. Furthermore, we construct tautological forgetful, clutching, and gluing maps between moduli spaces of extended tropical curves and show that they are compatible with the analogous tautological maps in the algebraic setting. △ Less

Submitted 15 February, 2014; v1 submitted 3 December, 2012; originally announced December 2012.

Comments: v2: 55 pages. Expanded Section 2 with improved treatment of the category of generalized cone complexes. Clarified the role of the coarse moduli space and its analytification in the construction of the skeleton for a toroidal DM stack

MSC Class: 14T05; 14H10; 14G22

Journal ref: Ann. Sci. Éc. Norm. Supér. 48 (2015), no. 4, 765-809

Comparison theorems for Gromov-Witten invariants of smooth pairs and of degenerations

Authors: Dan Abramovich, Steffen Marcus, Jonathan Wise

Abstract: We consider four approaches to relative Gromov-Witten theory and Gromov-Witten theory of degenerations: Jun Li's original approach, Bumsig Kim's logarithmic expansions, Abramovich-Fantechi's orbifold expansions, and a logarithmic theory without expansions due to Gross-Siebert and Abramovich-Chen. We exhibit morphisms relating these moduli spaces and prove that their virtual fundamental classes are… ▽ More We consider four approaches to relative Gromov-Witten theory and Gromov-Witten theory of degenerations: Jun Li's original approach, Bumsig Kim's logarithmic expansions, Abramovich-Fantechi's orbifold expansions, and a logarithmic theory without expansions due to Gross-Siebert and Abramovich-Chen. We exhibit morphisms relating these moduli spaces and prove that their virtual fundamental classes are compatible by pushforward through these morphisms. This implies that the Gromov-Witten invariants associated to all four of these theories are identical. △ Less

Submitted 24 May, 2013; v1 submitted 9 July, 2012; originally announced July 2012.

Comments: 42 pages. Some minor changes. To appear in Annales de l'Institut Fourier

MSC Class: 14N35; 14H10; 14D23; 14D06; 14A20

Expanded degenerations and pairs

Authors: Dan Abramovich, Charles Cadman, Barbara Fantechi, Jonathan Wise

Abstract: Since Jun Li's original definition, several other definitions of expanded pairs and expanded degenerations have appeared in the literature. We explain how these definitions are related and introduce several new variants and perspectives. Among these are the twisted expansions used by Abramovich and Fantechi as a basis for orbifold techniques in degeneation formulas. Since Jun Li's original definition, several other definitions of expanded pairs and expanded degenerations have appeared in the literature. We explain how these definitions are related and introduce several new variants and perspectives. Among these are the twisted expansions used by Abramovich and Fantechi as a basis for orbifold techniques in degeneation formulas. △ Less

Submitted 13 October, 2011; originally announced October 2011.

Comments: 41 pages

MSC Class: 14D23; 14D06; 14H10; 14N35

Orbifold techniques in degeneration formulas

Authors: Dan Abramovich, Barbara Fantechi

Abstract: We give an approach for relative and degenerate Gromov--Witten invariants, inspired by that of Jun Li but replacing predeformable maps by transversal maps to a twisted target. The main advantage is a significant simplification in the definition of the obstruction theory. We reprove in our language the degeneration formula, extending it to the orbifold case. We give an approach for relative and degenerate Gromov--Witten invariants, inspired by that of Jun Li but replacing predeformable maps by transversal maps to a twisted target. The main advantage is a significant simplification in the definition of the obstruction theory. We reprove in our language the degeneration formula, extending it to the orbifold case. △ Less

Submitted 4 August, 2014; v1 submitted 26 March, 2011; originally announced March 2011.

Comments: Some material which is now in arXiv:1406.2166 and in arXiv:1110.2976 was removed

MSC Class: 14N35; 14D22

Stable logarithmic maps to Deligne--Faltings pairs II

Authors: Dan Abramovich, Qile Chen

Abstract: We make an observation which enables one to deduce the existence of an algebraic stack of log maps for all generalized Deligne--Faltings log structures (in particular simple normal crossings divisor) from the simplest case with log structures given by a Cartier divisor (essentially the smooth divisor case). We make an observation which enables one to deduce the existence of an algebraic stack of log maps for all generalized Deligne--Faltings log structures (in particular simple normal crossings divisor) from the simplest case with log structures given by a Cartier divisor (essentially the smooth divisor case). △ Less

Submitted 26 March, 2011; v1 submitted 22 February, 2011; originally announced February 2011.

Comments: Add Section 4.7 to show the compatibility of minimality defined in this paper with the basicness introduced by Gross-Siebert

MSC Class: 14D23; 14N35

The Evaluation Space of Logarithmic Stable Maps

Authors: Dan Abramovich, Qile Chen, William D. Gillam, Steffen Marcus

Abstract: The evaluation stack for minimal logarithmic stable maps is constructed, parameterizing families of standard log points in the target log scheme. This construction provides the ingredients necessary to define appropriate evaluation maps for minimal log stable maps and establish the logarithmic Gromov-Witten theory of a log-smooth Deligne- Faltings log scheme. The evaluation stack for minimal logarithmic stable maps is constructed, parameterizing families of standard log points in the target log scheme. This construction provides the ingredients necessary to define appropriate evaluation maps for minimal log stable maps and establish the logarithmic Gromov-Witten theory of a log-smooth Deligne- Faltings log scheme. △ Less

Submitted 24 December, 2010; originally announced December 2010.

Comments: 19 pages

Weak toroidalization over non-closed fields

Authors: Dan Abramovich, Jan Denef, Kalle Karu

Abstract: We prove that any dominant morphism of algebraic varieties over a field k of characteristic zero can be transformed into a toroidal (hence monomial) morphism by projective birational modifications of source and target. This was previously proved by the first and third author when k is algebraically closed. Moreover we show that certain additional requirements can be satisfied. We prove that any dominant morphism of algebraic varieties over a field k of characteristic zero can be transformed into a toroidal (hence monomial) morphism by projective birational modifications of source and target. This was previously proved by the first and third author when k is algebraically closed. Moreover we show that certain additional requirements can be satisfied. △ Less

Submitted 27 March, 2013; v1 submitted 29 October, 2010; originally announced October 2010.

Comments: 15 pages. Several minor changes. To appear in Manuscripta Mathematica

Moduli of Galois p-covers in mixed characteristics

Authors: Dan Abramovich, Matthieu Romagny

Abstract: We define a proper moduli stack for degree $p$ covers $f:Y \to \cX$ where $\cX$ is a twisted stable curve in the sense of [5] and [4], and $Y$ is a stable curve which via $f$ is a torsor over $\cX$ under a finite flat group scheme $\cG \to \cX$. We define a proper moduli stack for degree $p$ covers $f:Y \to \cX$ where $\cX$ is a twisted stable curve in the sense of [5] and [4], and $Y$ is a stable curve which via $f$ is a torsor over $\cX$ under a finite flat group scheme $\cG \to \cX$. △ Less

Submitted 21 September, 2010; v1 submitted 21 September, 2010; originally announced September 2010.

Comments: 22 pages

Logarithmic Geometry and Moduli

Authors: Dan Abramovich, Qile Chen, Danny Gillam, Yuhao Huang, Martin Olsson, Matthew Satriano, Shenghao Sun

Abstract: We discuss the role played by logarithmic structures in the theory of moduli. We discuss the role played by logarithmic structures in the theory of moduli. △ Less

Submitted 30 June, 2010; originally announced June 2010.

Comments: 62 pages, submitted to Handbook of Moduli, Farkas and Morrison, eds

MSC Class: 14A20; 14D23

Relative and orbifold Gromov-Witten invariants

Authors: Dan Abramovich, Charles Cadman, Jonathan Wise

Abstract: We prove that genus zero Gromov--Witten invariants of a smooth scheme relative to a smooth divisor coincide with genus zero orbifold Gromov--Witten invariants of an appropriate root stack construction along the divisor. We prove that genus zero Gromov--Witten invariants of a smooth scheme relative to a smooth divisor coincide with genus zero orbifold Gromov--Witten invariants of an appropriate root stack construction along the divisor. △ Less

Submitted 19 April, 2015; v1 submitted 6 April, 2010; originally announced April 2010.

Comments: completely rewritten, with slightly stronger results; 36 pages; comments welcome!

MSC Class: 14N35; 14D23; 14D15

Stable varieties with a twist

Authors: Dan Abramovich, Brendan Hassett

Abstract: We describe a new approach to the definition of the moduli functor of stable varieties. While there is wide agreement as to what classes of varieties should appear, the notion of a family of stable surfaces is quite subtle, as key numerical invariants may fail to be constant in flat families. Our approach is to add natural stack structure to stable varieties. For example, given a canonical model… ▽ More We describe a new approach to the definition of the moduli functor of stable varieties. While there is wide agreement as to what classes of varieties should appear, the notion of a family of stable surfaces is quite subtle, as key numerical invariants may fail to be constant in flat families. Our approach is to add natural stack structure to stable varieties. For example, given a canonical model we take the global-quotient stack structure arising from its realization as Proj of the canonical ring. Deformations of the stack structure preserve key numerical invariants of the stable variety, including the top self-intersection of the canonical divisor. This approach yields a transparent construction of the moduli stack of stable varieties as a global quotient of a suitable Hilbert scheme of weighted projective stacks. △ Less

Submitted 17 April, 2009; originally announced April 2009.

Comments: 31 pages

MSC Class: 14J10; 14D22; 14E30

Twisted stable maps to tame Artin stacks

Authors: Dan Abramovich, Martin Olsson, Angelo Vistoli

Abstract: This paper is a continuation of our earlier development of a theory of tame Artin stacks. Our main goal here is the construction of an appropriate analogue of Kontsevich's space of stable maps in the case where the target is a tame Artin stack. When the target is a tame Deligne--Mumford stack, the theory was developed by Abramovich and Vistoli, and found a number of applications. The theory for… ▽ More This paper is a continuation of our earlier development of a theory of tame Artin stacks. Our main goal here is the construction of an appropriate analogue of Kontsevich's space of stable maps in the case where the target is a tame Artin stack. When the target is a tame Deligne--Mumford stack, the theory was developed by Abramovich and Vistoli, and found a number of applications. The theory for arbitrary tame Artin stacks developed here is very similar, but it is necessary to overcome a number of technical hurdles and to generalize a few questions of foundation. △ Less

Submitted 30 March, 2010; v1 submitted 19 January, 2008; originally announced January 2008.

Comments: Made several improvements in the exposition

Tame stacks in positive characteristic

Authors: Dan Abramovich, Martin Olsson, Angelo Vistoli

Abstract: We introduce and study a class of algebraic stacks with finite inertia in positive and mixed characteristic, which we call tame algebraic stacks. They include tame Deligne-Mumford stacks, and are arguably better behaved than general Deligne-Mumford stacks. We also give a complete characterization of finite flat linearly reductive schemes over an arbitrary base. Our main result is that tame algeb… ▽ More We introduce and study a class of algebraic stacks with finite inertia in positive and mixed characteristic, which we call tame algebraic stacks. They include tame Deligne-Mumford stacks, and are arguably better behaved than general Deligne-Mumford stacks. We also give a complete characterization of finite flat linearly reductive schemes over an arbitrary base. Our main result is that tame algebraic stacks are étale locally quotient by actions of linearly reductive finite group schemes. In a subsequent paper we will show that tame algebraic stacks admit a good theory of stable maps. △ Less

Submitted 11 March, 2007; originally announced March 2007.

Comments: 31 pages, 3 sections and 1 appendix

MSC Class: 14A20; 14L15

Birational geometry for number theorists

Authors: Dan Abramovich

Abstract: Awfully idiosyncratic lecture notes from CMI summer school in arithmetic geometry July 31-August 4, 2006. Does not include: rationality problems, techniques of the minimal model problem and much of the rest. Includes: Lecture 0: geometry and arithmetic of curves Lecture 1: Kodaira dimension and properties, rational connectendess, Lang's and Campana's conjectures. Lecture 2: Campana's pro… ▽ More Awfully idiosyncratic lecture notes from CMI summer school in arithmetic geometry July 31-August 4, 2006. Does not include: rationality problems, techniques of the minimal model problem and much of the rest. Includes: Lecture 0: geometry and arithmetic of curves Lecture 1: Kodaira dimension and properties, rational connectendess, Lang's and Campana's conjectures. Lecture 2: Campana's program; Campana constellations framed in terms of b-divisors, to allow for a definition of Kodaira dimension directly on the base. A speculative notion of firmaments which may deserve further investigation, especially the arithmetic side. Lecture 3: the minimal model program: very short discussion of bend-and-break; even shorter discussion of finite generation and the existence of flip. Lecture 4: Vojta's conjectures, Campana's conjectures, and ABC. △ Less

Submitted 25 February, 2007; v1 submitted 3 January, 2007; originally announced January 2007.

Comments: CMI summer school in arithmetic geometry, Gottingen, 2006. Numerous corrections following referee's report

MSC Class: 14J10;14G25;14E30;11G35

Gromov-Witten theory of Deligne-Mumford stacks

Authors: Dan Abramovich, Tom Graber, Angelo Vistoli

Abstract: Long ago, in math.AG/0112004, we pledged more details on the algebraic version of Chen-Ruan's math.AG/0103156. This is it. Long ago, in math.AG/0112004, we pledged more details on the algebraic version of Chen-Ruan's math.AG/0103156. This is it. △ Less

Submitted 13 April, 2008; v1 submitted 6 March, 2006; originally announced March 2006.

Comments: 59 pages, 9 sections, 3 appendices and one figure. Several minor improvements

MSC Class: 14N35; 14A20; 14H10

Lectures on Gromov-Witten invariants of orbifolds

Authors: Dan Abramovich

Abstract: These are lecture notes of a C.I.M.E. course I gave at Cetraro, June 6-11 2005. The theory described is the version of Chen-Ruan's Gromov-Witten theory of orbifolds developed by Graber, Vistoli and me in the algebraic setting, but with introduction beginning in Kontsevich's formula on rational plane curves and through Gromov-Witten theory of algebraic manifolds. As this is not a joint paper, I… ▽ More These are lecture notes of a C.I.M.E. course I gave at Cetraro, June 6-11 2005. The theory described is the version of Chen-Ruan's Gromov-Witten theory of orbifolds developed by Graber, Vistoli and me in the algebraic setting, but with introduction beginning in Kontsevich's formula on rational plane curves and through Gromov-Witten theory of algebraic manifolds. As this is not a joint paper, I finally get to give direct credit to Vistoli's beautiful ideas! In the appendix, I include, with permissions, two relevant letters Kontsevich wrote to Borisov in July 1996. People who study motivic integration might want to read and understand something they have found confounding. △ Less

Submitted 4 January, 2006; v1 submitted 15 December, 2005; originally announced December 2005.

Comments: A confusing typographical error fixed (thanks to Eric Katz)

MSC Class: 14N35; 14A20; 53D45

On The Global Quotient Structure of The Space of Twisted Stable Maps to a Quotient Stack

Authors: Dan Abramovich, Tom Graber, Martin Olsson, Hsian-Hua Tseng

Abstract: Let $\mathcal{X}$ be a tame proper Deligne-Mumford stack of the form $[M/G]$ where $M$ is a scheme and $G$ is an algebraic group. We prove that the stack $\mathcal{K}_{g,n}(\mathcal{X},d)$ of twisted stable maps is a quotient stack and can be embedded into a smooth Deligne-Mumford stack. When $G$ is finite, we give a more precise construction of $\mathcal{K}_{g,n}(\mathcal{X},d)$ using Hilbert s… ▽ More Let $\mathcal{X}$ be a tame proper Deligne-Mumford stack of the form $[M/G]$ where $M$ is a scheme and $G$ is an algebraic group. We prove that the stack $\mathcal{K}_{g,n}(\mathcal{X},d)$ of twisted stable maps is a quotient stack and can be embedded into a smooth Deligne-Mumford stack. When $G$ is finite, we give a more precise construction of $\mathcal{K}_{g,n}(\mathcal{X},d)$ using Hilbert schemes and admissible $G$-covers. △ Less

Submitted 1 June, 2006; v1 submitted 12 February, 2005; originally announced February 2005.

Comments: Mistakes and ambiguities corrected, to appear in Journal of Algebraic Geometry

Journal ref: Journal of Algebraic Geometry 16 (2007), 731--751.

Sheaves of t-structures and valuative criteria for stable complexes

Authors: Dan Abramovich, Alexander Polishchuk

Abstract: In this work more questions arise than answers given, for which of course we do not apologize. The core of this paper is concerned with the construction of a ``constant'' t-structure on the bounded derived category of coherent sheaves $D(X\times S)$, with $X$ and $S$ smooth varieties, given a nondegenerate t-structure on $D(X)$ with noetherian heart. While we believe this construction and th… ▽ More In this work more questions arise than answers given, for which of course we do not apologize. The core of this paper is concerned with the construction of a ``constant'' t-structure on the bounded derived category of coherent sheaves $D(X\times S)$, with $X$ and $S$ smooth varieties, given a nondegenerate t-structure on $D(X)$ with noetherian heart. While we believe this construction and the methods involved should be generally useful in studying derived categories, we present here but one application: we prove a valuative criterion for separation and properness for the collection P(1) of stable objects of phase 1 under a numerical, locally finite and noetherian Bridgeland-Douglas stability condition $(Z,\cP)$ on $D(X)$, where $X$ is a smooth projective variety. As an immediate result, the number of long-exact sequences in the first named author's output is no longer an embarrassment. △ Less

Submitted 5 February, 2006; v1 submitted 26 September, 2003; originally announced September 2003.

Comments: 33 pages. To appear in Crelle's Journal. This version incorporates an erratum in section 2.4

MSC Class: 18E30; 14D20; 14F05

Flops, flips and perverse point sheaves on threefold stacks

Authors: Dan Abramovich, Jiun C. Chen

Abstract: We consider two cases of birational transformations of Q-Gorenstein threefolds: the case of a terminal flop and the case of a Francia flip. In the first case we show that, if one replaces the threefolds by their canonical covering stacks, the the flop coincides with the moduli stack of perverse point sheaves. This adds to a result of Kawamata showing the derived equivalence. Our construction h… ▽ More We consider two cases of birational transformations of Q-Gorenstein threefolds: the case of a terminal flop and the case of a Francia flip. In the first case we show that, if one replaces the threefolds by their canonical covering stacks, the the flop coincides with the moduli stack of perverse point sheaves. This adds to a result of Kawamata showing the derived equivalence. Our construction has the drawback that the moduli space is defined using a presentation of the stack. In the second case we show that, if one takes a Francia flip $X \to Y$ and replaces $X$ by its canonical covering stack, then the flip coincides with a version of Bridgelan'd moduli space of pewrverse point sheaves involving a new perversity. This adds to another result of Kawamata. Again there is a drawback - the proof of the result relies on the existence of the flip, in contrast with the results of Bridgeland and of Chen where the relevant flop appears as an outcome of the construction. △ Less

Submitted 23 April, 2003; originally announced April 2003.

Comments: 16 pages

MSC Class: 14E30 ; 14J60

Computations with moduli of perverse point sheaves

Authors: Dan Abramovich, Jiun C. Chen

Abstract: Given a birational modification $X \to Y$ of complex projective varieties with fiber dimension 1 and rational singularities, consider the main component of Bridgeland's moduli space $W \to Y$ of perverse point sheaves on $X/Y$. We give criteria for the normalization of $W$ to coincide with the transform (flip/flop) $X^+ \to Y$ of $X \to Y$. First, this holds if the exceptional loci of $X \to Y$… ▽ More Given a birational modification $X \to Y$ of complex projective varieties with fiber dimension 1 and rational singularities, consider the main component of Bridgeland's moduli space $W \to Y$ of perverse point sheaves on $X/Y$. We give criteria for the normalization of $W$ to coincide with the transform (flip/flop) $X^+ \to Y$ of $X \to Y$. First, this holds if the exceptional loci of $X \to Y$ and $W \to Y$ have codimension $>1$. Second, if the ideal sheaf of $X \times_Y X^+$ is flat over $X^+$ then there is at least a morphism $X^+ \to W$. We illustrate the results using a number of examples, including surface modifications and standard Francia flips. △ Less

Submitted 25 April, 2003; v1 submitted 23 April, 2003; originally announced April 2003.

Comments: 10 pages, sum horrifik tipos correctid

MSC Class: 14E30 ; 14J60

Raynaud's group-scheme and reduction of coverings

Authors: Dan Abramovich, Jonathan Lubin

Abstract: The structure of the reduction of an admissible $G$-covering $Y \to X$ at primes $p$ dividing $|G|$ is investigated. Assume $|G|$ is not divisible by $p^2$ and the $p$-Sylow group is normal. Following Raynaud it is shown that there is a group scheme $\cG$ over the smooth locus of $X$ for which $Y$ is still a principal bundle away from the special points. A structure at the nodes involving Artin… ▽ More The structure of the reduction of an admissible $G$-covering $Y \to X$ at primes $p$ dividing $|G|$ is investigated. Assume $|G|$ is not divisible by $p^2$ and the $p$-Sylow group is normal. Following Raynaud it is shown that there is a group scheme $\cG$ over the smooth locus of $X$ for which $Y$ is still a principal bundle away from the special points. A structure at the nodes involving Artin twisted curves is discussed. △ Less

Submitted 4 January, 2006; v1 submitted 23 April, 2003; originally announced April 2003.

Comments: Results much improved thanks to computations of Romagny, hopefully leading to complete moduli space in joint work in the near future. Added appendix by Lubin, of which this is the fun version. If you want to see the master working in Lubin Tate theory read this - the published version, he threatens, will be cut and dry

MSC Class: 14H10; 14H25; 14H30

Canonical models and stable reduction for plurifibered varieties

Authors: Dan Abramovich

Abstract: A cheap method for constructing canonical models and complete moduli for complex projective varieties with a structure called "rational plurifibration" is given. A result about semistable reduction (whose nature is slightly different from alg-geom/9707012) is deduced. The method involves recursive application of moduli stacks of twisted stable maps (math.AG/9908167) and a systematic circumvent… ▽ More A cheap method for constructing canonical models and complete moduli for complex projective varieties with a structure called "rational plurifibration" is given. A result about semistable reduction (whose nature is slightly different from alg-geom/9707012) is deduced. The method involves recursive application of moduli stacks of twisted stable maps (math.AG/9908167) and a systematic circumvention of any difficult MMP issues. △ Less

Submitted 29 June, 2002; originally announced July 2002.

Comments: 8 pages

MSC Class: 14D22; 14E30; 14A20

Algebraic orbifold quantum products

Authors: Dan Abramovich, Tom Graber, Angelo Vistoli

Abstract: The purpose of this note is to give an overview of our work on defining algebraic counterparts for W. Chen and Y. Ruan's Gromov-Witten Theory of orbifolds. This work will be described in detail in a subsequent paper. The presentation here is generally based on lectures given by two of us at the Orbifold Workshop in Madison, Wisconsin. Following the spirit of the workshop, we give a nontechnica… ▽ More The purpose of this note is to give an overview of our work on defining algebraic counterparts for W. Chen and Y. Ruan's Gromov-Witten Theory of orbifolds. This work will be described in detail in a subsequent paper. The presentation here is generally based on lectures given by two of us at the Orbifold Workshop in Madison, Wisconsin. Following the spirit of the workshop, we give a nontechnical introduction to stacks, a general discussion of twisted stable maps, and a run-through of the issues that arise when generalizing Gromov-Witten theory to Deligne-Mumford stacks. We make a special effort to make our constructions as canonical as we can, systematically using the language of algebraic stacks. Our efforts bear some concrete fruits; in particular, we are able to define the Chen-Ruan product in degree 0 (the so called stringy cohomology of the stack) with integer coefficients. Beware - this note may be vanishing in front of your eyes: first, a somewhat less technical version intended for the workshop proceedings will shortly (we hope) be submitted. Second, a much more detailed paper is in preparation, in which all the technicalities which are swept under the rug here are discussed, as well as some cool stuff about taking roots. △ Less

Submitted 30 November, 2001; originally announced December 2001.

Comments: 20 pages

MSC Class: 14N35; 14A20; 14H10

Twisted bundles and admissible covers

Authors: Dan Abramovich, Alessio Corti, Angelo Vistoli

Abstract: The cherry on top of this stacky paper is the following: for any g>1 we give a finite group G such that the moduli space of connected admissible G-covers of genus g is a smooth, fine moduli space, which is a Galois cover of the moduli space of stable curves. The proof relies on methods introduced by Looijenga and Pikaart-De Jong, and on the theory of twisted G-covers, a theory announced withou… ▽ More The cherry on top of this stacky paper is the following: for any g>1 we give a finite group G such that the moduli space of connected admissible G-covers of genus g is a smooth, fine moduli space, which is a Galois cover of the moduli space of stable curves. The proof relies on methods introduced by Looijenga and Pikaart-De Jong, and on the theory of twisted G-covers, a theory announced without proofs in math.AG/9811059, section 3, and developed in the first few sections of this paper. This includes a moduli description of the normalization of the Harris-Mumford space of admissible covers, and a study of moduli of stable curves with abelian and non-abelian level structure. △ Less

Submitted 25 June, 2001; originally announced June 2001.

Comments: 36 pages

MSC Class: 14H10; 14H30

Moduli of twisted spin curves

Authors: Dan Abramovich, Tyler J. Jarvis

Abstract: In this note we give a new, natural construction of a compactification of the stack of smooth r-spin curves, which we call the stack of stable twisted $r$-spin curves. This stack is identified with a special case of a stack of twisted stable maps of Abramovich and Vistoli. Realizations in terms of admissible G_m-spaces and Q-line bundles are given as well. The infinitesimal structure of this sta… ▽ More In this note we give a new, natural construction of a compactification of the stack of smooth r-spin curves, which we call the stack of stable twisted $r$-spin curves. This stack is identified with a special case of a stack of twisted stable maps of Abramovich and Vistoli. Realizations in terms of admissible G_m-spaces and Q-line bundles are given as well. The infinitesimal structure of this stack is described in a relatively straightforward manner, similar to that of usual stable curves. We construct representable morphisms from the stacks of stable twisted r-spin curves to the stacks of stable r-spin curves, and show that they are isomorphisms. Many delicate features of r-spin curves, including torsion free sheaves with power maps, arise as simple by-products of twisted spin curves. Various constructions, such as the d bar-operator of Seeley and Singer and Witten's cohomology class go through without complications in the setting of twisted spin curves. △ Less

Submitted 13 April, 2001; originally announced April 2001.

Comments: 10 pages, AMSLaTeX

MSC Class: 14H10

Compactifying the space of stable maps

Authors: Dan Abramovich, Angelo Vistoli

Abstract: We define two equivalent notions of twisted stable map from a curve to a Deligne-Mumford stack with projective moduli space, and we prove that twisted stable maps of fixed degree form a complete Deligne-Mumford stack with projective moduli space. We define two equivalent notions of twisted stable map from a curve to a Deligne-Mumford stack with projective moduli space, and we prove that twisted stable maps of fixed degree form a complete Deligne-Mumford stack with projective moduli space. △ Less

Submitted 12 March, 2000; v1 submitted 30 August, 1999; originally announced August 1999.

Comments: 34 pages; Latex 2e. The following devices were used to reduce the authors' publication count: 1. new section on canonical contractions and functoriality added, and 2. introduction expanded based on our research announcement math.AG/9811059

MSC Class: 14H10; 14H30; 14D22

Torification and Factorization of Birational Maps

Authors: Dan Abramovich, Kalle Karu, Kenji Matsuki, Jarosław Włodarczyk

Abstract: Building on the work of the fourth author in math.AG/9904074, we prove the weak factorization conjecture for birational maps in characteristic zero: a birational map between complete nonsingular varieties over an algebraically closed field K of characteristic zero is a composite of blowings up and blowings down with smooth centers. Such a factorization exists which is functorial with respect to… ▽ More Building on the work of the fourth author in math.AG/9904074, we prove the weak factorization conjecture for birational maps in characteristic zero: a birational map between complete nonsingular varieties over an algebraically closed field K of characteristic zero is a composite of blowings up and blowings down with smooth centers. Such a factorization exists which is functorial with respect to absolute isomorphisms, and compatible with a normal crossings divisor. The same holds for algebraic and analytic spaces. Another proof of the main theorem by the fourth author appeared in math.AG/9904076. △ Less

Submitted 31 May, 2000; v1 submitted 23 April, 1999; originally announced April 1999.

Comments: The previous versions of this paper used Morelli's algorithm for strong factorization of toric birational maps, in which a gap was recently found by K. Karu. In this version we rely only on weak factorization of toric birational maps (due to Wlodarczyk and Morelli). The results remain the same

Report number: MPI 1999 - 59 MSC Class: 14E05;14L30;14M25;58E05;57R90

Complete moduli for families over semistable curves

Authors: Dan Abramovich, Angelo Vistoli

Abstract: This note is but a research announcement, summarizing and explaining results proven and detailed in forthcoming papers. When one studies families of objects over curves, and the objects are parametrized by a Deligne-Mumford stack M, then the families are equivalent to morphisms of curves into M. In order to have complete moduli for such families, one needs to compactify the stack of stable maps… ▽ More This note is but a research announcement, summarizing and explaining results proven and detailed in forthcoming papers. When one studies families of objects over curves, and the objects are parametrized by a Deligne-Mumford stack M, then the families are equivalent to morphisms of curves into M. In order to have complete moduli for such families, one needs to compactify the stack of stable maps into M. It turns out that in the boundary, the curve must acquire extra structure and you'd better read the paper to see what that structure is. Applications to fibered surfaces (see math.AG/9804097), admissible covers, and level structures are discussed. △ Less

Submitted 9 November, 1998; originally announced November 1998.

Comments: 9 pages, LATEX2e

MSC Class: 14H10; 14H30; 14D22