Given a perfect field $k$ with algebraic closure $\overline{k}$ and a variety $X$ over $\overline{k}$, the field of moduli of $X$ is the subfield of $\overline{k}$ of elements fixed by field automorphisms $γ\in\operatorname{Gal}(\overline{k}/k)$ such that the twist $X_γ$ is isomorphic to $X$. The field of moduli is contained in all subextensions $k\subset k'\subset\overline{k}$ such that $X$ descends to $k'$. In this paper we extend the formalism, and define the field of moduli when $k$ is not perfect.
Furthermore, Dèbes and Emsalem identified a condition that ensures that a smooth curve is defined over its field of moduli, and prove that a smooth curve with a marked point is always defined over its field of moduli. Our main theorem is a generalization of these results that applies to higher dimensional varieties, and to varieties with additional structures.
In order to apply this, we study the problem of when a rational point of a variety with quotient singularities lifts to a resolution. As a consequence, we prove that a variety $X$ of dimension $d$ with a smooth marked point $p$ such that $\operatorname{Aut}(X,p)$ is finite, étale and of degree prime to $d!$ is defined over its field of moduli.
The object of the present is a proof of the existence of functorial resolution of tame quotient singularities for quasi-projective varieties over algebraically closed fields.
We prove that the uniformizing map of any arithmetic quotient, as well as the period map associated to any pure polarized $\mathbb{Z}$-variation of Hodge structure $\mathbb{V}$ on a smooth complex quasi-projective variety $S$, are topologically tame. As an easy corollary of these results and of Peterzil-Starchenko's o-minimal GAGA theorem we obtain that the Hodge locus of $(S, \mathbb{V})$ is a countable union of algebraic subvarieties of $S$ (a result originally due to Cattani-Deligne-Kaplan).
This paper is devoted to the explicit description of the Galois descent obstruction for hyperelliptic curves of arbitrary genus whose reduced automorphism group is cyclic of order coprime to the characteristic of their ground field. Along the way, we obtain an arithmetic criterion for the existence of a hyperelliptic descent. The obstruction is described by the so-called arithmetic dihedral invariants of the curves in question. If it vanishes, then the use of these invariants also allows the explicit determination of a model over the field of moduli; if not, then one obtains a hyperelliptic mo…
We explicitly calculate an arithmetic adelic quotient group for a locally free sheaf on an arithmetic surface when the fiber over the infinite point of the base is taken into account. The calculations are presented via a short exact sequence. We relate the last term of this short exact sequence with the projective limit of groups which are finite direct products of copies of one-dimensional real torus and are connected with first cohomology groups of locally free sheaves on the arithmetic surface.
In positive characteristic, there exist counterexamples to the statement corresponding to Batyrev's theorem concerning the McKay correspondence. In this paper, we give another computation of the counterexamples by using stringy-point count for some sequences of quotient varieties. There is a proof of the Serre-Bhagava's mass formula, which is important formula in the number theory, from the computation of stringy-point count of a quotient variety associated to a representation of symmetric group. Our computation of the stringy-point count in this paper is regarded as a variation of this proof …
A weak wild arithmetic quotient singularity arises from the quotient of a smooth arithmetic surface by a finite group action, where the inertia group of a point on a closed characteristic p fiber is a p-group acting with smallest possible ramification jump. In this paper, we give complete explicit resolutions of these singularities using deformation theory and valuation theory, taking a more local perspective than previous work has taken. Our descriptions answer several questions of Lorenzini. Along the way, we give a valuation-theoretic criterion for a normal snc-model of P^1 over a discretel…
Let F be a global field, and let S be a finite set of places of F containing all archimedean places. Consider the product X of the symmetric spaces and Bruhat-Tits buildings for PGL_d of the completions of F at archimedean and non-archimedean places in S, respectively. We construct compactifications of the quotient of X by S-arithmetic subgroups of PGL_d(F). The constructions make delicate use of reductive Borel-Serre spaces for archimedean places and polyhedral and seminorm compactifications at nonarchimedean places. We also briefly discuss a few potential applications of our compacifications…
In this paper we prove the following results: $1)$ We show that any arithmetic quotient of a homogeneous space admits a natural real semi-algebraic structure for which its Hecke correspondences are semi-algebraic. A particularly important example is given by Hodge varieties, which parametrize pure polarized integral Hodge structures. $2)$ We prove that the period map associated to any pure polarized variation of integral Hodge structures $\mathbb{V}$ on a smooth complex quasi-projective variety $S$ is definable with respect to an o-minimal structure on the relevant Hodge variety induced by the…
We construct some non-arithmetic ball quotients as branched covers of a quotient of an Abelian surface by a finite group, and compare them with lattices that previously appear in the literature. This gives an alternative construction, which is independent of the computer, of some lattices constructed by the author with Parker and Paupert.
We prove that various arithmetic quotients of the unit ball in $\mathbb{C}^n$ are Mordellic, in the sense that they have only finitely many rational points over any finitely generated field extension of $\mathbb{Q}$. In the previously known case of compact hyperbolic complex surfaces, we give a new proof using their Albanese in conjunction with some key results of Faltings, but without appealing to the Shafarevich conjecture. In higher dimension, our methods allow us to solve an alternative of Ullmo and Yafaev. Our strongest result uses in addition Rogawski's theory and establishes the Mordell…
We give an algorithm for removing stackiness from smooth, tame Artin stacks with abelian stabilisers by repeatedly applying stacky blow-ups. The construction works over a general base and is functorial with respect to base change and compositions with gerbes and smooth, stabiliser preserving maps. As applications, we indicate how the result can be used for destackifying general Deligne-Mumford stacks in characteristic zero, and to obtain a weak factorisation theorem for such stacks. Over an arbitrary field, the method can be used to obtain a functorial algorithm for desingularising varieties w…
Let X be a smooth and tame stack with finite inertia. We prove that there is a functorial sequence of blow-ups with smooth centers after which the stabilizers of X become abelian. Using this result, we can extend the destackification results of the first author to any smooth tame stack. We give applications to resolution of tame quotient singularities, prime-to-l alterations of singularities and weak factorization of Deligne-Mumford stacks. We also extend the abelianization result to infinite stabilizers in characteristic zero, generalizing earlier work of Reichstein-Youssin.
Several natural complex configuration spaces admit surprising uniformizations as arithmetic ball quotients, by identifying each parametrized object with the periods of some auxiliary object. In each case, the theory of canonical models of Shimura varieties gives the ball quotient the structure of a variety over the ring of integers of a cyclotomic field. We show that the (transcendentally-defined) period map actually respects these algebraic structures, and thus that occult period maps are arithmetic. As an intermediate tool, we develop an arithmetic theory of lattice-polarized K3 surfaces.
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 charact…
In this paper we study the moduli stack ${\mathcal U}_{1,n}^{ns}$ of curves of arithmetic genus 1 with n marked points, forming a nonspecial divisor. In arXiv:1511.03797 this stack was realized as the quotient of an explicit scheme $\widetilde{\mathcal U}_{1,n}^{ns}$, affine of finite type over ${\Bbb P}^{n-1}$, by the action of ${\Bbb G}_m^n$ . Our main result is an explicit description of the corresponding GIT semistable loci in $\widetilde{\mathcal U}_{1,n}^{ns}$. This allows us to identify some of the GIT quotients with some of the modular compactifications of ${\mathcal M}_{1,n}$ defined …
For a scheme S with a good action of a finite abelian group G having enough roots of unity we show that the quotient map on the G-equivariant Grothendieck ring of varieties over S is well defined with image in the Grothendieck ring of varieties over S/G in the tame case, and in the modified Grothendieck ring in the wild case. To prove this we use a result on the class of the quotient of a vector space by a quasi-linear action in the Grothendieck ring of varieties due to Esnault and Viehweg, which we also generalize to the case of wild actions. As an application we deduce that the quotient of t…
We study moduli spaces of certain sextic curves with a singularity of multiplicity 3 from both perspectives of Deligne-Mostow theory and periods of K3 surfaces. In both ways we can describe the moduli spaces via arithmetic quotients of complex hyperbolic balls. We show in Theorem 7.4 that the two ball-quotient constructions can be unified in a geometric way.
We present a complete generalization of Kirwan's partial desingularization theorem on quotients of smooth varieties. Precisely, we prove that if $\mathcal{X}$ is an irreducible Artin stack with stable good moduli space $\mathcal{X} \to X$, then there is a canonical sequence of birational morphisms of Artin stacks $\mathcal{X}_n \to \mathcal{X}_{n-1} \to \ldots \to \mathcal{X}_0 = \mathcal{X}$ with the following properties: (1) the maximum dimension of a stabilizer of a point of $\mathcal{X}_{k+1}$ is strictly smaller than the maximum dimension of a stabilizer of $\mathcal{X}_k$ and the final s…
Let $M = \mathbb{B}^2 / Γ$ be a smooth ball quotient of finite volume with first betti number $b_1(M)$ and let $\mathcal{E}(M) \ge 0$ be the number of cusps (i.e., topological ends) of $M$. We study the growth rates that are possible in towers of finite-sheeted coverings of $M$. In particular, $b_1$ and $\mathcal{E}$ have little to do with one another, in contrast with the well-understood cases of hyperbolic $2$- and $3$-manifolds. We also discuss growth of $b_1$ for congruence arithmetic lattices acting on $\mathbb{B}^2$ and $\mathbb{B}^3$. Along the way, we provide an explicit example of a l…
This paper studies the function field of an algebraic curve over an arbitrary perfect field by using the Weil reciprocity law and topologies on the adele ring. A topological subgroup of the idele class group is introduced and it is shown how it encodes arithmetic properties of the base field and of the Picard group of the curve. These results are applied to study extensions of the function field.
