Arxiv:2103.12494V4 [Math.AT] 27 Jun 2021 Orsodn Author: Corresponding Dimension Mological E Od N Phrases

arXiv:2103.12494v4 [math.AT] 27 Jun 2021 orsodn author: Corresponding dimension mological e od n phrases. and words Key 55R20 20E06 .WntadW oak n13,se[] 1] rm[8 h ] Γ crys by 9], Where, ch. 3. [18, dimension rank From of a [11]. of group group [7], graphic crystallographic see free 1934, torsion in a Hantzsch Nowacki is W. W. by and defined Wendt time H. first & the was which holonomy, non-cyclic ugopo group a of subgroup 1 1 (1) rank of Γ space where smrhs.Hwvr h number the However, isomorphism. nt ru,cle oooygopo Γ of group holonomy a called group, finite H iesos sfnaetlgop foine a aiod fdim of manifolds flat oriented sions, of groups fundamental as dimensions, e 1,c.9.Fo ibrahterm hr xs,frgiven for exist, there theorems Bieberbach From number 9]. finite a ch. [18, see h atsh-ed rusmnflsaeas endi ihro higher in defined also are groups/manifolds Hantzsche-Wendt The Γ 3 e Γ Let = gen = 2020 Date Z R n Z 2 Abstract. { to inl n[] For [3]. in Linnell retdfltmnfl ihn ylchlnm ru.W calculate We group. of Hilbert-Poincaré holonomy series cyclic the no with manifold flat oriented oevr epoeta ooooia ieso of dimension cohomological a that prove we Moreover, { 3 n x n ⊕ ue2,2021. 29, June : ≥ A RPRISO H COMBINATORIAL THE OF PROPERTIES ahmtc ujc Classification. Subject Mathematics . 1 n etefnaetlgopo noine a -aiodwith 3-manifold flat oriented an of group fundamental the be .,x ..., , safe bla ugopo l rnltoso and Γ of translations all of subgroup abelian free a is n ( = Z rmBeebc hoes[8 n rsalgahcgroup crystallographic any [18] theorems Bieberbach From 1 + ihhlnm ru ( group holonomy with 3 2 ensasoteatsequence exact short a defines .   . sasbru of subgroup a As n ATSH-ED GROUPS HANTZSCHE-WENDT oeohrpoete fti ru r loconsidered. also are group this of properties other Some 0 0 0 0 0 1 | L x ( h obntra atsh-ed group Hantzsche-Wendt combinatorial The − i − n .PPOADA SZCZEPA A. AND POPKO J. 1 0 1 .SzczepańskiA. fHnzceWntgop H rus,u to up groups), (HW groups Hantzsche-Wendt of ) x E j 2 atsh-ed rus ibr-ona´ eis coho- Hilbert-Poincaré series, groups, Hantzsche-Wendt − x n ( i n 1 x ti udmna ru f3-dimensional of group fundamental a is it 2 = = ) → j 2   1. , ∀ , n (1 i Z Introduction O 6= / n eudrtn iceeadcocompact and discrete a understand we 2 ( , j → n G 1 } E / ) n a endb .CagadP A. P. and Craig W. by defined was 2 (3) Γ R ⋉ 1 n , , 0)) Z → ≥ L B , 2 n ) with 1 ( H n rmr:2J5 eodr:20H15 Secondary: 20J05; Primary: n fioere fteEuclidean the of isometries of ( = − rwh xoetal,see exponentially, growths ) 1 → . .   esaldnt tb Γ by it denote shall We ntecs fΓ of case the In Q 1 − NSKI 0 0 1 0 0 ´ , 0 0 1 and F 2 − coefficients. G 1 n G   sequal is n , (0 = , 1 3 / 2 group a , H 1 tallo- / 2)) sa is en- dd } n, n . e 3 , 2 J. POPKO AND A. SZCZEPANSKI´

[16, Theorem 2.8]. Let us deﬁne 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 ﬁrst 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 subgroup 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 interesting 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. Deﬁnition 1. By combinatorial Hantzsche-Wendt group we shall understand a ﬁnite 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 ﬁrst part of a paper we shall show two models of BGn (or K(Gn, 1)). They are a topological realization of two algebraic representations of Gn. The ﬁrst 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éseries of Gn, n ≥ 1 with Q and F2 coefficients and explicate algebra structure on cohomologies. 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 deﬁnition 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 ﬂat manifold Ki (the generalized Klein bottle). 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. Let us deﬁne an action of Gn on R by

xi(v)i = vi +1/2 and xi(v)j = −vj, j =6 i, where v = (v1, v2, ..., vn) and an action on a segment I = [−1, 1] by xi(t)= −t, t ∈ I. Deﬁnition 2. (By the fat Klein bottle) we shall understand a space (i) n (i) Bn := (R × I)/Gn .

n n (i) (i) Let Sn := R /Z . Let us deﬁne maps α : Sn → Bn by a formula α(i)(v) = [(v, 1)].

Deﬁnition 3. By the space Bn we shall understand a colim of a diagram formed from maps α(i), i.e. (i) Bn := colimiα .

Theorem 1. The above sace Bn is a classifying space for Gn. PROPERTIES OF THE COMBINATORIAL HANTZSCHE-WENDT GROUPS 5

(i) n Proof: From definition an action of subgroup Gn on R is free and (i) an orbit space Kn we shall called the generalized Klein bottle. More- over, the fat Klein bottle is (n + 1) dimensional compact manifold with (i) (i) boundary and a projection on the first factor gives bundle Bn → Kn with fiber I, then in particular it is a homotopy equivalence. Finally, (i) (i) the map α is an embedding on boundary of Bn . However, more (i) (i) geometricaly we may write Bn := i Bn treating maps α as identifi- cations (so S ⊂ B(i)). In other words B is obtained from n copies of n n S n a fat Klein bottle by appriopriate identification of boundaries of differ- ent copies. To finish our proof we observe that π1(Bn) ≃ Gn after van Kampen theorem. The space Bn is aspherical after JHC Whitehead theorem in [19, Theorem 5].

Corollary 1. For n > 1 a cohomology dimension of Gn is equal to n +1.

Proof: For brevity we write B = Bn and S = Sn. From properties of B we have, that cdGn ≤ n +1. Let H denote cohomology with F2 coeﬃcients. We have an exact sequence Hn(S) → Hn+1(B,S) → Hn+1(B). Since dimHn(S) = 1 and dimHn+1(B,S) = n, then dimHn+1(B) ≥ n − 1. Hence cdGn ≥ n +1 for n> 1.

Remark 1. 1.- The space Bn is for n =1 a M¨obius band, for n =2 a closed manifold (a classical 3-dimensional Hantzsche-Wendt manifold). However for n > 2 it is nonmanifold, since there is singularity along Sn. 2.2. Borel construction (homotopy quotient). Let G be a discrete group and let pG : EG → BG be the universal G bundle. Assignment G 7→ pG may be done functorial in a group G and respecting products. If X is some G-space then the space

XG := (EG × X)/G is called the Borel construction on X, [1, p. 10]. Here G acts on EG×X by diagonal. Let fX : XG → BG be a quotient map. It is a ﬁbration with ﬁber X. It is easy to see that, if X is aspherical then XG is also aspherical.

Deﬁnition 4. (morphisms between morphisms) If f : X1 → X2 and g : Y1 → Y2 then a morphism from f to g is a pair (m1, m2) where mi : Xi → Yi and gm1 = m2f. 6 J. POPKO AND A. SZCZEPANSKI´

An operation of taking pullback along ψ is denoted by ψ⋆. We shall ⋆ write f ≃ m2(g) if (m1, m2): f → g and m1 is an isomorphim on ﬁbres. Let ξ, η ∈ W2 be generators of order 2 and D := Z2 ⊕Z2. An abelianization of W2 deﬁnes

2 α (6) 1 → Z ≃ (hξη) i→ W2 → D → 1. Let Σ be the unit circle on the complex plane. Deﬁne an action of D on Σ by formulas ξ(z)=¯z and η(z)= −z.¯ Denote a resulting D-space by U. In the above language we have a map fU : UD → BD and and we can observe that π1(fU ) ≃ α. We deﬁne (for i =1, 2, ..., n) homomorphisms φi : Gn → W2

(7) φi(xi)= ξη and φi(xj)= ξ for j =6 i.

n Then φ := (φ1, ..., φn) gives a homomorphism from Gn → (W2) . Let qn : Gn → Wn be a canonical surjection. Homomorphism φ factorizes n and we obtain a map (φ, ψ): qn → α and φ is an isomorphism on ﬁbres. We have.

⋆ n Lemma 1. qn ≃ ψ α .

Proof: With support of (6) we have the following commutative diagram

qn / n i / / / 1 Z Gn Wn 1

≃ φ ψ , n / n i1 / n α / n / 1 Z (W2) (Z2 ⊕ Z2) 1

Diagram 1

where i, i1 are inclusions. n Deﬁne a Wn action on the space Σ

(8) xi(z)i = −zi and xi(z)j =z ¯j for j =6 i, where z =(z1, z2, ..., zn).

Denote a resulting Wn-space by Tn. Proposition 2.

π1(fTn ) ≃ qn in particular π1((Tn)Wn ) ≃ Gn. PROPERTIES OF THE COMBINATORIAL HANTZSCHE-WENDT GROUPS 7

n Proof: An action on Tn is obtained by composing product D action with homomorphism ψ (i.e. w(x)= ψ(w)(z) for w ∈ Wn). Hence, from naturality we have a map of ﬁbrations

ˆ ˆ ˆ n (ψ1, ψ2)= ψ : fTn → fU .

Applying π1 we get

ˆ n π1(ψ): π1(fTn ) → π1(fU ).

A map ψˆ gives an isomorphism (identity) on fibres so a map π1(ψˆ) gives also an isomorphism on fibres by an application of the long exact ˆ sequence for fibrations. We have (for codomain components) (ψ)2 = Bψ so (π(ψˆ)2 = π(Bψ)= ψ. Hence

⋆ n π1(fTn ) ≃ ψ π1(fU ). But ⋆ ⋆ n ⋆ n ψ π1(fU n ) ≃ ψ π1(fU )) ≃ ψ α ≃ qn. Theorem 2.

(Tn)Wn = K(Gn, 1).

Proof: The space (Tn)Wn is aspherical because Tn is. And it has appriopriate fundamental groups by a proposition 2. n Let B = 1 RP (∞). The space B = K(Wn, 1), cf. [19]. Let E → B be the universal- covering. Then W Corollary 2. We have the ﬁbration n n (9) T → (T )Wn → E/Wn, where a Wn action on E is by deck transformation.

n Remark 2. The Wn action on T is higly noneﬀective. The kernel of it is a commutator subgroup of Wn, which is a free group of rank 1+(n − 2)2n−1. (See also the last section.)

3. Cohomologies of Gn

In this part we shall calculate a cohomology of the group Gn with Q coefficients (Theorem 3) and F2 coefficients (Theorem 4). We shall apply the Leray - Serre spectral sequence of the fibration (9) and equiva- lently Lyndon - Hochschild - Serre spectral sequence for the short exact sequence of groups (4) n ν 1 → Z → Gn → Wn → 1. 8 J. POPKO AND A. SZCZEPANSKI´

3.1. Hilbert-Poincaréseries. We start. Definition 5. ([5, p.230]) Let M be a topological space. For a fixed coefficient field k, define the Poincaréseries of M the formal power series i P (x, k) = Σiaix i where ai is the dimension of H (M,k) as a vector space over k, assum- ing this dimension is finite for all i. Theorem 3. The rational Hilbert-Poincaréseries of a space n K(Gn, 1) = T ×Wn E is equal to (10) (1 − (−1)n)) n − 2 n P (x, Q) = ((1+x)(1+ xn+x( (1+x)n−1− (1−x)n−1)). n 2 2 2 3 In particular, P0(x, Q)=1,P1(x, Q)= x +1,P2(x, Q)= x + 1).

Proof: We start with Lemma. p Lemma 2. For p> 1,H (Wn, Q)=0. Proof: We have a short exact sequence of groups related to an abelianization n (11) 1 → Fk → Wn → (Z2) → 1, n−1 where Fk is a non abelian free group of a rank k = 1+(n−2)2 . Hence q for q > 1,H (Fk, M) = 0 for any Fk-module M. Similar for any p ≥ p n n 1,H ((Z2) , N)=0 for any (Z2) -rational vector space N. Applying a i Leray-Serre spectral sequence to (11) we have for i ≥ 2,H (Wn,S)=0. Where S is Wn− rational vector space.

p,q p q n Corollary 3. For p > 1, q ≥ 0, E2 = H (Wn,H (Z , Q)) = 0 and 0,q 1,q diﬀerentials di =0 for i ≥ 2. Moreover, E2 textandE2 , q ≥ 0 are two non trivial columns of the spectral sequence.

A Hilbert-Poincar´epolynomial (10) is a sum f0 + f1, where p p,i i (12) fp = x Σidim(E2 )x .

p,q p i n Let us start to calculate dimensions of E2 = H (Wn,H (Z , Q)) for q n q n p =0, 1 and i ≥ 0. We shall use a Wn action on H (Z , Q)=Λ (Q ), n which follows from an action Wn on T , see (8). We introduce sequences ǫ ∈ {−1, 1}n. Denote by (−1)ǫ = −ǫ = A (−ǫ1, −ǫ2, ..., −ǫn). Moreover, for A ⊂ {1, 2, ..., n} a sequence e has PROPERTIES OF THE COMBINATORIAL HANTZSCHE-WENDT GROUPS 9

−1 exactly on positions from A. Finally let 1 = (1, 1, ..., 1) := e∅ and 1−ǫi |ǫ| := Σi 2 (number of −1 in the sequence).

By Qǫ we shall understand a rational numbers Q with a structure Wn-module such that the k generator of Wn acts by multipliaction by 1 n ǫk, 1 ≤ k ≤ n. In this language H (Z , Q) ≃ ΣiQ−ei as Wn-module. ∗ n ∗ n Moreover, H (Z , Q) ≃ Λ (Q ) is a sum of some Qǫ. Let i i h (ǫ) = dimH (Wn, Qǫ). From deﬁnition

1 if ǫ =1 0 if ǫ =1 h0(ǫ)= and h1(ǫ)= . (0 if ǫ =16 (|ǫ| − 1 if ǫ =16 Using (12) and the above formulas gives us i |A| i |A| A fi = x x h ((−1) e ), i =1, 2. A⊂{X1,2,...,n} Hence for n ≥ 0: 1 − (−1)n f =1+ xn 0 2 1+(−1)n f = xn+1(n − 1) + 1 2 n 1+(−1)k 1 − (−1)k +x Σ xk ((k − 1) +(n − k − 1) ). 0

Lemma 3. Formula (10) from Theorem 3 is equal to f0 + f1. Proof We shall use two formulas: n Σ xk = (1+ x)n − 1 − xn = g(x) 0

k k 1 k n−2 n k 1+(−1) 1−(−1) k(−1) + 2 − 2 (−1) = (k − 1) 2 + (n − k − 1) 2 10 J. POPKO AND A. SZCZEPANSKI´ n n − 2 n n n Σ xk(−1)k + Σ xk − Σ (−1)kxk = 0

As a complement of the above results we present an observation about ∗ an algebra structure of H (Gn, Q). ∗ Corollary 4. If x, y ∈ H (Gn, Q) are such that deg(x) > 0 and deg(y) > 0 then xy =0.

Proof: For n = 1 it is obvious. Let us assume n ≥ 2. From a proof 1 s of Theorem 3 H (Gn, Q) = 0 and H (Gn, Q) =0 for s > n +1. So, if deg(x) ≥ n and deg(y) ≥ n then xy = 0. Hence we can assume that deg(x) < n and deg(y) < n. From the proof of the Theorem 3 we know ∗ that the appriopriate Serre spectral sequence converging to H (Gn, Q) has the property: p,q (⋆) E∞ =0=6 ⇒ (p, q) ∈{(0, 0), (0, n)}∪{(1, i): i ≤ n}. ∗ Let (Fi) denote ﬁltration of H (Gn, Q) associated with the spectral sequence. From (⋆) and deg(x) < n and deg(y) < n it follows that x, y ∈ F1. Consequently xy ∈ F2. But again from (⋆) F2 =0.

A calculation of the cohomology over a F2 coeﬃcients needs a diﬀer- ent tools. We shall also apply the Lyndon - Hochschild - Serre spectral sequence for sequence of groups (4) n ν 1 → Z → Gn → Wn → 1. ∗,∗ In this case we have E3 =6 0 and we shall use multipliactive structures. PROPERTIES OF THE COMBINATORIAL HANTZSCHE-WENDT GROUPS 11

Theorem 4. n−1 (13) Pn(x, F2)=(1+ x)(1+(n − 1)x(1 + x) ).

In particular, P0(x, F2)=1,P1(x, F2) = x +1,P2(x, F2)=1+2x + 2x2 + x3).

Proof: We start with an observation which corresponds to the structur ∗ of an algebra H (Gn, F2).

Observation 1 Let A be an algebra over ﬁeld. Let A = F0 ⊆ F1 ⊆ F2 ⊆ F3 = 0 be an algebra ﬁltration on A. Assume that: F0/F1 = h1i. Then A ≃ grF as algebras.

There are canonical isomorphisms over F2 p,q p q n ∼ p q n E2 = H (Wn,H (Z )) ← H (Wn) ⊗ H (Z ), ∗ n H (Z2 , F2)= F2[z1, z2, ..., zn], 1 n n where zi ∈ H (Z2 , F2) = Hom(Z2 , F2) is a projection on i-coordinate, i =1, 2, ..., n and ∗ ∗ n (14) H (Wn, F2)= H (Z2 , F2)/{zizj|i =6 j}. 1 n 2 2 Let g1, ..., gn ∈ H (Z , F2) be a dual basis to x1, ..., xn. We shall denote by Λ(g1, ..., gn) an exterior algebra over F2 generated by g1, ..., gn ∗ n 2 (H (Z , F2)) . On the begining we shall proof. Proposition 3. We have a graded algebra isomorphism ∗ H (Gn, F2) ≃ E3 where (Er,dr) is the above spectral sequence and on E3 we use total 0,0 0,q p,q grading. E3 = h1i, E3 = 0,q > 0 and E3 = 0 for p > 2. Moreover d2 =06 and di =0 for i ≥ 3.

0,q Proof: We ﬁrst prove the second part. To prove that E3 = 0,q > 1 0,q it is enough to show that a kernel of d2 is trivial. By contradiction 0,q assume that ∃ ω ∈ E2 ,q> 0 and ω =06 . Then ∃ i, s. t. ω = giα + β 0,q and α, β do not depend from gi. If d2 (ω) = 0 then from a properties of 0,q a transgression 0 = d2 (ω)= ziα + γ, where γ is a linear combination 2 elements from a set {zs : s =6 i} with coeﬃcients in Λ(g1, ..., gn). Hence α = 0 a contradiction.

From Lemmas 5 6 cycles of diﬀerential d2 are linear combinations of elements ziω (for some i, k) and ω ∈ Λ(g1,g2, ..., gn) does not include k k,s k−2 p,q gi. Hence for ≥ 3zi ω = d2 (zi giω) and for p ≥ 3, E3 = 0. The ﬁrst part of Proposition follows from above and graded version of an Observation 1 (see also Proposition 4).

2 ∗ ∗ n Λ (g1, ..., gn) ≃ H (Z , F2) 12 J. POPKO AND A. SZCZEPANSKI´

Lemma 4. In the spectral sequence of an extension (6)

0 → Z → W2 → Z2 ⊕ Z2 → 0, ¯ 1 d2(g)= z1z2, where g is a generator of H (Z, F2). ∗ Proof: From the above z1z2 ∈ H (W2, F2) is equal to zero. Apply the ﬁve-term exact sequence (see [6, p. 16,57]) we get an exact sequence ∗ 1 d¯2 2 f 2 H (Z) → H (Z2 ⊕ Z2) → H (W2) ∗ and Imd¯2 = Kerf . Hence d¯2(g)= z1z2.

1 n 2 2 Lemma 5. Let g1, ..., gn ∈ H (Z , F2) be a dual basis to x1, ..., xn. For the spectral sequence of the exact sequence of groups n 0 → Z → Gn → Wn → 0, using naturality and properties of homomorphisms (7) φi : Gn → W2 2 we obtain d2(gi)= zi . Proof: We have a commutative diagram qn / n i / / / 1 Z Gn Wn 1 ✤ ✤ ✤ ✤ ✤ ✤ ✤ ✤ ✤ ✤ ✤ αi ✤ φi ✤ γi . ✤ ✤ ✤ ✤ ✤ ✤ ✤ ✤ ✤ / i1 / α / / 1 Z W2 Z2 ⊕ Z2 1 Diagram 2 ∗ ∗ ¯ Here, αi and γi are deﬁned by φi. From naturality d2 ◦ αi = γi ◦ d2, ∗ ∗ (see Diagram 3) where αi ,γi are induced maps on cohomologies. PROPERTIES OF THE COMBINATORIAL HANTZSCHE-WENDT GROUPS 13

¯ 0,1 1 d2 / 2,0 2 E2 ≃ H (Z, F2) E2 ≃ H (Z2 ⊕ Z2, F2)

∗ ∗ αi γi 0,1 1 n d2 / 2,0 2 E2 ≃ H (Z , F2) E2 ≃ H (Wn, F2)

Diagram 3 We have ∗ gi = αi (g). Hence

∗ ∗ ¯ Lemma 4 ∗ ∗ ∗ d2(gi)= d2(αi (g)) = γi (d2(g)) = γi (z1z2)= γi (z1)γi (z2).

Moreover, let γi : Wn/[Wn, Wn] → Z2 ⊕ Z2 is induced by γi, then γi(λ1,λ2, ··· ,λn)=(Σsλs,λi). Hence, ∗ ∗ γi (z1) = Σszs and γi (z2)= zi. ∗ Finally, since in H (Wn) zizj = 0 for i =6 j, we get

2 d2(gi)=(Σszs)zi = zi .

The next observation is following.

k Lemma 6. Let k > 0, then, d2(zi ω)=0 if and only if ω does not include gi.

Proof: We have ω for α, β ∈ Λ independent from gi. In fact, from 2 deﬁnition d2(giα + β) = zi α + γ, where γ is a linear combination of 2 elements from the set {zs : s =6 i} with a coeﬃcient from Λ. Hence , because for i =6 s, zizs = 0 (14)

k k k 2 k+2 (15) d2(zi (giα + β)) = zi d2(giα + β)= zi (zi α + γ)= zi α. k Assume d2(zi ω)=0. We can write ω = giα + β, where α and β are k k independent from gi. From (15) 0 = d2(zi ω)= zi α. Hence α = 0 and ω = β and from assumption ω does not include gi. Finally, if ω does not include gi substitution α = 0 and ω = β to a formula (15) we get k d2(zi ω)=0.

k k,s Corollary 5. Let k > 0 and υ = Σszs ωs ∈ E2 , where ∀ sωs ∈ Λs then

d2(υ)=0 ⇐⇒ ∀s ωs does not include gs. 14 J. POPKO AND A. SZCZEPANSKI´

Proof: (⇐) Follows from the above Lemma 6. (⇒) For any i if d2(υ)= k+1 0 then also d2(ziυ)=0. But ziυ = zi ωi. Again, from Lemma 6 follows that ωi does not include gi.

i,j i,j i,j i,j Remark 3. Let Z2 =kerd2 and B2 =Imd2 . Let M is F2-vector space and trivial G-modul, then dimHi(G, M)=dimHi(G)dimM. More- i Zn n i p,q n over dimH ( ) = i , dimH (Wn) = n (for i > 0), dimE2 = n q (for p> 0). ∗ Summing up the generating function for H (Gn, F2) is a sum of three components: f0 + f1 + f2 where p,i p+i (16) fp = Σidim(E3 )x .

Lemma 7. From the properties of diﬀerentials d2 we have:

I. f0 = 1; n−1 II. f1 = nx(1 + x) ; 2 n−1 n III. f2 = nx (1 + x) − x((1 + x) − 1).

Proof: By an application of the proof of Proposition 3 f0 =1. k From the above d2(zi ω) = 0 if and only if ω does not include gi. k,s n−1 n−1 Hence dimZ2 = n s and f1 = nx(1 + x) , c.f. Corollary 5. For p = 2 we have E2,i = Kerd2,i/Imd0,i+1. Moreover, for i > 0,d0,i 3 2 2 2 is a monomorphism. It follows from the proof of Proposition 3. Hence, 0,i 0,i n 2 n−1 dim Imd2 = dimE2 = i . Summing up f2 = nx (1+ x) − x((1+ x)n − 1) and Lemma is proved.

k,s n−1 k,s Example 3. We have dimZ2 = n s . In fact, a basis of Z2 is a set {zkω}, where 1 ≤ i ≤ n and ω is a Grassmann monomial of degree i s on elements {g1, ..., gn}\{gi}. 2,2 For n =4 a basis of Z2 has 12 elements: 2 2 2 2 2 2 z1 g2g3, z1 g2g4, z1g3g4, z2 g1g3, z2 g1g4, z2 g3g4, 2 1 2 2 2 2 z3 g1g2, z3 g2g4, z3g2g4, z4 g1g2, z4 g1g3, z4 g2g3 0,3 a basis of E2 is a following 4 elements:

y1 = g1g2g3,y2 = g1g2g4,y3 = g1g3g4,y4 = g2g3g4. 0,3 2,2 Since d2 is a monomorphism a basis of B2 has four elements: 0,3 2 2 2 d2 (y1)= z1 g2g3 + z2 g1g3 + z3 g1g2, 0,3 2 2 2 d2 (y2)= z1 g2g4 + z2 g1g4 + z4 g1g2, 0,3 2 2 2 d2 (y3)= z1 g3g4 + z3 g1g4 + z4 g1g3, 0,3 2 2 2 d2 (y4)= z2 g3g4 + z3 g2g4 + z4 g2g3. 2,2 Hence dimE3 = 12 − 4=8. PROPERTIES OF THE COMBINATORIAL HANTZSCHE-WENDT GROUPS 15

Finally

2 f0 + f1 + f2 =1+ nxb + nx b − xb(1 + x)+ x = = x +1+ nxb(1 + x) − xb(1 + x)=(x + 1)(1 + nxb − xb)= =(1+ x)(1+(n − 1)x(1 + x)n−1). Here b = (1+ x)n−1.

This ﬁnish a proof for coeﬃcients F2.

Referring to Observation 1 we would like to present some gradation of ∗ H (Gn.F2). We start with definition. (n) (n) Definition 6. Define bigraded algebra E over F2 by (E = E below):

E = E0 + E1 + E2

(a direct sum of vector spaces) where Ei are given by:

•E0 = h1i •E1 is spaned (i.e. is a free vector space) by symbols: zigA where 1 ≤ i ≤ nand A ⊂{1, 2, ..., n},i∈ / A ′ ′ 2 •E2 = E2/R where E2 is spanned by symbols zi gA with restrictions as above and R =span{rA : A ⊂ {1, 2, ..., n}, A =6 ∅} where 2 rA = Σi∈Azi gA\{i} Bidegrees are given by:

2 bideg(1) = (0,0), bideg(zigA) = (1,| A |), bideg(zi gA)= (2,| A |) Multiplication is given by: • 1 acts in obvious way; • (zigA)(zigB)= zigA∪B if A ∩ B = ∅, • All other products are zero.

The above deﬁnition summarize explicitly description of bigraded algebra namely

Proposition 4. If (Er,dr) is a spectral sequence of the short exact sequence (4) then (n) E3 ≃E as bigraded algebras.

∗ Example 4. (Bigraded algebra H (G2, F2)) There are elements: a, b, A, B, w ∈ ∗ H (G2, F2) such that: • a, b ∈ H1, A, B ∈ H2,w ∈ H3; • aA = bB = w and all other products of elements from {a, b, A, B, w} are zero. 16 J. POPKO AND A. SZCZEPANSKI´

∗ • {a, b, A, B, w} is a basis of H (G2, F2). Using Deﬁnition 6 we have:

E0 = h1i,

E1 = hz1g∅, z2g∅, z1g{2}, z2g{1}i, ′ 2 2 2 2 E2 = hz1 g∅, z2 g∅, z1 g{2}, z2 g{1}i, 2 2 2 2 R = hz1 g∅, z2 g∅, z1 g{2} + z2 g{1}i. So 2 (1, z1g∅, z2g∅, z1g{2}, z2g{1}, [z1 g{2}]) is a basis of E (2), where [ξ] denotes a class of ξ. ∗ If (1,a,b,A,B,w) are elements of H (G2, F2) which correspond (in order) to elements of the above basis then they satisfy conditions.

3 3 Example 5. Let X = P2 P2 S where S is the 3-dimensional sphere and P2 is the 2-dimensional real projective space. Let Y = BG2. W W Then Poincare polynomials of X and Y over F2 and over Q are the ∗ ∗ same but H (X, F2) and H (Y, F2) are not isomorphic as algebras.

4. Additional observation

n Proposition 5. 1. For n> 1, (Gn)ab ≃ Z4 ; 2. For n> 1 the center of Gn is trivial;

3. The Euler characteristic and the ﬁrst Betti number of Gn is equal to zero.

Proof: 1. Follows from a direct calculations.

2. From (4) and a fact that the center of Wn is trivial we have an n 2 αi inclusion Z(Gn) ⊂ Z . Let v ∈ Z(Gn). From the above v = Πi(xi ) for some αi ∈ Z. Using relations in Gn, we have

−1 2 α1 2 −αi x1vx1 =(x1) Πi≥2(xi ) . −1 −1 Since v = x1vx1 , then αi = 0 for ≥ 2. Similar x2vx2 = v, which gives us α1 =0. 3. From properties of the Euler characteristic on a ﬁbration (9) (see n [17, page 481]) χ(K(Gn, 1) = χ(T )χ(E/Wn)=0 · χ(E/Wn)=0. A conclusion about a Betti number follows directly from a Theorem 1.

Proposition 6. Let n ≥ 2. The short exact sequence of groups (4) deﬁnes a reprepresentaion −1 h : Wn → GL(n, Z), ∀x ∈ Wn h(x)(ei)=¯xeix¯ , n where ei ∈ Z is a standard basis i =1, 2, ..., n and ν(¯x)= x. However, K = Kerh =6 0, because [Wn, Wn] ⊂ Kerh. In particular, from Kurosh theorem K is a ﬁnite generated free group of rank 1+(n − 2)22[n/2]−1. PROPERTIES OF THE COMBINATORIAL HANTZSCHE-WENDT GROUPS 17

s n Proof: We have extension K → Wn → Z2, where s = [ 2 ]. Comput- ing (fractional) Euler characteristics we get (see [2, Corollary 5.6, p. s 245]) from the Euler characteristic formula e(K) = e(Wn)/e(Z2) = s n s e(Wn)2 = (1 − 2 )2 . Which gives announced rank.

′ ′ Corollary 6. Let Wn be a commutator subgroup of Wn. Then Wn ⊂ K ′ and index Wn in K is 1 for n even and 2 for n odd. ′ n n ′ s−n Proof: Analogously e(Wn)=(1 − 2 )2 and e(K/Wn)=2 . Remark 4. Let n be an even number then

Pn(x, Q)= Pn(x, F2) mod 2. References [1] C. Allday, V. Puppe, Cohomological methods in transformation groups. Cam- bridge Studies in Advanced Mathematics, 32. Cambridge University Press, Cambridge, 1993. [2] K. S. Brown, Cohomology of Groups, Springer, 1982 [3] W. Craig, P. A. Linnell, Unique product groups and congruence subgroups - accepted to J. of Pure and Apply of Algebra, arXiv:2003.04945 [4] G. Gardam, A countrexample to the unit conjecture for group rings, arXiv:2102.11818v3 [5] A. Hatcher , Algebraic Topology (Cambridge Univ. Press, 2002) [6] A. Hatcher , Spectral Sequences in Algebraic Topology. Chap- ter 1: The Serre Spectral Sequences. Unpublished, 2004 http://www.math.cornell.edu/~hatcher/SSAT/SSch1.pdf [7] W. Hantzsche, H. Wendt, Dreidimensionale euklidische Raumformen, Math. Ann. 110 (1934-1935) 593–611 [8] R. Lutowski, J. Popko, A. Szczepański- SpinC structures on Hantzsche-Wendt manifolds, preprint 2021, arXive:2103.01051 [9] J. A. Hillman, Four-manifolds, geometries and knots, Geometry & Topology Monographs, 5. Geometry & Topology Publications, Coventry, 2002 [10] R. Lutowski, Z. Marciniak, Affine representations of Fibonacci groups and flat manifolds. Comm. Algebra 46 (2018), no. 6, 2738–2741 [11] W. Nowacki. Die Euklidischen, dreidimensionalen, geschlossenen unf offenen Raumformen, Comment. Math. Helv. 7 (1934), 81-93 [12] D. S. Passman, The algebraic structure of groups rings, Wiley, 1977 [13] J. Popko, A. Szczepański, Cohomological rigidity of oriented Hantzsche-Wendt manifolds, Adv. Math. 302, (2016), 1044 - 1068 [14] B. Putrycz, Commutator subgroups of Hantzsche-Wendt groups. J. Group Theory, 10(3) (2007), 401-409 [15] S. David Promislow. A simply example of a torsion-free, nonunique product group. Bull. London Math. Soc.,20(4) 1988, 302-304 [16] R. Miatello, J. P. Rossetti, Isospectral Hantzsche-Wendt manifolds, J. Reine Angew. Math. 515 (1999), 1 - 23. [17] E. T. Spanier, Algebraic Topology, Springer 2012 [18] A. Szczepański, Geometry of crystallographic groups, Volume4of Algebra and Discrete Mathematics, World Scientific, New Jersey - London - Singapore, - 2012. 18 J. POPKO AND A. SZCZEPANSKI´

[19] J. Whitehead, On the asphericity of regions in a 3-sphere, Fund. Mathematicae 32 (1939), 146-166.1

Jerzy Popko, Andrzej Szczepanski,´ Institute of Mathematics,, Uni- versity of Gdansk,,´ ul. Wita Stwosza 57,, 80-308 Gdansk,´ Poland Email address: [email protected], [email protected]