A. We compute the eta function η(s) and its corresponding η-invariant for the Atiyah-Patodi-Singer operator D acting on an orientable compact flat manifold of dimension n = 4h − 1, h ≥ 1, and holonomy group F ≃ Z2r , r ∈ 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 ±2 k for some k ≥ 0 depending on r and n. Furthermore, we construct an infinite family F of orientable Z2r -manifolds with F ⊂ SO(n, Z). For the manifolds M ∈ F we have η(M ) = − 1 2 |T |, where T is the torsion subgroup of H1(M, Z), and that η(M ) determines the whole eta function η(s, M ).
IEta series and η-invariant. Let M be an oriented compact Riemannian manifold of dimension n = 4h − 1, h ≥ 1, and consider the Atiyah-Patodi-Singer operator D (APS-operator for short) defined on the space of smooth even formswhere Ω 2p (M ) denotes the set of degree 2p forms. This operator is closely related to the signature operator. In fact, D is the tangential boundary operator of the signature operator S acting on a 4h-dimensional manifoldM having M as its boundary.By compactness of M , D has a discrete spectrum, Spec D (M ), of real eigenvalues λ with finite multiplicity d λ which accumulate only at infinity. The eta series (1.1) η(s) = 0 =λ∈Spec D (M ) sign(λ) |λ| −s , Re(s) > n, defines a holomorphic function having a meromorphic continuation to C, also denoted by η(s), having (possibly) simple poles in the set {n − k : k ∈ N 0 }. Remarkably, η(s) is holomorphic at s = 0 and the value η = η(0) is called the eta invariant of D.Both D and η(s) were first introduced and studied by Atiyah, Patodi and Singer in a sequel of 3 classical papers [1], where they also proved the regularity of η(s) at the origin in the case of odd dimension. The finiteness of η in any dimension is due to P. B. Gilkey ([9]). Actually, the results in [1] and [9] are valid for arbitrary elliptic differential operators.Eta series and η-invariants have been an active area of research since their appearance in [1]. A lot of progress have been made mainly by Peter Gilkey, Werner Müller, Xianzhe Dai, Weiping Zhang, Robert Meyerhoff, Mingquing Ouyang and Sebastian Goette among others. Eta series and η-invariants have been studied in several contexts. For instance, in equivariant settings (Donelly '76, Zhang '90 and Goette '99, '00, '09), in relation to connective K-theory (Gilkey '84 and Barrera-Yañez-Gilkey '99, '03), manifolds with boundary (Müller '93, '94, Bunke '95, '15 and Dai '02, '06) and cobordism Gilkey '88, '88, '97, '96 and Dai '05), flat vector bundles (Zhang '04 and Ma-Zhang '06, '06, '08), even dimensions (Gilkey