Related papers: Enhanced six operations and base change theorem fo…

Let $\mathcal{C}$ be a small category, $\mathfrak{A}$ be a precosheaf of unital $k$-algebras on $\mathcal{C}$ and $\mathfrak{M}$ be an $\mathfrak{A}$-bimodule. We introduce two new notions, namely, the Grothendieck construction…

We define the partial group cohomology as the right derived functor of the functor of partial invariants, we relate this cohomology with partial derivations and with the partial augmentation ideal and we show that there exists a…

We study the Fulton-Macpherson operational Chow rings of good moduli spaces of properly stable, smooth, Artin stacks. Such spaces are \'etale locally isomorphic to geometric invariant theory quotients of affine schemes, and are therefore…

We construct an exact tensor functor from the category $\mathcal{A}$ of finite-dimensional graded modules over the quiver Hecke algebra of type $A_\infty$ to the category $\mathscr C_{B^{(1)}_n}$ of finite-dimensional integrable modules…

In this paper we look at Grothendieck's work on classifying holomorphic bundles over the complex projective line. The paper is divided into $4$ parts. The first and second part we build up the necessary background to talk about vector…

We prove a sheaf-theoretic derived-category generalization of Greenlees-May duality (a far-reaching generalization of Grothendieck's local duality theorem): for a quasi-compact separated scheme X and a "proregular" subscheme Z---for…

We remove the global quotient presentation input in the theory of windows in derived categories of smooth Artin stacks of finite type. As an application, we use existing results on flipping of strata for wall-crossing of Gieseker…

A generalization of topos theory is proposed giving an abstract realization of such categories as, say, the categories of manifolds and of Grothendieck schemes on the one hand, and permitting one, on the other hand, a view on…

We compute the moduli of endomorphisms of the de Rham and crystalline cohomology functors, viewed as a cohomology theory on smooth schemes over truncated Witt vectors. As applications of our result, we deduce Drinfeld's refinement of the…

We use sheaf theory and the six operations to define and study the (equivariant) homology of stacks. The construction makes sense in the algebraic, complex-analytic, or even topological categories.

Given a proper morphism X -> S, we show that a large class of objects in the derived category of X naturally form an Artin stack locally of finite presentation over S. This class includes S-flat coherent sheaves and, more generally,…

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

Grothendieck and Harder proved that every principal bundle over the projective line with split reductive structure group (and trivial over the generic point) can be reduced to a maximal torus. Furthermore, this reduction is unique modulo…

Artin glueings provide a way to reconstruct a frame from a closed sublocale and its open complement. We show that Artin glueings can be described as the weakly Schreier split extensions in the category of frames with finite-meet preserving…

We prove that given any strong, stable derivator and a $t$-structure on its base triangulated category $\cal D$, the $t$-structure canonically lifts to all the (coherent) diagram categories and each incoherent diagram in the heart uniquely…

We define a new Gromov-Witten theory relative to simple normal crossing divisors as a limit of Gromov-Witten theory of multi-root stacks. Several structural properties are proved including relative quantum cohomology, Givental formalism,…

In math.AG/0207028 we began the study of higher sheaf theory (i.e. stacks theory) on higher categories endowed with a suitable notion of topology: precisely, we defined the notions of S-site and of model site, and the associated categories…

We establish several foundational results regarding the Grothendieck-Springer affine fibration. More precisely, we prove some constructibility results on the affine Grothendieck-Springer sheaf and its coinvariants, enrich it with a group of…

We construct a "diagonal" cofibrantly generated model structre on the category of simplicial objects in the category of topological categories sCat_{Top}, which is the category of diagrams [\Delta^{op}, Cat_{Top}]. Moreover, we prove that…

We revisit and generalize our previous algebraic construction of the chiral effective action for Conformal Field Theory on higher genus Riemann surfaces. We show that the action functional can be obtained by evaluating a certain Deligne…