Elementary amenable groups and 4-manifolds with Euler characteristic 0

Author(s):  
Jonathan A. Hillman

AbstractWe extend earlier work relating asphericity and Euler characteristics for finite complexes whose fundamental groups have nontrivial torsion free abelian normal subgroups. In particular a finitely presentable group which has a nontrivial elementary amenable subgroup whose finite subgroups have bounded order and with no nontrivial finite normal subgroup must have deficiency at most 1, and if it has a presentation of deficiency 1 then the corresponding 2-complex is aspherical. Similarly if the fundamental group of a closed 4-manifold with Euler characteristic 0 is virtually torsion free and elementary amenable then it either has 2 ends or is virtually an extension of Z by a subgroup of Q, or the manifold is asphencal and the group is virtually poly- Z of Hirsch length 4.

2016 ◽  
Vol 17 (2) ◽  
pp. 139 ◽  
Author(s):  
Laurence Boxer ◽  
P. Christopher Staecker

The current paper focuses on fundamental groups and Euler characteristics of various digital models of the 2-dimensional sphere. For all models that we consider, we show that the fundamental groups are trivial, and compute the Euler characteristics (which are not always equal). We consider the connected sum of digital surfaces and investigate how this operation relates to the fundamental group and Euler characteristic. We also consider two related but dierent notions of a digital image having "no holes," and relate this to the triviality of the fundamental group. Many of our results have origins in the paper [15] by S.-E. Han, which contains many errors. We correct these errors when possible, and leave some open questions. We also present some original results.


2018 ◽  
Vol 28 (06) ◽  
pp. 1049-1090 ◽  
Author(s):  
Nithi Rungtanapirom

We construct a torsion-free arithmetic lattice in [Formula: see text] arising from a quaternion algebra over [Formula: see text]. It is the fundamental group of a square complex with universal covering [Formula: see text], a product of trees with constant valency [Formula: see text], which has minimal Euler characteristic. Furthermore, our lattice gives rise to a fake quadric over [Formula: see text] by means of non-archimedean uniformization.


2019 ◽  
Vol 150 (3) ◽  
pp. 1139-1154
Author(s):  
Thiebout Delabie ◽  
Ana Khukhro

AbstractWe use a coarse version of the fundamental group first introduced by Barcelo, Kramer, Laubenbacher and Weaver to show that box spaces of finitely presented groups detect the normal subgroups used to construct the box space, up to isomorphism. As a consequence, we have that two finitely presented groups admit coarsely equivalent box spaces if and only if they are commensurable via normal subgroups. We also provide an example of two filtrations (Ni) and (Mi) of a free group F such that Mi > Ni for all i with [Mi:Ni] uniformly bounded, but with $\squ _{(N_i)}F$ not coarsely equivalent to $\squ _{(M_i)}F$. Finally, we give some applications of the main theorem for rank gradient and the first ℓ2 Betti number, and show that the main theorem can be used to construct infinitely many coarse equivalence classes of box spaces with various properties.


1998 ◽  
Vol 58 (2) ◽  
pp. 233-237
Author(s):  
Gabriela Putinar

We use a Betti number estimate of Freedman-Hain-Teichner to show that the maximal torsion-free nilpotent quotient of the fundamental group of a 3-manifold with boundary is either Z or Z ⊕ Z. In particular we reobtain the Evans-Moser classification of 3-manifolds with boundary which have nilpotent fundamental groups.


2017 ◽  
Vol 26 (11) ◽  
pp. 1750066
Author(s):  
J. A. Hillman

If [Formula: see text] is an orientable, strongly minimal [Formula: see text]-complex and [Formula: see text] has one end, then it has no nontrivial locally finite normal subgroup. Hence, if [Formula: see text] is a 2-knot group, then (a) if [Formula: see text] is virtually solvable, then either [Formula: see text] has two ends or [Formula: see text], with presentation [Formula: see text], or [Formula: see text] is torsion-free and polycyclic of Hirsch length 4 (b) either [Formula: see text] has two ends, or [Formula: see text] has one end and the center [Formula: see text] is torsion-free, or [Formula: see text] has infinitely many ends and [Formula: see text] is finite, and (c) the Hirsch–Plotkin radical [Formula: see text] is nilpotent.


2004 ◽  
Vol 15 (07) ◽  
pp. 673-690
Author(s):  
T. BANDMAN ◽  
A. LIBGOBER

We consider the class of quasiprojective varieties admitting a dominant morphism onto a curve with negative Euler characteristic. The existence of such a morphism is a property of the fundamental group. We show that for a variety in this class the number of maps onto a hyperbolic curve or surfaces can be estimated in terms of the numerical invariants of the fundamental group. We use this estimates to find the number of biholomorphic automorphisms of complements to some arrangements of lines.


1961 ◽  
Vol 5 (2) ◽  
pp. 49-66 ◽  
Author(s):  
Jens Mennicke

The object of this note is to study the regular coverings of the closed orientable surface of genus 2.Let the closed orientable surfaceFhof genushbe a covering ofF2and letand f be the fundamental groups respectively. Thenis a subgroup of f of indexn = h − 1. A covering is called regular ifis normal in f.Conversely, letbe a normal subgroup of f of finite index. Then there is a uniquely determined regular coveringFhsuch thatis the fundamental group ofFh. The coveringFhis an orientable surface. Since the indexnofin f is supposed to be finite,Fhis closed, and its genus is given byn=h − 1.The fundamental group f can be defined by.


2008 ◽  
Vol 19 (01) ◽  
pp. 21-26 ◽  
Author(s):  
JANG HYUN JO

A CW-complex X is called a [G,m]-complex if X is an m-dimensional complex with π1(X) ≅ G and the universal cover [Formula: see text] is (m - 1)-connected. We show that if G has an infinite amenable normal subgroup, then the asphericity of a [G,m]-complex X is equivalent to the vanishing of L2-Euler characteristic of [Formula: see text]. This result corresponds to a generalization and a variation of earlier several works. Also, we show that the L2-Betti numbers of a group which belongs to the class of groups K𝔉 eventually vanish. As a byproduct, we give an example of a group which belongs to the class of groups H𝔉 but does not belong to the class of groups K𝔉.


2019 ◽  
Vol 11 (04) ◽  
pp. 777-821
Author(s):  
Ian Hambleton ◽  
Alyson Hildum

We classify closed, spin[Formula: see text], topological [Formula: see text]-manifolds with fundamental group [Formula: see text] of cohomological dimension [Formula: see text] (up to [Formula: see text]-cobordism), after stabilization by connected sum with at most [Formula: see text] copies of [Formula: see text]. In general, we must also assume that [Formula: see text] satisfies certain [Formula: see text]-theory and assembly map conditions. Examples for which these conditions hold include the torsion-free fundamental groups of [Formula: see text]-manifolds and all right-angled Artin groupswhose defining graphs have no [Formula: see text]-cliques.


1970 ◽  
Vol 13 (1) ◽  
pp. 15-16 ◽  
Author(s):  
W. Jonsson

A. M. Macbeath, in November 1965, communicated the following theorem to me which he proved with the aid of the Lefschetz fixed point formula.Theorem. If Γ is a Fuchsian group and N a torsion free normal subgroup, then the rank of N/[Γ, N] is twice the genus of the orbit space D/Γ where D denotes the hyperbolic plane which Γ acts.This theorem will follow from a consideration of the exact sequence*


Sign in / Sign up

Export Citation Format

Share Document