Related papers: A controlled local-global theorem for simplicial c…
In this paper, we show that any finite simplicial complex is homeomorphic to the inverse limit of a sequence of finite posets, which is an extension of Claders result.
It is known that if a nonlinear control affine system without drift is bracket generating, then its associated sub-Laplacian is invertible under some conditions on the domain. In this note, we investigate the converse. We show how…
In this paper, we determine the homotopy type of the Morse complex of certain collections of simplicial complexes by studying dominating vertices or strong collapses. We show that if $K$ contains two leaves that share a common vertex, then…
Let $k$ be a field of characteristic $p > 0$. For $G$ an elementary abelian $p$-group, there exist collections of permutation module such that if $C^*$ is any exact bounded complex whose terms are sums of copies of modules from the…
We prove that a locally nilpotent group $G$ of $C^{1}$ diffeomorphisms of a compact surface $S$ of non-vanishing Euler characteristic has a finite orbit ${\mathcal O}$ whose cardinal is bounded by above by a function of the characteristic…
The state spaces of machines admit the structure of time. A homotopy theory respecting this additional structure can detect machine behavior unseen by classical homotopy theory. In an attempt to bootstrap classical tools into the world of…
Given a simplicial pair $(X,A)$, a simplicial complex $Y$, and a map $f:A \to Y$, does $f$ have an extension to $X$? We show that for a fixed $Y$, this question is algorithmically decidable for all $X$, $A$, and $f$ if $Y$ has the rational…
We prove that various spaces of constrained positive scalar curvature metrics on compact 3-manifolds with boundary, when not empty, are contractible. The constraints we mostly focus on are given in terms of local conditions on the mean…
In this two papers we deal with the relative homotopy Dirichlet problem for p-harmonic maps from compact manifolds with boundary to manifolds of non-positive sectional curvature. Notably, we give a complete solution to the problem in case…
The topological properties of a set have a strong impact on its computability properties. A striking illustration of this idea is given by spheres and closed manifolds: if a set $X$ is homeomorphic to a sphere or a closed manifold, then any…
We construct a real combinatorial model for the configuration spaces of points of compact smooth oriented manifolds without boundary. We use these models to show that the real homotopy type of configuration spaces of a simply connected such…
In this paper we consider simplicial families, that is, simplicial objects indexed by a simplicial set. We develop a method to construct family hypercover refinements of a cover family based on the notion of \emph{n-spans} that we introduce…
In this article we study how bad can be the singularities of a time-optimal trajectory of a generic control affine system. In the case where the control is scalar and belongs to a closed interval it was recently shown in [6] that…
We prove that any arithmetic locally symmetric space is homotopy equivalent to a simplicial complex where the number of simplices is bounded linearly in the volume of the space. This settles a well-known conjecture of Gelander. The main…
We show that the Vietoris-Rips complex $\mathcal R(n,r)$ built over $n$ points sampled at random from a uniformly positive probability measure on a convex body $K\subseteq \mathbb R^d$ is a.a.s. contractible when $r \geq c \left(\frac{\ln…
A simplicial set is non-singular if the representing map of each non-degenerate simplex is degreewise injective. The simplicial mapping set $X^K$ has $n$-simplices given by the simplicial maps $\Delta[n] \times K \to X$. We prove that $X^K$…
In this paper we obtain results indicating that fine shape is tractable and "not too strong" even in the non-locally compact case, and can be used to better understand infinite-dimensional metrizable spaces and their homology theories. We…
The main goal of this paper is proving the fixed point theorem for finite groups acting on weakly systolic complexes. As corollaries we obtain results concerning classifying spaces for the family of finite subgroups of weakly systolic…
We show that any action of a finite group on a finitely presentable group arises as the action of the group of self-homotopy equivalences of a space on its fundamental group. In doing so, we prove that any finite connected (abstract)…
This article proposes an algorithm that constructs a Sullivan minimal model for any simply connected simplicial set with effective homology and thereby allows one to decide algorithmically whether two simply connected spaces represented by…