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

Let $U$ be an arbitrary word in letters $x_1^{\pm 1}, ..., x_m^{\pm 1}$ and $m \ge 2$. We prove that the group presentation $<x_1, ..., x_m \|\ U x_i U^{-1} = x_{i+1}, i=1,..., m-1>$ is aspherical. The proof is based upon prior partial…

A real representation $\pi$ of a finite group may be regarded as a homomorphism to an orthogonal group $\Or(V)$. For symmetric groups $S_n$, alternating groups $A_n$, and products $S_n \times S_{n'}$ of symmetric groups, we give criteria…

Main Theorem (3.3): Let $M$ be a compact four-dimensional manifold either with curvature, positive on complex isotropic two-planes, or self-dual of positive scalar curvature. If $\pi_1 (M)$ admits a nontrivial unitary representation, and…

We consider computational complexity of problems related to the fundamental group and the first homology group of (embeddable) $2$-complexes. We show, as an extension of an earlier work, that computing first homology of $2$-complexes is…

Our aim is to bring the theory of analogous polytopes to bear on the study of quasitoric manifolds, in the context of stably complex manifolds with compatible torus action. By way of application, we give an explicit construction of a…

We show that once-extended anomalous 3-dimensional topological quantum field theories valued in the 2-category of k-linear categories are in canonical bijection with modular tensor categories equipped with a square root of the global…

Given an oriented surface of positive genus with finitely many punctures, we classify the finite orbits of the mapping class group action on the moduli space of semisimple complex special linear two dimensional representations of the…

Quasirational (pro-$p$)presentations are studied. The difference between aspherical and quasirational presentations sheds some light on the Whitehead's conjecture. We confirm expectations O.V. Melnikov on existence of a proper class of…

In this paper we describe a homotopy torsion theory in the category of small symmetric monoidal categories. Thanks to the use of natural isomorphisms as basis for the nullhomotopy structure, this homotopy torsion theory enjoys some…

A group is SimpHAtic if it acts geometrically on a simply connected simplicially hereditarily aspherical (SimpHAtic) complex. We show that finitely presented normal subgroups of the SimpHAtic groups are either: finite, or of finite index,…

We outline the main features of the definitions and applications of crossed complexes and cubical $\omega$-groupoids with connections. These give forms of higher homotopy groupoids, and new views of basic algebraic topology and the…

We show that the category of partial comodules over a Hopf algebra $H$ is comonadic over ${\sf Vect}_k$ and provide an explicit construction of this comonad using topological vector spaces. The case when $H$ is finite dimensional is treated…

The moduli space of cubic surfaces in complex projective space is known to be isomorphic to the quotient of the complex 4-ball by a certain arithmetic group. We apply Borcherds' techniques to construct automorphic forms for this group and…

The aim of this paper is to explain how to get a complex of smooth representations out of the dual vector space to a smooth representation of a p-adic Lie group, in natural characteristic. The construction does not depend on any…

In this paper, the 2-category $\mathfrak{Rep}_{{\bf 2Mat}_{\mathbb{C}}}(\mathbb{G})$ of (weak) representations of an arbitrary (weak) 2-group $\mathbb{G}$ on (some version of) Kapranov and Voevodsky's 2-category of (complex) 2-vector spaces…

We say that a group G is a cube group if it is generated by a set S of involutions such that the corresponding Cayley graph Cay(G,S) is isomorphic to a cube. Equivalently, G is a cube group if it acts on a cube such that the action is…

In our recent work we described conditions under which a multi-parameter random simplicial complex is connected and simply connected. We showed that the Betti numbers of multi-parameter random simplicial complexes in one specific dimension…

Wall's D(2) problem asks if a cohomologically 2-dimensional geometric 3-complex is necessarily homotopy equivalent to a geometric 2-complex. We solve part of the problem when the fundamental group is dihedral of order $2^n$, and offer a…

Double coverings of the orthogonal groups of the real and complex spaces are considered. The relation between discrete transformations of these spaces and fundamental automorphisms of Clifford algebras is established, where an isomorphism…

Francois Rodier proved that it is possible to view smooth representations of certain totally disconnected abelian groups (the underlying additive group of a finite-dimensional p-adic vector space, for example) as sheaves on the Pontryagin…