Searcharxiv⌕ Search

arXiv subjects

Angelo Vistoli

Publications and source records attributed to Angelo Vistoli.

At least 19 recordsLinked to original sources
arXiv2026

Neutral representations of finite diagonalizable group schemes and fields of moduli

We introduce the notion of a neutral representation of a finite group, or finite group scheme, $G$; a representation $V$ with the property that if a gerbe $\mathcal{G}$ over a field $k$ that is a form of the classifying stack $\mathcal{B} G$ admits a vector bundle that is a form of $V$, then it is neutral, that is, $\mathcal{G}(k)$ is not empty. We give some criteria for a representation of a finite diagonalizable group scheme to be neutral. We apply this notion to give wide classes of examples of smooth curves, or varieties with a marked point, with cyclic automorphism groups, which are defined over their field of moduli, greatly generalizing some previous results.

math.AG↗
arXiv2025

The geometric K-theory of quotient stacks

Given a quotient of a regular noetherian separated algebraic space $X$ over a field by an affine algebraic group $G$ having finite stabilizers (with some mild technical conditions), G. Vezzosi and A. Vistoli defined the geometric part of the rational equivariant K-theory $K(X,G)$ and conjectured that it is isomorphic to the rational K-theory of the quotient $X/G$. In this paper we refine the construction of geometric K-theory to the rational K-theory of a quotient stack $[X/G]$ over an arbitrary excellent base; we show that it is part of an intrinsic decomposition of the K-theory of the stack and prove many properties that make it amenable to computations.

math.AG↗
arXiv2023

Integral Picard group of moduli of polarized K3 surfaces

We compute the integral Picard group of the moduli stack of polarized K3 surfaces of fixed degree whose singularities are at most rational double points. We also compute the integral Picard group of the stack of quasi-polarized K3 surfaces, and of the stacky period domain.

math.AG↗
arXiv2022

Fields of moduli and the arithmetic of tame quotient singularities

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.

math.AG↗
arXiv2022

An arithmetic valuative criterion for proper maps of tame algebraic stacks

The valuative criterion for proper maps of schemes has many applications in arithmetic, e.g. specializing $\mathbb{Q}_{p}$-points to $\mathbb{F}_{p}$-points. For algebraic stacks, the usual valuative criterion for proper maps is ill-suited for these kind of arguments, since it only gives a specialization point defined over an extension of the residue field, e.g. a $\mathbb{Q}_{p}$-point will specialize to an $\mathbb{F}_{p^{n}}$-point for some $n$. We give a new valuative criterion for proper maps of tame stacks which solves this problem and is well-suited for arithmetic applications. As a consequence, we prove that the Lang-Nishimura theorem holds for tame stacks.

math.AG↗
arXiv2021

The genericity theorem for the essential dimension of tame stacks

Let $X$ be a regular tame stack. If $X$ is locally of finite type over a field, we prove that the essential dimension of $X$ is equal to its generic essential dimension, this generalizes a previous result of P. Brosnan, Z. Reichstein and the second author. Now suppose that $X$ is locally of finite type over a $1$-dimensional noetherian local domain $R$ with fraction field $K$ and residue field $k$. We prove that $\operatorname{ed}_{k}X_{k} \le \operatorname{ed}_{K}X_{K}$ if $X\to \operatorname{Spec} R$ is smooth and $\operatorname{ed}_{k}X_{k} \le \operatorname{ed}_{K}X_{K}+1$ in general.

math.AG↗
arXiv2021

Polarized twisted conics and moduli of stable curves of genus two

In this paper we introduce the stack of polarized twisted conics and we use it to give a new point of view on $\overline{\mathcal{M}}_2$. In particular, we present a new and independent approach to the computation of the integral Chow ring of $\overline{\mathcal{M}}_2$, previously determined by Eric Larson.

math.AG↗
arXiv2018

Essential dimension in mixed characteristic

Suppose $G$ is a finite group and $p$ is either a prime number or $0$. For $p$ positive, we say that $G$ is weakly tame at $p$ if $G$ has no non-trivial normal $p$-subgroups. By convention we say that every finite group is weakly tame at $0$. Now suppose that $G$ is a finite group which is weakly tame at the residue characteristic of a discrete valuation ring $R$. Our main result shows that the essential dimension of $G$ over the fraction field $K$ of $R$ is at least as large as the essential dimension of $G$ over the residue field $k$. We also prove a more general statement of this type for a class of étale gerbes over $R$. As a corollary, we show that, if $G$ is weakly tame at $p$ and $k$ is any field of characteristic $p >0$ containing the algebraic closure of $\mathbb{F}_p$, then the essential dimension of $G$ over $k$ is less than or equal to the essential dimension of $G$ over any characteristic $0$ field. A conjecture of A. Ledet asserts that the essential dimension, $\mathrm{ed}_k(\mathbb{Z}/p^n\mathbb{Z})$, of the cyclic group of order $p^n$ over a field $k$ is equal to $n$ whenever $k$ is a field of characteristic $p$. We show that this conjecture implies that $\mathrm{ed}_{\mathbb{C}}(G) \geq n$ for any finite group $G$ which is weakly tame at $p$ and contains an element of order $p^n$. To the best of our knowledge, an unconditional proof of the last inequality is out of the reach of all presently known techniques.

math.AG↗
arXiv2018

The Chow Ring of the Stack of Smooth Plane Cubics

We give an explicit presentation of the integral Chow ring of a stack of smooth plane cubics. We also determine some relations in the general case of hypersurfaces of any dimension and degree.

math.AG↗
arXiv2017

Infinite root stacks and quasi-coherent sheaves on logarithmic schemes

We define and study infinite root stacks of fine and saturated logarithmic schemes, a limit version of the root stacks introduced by Niels Borne and the second author. We show in particular that the infinite root stack determines the logarithmic structure, and recovers the Kummer-flat topos of the logarithmic scheme. We also extend the correspondence between parabolic sheaves and quasi-coherent sheaves on root stacks to this new setting.

math.AG↗
arXiv2017

Fundamental gerbes

For a class of affine algebraic groups $\mathcal C$ over a field, we define the notions of $\mathcal C$-fundamental gerbe of a fibered category, generalizing what we had done in arXiv:1204.1260 for finite group schemes. We give sufficient conditions on $\mathcal C$ implying that a fibered category $X$ over $κ$ satisfying mild hypotheses admits a Nori $\mathcal C$-fundamental gerbe. We show that these are verified in particular by the classes of virtually abelian and virtually unipotent group schemes. In the second situation, under a properness condition on $X$, we give a tannakian interpretation of the resulting gerbe.

math.AG↗
arXiv2017

The Kato-Nakayama space as a transcendental root stack

We give a functorial description of the Kato-Nakayama space of a fine saturated log analytic space that is similar in spirit to the functorial description of root stacks. As a consequence we get a global description of the comparison map constructed in arXiv:1511.00037 from the Kato-Nakayama space to the (topological) infinite root stack.

math.AG↗