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 previous results for unitarily flat vector bundles as well as Müller and Spilioti's results on hyperbolic manifolds.
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.
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 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 $…
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 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.
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…
In the spirit of Ray and Singer we define a complex valued analytic torsion using non-selfadjoint Laplacians. We establish an anomaly formula which permits to turn this into a topological invariant. Conjecturally this analytically defined invariant computes the complex valued Reidemeister torsion, including its phase. We establish this conjecture in some non-trivial situations.
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. (…
In this paper we extend Witten-Helffer-Sjöstrand theory from selfadjoint Laplacians based on fiber wise Hermitian structures, to non-selfadjoint Laplacians based on fiber wise non-degenerate symmetric bilinear forms. As an application we verify, up to sign, the conjecture about the comparison of the Milnor-Turaev torsion with the complex valued analytic torsion, for odd dimensional manifolds. This is done along the lines of Burghelea, Friedlander and Kappeler's proof of the Cheeger-Müller theorem.
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.
We extend the complex-valued analytic torsion, introduced by Burghelea and Haller on closed manifolds, to compact Riemannian bordisms. We do so by considering a flat complex vector bundle over a compact Riemannian manifold, endowed with a fiberwise nondegenerate symmetric bilinear form. The Riemmanian metric and the bilinear form are used to define non-selfadjoint Laplacians acting on vector-valued smooth forms under absolute and relative boundary conditions. In the process to define the complex-valued analytic torsion, we study spectral properties associated to these generalized Laplacians. A…
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.
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…
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 …
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.
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.
The work of Ray and Singer which introduced analytic torsion, a kind of determinant of the Laplacian operator in topological and holomorphic settings, is naturally generalized in both settings. The couplings are extended in a direct way in the topological setting to general flat bundles and in the holomorphic setting to bundles with (1,1) connections, which using the Newlander-Nirenberg Theorem are seen to be the bundles with both holomorphic and anti-holomorphic structures. The resulting natural generalizations of Laplacians are not always self-adjoint and the corresponding generalizations of…
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 extend the main result in the previous paper of Zhang and the author relating the Milnor-Turaev torsion with the complex valued analytic torsion to the equivariant case.
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…
Let X be a compact oriented Riemannian manifold and let $ϕ:X\to S^1$ be a circle-valued Morse function. Under some mild assumptions on $ϕ$, we prove a formula relating: (a) the number of closed orbits of the gradient flow of $ϕ$ of any given degree; (b) the torsion of a ``Morse complex'', which counts gradient flow lines between critical points of $ϕ$; and (c) a kind of Reidemeister torsion of X determined by the homotopy class of $ϕ$. When $\dim(X)=3$ and $b_1(X)>0$, we state a conjecture analogous to Taubes's ``SW=Gromov'' theorem, and we use it to deduce (for closed manifolds, modulo signs)…
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.
In this paper we discuss the refined analytic torsion on an odd dimensional compact oriented Riemannian manifold with boundary under some assumption. For this purpose we introduce two boundary conditions which are complementary to each other and well-posed for the odd signature operator $\mathcal{B}$ in the sense of Seeley. We then show that the zeta-determinants of $\mathcal{B}^2$ and eta-invariants of $\mathcal{B}$ subject to these boundary conditions are well defined by using the method of the asymptotic expansions of the traces of the heat kernels. We use these facts to define the refined …
The refined analytic torsion on compact Riemannian manifolds with boundary has been discussed by B. Vertman and the authors, but these two constructions are completely different. Vertman used a double of de Rham complex consisting of the minimal and maximal closed extensions of a flat connection and the authors used well-posed boundary conditions ${\mathcal P}_{-, {\mathcal L}_{0}}$, ${\mathcal P}_{+, {\mathcal L}_{1}}$ for the odd signature operator. In this paper we compare these two constructions by using the BFK-gluing formula for zeta-determinants, the adiabatic method for stretching cyli…
This article is devoted to a study of flat orbifold vector bundles. We construct a bijection between the isomorphic classes of proper flat orbifold vector bundles and the equivalence classes of representations of the orbifold fundamental groups of base orbifolds. We establish a Bismut-Zhang like anomaly formula for the Ray-Singer metric on the determine line of the cohomology of a compact orbifold with coefficients in an orbifold flat vector bundle. We show that the analytic torsion of an acyclic unitary flat orbifold vector bundle is equal to the value at zero of a dynamical zeta function whe…
For hyperbolic Riemann surfaces of finite geometry, we study Selberg's zeta function and its relation to the relative scattering phase and the resonances of the Laplacian. As an application we show that the conjugacy class of a finitely generated, torsion-free, discrete subgroup of SL(2,R) is determined by its trace spectrum up to finitely many possibilities, thus generalizing results of McKean and Mueller to groups which are not necessarily cofinite.
In the previous work ([14]) we introduced the well-posed boundary conditions ${\mathcal P}_{-, {\mathcal L}_{0}}$ and ${\mathcal P}_{+, {\mathcal L}_{1}}$ for the odd signature operator to define the refined analytic torsion on a compact manifold with boundary. In this paper we discuss the gluing formula of the refined analytic torsion for an acyclic Hermitian connection with respect to the boundary conditions ${\mathcal P}_{-, {\mathcal L}_{0}}$ and ${\mathcal P}_{+, {\mathcal L}_{1}}$. In this case the refined analytic torsion consists of the Ray-Singer analytic torsion, the eta invariant an…
This paper is a continuation of arXiv:0809.1158, dealing with a general, not-necessarily torsion-free, connection. It characterizes all possible systems of generators for vector-field valued operators that depend naturally on a set of vector fields and a linear connection, describes the size of the space of such operators and proves the existence of an `ideal' basis consisting of operators with given leading terms which satisfy the (generalized) Bianchi-Ricci identities without corrections.
Let X be a closed manifold with zero Euler characteristic, and let f: X --> S^1 be a circle-valued Morse function. We define an invariant I which counts closed orbits of the gradient of f, together with flow lines between the critical points. We show that our invariant equals a form of topological Reidemeister torsion defined by Turaev [Math. Res. Lett. 4 (1997) 679-695]. We proved a similar result in our previous paper [Topology, 38 (1999) 861-888], but the present paper refines this by separating closed orbits and flow lines according to their homology classes. (Previously we only considered…
Torsion invariants for manifolds which are not simply connected were introduced by K. Reidemeister and generalized to higher dimensions by W. Franz. The Reidemeister torsion, was the first invariant of manifolds which was not a homotopy invariant. The analytic counterpart of the combinatorial Reidemeister torsion was introduced by D. B. Ray and I. M. Singer in form of a weighted product of zeta-regularized determinants of Laplace operators on differential forms. The celebrated Cheeger-Mueller Theorem, established independently by J. Cheeger and W. Mueller, proved equality between the analytic …
In this paper, we describe the space of adapted connections on a metric contact manifold through the space of their torsion tensors. The torsion tensor is an element of the space of TM-valued two-forms, which splits into various subspaces. We study the parts of the torsion tensor according to this splitting to completely describe the space of adapted connections. We use this description to obtain characterizations of the generalized Tanaka-Webster connection and to describe the Dirac operators of adapted connections.
This paper achieves, among other things, the following: 1)It frees the main result of [BFKM] from the hypothesis of determinant class and extends this result from unitary to arbitrary representations. 2)It extends (and at the same times provides a new proof of) the main result of Bismut and Zhang [BZ] from finite dimensional representations of $Γ$ to representations on an ${\cal A}-$Hilbert module of finite type (${\cal A}$ a finite von Neumann algebra). The result of [BZ] corresponds to ${\cal A}=\bbc.$ 3)It provides interesting real valued functions on the space of representations of the fun…
In this paper, we extend Deligne's functorial Riemann-Roch isomorphism for hermitian holomorphic line bundles on Riemann surfaces to the case of flat, not necessarily unitary connections. The Quillen metric and star-product of Gillet-Soule are replaced with complex valued logarithms. On the determinant of cohomology side, the idea goes back to Fay's holomorphic extension of determinants of Dolbeault laplacians, and it is shown here to be equivalent to the holomorphic Cappell-Miller torsion. On the Deligne pairing side, the logarithm is a refinement of the intersection connections considered in…