Related papers: Constructible hypersheaves via exit paths
The aim of this paper is to construct exact model structures from so called extendable cotorsion pairs. Given a hereditary Hovey triple $(\mathcal{C}, \mathcal{W}, \mathcal{F})$ in a weakly idempotent complete exact category with enough…
We investigate the positivity and extension of invertible sheaves on group homogeneous spaces over coherent bases. Bypassing the failure of standard limit arguments and the classical Weil--Cartier correspondence, we develop a valuative…
We give a sufficient condition for an Ext-finite triangulated category to be saturated. Saturatedness means that every contravariant cohomological functor of finite type to vector spaces is representable. The condition consists in existence…
Let $X$ be any rational surface. We construct a tilting bundle $T$ on $X$. Moreover, we can choose $T$ in such way that its endomorphism algebra is quasi-hereditary. In particular, the bounded derived category of coherent sheaves on $X$ is…
We develop a theory of Goodwillie calculus for functors between $G$-equivariant homotopy theories, where $G$ is a finite group. We construct $J$-excisive approximations of a homotopy functor for any finite $G$-set $J$. These fit together…
In this short note we present a generating function computing the compactly supported Euler characteristic $\chi_c(F(X, n), K^{\boxtimes n})$ of the configuration spaces on a topologically stratified space $X$, with $K$ a constructible…
We give a framework to produce constructible functions from natural functors between categories, without need of a morphism of moduli spaces to model the functor. We show using the Riemann-Hilbert correspondence that any natural (derived)…
Given a finite cocommutative Hopf algebra $A$ over a commutative regular ring $R$, the lattice of localising tensor ideals of the stable category of Gorenstein projective $A$-modules is described in terms of the corresponding lattices for…
When a reductive group $G$ acts linearly on a complex projective scheme $X$ there is a stratification of $X$ into $G$-invariant locally closed subschemes, with an open stratum $X^{ss}$ formed by the semistable points in the sense of…
In this paper, we study the extended Hamilton-Jacobi Theory in the context of dynamical systems with symmetries. Given an action of a Lie group $G$ on a manifold $M$ and a $G$-invariant vector field $X$ on $M$, we construct complete…
The effective freeness in Fujita's conjecture states that, for an ample line bundle $L$ on a complex projective manifold $X$, the adjoint bundle $K_X\otimes L^{\otimes m}$ is globally generated when $m \geq \dim_{\mathbb C} X + 1$.…
This paper develops a theory of colimit sketches "with constructions" in higher category theory, formalising the input to the ubiquitous procedure of adjoining specified "constructible" colimits to a category such that specified "relation"…
Throughout this paper we study the existence of irreducible curves C on smooth projective surfaces S with singular points of prescribed topological types S_1,...,S_r. There are necessary conditions for the existence of the type \sum_{i=1}^r…
We give an example of geometric construction (via Hecke correspondences) of certain representations of the affine Lie algebra $\hat{gl}_n$. The construction is similar to the one of [FK] for the Lie algebra $sl_n$. Given a surface with a…
We compute (algebraically) the Euler characteristic of a complex of sheaves with constructible cohomology. A stratified Poincar\'e-Hopf formula is then a consequence of the smooth Poincar\'e-Hopf theorem and of additivity of the…
In this paper, we construct recollements and ladders for exceptional curves by using reduction/insertion functors due to $p$-cycle construction. As applications to weighted projective lines, we classify recollements for the category of…
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 show that the functor sending a locally compact Hausdorff space $X$ to the $\infty$-category of spectral sheaves $\mathrm{Shv}(X; \mathrm{Sp})$ is initial among all continuous six-functor formalisms on the category of locally compact…
In this note, we consider the problem of constructing an enlargement of the category of Betti sheaves that supports an ``exponential local system'' on $\mathbb R$, and a Fourier equivalence defined on all sheaves. We show that there is a…
In this thesis we study two main topics which culminate in a proof that four distinct definitions of the equivariant derived category of a smooth algebraic group $G$ acting on a variety $X$ are in fact equivalent. In the first part of this…