Related papers: Descent for quasi-coherent sheaves on stacks
Broadly speaking the present is a homotopy complement to the book of Giraud, albeit in a couple of different ways. In the first place there is a representability theorem for maps to a topological champ (a.k.a. stack) and whence an extremely…
We survey recent developments in the study of perverse sheaves on semi-abelian varieties. As concrete applications, we discuss various obstructions on the homotopy type of complex algebraic manifolds (expressed in terms of their cohomology…
Let u be a local homomorphism of noetherian local rings forming part of a commutative square vf=gu. We give some conditions on the square which imply that u is formally smooth. This result encapsulates a variety of (apparently unrelated)…
Given a graded monoid A with 1, one can construct a projective monoid scheme MProj(A) analogous to Proj(R) of a graded ring R. This paper is concerned with the study of quasicoherent sheaves (of pointed sets) on MProj(A), and we prove…
If G is a reductive group which acts on a linearized smooth scheme $X$ then we show that under suitable standard conditions the derived category of coherent sheaves of the corresponding GIT quotient stack $X^{ss}/G$ has a semi-orthogonal…
We study the \'etale sheafification of algebraic K-theory, called \'etale K-theory. Our main results show that \'etale K-theory is very close to a noncommutative invariant called Selmer K-theory, which is defined at the level of categories.…
We study the homotopy groups of complements to reducible divisors on non-singular projective varieties with ample components and isolated non normal crossings. We prove a vanishing theorem generalizing conditions for commutativity of the…
We develop the geometric and homological framework for non-commutative $n$-ary $\Gamma$-semirings by constructing a sheaf and derived theory over their non-commutative $\Gamma$-spectrum. Starting with a non-commutative $n$-ary…
We define the notion of the partial order of ends of the Cayley graph of a semigroup. We prove that the structure of the ends of a semigroup is invariant under change of finite generating set and at the same time is inherited by…
We relate the category of sheaves on alcoves that was constructed in "Sheaves on the alcoves and modular representations I" to the representation theory of reductive algebraic groups. In particular, we show that its indecomposable…
We consider categories of posets with $\mathfrak{C}$-valued structure sheaves for any category $\mathfrak{C}$ and see how they possess poset-indexed lax colimits that are both easy to describe and "weakly equivalent" to their ordinary…
This note extends Quillen's Theorem A to a large class of categories internal to topological spaces. This allows us to show that under a mild condition a fully faithful and essentially surjective functor between such topological categories…
A semiring scheme generalizes a scheme in such a way that the underlying algebra is that of semirings. We generalize \v{C}ech cohomology theory and invertible sheaves to semiring schemes. In particular, when $X=\mathbb{P}^n_M$, a projective…
We study the category of algebras of substitudes (also known to be equivalent to the regular patterns of Getzler) equipped with a (semi)model structure lifted from the model structure on the underlying presheaves. We are especially…
Hartshorne developed a theory of generalized divisors on Gorenstein schemes to characterize codimension-one closed subschemes without embedded points. Generalized divisors can be viewed as a generalization of Weil divisors to non-normal…
We introduce a new method for proving twisted homological stability, and use it to prove such results for symmetric groups and general linear groups. In addition to sometimes slightly improving the stable range given by the traditional…
We prove some fundamental results like localization, excision, Nisnevich descent and the Mayer-Vietoris property for equivariant regular blow-up for the equivariant K-theory of schemes with an affine group scheme action. We also show that…
Essentials of sheaves are briefly presented, followed by related comments on presheaves, bundles, manifolds and singularities, aiming to point to their differences not only in their different formal mathematical structures, but also in the…
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…
Implementing an idea due to John Baez and James Dolan we define new invariants of Whitney stratified manifolds by considering the homotopy theory of smooth transversal maps. To each Whitney stratified manifold we assign transversal homotopy…