Related papers: Etale Homotopy Types and Bisimplicial Hypercovers

This paper demonstrates a topological meaning of quandle cocycle invariants of links with respect to finite connected quandles $X$, from a perspective of homotopy theory: Specifically, for any prime $\ell$ which does not divide the type of…

Given a reduced crystallographic root system with a fixed simple system, it is associated to a Weyl group $W$, parabolic subgroups $W_K$'s and a polytope $P$ which is the convex hull of a dominant weight. The quotient $P/W_K$ can be…

Gerbes are locally connected presheaves of groupoids. They are classified up to local weak equivalence by path components in a 2-cocycle category taking values in all sheaves of groups, their isomorphisms and homotopies. If F is a full…

We extend the classical (connected, etale) factorization of locally connected geometric morphisms into a (terminally connected, pro-etale) factorization for all geometric morphisms between Grothendieck topoi. We discuss properties of both…

Syntomic cohomology here defined yields a link between rigid cohomology and etale cohomology, viewing the last one as the fixed points under Frobenius of the former one. Let V be a complete discrete valuation ring, with perfect residue…

Suppose M is a connected PL 2-manifold and X is a compact connected subpolyhedron of M (X \neq 1pt, a closed 2-manifold). Let E(X, M) denote the space of topological embeddings of X into M with the compact-open topology and let E(X, M)_0…

Let $p \geq 2$ be a prime, and $\mathbb{F}_p$ be the field with $p$ elements. Extending a result of Seidel for $p=2,$ we construct an isomorphism between the Floer cohomology of an exact or Hamiltonian symplectomorphism $\phi,$ with…

Let p be a fibration over a finite simplicial complex, whose fibers have the homotopy type of finite simplicial complexes. Then p is equivalent to an approximate fibration whose total space is a compact ENR. The proof uses homotopy coherent…

Thin homotopies, introduced by Caetano-Picken, serve to axiomatize the holonomy of connections on principal bundles. This approach has been generalized to higher non-abelian bundles with connection through transport functors and higher…

We prove an "abelian, locally compact" Whitehead theorem in fine shape: A fine shape morphism between locally connected finite-dimensional locally compact separable metrizable spaces with trivial $\pi_0$ and $\pi_1$ is a fine shape…

We study a condensed version of the \'etale homotopy type of a scheme, which refines both the usual \'etale homotopy type of Friedlander-Artin-Mazur and the pro\'etale fundamental group of Bhatt-Scholze. In the first part of this paper, we…

We compute the Floer homology and Seiberg-Witten Floer homotopy type of Seifert rational homology $3$-spheres which fiber over $\mathbb{RP}^2$. We show that they are all $L$-spaces and their Floer homotopy type is a suspension of $S^0$.…

We develop a model structure on presheaves of small simplicially enriched categories on a site $\mathscr{C}$, for which the weak equivalences are 'stalkwise' weak equivalences for the Bergner model structure. This model structure is right…

In this note we study the local projective model structure on presheaves of complexes on a site, i.e. we describe its classes of cofibrations, fibrations and weak equivalences. In particular, we prove that the fibrant objects are those…

Let $Z\to X$ be a closed immersion of smooth affine schemes over an arbitrary field $k$, and $X^h_Z$ denote the henselization of $X$ along $Z$. For each presheaf $E\colon \mathbf{SH}(k)\to \mathrm{Ab}^\mathrm{op}$ on the stable motivic…

We compare Friedlander's definition of the etale topological type for simplicial schemes to another definition involving realizations of pro-simplicial sets. This can be expressed as a notion of hypercover descent for etale homotopy. We use…

One generally expects that the techniques of arboreal singularities and gluing of local differential graded categories will result in a useful global invariant for all Weinstein manifolds. In this paper we construct explicit models for the…

In this article, we investigate the class of Hermitian manifolds whose Bismut connection has parallel torsion ({\rm BTP} for brevity). In particular, we focus on the case where the manifold is (locally) homogeneous with respect to a group…

The purpose of this paper is to explain why the functor that sends a stratified topological space $S$ to the $\infty$-category of constructible (hyper)sheaves on $S$ with coefficients in a large class of presentable $\infty$categories is…

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…