Related papers: A controlled local-global theorem for simplicial c…
Liouville's theorem says that in dimension greater than two, all conformal maps are M\"obius transformations. We prove an analogous statement about simplicial complexes, where two simplicial complexes are considered discretely conformally…
We prove that every finite connected simplicial complex has the homology of the classifying space for some $\mathrm{CAT}(0)$ cubical duality group. More specifically, for any finite simplicial complex $X$, we construct a locally…
We generalise the notion of subdivision of a finite-dimensional locally finite simplicial complex $X$ to geometric algebra, namely to the simplicially controlled categories $\mathbb{A}^*(X)$, $\mathbb{A}_*(X)$ of Ranicki and Weiss. We prove…
The main result of this article is: THEOREM. Every homogeneous locally conical connected separable metric space that is not a $1$-manifold is strongly $n$-homogeneous for each $n \geq 2$ and countable dense homogeneous. Furthermore,…
In this paper we give a necessary and sufficient condition for local controllability around closed orbits for general smooth control systems. We also prove that any such system on a compact manifold has a closed orbit.
In this article we consider the homotopy theory of stratified spaces through a simplicial point of view. We first consider a model category of filtered simplicial sets over some fixed poset $P$, and show that it is a simplicial…
In this paper, we study small-time local controllability of real analytic control-affine systems under small perturbations of their vector fields. Consider a real analytic control system $\mathcal{X}$ which is small-time locally…
We show that any closed model category of simplicial algebras over an algebraic theory is Quillen equivalent to a proper closed model category. By ``simplicial algebra'' we mean any category of algebras over a simplicial algebraic theory,…
We introduce a weak asymptotic version of nonlinear contraction, termed \emph{asymptotic pointwise contraction}. For a mapping on a metric space, this notion requires the existence of a sequence of functions that dominate the distances…
In a 2005 paper, Casacuberta, Scevenels and Smith construct a homotopy idempotent functor $E$ on the category of simplicial sets with the property that whether it can be expressed as localization with respect to a map $f$ is independent of…
We prove that for each positive integer $n$, the Rips complexes of the $n$-dimensional integer lattice in the $d_1$ metric (i.e., the Manhattan metric, also called the natural word metric in the Cayley graph) are contractible at scales…
We construct a model structure on the category of ordered simplicial complexes, Quillen equivalent to the standard model structure on simplicial sets. This shows that simplicial complexes, which are fully combinatorial in nature, provide a…
We consider the problem of topological linearization of smooth (C infinity or real analytic) control systems, i.e. of their local equivalence to a linear controllable system via point-wise transformations on the state and the control…
The central problem in computational algebraic topology is the computation of the homotopy groups of a given space, represented as a simplicial set. Algorithms have been found which achieve this, but the running times depend on the size of…
This paper develops a new approach to small time local attainability of smooth manifolds of any dimension, possibly with boundary and to prove H\"older continuity of the minimum time function. We give explicit pointwise conditions of any…
We define the compact universal cover of a compact, metrizable connected space (i.e. a continuum) X to be the inverse limit of all continua that regularly cover X. We show that such covers do indeed form an inverse system with bonding maps…
In extension theory, in particular in dimension theory, it is frequently useful to represent a given compact metrizable space X as the limit of an inverse sequence of compact polyhedra. We are going to show that, for the purposes of…
This paper takes its starting point in an idea of Grothendieck on the representation of homotopy types. We show that any locally finite nilpotent homotopy can be represented by a simplicial set which is a finitely generated free group in…
We consider locally symmetric manifolds with a fixed universal covering, and construct for each such manifold M a simplicial complex R whose size is proportional to the volume of M. When M is non-compact, R is homotopically equivalent to M,…
Given a locally presentable category together with a suitable functorial cylinder object, we construct model structures which are sensitive to the `direction' of the cylinder. We show that the Covariant and Contravariant model structures on…