The eta invariant in the doubly Kählerian conformally compact Einstein case (Q444169): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 5 users not shown) | |||
Property / review text | |||
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. | |||
Property / review text: 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. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 58J28 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 53C25 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 53C55 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6065375 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
eta invariant | |||
Property / zbMATH Keywords: eta invariant / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
conformally compact | |||
Property / zbMATH Keywords: conformally compact / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Einstein metric | |||
Property / zbMATH Keywords: Einstein metric / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Kähler metric | |||
Property / zbMATH Keywords: Kähler metric / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Duistermaat-Heckman theorem | |||
Property / zbMATH Keywords: Duistermaat-Heckman theorem / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Jesús A. Álvarez López / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2157556141 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 0805.1646 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Ambitoric geometry II: Extremal toric surfaces and Einstein 4-orbifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Spectral asymmetry and Riemannian Geometry. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Local Classification of Conformally-Einstein Kähler Metrics in Higher Dimensions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Special Kähler-Ricci potentials on compact Kähler manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A moduli curve for compact conformally-Einstein Kähler manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the variation in the cohomology of the symplectic form of the reduced phase space / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Moment maps and combinatorial invariants of Hamiltonian \(T^ n\)-spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4344581 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On complete quaternionic-Kähler manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Special Kähler-Ricci potentials and Ricci solitons / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 14:01, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The eta invariant in the doubly Kählerian conformally compact Einstein case |
scientific article |
Statements
The eta invariant in the doubly Kählerian conformally compact Einstein case (English)
0 references
13 August 2012
0 references
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.
0 references
eta invariant
0 references
conformally compact
0 references
Einstein metric
0 references
Kähler metric
0 references
Duistermaat-Heckman theorem
0 references