PROPERTIES OF THE COMBINATORIAL HANTZSCHE-WENDT GROUPS J. POPKO AND A. SZCZEPANSKI´ Abstract. The combinatorial Hantzsche-Wendt group Gn = −1 2 2 {x1, ..., xn | xi xj xixj , ∀i 6= j} was defined by W. Craig and P. A. Linnell in [3]. For n = 2 it is a fundamental group of 3-dimensional oriented flat manifold with no cyclic holonomy group. We calculate the Hilbert-Poincar´eseries of Gn,n ≥ 1 with Q and F2 coefficients. Moreover, we prove that a cohomological dimension of Gn is equal to n +1. Some other properties of this group are also considered. 1. Introduction Let Γ3 be the fundamental group of an oriented flat 3-manifold with non-cyclic holonomy, which was the first time defined by W. Hantzsche & H. Wendt and W. Nowacki in 1934, see [7], [11]. From [18, ch. 9], Γ3 is a torsion free crystallographic group of a rank 3. Where, by crystallo- graphic group of dimension n we understand a discrete and cocompact subgroup of a group E(n)= O(n) ⋉Rn of isometries of the Euclidean space Rn. From Bieberbach theorems [18] any crystallographic group Γ of rank n defines a short exact sequence (1) 1 → Zn → Γ → H → 1, where Zn is a free abelian subgroup of all translations of Γ and H is a finite group, called a holonomy group of Γ. In the case of Γ3 a group H = Z2 ⊕ Z2. As a subgroup of E(3) 1 0 0 −1 0 0 Γ3 = gen{A =( 0 −1 0 , (1/2, 1/2, 0)), B =( 0 1 0 , (0, 1/2, 1/2))}. 0 0 −1 0 0 −1 The Hantzsche-Wendt groups/manifolds are also defined in higher odd arXiv:2103.12494v4 [math.AT] 27 Jun 2021 dimensions, as fundamental groups of oriented flat manifolds of dimen- n−1 sions, n ≥ 3 with holonomy group (Z2) . We shall denote it by Γn, see [18, ch. 9]. From Bieberbach theorems there exist, for given n, a finite number L(n) of Hantzsche-Wendt groups (HW groups), up to isomorphism. However, the number L(n) growths exponentially, see 2020 Mathematics Subject Classification. Primary: 20J05; Secondary: 20H15 20E06 55R20 Key words and phrases. Hantzsche-Wendt groups, Hilbert-Poincar´eseries, coho- mological dimension Corresponding author: A. Szczepa´nski Date: June 29, 2021. 1 2 J. POPKO AND A. SZCZEPANSKI´ [16, Theorem 2.8]. Let us define an example of the HW group Γn of dimension ≥ 3 which is a generalization of Γ3. Example 1. Let n be an odd number. Then Γn = −1 0 ... 0 0 0 ... 0 0 0 −1 ... 0 0 0 ... 0 0 ... 0 0 ... −1 0 0 ... 0 0 = gen{γi =( 0 0 ... 0 1 0 ... 0 0 , (0, ..., 0, 1/2, 1/2, 0, ..., 0))}, 0 0 ... 0 0 −1 ... 0 0 ... 0 0 ... 0 0 0 ... −1 0 0 0 ... 0 0 0 ... 0 −1 where 1 is at the i-th place and the first 1/2 is at the i-th place, 1 ≤ i ≤ n − 1. In 1982, see [18], the second author proved that for odd n ≥ 3, Γn are rational homology spheres. Moreover, for n ≥ 5 the commutator sub- group of the group Γn is equal to the translation subgroup [18, Theorem 9.3]. Moreover, for m ≥ 7 there exist many isospectral manifolds non pairwise homeomorphic, [16, Corollary 3.6]. HW groups have an in- teresting connection with Fibonacci groups (see below) and the theory of quadratic forms over the field F2, [18, Theorem 9.5]. HW-manifolds have not Spin and SpinC-structures, [8] and [18, page 109]. Finally HW manifolds are cohomological rigid that means two HW manifolds are homeomorphic if and only if their cohomology rings over F2 are isomorphic, [13]. G is called a unique product group if given two nonempty finite sub- set X,Y of G, then exists at least one element g ∈ G which has a unique representation g = xy with x ∈ X and y ∈ Y. A unique product group is torsion free, though the converse is not true in general. Origi- nal motivation for studying unique product groups was the Kaplansky zero divisor conjecture, namely that if k is a field and G is a torsion free group, then kG is a domain. It was proved in 1988 [15] that a group G2 is a nonunique product group. To prove it the author uses the combinatorial presentation ([12, Lemma 13.3.1, p. 606-607]) −1 2 2 −1 2 2 (2) Γ3 = {x, y | x y xy ,y x yx }. However the counterexample to the Kaplansky unit conjecture was given in 2021 by G. Gardam [4]. Again the counterexample was found in the group ring F2[Γ3]. The Kaplansky unit conjecture states that every unit in K[G] is of the form kg for k ∈ K \{0} and g ∈ G. In [3] is proposed the following generalization of Γ3. Definition 1. By combinatorial Hantzsche-Wendt group we shall un- derstand a finite presented group −1 2 2 Gn = {x1, ..., xn|xi xj xixj ∀ i =6 j}. PROPERTIES OF THE COMBINATORIAL HANTZSCHE-WENDT GROUPS 3 It is easy to see that, G0 = 1 and G1 = Z. Moreover G2 is the Hantzsche - Wendt group of dimension 3. Let n 2 2 2 (3) Z ≃ An ≃hx1, x2, ..., xni, be a free abelian subgroup of Gn. In [3, Lemma 3.1] is proved that n n n Z ⊳ Gn. Later we shall denote An by Z . Moreover, Wn = Gn/Z = 2 2 2 n hx1, ..., xn | x1, x2, ..., xni≃∗ Z2. Finally in [3, Theorem 3.3] is proved that Gn is torsion free for all n ≥ 1. This is also the corollary from Theorem 2. For any 1 ≤ m ≤ n, Gm embeds in Gn and for n ≥ 2,Gn is a nonunique product group [3, Corollary 3.5]. Another interesting result of [3, Theorem 3.6] is following. There is for n ≥ 3 a surjective n−1 homomorphism Φn : Gn−1 → Γn. It is easy to see that Φn(Z ) is a free abelian subgroup of the translation subgroup of Γn of a rank n−1. n−1 n−1 Since Γn/Φn(Z ) is an infinite group and KerΦn ∩ Z = 1 then KerΦn is an infinite generated free group. At that point we would like to mention the following related result, see [10]. Recall that the Fibonacci group F(r, n) is defined by the presentation F (r, n)= {a0, ..., an−1|aiai+1 ··· ai+r−1 = ai+r, 0 ≤ i ≤ n − 1}, where the indices are understood modulo n. There exists connection of these groups with our family Gn. We know that F (2, 6) is isomorphic to Γ3, and there is, for any n ≥ 3 an epimorphism Ψn : F (n−1, 2n) → Γn. In the first part of a paper we shall show two models of BGn (or K(Gn, 1)). They are a topological realization of two algebraic repre- sentations of Gn. The first model is an appriopriate gluing of n copies of generalized fat Klein bottles. It corresponds to isomorphism Gn n with ∗Zn Kn where Kn is a generalized Klein bottle crystallographic group and amalgamated are translation lattices. The second model is some Borel construction. It corresponds to representation Gn as an extension: n (4) 1 → Z → Gn → Wn → 1. From the first model we obtain that a cohomological dimension of Gn is equal to n +1 for n> 1. In the second part we calculate the Hilbert-Poincar´eseries of Gn, n ≥ 1 with Q and F2 coefficients and explicate algebra structure on coho- mologies. Here our main tools will be the Lyndon-Hochschild-Serre (LHS) spectral sequence of the group extension (4). The case with F2 coefficients use a multiplicative structure of LHS. In F2 case it is ⋆,⋆ enough to use E3 groups, but in the raional coefficient we only need ⋆,⋆ a E2 . (See formulas 12 and 16.) In the last part we calculate some other invariants and propeties of Gn. For example abelianization and the Euler characteristic. 4 J. POPKO AND A. SZCZEPANSKI´ Acknowledgements We are grateful to Giles Gardam for pointing out a small typo in an earlier version of the paper. 2. Two models of BGn 2.1. Gluing fat Klein bottles. We start with an example. Example 2. Let K− be a fundamental group of the Klein bottle and Z2 its maximal abelian subgroup of index two. It is well known (see [9, Chapter 8.2, p. 153]) that Γ3 ≃ K− ∗Z2 K−. A generalization of the above example gives us the following char- (i) acterization of the combinatorial Hantzsche - Wendt group. Let Gn denotes a subgroup of Gn generated by {xi} and an abelian subgroup (3) Zn. We shall call it a generalized Klein bottle. Proposition 1. The natural group homomorphism n i (5) ∗Z Gn → Gn is an isomorphism. Proof: It follows from a definition and a structure of the free products with amalgamation. i Gn is a torsion free crystallographic group of dimension n and acts n freely on R (in a way analogous to K− sa has classifying space which is n dimensional closed flat manifold Ki (the generalized Klein bot- tle). A topological interpretation of the isomorphism (5) gives us a n + 1 dimensional classifying space BGn as a (homotopicaly) gluing together n generalized Klein bottles K(1),K(2), ..., K(n) after common n dimensional torus Rn/Zn. This space has dimension n + 1 since we must convert maps Rn/Zn → K(i) to inclusions. More precisely it may n be done as follows.