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.
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 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…
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.
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 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)$
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 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 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.
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$.
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.
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…
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 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 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 …
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…
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 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 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 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…
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.
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…
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 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}.
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.
The main purpose of the paper is to investigate Killing vector field on the tangent bundle T(M_{n}) of the Riemannian manifold with respect to the Levi-Civita connection of the metric II+III .
The refined analytic torsion associated to a flat vector bundle over a closed odd-dimensional manifold canonically defines a quadratic form $τ$ on the determinant line of the cohomology. Both $τ$ and the Burghelea-Haller torsion are refinements of the Ray-Singer torsion. We show that whenever the Burghelea-Haller torsion is defined it is equal to $\pmτ$. As an application we obtain new results about the Burghelea-Haller torsion. In particular, we prove a weak version of the Burghelea-Haller conjecture relating their torsion with the square of the Farber-Turaev combinatorial torsion.
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…
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蔚蓝海岸大学)
We study the behaviour of analytic torsion under smooth fibrations. Namely, let F \to E \to^{f} B be a smooth fiber bundle of connected closed oriented smooth manifolds and let $V$ be a flat vector bundle over $E$. Assume that $E$ and $B$ come with Riemannian metrics and $V$ comes with a unimodular (not necessarily flat) Riemannian metric. Let $ρ_{an}(E;V)$ be the analytic torsion of $E$ with coefficients in $V$ and let $\Pf_B$ be the Pfaffian $\dim(B)$-form. Let $H^q_{dR}(F;V)$ be the flat vector bundle over $B$ whose fiber over $b \in B$ is $H^q_{dR}(F_b;V)$ with the Riemannian metric which …
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.
The general problem for consistency between arbitrary transports along paths in fibre bundles and bundle morphisms between them is formulated and investigated. The special case of one fibre bundle, its morphism and transport along paths acting in it is considered. The consistency between linear transports along paths in a vector bundle and a Hermitian structure in it is studied.
We use a G2-structure on a 7-dimensional Riemannian manifold with a fixed metric to define an octonion bundle with a fiberwise non-associative product. We then define a metric-compatible octonion covariant derivative on this bundle that is compatible with the octonion product. The torsion of the G2-structure is then shown to be an octonionic connection for this covariant derivative with curvature given by the component of the Riemann curvature that lies in the 7-dimensional representation of G2. We also interpret the choice of a particular G2-structure within the same metric class as a choice …
We consider the relative canonical line bundle $K_{\mathcal{X}/\mathcal{T}}$ and a relatively ample line bundle $(L, e^{-ϕ})$ over the total space $ \mathcal{X}\to \mathcal{T}$ of fibration over the Teichmüller space by Riemann surfaces. We consider the case when the induced metric $\sqrt{-1}\partial\bar{\partial}ϕ|_{\mathcal{X}_y}$ on $\mathcal{X}_y$ has constant scalar curvature and we obtain the curvature asymptotics of $L^2$-metric and Quillen metric of the direct image bundle $E^k=π_*(L^k+K_{\mathcal{X}/\mathcal{T}})$. As a consequence we prove that the second variation of analytic torsio…
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.
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 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).
We review the Reidemeister torsion, Ray-Singer's analytic torsion and the Cheeger-M"uller theorem. We describe the analytic torsion of the de Rham complex twisted by a flux form introduced by the current authors and recall its properties. We define a new twisted analytic torsion for the complex of invariant differential forms on the total space of a principal circle bundle twisted by an invariant flux form. We show that when the dimension is even, such a torsion is invariant under certain deformation of the metric and the flux form. Under T-duality which exchanges the topology of the bundle an…
We study the geometry of a $G$-structure $P$ inside the oriented orthonormal frame bundle ${\rm SO}(M)$ over an oriented Riemannian manifold $M$. We assume that $G$ is connected and closed, so the quotient ${\rm SO}(n)/G$, where $n=\dim M$, is a normal homogeneous space and we equip ${\rm SO}(M)$ with the natural Riemannian structure induced from the structure on $M$ and the Killing form of ${\rm SO}(n)$. We show, in particular, that minimality of $P$ is equivalent to harmonicity of an induced section of the homogeneous bundle ${\rm SO}(M)\times_{{\rm SO}(n)}{\rm SO}(n)/G$, with a Riemannian m…
We consider a closed odd-dimensional oriented manifold $M$ together with an acyclic flat hermitean vector bundle $\cF$. We form the trivial fibre bundle with fibre $M$ over the manifold of all Riemannian metrics on $M$. It has a natural flat connection and a vertical Riemannian metric. The higher analytic torsion form of Bismut/Lott associated to the situation is invariant with respect to the connected component of the identity of the diffeomorphism group of $M$. Using that the space of Riemannian metrics is contractible we define continuous cohomology classes of the diffeomorphism group and i…
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.
We show that the category of abelian gerbes over a smooth manifold is equivalent to a certain category of principal bundles over the free loop space. These principal bundles are equipped with fusion products and are equivariant with respect to thin homotopies between loops. The equivalence is established by a functor called regression, and complements a similar equivalence for bundles and gerbes equipped with connections, derived previously in Part II of this series of papers. The two equivalences provide a complete loop space formulation of the geometry of gerbes; functorial, monoidal, natura…