We consider a combinatorial Laplace operator on a sequence of discrete graphs which approximates the m-dimensional torus when the discretization parameter tends to infinity.
We establish a polyhomogeneous expansion of the resolvent trace for the family of discrete graphs, jointly in the resolvent and the discretization parameter. Based on a result about interchanging regularized limits and regularized integrals, we compare the regularized limit of the log-determinants of the combinatorial Laplacian on the sequence of discrete graphs with the logarithm of the zeta determinant for the Laplace Beltrami operator on the m-dimensional torus.
In a similar manner we may apply our method to compare the product of the first N non-zero eigenvalues of the Laplacian on a torus (or any other smooth manifold with an explicitly known spectrum) with the zeta-regularized determinant of the Laplacian in the regularized limit as N goes to infinity.
We study the asymptotic behaviour of regularized determinants of certain Laplace type operators with respect to singular deformations of the underlying manifold which are obtained by stretching a tubular neighborhood of an embedded separating hypersurface to a cylinder of infinite length. Using the asymptotic expansions, we derive adiabatic splitting formulas for regularized determinants of Laplace type operators.
We show that the Szego regularized determinant of a zeroth order operator differs from the zeta regularized determinant of the same operator by a local term. In addition, we compute multiplicative anomalies for the zeta regularized determinant.
We find an explicit expression for the zeta-regularized determinant of (the Friedrichs extension) of the Laplacian on a compact Riemann surface of genus one with conformal metric of curvature $1$ having a single conical singularity of angle $4π$.
For cofinite Kleinian groups (or equivalently, finite-volume three-dimensional hyperbolic orbifolds) with finite-dimensional unitary representations, we evaluate the regularized determinant of the Laplacian using W. Muller's regularization. We give an explicit formula relating the determinant to the Selberg zeta-function.
We prove that the resonances of long range perturbations of the (semiclassical) Laplacian are the zeroes of natural perturbation determinants. We more precisely obtain factorizations of these determinants of the form $ \prod_{w = {\rm resonances}}(z-w) \exp (φ_p(z,h)) $ and give semiclassical bounds on $ \partial_z φ_p $ as well as a representation of Koplienko's regularized spectral shift function. Here the index $ p \geq 1 $ depends on the decay rate at infinity of the perturbation.
We study the spectral zeta functions of the Laplacian on fractal sets which are locally self-similar fractafolds, in the sense of Strichartz. These functions are known to meromorphically extend to the entire complex plane, and the locations of their poles, sometimes referred to as complex dimensions, are of special interest. We give examples of self-similar sets such that their complex dimensions are not on the imaginary axis, which allows us to interpret their Laplacian determinant as the regularized product of their eigenvalues. We then investigate a connection between the logarithm of the d…
For trace class operators $A, B \in \mathcal{B}_1(\mathcal{H})$ ($\mathcal{H}$ a complex, separable Hilbert space), the product formula for Fredholm determinants holds in the familiar form \[ {\det}_{\mathcal{H}} ((I_{\mathcal{H}} - A) (I_{\mathcal{H}} - B)) = {\det}_{\mathcal{H}} (I_{\mathcal{H}} - A) {\det}_{\mathcal{H}} (I_{\mathcal{H}} - B). \] When trace class operators are replaced by Hilbert--Schmidt operators $A, B \in \mathcal{B}_2(\mathcal{H})$ and the Fredholm determinant ${\det}_{\mathcal{H}}(I_{\mathcal{H}} - A)$, $A \in \mathcal{B}_1(\mathcal{H})$, by the 2nd regularized Fredholm…
Let $A$ be an elliptic pseudodifferential operator of positive order on a compact closed manifold, and let $T$ be a pseudodifferential operator of negative order such that $T^m$ is of trace class. We compute $\log\det(A(I+T))-\log\det A-\log\det_m (I+T)$ where first two determinants are zeta function regularized, and the last one is a regularized Fredholm determinant.
Let X be a compact Riemannian manifold of dimension two or three and let P be a point of X. We derive comparison formulas relating the zeta-regularized determinant of an arbitrary self-adjoint extension of (symmetric) Laplace operator with domain, consisting of smooth functions with compact supports which does not contain P, to the zeta-regularized determinant of the self-adjoint Laplacian on X.
We study the eta invariants of Dirac operators and the regularized determinants of Dirac Laplacians over hyperbolic manifolds with cusps. We follow Werner M"uller and use relative traces to define these spectral invariants. We show the regularity of eta and zeta functions at s=0. The Selberg trace formula and the detailed analysis of the unipotent terms give the relation between the eta invariant and the Selberg zeta function of odd type. This allows us to show the vanishing of the unipotent contribution. We show that the eta invariant and the Selberg zeta function of odd type satisfy certain …
The principal aim in this paper is to employ a recently developed unified approach to the computation of traces of resolvents and $ζ$-functions to efficiently compute values of spectral $ζ$-functions at positive integers associated to regular (three-coefficient) self-adjoint Sturm--Liouville differential expressions $τ$. Depending on the underlying boundary conditions, we express the $ζ$-function values in terms of a fundamental system of solutions of $τy = z y$ and their expansions about the spectral point $z=0$. Furthermore, we give the full analytic continuation of the $ζ$-function through …
Let $L$ be a self-adjoint invertible operator in a Hilbert space such that $L^{-1}$ is $p$-summable. Under a certain discrete dimension spectrum assumption on $L$, we study the relation between the (regularized) Fredholm determinant, $\det_{p}(I+z\cdot L^{-1})$, on the one hand and the zeta regularized determinant, $\det_ζ(L+z)$, on the other. One of the main results is the formula \begin{equation*} \frac{\det_ζ (L + z)}{\det_ζ (L)} = \exp \left( \sum_{j=1}^{p-1} \frac{z^j}{j!} \cdot \frac{d^j}{dz^j} \log \det\nolimits_ζ (L+z) |_{z=0} \right) \cdot \det\nolimits_{p}(I + z \cdot L^{-1} ). \end{…
Let $X$ be a compact Riemann surface of genus $g\geq 2$ equipped with flat conical metric $|Ω|$, where $Ω$ be a holomorphic quadratic differential on $X$ with $4g-4$ simple zeroes. Let $K$ be the canonical line bundle on $X$. Introduce the Cauchy-Riemann operators $\bar \partial$ and $\partial$ acting on sections of holomorphic line bundles over $X$ ($K^2$ in the definition of $Δ^{(2)}_{|Ω|}$ below) and, respectively, anti-holomorphic line bundles ($\bar { K}^{-1}$ below). Consider the Laplace operator $Δ^{(2)}_{|Ω|}:=|Ω| \partial |Ω|^{-2}\bar\partial$ acting in the Hilbert space of square int…
The principal aim in this paper is to develop an effective and unified approach to the computation of traces of resolvents (and resolvent differences), Fredholm determinants, $ζ$-functions, and $ζ$-function regularized determinants associated with linear operators in a Hilbert space. In particular, we detail the connection between Fredholm and $ζ$-function regularized determinants. Concrete applications of our formalism to general (i.e., three-coefficient) regular Sturm-Liouville operators on compact intervals with various (separated and coupled) boundary conditions, and Schrödinger operators …
We study comparison formulas for $ζ$-regularized determinants of self-adjoint extensions of the Laplacian on flat conical surfaces of genus $g\geq 2$. The cases of trivial and non-trivial holonomy of the metric turn out to differ significantly.
In the first part of this paper we provide a self-contained introduction to (regularized) perturbation determinants for operators in Banach spaces. In the second part, we use these determinants to derive new bounds on the discrete eigenvalues of compactly perturbed operators, broadly extending some recent results by Demuth et al. In addition, we also establish new bounds on the discrete eigenvalues of generators of $C_0$-semigroups.
We compute the curvature of the determinant line bundle on a family of Dirac operators for a noncommutative two torus. Following Quillen's original construction for Riemann surfaces and using zeta regularized determinant of Laplacians, one can endow the determinant line bundle with a natural Hermitian metric. By using an analogue of Kontsevich-Vishik canonical trace, defined on Connes' algebra of classical pseudodifferential symbols for the noncommutative two torus, we compute the curvature form of the determinant line bundle by computing the second variation $δ_{w}δ_{\bar{w}}\log\det(Δ)$.
We construct a determinant of the Laplacian for infinite-area surfaces which are hyperbolic near infinity and without cusps. In the case of a convex co-compact hyperbolic metric, the determinant can be related to the Selberg zeta function and thus shown to be an entire function of order two with zeros at the eigenvalues and resonances of the Laplacian. In the hyperbolic near infinity case the determinant is analyzed through the zeta-regularized relative determinant for a conformal metric perturbation. We establish that this relative determinant is a ratio of entire functions of order two with …
The goal of this paper is to compute the zeta function determinant for the massive Laplacian on Riemann caps (or spherical suspensions). These manifolds are defined as compact and boundaryless $D-$dimensional manifolds deformed by a singular Riemannian structure. The deformed spheres, considered previously in the literature, belong to this class. After presenting the geometry and discussing the spectrum of the Laplacian, we illustrate a method to compute its zeta regularized determinant. The special case of the deformed sphere is recovered as a limit of our general formulas.
We study the regularized determinant of the Laplacian as a functional on the space of Mandelstam diagrams (noncompact translation surfaces glued from finite and semi-infinite cylinders). A Mandelstam diagram can be considered as a compact Riemann surface equipped with a conformal flat singular metric $|ω|^2$, where $ω$ is a meromorphic one-form with simple poles such that all its periods are pure imaginary and all its residues are real. The main result is an explicit formula for the determinant of the Laplacian in terms of the basic objects on the underlying Riemann surface (the prime form, th…
We give an integral representaion of the zeta-reguralized determinant of Laplacians on three dimensional Heisenberg manifolds, and study a behaivior of the values when we deform the uniform discrete subgroups. Heiseberg manifolds are the total space of a fiber bundle with a torus as the base space and a circle as a typical fiber, then the deformation of the uniform discrete subgroups means that the "radius" of the fiber goes to zero. We explain the lines of the calculations precisely for three dimensional cases and state the corresponding results for five dimensional Heisenberg manifolds. We s…
We consider finite area convex Euclidean circular sectors. We prove a variational Polyakov formula which shows how the zeta-regularized determinant of the Laplacian varies with respect to the opening angle. Varying the angle corresponds to a conformal deformation in the direction of a conformal factor with a logarithmic singularity at the origin. We compute explicitly all the contributions to this formula coming from the different parts of the sector. In the process, we obtain an explicit expression for the heat kernel on an infinite area sector using Carslaw-Sommerfeld's heat kernel. We also …
Let $\mathsf m$ be any conical (or smooth) metric of finite volume on the Riemann sphere $\Bbb CP^1$. On a compact Riemann surface $X$ of genus $g$ consider a meromorphic funciton $f: X\to {\Bbb C}P^1$ such that all poles and critical points of $f$ are simple and no critical value of $f$ coincides with a conical singularity of $\mathsf m$ or $\{\infty\}$. The pullback $f^*\mathsf m$ of $\mathsf m$ under $f$ has conical singularities of angles $4π$ at the critical points of $f$ and other conical singularities that are the preimages of those of $\mathsf m$. We study the $ζ$-regularized determina…
For a family of compact Riemann surfaces X_t of genus g>1 parametrized by the Schottky space S_g, we define a natural basis for the holomorphic n-differentials on X_t which varies holomorphically with t and generalizes the basis of normalized abelian differentials of the first kind for n=1. We introduce a holomorphic function F(n) on S_g which generalizes the classical product \prod(1-q^m)^2 appearing in the Dedekind eta function for n=1 and g=1. We prove a holomorphic factorization formula expressing the regularized determinant of the Laplacian as a product of |F(n)|^2, a holomorphic anomaly …
The Hurwitz space is the moduli space of pairs $(X,f)$ where $X$ is a compact Riemann surface and $f$ is a meromorphic function on $X$. We study the Laplace operator $Δ^{|df|^2}$ of the flat singular Riemannian manifold $(X,|df|^2)$. We define a regularized determinant for $Δ^{|df|^2}$ and study it as a functional on the Hurwitz space. We prove that this functional is related to a system of PDE which admits explicit integration. This leads to an explicit expression for the determinant of the Laplace operator in terms of the basic objects on the underlying Riemann surface (the prime form, theta…
