Related papers: A homotopical consequence of branched covers

An \'etale homotopy type $T(X, z)$ associated to any pointed locally fibrant connected simplicial sheaf $(X, z)$ on a pointed locally connected small Grothendieck site $(\mc{C}, x)$ is studied. It is shown that this type $T(X, z)$…

We study the curvature of metric spaces and branched covers of Riemannian manifolds, with applications in topology and algebraic geometry. Here curvature bounds are expressed in terms of the CAT(k) inequality. We prove a general CAT(k)…

We study the homotopy type of the simplicial set of continuous semi-algebraic simplexes of an algebraic variety defined over a real closed field, which we will call the real homotopy type. We prove an analogue of the theorem of Artin-Mazur…

We prove that the profinite completion of the fundamental group of a compact 3-manifold $M$ satisfies a Tits alternative: if a closed subgroup $H$ does not contain a free pro-$p$ subgroup for any $p$, then $H$ is virtually soluble, and…

The main result of this paper is a sufficient condition in order to have a compact Thom-Mather stratified pseudomanifold endowed with a $\hat{c}$-iterated edge metric on its regular part $q$-parabolic. Moreover, besides stratified…

Let $\Sigma$ be a compact orientable surface of finite type with at least one boundary component. Let $f \in \textup{Mod}(\Sigma)$ be a pseudo Anosov mapping class. We prove a conjecture of McMullen by showing that there exists a finite…

We construct a model structure on simplicial profinite sets such that the homotopy groups carry a natural profinite structure. This yields a rigid profinite completion functor for spaces and pro-spaces. One motivation is the \'etale…

Given a closed smooth manifold $M$ of even dimension $2n\ge6$ with finite fundamental group, we show that the classifying space ${\rm BDiff}(M)$ of the diffeomorphism group of $M$ is of finite type and has finitely generated homotopy groups…

We prove a theorem of Tits type about automorphism groups for compact Kahler manifolds, which has been conjectured in the paper [KOZ].

Our main motivation for the work presented in this paper is to construct a localization functor, in a certain sense dual to the f-localization of Bousfield and Farjoun, and to study some of its properties. We succeed in a case which is…

Let ${\cal M}_{g,[n]}$, for $2g-2+n>0$, be the D-M moduli stack of smooth curves of genus $g$ labeled by $n$ unordered distinct points. The main result of the paper is that a finite, connected \'etale cover ${\cal M}^\l$ of ${\cal…

In this paper we define the pro-\'etale homotopy type of a scheme and prove some of its expected properties. Our definition is similar to the definition of the \'etale homotopy type by Michael Artin and Barry Mazur. We prove that for a qcqs…

We prove that any compact, orientable 3-manifold with empty or toral boundary is profinitely almost rigid among all compact, orientable 3-manifolds. In other words, the profinite completion of its fundamental group determines its…

Let $X$ be a connected compact complex manifold admitting a finite surjective map $A \to X$ from a complex torus $A.$ We prove that up to finite \'etale cover, $X$ is a product of projective spaces and a torus.

Let $(X,\bar x)$ be a pointed connected noetherian scheme. In this note, we give characterizations for the vanishing of the second \'etale homotopy group $\pi^{\rm \'et}_2(X,\bar x)$ in terms of splitting profinite-\'etale covers of $X$,…

Let $N$ be a prime 3-manifold that is not a closed graph manifold. Building on a result of Hongbin Sun and using a result of Asaf Hadari we show that for every $k\in\Bbb{N}$ there exists a finite cover $\tilde{N}$ of $N$ such that…

In the previous work, we study the moment polytope of the closure of the complex subtorus orbit in a symplectic toric manifold associated to an affine subspace when the closure is a smooth complex submanifold. In this paper, we clarify the…

We prove the $K(\pi,1)$ conjecture for affine Artin groups: the complexified complement of an affine reflection arrangement is a classifying space. This is a long-standing problem, due to Arnol'd, Pham, and Thom. Our proof is based on…

We show that there is a stable homotopy theory of profinite spaces and use it for two main applications. On the one hand we construct an \'etale topological realization of the stable motivic homotopy theory of smooth schemes over a base…

A smooth affine hypersurface Z of complex dimension n is homotopy equivalent to an n-dimensional cell complex. Given a defining polynomial f for Z as well as a regular triangulation of its Newton polytope, we provide a purely combinatorial…