BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Source author record

Matthew Satriano

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record
math.AGmath.NTmath.DSInformation Theorymath.ACmath.COmath.ITmath.RA

Catalog footprint

Research overview

18works
8topics
4close collaborators

Actions

Is this your work?

Log in to claim
Open graphBrowse papers

Published work

18 publications

preprint2020arXiv

Approximating rational points on toric varieties

Given a smooth projective variety XX over a number field kk and P∈X(k)P\in X(k), the first author conjectured that in a precise sense, any sequence that approximates PP 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 XX is a Q\mathbb{Q}-factorial terminal split toric variety of arbitrary dimension, then PP is better approximated by points on a rational curve than by any Zariski dense sequence.

Open access
preprint2020arXiv

Height Gap Conjectures, DD-Finiteness, and Weak Dynamical Mordell-Lang

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))f(Φ^n(x)), where Φ ⁣:X→XΦ\colon X\to X and f ⁣:X→P1f\colon X\to\mathbb{P}^1 are rational maps defined over Q‾\overline{\mathbb{Q}} and x∈X(Q‾)x\in X(\overline{\mathbb{Q}}) is a point whose forward orbit avoids the indeterminacy loci of ΦΦ and ff. They conjectured that if the sequence is infinite, then lim sup⁡h(f(Φn(x)))log⁡n>0\limsup \frac{h(f(Φ^n(x)))}{\log n} > 0. They also made a corresponding conjecture for lim inf⁡\liminf and showed that it implies the Dynamical Mordell-Lang Conjecture. In this paper, we prove the lim sup⁡\limsup conjecture as well as the lim inf⁡\liminf conjecture away from a set of density 00. As applications, we prove results concerning the growth rate of coefficients of DD-finite power series as well as the Dynamical Mordell-Lang Conjecture up to a set of density 00.

Open access
preprint2020arXiv

What fraction of an SnS_n-orbit can lie on a hyperplane?

Consider the SnS_n-action on Rn\mathbb{R}^n given by permuting coordinates. This paper addresses the following problem: compute max⁡v,H∣H∩Snv∣\max_{v,H} |H\cap S_nv| as H⊂RnH\subset\mathbb{R}^n ranges over all hyperplanes through the origin and v∈Rnv\in\mathbb{R}^n ranges over all vectors with distinct coordinates that are not contained in the hyperplane ∑xi=0\sum x_i=0. We conjecture that for n≥3n\geq3, the answer is (n−1)!(n-1)! for odd nn, and n(n−2)!n(n-2)! for even nn. We prove that if pp is the largest prime with p≤np\leq n, then max⁡v,H∣H∩Snv∣≤n!p\max_{v,H} |H\cap S_nv|\leq \frac{n!}{p}. In particular, this proves the conjecture when nn or n−1n-1 is prime.

Open access
preprint2016arXiv

On the Medvedev-Scanlon Conjecture for Minimal Threefolds of Non-Negative Kodaira Dimension

Motivated by work of Zhang from the early `90s, Medvedev and Scanlon formulated the following conjecture. Let KK be an algebraically closed field of characteristic 00 and let XX be a quasiprojective variety defined over KK endowed with a dominant rational self-map ΦΦ. Then there exists a point α∈X(K)α\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∈K(X)f\in K(X) such that Φ∗(f)=fΦ^*(f)=f. The Medvedev-Scanlon conjecture holds when KK is uncountable. The case where KK is countable (e.g., K=Q‾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 00. Our results are most complete in dimension 33.

Open access
preprint2015arXiv

A "bottom up" characterization of smooth Deligne-Mumford stacks

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 X\mathcal X is a smooth separated tame Deligne-Mumford stack of finite type over a field kk with trivial generic stabilizer, it is completely determined by its coarse space XX and the ramification divisor (on XX) of the coarse space morphism π ⁣:X→Xπ\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.

Open access
preprint2015arXiv

Torus Quotients as Global Quotients by Finite Groups

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 P2/A5\mathbb{P}^2/A_5 is not expressible as a quotient of a smooth variety by a finite abelian group.

Open access
preprint2014arXiv

A non-commutative analogue of the Odlyzko bounds and bounds on performance for space-time lattice codes

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.

Open access
preprint2014arXiv

Toric Stacks I: The Theory of Stacky Fans

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 Pn\mathbb{P}^n and [A1/Gm][\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.

Open access
preprint2014arXiv

Toric Stacks II: Intrinsic Characterization of Toric Stacks

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.

Open access
preprint2013arXiv

Canonical Artin Stacks over Log Smooth Schemes

We develop a theory of toric Artin stacks extending the theories of toric Deligne-Mumford stacks developed by Borisov-Chen-Smith, Fantechi-Mann-Nironi, and Iwanari. We also generalize the Chevalley-Shephard-Todd theorem to the case of diagonalizable group schemes. These are both applications of our main theorem which shows that a toroidal embedding X is canonically the good moduli space (in the sense of Alper) of a smooth log smooth Artin stack whose stacky structure is supported on the singular locus of X.

Open access
preprint2013arXiv

On the Birational Nature of Lifting

Let XX and YY be proper birational varieties, say with only rational double points over a perfect field kk of positive characteristic. If XX lifts to Wn(k)W_n(k), is it true that YY 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 XX with minimal resolution YY and stacky resolution X\mathcal{X}, we characterize when liftability of YY is equivalent to that of X\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.

Open access
preprint2012arXiv

On a notion of "Galois closure" for extensions of rings

We introduce a notion of "Galois closure" for extensions of rings. We show that the notion agrees with the usual notion of Galois closure in the case of an S_n degree n extension of fields. Moreover, we prove a number of properties of this construction; for example, we show that it is functorial and respects base change. We also investigate the behavior of this Galois closure construction for various natural classes of ring extensions.

Open access
preprint2012arXiv

The Chevalley-Shephard-Todd Theorem for Finite Linearly Reductive Group Schemes

We generalize the classical Chevalley-Shephard-Todd theorem to the case of finite linearly reductive group schemes. As an application, we prove that every scheme X which is etale locally the quotient of a smooth scheme by a finite linearly reductive group scheme is the coarse space of a smooth tame Artin stack (as defined by Abramovich, Olsson, and Vistoli) whose stacky structure is supported on the singular locus of X.

Open access

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.