Let ${\mathcal {R}} \subset \mathbb {P}^1_{\mathbb {C}}$ be a finite subset of markings. Let G be an almost simple simply-connected algebraic group over $\mathbb {C}$. Let $K_G$ denote the compact real form of G. Suppose for each lasso l around the marked point, a conjugacy class $C_l$ in $K_G$ is prescribed. The aim of this paper is to give verifiable criteria for the existence of an irreducible homomorphism of $\pi _{1}(\mathbb P^1_{\mathbb {C}} \,{\backslash}\, {\mathcal {R}})$ into $K_G$ such that the image of l lies in $C_l$.

For $2 \leq d \leq 5$, we show that the class of the Hurwitz space of smooth degree $d$, genus $g$ covers of $\mathbb {P}^1$ stabilizes in the Grothendieck ring of stacks as $g \to \infty$, and we give a formula for the limit. We also verify this stabilization when one imposes ramification conditions on the covers, and obtain a particularly simple answer for this limit when one restricts to simply branched covers.

We systematically study the moduli stacks of Higgs bundles, spectral curves, and Norm maps on Deligne–Mumford curves. As an application, under some mild conditions, we prove the Strominger–Yau–Zaslow duality for the moduli spaces of Higgs bundles over a hyperbolic stacky curve.

We consider K-theoretic Gromov-Witten theory of root constructions. We calculate some genus $0$ K-theoretic Gromov-Witten invariants of a root gerbe. We also obtain a K-theoretic relative/orbifold correspondence in genus $0$.

In the article [CEGS20b], we introduced various moduli stacks of two-dimensional tamely potentially Barsotti–Tate representations of the absolute Galois group of a p-adic local field, as well as related moduli stacks of Breuil–Kisin modules with descent data. We study the irreducible components of these stacks, establishing, in particular, that the components of the former are naturally indexed by certain Serre weights.

We give a variant of Artin algebraization along closed subschemes and closed substacks. Our main application is the existence of étale, smooth or syntomic neighborhoods of closed subschemes and closed substacks. In particular, we prove local structure theorems for stacks and their derived counterparts and the existence of henselizations along linearly fundamental closed substacks. These results establish the existence of Ferrand pushouts, which answers positively a question of Temkin–Tyomkin.

In this paper, we investigate the theory of heights in a family of stacky curves following recent work of Ellenberg, Satriano, and Zureick-Brown. We first give an elementary construction of a height which is seen to be dual to theirs. We count rational points having bounded ESZ-B height on a particular stacky curve, answering a question of Ellenberg, Satriano, and Zureick-Brown. We also show that when the Euler characteristic of stacky curves is non-positive, the ESZ-B height coming from the anti-canonical divisor class fails to have the Northcott property. We prove that a stacky version of a conjecture of Vojta is equivalent to the $abc$-conjecture.

In this paper, we study compactifications of the moduli of smooth del Pezzo surfaces using K-stability and the line arrangement. We construct K-moduli of log del Pezzo pairs with sum of lines as boundary divisors, and prove that for $d=2,3,4$, these K-moduli of pairs are isomorphic to the K-moduli spaces of del Pezzo surfaces. For $d=1$, we prove that they are different by exhibiting some walls.

Let $\sigma $ be a stability condition on the bounded derived category $D^b({\mathop{\mathrm {Coh}}\nolimits } W)$ of a Calabi–Yau threefold W and $\mathcal {M}$ a moduli stack parametrizing $\sigma $ -semistable objects of fixed topological type. We define generalized Donaldson–Thomas invariants which act as virtual counts of objects in $\mathcal {M}$ , fully generalizing the approach introduced by Kiem, Li and the author in the case of semistable sheaves. We construct an associated proper Deligne–Mumford stack $\widetilde {\mathcal {M}}^{\mathbb {C}^{\ast }}$ , called the $\mathbb {C}^{\ast }$ -rigidified intrinsic stabilizer reduction of $\mathcal {M}$ , with an induced semiperfect obstruction theory of virtual dimension zero, and define the generalized Donaldson–Thomas invariant via Kirwan blowups to be the degree of the associated virtual cycle $[\widetilde {\mathcal {M}}]^{\mathrm {vir}} \in A_0(\widetilde {\mathcal {M}})$ . This stays invariant under deformations of the complex structure of W. Applications include Bridgeland stability, polynomial stability, Gieseker and slope stability.

In this note, we prove that the moduli stack of vector bundles on a curve with a fixed determinant is ${\mathbb A}^1$-connected. We obtain this result by classifying vector bundles on a curve up to ${\mathbb A}^1$-concordance. Consequently, we classify ${\mathbb P}^n$-bundles on a curve up to ${\mathbb A}^1$-weak equivalence, extending a result in [3] of Asok-Morel. We also give an explicit example of a variety which is ${\mathbb A}^1$-h-cobordant to a projective bundle over ${\mathbb P}^2$ but does not have the structure of a projective bundle over ${\mathbb P}^2$, thus answering a question of Asok-Kebekus-Wendt [2].

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 $\mathcal {X}$ , which specializes to the Batyrev–Manin conjecture when $\mathcal {X}$ is a scheme and to Malle’s conjecture when $\mathcal {X}$ is the classifying stack of a finite group.

For any odd integer $d$, we give a presentation for the integral Chow ring of the stack $\mathcal {M}_{0}(\mathbb {P}^r, d)$, as a quotient of the polynomial ring $\mathbb {Z}[c_1,c_2]$. We describe an efficient set of generators for the ideal of relations, and compute them in generating series form. The paper concludes with explicit computations of some examples for low values of $d$ and $r$, and a conjecture for a minimal set of generators.

Let A be an abelian scheme of dimension at least four over a $\mathbb {Z}$ -finitely generated integral domain R of characteristic zero, and let L be an ample line bundle on A. We prove that the set of smooth hypersurfaces D in A representing L is finite by showing that the moduli stack of such hypersurfaces has only finitely many R-points. We accomplish this by using level structures to interpolate finiteness results between this moduli stack and the stack of canonically polarized varieties.

We prove finiteness results for sets of varieties over number fields with good reduction outside a given finite set of places using cyclic covers. We obtain a version of the Shafarevich conjecture for weighted projective surfaces, double covers of abelian varieties and reduce the Shafarevich conjecture for hypersurfaces to the case of hypersurfaces of high dimension. These are special cases of a general setup for integral points on moduli stacks of cyclic covers, and our arithmetic results are achieved via a version of the Chevalley–Weil theorem for stacks.

We compute the number of points over finite fields of the character stack associated to a compact surface group and a reductive group with connected centre. We find that the answer is a polynomial on residue classes (PORC). The key ingredients in the proof are Lusztig’s Jordan decomposition of complex characters of finite reductive groups and Deriziotis’s results on their genus numbers. As a consequence of our main theorem, we obtain an expression for the E-polynomial of the character stack.

We give a detailed proof that locally Noetherian moduli stacks of sections carry canonical obstruction theories. As part of the argument, we construct a dualising sheaf and trace map, in the lisse-étale topology, for families of tame twisted curves when the base stack is locally Noetherian.

We construct the logarithmic and tropical Picard groups of a family of logarithmic curves and realize the latter as the quotient of the former by the algebraic Jacobian. We show that the logarithmic Jacobian is a proper family of logarithmic abelian varieties over the moduli space of Deligne–Mumford stable curves, but does not possess an underlying algebraic stack. However, the logarithmic Picard group does have logarithmic modifications that are representable by logarithmic schemes, all of which are obtained by pullback from subdivisions of the tropical Picard group.

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 (nonseparated) resolutions of singularities for toric varieties. Specifically, let $\mathcal {X}$ be a smooth Artin stack admitting a good moduli space $\pi : \mathcal {X} \to X$ , and assume that X is a variety with log-terminal singularities, $\pi $ induces an isomorphism over a nonempty open subset of X and the exceptional locus of $\pi $ has codimension at least $2$ . We conjecture a change-of-variables formula relating the motivic measure for $\mathcal {X}$ to the Gorenstein measure for X and functions measuring the degree to which $\pi $ is nonseparated. We also conjecture that if the stabilisers 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 (assuming a finiteness hypothesis satisfied by fantastacks) 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.

We prove that if G is a finite flat group scheme of p-power rank over a perfect field of characteristic p, then the second crystalline cohomology of its classifying stack $H^2_{\text {crys}}(BG)$ recovers the Dieudonné module of G. We also provide a calculation of the crystalline cohomology of the classifying stack of an abelian variety. We use this to prove that the crystalline cohomology of the classifying stack of a p-divisible group is a symmetric algebra (in degree $2$) on its Dieudonné module. We also prove mixed-characteristic analogues of some of these results using prismatic cohomology.

We show that the K-moduli spaces of log Fano pairs $\left(\mathbb {P}^1\times \mathbb {P}^1, cC\right)$ , where C is a $(4,4)$ curve and their wall crossings coincide with the VGIT quotients of $(2,4)$ , complete intersection curves in $\mathbb {P}^3$ . This, together with recent results by Laza and O’Grady, implies that these K-moduli spaces form a natural interpolation between the GIT moduli space of $(4,4)$ curves on $\mathbb {P}^1\times \mathbb {P}^1$ and the Baily–Borel compactification of moduli of quartic hyperelliptic K3 surfaces.