Related papers: Fundamental Groups of Simplicial Complexes

For finite nilpotent groups $G$ and $G^{\prime}$, and a $G$-adapted ring $S$ (the rational integers, for example), it is shown that any isomorphism between the centers of the group rings $SG$ and $SG^{\prime}$ is monomial, i.e., maps class…

In this note, we investigate how different fundamental groups of presentations of a fixed algebra $A$ can be. For finitely many finitely presented groups $G_i$, we construct an algebra $A$ such that all $G_i$ appear as fundamental groups of…

For each prime p, we exhibit pairs of p-groups all of whose integral cohomology groups are isomorphic. The method used involves very little calculation. The groups are exhibited as kernels of homomorphisms from a compact Lie group G to…

We prove that a connected simplicial complex is uniquely determined by its complex of discrete Morse functions. This settles a question raised by Chari and Joswig. In the 1-dimensional case, this implies that the complex of rooted forests…

The object of study in this paper is the finite groups whose integral group rings have only trivial central units. Prime-power groups and metacyclic groups with this property are characterized. Metacyclic groups are classified according to…

We introduce graphical complexes of groups, which can be thought of as a generalisation of Coxeter systems with 1-dimensional nerves. We show that these complexes are strictly developable, and we equip the resulting Basic Construction with…

Binoid schemes generalise monoid schemes, which in turn enable us to generalise toric varieties. Let $X$ be a binoid scheme. The aim of this paper is to calculate the topological fundamental group of $KX$, where $K=\mathbb{C}$ or…

Let A be the moduli space of (1,p)-polarised abelian surfaces with a level structure, for p an odd prime. Let X be a desingularisation of any algebraic compactification of A. Then X is simply-connected.

We define a simplicial differential calculus by generalizing divided differences from the case of curves to the case of general maps, defined on general topological vector spaces, or even on modules over a topological ring K. This calculus…

Twenty years ago Gromov asked about how large is the set of isomorphism classes of groups whose systolic area is bounded from above. This article introduces a new combinatorial invariant for finitely presentable groups called {\it…

We establish an upper bound on the cardinality of a minimal generating set for the fundamental group of a large family of connected, balanced simplicial complexes and, more generally, simplicial posets.

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…

Critical ideals generalize the critical group, Smith group and the characteristic polynomials of the adjacency and Laplacian matrices of a graph. We give a complete characterization of the digraphs with at most one trivial critical ideal.…

A discrete map based on the sum of an integer's distinct primes factors and the sum of its other factors is defined and its iteration is studied.

In this note we investigate to what extent the fundamental group of a metric space can be described as the inverse limit of its discrete fundamental groups. We show that some mild conditions suffice to imply the existence of an isomorphism…

Working in univalent foundations, we investigate the symmetries of spheres, i.e., the types of the form $\mathbb{S}^n = \mathbb{S}^n$. The case of the circle has a slick answer: the symmetries of the circle form two copies of the circle.…

Following our previous work, we develop an algorithm to compute a presentation of the fundamental group of certain partial compactifications of the complement of a complex arrangement of lines in the projective plane. It applies, in…

The object of this paper is to examine finite solvable groups whose integral group rings have only trivial central units.

A dimension group is an ordered abelian group that is an inductive limit of a sequence of simplicial groups, and a stationary dimension group is such an inductive limit in which the homomorphism is the same at every stage. If a simple…

Fundamental groups of fake projective planes fall into fifty distinct isomorphism classes, one for each complex conjugate pair. We prove that this is not the case for their algebraic fundamental groups: there are only forty-six isomorphism…