Extremal Kaehler metrics and Ray-Singer analytic torsion
Werner Mueller, Katrin Wendland
备注:
33 pages, LaTeX2e, to be published in Geometric Aspects of partial differential equations, Proceedings of the Roskilde Conference, Sept. 1998, AMS series Contemporary Mathematics
Let (X,[ω]) be a compact Kaehler manifold with a fixed Kaehler class [ω]. Let K_ωbe the set of all Kaehler metrics on X whose Kaehler class equals [ω]. In this paper we investigate the critical points of the functional Q(g)= |v|_g T_0(X,g)^{1/2} for g \in K_ω, where v is a fixed nonzero vector of the determinant line λ(X) associated to H^*(X) and T_0(X,g) is the Ray-Singer analytic torsion. For a polarized algebraic manifold (X,L) we consider a twisted version Q_L(g) of this functional and assume that c_1(L)=[ω]. Then the critical points of Q_L are exactly the metrics g\in K_ωof constant scalar curvature. In particular, if c_1(X)=0 or if c_1(X)<0 and 1/(2π)[ω] = -c_1(X), then K_ωcontains a unique Kaehler-Einstein metric g_{KE} and Q_L attains its absolut maximum at g_{KE}.
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.
Ray Singer torsion is a numerical invariant associated with a compact Riemannian manifold equipped with a flat bundle and a Hermitian structure on this bundle. In this note we show how one can remove the dependence on the Riemannian metric and on the Hermitian structure with the help of a base point and of an Euler structure, in order to obtain a topological invariant. A numerical invariant for an Euler structure and additional data is also constructed.
We study almost Hermitian structures admitting a Hermitian connexion with totally skew-symmetric torsion or equivalently, those almost Hermitian structures with totally skew-symmetric Nijenhuis tensor. We investigate up to what extent the Nijenhuis tensor fails to be parallel with respect to the characteristic connexion. This is naturally described by means of an extension of the notion of Killing form to almost Hermitian geometry. In this context, we also make an essentially self-contained survey of nearly-Kaehler geometry, but from the perspective of non-integrable holonomy systems.
For an acyclic representation of the fundamental group of a compact oriented odd-dimensional manifold, which is close enough to a unitary representation, we define a refinement of the Ray-Singer torsion associated to this representation. This new invariant can be viewed as an analytic counterpart of the refined combinatorial torsion introduced by Turaev. The refined analytic torsion is a holomorphic function of the representation of the fundamental group. When the representation is unitary, the absolute value of the refined analytic torsion is equal to the Ray-Singer torsion, while its phase i…
We derive sufficient conditions for the vanishing of plurigenera, $p_m(J), m>0$, on compact (l|k)-strong, $ω^l\wedge \partial\bar\partial ω^k=0$, Kaehler manifolds with torsion. In particular, we show that the plurigenera of compact (l|k)-strong manifolds, k<n-1, for which the holonomy of the unique Hermitian connection with skew-symmetric torsion is contained in SU(n) vanish. As a consequence all generalized k-Gauduchon manifolds with holonomy of the Hermitian connection with skew-symmetric torsion contained in SU(n) do not admit holomorphic (n,0) forms. Furthermore we show that all conformal…
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 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 study almost Kähler manifolds whose curvature tensor satisfies the second curvature condition of Gray (shortly ${\cal{AK}}_2$). This condition is interpreted in terms of the first canonical Hermitian connection. It turns out that this condition forces the torsion of this connection to be parallel in directions orthogonal to the Kähler nullity of the almost complex structure. We prove a local structure result for ${\cal{AK}}_2$ manifolds, showing that the basic pieces are manifolds with parallel torsion and special almost Kähler manifolds, a class generalizing, to some algebraic extent, the …
We study almost Kaehler manifolds whose curvature tensor satisfies the third curvature condition of Gray. We show that the study of manifolds within this class reduces to the study of a subclass having the property that the torsion of the first canonical Hermitian connection has the simplest possible algebraic form. This allows to understand the structure of the Kaehler nullity of an almost Kaehler manifold with parallel torsion.
For an almost contact metric manifold $N$, we find conditions for which either the total space of an $S^1$-bundle over $N$ or the Riemannian cone over $N$ admits a strong Kähler with torsion (SKT) structure. In this way we construct new 6-dimensional SKT manifolds. Moreover, we study the geometric structure induced on a hypersurface of an SKT manifold, and use such structures to construct new SKT manifolds via appropriate evolution equations. Hyper-Kähler with torsion (HKT) structures on the total space of an $S^1$-bundle over manifolds with three almost contact structures are also studied.
This paper is devoted to a proof of a generalized Ray-Singer conjecture for a manifold with boundary (the Dirichlet and the Neumann boundary conditions are independently given on each connected component of the boundary and the transmission boundary condition is given on the interior boundary). The Ray-Singer conjecture \cite{RS} claims that for a closed manifold the combinatorial and the analytic torsion norms on the determinant of the cohomology are equal. For a manifold with boundary the ratio between the analytic torsion and the combinatorial torsion is computed. Some new general propertie…
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 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 give a quantum field theoretic derivation of the formula obeyed by the Ray-Singer torsion on product manifolds. Such a derivation has proved elusive up to now. We use a BRST formalism which introduces the idea of an infinite dimensional Universal Gauge Fermion, and is of independent interest being applicable to situations other than the ones considered here. We are led to a new class of Fermionic topological field theories. Our methods are also applicable to combinatorially defined manifolds and methods of discrete approximation such as the use of a simplicial lattice or finite elements. Th…
It is shown that for any piecewise-linear closed orientable manifold of odd dimension there exists an invariantly defined metric on the determinant line of cohomology with coefficients in an arbitrary flat bundle E over the manifold (E is not required to be unimodular). The construction of this metric (called Poincare - Reidemeister metric) is purely combinatorial; it combines the standard Reidemeister type construction with Poincare duality. The main result of the paper states that the Poincare-Reidemeister metric computes combinatorially the Ray-Singer metric. It is shown also that the Ray-S…
We discuss the mathematical properties of six--dimensional non--Kähler manifolds which occur in the context of ${\cal N}=1$ supersymmetric heterotic and type IIA string compactifications with non--vanishing background H--field. The intrinsic torsion of the associated SU(3) structures falls into five different classes. For heterotic compactifications we present an explicit dictionary between the supersymmetry conditions and these five torsion classes. We show that the non--Ricci flat Iwasawa manifold solves the supersymmetry conditions with non--zero H--field, so that it is a consistent heterot…
We study the geometry of the canonical connection on a quasi-Kaehler manifold with Norden metric. We consider the cases when the canonical connection has Kaehler curvature tensor and parallel torsion, and derive conditions for an isotropic-Kaehler manifold. We give the relation between the canonical connection, the B-connection, and the connection with totally skew-symmetric torsion on quasi-Kaehler manifolds with Norden metric.
Consider a flat vector bundle F over compact Riemannian manifold M and let f be a self-indexing Morse function on M. Let g be a smooth Euclidean metric on F. Set g_t=exp(-2tf)g and let ρ(t) be the Ray-Singer analytic torsion of F associated to the metric g_t. Assuming that the vector field $grad f$ satisfies the Morse-Smale transversality conditions, we provide an asymptotic expansion for log(ρ(t)) for t\to\infty of the form a_0+a_1t+b log(t)+o(1). We present explicit formulae for coefficients a_0,a_1 and b. In particular, we show that b is a half integer.
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…
We consider an almost complex manifold with Norden metric (i. e. a metric with respect to which the almost complex structure is an anti-isometry). On such a manifold we study a linear connection preserving the almost complex structure and the metric and having a totally skew symmetric torsion tensor (i. e. a 3-form). We prove that if a non-Kaehler almost complex manifold with Norden metric admits such connection then the manifold is quasi-Kaehlerian (i. e. has non-integrable almost complex structure). We prove that this connection is unique, determine its form, and construct an example of it o…
The spectrum of the Laplace-Dolbeault operator for any line bundle with parallel curvature on a flat complex torus is computed. The Ray-Singer analytic torsion is then deduced, generalizing thus Bost's result for ample line bundles and Ray-Singer's ones for flat bundles, of which we a geometric interpretation is given.
We show that the refined analytic torsion is a holomorphic section of the determinant line bundle over the space of complex representations of the fundamental group of a closed oriented odd dimensional manifold. Further, we calculate the ratio of the refined analytic torsion and the Farber-Turaev combinatorial torsion. As an application, we establish a formula relating the eta-invariant and the phase of the Farber-Turaev torsion, which extends a theorem of Farber and earlier results of ours. This formula allows to study the spectral flow using methods of combinatorial topology.
In this paper, we extend Su-Zhang's Cheeger-Mueller type theorem for symmetric bilinear torsions to manifolds with boundary in the case that the Riemannian metric and the non-degenerate symmetric bilinear form are of product structure near the boundary. Our result also extends Bruening-Ma's Cheeger-Mueller type theorem for Ray-Singer metric on manifolds with boundary to symmetric bilinear torsions in product case. We also compare it with the Ray-Singer analytic torsion on manifolds with boundary.
Let $E$ be a flat complex vector bundle over a closed oriented odd dimensional manifold $M$ endowed with a flat connection $\nabla$. The refined analytic torsion for $(M,E)$ was defined and studied by Braverman and Kappeler. Recently Mathai and Wu defined and studied the analytic torsion for the twisted de Rham complex with an odd degree closed differential form $H$, other than one form, as a flux and with coefficients in $E$. In this paper we generalize the construction of the refined analytic torsion to the twisted de Rham complex. We show that the refined analytic torsion of the twisted de …
In the present work we consider an almost complex manifold with Norden metric (i.e. a metric with respect to which the almost complex structure is an antiisometry). On such a manifold we study a linear connection preserving the almost complex structure and the metric and having a totally skew-symmetric torsion tensor. We consider the case when the manifold admits a connection with parallel totally skew-symmetric torsion and the case when such connection has a Kaehler curvature tensor. We get necessary and sufficient conditions for an isotropic Kaehler manifold with Norden metric.
We study an analogue of the analytic torsion for elliptic complexes that are graded by $\mathbb{Z}_2$, orignally constructed by Mathai and Wu. Motivated by topological T-duality, Bouwknegt an Mathai study the complex of forms on an odd-dimensional manifold equipped with with the twisted differential $d_H = d+H$, where $H$ is a closed odd-dimensional form. We show that the Ray-Singer metric on this twisted determinant is equal to the untwisted Ray-Singer metric when the determinant lines are identified using a canonical isomorphism. We also study another analytical invariant of the twisted diff…
I consider the semiclassical approximation of the graded Chern-Simons field theories describing certain systems of topological A type branes in the large radius limit of Calabi-Yau compactifications. I show that the semiclassical partition function can be expressed in terms of a certain (differential) numerical invariant which is a version of the analytic torsion of Ray and Singer, but associated with flat graded superbundles. I also discuss a `twisted' version of the Ray-Singer norm, and show its independence of metric data. As illustration, I consider graded D-brane pairs of unit relative gr…
We prove equality between the renormalized Ray-Singer analytic torsion and the intersection R-torsion on a Witt-manifold with cusps, up to an error term determined explicitly by the Betti numbers of the cross section of the cusp and the intersection R-torsion of a model cone. In the first step of the proof we compute explicitly the renormalized Ray-Singer analytic torsion of a model cusp in general dimension and without the Witt-condition. In the second step we establish a gluing formula for renormalized Ray-Singer analytic torsion on a general class of non-compact manifolds in any dimension t…
We study special almost Kaehler manifolds whose curvature tensor satisfies the second curvature condition of Gray. It is shown that for such manifolds, the torsion of the first canonical Hermitian is parallel. This enables us to show that every AK_2-manifold has parallel torsion. Some applications of this result, concerning the existence of orthogonal almost Kaehler structures on spaces of constant curvature are given.
We use a natural affine connection with nontrivial torsion on an arbitrary almost-Kaehler manifold which respects the almost-Kaehler structure to construct a Fedosov-type deformation quantization on this manifold.
A torsion-free G_2 structure admitting an infinitesimal isometry is shown to give rise to a 4-manifold equipped with a complex symplectic structure and a 1-parameter family of functions and 2-forms linked by second order equations. Reversing the process in various special cases leads to the construction of explicit metrics with holonomy equal to G_2.
Ambrose and Singer characterized connected, simply-connected and complete homogeneous Riemannian manifolds as Riemannian manifolds admitting a metric connection such that its curvature and torsion are parallel. The aim of this paper is to extend Ambrose-Singer Theorem to the general framework of locally homogeneous pseudo-Riemannian manifolds. In addition we study under which conditions a locally homogeneous pseudo-Riemannian manifold can be recovered from the curvature and their covariant derivatives at some point up to finite order. The same problem is tackled in the presence of a geometric …
The refined analytic torsion, defined by M. Braverman and T. Kappeler on closed manifolds, can be viewed as a refinement of the Ray-Singer torsion, since it is a canonical choice of an element with Ray-Singer norm one, in case of unitary representations. The complex phase of the refinement is given by the rho-invariant of the odd-signature operator. Unfortunately there seems to be no canonical way to extend the construction of Braverman and Kappeler to compact manifolds with boundary. In particular a gluing formula seems to be out of reach. We propose a different refinement of analytic torsion…
In this paper we extend and Poincare dualize the concept of Euler structures, introduced by Turaev for manifolds with vanishing Euler-Poincare characteristic, to arbitrary manifolds. We use the Poincare dual concept, co-Euler structures, to remove all geometric ambiguities from the Ray-Singer torsion by providing a slightly modified object which is a topological invariant. We show that when the co-Euler structure is integral then the modified Ray-Singer torsion when regarded as a function on the variety of generically acyclic complex representations of the fundamental group of the manifold is …
Let $X$ be a compact connected strongly pseudoconvex CR manifold of dimension $2n+1, n \ge 1$ with a transversal CR $S^1$-action on $X$. We introduce the Fourier components of the Ray-Singer analytic torsion on $X$ with respect to the $S^1$-action. We establish an asymptotic formula for the Fourier components of the analytic torsion with respect to the $S^1$-action. This generalizes the asymptotic formula of Bismut and Vasserot on the holomorphic Ray-Singer torsion associated with high powers of a positive line bundle to strongly pseudoconvex CR manifolds with a transversal CR $S^1$-action.
Institute for Mathematics, Astrophysics and Particle Physics, Radboud University(拉德堡德大学数学、天体物理学和粒子物理研究所);Australian Institute for Machine Learning, Adelaide University(阿德莱德大学澳大利亚机器学习研究所)
We prove an extension of the Cheeger-Müller theorem to spaces with isolated conical singularities: the $L^2$-analytic torsion coincides with the Ray-Singer intersection torsion on an even dimensional space, and they are trivial, while the ratio is non trivial on an odd dimensional space, and the anomaly depends only on the link of the singularities. For this aim, we develop on one side a combinatorial cellular theory whose homology coincides with the intersection homology of Gregory and Macpherson, and where the Ray-Singer intersection torsion is well defined. On the other side, we elaborate t…
We consider Lie(G)-valued G-invariant connections on bundles over spaces G/H, RxG/H and R^2xG/H, where G/H is a compact nearly Kaehler six-dimensional homogeneous space, and the manifolds RxG/H and R^2xG/H carry G_2- and Spin(7)-structures, respectively. By making a G-invariant ansatz, Yang-Mills theory with torsion on RxG/H is reduced to Newtonian mechanics of a particle moving in a plane with a quartic potential. For particular values of the torsion, we find explicit particle trajectories, which obey first-order gradient or hamiltonian flow equations. In two cases, these solutions correspond…
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 …
We define an (equivariant) quaternionic analytic torsion for antiselfdual vector bundles on quaternionic Kaehler manifolds, using ideas by Leung and Yi. We compute this torsion for vector bundles on quaternionic homogeneous spaces with respect to any isometry in the component of the identity, in terms of roots and Weyl groups.
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.
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…
In this paper we show that the Ray-Singer complex analytic torsion is trivial for even dimensional Calabi-Yau manifolds. Then we define the quaternionic analytic torsion for quaternionic manifolds and prove that they are metric independent. In dimension four, the quaternionic analytic torsion equals to the self-dual analytic torsion. For higher dimensional manifolds, the self-dual analytic torsion is a conformal invariant.
We construct left invariant quaternionic contact (qc) structures on Lie groups with zero and non-zero torsion and with non-vanishing quaternionic contact conformal curvature tensor, thus showing the existence of non-flat quaternionic contact manifolds. We prove that the product of the real line with a seven dimensional manifold, equipped with a certain qc structure, has a quaternionic Kaehler metric as well as a metric with holonomy contained in Spin(7). As a consequence we determine explicit quaternionic Kaehler metrics and Spin(7)-holonomy metrics which seem to be new. Moreover, we give expl…
Let $(M,I)$ be an almost complex 6-manifold. The obstruction to integrability of almost complex structure (so-called Nijenhuis tensor) maps a 3-dimensional bundle to a 3-dimensional one. We say that Nijenhuis tensor is non-degenerate if it is an isomorphism. An almost complex manifold is called nearly Kaehler if it admits a Hermitian form $ω$ such that $\nabla(ω)$ is totally antisymmetric, $\nabla$ being the Levi-Civita connection. We show that a nearly Kaehler metric on a given almost complex 6-manifold with non-degenerate Nijenhuis tensor is unique (up to a constant). We interpret the nearly…
We consider the unique Hermitian connection with totally skew-symmetric torsion on a Hermitian manifold. We prove that if the torsion is parallel and the holonomy is Sp(n)U(1), considered as a subgroup of U(2n) x U(1), then the manifold is locally isomorphic to the twistor space of a quaternionic Kaehler manifold with positive scalar curvature. If the manifold is complete, then it is globally isomorphic to such a twistor space.
We study the intrinsic torsion of almost quaternion-Hermitian manifolds via the exterior algebra. In particular, we show how it is determined by particular three-forms formed from simple combinations of the exterior derivatives of the local Kaehler forms. This gives a practical method to compute the intrinsic torsion and is applied in a number of examples. In addition we find simple characterisations of HKT and QKT geometries entirely in the exterior algebra and compute how the intrinsic torsion changes under a twist construction.
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…
The purpose of this article is to study the asymptotic expansion of Ray-Singer analytic tosion associated with increasing powers p of a given positive line bundle. Here we prove that the asymptotic expansion associated to a manifold contains only the terms of the form $p^{n-i} \log p, p^{n-i}$ for $i$-natural. For the two leading terms it was proved by Bismut and Vasserot in 1989. We will calculate the coefficients of the terms $p^{n-1} \log p, p^{n-1}$ in the Kahler case and thus answer the question posed in the recent work of Klevtsov, Ma, Marinescu and Wiegmann about quantuum Hall effect. O…
Microlocal index theorems and analytic torsion invariants in the geometric theory of partial differential equations
Institute of Mathematics and Informatics, Bulgarian Academy of Sciences(保加利亚科学院数学与信息学研究所);University of Angers, CNRS, LAREMA, SFR MATHSTIC and IITP RAS(昂热大学、法国国家科学研究中心、LAREMA、SFR MATHSTIC 和俄罗斯科学院信息传输问题研究所);Massachusetts Institute of Technology (MIT), IAiFi Institute(麻省理工学院(MIT)、IAiFi研究所);Beijing Institute of Mathematical Sciences and Applications(北京国际数学研究中心);Yau Mathematical Sciences Center, Tsinghua University(清华大学丘成桐数学科学中心)
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.
We generalize a theorem of Bismut-Zhang, which extends the Cheeger-Mueller theorem on Ray-Singer torsion and Reidemeister torsion, to the case where the flat vector bundle over a closed manifold carries a nondegenerate symmetric bilinear form. As a consequence, we prove the Burghelea-Haller conjecture which gives an analytic interpretation of the Turaev torsion. It thus also provides an analytic interpretation of (not merely the absolute value of) the Alexander polynomial in knot theory.
We propose a definition for analytic torsion of the contact complex on contact manifolds. We show it coincides with Ray-Singer torsion on any 3-dimensional CR Seifert manifold equipped with a unitary representation. In this particular case we compute it and relate it to dynamical properties of the Reeb flow. In fact the whole spectral torsion function we consider may be interpreted on CR Seifert manifolds as a purely dynamical function through Selberg-type trace formulae.