Related papers: Building Data for Stacky Covers
Polysymmetric functions, introduced by Asvin G and Andrew O'Desky as a generalization of symmetric functions, have natural connections to algebraic geometry and provide a foundation for further developments. In this paper, we study…
Iterated Grassmannian bundles over moduli stacks of vector bundles on a curve are shown to be birational to an affine space times a moduli stack of degree 0 vector bundles, following the method of King and Schofield. Applications include…
Periodic surface homemorphisms (diffeomorphisms) play a significant role in the the Nielsen-Thurston classification of surface homeomorphisms. Periodic surface homeomorphisms can be described (up to conjugacy) by using data sets which are…
A notion of support for objects in any Grothendieck category is introduced. This is based on the spectral category of a Grothendieck category and uses its Boolean lattice of localising subcategories. The support provides a classification of…
This work concludes a series of four papers on the foundational theory of orbifolds and stacks. We apply the abstract theory, developed in its predecessors, to orbifolds derived from manifolds. Specifically, we show how the very concrete…
In this paper we study the moduli stack of complexes of vector bundles (with chain isomorphisms) over a smooth projective variety $X$ via derived algebraic geometry. We prove that if $X$ is a Calabi-Yau variety of dimension $d$ then this…
In the authors book, Associative Algebraic Geometry, 2023, and the following article Shemes of Associative Algebras,\\ https://doi.org/10.48550/arXiv.2410.17703,2024, we use an algebraization of the semi-local formal moduli of simple…
This paper proves a result on the existence of finite flat scheme covers of Deligne-Mumford stacks. This result is used to prove that a large class of smooth Deligne-Mumford stacks with affine moduli space are quotient stacks, and in the…
The paper studies computability-theoretic aspects of topological $T_0$-spaces. We introduce effective versions of the notions of a countable $c$-poset and a (second-countable) topological space with base. Based on this, we prove an…
We investigate principal bundles over a root stack. In case of dimension one, we generalize the criterion of Weil and Atiyah for a principal bundle to have an algebraic connection.
The moduli space of planar polygons with generic side lengths is a closed, smooth manifold. Mapping a polygon to its reflected image across the $X$-axis defines a fixed-point-free involution on these moduli spaces, making them into free…
We give a systematic approach to constructing non-reduced, locally Cohen-Macaulay schemes with reduced support a smooth projective variety. The hierarchy of such structures includes a lot of information about the underlying variety, its…
An orbifold is a topological space modeled on quotient spaces of a finite group actions. We can define the universal cover of an orbifold and the fundamental group as the deck transformation group. Let $G$ be a Lie group acting on a space…
One fundamental consequence of a scheme $X$ being proper is that the functor classifying maps from $X$ to any other suitably nice scheme or algebraic stack is representable by an algebraic stack. This result has been generalized by…
Basic assumptions about comparison-based indexing are laid down and a general design space is derived from these. An index structure spanning this design space (the sprawl) is described, along with an associated family of partitioning…
We prove the AKSZ theorem for shifted Poisson structures: if $X$ is an $n$-shifted Poisson derived stack, and $Y$ a $d$-oriented derived stack, then the mapping stack \[\underline{\mathrm{Map}}(Y,X)\] is naturally endowed with an…
In this short paper we first recall the definition and the construction of the fundamental group scheme of a scheme $X$ in the known cases: when it is defined over a field and when it is defined over a Dedekind scheme. It classifies all the…
We give a definition of twisted map to a quotient stack with projective good moduli space, and we show that the resulting functor satisfies the existence part of the valuative criterion for properness.
A number of compactifications familiar in complex-analytic geometry, in particular, the Baily-Borel compactification and its toroidal variants, as well as the Deligne-Mumford compactifications, can be covered by open subsets whose nonempty…
Let $Y$ be a locally complete intersection over $\mathcal{O}_K$ containing a $p$-power root of unity $\zeta_p$. We classify the derived category of prismatic crystals on the absolute prismatic site of $Y$ by studying quasi-coherent…