The eta invariant in the doubly Kählerian conformally compact Einstein case (Q444169)

Let \(M\) be a compact manifold with non-empty boundary. If \(g_E\) is a complete Einstein metric on the interior of \(M\) so that \(g=\tau^2\,g_E\) is smooth on \(M\) for some defining function \(\tau\) of \(\partial M\) (\(\tau^{-1}(0)=\partial M\) and \(d\tau\neq0\) on \(\partial M\)), then \((M,g_E)\) is called conformally compact Einstein, and \((g,\tau)\) is called a conformal compactification for \(g_E\). Let \(J\) be a complex structure and \(g\) a Kähler metric on the interior of \(M\) for which a defining function \(\tau\) of \(\partial M\) is a special Kähler-Ricci potencial. The last requirement is a technical condition that holds in the conformlly Einstein case if either the complex dimension of \(M\) is greater or equal to \(3\), or else the complex dimension is \(2\) and \(d\tau\wedge d\Delta_g\tau=0\). The following properties are known in this case. \(J\nabla\tau\) is a Killing vector field so that, at any critical point of \(\tau\), the subspace \(\mathcal{H}=(\text{span}(\nabla\tau,J\nabla\tau))^\perp\) of the tangent space is an eigenspace for both the Hessian \(\nabla d\tau\) and the Ricci curvature \(r\). Suppose also that \(\tau(M)=[0,\tau_0]\) and \(N=\tau^{-1}(\tau_0)\) is a critical manifold. Then \(N\) is a complex submanifold which is of complex codimension one, or else consists of a single point. Furthermore, \(N\) is the unique critical manifold of \(\tau\). We also have \(|\nabla\tau|^2=Q(\tau)\) for some smooth function \(Q\) on \([0,\tau_0]\) satisfying \(Q(\tau_0)=0\), \(Q'(\tau_0)\neq0\), and \(Q>0\) on \([0,\tau_0)\). An eigenfunction \(\phi\) of \(\nabla d\tau\) on \(\mathcal{H}\) can be identically zero, or nowhere zero; in the second case, let \(c=\tau-Q/(2\phi)\), which is a constant. We have \(c\not\in[0,\tau_0]\) unless \(N\) is a singleton and then \(c=\tau_0\). The unique non-zero eigenvalue \(e\) of \(\nabla d\tau\) on \(\mathcal{H}\) at each point of \(N\) is a constant \(e\). Then a metric \(\bar g\) on a disk bundle \(S\) in the normal bundle \(\pi:\mathcal{L}\to N\) is defined using a Hermitian fiber metric \(\langle\cdot,\cdot\rangle\) whose real part is \(g|_{\mathcal{L}}\) and a metric \(h\) on \(N\) defined as either \(g|_{TN}\) if \(\phi=0\), or \((2|\tau_0-c|)^{-1}\,g|_{TN}\) if \(\phi\neq0\). The connection associated with the fiber metric is the normal connection, whose curvature \(\Omega\) satisfies \(\Omega=p\,\omega^h\), where \(\omega^h\) is the Kähler form for \(h\) and \(p=\pm e\). Regarding \(N\) as the zero section of \(\mathcal{L}\), when \(N\) is of complex codimension one, define (i)~\(\bar g|_{\mathcal{H}}=\pi^*h\) if \(\phi=0\), and (ii)~\(\bar g|_{\mathcal{H}}=2|\tau-c|\,\pi^*h\) if \(\phi\neq0\). If \(N\) is a singleton, define (iii)~\(\bar g|_{\mathcal{H}}=(2|\tau-c|/(|e|r^2))\,\pi^*h\). In all cases set \(\bar g|_{\mathcal{V}}=(Q(\tau)/(er)^2)\,\text{Re}\langle\cdot,\cdot\rangle\), where \(\mathcal{V}\) is the vertical bundle of \(\pi\). Moreover declare \(\mathcal{H}\) and \(\mathcal{V}\) to be \(\bar g\)-orthogonal. Here, \(r\) is a non-negative function on \([0,\tau_0]\) that vanishes only at \(\tau_0\) and satisfies \(dr/d\tau=er/Q\) on \((0,\tau_0)\). We can regard \(r\) as the norm function of \(\langle\cdot,\cdot\rangle\) on \(\mathcal{L}\). There is a positive value \(r_0\) such that \(\tau(r_0)=0\), and the disc bundle \(S\) is characterized by \(r\leq r_0\). When \(\bar g\) is of type~(i) or~(iii), it is called a nontrivial SKR metric. The main result of the paper states the following: Let \(M\) be a compact \(4\)-manifold with non-empty boundary with a complete Einstein metric on its interior, admitting a Kählerian conformal compactification \((g,\tau)\) so that \(\tau\) is a special Kähler-Ricci potencial for a nontrivial SKR metric. Then, with the above notation, the \(\eta\)-invariant of \(\gamma=g|_{\partial M}\) is given by the elementary integral \[ \eta_\gamma(\partial M)=\frac{1}{288\pi^2}\text{Vol}_h(N)\int_0^{\tau_0}[(b^2(t-c)^{-6}-a^2)t^2]\cdot[l+pt]\,dt-\sigma(M) \] for some constants \(a,b\), where \(l=2|c|\) if \(N\) is of complex codimension one, and \(l=2|c|/(|e|r_0^2)\) if \(N\) is a singleton. This is a Kählerian version of a formula proved by \textit{N. J. Hitchin} for conformally compact Einstein manifolds [Boll. Unione Mat. Ital., VII. Ser., B 11, No. 2, Suppl., 95--105 (1997; Zbl 0973.53519)], which follows from the Atiyah-Patodi-Singer signature formula [\textit{M. F. Atiyah} et al., Math. Proc. Camb. Philos. Soc. 77, 43--69 (1975; Zbl 0297.58008)]. Another formula is proved for the so-called ambitoric case.