Showing 1–30 of 30 results for author: Alper, J

Structure results for torus fixed loci

Authors: Jarod Alper, Felix Janda

Abstract: Motivated by localization theorems on moduli spaces, we prove a structural classification of Deligne-Mumford stacks with an action of a torus where the induced action on the coarse moduli space is trivial. We also establish a general local structure theorem for morphisms of algebraic stacks. Motivated by localization theorems on moduli spaces, we prove a structural classification of Deligne-Mumford stacks with an action of a torus where the induced action on the coarse moduli space is trivial. We also establish a general local structure theorem for morphisms of algebraic stacks. △ Less

Submitted 16 February, 2024; originally announced February 2024.

Comments: 16 pages; comments welcome!

MSC Class: 14D23 (Primary) 14L30 (Secondary)

Coherently complete algebraic stacks in positive characteristic

Authors: Jarod Alper, Jack Hall, David Benjamin Lim

Abstract: With the long-term goal of proving local structure theorems of algebraic stacks in positive characteristic near points with reductive (but possibly non-linearly reductive) stabilizer, we conjecture that quotient stacks of the form $[\mathrm{Spec}\, A/G]$, with $G$ reductive and $A^G$ complete local, are coherently complete along the unique closed point. We establish this conjecture in two interest… ▽ More With the long-term goal of proving local structure theorems of algebraic stacks in positive characteristic near points with reductive (but possibly non-linearly reductive) stabilizer, we conjecture that quotient stacks of the form $[\mathrm{Spec}\, A/G]$, with $G$ reductive and $A^G$ complete local, are coherently complete along the unique closed point. We establish this conjecture in two interesting cases: (1) $A^G$ is artinian and (2) $G$ acts trivially on $\mathrm{Spec}\, A$. We also establish coherent completeness results for graded unipotent group actions. In order to establish these results, we prove a number of foundational statements concerning cohomological and completeness properties of algebraic stacks -- including on how these properties ascend and descend along morphisms. △ Less

Submitted 4 September, 2023; originally announced September 2023.

Comments: 35 pages, comments welcome!

MSC Class: Primary 14F06; 14A20; Secondary 14F08

Projectivity of the moduli space of vector bundles on a curve

Authors: Jarod Alper, Pieter Belmans, Daniel Bragg, Jason Liang, Tuomas Tajakka

Abstract: We discuss the projectivity of the moduli space of semistable vector bundles on a curve of genus $g\geq 2$. This is a classical result from the 1960s, obtained using geometric invariant theory. We outline a modern approach that combines the recent machinery of good moduli spaces with determinantal line bundle techniques. The crucial step producing an ample line bundle follows an argument by Faltin… ▽ More We discuss the projectivity of the moduli space of semistable vector bundles on a curve of genus $g\geq 2$. This is a classical result from the 1960s, obtained using geometric invariant theory. We outline a modern approach that combines the recent machinery of good moduli spaces with determinantal line bundle techniques. The crucial step producing an ample line bundle follows an argument by Faltings with improvements by Esteves-Popa. We hope to promote this approach as a blueprint for other projectivity arguments. △ Less

Submitted 13 June, 2022; originally announced June 2022.

Comments: 31 pages, expository article, accepted for publication in Stacks Project Expository Collection, to be published by Cambridge University Press, London Mathematical Society Lecture Note Series

Journal ref: SPEC: Stacks Project Expository Collection, Cambridge University Press, London Mathematical Society Lecture Note Series, chapter 3, pages 90-125, 2022

Artin algebraization for pairs with applications to the local structure of stacks and Ferrand pushouts

Authors: Jarod Alper, Daniel Halpern-Leistner, Jack Hall, David Rydh

Abstract: We give a variant of Artin algebraization along closed subschemes and closed substacks. Our main application is the existence of étale, smooth, or syntomic neighborhoods of closed subschemes and closed substacks. In particular, we prove local structure theorems for stacks and their derived counterparts and the existence of henselizations along linearly fundamental closed substacks. These results e… ▽ More We give a variant of Artin algebraization along closed subschemes and closed substacks. Our main application is the existence of étale, smooth, or syntomic neighborhoods of closed subschemes and closed substacks. In particular, we prove local structure theorems for stacks and their derived counterparts and the existence of henselizations along linearly fundamental closed substacks. These results establish the existence of Ferrand pushouts, which answers positively a question of Temkin-Tyomkin. △ Less

Submitted 17 May, 2022; originally announced May 2022.

Comments: 26 pages, comments welcome!

MSC Class: 14B12; 14D23; 13B12

The étale local structure of algebraic stacks

Authors: Jarod Alper, Jack Hall, David Rydh

Abstract: We prove that an algebraic stack with affine stabilizers over an arbitrary (possibly mixed-characteristic) base is étale locally a quotient stack around any point with a linearly reductive stabilizer. This generalizes earlier work by the authors (stacks over algebraically closed fields) and by Abramovich, Olsson and Vistoli (stacks with finite inertia). In addition, we prove a number of foundation… ▽ More We prove that an algebraic stack with affine stabilizers over an arbitrary (possibly mixed-characteristic) base is étale locally a quotient stack around any point with a linearly reductive stabilizer. This generalizes earlier work by the authors (stacks over algebraically closed fields) and by Abramovich, Olsson and Vistoli (stacks with finite inertia). In addition, we prove a number of foundational results, which are new even over a field. We expect these results to be as consequential to the study of algebraic stacks as our local structure theorems. They include various coherent completeness and effectivity results for adic sequences of algebraic stacks. Finally, we give several applications of our results and methods, such as structure theorems for linearly reductive group schemes and generalizations to the relative setting of Sumihiro's theorem on torus actions and Luna's étale slice theorem. △ Less

Submitted 13 April, 2023; v1 submitted 12 December, 2019; originally announced December 2019.

Comments: 58 pages; v3 reorganization and renumbering of sections, other small comments and corrections; v2 replaced Theorem 1.3 with a variant and added Section 17 on further applications to good moduli spaces

MSC Class: 14D23 (Primary); 14L15; 14L24; 14L30 (Secondary)

Reductivity of the automorphism group of K-polystable Fano varieties

Authors: Jarod Alper, Harold Blum, Daniel Halpern-Leistner, Chenyang Xu

Abstract: We prove that K-polystable log Fano pairs have reductive automorphism groups. In fact, we deduce this statement by establishing more general results concerning the S-completeness and $Θ$-reductivity of the moduli of K-semistable log Fano pairs. Assuming the conjecture that K-semistability is an open condition, we prove that the Artin stack parametrizing K-semistable Fano varieties admits a separat… ▽ More We prove that K-polystable log Fano pairs have reductive automorphism groups. In fact, we deduce this statement by establishing more general results concerning the S-completeness and $Θ$-reductivity of the moduli of K-semistable log Fano pairs. Assuming the conjecture that K-semistability is an open condition, we prove that the Artin stack parametrizing K-semistable Fano varieties admits a separated good moduli space. △ Less

Submitted 27 July, 2020; v1 submitted 7 June, 2019; originally announced June 2019.

Comments: 32 pages. Final version. To appear in Inventiones Math

Cartan-Iwahori-Matsumoto decompositions for reductive groups

Authors: Jarod Alper, Daniel Halpern-Leistner, Jochen Heinloth

Abstract: We provide a short and self-contained argument for the existence of Cartan-Iwahori-Matsumoto decompositions for reductive groups. We provide a short and self-contained argument for the existence of Cartan-Iwahori-Matsumoto decompositions for reductive groups. △ Less

Submitted 28 February, 2019; originally announced March 2019.

Comments: 8 pages

Existence of moduli spaces for algebraic stacks

Authors: Jarod Alper, Daniel Halpern-Leistner, Jochen Heinloth

Abstract: We provide necessary and sufficient conditions for when an algebraic stack admits a good moduli space and prove a semistable reduction theorem for points of algebraic stacks equipped with a $Θ$-stratification. These results provide a generalization of the Keel--Mori theorem to moduli problems whose objects have positive dimensional automorphism groups and give criteria on the moduli problem to hav… ▽ More We provide necessary and sufficient conditions for when an algebraic stack admits a good moduli space and prove a semistable reduction theorem for points of algebraic stacks equipped with a $Θ$-stratification. These results provide a generalization of the Keel--Mori theorem to moduli problems whose objects have positive dimensional automorphism groups and give criteria on the moduli problem to have a separated or proper good moduli space. To illustrate our method, we apply these results to construct proper moduli spaces parameterizing semistable $\mathcal{G}$-bundles on curves and moduli spaces for objects in abelian categories. △ Less

Submitted 23 February, 2024; v1 submitted 3 December, 2018; originally announced December 2018.

Comments: 79 pages: compatible with final published version

MSC Class: 14D23; 14D22; 14H60; 18E15

Journal ref: Inventiones mathematicae, volume 234, pages 949-1038, (2023)

Syzygies of the apolar ideals of the determinant and permanent

Authors: Jarod Alper, Rowan Rowlands

Abstract: We investigate the space of syzygies of the apolar ideals $\det_n^\perp$ and ${\rm perm}_n^\perp$ of the determinant $\det_n$ and permanent ${\rm perm}_n$ polynomials. Shafiei had proved that these ideals are generated by quadrics and provided a minimal generating set. Extending on her work, in characteristic distinct from two, we prove that the space of relations of $\det_n^{\perp}$ is generated… ▽ More We investigate the space of syzygies of the apolar ideals $\det_n^\perp$ and ${\rm perm}_n^\perp$ of the determinant $\det_n$ and permanent ${\rm perm}_n$ polynomials. Shafiei had proved that these ideals are generated by quadrics and provided a minimal generating set. Extending on her work, in characteristic distinct from two, we prove that the space of relations of $\det_n^{\perp}$ is generated by linear relations and we describe a minimal generating set. The linear relations of ${\rm perm}_n^{\perp}$ do not generate all relations, but we provide a minimal generating set of linear and quadratic relations. For both $\det_n^\perp$ and ${\rm perm}_n^\perp$, we give formulas for the Betti numbers $β_{1,j}$, $β_{2,j}$ and $β_{3,4}$ for all $j$ as well as conjectural descriptions of other Betti numbers. Finally, we provide representation-theoretic descriptions of certain spaces of linear syzygies. △ Less

Submitted 26 September, 2017; originally announced September 2017.

Comments: 29 pages, comments welcome

Artin algebraization and quotient stacks

Authors: Jarod Alper

Abstract: This article contains a slightly expanded version of the lectures given by the author at the summer school "Algebraic stacks and related topics" in Mainz, Germany from August 31 to September 4, 2015. The content of these lectures is purely expository and consists of two main goals. First, we provide a treatment of Artin's approximation and algebraization theorems following the ideas of Conrad and… ▽ More This article contains a slightly expanded version of the lectures given by the author at the summer school "Algebraic stacks and related topics" in Mainz, Germany from August 31 to September 4, 2015. The content of these lectures is purely expository and consists of two main goals. First, we provide a treatment of Artin's approximation and algebraization theorems following the ideas of Conrad and de Jong which rely on a deep desingularization result due to Neron and Popescu. Second, we prove that under suitable hypotheses, algebraic stacks are etale locally quotients stacks in a neighborhood of a point with a linearly reductive stabilizer. △ Less

Submitted 27 October, 2015; originally announced October 2015.

Comments: Expository article covering Artin algebraization and results from arXiv:1504.06467

Equivariant versal deformations of semistable curves

Authors: Jarod Alper, Andrew Kresch

Abstract: We prove that given any $n$-pointed prestable curve $C$ of genus $g$ with linearly reductive automorphism group ${\rm Aut}(C)$, there exists an ${\rm Aut}(C)$-equivariant miniversal deformation of $C$ over an affine variety $W$. In other words, we prove that the algebraic stack $\mathfrak{M}_{g,n}$ parametrizing $n$-pointed prestable curves of genus $g$ has an étale neighborhood of $[C]$ isomorphi… ▽ More We prove that given any $n$-pointed prestable curve $C$ of genus $g$ with linearly reductive automorphism group ${\rm Aut}(C)$, there exists an ${\rm Aut}(C)$-equivariant miniversal deformation of $C$ over an affine variety $W$. In other words, we prove that the algebraic stack $\mathfrak{M}_{g,n}$ parametrizing $n$-pointed prestable curves of genus $g$ has an étale neighborhood of $[C]$ isomorphic to the quotient stack $[W / {\rm Aut}(C)]$. △ Less

Submitted 12 October, 2015; originally announced October 2015.

Comments: 21 pages

A lower bound for the determinantal complexity of a hypersurface

Authors: Jarod Alper, Tristram Bogart, Mauricio Velasco

Abstract: We prove that the determinantal complexity of a hypersurface of degree $d > 2$ is bounded below by one more than the codimension of the singular locus, provided that this codimension is at least $5$. As a result, we obtain that the determinantal complexity of the $3 \times 3$ permanent is $7$. We also prove that for $n> 3$, there is no nonsingular hypersurface in $\mathbf{P}^n$ of degree $d$ that… ▽ More We prove that the determinantal complexity of a hypersurface of degree $d > 2$ is bounded below by one more than the codimension of the singular locus, provided that this codimension is at least $5$. As a result, we obtain that the determinantal complexity of the $3 \times 3$ permanent is $7$. We also prove that for $n> 3$, there is no nonsingular hypersurface in $\mathbf{P}^n$ of degree $d$ that has an expression as a determinant of a $d \times d$ matrix of linear forms while on the other hand for $n \le 3$, a general determinantal expression is nonsingular. Finally, we answer a question of Ressayre by showing that the determinantal complexity of the unique (singular) cubic surface containing a single line is $5$. △ Less

Submitted 8 May, 2015; originally announced May 2015.

Comments: 7 pages, 0 figures

MSC Class: 68Q05; 68Q17; 14M12

A Luna étale slice theorem for algebraic stacks

Authors: Jarod Alper, Jack Hall, David Rydh

Abstract: We prove that every algebraic stack, locally of finite type over an algebraically closed field with affine stabilizers, is étale-locally a quotient stack in a neighborhood of a point with a linearly reductive stabilizer group. The proof uses an equivariant version of Artin's algebraization theorem proved in the appendix. We provide numerous applications of the main theorems. We prove that every algebraic stack, locally of finite type over an algebraically closed field with affine stabilizers, is étale-locally a quotient stack in a neighborhood of a point with a linearly reductive stabilizer group. The proof uses an equivariant version of Artin's algebraization theorem proved in the appendix. We provide numerous applications of the main theorems. △ Less

Submitted 18 January, 2021; v1 submitted 24 April, 2015; originally announced April 2015.

Comments: 47 pages, reorganization of results and applications, corrected applications to Bialynicki-Birula decompositions and equivariant versal deformations for curves, additional material added throughout, final version

MSC Class: Primary 14D23; Secondary 14B12; 14L24; 14L30

Journal ref: Ann. of Math. 191(3) (2020), 675-738

Associated forms of binary quartics and ternary cubics

Authors: J. Alper, A. V. Isaev, N. G. Kruzhilin

Abstract: Let ${\mathcal Q}_n^d$ be the vector space of forms of degree $d\ge 3$ on ${\mathbb C}^n$, with $n\ge 2$. The object of our study is the map $Φ$, introduced in papers [EI], [AI1], that assigns every nondegenerate form in ${\mathcal Q}_n^d$ the so-called associated form, which is an element of ${\mathcal Q}_n^{n(d-2)*}$. We focus on two cases: those of binary quartics ($n=2$, $d=4$) and ternary cub… ▽ More Let ${\mathcal Q}_n^d$ be the vector space of forms of degree $d\ge 3$ on ${\mathbb C}^n$, with $n\ge 2$. The object of our study is the map $Φ$, introduced in papers [EI], [AI1], that assigns every nondegenerate form in ${\mathcal Q}_n^d$ the so-called associated form, which is an element of ${\mathcal Q}_n^{n(d-2)*}$. We focus on two cases: those of binary quartics ($n=2$, $d=4$) and ternary cubics ($n=3$, $d=3$). In these situations the map $Φ$ induces a rational equivariant involution on the projectivized space ${\mathbb P}({\mathcal Q}_n^d)$, which is in fact the only nontrivial rational equivariant involution on ${\mathbb P}({\mathcal Q}_n^d)$. In particular, there exists an equivariant involution on the space of elliptic curves with nonvanishing $j$-invariant. In the present paper, we give a simple interpretation of this involution in terms of projective duality. Furthermore, we express it via classical contravariants. △ Less

Submitted 29 September, 2014; originally announced September 2014.

MSC Class: 14L24; 14H52; 14N05; 13A50; 32S25

Associated Forms and Hypersurface Singularities: The Binary Case

Authors: Jarod Alper, Alexander Isaev

Abstract: In the recent articles by Alper, Eastwood and Isaev, it was conjectured that all rational $GL_n({\mathbb C})$-invariant functions of forms of degree $d\ge 3$ on ${\mathbb C}^n$ can be extracted, in a canonical way, from those of forms of degree $n(d-2)$ by means of assigning every form with nonvanishing discriminant the so-called associated form. While this surprising statement is interesting from… ▽ More In the recent articles by Alper, Eastwood and Isaev, it was conjectured that all rational $GL_n({\mathbb C})$-invariant functions of forms of degree $d\ge 3$ on ${\mathbb C}^n$ can be extracted, in a canonical way, from those of forms of degree $n(d-2)$ by means of assigning every form with nonvanishing discriminant the so-called associated form. While this surprising statement is interesting from the point of view of classical invariant theory, its original motivation was the reconstruction problem for isolated hypersurface singularities, which is the problem of finding a constructive proof of the well-known Mather-Yau theorem. The conjecture was confirmed by Eastwood and Isaev for binary forms of degree $d \le 6$ as well as ternary cubics. Furthermore, a weaker version of it was settled by Alper and Isaev for arbitrary $n$ and $d$. In the present paper, we focus on the case $n=2$ and establish the conjecture, in a rather explicit way, for binary forms of an arbitrary degree. This result allows one to extract a complete system of biholomorphic invariants of homogeneous plane curve singularities from their Milnor algebras. △ Less

Submitted 2 February, 2016; v1 submitted 25 July, 2014; originally announced July 2014.

Comments: To appear in J. reine angew. Math

MSC Class: 14L24; 13A50; 13H10; 32S25

Associated Forms in Classical Invariant Theory

Authors: Jarod Alper, Alexander Isaev

Abstract: It was conjectured in a recent article by M. Eastwood and the second author that all absolute classical invariants of forms of degree $m\ge 3$ on ${\mathbb C}^n$ can be extracted, in a canonical way, from those of forms of degree $n(m-2)$ by means of assigning every form with non-vanishing discriminant the so-called associated form. In that paper, this surprising conjecture was confirmed for binar… ▽ More It was conjectured in a recent article by M. Eastwood and the second author that all absolute classical invariants of forms of degree $m\ge 3$ on ${\mathbb C}^n$ can be extracted, in a canonical way, from those of forms of degree $n(m-2)$ by means of assigning every form with non-vanishing discriminant the so-called associated form. In that paper, this surprising conjecture was confirmed for binary forms of degree $m \le 6$ and ternary cubics. In the present article, we settle the conjecture in full generality. In addition, we propose a stronger version of this statement and obtain evidence supporting it. △ Less

Submitted 29 August, 2013; originally announced August 2013.

MSC Class: 14L24; 13A50; 13H10; 32S25

Log minimal model program for the moduli space of stable curves: The second flip

Authors: Jarod Alper, Maksym Fedorchuk, David Ishii Smyth, Frederick van der Wyck

Abstract: We prove an existence theorem for good moduli spaces, and use it to construct the second flip in the log minimal model program for the moduli space of stable curves. In fact, our methods give a uniform, self-contained construction of the first three steps of the log minimal model program for the moduli spaces of stable pointed curves. We prove an existence theorem for good moduli spaces, and use it to construct the second flip in the log minimal model program for the moduli space of stable curves. In fact, our methods give a uniform, self-contained construction of the first three steps of the log minimal model program for the moduli spaces of stable pointed curves. △ Less

Submitted 4 October, 2014; v1 submitted 5 August, 2013; originally announced August 2013.

Comments: v2: a major revision with streamlined arguments and improved exposition. The definition of the functor at α=2/3-ε is slightly modified. 94 pages, 11 figures. Comments are welcome

Existence of good moduli spaces for A_k-stable curves

Authors: Jarod Alper, David Ishii Smyth

Abstract: We prove a general criterion for an algebraic stack to admit a good moduli space. This result may be considered as a weak analog of the Keel-Mori theorem, which guarantees the existence of a coarse moduli space for a separated Deligne-Mumford stack. We apply our result to prove that the moduli stacks of A_k and A_k^+-stable curves admit good moduli spaces. In forthcoming work, we will prove that t… ▽ More We prove a general criterion for an algebraic stack to admit a good moduli space. This result may be considered as a weak analog of the Keel-Mori theorem, which guarantees the existence of a coarse moduli space for a separated Deligne-Mumford stack. We apply our result to prove that the moduli stacks of A_k and A_k^+-stable curves admit good moduli spaces. In forthcoming work, we will prove that these moduli spaces are projective and use them to construct the second flip in the log minimal model program for M_g. △ Less

Submitted 6 June, 2012; originally announced June 2012.

Comments: 20 pages

Finite Hilbert stability of canonical curves, II. The even-genus case

Authors: Jarod Alper, Maksym Fedorchuk, David Ishii Smyth

Abstract: This paper is a sequel to arXiv:1109.4986, where we proved that a general smooth curve of odd genus, canonically or bicanonically embedded, has semistable finite Hilbert points. Here, we prove that a generic canonically embedded curve of even genus has semistable finite Hilbert points. More precisely, we prove that a generic canonically embedded trigonal curve of even genus has semistable finite H… ▽ More This paper is a sequel to arXiv:1109.4986, where we proved that a general smooth curve of odd genus, canonically or bicanonically embedded, has semistable finite Hilbert points. Here, we prove that a generic canonically embedded curve of even genus has semistable finite Hilbert points. More precisely, we prove that a generic canonically embedded trigonal curve of even genus has semistable finite Hilbert points. Furthermore, we show that the analogous result fails for bielliptic curves. Namely, the Hilbert points of bielliptic curves are asymptotically semistable but become non-semistable below a definite threshold value depending on genus. △ Less

Submitted 26 October, 2011; originally announced October 2011.

Finite Hilbert stability of (bi)canonical curves

Authors: Jarod Alper, Maksym Fedorchuk, David Ishii Smyth

Abstract: We prove that a generic canonically or bicanonically embedded smooth curve has semistable m-th Hilbert points for all m. We also prove that a generic bicanonically embedded smooth curve has stable m-th Hilbert points for all m \geq 3. In the canonical case, this is accomplished by proving finite Hilbert semistability of special singular curves with G_m-action, namely the canonically embedded balan… ▽ More We prove that a generic canonically or bicanonically embedded smooth curve has semistable m-th Hilbert points for all m. We also prove that a generic bicanonically embedded smooth curve has stable m-th Hilbert points for all m \geq 3. In the canonical case, this is accomplished by proving finite Hilbert semistability of special singular curves with G_m-action, namely the canonically embedded balanced ribbon and the canonically embedded balanced double A_{2k+1}-curve. In the bicanonical case, we prove finite Hilbert stability of special hyperelliptic curves, namely Wiman curves. Finally, we give examples of canonically embedded smooth curves whose m-th Hilbert points are non-semistable for low values of m, but become semistable past a definite threshold. (This paper subsumes the previous submission and arXiv:1110.5960). △ Less

Submitted 4 May, 2012; v1 submitted 22 September, 2011; originally announced September 2011.

Comments: To appear in Inventiones Mathematicae, 2012. The final publication is available at http://www.springerlink.com

GIT Constructions of Log Canonical Models of M_g

Authors: Jarod Alper, Donghoon Hyeon

Abstract: The purpose of this article is to give an overview of the construction of moduli spaces of curves from the viewpoint of the log minimal model program for M_g by providing an update of recent developments and discussing future problems. This survey is distinguished from the recent articles of Fedorchuk-Smyth and Morrison in its focus on low degree Hilbert stability of curves. The purpose of this article is to give an overview of the construction of moduli spaces of curves from the viewpoint of the log minimal model program for M_g by providing an update of recent developments and discussing future problems. This survey is distinguished from the recent articles of Fedorchuk-Smyth and Morrison in its focus on low degree Hilbert stability of curves. △ Less

Submitted 9 September, 2011; originally announced September 2011.

Comments: 23 pages

Weakly proper moduli stacks of curves

Authors: Jarod Alper, David Ishii Smyth, Frederick van der Wyck

Abstract: This is the first in a projected series of three papers in which we construct the second flip in the log minimal model program for $\bar{M}_g$. We introduce the notion of a weakly proper algebraic stack, which may be considered as an abstract characterization of those mildly non-separated moduli problems encountered in the context of Geometric Invariant Theory (GIT), and develop techniques for pro… ▽ More This is the first in a projected series of three papers in which we construct the second flip in the log minimal model program for $\bar{M}_g$. We introduce the notion of a weakly proper algebraic stack, which may be considered as an abstract characterization of those mildly non-separated moduli problems encountered in the context of Geometric Invariant Theory (GIT), and develop techniques for proving that a stack is weakly proper without the usual semistability analysis of GIT. We define a sequence of moduli stacks of curves involving nodes, cusps, tacnodes, and ramphoid cusps, and use the aforementioned techniques to show that these stacks are weakly proper. This will be the key ingredient in forthcoming work, in which we will prove that these moduli stacks have projective good moduli spaces which are log canonical models for $\bar{M}_g$. △ Less

Submitted 8 January, 2011; v1 submitted 2 December, 2010; originally announced December 2010.

Comments: 66 pages, 3 figures

Computing invariants via slicing groupoids: Gel'fand MacPherson, Gale and positive characteristic stable maps

Authors: Jarod Alper

Abstract: We offer a groupoid-theoretic approach to computing invariants. We illustrate this approach by describing the Gel'fand-MacPherson correspondence and the Gale transform as well as giving Zariski-local descriptions of the moduli space of ordered points in P^1. We give an explicit description of the moduli space M_0(P^1,2) over Spec Z. In characteristic 2, there is a singularity at the totally ramifi… ▽ More We offer a groupoid-theoretic approach to computing invariants. We illustrate this approach by describing the Gel'fand-MacPherson correspondence and the Gale transform as well as giving Zariski-local descriptions of the moduli space of ordered points in P^1. We give an explicit description of the moduli space M_0(P^1,2) over Spec Z. In characteristic 2, there is a singularity at the totally ramified cover which is isomorphic to the affine cone over the Veronese embedding P^1 --> P^4. △ Less

Submitted 15 November, 2010; originally announced November 2010.

Invariant rings through categories

Authors: Jarod Alper, A. J. de Jong

Abstract: We formulate a notion of "geometric reductivity" in an abstract categorical setting which we refer to as adequacy. The main theorem states that the adequacy condition implies that the ring of invariants is finitely generated. This result applies to the category of modules over a bialgebra, the category of comodules over a bialgebra, and the category of quasi-coherent sheaves on a finite type algeb… ▽ More We formulate a notion of "geometric reductivity" in an abstract categorical setting which we refer to as adequacy. The main theorem states that the adequacy condition implies that the ring of invariants is finitely generated. This result applies to the category of modules over a bialgebra, the category of comodules over a bialgebra, and the category of quasi-coherent sheaves on a finite type algebraic stack over an affine base. △ Less

Submitted 9 November, 2010; originally announced November 2010.

Singularities with G_m-action and the log minimal model program for $\bar{M}_g$

Authors: Jarod Alper, Maksym Fedorchuk, David Ishii Smyth

Abstract: We give a precise formulation of the modularity principle for the log canonical models of $\bar{M}_g$. Assuming the modularity principle holds, we develop and compare two methods for determining the critical alpha-values at which a singularity or complete curve with G_m-action arises in the modular interpretations of log canonical models of $\bar{M}_g$. The first method involves a new invariant of… ▽ More We give a precise formulation of the modularity principle for the log canonical models of $\bar{M}_g$. Assuming the modularity principle holds, we develop and compare two methods for determining the critical alpha-values at which a singularity or complete curve with G_m-action arises in the modular interpretations of log canonical models of $\bar{M}_g$. The first method involves a new invariant of curve singularities with G_m-action, constructed via the characters of the induced G_m-action on spaces of pluricanonical forms. The second method involves intersection theory on the variety of stable limits of a singular curve. We compute the expected alpha-values for large classes of singular curves, including curves with ADE, toric, and monomial unibranch Gorenstein singularities, as well as for ribbons, and show that the two methods yield identical predictions. We use these results to give a conjectural outline of the log MMP for $\bar{M}_g$. △ Less

Submitted 6 June, 2011; v1 submitted 18 October, 2010; originally announced October 2010.

Comments: Revised version. 28 pages, 3 figures

Recasting results in equivariant geometry: affine cosets, observable subgroups and existence of good quotients

Authors: Jarod Alper, Robert Easton

Abstract: Using the language of stacks, we recast and generalize a selection of results in equivariant geometry. Using the language of stacks, we recast and generalize a selection of results in equivariant geometry. △ Less

Submitted 10 October, 2010; originally announced October 2010.

MSC Class: 14L24; 14L30

Adequate moduli spaces and geometrically reductive group schemes

Authors: Jarod Alper

Abstract: We develop the theory of adequate moduli spaces in characteristic $p$ (and mixed characteristic) characterizing quotients by geometrically reductive group schemes. We develop the theory of adequate moduli spaces in characteristic $p$ (and mixed characteristic) characterizing quotients by geometrically reductive group schemes. △ Less

Submitted 31 August, 2018; v1 submitted 13 May, 2010; originally announced May 2010.

Comments: minor errors corrected

Local properties of good moduli spaces

Authors: Jarod Alper

Abstract: We study the local properties of Artin stacks and their good moduli spaces, if they exist. We show that near closed points with linearly reductive stabilizer, Artin stacks formally locally admit good moduli spaces. We also give conditions for when the existence of good moduli spaces can be deduced from the existence of etale charts admitting good moduli spaces. We study the local properties of Artin stacks and their good moduli spaces, if they exist. We show that near closed points with linearly reductive stabilizer, Artin stacks formally locally admit good moduli spaces. We also give conditions for when the existence of good moduli spaces can be deduced from the existence of etale charts admitting good moduli spaces. △ Less

Submitted 13 March, 2012; v1 submitted 21 April, 2009; originally announced April 2009.

Comments: 20 pages, this version agrees with the published version

Journal ref: Tohoku Math J., 64 (2012), 105-123

On the local quotient structure of Artin stacks

Authors: Jarod Alper

Abstract: We show that near closed points with linearly reductive stabilizer, Artin stacks are formally locally quotient stacks by the stabilizer. We conjecture that the statement holds etale locally and we provide some evidence for this conjecture. In particular, we prove that if the stabilizer of a point is linearly reductive, the stabilizer acts algebraically on a miniversal deformation space generalizin… ▽ More We show that near closed points with linearly reductive stabilizer, Artin stacks are formally locally quotient stacks by the stabilizer. We conjecture that the statement holds etale locally and we provide some evidence for this conjecture. In particular, we prove that if the stabilizer of a point is linearly reductive, the stabilizer acts algebraically on a miniversal deformation space generalizing results of Pinkham and Rim. △ Less

Submitted 8 December, 2017; v1 submitted 14 April, 2009; originally announced April 2009.

Comments: 23 pages, this version agrees with the published version with errors in 2.7 and 6.8 fixed

Journal ref: J. Pure Appl. Algebra 214 (2010), no. 9, 1576-1591

Good moduli spaces for Artin stacks

Authors: Jarod Alper

Abstract: We develop the theory of associating moduli spaces with nice geometric properties to arbitrary Artin stacks generalizing Mumford's geometric invariant theory and tame stacks. We develop the theory of associating moduli spaces with nice geometric properties to arbitrary Artin stacks generalizing Mumford's geometric invariant theory and tame stacks. △ Less

Submitted 19 October, 2009; v1 submitted 14 April, 2008; originally announced April 2008.

Comments: 43 pages; improved exposition, minor corrections