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.
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.
If there exists a quaternionic Bertrand curve in E4, then its torsion or bitorsion vanishes. So we can say that there is no quaternionic Bertrand curves whose torsion and bitorsion are non-zero. Hence by using the method which is given by Matsuda and Yorozu [13], we give the definition of quaternionic (1,3)-Bertrand curve according to Type 2-Quaternionic Frame and obtain some results about these curves.
A partial solution of the quaternionic contact Yamabe problem on the quaternionic sphere is given. It is shown that the torsion of the Biquard connection vanishes exactly when the trace-free part of the horizontal Ricci tensor of the Biquard connection is zero and this occurs precisely on 3-Sasakian manifolods. All conformal deformations sending the standard flat torsion-free quaternionic contact structure on the quaternionic Heisenberg group to a quaternionic contact structure with vanishing torsion of the Biquard connection are explicitly described. A '3-Hamiltonian form' of infinitesimal co…
We investigate quaternionic contact (qc) manifolds from the point of view of intrinsic torsion. We argue that the natural structure group for this geometry is a non-compact Lie group K containing Sp(n)H^*, and show that any qc structure gives rise to a canonical K-structure with constant intrinsic torsion, except in seven dimensions, when this condition is equivalent to integrability in the sense of Duchemin. We prove that the choice of a reduction to Sp(n)H^* (or equivalently, a complement of the qc distribution) yields a unique K-connection satisfying natural conditions on torsion and curvat…
The target space of a (4,0) supersymmetric two-dimensional sigma model with Wess-Zumino term has a connection with totally skew-symmetric torsion and holonomy contained in Sp(n).Sp(1), QKT-connection. We study the geometry of QKT-connections. We find conditions to the existence of a QKT-connection and prove that if it exists it is unique. Studying conformal transformations we obtain a lot of (compact) examples of QKT manifolds. We present a (local) description of 4-dimensional homogeneous QKT structures relying on the known result of naturally reductive homogeneous Riemannian manifolds. We con…
We review the theory of quaternionic Kahler and hyperkahler structures. Then we consider the tangent bundle of a Riemannian manifold M with a metric connection D (with torsion) and with its well estabilished canonical complex structure. With an extra almost Hermitian structure on M it is possible to find a quaternionic Hermitian structure on TM, which is quaternionic Kahler if, and only if, D is flat and torsion free. We also review the symplectic nature of TM. Finally a proper S^3-bundle of complex structures is introduced, expanding to TM the well known twistor bundle of M.
We characterise the integrability of any co-CR quaternionic structure in terms of the curvature and a generalized torsion of the connection. Also, we apply this result to obtain, for example, the following. (1) New co-CR quaternionic structures built on vector bundles over a quaternionic manifold M, whose twistor spaces are holomorphic vector bundles over the twistor space Z of M. Moreover, all the holomorphic vector bundles over Z, which are positive and isotypic when restricted to the twistor lines, are obtained this way. (2) Under generic dimensional conditions, any manifold endowed with an…
We explore the consequences of curvature and torsion on the topology of quaternionic contact manifolds with integrable vertical distribution. We prove a general Myers theorem and establish a Cartan-Hadamard result for almost qc-Einstein manifolds.
The target space of a (4,0) supersymmetric two-dimensional sigma model with Wess-Zumino term has a connection with totally skew-symmetric torsion and holonomy contained in Sp(n)Sp(1) (resp. Sp(n)), QKT (resp. HKT)-spaces. We study the geometry of QKT, HKT manifold and their twistor spaces. We show that the Swann bundle of a QKT manifold admits a HKT structure with special symmetry if and only if the twistor space of the QKT manifold admits an almost hermitian structure with totally skew-symmetric Nijenhuis tensor, thus connecting two structures arising from quantum field theories and supersymm…
We exploit the Cartan-Kähler theory to prove the local existence of real analytic quaternionic contact structures for any prescribed values of the respective curvature functions and their covariant derivatives at a given point on a manifold. We show that, in a certain sense, the different real analytic quaternionic contact geometries in $4n+3$ dimensions depend, modulo diffeomorphisms, on $2n+2$ real analytic functions of $2n+3$ variables.
In this paper, we extend the Burghelea-Haller analytic torsion to the twisted de Rham complexes. We also compare it with the twisted refined analytic torsion defined by Huang.
We study the analytic torsion of odd-dimensional hyperbolic orbifolds $Γ\backslash \mathbb{H}^{2n+1}$, depending on a representation of $Γ$. Our main goal is to understand the asymptotic behavior of the analytic torsion with respect to sequences of representations associated to rays of highest weights.
Recently, Cappell and Miller extended the classical construction of the analytic torsion for de Rham complexes to coupling with an arbitrary flat bundle and the holomorphic torsion for $\bar{\partial}$-complexes to coupling with an arbitrary holomorphic bundle with compatible connection of type $(1,1)$. Cappell and Miller studied the properties of these torsions, including the behavior under metric deformations. On the other hand, Mathai and Wu generalized the classical construction of the analytic torsion to the twisted de Rham complexes with an odd degree closed form as a flux and later, mor…
We prove that refined analytic torsion on a manifold with boundary is an analytic section of the determinant line bundle over the representation variety. As a fundamental application we establish a gluing formula for refined analytic torsion on connected components of the complex representation space which contain a unitary point. Finally we provide a new proof of Bruening-Ma gluing formula for the Ray-Singer torsion associated to a non-Hermitian connection. Our proof is quite different from the one given by Bruening and Ma and uses a temporal gauge transformation.
We give an explicit formula for the $L^2$ analytic torsion of the finite metric cone over an oriented compact connected Riemannian manifold. We provide an interpretation of the different factors appearing in this formula. We prove that the analytic torsion of the cone is the finite part of the limit obtained collapsing one of the boundaries, of the ratio of the analytic torsion of the frustum to a regularising factor. We show that the regularising factor comes from the set of the non square integrable eigenfunctions of the Laplace Beltrami operator on the cone.
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.
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 …
On an odd-dimensional oriented hyperbolic manifold of finite volume with strongly acyclic coefficient systems, we derive a formula relating analytic torsion with the Reidemeister torsion of the Borel-Serre compactification of the manifold. In a companion paper, this formula is used to derive exponential growth of torsion in cohomology of arithmetic groups.
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.
Inspired by the work of Boris Vertman on refined analytic torsion for manifolds with boundary, in this paper we extend the construction of the Cappell-Miller analytic torsion to manifolds with boundary. We also compare it with the refined analytic torsion on manifolds with boundary. As a byproduct of the gluing formula for refined analytic torsion and the comparison theorem for the Cappell-Miller analytic torsion and the refined analytic torsion, we establish the gluing formula for the Cappell-Miller analytic torsion in the case that the Hermitian metric is flat.
For an odd-dimensional oriented hyperbolic manifold with cusps and strongly acyclic coefficient systems we define the Reidemeister torsion of the Borel-Serre compactification of the manifold using bases of cohomology classes defined via Eisenstein series by the method of Harder. In the main result of this paper we relate this combinatorial torsion to the regularized analytic torsion. Together with results on the asymptotic behaviour of the regularized analytic torsion, established previously, this should have applications to study the growth of torsion in the cohomology of arithmetic groups. O…
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 locally conformal Kaehler geometry as an equivariant (homothetic) Kaehler geometry: a locally conformal Kaehler manifold is, up to equivalence, a pair (K,Γ) where K is a Kaehler manifold and Γa discrete Lie group of biholomorphic homotheties acting freely and properly discontinuously. We define a new invariant of a locally conformal Kaehler manifold (K,Γ) as the rank of a natural quotient of Γ, and prove its invariance under reduction. This equivariant point of view leads to a proof that locally conformal Kaehler reduction of compact Vaisman manifolds produces Vaisman manifolds and…
We investigate the limit the R torsion of a conical frustum as one of the basis is shrunk to a point. We show that, if we take suitable regularization, such a limit gives the intersection torsion of the resulting cone.
In this paper we study the analytic realisation of the discrete series representations for the group $G=Sp(1,1)$ as a subspace of the space of square integrable sections in a homogeneous vector bundle over the symmetric space $G/K:=Sp(1,1) /(Sp(1) \times Sp(1))$. We use the Szegö map to give expressions for the restrictions of the $K$-types occurring in the representation spaces to the submanifold $AK/K$.
We establish a Cheeger-Muller theorem for unimodular representations satisfying a Witt condition on a noncompact manifold with cusps. This class of spaces includes all non-compact hyperbolic spaces of finite volume, but we do not assume that the metric has constant curvature nor that the link of the cusp is a torus. We use renormalized traces in the sense of Melrose to define the analytic torsion and we relate it to the intersection R-torsion of Dar of the natural compactification to a stratified space. Our proof relies on our recent work on the behavior of the Hodge Laplacian spectrum on a cl…
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.
We compute the analytic torsion of a cone over a sphere of dimension 1, 2, and 3, and we conjecture a general formula for the cone over an odd dimensional sphere.
We study the Reidemeister torsion and the analytic torsion of the $m$ dimensional disc in the Euclidean $m$ dimensional space, using the base for the homology defined by Ray and Singer in \cite{RS}. We prove that the Reidemeister torsion coincides with a power of the volume of the disc. We study the additional terms arising in the analytic torsion due to the boundary, using generalizations of the Cheeger-Müller theorem. We use a formula proved by Brüning and Ma \cite{BM}, that predicts a new anomaly boundary term beside the known term proportional to the Euler characteristic of the boundary \c…
In this paper, we establish an equality between the analytic torsion introduced by Dar\cite{MR876230} and the orbifold analytic torsion defined by Ma \cite{MR2140438} on a compact manifold with isolated conical singularities which in addition has an orbifold structure. We assume the orbifold flat vector bundle is an honest vector bundle, although the metric on the flat bundle may not be flat.
We prove a formula relating the analytic torsion and Reidemeister torsion on manifolds with boundary in the general case when the metric is not necessarily a product near the boundary. The product case has been established by W. Luck and S. M. Vishik. We find that the extra term that comes in here in the nonproduct case is the transgression of the Euler class in the even dimensional case and a slightly more mysterious term involving the second fundamental form of the boundary and the curvature tensor of the manifold in the odd dimensional case.
In the previous article "Refined Analytic Torsion on Manifolds with Boundary" we have presented a construction of refined analytic torsion in the spirit of Braverman and Kappeler, which does apply to compact manifolds with and without boundary. We now derive a gluing formula for our construction, which can be viewed as a gluing law for the original definition of refined analytic torsion by Braverman and Kappeler. A gluing formula allows to compute the torsion invariant by cutting the manifold into elementary pieces and performing computations on each component. Certainly, the general fact of e…
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 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…
For a complex flat vector bundle over a fibered manifold, we consider the 1-parameter family of certain deformed sub-signature operators introduced by Ma-Zhang. We compute the adiabatic limit of the Bismut-Freed connection associated to this family and show that the Bismut-Lott analytic torsion form shows up naturally under this procedure.
Using the higher analytic torsion form of Bismut and Lott we construct a characteristic class for smooth sphere bundles. We calculate this class in the case where the sphere bundle comes from a complex vector bundle. Related to these characteristic classes we define nontrivial continuous group cohomology classes of the diffeomorphism group of odd dimensional spheres.
We study the analytic torsion of the cone over an orientable odd dimensional compact connected Riemannian manifold W. We prove that the logarithm of the analytic torsion of the cone decomposes as the sum of the logarithm of the root of the analytic torsion of the boundary of the cone, plus a topological term, plus a further term that is a rational linear combination of local Riemannian invariants of the boundary. We also prove that this last term coincides with the anomaly boundary term appearing in the Cheeger Muller theorem for a manifold with boundary, according to Bruning and Ma, either in…
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.
Braverman and Kappeler introduced a refinement of the Ray-Singer analytic torsion associated to a flat vector bundle over a closed odd-dimensional manifold. We study this notion and improve the Braverman-Kappeler theorem comparing the refined analytic torsion with Farber-Turaev refinement of the combinatorial torsion. Using this result we establish, modulo sign, the Burghelea-Haller conjecture, comparing their complex analytic torsion with Farber-Turaev torsion in the case, when the flat connection can be deformed in the space of flat connections to a Hermitian connection. We also compute the …
For a compact manifold, which has a part isometric to a cylinder of finite length, we consider an adiabatic limit procedure, in which the length of the cylinder tends to infinity. We study the asymptotic of the spectrum of Hodge-Laplacian and the asymptotic of the $L^2$-metric on de Rham cohomology. As an application, we give a pure analytic proof of the gluing formula for analytic torsion.
We prove the smoothness of the L^2-analytic torsion form on some fiber bundles with non-compact fibers of positive Novikov-Shubin invariant. We do so by generalizing the arguments of Azzali-Goette-Schick to an appropriate Sobolev space, and proving that the Novikov-Shubin invariant remains positive in the Sobolev settings, using an argument of Alvarez Lopez-Kordyukov.
Institute for Mathematics, Astrophysics and Particle Physics, Radboud University(拉德堡德大学数学、天体物理学和粒子物理研究所);Australian Institute for Machine Learning, Adelaide University(阿德莱德大学澳大利亚机器学习研究所)
In this paper we establish a comparison formula of the absolute and relative real analytic torsion forms over fibrations with boundaries. The key tool is a gluing formula of analytic torsion forms proved by M. Puchol, Y. Zhang and the author. As a consequence of the comparison formula, we prove another version of the gluing formula of the analytic torsion forms conjectured originally by the author.
Given a fiber bundle with closed connected fibers, and a family of separating hypersurfaces, we study the behavior of the Bismut-Lott analytic torsion form, and the eta form for a duality bundle, under analytic surgery in the sense of Hassell, Mazzeo and Melrose. We find that under the surgery limit, the rescaled heat kernel is non-singular, while both the Bismut-Lott analytic torsion form and eta form can be written as the sum of a logarithmic term, which satisfies the Igusa additivity property, the b- Bismut-Lott analytic torsion form (respectively the b- eta form), and an error term coming …
We prove the logarithmic divergence of equivariant analytic torsion for one-parameter degenerations of projective algebraic manifolds, when the coefficient vector bundle is given by a Nakano semi-positive vector bundle twisted by the relative canonical bundle.
We define analytic torsion of Z_2-graded elliptic complexes as an element in the graded determinant line of the cohomology of the complex, generalizing most of the variants of Ray-Singer analytic torsion in the literature. It applies to a myriad of new examples, including flat superconnection complexes, twisted analytic and twisted holomorphic torsions, etc. The definition uses pseudo-differential operators and residue traces. We also study properties of analytic torsion for Z_2-graded elliptic complexes, including the behavior under variation of the metric. For compact odd dimensional manifol…
We introduce multi-torsion, a spectral invariant generalizing Ray-Singer analytic torsion. We define multi-torsion for compact manifolds with a certain local geometric product structure that gives a bigrading on differential forms. We prove that multi-torsion is metric-independent in a suitable sense. Our definition of multi-torsion is inspired by an interpretation of each of analytic torsion and the eta invariant as a regularized integral of a closed differential form on a space of metrics on a vector bundle or on a space of elliptic operators. We generalize the Stokes' theorem argument expla…
For a closed Riemannian manifold we extend the definition of analytic and Reidemeister torsion associated to an orthogonal representation of fundamental group on a Hilbert module of finite type over a finite von Neumann algebra. If the representation is of determinant class we prove, generalizing the Cheeger-Müller theorem, that the analytic and Reidemeister torsion are equal. In particular, this proves the conjecture that for closed Riemannian manifolds with positive Novikov-Shubin invariants, the L2 analytic and Reidemeister torsions are equal.
We prove the automorphic property of the invariant of K3 surfaces with involution, which we obtained using equivariant analytic torsion, in the case where the dimension of the moduli space is less than or equal to 2.
We prove an index theorem concerning the pushforward of flat B-vector bundles, where B is an appropriate algebra. We construct the associated analytic torsion form T. If Z is a smooth closed aspherical manifold, we show that T gives invariants of the homotopy groups of Diff(Z).