Related papers: Diagrams and the second homotopy group

We study the smooth $2$-group structure arising in the presence of quantum field theory with one-form symmetry. We acquire $2$-group structures obtained by a central extension of the zero-form symmetry by the one-form symmetry. We determine…

Consider a finite connected $2$-complex $X$ endowed with a piecewise Riemannian metric and whose fundamental group is freely indecomposable, of rank at least $3$, and in which every $2$-generated subgroup is free. In this paper we show that…

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,…

We present a characterization of cotorsion-free abelian groups in terms of homomorphisms from fundamental groups of Peano continua, which aligns naturally with the generalization of slenderness to non-abelian groups. In the process, we…

In this paper, we study $k$-parabolic arrangements, a generalization of the $k$-equal arrangement for any finite real reflection group. When $k=2$, these arrangements correspond to the well-studied Coxeter arrangements. We construct a cell…

For a homomorphism f: A --> B of commutative rings, let D(A,B) denote Ker[Pic(A) --> Pic(B)]. Let k be a field and assume that A is a f.g. k-algebra. We prove a number of finiteness results for D(A,B). Here are four of them. 1: Suppose B is…

Let $C,A$ be countable abelian groups. In this paper we determine the complexity of classifying extensions $C$ by $A$, in the cases when $C$ is torsion-free and $A$ is a $p$-group, a torsion group with bounded primary components, or a free…

A conjugation-free geometric presentation of a fundamental group is a presentation with the natural topological generators $x_1, ..., x_n$ and the cyclic relations: $x_{i_k}x_{i_{k-1}} ... x_{i_1} = x_{i_{k-1}} ... x_{i_1} x_{i_k} = ... =…

We show that an odd dimensional closed manifold with positive curvature cannot contain an incompressible real projective plane in the sense that there is no map of the projective plane into the manifold which is nontrivial on both first and…

We give a counterexample to a conjecture by Miasnikov, Ventura and Weil, stating that an extension of free groups is algebraic if and only if the corresponding morphism of their core graphs is onto, for every basis of the ambient group. In…

We study the Linial--Meshulam model of random two-dimensional simplicial complexes. One of our main results states that for $p\ll n^{-1}$ a random 2-complex $Y$ collapses simplicially to a graph and, in particular, the fundamental group…

Let $G$ be the group of complex points of a real semi-simple Lie group whose fundamental rank is equal to 1, e.g. $G= \SL_2 (\C) \times \SL_2 (\C)$ or $\SL_3 (\C)$. Then the fundamental rank of $G$ is $2,$ and according to the conjecture…

We prove a topological rigidity result for simple, thick, hyperbolic P-manifolds of dimension 2: isomorphism of the fundamental groups implies homeomorphism of the P-manifolds. An immediate application is a diagram rigidity theorem for…

We introduce $k$-robust clique complexes, a family of simplicial complexes that generalizes the traditional clique complex. Here, a subset of vertices forms a simplex provided it does not contain an independent set of size $k$. We…

In this paper, we determine the 3-cell skeleton of $F$, where $F$ is the homotopy fiber of the canonical pinch map from a suspension of a simply-connected 2-cell complex onto a sphere. The main result is stated $p$-locally: for $p=2$, and…

We present a class of abelian groups that exhibit a high degree of freeness while possessing no non-trivial homomorphisms to a canonical free object. Unlike prior investigations, which primarily focused on torsion-free groups, our work…

The Atiyah conjecture for a discrete group G states that the $L^2$-Betti numbers of a finite CW-complex with fundamental group G are integers if G is torsion-free and are rational with denominators determined by the finite subgroups of G in…

Given a complete K\"ahler manifold $(X,\,\omega)$ with finite second Betti number, a smooth complex hypersurface $Y\subset X$ and a smooth real $d$-closed $(1,\,1)$-form $\alpha$ on $X$ with arbitrary, possibly non-rational, De Rham…

We demonstrate that companionships and conjunctions in double $\infty$-categories -- and more generally, in double Segal spaces -- extend to functors out of the free-living companionship and conjunction respectively. Specifically, we prove…

The cell-attachment problem, perhaps first studied by J.H.C. Whitehead around 1940, asks one to describe the effect of attaching one or more cells, on the algebraic invariants of a topological space. This thesis studies the effect of cell…