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

TL;DR

This paper computes the eta function and eta invariant for a class of flat manifolds with holonomy group rac{2^r}{Z} and reveals their dependence on number-theoretic functions, providing explicit formulas and constructing specific examples.

Contribution

It explicitly calculates the eta function and invariant for rac{2^r}{Z}-manifolds, linking them to Dirichlet L-functions and constructing an infinite family with known eta invariants.

Findings

ta(s) is a product of an entire function and L(s,hi_4)

ta-invariant is 0 or b1 2^k, depending on parameters

Constructed an infinite family of manifolds with explicit eta invariants

Abstract

We compute the eta function $\eta(s)$ and its corresponding $\eta$-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 $\eta(s)$ is a simple entire function times $L(s,\chi_4)$, the $L$-function associated to the primitive Dirichlet character modulo 4. The $\eta$-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 $\eta(M)=-\tfrac{1}{2}|T|$, where $T$ is the torsion subgroup of $H_1(M,\mathbb{Z})$, and that $\eta(M)$ determines the whole eta function $\eta(s,M)$.