The eta function and eta invariant of $\mathbb{Z}_{2^r}$-manifolds

Abstract

We compute the eta function $η(s)$ and its corresponding $η$-invariant for the Atiyah-Patodi-Singer operator $\mathcal{D}$ acting on an orientable compact flat manifold of dimension $n =4h-1$, $h\ge 1$, and holonomy group $F\simeq \mathbb{Z}_{2^r}$, $r\in \mathbb{N}$. We show that $η(s)$ is a simple entire function times $L(s,χ_4)$, the $L$-function associated to the primitive Dirichlet character modulo 4. The $η$-invariant is 0 or equals $\pm 2^k$ for some $k\ge 0$ depending on $r$ and $n$. Furthermore, we construct an infinite family $\mathcal{F}$ of orientable $\mathbb{Z}_{2^r}$-manifolds with $F\subset \mathrm{SO}(n,\mathbb{Z})$. For the manifolds $M\in \mathcal{F}$ we have $η(M)=-\tfrac{1}{2}|T|$, where $T$ is the torsion subgroup of $H_1(M,\mathbb{Z})$, and that $η(M)$ determines the whole eta function $η(s,M)$.