Jinsung Park,Krzysztof P. Wojciechowski
Abstract:We prove an adiabatic decomposition formula of the zeta-determinant of the Laplace type operator with respect to Dirichlet boundary condition. We allow the non-invertible tangential operator. As a result, our adiabatic decomposition formula involves the scattering matrix over the manifold with cylindrical end. We also describe the adiabatic limit of the zeta-determinant of the Dirichlet to Neumann operator, which plays the essential role of Burghelea-Friedlander-Kappeler's Meyer-Vietoris type formula of the zeta determinant.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the adiabatic decomposition formula of the ζ - determinant of Laplace - type operators under manifold decomposition. Specifically, the author explores how to calculate the relationship between the product of the ζ - determinants of Laplace - type operators on these sub - manifolds and the ζ - determinant on the entire manifold when a closed manifold \(M\) is decomposed into two sub - manifolds \(M_1\) and \(M_2\). In addition, the paper also analyzes the behavior of the ζ - determinant of the Dirichlet - to - Neumann operator in the adiabatic limit.
### Main problems
1. **Adiabatic decomposition formula**:
- One of the main objectives of the paper is to give the decomposition formula of the ζ - determinant of Laplace - type operators in the adiabatic limit. Specifically, the author studies the behavior of \(\frac{\det_\zeta \Delta_R}{\det_\zeta \Delta_{1,R} \cdot \det_\zeta \Delta_{2,R}}\) as \(R \to \infty\), where \(\Delta_R\) is the Laplace - type operator on the new closed manifold \(M_R\), and \(\Delta_{1,R}\) and \(\Delta_{2,R}\) are the Laplace - type operators on \(M_1\) and \(M_2\) respectively, all of which satisfy the Dirichlet boundary conditions.
2. **Dirichlet - to - Neumann operator**:
- Another main problem is to analyze the behavior of the ζ - determinant of the Dirichlet - to - Neumann operator \(R_R\) in the adiabatic limit. The author studies the limit of the ζ - determinant of \(R_R\) as \(R \to \infty\) and compares it with the relationship of the ζ - determinant on the entire manifold.
### Specific formulas
- **ζ - function**:
\[
\zeta_\Delta(s)=\sum_{\lambda_k \neq 0} \lambda_k^{-s}
\]
This function is holomorphic on \(\Re(s)>\frac{n}{2}\) and can be extended to a meromorphic function on the entire complex plane, where \(s = 0\) is a regular point.
- **ζ - determinant**:
\[
\log \det_\zeta \Delta=-\left.\frac{d}{ds} \zeta_\Delta(s)\right|_{s = 0}
\]
- **Main theorem**:
- Theorem 1.1 gives the limit value of \(\frac{\det_\zeta \Delta_R}{\det_\zeta \Delta_{1,R} \cdot \det_\zeta \Delta_{2,R}}\) as \(R \to \infty\):
\[
\lim_{R \to \infty} R^{h_Y}\frac{\det_\zeta \Delta_R}{\det_\zeta \Delta_{1,R} \cdot \det_\zeta \Delta_{2,R}}=2^{-h_Y}\sqrt{\det^* \zeta \Delta_Y\cdot \det(I - C_{12}^2)}
\]
where \(h_Y=\dim \ker(\Delta_Y)\), \(C_{12}=C_1(0)\circ C_2(0)\) is a unitary operator, and \(\det^* \zeta \Delta_Y\) represents the ζ - determinant of \(\Delta_Y\) restricted to its orthogonal complement space.
- **ζ - determinant of the Dirichlet - to - Neumann operator**:
- Theorem 1.4 gives the limit value of \(\det_\zeta R_R\) as \(R \to \infty\):
\[
\lim_{R \to \infty} R^{h_Y}\de