-
There are no good infinite families of toric codes
Authors:
Jason P. Bell,
Sean Monahan,
Matthew Satriano,
Karen Situ,
Zheng Xie
Abstract:
Soprunov and Soprunova introduced the notion of a good infinite family of toric codes. We prove that such good families do not exist by proving a more general Szemerédi-type result: for all $c\in(0,1]$ and all positive integers $N$, subsets of density at least $c$ in $\{0,1,\dots,N-1\}^n$ contain hypercubes of arbitrarily large dimension as $n$ grows.
Soprunov and Soprunova introduced the notion of a good infinite family of toric codes. We prove that such good families do not exist by proving a more general Szemerédi-type result: for all $c\in(0,1]$ and all positive integers $N$, subsets of density at least $c$ in $\{0,1,\dots,N-1\}^n$ contain hypercubes of arbitrarily large dimension as $n$ grows.
△ Less
Submitted 31 May, 2024;
originally announced June 2024.
-
Extending the Torelli map to alternative compactifications of the moduli space of curves
Authors:
Changho Han,
Jesse Leo Kass,
Matthew Satriano
Abstract:
Determining the limiting behaviour of the Jacobian as the underlying curve degenerates has been the subject of much interest. For nodal singularities, there are beautiful constructions of Caporaso as well as Pandharipande of compactified universal Jacobians over the moduli space of stable curves. Alexeev later obtained a canonical such compactification by extending the Torelli map out of the Delig…
▽ More
Determining the limiting behaviour of the Jacobian as the underlying curve degenerates has been the subject of much interest. For nodal singularities, there are beautiful constructions of Caporaso as well as Pandharipande of compactified universal Jacobians over the moduli space of stable curves. Alexeev later obtained a canonical such compactification by extending the Torelli map out of the Deligne-Mumford compactification of $\mathcal{M}_{g,n}$. In contrast, Alexeev and Brunyate proved that the Torelli map does not extend over the cuspidal locus in Schubert's alternative compactification of pseudostable curves.
In this paper, we consider curves with singularities that locally look like the axes in $m$-space, which we call fold-like singularities. We construct an alternative compactification of $\mathcal{M}_{g,n}$ consisting of curves with such singularities and prove that the Torelli map extends out of this compactification. Furthermore, for every alternative compactification in the sense of Smyth, we identify a fold-like locus over which the Torelli map extends.
△ Less
Submitted 8 May, 2024;
originally announced May 2024.
-
Approximating rational points on surfaces
Authors:
Brian Lehmann,
David McKinnon,
Matthew Satriano
Abstract:
Let $X$ be a smooth projective algebraic variety over a number field $k$ and $P$ in $X(k)$. In 2007, the second author conjectured that, in a precise sense, if rational points on $X$ are dense enough, then the best rational approximations to $P$ must lie on a curve. We present a strategy for deducing a slightly weaker conjecture from Vojta's conjecture, and execute this strategy for the full conje…
▽ More
Let $X$ be a smooth projective algebraic variety over a number field $k$ and $P$ in $X(k)$. In 2007, the second author conjectured that, in a precise sense, if rational points on $X$ are dense enough, then the best rational approximations to $P$ must lie on a curve. We present a strategy for deducing a slightly weaker conjecture from Vojta's conjecture, and execute this strategy for the full conjecture for split surfaces.
△ Less
Submitted 4 March, 2024;
originally announced March 2024.
-
On the algebra generated by three commuting matrices: combinatorial cases
Authors:
Ron Cherny,
Matthew Satriano,
Yohan Song
Abstract:
Gerstenhaber proved in 1961 that the unital algebra generated by a pair of commuting $d\times d$ matrices over a field has dimension at most $d$. It is an open problem whether the analogous statement is true for triples of matrices which pairwise commute. We answer this question for special classes of triples of matrices arising from combinatorial data.
Gerstenhaber proved in 1961 that the unital algebra generated by a pair of commuting $d\times d$ matrices over a field has dimension at most $d$. It is an open problem whether the analogous statement is true for triples of matrices which pairwise commute. We answer this question for special classes of triples of matrices arising from combinatorial data.
△ Less
Submitted 26 February, 2024;
originally announced February 2024.
-
Motivic integration for singular Artin stacks
Authors:
Matthew Satriano,
Jeremy Usatine
Abstract:
Let $\mathcal{X} \to Y$ be a birational modification of a variety by an Artin stack. In previous work, under the assumption that $\mathcal{X}$ is smooth, we proved a change of variables formula relating motivic integrals over arcs of $Y$ to motivic integrals over arcs of $\mathcal{X}$. In this paper, we extend that result to the case where $\mathcal{X}$ is singular. We may therefore apply this gen…
▽ More
Let $\mathcal{X} \to Y$ be a birational modification of a variety by an Artin stack. In previous work, under the assumption that $\mathcal{X}$ is smooth, we proved a change of variables formula relating motivic integrals over arcs of $Y$ to motivic integrals over arcs of $\mathcal{X}$. In this paper, we extend that result to the case where $\mathcal{X}$ is singular. We may therefore apply this generalized formula to the so-called war** stack $\mathscr{W}(\mathcal{X})$ of $\mathcal{X}$, which may be singular even when $\mathcal{X}$ is smooth. We thus obtain a change of variables formula \emph{canonically} expressing any given motivic integral over arcs of $Y$ as a motivic integral over \emph{warped arcs} of $\mathcal{X}$.
△ Less
Submitted 20 September, 2023;
originally announced September 2023.
-
Beyond twisted maps: applications to motivic integration
Authors:
Matthew Satriano,
Jeremy Usatine
Abstract:
We introduce a natural generalization of twisted maps, called \emph{warped maps}. While twisted maps play an important role in the study of Deligne-Mumford stacks, warped maps are better suited for studying Artin stacks. Heuristically, warped maps see the hidden proper-like behavior satisfied by good moduli space maps. Specifically, we show that every arc of a good moduli space admits a \emph{cano…
▽ More
We introduce a natural generalization of twisted maps, called \emph{warped maps}. While twisted maps play an important role in the study of Deligne-Mumford stacks, warped maps are better suited for studying Artin stacks. Heuristically, warped maps see the hidden proper-like behavior satisfied by good moduli space maps. Specifically, we show that every arc of a good moduli space admits a \emph{canonical} lift, in a warped sense, thereby proving a valuative criterion for good moduli spaces. Furthermore, we prove that warped maps to an Artin stack $\mathcal{X}$ are given by usual maps to an auxiliary Artin stack $\mathscr{W}(\mathcal{X})$, immediately obtaining a versatile framework for bootstrap** results about usual maps to the setting of warped maps. As an application we obtain a motivic change of variables formula which, given a stacky resolution of singularities $\mathcal{X} \to Y$, canonically expresses any given motivic integral over arcs of $Y$ as a certain motivic integral over warped arcs of $\mathcal{X}$. In particular, this yields a McKay correspondence for linearly reductive groups.
△ Less
Submitted 5 January, 2024; v1 submitted 20 September, 2023;
originally announced September 2023.
-
Approximating rational points on horospherical varieties
Authors:
Sean Monahan,
Matthew Satriano
Abstract:
Let $X$ be a smooth projective split horospherical variety over a number field $k$ and $x\in X(k)$. Contingent on Vojta's conjecture, we construct a curve $C$ through $x$ such that (in a precise sense) rational points on $C$ approximate $x$ better than any Zariski dense sequence of rational points. This proves a weakening of a conjecture of McKinnon in the horospherical case. Our results make use…
▽ More
Let $X$ be a smooth projective split horospherical variety over a number field $k$ and $x\in X(k)$. Contingent on Vojta's conjecture, we construct a curve $C$ through $x$ such that (in a precise sense) rational points on $C$ approximate $x$ better than any Zariski dense sequence of rational points. This proves a weakening of a conjecture of McKinnon in the horospherical case. Our results make use of the minimal model program and apply as well to $\mathbb{Q}$-factorial horospherical varieties with terminal singularities.
△ Less
Submitted 22 August, 2023;
originally announced August 2023.
-
Invariant rational functions under rational transformations
Authors:
Jason Bell,
Rahim Moosa,
Matthew Satriano
Abstract:
Let $X$ be an algebraic variety equipped with a dominant rational self-map $φ:X\to X$. A new quantity measuring the interaction of $(X,φ)$ with trivial dynamical systems is introduced; the stabilised algebraic dimension of $(X,φ)$ captures the maximum number of new algebraically independent invariant rational functions on the cartesian product of $(X, φ)$ and $(Y, ψ)$, as $(Y,ψ)$ ranges over all a…
▽ More
Let $X$ be an algebraic variety equipped with a dominant rational self-map $φ:X\to X$. A new quantity measuring the interaction of $(X,φ)$ with trivial dynamical systems is introduced; the stabilised algebraic dimension of $(X,φ)$ captures the maximum number of new algebraically independent invariant rational functions on the cartesian product of $(X, φ)$ and $(Y, ψ)$, as $(Y,ψ)$ ranges over all algebraic dynamical systems. It is shown that this birational invariant agrees with the maximum dimension of a dominant equivariant rational image $(X',φ')$ where $φ'$ is part of an algebraic group action on $X'$. As a consequence, it is deduced that if some cartesian power of $(X,φ)$ admits a nonconstant invariant rational function, then already the second cartesian power does.
△ Less
Submitted 11 March, 2024; v1 submitted 19 June, 2023;
originally announced June 2023.
-
Orbit recovery for band-limited functions
Authors:
Dan Edidin,
Matthew Satriano
Abstract:
We study the third moment for functions on arbitrary compact Lie groups. We use techniques of representation theory to generalize the notion of band-limited functions in classical Fourier theory to functions on the compact groups $SU(n), SO(n), Sp(n)$. We then prove that for generic band-limited functions the third moment or, its Fourier equivalent, the bispectrum determines the function up to tra…
▽ More
We study the third moment for functions on arbitrary compact Lie groups. We use techniques of representation theory to generalize the notion of band-limited functions in classical Fourier theory to functions on the compact groups $SU(n), SO(n), Sp(n)$. We then prove that for generic band-limited functions the third moment or, its Fourier equivalent, the bispectrum determines the function up to translation by a single unitary matrix. Moreover, if $G=SU(n)$ or $G=SO(2n+1)$ we prove that the third moment determines the $G$-orbit of a band-limited function. As a corollary we obtain a large class of finite-dimensional representations of these groups for which the third moment determines the orbit of a generic vector. When $G=SO(3)$ this gives a result relevant to cryo-EM which was our original motivation for studying this problem.
△ Less
Submitted 31 May, 2023;
originally announced June 2023.
-
James reduced product schemes and double quasisymmetric functions
Authors:
Oliver Pechenik,
Matthew Satriano
Abstract:
Symmetric function theory is a key ingredient in the Schubert calculus of Grassmannians. Quasisymmetric functions are analogues that are similarly central to algebraic combinatorics, but for which the associated geometry is poorly developed. Baker and Richter (2008) showed that $\textrm{QSym}$ manifests topologically as the cohomology ring of the loop suspension of infinite projective space or equ…
▽ More
Symmetric function theory is a key ingredient in the Schubert calculus of Grassmannians. Quasisymmetric functions are analogues that are similarly central to algebraic combinatorics, but for which the associated geometry is poorly developed. Baker and Richter (2008) showed that $\textrm{QSym}$ manifests topologically as the cohomology ring of the loop suspension of infinite projective space or equivalently of its combinatorial homotopy model, the James reduced product $J\mathbb{C}\mathbb{P}^\infty$. In recent work, we used this viewpoint to develop topologically-motivated bases of $\textrm{QSym}$ and initiate a Schubert calculus for $J\mathbb{C}\mathbb{P}^\infty$ in both cohomology and $K$-theory.
Here, we study the torus-equivariant cohomology of $J\mathbb{C}\mathbb{P}^\infty$. We identify a cellular basis and introduce double monomial quasisymmetric functions as combinatorial representatives, analogous to the factorial Schur functions and double Schubert polynomials of classical Schubert calculus. We also provide a combinatorial Littlewood--Richardson rule for the structure coefficients of this basis.
Furthermore, we introduce an algebro-geometric analogue of the James reduced product construction. In particular, we prove that the James reduced product of a complex projective variety also carries the structure of a projective variety.
△ Less
Submitted 2 May, 2023; v1 submitted 22 April, 2023;
originally announced April 2023.
-
Crepant resolutions of log-terminal singularities via Artin stacks
Authors:
Matthew Satriano,
Jeremy Usatine
Abstract:
We prove that every variety with log-terminal singularities admits a crepant resolution by a smooth Artin stack. We additionally prove new McKay correspondences for resolutions by Artin stacks, expressing stringy invariants of $\mathbb{Q}$-Gorenstein varieties in terms of motivic integrals on arc spaces of smooth stacks. In the crepant case, these McKay correspondences are particularly simple, dem…
▽ More
We prove that every variety with log-terminal singularities admits a crepant resolution by a smooth Artin stack. We additionally prove new McKay correspondences for resolutions by Artin stacks, expressing stringy invariants of $\mathbb{Q}$-Gorenstein varieties in terms of motivic integrals on arc spaces of smooth stacks. In the crepant case, these McKay correspondences are particularly simple, demonstrating one example of the utility of crepant resolutions by Artin stacks.
△ Less
Submitted 22 April, 2023;
originally announced April 2023.
-
A differential analogue of the wild automorphism conjecture
Authors:
Jason Bell,
Colin Ingalls,
Rahim Moosa,
Matthew Satriano
Abstract:
A differential analogue of the conjecture of Reichstein, Rogalski, and Zhang in algebraic dynamics is here established: if $X$ is a projective variety over an algebraically closed field of characteristic zero which admits a global algebraic vector field $v:X\to TX$ such that $(X,v)$ has no proper invariant subvarieties then $X$ is an abelian variety. Vector fields on abelian varieties with this pr…
▽ More
A differential analogue of the conjecture of Reichstein, Rogalski, and Zhang in algebraic dynamics is here established: if $X$ is a projective variety over an algebraically closed field of characteristic zero which admits a global algebraic vector field $v:X\to TX$ such that $(X,v)$ has no proper invariant subvarieties then $X$ is an abelian variety. Vector fields on abelian varieties with this property are also examined.
△ Less
Submitted 3 November, 2022;
originally announced November 2022.
-
Galois closures and elementary components of Hilbert schemes of points
Authors:
Matthew Satriano,
Andrew P. Staal
Abstract:
Bhargava and the first-named author of this paper introduced a functorial Galois closure operation for finite-rank ring extensions, generalizing constructions of Grothendieck and Katz--Mazur. In this paper, we generalize Galois closures and apply them to construct a new infinite family of irreducible components of Hilbert schemes of points. We show that these components are elementary, in the sens…
▽ More
Bhargava and the first-named author of this paper introduced a functorial Galois closure operation for finite-rank ring extensions, generalizing constructions of Grothendieck and Katz--Mazur. In this paper, we generalize Galois closures and apply them to construct a new infinite family of irreducible components of Hilbert schemes of points. We show that these components are elementary, in the sense that they parametrize algebras supported at a point. Furthermore, we produce secondary families of elementary components obtained from Galois closures by modding out by suitable socle elements.
△ Less
Submitted 14 December, 2023; v1 submitted 25 October, 2022;
originally announced October 2022.
-
Height moduli on cyclotomic stacks and counting elliptic curves over function fields
Authors:
Dori Bejleri,
Jun-Yong Park,
Matthew Satriano
Abstract:
For proper stacks, unlike schemes, there is a distinction between rational and integral points. Moreover, rational points have extra automorphism groups. We show that these distinctions exactly account for the lower order main terms appearing in precise counts of elliptic curves over function fields, answering a question of Venkatesh in this case. More generally, using the theory of twisted stable…
▽ More
For proper stacks, unlike schemes, there is a distinction between rational and integral points. Moreover, rational points have extra automorphism groups. We show that these distinctions exactly account for the lower order main terms appearing in precise counts of elliptic curves over function fields, answering a question of Venkatesh in this case. More generally, using the theory of twisted stable maps and the stacky height functions recently introduced by Ellenberg, Zureick-Brown, and the third author, we construct finite type moduli spaces which parametrize rational points of fixed height on a large class of stacks, so-called cyclotomic stacks. The main tool is a correspondence between rational points, twisted maps and weighted linear series. Along the way, we obtain the Northcott property as well as a generalization of Tate's algorithm for cyclotomic stacks, and compute the exact motives of these moduli spaces for weighted projective stacks.
△ Less
Submitted 24 April, 2024; v1 submitted 10 October, 2022;
originally announced October 2022.
-
On stacky surfaces and noncommutative surfaces
Authors:
Eleonore Faber,
Colin Ingalls,
Shinnosuke Okawa,
Matthew Satriano
Abstract:
Let $\mathbf{k}$ be an algebraically closed field of characteristic $\geq 7$ or zero. Let $\mathcal{A}$ be a tame order of global dimension $2$ over a normal surface $X$ over $\mathbf{k}$ such that $\operatorname{Z}(\mathcal{A})=\mathcal{O}_{X}$ is locally a direct summand of $\mathcal{A}$. We prove that there is a $μ_N$-gerbe $\mathcal{X}$ over a smooth tame algebraic stack whose generic stabiliz…
▽ More
Let $\mathbf{k}$ be an algebraically closed field of characteristic $\geq 7$ or zero. Let $\mathcal{A}$ be a tame order of global dimension $2$ over a normal surface $X$ over $\mathbf{k}$ such that $\operatorname{Z}(\mathcal{A})=\mathcal{O}_{X}$ is locally a direct summand of $\mathcal{A}$. We prove that there is a $μ_N$-gerbe $\mathcal{X}$ over a smooth tame algebraic stack whose generic stabilizer is trivial, with coarse space $X$ such that the category of 1-twisted coherent sheaves on $\mathcal{X}$ is equivalent to the category of coherent sheaves of modules on $\mathcal{A}$. Moreover, the stack $\mathcal{X}$ is constructed explicitly through a sequence of root stacks, canonical stacks, and gerbes. This extends results of Reiten and Van den Bergh to finite characteristic and the global situation. As applications, in characteristic $0$ we prove that such orders are geometric noncommutative schemes in the sense of Orlov, and we study relations with Hochschild cohomology and Connes' convolution algebra.
△ Less
Submitted 8 February, 2024; v1 submitted 27 June, 2022;
originally announced June 2022.
-
Quasisymmetric Schubert calculus
Authors:
Oliver Pechenik,
Matthew Satriano
Abstract:
The ring of symmetric functions occupies a central place in algebraic combinatorics, with a particularly notable role in Schubert calculus, where the standard cell decompositions of Grassmannians yield the celebrated family of Schur functions and the cohomology ring is governed by Littlewood-Richardson rules. The past 50 years have seen an analogous development of quasisymmetric function theory, w…
▽ More
The ring of symmetric functions occupies a central place in algebraic combinatorics, with a particularly notable role in Schubert calculus, where the standard cell decompositions of Grassmannians yield the celebrated family of Schur functions and the cohomology ring is governed by Littlewood-Richardson rules. The past 50 years have seen an analogous development of quasisymmetric function theory, with applications to enumerative combinatorics, Hopf algebras, graph theory, representation theory, and other areas. Despite such successes, this theory has lacked a quasisymmetric analogue of Schubert calculus. In particular, there has been much interest, since work of Lam and Pylyavskyy (2007), in develo** "$K$-theoretic" analogues of quasisymmetric function theory, for which a major obstacle has been the lack of topological interpretations.
Here, building on work of Baker and Richter (2008), we apply the philosophy of Schubert calculus to the loop space $Ω(Σ(\mathbb{C}\mathbb{P}^\infty))$ through the homotopy model given by James reduced product $J(\mathbb{C}\mathbb{P}^\infty)$. We describe a canonical Schubert cell decomposition of $J(\mathbb{C}\mathbb{P}^\infty)$, yielding a canonical basis of its cohomology, which we explicitly identify with monomial quasisymmetric functions. Our constructions apply equally to James reduced products of generalized flag varieties $G/P$, and we show how Littlewood-Richardson rules for any $G/P$ lift to $H^*(J(G/P))$.
If $J(\mathbb{C}\mathbb{P}^\infty)$ carried the structure of a normal projective algebraic variety, the structure sheaves of the cell closures would yield a "cellular $K$-theory" Schubert basis. We show this is impossible. Nonetheless, we introduce and study a more subtle $K$-theory Schubert basis. We characterize this $K$-theory ring and develop quasisymmetric representatives with an explicit combinatorial description.
△ Less
Submitted 19 July, 2023; v1 submitted 24 May, 2022;
originally announced May 2022.
-
The disguised toric locus and affine equivalence of reaction networks
Authors:
Sabina J. Haque,
Matthew Satriano,
Miruna-Stefana Sorea,
Polly Y. Yu
Abstract:
Under the assumption of mass-action kinetics, a dynamical system may be induced by several different reaction networks and/or parameters. It is therefore possible for a mass-action system to exhibit complex-balancing dynamics without being weakly reversible or satisfying toric constraints on the rate constants; such systems are called disguised toric dynamical systems. We show that the parameters…
▽ More
Under the assumption of mass-action kinetics, a dynamical system may be induced by several different reaction networks and/or parameters. It is therefore possible for a mass-action system to exhibit complex-balancing dynamics without being weakly reversible or satisfying toric constraints on the rate constants; such systems are called disguised toric dynamical systems. We show that the parameters that give rise to such systems are preserved under invertible affine transformations of the network. We also consider the dynamics of arbitrary mass-action systems under affine transformations, and show that there is a bijection between their sets of positive steady states, although their qualitative dynamics can differ substantially.
△ Less
Submitted 27 June, 2023; v1 submitted 13 May, 2022;
originally announced May 2022.
-
Proof of a conjectured Möbius inversion formula for Grothendieck polynomials
Authors:
Oliver Pechenik,
Matthew Satriano
Abstract:
Schubert polynomials $\mathfrak{S}_w$ are polynomial representatives for cohomology classes of Schubert varieties in a complete flag variety, while Grothendieck polynomials $\mathfrak{G}_w$ are analogous representatives for the $K$-theory classes of the structure sheaves of Schubert varieties. In the special case that $\mathfrak{S}_w$ is a multiplicity-free sum of monomials, K. Mészáros, L. Setiab…
▽ More
Schubert polynomials $\mathfrak{S}_w$ are polynomial representatives for cohomology classes of Schubert varieties in a complete flag variety, while Grothendieck polynomials $\mathfrak{G}_w$ are analogous representatives for the $K$-theory classes of the structure sheaves of Schubert varieties. In the special case that $\mathfrak{S}_w$ is a multiplicity-free sum of monomials, K. Mészáros, L. Setiabrata, and A. St. Dizier conjectured that $\mathfrak{G}_w$ can be easily computed from $\mathfrak{S}_w$ via Möbius inversion on a certain poset. We prove this conjecture.
△ Less
Submitted 21 February, 2022; v1 submitted 6 February, 2022;
originally announced February 2022.
-
Small elementary components of Hilbert schemes of points
Authors:
Matthew Satriano,
Andrew P. Staal
Abstract:
We answer an open problem posed by Iarrobino in the '80s: is there an elementary component of the Hilbert scheme of points $\textrm{Hilb}^d(\mathbb{A}^n)$ with dimension less than $(n-1)(d-1)$? We construct an infinite class of such components in $\textrm{Hilb}^d(\mathbb{A}^4)$. Our techniques also allow us to construct an explicit example of a local Artinian ring with trivial negative tangents, v…
▽ More
We answer an open problem posed by Iarrobino in the '80s: is there an elementary component of the Hilbert scheme of points $\textrm{Hilb}^d(\mathbb{A}^n)$ with dimension less than $(n-1)(d-1)$? We construct an infinite class of such components in $\textrm{Hilb}^d(\mathbb{A}^4)$. Our techniques also allow us to construct an explicit example of a local Artinian ring with trivial negative tangents, vanishing nonnegative obstruction space, and socle-dimension $2$.
△ Less
Submitted 2 December, 2021;
originally announced December 2021.
-
A motivic change of variables formula for Artin stacks
Authors:
Matthew Satriano,
Jeremy Usatine
Abstract:
Let $\mathcal{X} \to Y$ be a birational map from a smooth Artin stack to a (possibly singular) variety. We prove a change of variables formula that relates motivic integrals over arcs of $Y$ to motivic integrals over arcs of $\mathcal{X}$. With a view toward the study of stringy Hodge numbers, this change of variables formula leads to a new notion of crepantness for the map $\mathcal{X} \to Y$ tha…
▽ More
Let $\mathcal{X} \to Y$ be a birational map from a smooth Artin stack to a (possibly singular) variety. We prove a change of variables formula that relates motivic integrals over arcs of $Y$ to motivic integrals over arcs of $\mathcal{X}$. With a view toward the study of stringy Hodge numbers, this change of variables formula leads to a new notion of crepantness for the map $\mathcal{X} \to Y$ that coincides with the usual notion in the special case that $\mathcal{X}$ is a scheme.
△ Less
Submitted 20 September, 2021;
originally announced September 2021.
-
On Dynamical Cancellation
Authors:
Jason P. Bell,
Yohsuke Matsuzawa,
Matthew Satriano
Abstract:
Let $X$ be a projective variety and let $f$ be a dominant endomorphism of $X$, both of which are defined over a number field $K$. We consider a question of the second author, Meng, Shibata, and Zhang, which asks whether the tower of $K$-points $Y(K)\subseteq (f^{-1}(Y))(K)\subseteq (f^{-2}(Y))(K)\subseteq \cdots$ eventually stabilizes, where $Y\subset X$ is a subvariety invariant under $f$. We sho…
▽ More
Let $X$ be a projective variety and let $f$ be a dominant endomorphism of $X$, both of which are defined over a number field $K$. We consider a question of the second author, Meng, Shibata, and Zhang, which asks whether the tower of $K$-points $Y(K)\subseteq (f^{-1}(Y))(K)\subseteq (f^{-2}(Y))(K)\subseteq \cdots$ eventually stabilizes, where $Y\subset X$ is a subvariety invariant under $f$. We show this question has an affirmative answer when the map $f$ is étale. We also look at a related problem of showing that there is some integer $s_0$, depending only on $X$ and $K$, such that whenever $x, y \in X(K)$ have the property that $f^{s}(x) = f^{s}(y)$ for some $s \geq 0$, we necessarily have $f^{s_{0}}(x) = f^{s_{0}}(y)$. We prove this holds for étale morphisms of projective varieties, as well as self-morphisms of smooth projective curves. We also prove a more general cancellation theorem for polynomial maps on $\mathbb{P}^1$ where we allow for composition by multiple different maps $f_1,\dots,f_r$.
△ Less
Submitted 22 June, 2021;
originally announced June 2021.
-
Heights on stacks and a generalized Batyrev-Manin-Malle conjecture
Authors:
Jordan S. Ellenberg,
Matthew Satriano,
David Zureick-Brown
Abstract:
We define a notion of height for rational points with respect to a vector bundle on a proper algebraic stack with finite diagonal over a global field, which generalizes the usual notion for rational points on projective varieties. We explain how to compute this height for various stacks of interest (for instance: classifying stacks of finite groups, symmetric products of varieties, moduli stacks o…
▽ More
We define a notion of height for rational points with respect to a vector bundle on a proper algebraic stack with finite diagonal over a global field, which generalizes the usual notion for rational points on projective varieties. We explain how to compute this height for various stacks of interest (for instance: classifying stacks of finite groups, symmetric products of varieties, moduli stacks of abelian varieties, weighted projective spaces). In many cases our uniform definition reproduces ways already in use for measuring the complexity of rational points, while in others it is something new. Finally, we formulate a conjecture about the number of rational points of bounded height (in our sense) on a stack X, which specializes to the Baytev-Manin conjecture when X is a scheme and to Malle's conjecture when X is the classifying stack of a finite group.
△ Less
Submitted 22 November, 2022; v1 submitted 21 June, 2021;
originally announced June 2021.
-
On curves with high multiplicity on $\mathbb{P}(a,b,c)$ for $\min(a,b,c)\leq4$
Authors:
David McKinnon,
Rindra Razafy,
Matthew Satriano,
Yuxuan Sun
Abstract:
On a weighted projective surface $\mathbb{P}(a,b,c)$ with $\min(a,b,c)\leq 4$, we compute lower bounds for the {\em effective threshold} of an ample divisor, in other words, the highest multiplicity a section of the divisor can have at a specified point. We expect that these bounds are close to being sharp. This translates into finding divisor classes on the blowup of $\mathbb{P}(a,b,c)$ that gene…
▽ More
On a weighted projective surface $\mathbb{P}(a,b,c)$ with $\min(a,b,c)\leq 4$, we compute lower bounds for the {\em effective threshold} of an ample divisor, in other words, the highest multiplicity a section of the divisor can have at a specified point. We expect that these bounds are close to being sharp. This translates into finding divisor classes on the blowup of $\mathbb{P}(a,b,c)$ that generate a cone contained in, and probably close to, the effective cone.
△ Less
Submitted 19 November, 2020;
originally announced November 2020.
-
Stringy invariants and toric Artin stacks
Authors:
Matthew Satriano,
Jeremy Usatine
Abstract:
We propose a conjectural framework for computing Gorenstein measures and stringy Hodge numbers in terms of motivic integration over arcs of smooth Artin stacks, and we verify this framework in the case of fantastacks, which are certain toric Artin stacks that provide (non-separated) resolutions of singularities for toric varieties. Specifically, let $\mathcal{X}$ be a smooth Artin stack admitting…
▽ More
We propose a conjectural framework for computing Gorenstein measures and stringy Hodge numbers in terms of motivic integration over arcs of smooth Artin stacks, and we verify this framework in the case of fantastacks, which are certain toric Artin stacks that provide (non-separated) resolutions of singularities for toric varieties. Specifically, let $\mathcal{X}$ be a smooth Artin stack admitting a good moduli space $π: \mathcal{X} \to X$, and assume that $X$ is a variety with log-terminal singularities, $π$ induces an isomorphism over a nonempty open subset of $X$, and the exceptional locus of $π$ has codimension at least 2. We conjecture a formula for the motivic measure for $\mathcal{X}$ in terms of the Gorenstein measure for $X$ and a function measuring the degree to which $π$ is non-separated. We also conjecture that if the stabilizers of $\mathcal{X}$ are special groups in the sense of Serre, then almost all arcs of $X$ lift to arcs of $\mathcal{X}$, and we explain how in this case, our conjectures imply a formula for the stringy Hodge numbers of $X$ in terms of a certain motivic integral over the arcs of $\mathcal{X}$. We prove these conjectures in the case where $\mathcal{X}$ is a fantastack.
△ Less
Submitted 20 September, 2021; v1 submitted 9 September, 2020;
originally announced September 2020.
-
Approximating rational points on toric varieties
Authors:
David McKinnon,
Matthew Satriano
Abstract:
Given a smooth projective variety $X$ over a number field $k$ and $P\in X(k)$, the first author conjectured that in a precise sense, any sequence that approximates $P$ sufficiently well must lie on a rational curve. We prove this conjecture for smooth split toric surfaces conditional on Vojta's conjecture. More generally, we show that if $X$ is a $\mathbb{Q}$-factorial terminal split toric variety…
▽ More
Given a smooth projective variety $X$ over a number field $k$ and $P\in X(k)$, the first author conjectured that in a precise sense, any sequence that approximates $P$ sufficiently well must lie on a rational curve. We prove this conjecture for smooth split toric surfaces conditional on Vojta's conjecture. More generally, we show that if $X$ is a $\mathbb{Q}$-factorial terminal split toric variety of arbitrary dimension, then $P$ is better approximated by points on a rational curve than by any Zariski dense sequence.
△ Less
Submitted 10 April, 2020;
originally announced April 2020.
-
Height Gap Conjectures, $D$-Finiteness, and Weak Dynamical Mordell-Lang
Authors:
Jason P. Bell,
Fei Hu,
Matthew Satriano
Abstract:
In previous work, the first author, Ghioca, and the third author introduced a broad dynamical framework giving rise to many classical sequences from number theory and algebraic combinatorics. Specifically, these are sequences of the form $f(Φ^n(x))$, where $Φ\colon X\to X$ and $f\colon X\to\mathbb{P}^1$ are rational maps defined over $\overline{\mathbb{Q}}$ and $x\in X(\overline{\mathbb{Q}})$ is a…
▽ More
In previous work, the first author, Ghioca, and the third author introduced a broad dynamical framework giving rise to many classical sequences from number theory and algebraic combinatorics. Specifically, these are sequences of the form $f(Φ^n(x))$, where $Φ\colon X\to X$ and $f\colon X\to\mathbb{P}^1$ are rational maps defined over $\overline{\mathbb{Q}}$ and $x\in X(\overline{\mathbb{Q}})$ is a point whose forward orbit avoids the indeterminacy loci of $Φ$ and $f$. They conjectured that if the sequence is infinite, then $\limsup \frac{h(f(Φ^n(x)))}{\log n} > 0$. They also made a corresponding conjecture for $\liminf$ and showed that it implies the Dynamical Mordell-Lang Conjecture. In this paper, we prove the $\limsup$ conjecture as well as the $\liminf$ conjecture away from a set of density $0$. As applications, we prove results concerning the growth rate of coefficients of $D$-finite power series as well as the Dynamical Mordell-Lang Conjecture up to a set of density $0$.
△ Less
Submitted 2 March, 2020;
originally announced March 2020.
-
What fraction of an $S_n$-orbit can lie on a hyperplane?
Authors:
Jiahui Huang,
David McKinnon,
Matthew Satriano
Abstract:
Consider the $S_n$-action on $\mathbb{R}^n$ given by permuting coordinates. This paper addresses the following problem: compute $\max_{v,H} |H\cap S_nv|$ as $H\subset\mathbb{R}^n$ ranges over all hyperplanes through the origin and $v\in\mathbb{R}^n$ ranges over all vectors with distinct coordinates that are not contained in the hyperplane $\sum x_i=0$. We conjecture that for $n\geq3$, the answer i…
▽ More
Consider the $S_n$-action on $\mathbb{R}^n$ given by permuting coordinates. This paper addresses the following problem: compute $\max_{v,H} |H\cap S_nv|$ as $H\subset\mathbb{R}^n$ ranges over all hyperplanes through the origin and $v\in\mathbb{R}^n$ ranges over all vectors with distinct coordinates that are not contained in the hyperplane $\sum x_i=0$. We conjecture that for $n\geq3$, the answer is $(n-1)!$ for odd $n$, and $n(n-2)!$ for even $n$. We prove that if $p$ is the largest prime with $p\leq n$, then $\max_{v,H} |H\cap S_nv|\leq \frac{n!}{p}$. In particular, this proves the conjecture when $n$ or $n-1$ is prime.
△ Less
Submitted 24 January, 2020;
originally announced January 2020.
-
Higher arithmetic degrees of dominant rational self-maps
Authors:
Nguyen-Bac Dang,
Dragos Ghioca,
Fei Hu,
John Lesieutre,
Matthew Satriano
Abstract:
Suppose that $f \colon X \dashrightarrow X$ is a dominant rational self-map of a smooth projective variety defined over ${\overline{\mathbf Q}}$. Kawaguchi and Silverman conjectured that if $P \in X({\overline{\mathbf Q}})$ is a point with well-defined forward orbit, then the growth rate of the height along the orbit exists, and coincides with the first dynamical degree $λ_1(f)$ of $f$ if the orbi…
▽ More
Suppose that $f \colon X \dashrightarrow X$ is a dominant rational self-map of a smooth projective variety defined over ${\overline{\mathbf Q}}$. Kawaguchi and Silverman conjectured that if $P \in X({\overline{\mathbf Q}})$ is a point with well-defined forward orbit, then the growth rate of the height along the orbit exists, and coincides with the first dynamical degree $λ_1(f)$ of $f$ if the orbit of $P$ is Zariski dense in $X$.
In this note, we extend the Kawaguchi-Silverman conjecture to the setting of orbits of higher-dimensional subvarieties of $X$. We begin by defining a set of arithmetic degrees of $f$, independent of the choice of cycle, and we then develop the theory of arithmetic degrees in parallel to existing results for dynamical degrees. We formulate several conjectures governing these higher arithmetic degrees, relating them to dynamical degrees.
△ Less
Submitted 26 June, 2019;
originally announced June 2019.
-
Dynamical Uniform Bounds for Fibers and a Gap Conjecture
Authors:
Jason Bell,
Dragos Ghioca,
Matthew Satriano
Abstract:
We prove a uniform version of the Dynamical Mordell-Lang Conjecture for étale maps; also, we obtain a gap result for the growth rate of heights of points in an orbit along an arbitrary endomorphism of a quasiprojective variety defined over a number field. More precisely, for our first result, we assume $X$ is a quasi-projective variety defined over a field $K$ of characteristic $0$, endowed with t…
▽ More
We prove a uniform version of the Dynamical Mordell-Lang Conjecture for étale maps; also, we obtain a gap result for the growth rate of heights of points in an orbit along an arbitrary endomorphism of a quasiprojective variety defined over a number field. More precisely, for our first result, we assume $X$ is a quasi-projective variety defined over a field $K$ of characteristic $0$, endowed with the action of an étale endomorphism $Φ$, and $f\colon X\to Y$ is a morphism with $Y$ a quasi-projective variety defined over $K$. Then for any $x\in X(K)$, if for each $y\in Y(K)$, the set $S_y:=\{n\in \mathbb{N}\colon f(Φ^n(x))=y\}$ is finite, then there exists a positive integer $N$ such that $\#S_y\le N$ for each $y\in Y(K)$. For our second result, we let $K$ be a number field, $f:X\dashrightarrow \mathbb{P}^1$ is a rational map, and $Φ$ is an arbitrary endomorphism of $X$. If $\mathcal{O}_Φ(x)$ denotes the forward orbit of $x$ under the action of $Φ$, then either $f(\mathcal{O}_Φ(x))$ is finite, or $\limsup_{n\to\infty} h(f(Φ^n(x)))/\log(n)>0$, where $h(\cdot)$ represents the usual logarithmic Weil height for algebraic points.
△ Less
Submitted 20 June, 2019;
originally announced June 2019.
-
On a smoothness characterization for good moduli spaces
Authors:
Dan Edidin,
Matthew Satriano,
Spencer Whitehead
Abstract:
Let $\mathcal{X}$ be a smooth Artin stack with properly stable good moduli space $π\colon\mathcal{X} \to X$. The purpose of this paper is to prove that a simple geometric criterion can often characterize when the moduli space $X$ is smooth and the morphism $π$ is flat.
Let $\mathcal{X}$ be a smooth Artin stack with properly stable good moduli space $π\colon\mathcal{X} \to X$. The purpose of this paper is to prove that a simple geometric criterion can often characterize when the moduli space $X$ is smooth and the morphism $π$ is flat.
△ Less
Submitted 14 February, 2024; v1 submitted 12 May, 2019;
originally announced May 2019.
-
A rational map with infinitely many points of distinct arithmetic degrees
Authors:
John Lesieutre,
Matthew Satriano
Abstract:
Let $f \colon X \dashrightarrow X$ be a dominant rational self-map of a smooth projective variety defined over $\overline{\mathbb Q}$. For each point $P\in X(\overline{\mathbb Q})$ whose forward $f$-orbit is well-defined, Silverman introduced the arithmetic degree $α_f(P)$, which measures the growth rate of the heights of the points $f^n(P)$. Kawaguchi and Silverman conjectured that $α_f(P)$ is we…
▽ More
Let $f \colon X \dashrightarrow X$ be a dominant rational self-map of a smooth projective variety defined over $\overline{\mathbb Q}$. For each point $P\in X(\overline{\mathbb Q})$ whose forward $f$-orbit is well-defined, Silverman introduced the arithmetic degree $α_f(P)$, which measures the growth rate of the heights of the points $f^n(P)$. Kawaguchi and Silverman conjectured that $α_f(P)$ is well-defined and that, as $P$ varies, the set of values obtained by $α_f(P)$ is finite. Based on constructions of Bedford--Kim and McMullen, we give a counterexample to this conjecture when $X=\mathbb P^4$.
△ Less
Submitted 31 August, 2018;
originally announced September 2018.
-
Galois closures of non-commutative rings and an application to Hermitian representations
Authors:
Wei Ho,
Matthew Satriano
Abstract:
Galois closures of commutative rank n ring extensions were introduced by Bhargava and the second author. In this paper, we generalize the construction to the case of non-commutative rings. We show that non-commutative Galois closures commute with base change and satisfy a product formula. As an application, we give a uniform construction of many of the representations arising in arithmetic invaria…
▽ More
Galois closures of commutative rank n ring extensions were introduced by Bhargava and the second author. In this paper, we generalize the construction to the case of non-commutative rings. We show that non-commutative Galois closures commute with base change and satisfy a product formula. As an application, we give a uniform construction of many of the representations arising in arithmetic invariant theory, including many Vinberg representations.
△ Less
Submitted 21 June, 2018;
originally announced June 2018.
-
Lifting tropical self intersections
Authors:
Yoav Len,
Matthew Satriano
Abstract:
We study the tropicalization of intersections of plane curves, under the assumption that they have the same tropicalization. We show that the set of tropical divisors that arise in this manner is a pure dimensional balanced polyhedral complex and compute its dimension. When the genus is at most 1, we show that all the tropical divisors that move in the expected dimension are realizable. As part of…
▽ More
We study the tropicalization of intersections of plane curves, under the assumption that they have the same tropicalization. We show that the set of tropical divisors that arise in this manner is a pure dimensional balanced polyhedral complex and compute its dimension. When the genus is at most 1, we show that all the tropical divisors that move in the expected dimension are realizable. As part of the proof, we introduce a combinatorial tool for explicitly constructing large families of realizable tropical divisors.
△ Less
Submitted 1 May, 2019; v1 submitted 4 June, 2018;
originally announced June 2018.
-
Canonical heights on hyper-Kähler varieties and the Kawaguchi-Silverman conjecture
Authors:
John Lesieutre,
Matthew Satriano
Abstract:
The Kawaguchi--Silverman conjecture predicts that if $f\colon X \dashrightarrow X$ is a dominant rational-self map of a projective variety over $\overline{\mathbb{Q}}$, and $P$ is a $\overline{\mathbb{Q}}$-point of $X$ with Zariski-dense orbit, then the dynamical and arithmetic degrees of $f$ coincide: $λ_1(f) = α_f(P)$. We prove this conjecture in several higher-dimensional settings, including al…
▽ More
The Kawaguchi--Silverman conjecture predicts that if $f\colon X \dashrightarrow X$ is a dominant rational-self map of a projective variety over $\overline{\mathbb{Q}}$, and $P$ is a $\overline{\mathbb{Q}}$-point of $X$ with Zariski-dense orbit, then the dynamical and arithmetic degrees of $f$ coincide: $λ_1(f) = α_f(P)$. We prove this conjecture in several higher-dimensional settings, including all endomorphisms of non-uniruled smooth projective threefolds with degree larger than $1$, and all endomorphisms of hyper-Kähler varieties in any dimension. In the latter case, we construct a canonical height function associated to any automorphism $f\colon X \to X$ of a hyper-Kähler variety defined over $\overline{\mathbb{Q}}$.
△ Less
Submitted 20 February, 2018;
originally announced February 2018.
-
New classes of examples satisfying the three matrix analog of Gerstenhaber's theorem
Authors:
Jenna Rajchgot,
Matthew Satriano
Abstract:
In 1961, Gerstenhaber proved the following theorem: if k is a field and X and Y are commuting dxd matrices with entries in k, then the unital k-algebra generated by these matrices has dimension at most d. The analog of this statement for four or more commuting matrices is false. The three matrix version remains open. We use commutative-algebraic techniques to prove that the three matrix analog of…
▽ More
In 1961, Gerstenhaber proved the following theorem: if k is a field and X and Y are commuting dxd matrices with entries in k, then the unital k-algebra generated by these matrices has dimension at most d. The analog of this statement for four or more commuting matrices is false. The three matrix version remains open. We use commutative-algebraic techniques to prove that the three matrix analog of Gerstenhaber's theorem is true for some new classes of examples.
In particular, we translate this three commuting matrix statement into an equivalent statement about certain maps between modules, and prove that this commutative-algebraic reformulation is true in special cases. We end with ideas for an inductive approach intended to handle the three matrix analog of Gerstenhaber's theorem more generally.
△ Less
Submitted 27 November, 2017;
originally announced November 2017.
-
Density of orbits of dominant regular self-maps of semiabelian varieties
Authors:
Dragos Ghioca,
Matthew Satriano
Abstract:
We prove a conjecture of Medvedev and Scanlon in the case of regular morphisms of semiabelian varieties. That is, if $G$ is a semiabelian variety defined over an algebraically closed field $K$ of characteristic $0$, and $\varphi\colon G\to G$ is a dominant regular self-map of $G$ which is not necessarily a group homomorphism, we prove that one of the following holds: either there exists a non-cons…
▽ More
We prove a conjecture of Medvedev and Scanlon in the case of regular morphisms of semiabelian varieties. That is, if $G$ is a semiabelian variety defined over an algebraically closed field $K$ of characteristic $0$, and $\varphi\colon G\to G$ is a dominant regular self-map of $G$ which is not necessarily a group homomorphism, we prove that one of the following holds: either there exists a non-constant rational fibration preserved by $\varphi$, or there exists a point $x\in G(K)$ whose $\varphi$-orbit is Zariski dense in $G$.
△ Less
Submitted 21 August, 2017;
originally announced August 2017.
-
Towards an Intersection Chow Cohomology Theory for GIT Quotients
Authors:
Dan Edidin,
Matthew Satriano
Abstract:
We study the Fulton-Macpherson operational Chow rings of good moduli spaces of properly stable, smooth, Artin stacks. Such spaces are étale locally isomorphic to geometric invariant theory quotients of affine schemes, and are therefore natural extensions of GIT quotients. Our main result is that, with rational coefficients, every operational class can be represented by a so-called topologically st…
▽ More
We study the Fulton-Macpherson operational Chow rings of good moduli spaces of properly stable, smooth, Artin stacks. Such spaces are étale locally isomorphic to geometric invariant theory quotients of affine schemes, and are therefore natural extensions of GIT quotients. Our main result is that, with rational coefficients, every operational class can be represented by a so-called topologically strong cycle on the corresponding stack. Moreover, this cycle is unique modulo rational equivalence on the stack. Using out methods, we prove that if $X$ is the good moduli space of a properly stable, smooth, Artin stack then the natural map from the Picard group of $X$ to the first operational Chow group of $X$ is surjective with rational coefficients.
△ Less
Submitted 12 May, 2019; v1 submitted 18 July, 2017;
originally announced July 2017.
-
Algebras, Synchronous Games and Chromatic Numbers of Graphs
Authors:
William Helton,
Kyle P. Meyer,
Vern I. Paulsen,
Matthew Satriano
Abstract:
We associate to each synchronous game an algebra whose representations determine if the game has a perfect deterministic strategy, perfect quantum strategy or one of several other perfect strategies. when applied to the graph coloring game, this leads to characterizations in terms of properties of an algebra of various quantum chromatic numbers that have been studied in the literature. This allows…
▽ More
We associate to each synchronous game an algebra whose representations determine if the game has a perfect deterministic strategy, perfect quantum strategy or one of several other perfect strategies. when applied to the graph coloring game, this leads to characterizations in terms of properties of an algebra of various quantum chromatic numbers that have been studied in the literature. This allows us to develop a correspondence between various chromatic numbers of a graph and ideals in this algebra which can then be approached via various Grobner basis methods.
△ Less
Submitted 2 March, 2017;
originally announced March 2017.
-
On a Dynamical Mordell-Lang Conjecture for Coherent Sheaves
Authors:
Jason P. Bell,
Matthew Satriano,
Susan J. Sierra
Abstract:
We introduce a dynamical Mordell-Lang-type conjecture for coherent sheaves. When the sheaves are structure sheaves of closed subschemes, our conjecture becomes a statement about unlikely intersections. We prove an analogue of this conjecture for affinoid spaces, which we then use to prove our conjecture in the case of surfaces. These results rely on a module-theoretic variant of Strassman's theore…
▽ More
We introduce a dynamical Mordell-Lang-type conjecture for coherent sheaves. When the sheaves are structure sheaves of closed subschemes, our conjecture becomes a statement about unlikely intersections. We prove an analogue of this conjecture for affinoid spaces, which we then use to prove our conjecture in the case of surfaces. These results rely on a module-theoretic variant of Strassman's theorem that we prove in the appendix.
△ Less
Submitted 5 May, 2017; v1 submitted 17 November, 2016;
originally announced November 2016.
-
On the Medvedev-Scanlon Conjecture for Minimal Threefolds of Non-Negative Kodaira Dimension
Authors:
Jason P. Bell,
Dragos Ghioca,
Zinovy Reichstein,
Matthew Satriano
Abstract:
Motivated by work of Zhang from the early `90s, Medvedev and Scanlon formulated the following conjecture. Let $K$ be an algebraically closed field of characteristic $0$ and let $X$ be a quasiprojective variety defined over $K$ endowed with a dominant rational self-map $Φ$. Then there exists a point $α\in X(K)$ with Zariski dense orbit under $Φ$ if and only if $Φ$ preserves no nontrivial rational f…
▽ More
Motivated by work of Zhang from the early `90s, Medvedev and Scanlon formulated the following conjecture. Let $K$ be an algebraically closed field of characteristic $0$ and let $X$ be a quasiprojective variety defined over $K$ endowed with a dominant rational self-map $Φ$. Then there exists a point $α\in X(K)$ with Zariski dense orbit under $Φ$ if and only if $Φ$ preserves no nontrivial rational fibration, i.e., there exists no non-constant rational function $f\in K(X)$ such that $Φ^*(f)=f$. The Medvedev-Scanlon conjecture holds when $K$ is uncountable. The case where $K$ is countable (e.g., $K=\overline{\mathbb{Q}}$) is much more difficult; here the conjecture has only been proved in a small number of special cases. In this paper we show that the Medvedev-Scanlon conjecture holds for all varieties of positive Kodaira dimension, and explore the case of Kodaira dimension $0$. Our results are most complete in dimension $3$.
△ Less
Submitted 21 October, 2016; v1 submitted 12 October, 2016;
originally announced October 2016.
-
Strong cycles and intersection products on good moduli spaces
Authors:
Dan Edidin,
Matthew Satriano
Abstract:
We introduce conjectures relating the Chow ring of a smooth Artin stack $\mathcal{X}$ to the Chow groups of its possibly singular good moduli space $X$. In particular, we conjecture the existence of an intersection product on a subgroup of the full Chow group $A^*(X)$ coming from strong cycles on $\mathcal{X}$.
We introduce conjectures relating the Chow ring of a smooth Artin stack $\mathcal{X}$ to the Chow groups of its possibly singular good moduli space $X$. In particular, we conjecture the existence of an intersection product on a subgroup of the full Chow group $A^*(X)$ coming from strong cycles on $\mathcal{X}$.
△ Less
Submitted 26 September, 2016;
originally announced September 2016.
-
A "bottom up" characterization of smooth Deligne-Mumford stacks
Authors:
Anton Geraschenko,
Matthew Satriano
Abstract:
In casual discussion, a stack is often described as a variety (the coarse space) together with stabilizer groups attached to some of its subvarieties. However, this description does not uniquely specify the stack. Our main result shows that for a large class of stacks one typically encounters, this description does indeed characterize them. Moreover, we prove that each such stack can be described…
▽ More
In casual discussion, a stack is often described as a variety (the coarse space) together with stabilizer groups attached to some of its subvarieties. However, this description does not uniquely specify the stack. Our main result shows that for a large class of stacks one typically encounters, this description does indeed characterize them. Moreover, we prove that each such stack can be described in terms of two simple procedures applied iteratively to its coarse space: canonical stack constructions and root stack constructions.
More precisely, if $\mathcal X$ is a smooth separated tame Deligne-Mumford stack of finite type over a field $k$ with trivial generic stabilizer, it is completely determined by its coarse space $X$ and the ramification divisor (on $X$) of the coarse space morphism $π\colon \mathcal X \to X$. Therefore, to specify such a stack, it is enough to specify a variety and the orders of the stabilizers of codimension 1 points. The group structures, as well as the stabilizer groups of higher codimension points, are then determined.
△ Less
Submitted 18 March, 2015;
originally announced March 2015.
-
A non-commutative analogue of the Odlyzko bounds and bounds on performance for space-time lattice codes
Authors:
Benjamin Linowitz,
Matthew Satriano,
Roope Vehkalahti
Abstract:
This paper considers space-time coding over several independently Rayleigh faded blocks. In particular we will concentrate on giving upper bounds for the coding gain of lattice space-time codes as the number of blocks grow. This problem was previously considered in the single antenna case by Bayer et al. in 2006. Crucial to their work was Odlyzko's bound on the discriminant of an algebraic number…
▽ More
This paper considers space-time coding over several independently Rayleigh faded blocks. In particular we will concentrate on giving upper bounds for the coding gain of lattice space-time codes as the number of blocks grow. This problem was previously considered in the single antenna case by Bayer et al. in 2006. Crucial to their work was Odlyzko's bound on the discriminant of an algebraic number field, as this provides an upper bound for the normalized coding gain of number field codes. In the MIMO context natural codes are constructed from division algebras defined over number fields and the coding gain is measured by the discriminant of the corresponding (non-commutative) algebra. In this paper we will develop analogues of the Odlyzko bounds in this context and show how these bounds limit the normalized coding gain of a very general family of division algebra based space-time codes. These bounds can also be used as benchmarks in practical code design and as tools to analyze asymptotic bounds of performance as the number of independently faded blocks increases.
△ Less
Submitted 20 August, 2014;
originally announced August 2014.
-
There is no degree map for 0-cycles on Artin stacks
Authors:
Dan Edidin,
Anton Geraschenko,
Matthew Satriano
Abstract:
We show that there is no way to define degrees of 0-cycles on Artin stacks with proper good moduli spaces so that (i) the degree of an ordinary point is non-zero, and (ii) degrees are compatible with closed immersions.
We show that there is no way to define degrees of 0-cycles on Artin stacks with proper good moduli spaces so that (i) the degree of an ordinary point is non-zero, and (ii) degrees are compatible with closed immersions.
△ Less
Submitted 15 August, 2012;
originally announced August 2012.
-
On the Birational Nature of Lifting
Authors:
Christian Liedtke,
Matthew Satriano
Abstract:
Let $X$ and $Y$ be proper birational varieties, say with only rational double points over a perfect field $k$ of positive characteristic. If $X$ lifts to $W_n(k)$, is it true that $Y$ has the same lifting property? This is true for smooth surfaces, but we show by example that this is false for smooth varieties in higher dimension, and for surfaces with canonical singularities. We also answer a sta…
▽ More
Let $X$ and $Y$ be proper birational varieties, say with only rational double points over a perfect field $k$ of positive characteristic. If $X$ lifts to $W_n(k)$, is it true that $Y$ has the same lifting property? This is true for smooth surfaces, but we show by example that this is false for smooth varieties in higher dimension, and for surfaces with canonical singularities. We also answer a stacky analogue of this question: given a canonical surface $X$ with minimal resolution $Y$ and stacky resolution $\mathcal{X}$, we characterize when liftability of $Y$ is equivalent to that of $\mathcal{X}$.
The main input for our results is a study of how the deformation functor of a canonical surface singularity compares with the deformation functor of its minimal resolution. This extends work of Burns and Wahl to positive characteristic. As a byproduct, we show that Tjurina's vanishing result fails for every canonical surface singularity in every positive characteristic.
△ Less
Submitted 21 November, 2013; v1 submitted 14 February, 2012;
originally announced February 2012.
-
Torus Quotients as Global Quotients by Finite Groups
Authors:
Anton Geraschenko,
Matthew Satriano
Abstract:
This article is motivated by the following local-to-global question: is every variety with tame quotient singularities globally the quotient of a smooth variety by a finite group? We show that this question has a positive answer for all quasi-projective varieties which are expressible as a quotient of a smooth variety by a split torus (e.g. simplicial toric varieties). Although simplicial toric va…
▽ More
This article is motivated by the following local-to-global question: is every variety with tame quotient singularities globally the quotient of a smooth variety by a finite group? We show that this question has a positive answer for all quasi-projective varieties which are expressible as a quotient of a smooth variety by a split torus (e.g. simplicial toric varieties). Although simplicial toric varieties are rarely toric quotients of smooth varieties by finite groups, we give an explicit procedure for constructing the quotient structure using toric techniques.
This result follow from a characterization of varieties which are expressible as the quotient of a smooth variety by a split torus. As an additional application of this characterization, we show that a variety with abelian quotient singularities may fail to be a quotient of a smooth variety by a finite abelian group. Concretely, we show that $\mathbb{P}^2/A_5$ is not expressible as a quotient of a smooth variety by a finite abelian group.
△ Less
Submitted 13 November, 2015; v1 submitted 23 January, 2012;
originally announced January 2012.
-
Chow Quotients of Toric Varieties as Moduli of Stable Log Maps
Authors:
Qile Chen,
Matthew Satriano
Abstract:
Let $X$ be a projective normal toric variety and $T_0$ a rank one subtorus of the defining torus of $X$. We show that the normalization of the Chow quotient $X//T_0$, in the sense of Kapranov-Sturmfels-Zelevinsky, coarsely represents the moduli space of stable log maps to $X$ with discrete data given by $T_0\subset X$.
Let $X$ be a projective normal toric variety and $T_0$ a rank one subtorus of the defining torus of $X$. We show that the normalization of the Chow quotient $X//T_0$, in the sense of Kapranov-Sturmfels-Zelevinsky, coarsely represents the moduli space of stable log maps to $X$ with discrete data given by $T_0\subset X$.
△ Less
Submitted 16 January, 2012;
originally announced January 2012.
-
Toric Stacks II: Intrinsic Characterization of Toric Stacks
Authors:
Anton Geraschenko,
Matthew Satriano
Abstract:
The purpose of this paper and its prequel (Toric Stacks I) is to introduce and develop a theory of toric stacks which encompasses and extends the notions of toric stacks defined in [Laf02, BCS05, FMN10, Iwa09, Sat12, Tyo12], as well as classical toric varieties.
While the focus of the prequel is on how to work with toric stacks, the focus of this paper is how to show a stack is toric. For toric…
▽ More
The purpose of this paper and its prequel (Toric Stacks I) is to introduce and develop a theory of toric stacks which encompasses and extends the notions of toric stacks defined in [Laf02, BCS05, FMN10, Iwa09, Sat12, Tyo12], as well as classical toric varieties.
While the focus of the prequel is on how to work with toric stacks, the focus of this paper is how to show a stack is toric. For toric varieties, a classical result says that any normal variety with an action of a dense open torus arises from a fan. In [FMN09, Theorem 7.24], it is shown that a smooth separated DM stack with an action of a dense open stacky torus arises from a stacky fan. In the same spirit, the main result of this paper is that any Artin stack with an action of a dense open torus arises from a stacky fan under reasonable hypotheses.
△ Less
Submitted 5 August, 2014; v1 submitted 10 July, 2011;
originally announced July 2011.
-
Toric Stacks I: The Theory of Stacky Fans
Authors:
Anton Geraschenko,
Matthew Satriano
Abstract:
The purpose of this paper and its sequel (Toric Stacks II) is to introduce and develop a theory of toric stacks which encompasses and extends the notions of toric stacks defined in [Laf02, BCS05, FMN10, Iwa09, Sat12, Tyo12], as well as classical toric varieties.
In this paper, we define a \emph{toric stack} as a quotient of a toric variety by a subgroup of its torus (we also define a generically…
▽ More
The purpose of this paper and its sequel (Toric Stacks II) is to introduce and develop a theory of toric stacks which encompasses and extends the notions of toric stacks defined in [Laf02, BCS05, FMN10, Iwa09, Sat12, Tyo12], as well as classical toric varieties.
In this paper, we define a \emph{toric stack} as a quotient of a toric variety by a subgroup of its torus (we also define a generically stacky version). Any toric stack arises from a combinatorial gadget called a \emph{stacky fan}. We develop a dictionary between the combinatorics of stacky fans and the geometry of toric stacks, stressing stacky phenomena such as canonical stacks and good moduli space morphisms.
We also show that smooth toric stacks carry a moduli interpretation extending the usual moduli interpretations of $\mathbb{P}^n$ and $[\mathbb{A}^1/\mathbb{G}_m]$. Indeed, smooth toric stacks precisely solve moduli problems specified by (generalized) effective Cartier divisors with given linear relations and given intersection relations. Smooth toric stacks therefore form a natural closure to the class of moduli problems introduced for smooth toric varieties and smooth toric DM stacks in [Cox95] and [Per08], respectively.
We include a plethora of examples to illustrate the general theory. We hope that this theory of toric stacks can serve as a companion to an introduction to stacks, in much the same way that toric varieties can serve as a companion to an introduction to schemes.
△ Less
Submitted 5 August, 2014; v1 submitted 10 July, 2011;
originally announced July 2011.
-
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.