Related papers: Constructible hypersheaves via exit paths

In this article we consider the homotopy theory of stratified spaces through a simplicial point of view. We first consider a model category of filtered simplicial sets over some fixed poset $P$, and show that it is a simplicial…

In this work we use Hodge theoretic methods to study homotopy types of complex projective manifolds with arbitrary fundamental groups. The main tool we use is the \textit{schematization functor} $X \mapsto (X\otimes \mathbb{C})^{sch}$,…

We use Chen's iterated integrals to integrate representations up to homotopy. That is, we construct an A_infty functor from the representations up to homotopy of a Lie algebroid to those of its infinity groupoid. This construction extends…

Schneider-Stuhler and Vigneras have used cosheaves on the affine Bruhat-Tits building to construct natural finite type projective resolutions for admissible representations of reductive p-adic groups in characteristic not equal to p. We use…

The sheaf-function correspondence identifies the group of constructible functions on a real analytic manifold $M$ with the Grothendieck group of constructible sheaves on $M$. When $M$ is a finite dimensional real vector space,…

Let K be an algebraically closed field, X a K-scheme, and X(K) the set of closed points in X. A constructible set C in X(K) is a finite union of subsets Y(K) for finite type subschemes Y in X. A constructible function f : X(K) --> Q has…

If $G$ is a group acting on a tree $X$, and ${\mathcal S}$ is a $G$-equivariant sheaf of vector spaces on $X$, then its compactly-supported cohomology is a representation of $G$. Under a finiteness hypothesis, we prove that if $H_c^0(X,…

We construct a spectral sequence associated to a stratified space, which computes the compactly supported cohomology groups of an open stratum in terms of the compactly supported cohomology groups of closed strata and the reduced cohomology…

We generalize a result of Orlov and Van den Bergh on the representability of a cohomological functor from the bounded derived category of a smooth projective variety over a field to the category of L-modules, to the case where L is a field…

Let $X$ be a normal variety over a perfect field of positive characteristic and $B$ a reduced divisor on $X$. We prove that if the Cartier isomorphism on the log smooth locus of $(X,B)$ extends to the entire $X$, then $(X,B)$ satisfies the…

Conically smooth spaces (CSSs), introduced by Ayala, Francis and Tanaka, constitute a large class of singular spaces including Whitney-stratified spaces. We reduce the stratified topology of CSSs over depth-$1$ posets to the ordinary…

For an $F$-finite scheme $X$ separated over a perfect field $k$ of characteristic $p>0$ which admits an embedding into a smooth $k$-scheme, we establish an equivalence between the bounded derived categories of Cartier crystals on $X$ and…

In this paper we introduce constructible analogs of the discrete complexity classes $\mathbf{VP}$ and $\mathbf{VNP}$ of sequences of functions. The functions in the new definitions are constructible functions on $\mathbb{R}^n$ or…

This manuscript complements the Hirsch-Pugh-Shub (HPS) theory on persistence of normally hyperbolic laminations and the theorem of Robinson on the structural stability of diffeomorphisms that satisfy Axiom A and the strong transversality…

This thesis deals with the algorithmic representation of constructible sheaves of abelian groups on the \'etale site of a variety over an algebraically closed field, as well as the explicit computation of their cohomology. We describe three…

The representability theorem for stacks, due to Artin in the underived setting and Lurie in the derived setting, gives conditions under which a stack is representable by an $n$-geometric stack. In recent work of Ben-Bassat, Kelly, and…

Let X be a complex curve, $X_{sa}$ the subanalytic site associated to X, M a holonomic $D_X$-module. Let $O^t$ be the sheaf on $X_{sa}$ of tempered holomorphic functions, Sol(M) (resp. $Sol^t$(M)) the complex of holomorphic (resp. tempered…

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…

Let $G$ be a complex reductive group. The spherical Hecke category of $G$ can be presented as the category of $G_{\mathcal O}$-equivariant constructible sheaves on the affine Grassmannian $\mathrm{Gr}_G$. This category admits a convolution…

We present a local and constructive differential geometric description of finite-dimensional solvable and transitive Lie algebras of vector fields. We show that it implies a Lie's conjecture for such Lie algebras. Also infinite-dimensional…