We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.AT

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Algebraic Topology

Title: Constructible hypersheaves via exit paths

Authors: Damien Lejay
Abstract: 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 stratified space $ X $ with poset of strata $ A $, as functors from the exit paths $ \infty $-category $ \mathsf{Exit}_A (X) $ to $ \mathsf{S} $. Lurie's representation theorem works provided $ A $ satisfy the ascending chain condition. This typically rules out infinite dimensional examples of stratified space.
Building on it and with the help of a stratified homotopy invariance theorem from Haine, we show that when $ X $ is a nice enough $ A $-stratified space and when $ A $ is itself stratified $ A_{\leq 0} \subset A_{\leq 1} \subset \cdots \subset A $ by posets satisfying the ascending chain condition, \[
\mathsf{Hyp}_A (X) = \mathsf{Fun}(\mathsf{Exit}_A(X), \mathsf{S}) \] the $ \infty $-category of $ A $-constructible hypersheaves on $ X $ is represented by functors from the exit paths $ \infty $-category of $ X $.
There are two types of nice stratified spaces on which this extended representation theorem applies: conically stratified spaces and spaces that are sequential colimits of conically stratified spaces. Examples of application include the metric and the topological exponentials of a Fr\'echet manifold, locally countable simplicial complexes and more generally, locally countable cylindrically normal CW-complexes.
Comments: 30 pages
Subjects: Algebraic Topology (math.AT)
Cite as: arXiv:2102.12325 [math.AT]
  (or arXiv:2102.12325v1 [math.AT] for this version)

Submission history

From: Damien Lejay [view email]
[v1] Wed, 24 Feb 2021 15:00:48 GMT (39kb,D)

Link back to: arXiv, form interface, contact.