Related papers: A Frobenius theorem in algebraic geometry

We show the Frobenius pullback of a general semi-stable vector bundle in the moduli space of vector bundles with fixed rank and degree is still semi-stable by deformation trick. We then present several applications of the main theorem.

Let X be a projective, equidimensional, singular scheme over an algebraically closed field. Then the existence of a geometric smoothing (i.e. a family of deformations of X over a smooth base curve whose generic fibre is smooth) implies the…

We define two equivalent notions of twisted stable map from a curve to a Deligne-Mumford stack with projective moduli space, and we prove that twisted stable maps of fixed degree form a complete Deligne-Mumford stack with projective moduli…

Let $\mathcal{X}$ be an algebraic stack admitting a moduli space $\mathcal{X}_{\mathrm{mod}}$. We study the factorizations of the moduli space morphism $\mathcal{X}\rightarrow\mathcal{X}_{\mathrm{mod}}$ to construct intermediate stacks that…

This paper presents a survey on formal moduli problems. It starts with an introduction to pointed formal moduli problems and a sketch of proof of a Theorem (independently proven by Lurie and Pridham) which gives a precise mathematical…

This is an expended and revised version of the preprint "Schematization of homotopy types". The purpose of this work is to introduce a notion of \emph{affine stacks}, which is a homotopy version of the notion of affine schemes, and to give…

Suppose $\mathcal{S}$ is a smooth, proper, and tame Deligne-Mumford stack. To\"en's Grothendieck-Riemann-Roch theorem requires correction terms, involving components of the inertia stack, to the standard formula for schemes. We give a brief…

We present a constructive proof of the Stone-Yosida representation theorem for Riesz spaces motivated by considerations from formal topology. This theorem is used to derive a representation theorem for f-algebras. In turn, this theorem…

Following the approach of Kawamata and Canonaco-Stellari, we establish Orlov's representability theorem for smooth tame Deligne-Mumford stacks with projective coarse moduli spaces over a quasiexcellent ring of finite Krull dimension. This…

In casual discussion, a stack is often described as a variety (the coarse space) together with stabilizer groups attached to some of its subvarieties. However, this description does not uniquely specify the stack. Our main result shows that…

The purpose of this paper is to shed a new light on classical constructions in enumerative geometry from the view point of derived algebraic geometry. We first prove that the cosection localized virtual cycle of a quasi-smooth derived…

We develop some foundations for the theory of formal derived algebraic geometry, which parallel the theory of formal spectral algebraic geometry by Jacob Lurie. For this, we establish a close connection between algebro-geometric objects in…

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…

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…

We prove the following criterion for the pro-representability of the deformation cohomology of a commutative formal Lie group. Let f be a flat and separated morphism between noetherian schemes. Assume that the target of f is flat over the…

We introduce a class of potential submanifolds in pseudo-Euclidean spaces (each N-dimensional potential submanifold is a special flat torsionless submanifold in a 2N-dimensional pseudo-Euclidean space) and prove that each N-dimensional…

For every smooth and separated Deligne-Mumford stack $F$, we associate a motive $M(F)$ in Voevodsky's category of mixed motives with rational coefficients $\mathbf{DM}^{\eff}(k,\mathbb{Q})$. When $F$ is proper over a field of characteristic…

We develop a theory of perfect algebraic stacks that extend our theory of perfect algebraic spaces in arXiv:2303.07672, arXiv:2303.08502 to the setting of algebraic stacks. We prove several desired properties of perfect algebraic stacks.…

The classical concept of affine locally symmetric spaces allows a generalization for various geometric structures on a smooth manifold. We remind the notion of symmetry for parabolic geometries and we summarize the known facts for…

In this paper, we propose a definition of the moduli stack of stable relative ideal sheaves, and prove that it is a separated and proper Deligne-Mumford stack. It is the first part of the project of relative Donaldson-Thomas theory of ideal…