Source author record

David Rydh

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.AC

Catalog footprint

Research overview

16works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Artin algebraization for pairs with applications to the local structure of stacks and Ferrand pushouts

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.

preprint2021arXiv

A Luna étale slice theorem for algebraic stacks

We prove that every algebraic stack, locally of finite type over an algebraically closed field with affine stabilizers, is étale-locally a quotient stack in a neighborhood of a point with a linearly reductive stabilizer group. The proof uses an equivariant version of Artin's algebraization theorem proved in the appendix. We provide numerous applications of the main theorems.

preprint2020arXiv

A generalization of Luna's fundamental lemma for stacks with good moduli spaces

We generalize Luna's fundamental lemma to smooth morphisms between stacks with good moduli spaces. We also give a precise condition for when it holds for non-smooth morphisms and versions for coherent sheaves and complexes. This generalizes earlier results by Alper, Abramovich--Temkin, Edidin and Nevins.

preprint2020arXiv

Canonical reduction of stabilizers for Artin stacks with good moduli spaces

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 stack $\mathcal{X}_n$ has constant stabilizer dimension; (2) the morphisms $\mathcal{X}_{k+1} \to \mathcal{X}_k$ induce projective and birational morphisms of good moduli spaces $X_{k+1} \to X_{k}$ . If in addition the stack $\mathcal{X}$ is smooth, then each of the intermediate stacks $\mathcal{X}_k$ is smooth and the final stack $\mathcal{X}_n$ is a gerbe over a tame stack. In this case the algebraic space $X_n$ has tame quotient singularities and is a partial desingularization of the good moduli space $X$ . When $\mathcal{X}$ is smooth our result can be combined with D. Bergh's recent destackification theorem for tame stacks to obtain a full desingularization of the algebraic space $X$ .

preprint2015arXiv

Algebraic groups and compact generation of their derived categories of representations

Let $k$ be a field. We characterize the group schemes $G$ over $k$ , not necessarily affine, such that $\mathsf{D}_{\mathrm{qc}}(B_kG)$ is compactly generated. We also describe the algebraic stacks that have finite cohomological dimension in terms of their stabilizer groups.

preprint2015arXiv

Approximation of sheaves on algebraic stacks

Raynaud--Gruson characterized flat and pure morphisms between affine schemes in terms of projective modules. We give a similar characterization for non-affine morphisms. As an application, we show that every quasi-coherent sheaf is the union of its finitely generated quasi-coherent subsheaves on any quasi-compact and quasi-separated algebraic stack.

preprint2015arXiv

General Hilbert stacks and Quot schemes

We prove the algebraicity of the Hilbert functor, the Hilbert stack, the Quot functor and the stack of coherent sheaves on an algebraic stack X with (quasi-)finite diagonal without any finiteness assumptions on X. We also give similar results for Hom stacks and Weil restrictions.

preprint2015arXiv

One positive and two negative results for derived categories of algebraic stacks

Let $X$ be a quasi-compact and quasi-separated scheme. There are two fundamental and pervasive facts about the unbounded derived category of $X$ : (1) $\mathsf{D}_{\mathrm{qc}}(X)$ is compactly generated by perfect complexes and (2) if $X$ is noetherian or has affine diagonal, then the functor $Ψ_X \colon \mathsf{D}(\mathsf{QCoh}(X)) \to \mathsf{D}_{\mathrm{qc}}(X)$ is an equivalence. Our main results are that for algebraic stacks in positive characteristic, the assertions (1) and (2) are typically false.

preprint2014arXiv

Étale dévissage, descent and pushouts of stacks

We show that the pushout of an étale morphism and an open immersion exists in the category of algebraic stacks and show that such pushouts behave similarly to the gluing of two open substacks. For example, quasi-coherent sheaves on the pushout can be described by a simple gluing procedure. We then outline a powerful dévissage method for representable étale morphisms using such pushouts. We also give a variant of the dévissage method for representable quasi-finite flat morphisms.

preprint2014arXiv

Noetherian approximation of algebraic spaces and stacks

We show that every scheme/algebraic space/stack that is quasi-compact with quasi-finite diagonal can be approximated by a noetherian scheme/algebraic space/stack. More generally, we show that any stack which is etale-locally a global quotient stack can be approximated. Examples of applications are generalizations of Chevalley's, Serre's and Zariski's theorems and Chow's lemma to the non-noetherian setting. We also show that every quasi-compact algebraic stack with quasi-finite diagonal has a finite generically flat cover by a scheme.

preprint2014arXiv

Representability of Hilbert schemes and Hilbert stacks of points

We show that the Hilbert functor of points on an arbitrary separated algebraic stack is an algebraic space. We also show the algebraicity of the Hilbert stack of points on an algebraic stack and the algebraicity of the Weil restriction of an algebraic stack along a finite flat morphism. For the latter two results, no separation assumptions are necessary.

preprint2013arXiv

The Hilbert Stack

Let π: X -> S be a morphism of algebraic stacks that is locally of finite presentation with affine stabilizers. We prove that there is an algebraic S-stack, the Hilbert stack, parameterizing proper algebraic stacks mapping quasi-finitely to X. This was previously unknown, even for a morphism of schemes.

preprint2012arXiv

Existence and properties of geometric quotients

In this paper, we study quotients of groupoids and coarse moduli spaces of stacks in a general setting. Geometric quotients are not always categorical, but we present a natural topological condition under which a geometric quotient is categorical. We also show the existence of geometric quotients of finite flat groupoids and give explicit local descriptions. Exploiting similar methods, we give an easy proof of the existence of quotients of flat groupoids with finite stabilizers. As the proofs do not use noetherian methods and are valid for general algebraic spaces and algebraic stacks, we obtain a slightly improved version of Keel and Mori's theorem.

preprint2010arXiv

The canonical embedding of an unramified morphism in an étale morphism

We show that every unramified morphism X->Y has a canonical and universal factorization X->E->Y where the first morphism is a closed embedding and the second is etale (but not separated).

preprint2008arXiv

The space of generically étale families

We construct a space $G^n_X$ and a rank $n$ , generically etale family of closed subspaces in a separated ambient space $X$ . The constructed pair satisfies a universal property of generically etale families of closed subspaces in $X$ . This universal property is derived directly from the construction and does in particular not use the Hilbert scheme. The constructed space $G^n_X$ is by its universal property canonically identified with a closed subspace of the Hilbert scheme.

preprint2007arXiv

A minimal set of generators for the ring of multisymmetric functions

The purpose of this article is to give, for any commutative ring A, an explicit minimal set of generators for the ring of multisymmetric functions TS^d_A(A[x_1,...,x_r]) as an A-algebra. In characteristic zero, i.e. when A is an algebra over the rational numbers, a minimal set of generators has been known since the 19th century. A rather small generating set in the general case has also recently been given by Vaccarino but it is not minimal in general. We also give a sharp degree bound on the generators, improving the degree bound previously obtained by Fleischmann.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

David Rydh

Research overview

Is this your work?

16 publications

Artin algebraization for pairs with applications to the local structure of stacks and Ferrand pushouts

A Luna étale slice theorem for algebraic stacks

A generalization of Luna's fundamental lemma for stacks with good moduli spaces

Canonical reduction of stabilizers for Artin stacks with good moduli spaces

Algebraic groups and compact generation of their derived categories of representations

Approximation of sheaves on algebraic stacks

General Hilbert stacks and Quot schemes

One positive and two negative results for derived categories of algebraic stacks

Étale dévissage, descent and pushouts of stacks

Noetherian approximation of algebraic spaces and stacks

Representability of Hilbert schemes and Hilbert stacks of points

The Hilbert Stack

Existence and properties of geometric quotients

The canonical embedding of an unramified morphism in an étale morphism

The space of generically étale families

A minimal set of generators for the ring of multisymmetric functions

See the researcher in context

Building this map preview