Related papers: Stratifications of real vector spaces from constru…

We decompose each moduli space of semistable sheaves on the complex projective plane with support of dimension one and degree four into locally closed subvarieties, each subvariety being the good or geometric quotient of a set of morphisms…

We develop a new approach to the study of supersymmetric gauge theories on ALE spaces using the theory of framed sheaves on root toric stacks, which illuminates relations with gauge theories on $\mathbb{R}^4$ and with two-dimensional…

The theory of $\Theta$-stratifications generalizes a classical stratification of the moduli of vector bundles on a smooth curve, the Harder-Narasimhan-Shatz stratification, to any moduli problem that can be represented by an algebraic…

We use Kiehl-Verdier's and Houzel's finiteness theorems in the setting of local analytic geometry, and the Whitney-Thom theory of stratified spaces, to prove that fibrewise constructible complex of sheaves have coherent direct images. We…

In this paper we give a construction of conic sheaves on a subanalytic site and we extend the Fourier-Sato transform to this framework. Let E be a n dimensional complex vector space and let E^* be its dual. As an application we construct…

This is the third installment in a series of papers on algebraic set theory. In it, we develop a uniform approach to sheaf models of constructive set theories based on ideas from categorical logic. The key notion is that of a "predicative…

This paper is the first in a series of papers in which we define and study a category of "sheaves of $\mathcal Z$-modules on the set of alcoves" that carries important information on the category of representations of semisimple Lie…

We study the homotopy theory of locally ordered spaces, that is manifolds with boundary whose charts are partially ordered in a compatible way. Their category is not particularly well-behaved with respect to colimits. However, this category…

We develop a `universal' support theory for derived categories of constructible (analytic or \'etale) sheaves, holonomic D-modules, mixed Hodge modules and others. As applications we classify such objects up to the tensor triangulated…

This article is a survey of recent work of the author, together with Markus Banagl, Eric Leichtnam, Rafe Mazzeo, and Paolo Piazza, on the Hodge theory of stratified spaces. We discuss how to resolve a Thom-Mather stratified space to a…

The goal of this article is to extend a theorem of Lurie \[ \mathsf{Sh}_A (X) = \mathsf{Fun}(\mathsf{Exit}_A (X), \mathsf{S}) \] representing constructible sheaves with values in $ \mathsf{S} $, the $ \infty $-category of spaces, on a…

Boij-S\"oderberg theory is the study of two cones: the cone of cohomology tables of coherent sheaves over projective space and the cone of standard graded minimal free resolutions over a polynomial ring. Each cone has a simplicial fan…

The Betti numbers of a graded module over the polynomial ring form a table of numerical invariants that refines the Hilbert polynomial. A sequence of papers sparked by conjectures of Boij and S\"oderberg have led to the characterization of…

Let S be a Noetherian scheme and f:X -> S a proper morphism. By SGA 4 XIV, for any constructible sheaf F of Z/nZ-modules on X, the sheaves of Z/nZ-modules R^if_*F obtained by direct image (for the etale topology) are also constructible:…

The geometric and algebraic properties of smooth projective varieties with 1-regular structure sheaf are well understood, and the complete classification of these varieties is a classical result. The aim of this paper is to study the next…

We state and prove a stratification result that allows us to classify the tensor ideal localizing subcategories for the stable module category $\text{Stab}(\mathcal{C}_{(\mathfrak{g}, \mathfrak{g}_{\bar 0})})$ of Lie superalgbera…

A theory of bisheaves has been recently introduced to measure the homological stability of fibers of maps to manifolds. A bisheaf over a topological space is a triple consisting of a sheaf, a cosheaf, and compatible maps from the stalks of…

We find locally free resolutions of length one for all semi-stable sheaves supported on curves of multiplicity five in the complex projective plane. In some cases we also find geometric descriptions of these sheaves by means of extensions.…

We introduce a notion of Gieseker stability for coherent sheaves on tame Deligne-Mumford stacks with projective moduli scheme and some chosen generating sheaf on the stack in the sense of Olsson and Starr \cite{MR2007396}. We prove that…

We develop a theory of sheaves and cohomology on the category of proper modulus pairs. This complements [KMSY21], where a theory of sheaves and cohomology on the category of non-proper modulus pairs has been developed.