arXiv subjects
Publications and source records attributed to Matthew Satriano.
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}$.
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.
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.
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.
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.
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.
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.
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.
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 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.
We prove that the Hodge-de Rham spectral sequence for smooth proper tame Artin stacks in characteristic p (as defined by Abramovich, Olsson, and Vistoli) which lift mod p^2 degenerates. We push the result to the coarse spaces of such stacks, thereby obtaining a degeneracy result for schemes which are etale locally the quotient of a smooth scheme by a finite linearly reductive group scheme.
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.
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$.
We discuss the role played by logarithmic structures in the theory of moduli.