Related papers: An answer to the Whitehead asphericity question

In physics, Lie groups represent the algebraic structure that describes symmetry transformations of a given system. Then, the descending Lie algebra of those groups are necessarily real. In most cases, the complexification of those Lie…

We study the positive theory of groups acting on trees and show that under the presence of weak small cancellation elements, the positive theory of the group is trivial, i.e. coincides with the positive theory of a non-abelian free group.…

A fundamental problem at the confluence of algebraic geometry and representation theory is to describe the cohomology of line bundles on flag varieties over a field of characteristic p. When p=0, the solution is given by the celebrated…

Let $G$ be a Lie group with real semisimple Lie algebra $\mathfrak{g}$. Further let $\mathfrak{g} = \mathfrak{k} \oplus \mathfrak{p}$ be a Cartan decomposition. The maximal compact subgroup $K \subseteq G$ acts on $\mathfrak{p}$ via the…

We prove that the mapping class group of the one-holed Cantor tree surface is acyclic. This in turn determines the homology of the mapping class group of the once-punctured Cantor tree surface (i.e. the plane minus a Cantor set), in…

Let $G$ be a group. The BCI problem asks whether two Haar graphs of $G$ are isomorphic if and only if they are isomorphic by an element of an explicit list of isomorphisms. We first generalize this problem in a natural way and give a…

Smooth axially symmetric Helfrich topological spheres are either round or else they must satisfy a second order equation known as the reduced membrane equation [17]. In this paper, we show that, conversely, axially symmetric closed genus…

The representation theory for categorical groups is constructed. Each categorical group determines a monoidal bicategory of representations. Typically, these categories contain representations which are indecomposable but not irreducible. A…

The edge group of a simplicial complex is a well-known, combinatorial version of the fundamental group. It is a group associated to a simplicial complex that consists of equivalence classes of edge loops and that is isomorphic to the…

A central question in the theory of hyperplane arrangements is when the complement of a complex arrangement is aspherical. Barkley and Speyer introduced a class of real arrangements that are called "clean," and Yoshinaga proved that every…

We consider the space of all configurations of finitely many (potentially nested) circles in the plane. We prove that this space is aspherical, and compute the fundamental group of each of its connected components. It turns out these…

It is conjectured by de Jong that, if $X$ is a connected smooth projective variety over an algebraically closed field $k$ of characteristic $p>0$ with trivial \'etale fundamental group, any isocrystal on on $X/W$ is trivial. We prove this…

We show that the topological complexity of an aspherical space $X$ is bounded below by the cohomological dimension of the direct product $A\times B$, whenever $A$ and $B$ are subgroups of $\pi_1(X)$ whose conjugates intersect trivially. For…

F. Wehrung has asked: Given a family $\mathcal{C}$ of subsets of a set $\Omega$, under what conditions will there exist a total ordering on $\Omega$ under which every member of $\mathcal{C}$ is convex? <p> Note that if $A$ and $B$ are…

We prove that if the initial hypersurface of the mean curvature flow in spheres satisfies a sharp pinching condition, then the solution of the flow converges to a round point or a totally geodesic sphere. Our result improves the famous…

We study the automorphism group of the algebraic closure of a substructure A of a pseudo-finite field F, or more generally, of a bounded PAC field F. This paper answers some of the questions of [1], and in particular that any finite group…

We give a new characterization of partial groups as a subcategory of symmetric (simplicial) sets. This subcategory has an explicit reflection, which permits one to compute colimits in the category of partial groups. We also introduce the…

The combinatorial Ricci curvature of Forman, which is defined at the edges of a CW complex, and which makes use of only the face relations of the cells in the complex, does not satisfy an analog of the Gauss-Bonnet Theorem, and does not…

Conformal prediction (CP) is a method for constructing a prediction interval around the output of a fitted model, whose validity does not rely on the model being correct--the CP interval offers a coverage guarantee that is…

We describe a family of representations in SL(3,$\mathbb C$) of the fundamental group $\pi$ of the Whitehead link complement. These representations are obtained by considering pairs of regular order three elements in SL(3,$\mathbb C$) and…