Related papers: Notes characterising higher and derived stacks con…

I extend the definitions of schemes relative to monoids with zero - and therefore, toric geometry - to the world of formal schemes. This expands the usual framework to include, for instance, models for Mumford's degenerating Abelian…

We review the basic definition of a stack and apply it to the topological and smooth settings. We then address two subtleties of the theory: the correct definition of a ``stack over a stack'' and the distinction between small stacks (which…

We develop an alternative view on the concept of connections over a vector bundle map, which consists of a horizontal lift procedure to a prolonged bundle. We further focus on prolongations to an affine bundle and introduce the concept of…

We explain how any Artin stack $\mathfrak{X}$ over $\mathbb{Q}$ extends to a functor on non-negatively graded commutative cochain algebras, which we think of as functions on Lie algebroids or stacky affine schemes. There is a notion of…

We show how derived categories build bridges across the current mathematical mainstream, linking geometric and algebraic, commutative and noncommutative, local and global banks. Arches in these bridges are pieces of semiorthogonal…

For an exact category having enough projective objects, we establish a bijection between thick subcategories containing the projective objects and thick subcategories of the stable derived category. Using this bijection we classify thick…

In this paper we construct full support character sheaves for stably graded Lie algebras. Conjecturally these are precisely the cuspidal character sheaves. Irreducible representations of Hecke algebras associated to complex reflection…

Let X be a quasi-compact scheme, equipped with an open covering by affine schemes. A quasi-coherent sheaf on X gives rise, by taking sections over the covering sets, to a diagram of modules over the various coordinate rings. The resulting…

This article contains a proof of the basic lemma. This lemma, discovered by Beilinson, yields a motivic proof of the Andreotti-Frankel theorem for affine varieties. Next, it is shown that the category of Cohomologically Constructible…

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.

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…

We give an intrinsic definition of toric symplectic stacks, and show that they are classified by simple convex polytopes equipped with some additional combinatorial data. This generalizes Delzant's classification of toric symplectic…

In these notes, an introduction to derived categories and derived functors is given. The main focus is the bounded derived category of coherent sheaves on a smooth projective variety.

Let $\mathbf{X}$ be an Adams geometric stack. We show that $D(A_{qc}(\mathbf{X}))$, its derived category of quasi-coherent sheaves, satisfies the axioms of a stable homotopy category defined by Hovey, Palmieri and Strickland. Moreover we…

We give a formulation for derived analytic geometry built from commutative differential graded algebras equipped with entire functional calculus on their degree 0 part, a theory well-suited to developing shifted Poisson structures and…

We study the bounded derived categories of torus-equivariant coherent sheaves on smooth toric varieties and Deligne-Mumford stacks. We construct and describe full exceptional collections in these categories. We also observe that these…

We establish the general machinery of string topology for differentiable stacks. This machinery allows us to treat on an equal footing free loops in stacks and hidden loops. In particular, we give a good notion of a free loop stack, and of…

This is a concise introduction to the theory of Lie groupoids, with emphasis in their role as models for stacks. After some preliminaries, we review the foundations on Lie groupoids, and we carefully study equivalences and proper groupoids.…

In this note, we give a formulation of log structures for derived stacks using Olsson's log stack. The derived cotangent complex is then Olsson's logarithmic cotangent complex, which (unlike Gabber's) is just given by log differential forms…

This is a companion overview paper to arXiv:2409.17489: we give all the main definitions, constructions and statements, but no proofs.