Related papers: Asphericity of cubical presentations: the 2-dimens…

For all classical groups (and for their analogs in infinite dimension or over general base fields or rings) we construct certain contractions, called "homotopes". The construction is geometric, using as ingredient involutions of associative…

Let M be a compact, connected and simply-connected Riemannian manifold, and suppose that G is a compact, connected Lie group acting on M by isometries. The dimension of the space of orbits is called the cohomogeneity of the action. If the…

We develop and investigate a general theory of representations of second-order functionals, based on a notion of a right comodule for a monad on the category of containers. We show how the notion of comodule representability naturally…

Consider a group $G$ acting nicely on a simply-connected simplicial complex $X$. Numerous classical methods exist for using this group action to produce a presentation for $G$. For the case that $X/G$ is 2-connected, we give a new method…

We introduce the concept of quasirational relation modules for discrete and pro-$p$ presentations of discrete and pro-$p$ groups and show that aspherical presentations and their subpresentations are quasirational. In the pro-$p$-case…

Starting from any proper action of any locally compact quantum group on any discrete quantum space, we show that its equivariant representation theory yields a concrete unitary 2-category of finite type Hilbert bimodules over the discrete…

In this paper, using some properties of fundamental groups and covering spaces of connected polyhedra and CW-complexes, we present topological proof for some famous theorems about finitely presented groups.

The D2 problem of C. T. C. Wall asks whether every finite cohomologically 2-dimensional CW-complex is homotopy equivalent to a finite 2-complex. Several potential counterexamples have been proposed, the longest standing of which is a…

From the homotopy groups of two cubic spherical 3-manifolds we construct the isomorphic groups of deck transformations acting on the 3-sphere. These groups become the cyclic group of order eight and the quaternion group respectively. By…

We prove that closed manifolds admitting a generic metric whose sectional curvature is locally quasi-constant are graphs of space forms. In the more general setting of QC spaces where sets of isotropic points are arbitrary, under suitable…

We prove that one-relator groups are coherent, solving a well-known problem of Gilbert Baumslag. Our proof strategy is readily applicable to many classes of groups of cohomological dimension two. We show that fundamental groups of…

We initiate the study of computable presentations of real and complex C*-algebras under the program of effective metric structure theory. With the group situation as a model, we develop corresponding notions of recursive presentations and…

We classify irreducible representations of connected compact Lie groups whose orbit space is isometric to the orbit space of a representation of a finite extension of (positive dimensional) toric group. They turn out to be exactly the…

I present a direct proof of Lemma 3(a) from O. V. Kulikova's work on torsion in the group $F/[M,N]$, using only Proposition 1.2 of Chiswell-Collins-Huebschmann on combinatorially aspherical presentations. In particular, I show that if two…

We classify simply connected rationally elliptic manifolds of dimension five and those of dimension six with small Betti numbers from the point of view of their rational cohomology structure. We also prove that a geometrically formal…

It is proved that fundamental groups of boolean representable simplicial complexes are free and the rank is determined by the number and nature of the connected components of their graph of flats for dimension $\geq 2$. In the case of…

We show that every spherical 2-Dupin submanifold that is not a hypersurface is conformally congruent to the standard embedding of the real, complex, quaternionic or octonionic projective plane. We also classify 2-CPC, 2-umbilical and weakly…

We investigate what it means for a (Hausdorff, second-countable) topological group to be computable. We compare several potential definitions in the literature. We relate these notions with the well-established definitions of effective…

We prove that a topological space is aspherical if and only if it satisfies B\"{o}kstedt-Neeman Theorem, i.e., the derived category of complexes of locally constant sheaves is equivalent to the derived category of complexes of sheaves with…

Given a strong 2-representation of a Kac-Moody Lie algebra (in the sense of Rouquier) we show how to extend it to a 2-representation of categorified quantum groups (in the sense of Khovanov-Lauda). This involves checking certain extra…