Related papers: Exodromy beyond conicality
Many important theorems in differential topology relate properties of manifolds to properties of their underlying homotopy types -- defined e.g. using the total singular complex or the \v{C}ech nerve of a good open cover. Upon embedding the…
We prove that the singular cohomology with finite coefficients of a finite-dimensional Stein space $S$ is isomorphic to the \'etale cohomology of the Stein algebra $\mathcal{O}(S)$. We deduce that any class in $H^k(S,\mathbb{Z})$ comes from…
We introduce a theory of stratifications of noncommutative stacks (i.e. presentable stable $\infty$-categories), and we prove a reconstruction theorem that expresses them in terms of their strata and gluing data. This reconstruction theorem…
We extend the stable motivic homotopy category of Voevodsky to the class of scalloped algebraic stacks, and show that it admits the formalism of Grothendieck's six operations. Objects in this category represent generalized cohomology…
A finite set can be supplied with a group structure which can then be used to select (classes of) differential calculi on it via the notions of left-, right- and bicovariance. A corresponding framework has been developed by Woronowicz, more…
Conjugation spaces are topological spaces equipped with an involution such that their fixed points have the same mod $2$ cohomology (as a graded vector space, a ring, and even an unstable algebra) but with all degrees divided by two,…
This article tackles the problem of the classification of expansive homeomorphisms of the plane. Necessary and sufficient conditions for a homeomorphism to be conjugate to a linear hyperbolic automorphism will be presented. The techniques…
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)…
Using the new approach to analytic geometry developed by Clausen and Scholze by means of condensed mathematics, we prove that for every affinoid analytic adic space $X$, pseudocoherent complexes, perfect complexes, and finite projective…
We will survey the work on the topology of $Out(F_n)$ in the last 20 years or so. Much of the development is driven by the tantalizing analogy with mapping class groups. Unfortunately, $Out(F_n)$ is more complicated and less well-behaved.…
We continue the analysis of the geometry of generic Minkowski $\mathcal{N} = 1$, $D = 4$ flux compactifications in M-theory using exceptional generalised geometry, including the calculation of the infinitesimal moduli spaces. The…
This paper is part of a series of three articles with the objective of investigating a stratified version of the homotopy hypothesis in terms of semi-model structures that interact well with classical examples of stratified spaces, such as…
We construct a many-object dual version of Chen's iterated integral map. For any topological space X, the construction takes the form of an A-infinity functor between two dg categories whose objects are the points of X: the domain has as…
We prove that for any field k of characteristic p>0, any separated scheme X of finite type over k, and any overconvergent F-isocrystal E over X, the rigid cohomology H^i(X, E) and rigid cohomology with compact supports H^i_c(X,E) are finite…
We construct infinite rank summands isomorphic to $\mathbb{Z}^\infty$ in the higher homotopy and homology groups of the diffeomorphism groups of certain $4$-manifolds. These spherical families become trivial in the homotopy and homology…
Let $X$ be a real analytic orbifold. Then each stratum of $X$ is a subanalytic subset of $X$. We show that $X$ has a unique subanalytic triangulation compatible with the strata of $X$. We also show that every ${\rm C}^r$-orbifold, $1\leq…
We show that all extended functorial field theories, both topological and nontopological, are local. We define the smooth (infinity,d)-category of bordisms with geometric data, such as Riemannian metrics or geometric string structures, and…
In the standard category of directed graphs, graph morphisms map edges to edges. By allowing graph morphisms to map edges to finite paths (path homomorphisms of graphs), we obtain an ambient category in which we determine subcategories…
We define and study several new interleaving distances for persistent cohomology which take into account the algebraic structures of the cohomology of a space, for instance the cup product or the action of the Steenrod algebra. In…
We lower substantially the strength of the assumptions needed for the validity of certain results in category theory and homotopy theory which were known to follow from Vopenka's principle. We prove that the necessary large-cardinal…