The set of Clifford bundles of bounded geometry over open manifolds can be endowed with a metrizable uniform structure. For one fixed bundle $E$ we define the generalized component $\gencomp (E)$ as the set of Clifford bundles $E'$ which have finite distance to $E$. If $D$, $D'$ are the associated generalized Dirac operators, we prove for the pair $(D,D')$ relative index theorems, define relative $ζ$-- and $η$--functions, relative determinants and in the case of $D=Δ$ relative analytic torsion. To define relative $ζ$-- and $η$--functions, we assume additionally that the essential spectrum of $D^2$ has a gap above zero.
The gluing formula of the zeta-determinant of a Laplacian given by Burghelea, Friedlander and Kappeler contains an unknown constant. In this paper we compute this constant to complete the formula under the assumption of the product structure near boundary. As applications of this result,we prove the adiabatic decomposition theorems of the zeta-determinant of a Laplacian with respect to the Dirichlet and Neumann boundary conditions and of the analytic torsion with respect to the absolute and relative boundary conditions.
In this paper we first establish the relation between the zeta-determinant of a Dirac Laplacian with the Dirichlet boundary condition and the APS boundary condition on a cylinder. Using this result and the gluing formula of the zeta-determinant given by Burghelea, Friedlander and Kappeler with some assumptions, we prove the adiabatic decomposition theorem of the zeta-determinant of a Dirac Laplacian. This result was originally proved by J. Park and K. Wojciechowski in [11] but our method is completely different from the one they presented.
We prove the equality of the analytic torsion and the value at zero of a Ruelle dynamical zeta function associated with an acyclic unitarily flat vector bundle on a closed locally symmetric reductive manifold. This solves a conjecture of Fried. This article should be read in conjunction with an earlier paper by Moscovici and Stanton.
We define geometric zeta functions for locally symmetric spaces as generalizations of the zeta functions of Ruelle and Selberg. As a special value at zero we obtain the Reidemeister torsion of the manifold. For hermitian spaces these zeta functions have as special value the quotient of the holomorphic torsion of Ray and Singer and the holomorphic $L^2$-torsion, where the latter is defined via the $L^2$-theory of Atiyah. For higher fundamental rank twisted torsion numbers appear.
The odd signature operator is a Dirac operator which acts on the space of differential forms of all degrees and whose square is the usual Laplacian. We extend the result of [15] to prove the gluing formula of the zeta-determinants of Laplacians acting on differential forms of all degrees with respect to the boundary conditions ${\mathcal P}_{-, {\mathcal L}_{0}}$, ${\mathcal P}_{+, {\mathcal L}_{1}}$. We next consider a double of de Rham complexes consisting of differential forms of all degrees with the absolute and relative boundary conditions. Using a similar method, we prove the gluing form…
We show that the Ruelle dynamical zeta function on a closed odd dimensional locally symmetric space twisted by an arbitrary flat vector bundle has a meromorphic extension to the whole complex plane and that its leading term in the Laurent series at the zero point is related to the regularised determinant of the flat Laplacian of Cappell-Miller. When the flat vector bundle is close to an acyclic and unitary one, we show that the dynamical zeta function is regular at the zero point and that its value is equal to the complex valued analytic torsion of Cappell-Miller. This generalises author's pre…
We study the zeta determinant of global boundary problems of APS-type through a general theory for relative spectral invariants. In particular, we compute the zeta determinant for Dirac-Laplacian boundary problems in terms of a scattering Fredholm determinant over the boundary.
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.
On an open manifold, the spaces of metrics or connections of bounded geometry, respectively, split into an uncountable number of components. We show that for a pair of metrics or connections, belonging to the same component, relative $ζ$-functions, determinants, torsion for pairs of generalized Dirac operators are well defined.
We show that the absolute value at zero of the Ruelle zeta function defined by the geodesic flow coincides with the higher-dimensional Reidemeister torsion for the unit tangent bundle over a 2-dimensional hyperbolic orbifold and a non-unitary representation of the fundamental group. Our proof is based on the integral expression of the Ruelle zeta function. This integral expression is derived from the functional equation of the Selberg zeta function for a discrete subgroup with elliptic elements in PSL(2;R). We also show that the asymptotic behavior of the higher-dimensional Reidemeister torsio…
Starting with topological field theories we investigate the Ray-Singer analytic torsion in three dimensions. For the lens Spaces L(p;q) an explicit analytic continuation of the appropriate zeta functions is contructed and implemented. Among the results obtained are closed formulae for the individual determinants involved, the large $p$ behaviour of the determinants and the torsion, as well as an infinite set of distinct formulae for zeta(3): the ordinary Riemann zeta function evaluated at s=3. The torsion turns out to be trivial for the cases L(6,1), L((10,3) and L(12,5) and is, in general, gr…
we discuss the decomposition of the zeta-determinant of the square of the Dirac operator into the contributions coming from the different parts of the manifold in the case of an invertible tangential operator.
We compute the relative zeta-function metric on the determinant line bundle for a family of elliptic boundary value problems of Dirac-type. To do this we prove a general formula relating the zeta-determinant to a Fredholm determinant over the boundary for a class of higher-order elliptic boundary value problems.
We show an equality between the analytic torsion and the absolute value at the zero point of the Ruelle dynamical zeta function on a closed odd dimensional locally symmetric space twisted by an acyclic flat vector bundle obtained by the restriction of a representation of the underlying Lie group. This generalises author's previous result for unitarily flat vector bundles, and the results of Bröcker, Müller, and Wotzke on closed hyperbolic manifolds.
We review the work of the authors and their collaborators on the decomposition of the zeta-determinant of the Dirac operator into the contribution coming from different parts of a manifold.
We study the spectral functions, and in particular the zeta function, associated to a class of sequences of complex numbers, called of spectral type. We investigate the decomposability of the zeta function associated to a double sequence with respect to some simple sequence, and we provide a technique for obtaining the first terms in the Laurent expansion at zero of the zeta function associated to a double sequence. We particularize this technique to the case of sums of sequences of spectral type, and we give two applications: the first concerning some special functions appearing in number the…
We discuss the decomposition of the zeta-determinant of the square of the Dirac operator into contributions coming from the different parts of the manifold. The easy case was worked in the previous paper of authors. Due to the assumptions made on the operators in the previous paper, we were able to avoid the presence of the small eigenvalues which provide the large time contibution to the determinant. In the present work we analyze the general case. We offer a detailed analysis of the contribution made by the small eigenvalues.
In this paper we prove trace formulae for the Reidemeister number of a group endomorphism. This result implies the rationality of the Reidemeister zeta function in the following cases: the group is a direct product of a finite group and a finitely generated Abelian group; the group is finitely generated, nilpotent and torsion free. We continue to study analytical properties of the Nielsen zeta function. We connect the Reidemeister zeta function of an endomorphism of a direct product of a finite group and a finitely generated free Abelian group with the Lefschetz zeta function of the induced ma…
Given two unitary involutions $σ_{1}$ and $σ_{2}$ satisfying $G σ_{i} = - σ_{i} G$ on $ker B$ on a compact manifold with cylindrical end, M. Lesch, K. Wojciechowski ([LW]) and W. Müller ([M]) established the formula describing the difference of two eta-invariants with the APS boundary conditions associated with $σ_{1}$ and $σ_{2}$. In this paper we establish the analogous formula for the zeta-determinants of Dirac Laplacians. For the proof of the result we use the Burghelea-Friedlander-Kappeler's gluing formula for zeta-determinants and the scattering theory developed by W. Müller in [M]. This…
We obtain explicit expressions for the determinants of the Laplacians on zero and one forms for an infinite class of three dimensional lens spaces $L(p,q)$. These expressions can be combined to obtain the Ray-Singer torsion of these lens spaces. As a consequence we obtain an infinite class of formulae for the Riemann zeta function $ζ(3)$. The value of these determinants (and the torsion) grows as the size of the fundamental group of the lens space increases and this is also computed. The triviality of the torsion for just the three lens spaces $L(6,1)$, $L(10,3)$ and $L(12,5)$ is also noted. (…
We present a new multiparameter resolvent trace expansion for elliptic operators, polyhomogeneous in both the resolvent and auxiliary variables. For elliptic operators on closed manifolds the expansion is a simple consequence of the parameter dependent pseudodifferential calculus. As an additional nontrivial toy example we treat here Sturm-Liouville operators with separated boundary conditions. As an application we give a new formula, in terms of regularized sums, for the zeta-determinant of an infinite direct sum of Sturm-Liouville operators. The Laplace-Beltrami operator on a surface of revo…
We propose a definition for analytic torsion of the Rumin complex on contact manifolds. This is given by the derivative at zero of a well-chosen combination of zeta functions of a fourth-order modified Rumin Laplacian. The regular value at zero (before differentiation) of this well-chosen combination of zeta functions is shown to be a contact invariant. The variation of our analytic torsion is given as the integral of local terms, together with a global term coming from the null-space of the Laplacian.
For a smooth family F of admissible elliptic pseudodifferential operators with differential form coefficients associated to a geometric fibration of manifolds M--> B we show that there is a natural zeta-form z(F,s) and zeta-determinant- form det(F) in the de-Rham algebra of smooth differential forms, generalizing the classical single operator spectral zeta function and determinant. In the case where F is the curvature of a superconnection the zeta form is exact, extending to families the Atiyah-Bott-Seeley zeta function formula for the pointwise index, and equivalent to the transgression formu…
We associate determinant lines to objects of the extended abelian category built out of a von Neumann category with a trace. Using this we suggest constructions of the combinatorial and the analytic L^2 torsions which, unlike the work of the previous authors, requires no additional assumptions; in particular we do not impose the determinant class condition. The resulting torsions are elements of the determinant line of the extended L^2 cohomology. Under the determinant class assumption the L^2 torsions of this paper specialize to the invariants studied in our previous work. Applying a recent t…
We show that there is a canonical construction of a zeta (Bismut-Quillen) connection on the determinant line bundle of a family of APS elliptic boundary problems and that it has curvature equal to the 2-form part of a relative eta form.
We explicitly write down all eigenvalues of the Rumin Laplacian on the standard contact spheres, and express the analytic torsion functions associated with the {Rumin complex} in terms of the Riemann zeta function. In particular, we find that the functions vanish at the origin and determine the analytic torsions.
In this paper, we suggest a construction of determinant lines of finitely generated Hilbertian modules over finite von Neumann algebras. Nonzero elements of the determinant lines can be viewed as volume forms on the Hilbertian modules. Using this, we study both $L^2$ combinatorial and $L^2$ analytic torsion invariants associated to flat Hilbertian bundles over compact polyhedra and manifolds; we view them as volume forms on the reduced $L^2$ homology and cohomology. These torsion invariants specialize to the the classical Reidemeister-Franz torsion and the Ray-Singer torsion in the finite dime…
The Ray-Singer analytic torsion is the zeta-function trace of a certain sum of logarithm operators on the de Rham complex. In this note we examine the residue analytic torsion, defined using the residue-trace instead of the spectral zeta function quasi-trace.
We give a dynamical description, in terms of a Weil-type zeta function, to the holomorphic torsion with coefficients for certain compact Hermitian locally symmetric manifolds, whose connected group G of isometries of the universal cover has only one conjugacy class of cuspidal maximal parabolic subgroup and satisfies a technical Ansatz relative to the given coefficients. A distinguishing feature of our zeta function is that its construction involves in an essential way the geometry of a standard compactification of the universal cover. The two senior authors are indebted to their junior collea…
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 …
In this note we specialize and illustrate the ideas developed in the paper math.DG/0201112 of the first author ("Index theory, eta forms, and Deligne cohomology ") in the case of the determinant line bundle. We discuss the surgery formula in the adiabatic limit using the adiabatic decomposition formula of the zeta regularized determinant of the Dirac Laplacian obtained by the second author and K. Wojciechowski.
The paper consists of four parts. Part I presents a brief survey of the Nielsen fixed point theory. Part II deals with dynamical zeta functions connected with Nielsen fixed point theory. Part III is concerned with congruences for the Reidemeister and Nielsen numbers. Part IV deals with the Reidemeister torsion . In Chapter 2 we prove that the Reidemeister zeta function of a group endomorphism is a rational function with functional equation in the following cases: the group is finitely generated and an endomorphism is eventually commutative; the group is finite ; the group is a direct sum of a …
We introduce and study a canonical quadratic form, called the torsion quadratic form, of the determinant line of a flat vector bundle over a closed oriented odd-dimensional manifold. This quadratic form caries less information than the refined analytic torsion, introduced in our previous work, but is easier to construct and closer related to the combinatorial Farber-Turaev torsion. In fact, the torsion quadratic form can be viewed as an analytic analogue of the Poincare-Reidemeister scalar product, introduced by Farber and Turaev. Moreover, it is also closely related to the complex analytic to…
The holomorphic torsion of a compact locally symmetric manifold is expressed as a special value of a zeta function built out of geometric data (closed geodesics) of the manifold.
We construct a canonical element, called the refined analytic torsion, of the determinant line of the cohomology of a closed oriented odd-dimensional manifold M with coefficients in a flat complex vector bundle E. We compute the Ray-Singer norm of the refined analytic torsion. In particular, if there exists a flat Hermitian metric on E, we show that this norm is equal to 1. We prove a duality theorem, establishing a relationship between the refined analytic torsions corresponding to a flat connection and its dual.
The equivariant holomorphic torsion of a compact locally symmetric manifold and an automorphism is expressed as a special value of a zeta function built out of geometric data (closed geodesics) of the manifold.
We prove Patterson's conjecture about the singularities of the Selberg zeta function associated to a convex-cocompact, torsion free group acting on a hyperbolic space.
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 …
We study Selberg zeta functions $Z(s,σ)$ associated to locally homogeneous vector bundles over the unit-sphere bundle of a complete odd-dimensional hyperbolic manifold of finite volume. We assume a certain condition on the fundamental group of the manifold. A priori, the Selberg zeta functions are defined only for s in some right half-space of $\mathbb{C}$. We will prove that for any locally homogeneous bundle the functions $Z(s,σ)$ have a meromorphic continuation to $\mathbb{C}$ and we will give a complete description of their singularities in terms of spectral data of the underlying manifold…
For a closed manifold equipped with a Riemannian metric, a triangulation, a representation of its fundamental group on an Hilbert module of finite type (over of finite von Neumann algebra), and a Hermitian structure on the flat bundle associated to the representation, one defines a numerical invariant, the relative torsion. The relative torsion is a positive real number and unlike the analytic torsion or the Reidemeister torsion, which are defined only when the pair manifold- representation is of determinant class, is always defined. When the pair is of determinant class the relative torsionis…
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π$.
Given a holomorphic Hilbertian bundle on a compact complex manifold, we introduce the notion of holomorphic $L^2$ torsion, which lies in the determinant line of the twisted $L^2$ Dolbeault cohomology and represents a volume element there. Here we utilise the theory of determinant lines of Hilbertian modules over finite von Neumann algebras as developed in an earlier paper by the authors. This specialises to the Ray-Singer-Quillen holomorphic torsion in the finite dimensional case. We compute a metric variation formula for the holomorphic $L^2$ torsion, which shows that it is not in general ind…
In this paper, we give concrete descriptions of leafwise cohomology groups and show the regularized determinant expression of the dynamical zeta function for fiber bundles over $S^{1}$. As applications, we show a functional equation and some formulas for special values of the dynamical zeta function.
We propose a new method for studying $n$- and $Γ$-cohomology of globalizations of Harish-Chandra modules, where $G=KAN$ is a rank one semisimple Lie group, $Γ$ is a discrete subgroup of $G$ and $n=Lie(N)$. We prove a conjecture of Patterson relating the singularities of Selberg zeta functions with the $Γ$-cohomology of principal series representations if $Γ$ is cocompact and torsion free.
Fried's conjecture is concerned with the behavior of dynamical zeta functions at the origin. For compact hyperbolic manifolds, Fried proved that for an orthogonal acyclic representation of the fundamental group, the twisted Ruelle zeta function is holomorphic at $s=0$ and its value at $s=0$ equals the Ray-Singer analytic torsion. He also established a more general result for orthogonal representations, which are not acyclic. The purpose of the present paper is to extend Fried's result to arbitrary finite dimensional representations of the fundamental group. The Ray-Singer analytic torsion is r…
Riemannian Geometry, Topology and Dynamics permit to introduce partially defined holomorphic functions on the variety of representations of the fundamental group of a manifold. The functions we consider are the complex valued Ray-Singer torsion, the Milnor-Turaev torsion, and the dynamical torsion. They are associated essentially to a closed smooth manifold equipped with a (co)Euler structure and a Riemannian metric in the first case, a smooth triangulation in the second case, and a smooth flow of type described in section 2 in the third case. In this paper we define these functions, describe …
For a non-compact hyperbolic 3-manifold with cusps we prove an explicit formula that relates the regularized analytic torsion associated to the even symmetric powers of the standard representation of SL_2(C) to the corresponding Reidemeister torsion. Our proof rests on an expression of the analytic torsion in terms of special values of Ruelle zeta functions as well as on recent work of Pere Menal-Ferrer and Joan Porti.
We express explicitly the analytic torsion functions associated with the Rumin complex on lens spaces in terms of the Hurwitz zeta function. In particular, we find that the functions vanish at the origin and determine the analytic torsions. Moreover, we have a formula between this torsion and the Ray-Singer torsion.
