相关论文: The six operations for sheaves on Artin stacks I: …

We present an explicit expression of the cohomology complex of a constructible sheaf of abelian groups on the small \'etale site of an irreducible curve over an algebraically closed field, when the torsion of the sheaf is invertible in the…

We count invertible Schr\"odinger operators (perturbations by diagonal matrices of the adjacency matrix) over finite fieldsfor trees, cycles and complete graphs.This is achieved for trees through the definition and use of local invariants…

We prove that Morel-Voevodsky's stable $\mathbb{A}^1$-homotopy theory affords the universal coefficient system, giving rise to Grothendieck's six operations.

We introduce coefficient systems of pro-\'etale motives and pro-\'etale motivic spectra with coefficients in any condensed ring spectrum and show that they afford the six operations. Over locally \'etale bounded schemes, \'etale motivic…

Let $\Bbbk$ be an algebraically closed field of characteristic zero. Let $\mathrm{Sch}/\Bbbk$ denote the category of schemes of finite type over $\Bbbk$. Let $B$ be a connected projective scheme over $\Bbbk$ and let $\mathcal L$ be an ample…

The Gieseker-Uhlenbeck morphism maps the Gieseker moduli space of stable rank-2 sheaves on a smooth projective surface to the Uhlenbeck compactification, and is a generalization of the Hilbert-Chow morphism for Hilbert schemes of points.…

We classify coherent modules on $k[x,y]$ of length at most $4$ and supported at the origin. We compare our calculation with the motivic class of the moduli stack parametrizing such modules, extracted from the Feit-Fine formula. We observe…

In the classical theory for coherent sheaves, the only missing piece in the Grothendieck six-functor formalism picture is $j_!$ for an open immersion $j$. Towards fixing this gap, Deligne proposed a construction of $j_!$ by extending the…

This work studies $t$-structures for the derived category of quasi-coherent sheaves on a quasi-compact quasi-separated algebraic stack. Specifically, using Thomason filtrations, we classify those $t$-structures which are generated by…

We define the notion of 1-affineness for a prestack, and prove an array of results that establish 1-affineness of certain types of prestacks.

The goal of this work is to construct a perverse t-structure on the infinity-category of l-adic LG-equivariant sheaves on the loop Lie algebra Lg and to show that the affine Grothendieck-Springer sheaf S is perverse. Moreover, S is an…

We prove criteria for a presheaf on logarithmic schemes to be a sheaf in the full logarithmic \'etale topology and describe several situations where the structure sheaf and logarithmic structure are logarithmic \'etale sheaves. We deduce…

In this article, we develop a general technique for gluing subcategories of $\infty$-categories. We obtain categorical equivalences between simplicial sets associated to certain multisimplicial sets. Such equivalences can be used to…

We construct K(\pi, 1)'s for Artin groups of type C_n and D_n.

In this paper we introduce two new methods for constructing injective resolutions of sheaves of finite-dimensional vector spaces on finite posets. Our main result is the existence and uniqueness of a minimal injective resolution of a given…

If $S$ is a scheme of finite type over $k=\cc $, let $\Xx /S$ denote the big etale site of schemes over $S$. We introduce {\em presentable group sheaves}, a full subcategory of the category of sheaves of groups on $\Xx /S$ which is closed…

For noetherian schemes of finite dimension over a field of characteristic exponent $p$, we study the triangulated categories of $\mathbf{Z}[1/p]$-linear mixed motives obtained from cdh-sheaves with transfers. We prove that these have many…

We describe the group of exact autoequivalences of the bounded derived category of coherent sheaves on a bielliptic surface. We achieve this by studying its action on the numerical Grothendieck group of the surface.

We define the notion of sheaf in the context of doctrines. We prove the associate sheaf functor theorem. We show that grothendieck toposes and toposes obtained by the tripos to topos construction are instances of categories of sheaves for a…

We develop a theory of derived rigid spaces and quasi-coherent sheaves and analytic "stratifications" on them. Amongst other things, we obtain a six-functor formalism for these quasi-coherent sheaves and analytic stratifications. We provide…