Related papers: Homotopic Nerve Complexes with Free Group Presenta…
We consider systems $(M,\omega,g)$ with $M$ a closed smooth manifold, $\omega$ a real valued closed one form and $g$ a Riemannian metric, so that $(\omega,g)$ is a Morse-Smale pair, Definition~2. We introduce a numerical invariant…
Structural and functional heterogeneity are hallmarks of cortical circuits, from broad degree distributions in the mouse connectome to diverse intrinsic neuronal timescales. Yet a mechanistic link between connectivity heterogeneity and…
Given a group $G$ and a class of manifolds $\CC$ (e.g. symplectic, contact, K\"ahler etc), it is an old problem to find a manifold $M_G \in \CC$ whose fundamental group is $G$. This article refines it: for a group $G$ and a positive integer…
We show that basic homotopical notions such as homotopy sets and groups, connected and truncated maps, cellular constructions and skeleta, etc., extend to the setting of $(\infty,\infty)$-categories, as well as to presentable categories…
We show that mapping class groups associated to all types of real algebraic curves are virtual duality groups. We also deduce some results about the orbifold homotopy groups of the moduli spaces of real algebraic curves. We achieve these…
Let G be a graph cellularly embedded in a surface S. Given two closed walks c and d in G, we take advantage of the RAM model to describe linear time algorithms to decide if c and d are homotopic in S, either freely or with fixed basepoint.…
We discuss various concepts of $\infty$-homotopies, as well as the relations between them (focussing on the Leibniz type). In particular $\infty$-$n$-homotopies appear as the $n$-simplices of the nerve of a complete Lie ${\infty}$-algebra.…
In this paper we first recall the definition of geometical model of the visual cortex, focusing in particular on the geometrical properties of horizontal cortical connectivity. Then we recognize that histograms of edges - co-occurrences are…
A presheaf of complexes is constructed on a category of weighted finite subsets of a fixed Euclidean space. To each object, a Koszul complex is assigned which resolves the coordinate ring of least squares solutions on that data set for a…
Let G be a finite group. The unit sphere in a finite-dimensional orthogonal G-representation motivates the definition of homotopy representations, due to tom Dieck. We introduce an algebraic analogue, and establish its basic properties…
We derive conditions under which the reconstruction of a target space is topologically correct via the \v{C}ech complex or the Vietoris-Rips complex obtained from possibly noisy point cloud data. We provide two novel theoretical results.…
We provide a mathematical realization of a conjecture by Kitaev, on the basis of the operator-algebraic formulation of infinite quantum spin systems. Our main results are threefold. First, we construct an $\Omega$-spectrum $\mathit{IP}_*$…
This monograph introduces a framework for genuine proper equivariant stable homotopy theory for Lie groups. The adjective `proper' alludes to the feature that equivalences are tested on compact subgroups, and that the objects are built from…
We develop the theory of CW(A)-complexes, which generalizes the classical theory of CW-complexes, keeping the geometric intuition of J.H.C. Whitehead's original theory. We obtain this way generalizations of classical results, such as…
We show that diagram groups can be viewed as fundamental groups of spaces of positive paths on directed 2-complexes (these spaces of paths turn out to be classifying spaces). Thus diagram groups are analogs of second homotopy groups,…
In this article, we define a family of regular bipartite graphs and show that the homotopy type of the independence complexes of this family is the wedge sum of spheres of certain dimensions.
Let $f$ be a real- or circle-valued Morse function on a compact surface M having exactly $n>0$ critical points. Denote by $O$ the orbit of $f$ with respect to the right action of the group of diffeomorphisms of $M$. We show that the…
This report is an account of freely representable groups, which are finite groups admitting linear representations whose only fixed point for a nonidentity element is the zero vector. The standard reference for such groups is Wolf (1967)…
Let F be a finitely generated discrete group. Given a covering map H to G of Lie groups with G either compact or complex reductive, there is an induced covering map Hom(F, H) to Hom(F, G). We show that when the fundamental group of G is…
For a genus g handlebody H a simplicial complex, with vertices being isotopy classes of certain incompressible surfaces in H, is constructed and several properties are established. In particular, this complex naturally contains, as a…