We present a new proof, as well as a ${\bf C/Q}$ extension, of the Riemann-Roch-Grothendieck theorem of Bismut-Lott for flat vector bundles. The main techniques used are the computations of the adiabatic limits of $η$-invariants associated to the so-called sub-signature operators. We further show that the Bismut-Lott analytic torsion form can be derived naturally from the transgression of the $η$-forms appearing in the adiabatic limit computations.
In a recent joint work with V. Turaev (cf. math.DG/9810114) we defined a new concept of combinatorial torsion which we called absolute torsion. Compared with the classical Reidemeister torsion it has the advantage of having a well-defined sign. Also, the absolute torsion is defined for arbitrary orientable flat vector bundles, and not only for unimodular ones, as is classical Reidemeister torsion. In this paper I show that the sign behavior of the absolute torsion, under a continuous deformation of the flat bundle, is determined by the eta-invariant and the Pontrjagin classes.
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 compare the higher analytic torsion of Bismut and Lott of a fibre bundle p: M -> B equipped with a flat vector bundle F -> M and a fibre-wise Morse function h on M with a higher torsion T that is constructed in terms of a families Thom-Smale complex associated to h and F, thereby extending previous joint work with Bismut. Under additional conditions on F, the torsion T is related to Igusa's higher Franz-Reidemeister torsion. As an application, we use the higher analytic torsion to detect infinite families of smooth bundles p_i: M -> B with diffeomorphic fibres that are homeomorphic but not …
We study primary and secondary invariants of leafwise Dirac operators on foliated bundles. Given such an operator, we begin by considering the associated regular self-adjoint operator $D_m$ on the maximal Connes-Skandalis Hilbert module and explain how the functional calculus of $D_m$ encodes both the leafwise calculus and the monodromy calculus in the corresponding von Neumann algebras. When the foliation is endowed with a holonomy invariant transverse measure, we explain the compatibility of various traces and determinants. We extend Atiyah's index theorem on Galois coverings to these foliat…
We show that the R/Z part of the analytically defined eta invariant of Atiyah-Patodi-Singer for a Dirac operator on an odd dimensional closed spin manifold can be expressed purely geometrically through a stable Chern-Simons current on a higher dimensional sphere. As a preliminary application, we discuss the relation with the Atiyah-Patodi-Singer R/Z index theorem for unitary flat vector bundles, and prove an R refinement in the case where the Dirac operator is replaced by the Signature operator. We also extend the above discussion to the case of eta invariants associated to Hermitian vector bu…
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.
A vector bundle $E$ over a projective variety $M$ is called finite if it satisfies a nontrivial polynomial equation with nonnegative integral coefficients. Introducing finite bundles, Nori proved that $E$ is finite if and only if the pullback of $E$ to some finite étale covering of $M$ is trivializable \cite{No1}. The definition of finite bundles extends naturally to holomorphic vector bundles over compact complex manifolds. We prove that a holomorphic vector bundle over a compact complex manifold $M$ is finite if and only if the pullback of $E$ to some finite étale covering of $M$ is holomorp…
We compute eta invariants of various Dirac type operators on circle bundles over Riemann surfaces via two approaches: an adiabatic approach based on the results of Bismut-Cheeger-Dai and a direct elementary one. These results, coupled with some delicate spectral flow computations are then used to determine the virtual dimensions of Seiberg-Witten finite energy moduli spaces on any 4-manifold bounding unions of circle bundles. This belated paper should be regarded as the analytical backbone of dg-ga/9711006. There, we indicated only what changes are needed to extend the methods of the present p…
Cobordism invariance shows that the index, in K-theory, of a family of pseudodifferential operators on the boundary of a fibration vanishes if the symbol family extends to be elliptic across the whole fibration. For Dirac operators with spectral boundary condition, Dai and Freed \cite{dai-freed1} gave an explicit version of this at the level of the determinant bundle. Their result, that the eta invariant of the interior family trivializes the determinant bundle of the boundary family, is extended here to the wider context of pseudodifferential families of cusp type.
The Chern classes of a K-theory class which is represented by a vector bundle with connection admit refinements to Cheeger-Simons classes in Deligne cohomology. In the present paper we consider similar refinements in the case where the classes in K-theory are represented by geometric families of Dirac operators. In low dimensions these refinements correspond to the exponentiated eta-invariant, the determinant line bundle with Quillen metric and Bismut-Freed connection, and Lott's index gerbe with connection and curving. We give a unified treatement of these cases as well as their higher genera…
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…
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 first apply the method and results in the previous paper to give a new proof of a result (hold in $ {\bf C}/{\bf Z}$) of Gilkey on the variation of h-invariants associated to non self-adjoint Dirac type operators. We then give an explicit local expression of certain h-invariant appearing in recent papers of Braverman-Kappeler on what they call refined analytic torsion, and propose an alternate formulation of their definition of the refined analytic torsion. A refinement in ${\bf C}$ of the above variation formula is also proposed.
We prove two geometric index theorems for a family of first-order elliptic operators over a manifold with boundary by computing eta form representatives for the Chern character classes of the index bundle. The eta forms occur as relative and regularized traces on infinite-dimensional vector bundles realized as the limiting values of superconnection character forms.
The goal of this paper is to introduce the lifting theory that has an important role in geometry. Therefore, using the lifts of differential geometric structures we show that tangent bundle TM of paracomplex manifold M admits para-complex torsion-free affine connection.
We prove an asymptotic bound on the eta invariant of a family of coupled Dirac operators on an odd dimensional manifold. In the case when the manifold is the unit circle bundle of a positive line bundle over a complex manifold, we obtain precise formulas for the eta invariant.
We find sufficient conditions for a principal toric bundle over compact Kähler manifolds to admit Calabi-Yau connections with torsion. With the aids of a topological classification, we construct such geometry on $n(S^2\times S^4)#(n+1)(S^3\times S^3)$
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.
The infinite matrix `Schwartz' group $G^{-\infty}$ is a classifying group for odd K-theory and carries Chern classes in each odd dimension, generating the cohomology. These classes are closely related to the Fredholm determinant on $G^{-\infty}.$ We show that while the higher (even, Schwartz) loop groups of $G^{-\infty},$ again classifying for odd K-theory, do \emph{not} carry multiplicative determinants generating the first Chern class, `dressed' extensions, corresponding to a star product, do carry such functions. We use these to discuss Bott periodicity for the determinant bundle and the et…
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…
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.
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.
Curvature and torsion of linear transports along paths in, respectively, vector bundles and the tangent bundle to a differentiable manifold are defined and certain their properties are derived.
We show that the Igusa-Klein topological torsion and the Bismut-Lott analytic torsion are equivalent for any flat vector bundle whose holonomy is a finite subgroup of $\mathrm{GL}_n(\mathbb{Q})$. Our proof uses Artin's induction theorem in representation theory to reduce the problem to the special case of trivial flat line bundles, which is a recent result of Puchol, Zhu and the second author. The idea of using Artin's induction theorem appeared in a paper of Ohrt on the same topic, of which our present work is an improvement.
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…
A geometric interpretation of curvature and torsion of linear transports along paths is presented. A number of (Bianchi type) identities satisfied by these quantities are derived. The obtained results contain as special cases the corresponding classical ones concerning curvature and torsion of linear connections.
The paper introduces the notion of Γ-linear connection \nabla on the 1-jet fibre bundle J^1(T,M), and presents its local components. We also describe the local Ricci and Bianchi identities of $\nabla$.
Let $M$ be an $n-$dimensional differentiable manifold equipped with a torsion-free linear connection $\nabla $ and $T^{\ast }M$ its cotangent bundle. The present paper aims to study a metric connection $\widetilde{% \nabla }$ with nonvanishing torsion on $T^{\ast }M$ with modified Riemannian extension ${}\bar{g}_{\nabla ,c}$. First, we give a characterization of fibre-preserving projective vector fields on $(T^{\ast }M,{}\bar{g}%_{\nabla ,c})$ with respect to the metric connection $\widetilde{\nabla }$. Secondly, we study conditions for $(T^{\ast }M,{}\bar{g}_{\nabla ,c})$ to be semi-symmetric…
A proper etale Lie groupoid is modelled as a (noncommutative) spectral geometric space. The spectral triple is built on the algebra of smooth functions on the groupoid base which are invariant under the groupoid action. Stiefel-Whitney classes in Lie groupoid cohomology are introduced to measure the orientability of the tangent bundle and the obstruction to lift the tangent bundle to a spinor bundle. In the case of an orientable and spin Lie groupoid, an invariant spinor bundle and an invariant Dirac operator will be constructed. This data gives rise to a spectral triple. The algebraic orienta…
We construct examples of compact hyperkaehler manifolds with torsion (HKT manifolds) which are not homogeneous and not locally conformal hyperkaehler. Consider a total space T of a tangent bundle over a hyperkaehler manifold M. The manifold T is hypercomplex, but it is never hyperkaehler, unless M is flat. We show that T admits an HKT-structure. We also prove that a quotient of T by a $\Z$-action $v \arrow q^n v$ is HKT, for any real number $q\in \R$, $q>1$. This quotient is compact, if M is compact. A more general version of this construction holds for all hyperholomorphic bundles with holono…
The purpose of this paper is first to give an asymptotic formula for the holomorphic analytic torsion forms of a fibration associated with increasing powers of a given line bundle. Secondly, we generalize this formula, thanks to the theory of Toeplitz operators, in the case where the powers of the line bundle is replaced by the direct image of powers of a line bundle on a bigger manifold. In both cases we have to make fiberwise positivity assumption on the line bundle. This results are the family versions of the results of Bimsut and Vasserot on the asymptotic of the holomorphic torsion.
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.
Many bundle gerbes constructed in practice are either infinite-dimensional, or finite-dimensional but built using submersions that are far from being fibre bundles. Murray and Stevenson proved that gerbes on simply-connected manifolds, built from finite-dimensional fibre bundles with connected fibres, always have a torsion $DD$-class. In this note I prove an analogous result for a wide class of gerbes built from principal bundles, relaxing the requirements on the fundamental group of the base and the connected components of the fibre, allowing both to be nontrivial. This has consequences for p…
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 $…
In this paper we provide an explicit description of normal almost contact structures obtained from Cartan-Ehresmann connections (gauge fields) on principal $S^{1}$-bundles over complex flag manifolds. The main feature of our approach is to employ elements of representation theory of complex simple Lie algebras in order to describe and classify these structures. We use these normal almost contact structures to explicitly describe a huge class of compact Hermitian non-Kähler manifolds obtained from products of principal $S^{1}$-bundles over complex flag manifolds. Moreover, we obtain from our de…
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…
We study the homotopy aspects of the twisted Chern classes of torsion bundle gerbe modules. Using Sullivan's rational homotopy theory, we realize the twisted Chern classes at the level of classifying spaces. The construction suggests a notion, which we call fractional U-structure serving as a universal framework to study the twisted Chern classes of torsion bundle gerbe modules from the perspective of classifying spaces. Based on this, we introduce and study higher fractional structures on torsion bundle gerbe modules parallel to the higher structures on ordinary vector bundles.
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.
Using adiabatic limits of Eta invariants, Rho invariants of the total space of a fiber bundle are investigated. One concern is to formulate the aspects of local index theory for families of Dirac operator in terms of the odd signature operator, and place known results in a context which permits the treatment of Rho invariants. The main focus is, however, to use this to compute Rho invariants for explicit classes of fibered 3-manifolds. More precisely, we consider $\U(1)$-Rho invariants of principal $S^1$-bundles over closed, oriented surfaces as well as mapping tori with torus fiber. Hyperboli…
We study the natural G_2 structure on the unit tangent sphere bundle SM of any given orientable Riemannian 4-manifold M, as it was discovered in \cite{AlbSal}. A name is proposed for the space. We work in the context of metric connections, or so called geometry with torsion, and describe the components of the torsion of the connection which imply certain equations of the G_2 structure. This article is devoted to finding the G_2-torsion tensors which classify our structure according to the theory in \cite{FerGray}.
We generalize the transgression formula for the eta form of Bismut, Cheeger and Berline, Getzler, Vergne for vertical Dirac operators on a fibre bundle with odd dimensional fibres where the Dirac operators have locally at most one eigenvalue of multiplicity one crossing zero transversally.
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…
We consider a fibration with compact fiber together with a unitarily flat complex vector bundle over the total space. Under the assumption that the fiberwise cohomology admits a filtration with unitary factors, we construct Bismut-Lott analytic torsion classes. The analytic torsion classes obtained satisfy Igusa's and Ohrt's axiomatization of higher torsion invariants. As a consequence, we obtain a higher version of the Cheeger-Müller/Bismut-Zhang theorem: for trivial flat line bundles, the Bismut-Lott analytic torsion classes coincide with the Igusa-Klein higher topological torsions up to a n…
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 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…
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…
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.
In this paper, using the equivariant version of the Dai-Zhang higher spectral flow, we generalize the variation formula, embedding formula and the adiabatic limit formula for the Atiyah-Patodi-Singer eta invariants to the equivariant Bismut-Cheeger eta forms for a fiberwise compact Lie group action when the kernels of corresponding fiberwise Dirac operators form equivariant vector bundles.
Let $X$ be a compact Kähler manifold. We extend the notion of Quillen metric to the set of integrable line bundles on $X$. In particular, we prove that the notion of holomorphic analytic torsion extends to integrable line bundles $\bar{L}$, such that $H^q(X,L)=0$ for $q\geq 1$.
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.
Given a fiber bundle $Z \to M \to B$ and a flat vector bundle $E \to M$ with a compatible action of a discrete group $G$, and regarding $B / G$ as the non-commutative space corresponding to the crossed product algebra, we construct an analytic torsion form as a non-commutative deRham differential form. We show that our construction is well defined under the weaker assumption of positive Novikov-Shubin invariant. We prove that this torsion form appears in a transgression formula, from which a non-commutative Riamannian-Roch-Grothendieck index formula follows.
Torsion of extended Chern-Simons classes for canonical extensions of flat bundles
Institute for Mathematical Sciences (HBNI)（数学科学研究所（HBNI））；Max-Planck Institute for Mathematics（马克斯·普朗克数学研究所）；CNRS, Laboratoire J. A. Dieudonné, UMR 6621 Université Cöte d’Azur（法国国家科学研究中心，J.A.迪永实验室，UMR 6621蔚蓝海岸大学）
