Related papers: The \'etale local structure of algebraic stacks
We give an alternate formulation of pseudo-coherence over an arbitrary derived stack X. The full subcategory of pseudo-coherent objects forms a stable sub-infinity-category of the derived category associated to X. Using relative…
Let $X$ be a normal, connected and projective variety over an algebraically closed field $k$. It is known that a vector bundle $V$ on $X$ is essentially finite if and only if it is trivialized by a proper surjective morphism $f:Y\to X$. In…
We describe the closure of the strata of abelian differentials with prescribed type of zeros and poles, in the projectivized Hodge bundle over the Deligne-Mumford moduli space of stable curves with marked points. We provide an explicit…
We prove that under some purely algebraic conditions every locally homogeneous structure modelled on some homogeneous space is induced by a locally homogeneous structure modelled on a different homogeneous space.
We study affine Jacobi structures on an affine bundle $\pi:A\to M$, i.e. Jacobi brackets that close on affine functions. We prove that there is a one-to-one correspondence between affine Jacobi structures on $A$ and Lie algebroid structures…
We show that coinvariants of modules over vertex operator algebras give rise to quasi-coherent sheaves on moduli of stable pointed curves. These generalize Verlinde bundles or vector bundles of conformal blocks defined using affine Lie…
In part I of this work we studied the spaces of real algebraic cycles on a complex projective space P(V), where V carries a real structure, and completely determined their homotopy type. We also extended some functors in K-theory to…
Let $K$ be a complete non-trivially valued non-Archimedean field. Given an algebraic group over $K$ on which every regular function is constant, any rigid analytic function is shown to be constant too. It follows that an algebraic group…
Among all affine, flat, finitely presented group schemes, we focus on those that are pure, this includes all groups which are extensions of a finite locally free group by a group with connected fibres. We prove that over an arbitrary base…
We show the properness of the moduli stack of stable surfaces over $\mathbb{Z}[1/30]$, assuming the locally-stable reduction conjecture for stable surfaces. This relies on a local Kawamata--Viehweg vanishing theorem for for 3-dimensional…
We prove a geometric local constancy theorem for affine Springer fibers in families of close local fields. Consequently, stable orbital integrals are locally constant in these families, and both the base change fundamental lemma and the…
In arXiv:2407.11958, a moduli stack parametrizing $I$--indexed diagrams of Higgs bundles over a base stack $X$ was constructed for any finite simplicial set $I$, inspiring speculations about extending the non-Abelian Hodge correspondence to…
In this paper we will introduce a certain type of morphisms of log schemes (in the sense of Fontaine, Illusie, and Kato) and investigate their moduli. Then by applying this we define a notion of toric algebraic stacks over arbitrary…
We prove that in a locally finite dimensional Lie algebra L, any maximal, locally solvable subalgebra (Borel subalgebra) is the stabilizer of a maximal, generalized flag in an integrable, faithful module over L.
Algebraic K-theory is the stable homotopy theory of homotopy theories, and it interacts with algebraic structures accordingly. In particular, we prove the Deligne Conjecture for algebraic K-theory.
We establish normal form theorems for a large class of singular flat connections on complex manifolds, including connections with logarithmic poles along weighted homogeneous Saito free divisors. As a result, we show that the moduli spaces…
We prove a relative GAGA theorem for perfect and pseudo-coherent complexes in non-archimedean analytic geometry, allowing bases given by Fredholm analytic rings, including those associated from affinoid perfectoid spaces. This answers a…
Let A denote the ring of differential operators on the affine line with its two usual generators t and d/dt given degrees +1 and -1 respectively. Let X be the stack having coarse moduli space the affine line Spec k[z] and isotropy groups…
We study the ramification theory for actions involving group schemes, focusing on the tame ramification. We consider the notion of tame quotient stack introduced in [AOV] and the one of tame action introduced in [CEPT]. We establish a local…
Let p=tp(a/A) be a stationary type in an arbitrary finite rank stable theory, and P an A-invariant family of partial types. The following property is introduced and characterised: whenever c is definable over (A,a) and a is not algebraic…