Necessary and sufficient conditions for the existence of a hyper-parahermitian connection with totally skew-symmetric torsion (HPKT-structure) are presented. It is shown that any HPKT-structure is locally generated by a real (potential) function. An invariant first order differential operator is defined on any almost hyper-paracomplex manifold showing that it is two-step nilpotent exactly when the almost hyper-paracomplex structure is integrable. A local HPKT-potential is expressed in terms of this operator. Examples of (locally) invariant HPKT-structures with closed as well as non-closed torsion 3-form on a class of (locally) homogeneous hyperparacomplex manifolds (some of them compact) are constructed.
We study the pseudoriemannian geometry of almost parahermitian manifolds, obtaining a formula for the Ricci tensor of the Levi-Civita connection. The formula uses the intrinsic torsion of an underlying SL(n,R)-structure; we express it in terms of exterior derivatives of some appropriately defined differential forms. As an application, we construct Einstein and Ricci-flat examples on Lie groups. We disprove the parakähler version of the Goldberg conjecture, and obtain the first compact examples of a non-flat, Ricci-flat nearly parakähler structure. We study the paracomplex analogue of the first…
A set of canonical parahermitian connections on an almost paraHermitian manifold is defined. ParaHermitian version of the Apostolov-Gauduchon generalization of the Goldberg-Sachs theorem in General Relativity is given. It is proved that the Nijenhuis tensor of a Nearly paraKähler manifolds is parallel with respect to the canonical connection. Salamon's twistor construction on quaternionic manifold is adapted to the paraquaternionic case. A hyper-paracomplex structure is constructed on Kodaira-Thurston (properly elliptic) surfaces as well as on the Inoe surfaces modeled on $Sol^4_1$. A locally …
The geometry arising from Michelson & Strominger's study of N=4B supersymmetric quantum mechanics with superconformal D(2,1;alpha)-symmetry is a hyperKaehler manifold with torsion (HKT) together with a special homothety. It is shown that different parameters alpha are related via changes in potentials for the HKT target spaces. For alpha not 0 or -1, we describe how each such HKT 4m-manifold M is derived from a space N of dimension 4m-4 which is quaternionic Kaehler with torsion and carries an Abelian instanton.
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…
Hypersymplectic structures with torsion on Lie algebroids are investigated. We show that each hypersymplectic structure with torsion on a Lie algebroid determines three Nijenhuis morphisms. From a contravariant point of view, these structures are twisted Poisson structures. We prove the existence of a one-to-one correspondence between hypersymplectic structures with torsion and hyperkähler structures with torsion. We show that given a Lie algebroid with a hypersymplectic structure with torsion, the deformation of the Lie algebroid structure by any of the transition morphisms does not affect th…
In this paper, we prove an equality which involves Reidemeister torsion, complex volume, and Zograf infinite product for hyperbolic 3-manifolds with cusps.
We propose a generalization of the Hodge $dd_c$-lemma to the case of hyperkähler manifolds. As an application of this result we derive the global construction of the fourth order transgression of the Chern character forms of hyperholomorphic bundles over compact hyperkähler manifolds. At the second part of the paper we consider the fourth order transgression for the infinite dimensional bundle arising from local families of hyperkähler manifolds. We propose a local construction of the fourth order transgression of the Chern character form. We derive an explicit expression for arising hypertors…
The L^2-torsion is an invariant defined for compact L^2-acyclic manifolds of determinant class, for example odd dimensional hyperbolic manifolds. It was introduced by John Lott and Varghese Mathai and computed for hyperbolic manifolds in low dimensions. In this paper we show that the L^2-torsion of hyperbolic manifolds of arbitrary odd dimension does not vanish. This was conjectured by J. Lott and W. Lueck. Some concrete values are computed and an estimate of their growth with the dimension is given.
It is shown that an HKT-space with closed parallel potential 1-form has $D(2,1;-1)$-symmetry. Every locally conformally hyperkähler manifold generates this type of geometry. The HKT-spaces with closed parallel potential 1-form arising in this way are characterized by their symmetries and an inhomogeneous cubic condition on their torsion.
The investigation of strings and M-theory involves the understanding of various BPS solitons which in a certain approximation can be thought of as solutions of ten- and eleven-dimensional supergravity theories. These solitons have a brane or a intersecting brane interpretation, saturate a bound and are associated with parallel spinors with respect to a connection of the spin bundle of spacetime. A class of intersecting brane configurations is examined and it is shown that the geometry of spacetime is hyper-Kähler with torsion. A relation between these hyper-Kähler geometries with torsion and q…
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.
The internal space of a N=4 supersymmetric model with Wess-Zumino term has a connection with totally skew-symmetric torsion and holonomy in $\SP(n)$. We study the mathematical background of this type of connections. In particular, we relate it to classical Hermitian geometry construct homogeneous as well as inhomogeneous examples, characterize it in terms of holomorphic data, develop its potential theory and reduction theory.
We prove that for certain sequences of hyperbolic three--manifolds with cusps which converge to hyperbolic three--space in a weak ("Benjamini-Schramm") sense and certain coefficient systems the regularized analytic torsion approximates the $L^2$-torsion of the universal cover under an additional hypothesis. We also prove an asymptotic equality between the former and some Reidemeister torsion of the truncated manifolds.
For a non-compact hyperbolic 3-manifold with cusps we prove an explicit formula that relates the regularized analytic torsion associated to the even symmetric powers of the standard representation of SL_2(C) to the corresponding Reidemeister torsion. Our proof rests on an expression of the analytic torsion in terms of special values of Ruelle zeta functions as well as on recent work of Pere Menal-Ferrer and Joan Porti.
We study HKT structures on nilpotent Lie groups and on associated nilmanifolds. We exhibit three weak HKT structures on $\R^8$ which are homogeneous with respect to extensions of Heisenberg type Lie groups. The corresponding hypercomplex structures are of a special kind, called abelian. We prove that on any 2-step nilpotent Lie group all invariant HKT structures arise from abelian hypercomplex structures. Furthermore, we use a correspondence between abelian hypercomplex structures and subspaces of ${\frak sp}(n)$ to produce continuous families of compact and noncompact of manifolds carrying no…
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…
Almost hypercomplex manifolds with Hermitian and anti-Hermitian metrics are considered. A linear connection $D$ is introduced such that the structure of these manifolds is parallel with respect to D. Of special interest is the class of the locally conformally equivalent manifolds of the manifolds with covariantly constant almost complex structures and the case when the torsion of D is D-parallel. Curvature properties of these manifolds are studied. An example of 4-dimensional manifolds in the considered basic class is constructed and characterized.
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…
For d=2n+1 a positive odd integer, we consider sequences of arithmetic subgroups of SO_0(d,1) and Spin(d,1) yielding corresponding hyperbolic manifolds of finite volume and show that, under appropriate and natural assumptions, the torsion of the associated cohomology groups grows exponentially.
Suppose $\bar{M}$ is a compact connected odd-dimensional manifold with boundary, whose interior $M$ comes with a complete hyperbolic metric of finite volume. We will show that the $L^2$-topological torsion of $\bar{M}$ and the $L^2$-analytic torsion of the Riemannian manifold $M$ are equal. In particular, the $L^2$-topological torsion of $\bar{M}$ is proportional to the hyperbolic volume of $M$, with a constant of proportionality which depends only on the dimension and which is known to be nonzero in dimension 3, 5 and 7. In dimension 3 this proves the conjecture Of Lott and Lueck which gives …
The subject of investigations are the almost hypercomplex manifolds with Hermitian and anti-Hermitian (Norden) metrics. A linear connection D is introduced such that the structure of these manifolds is parallel with respect to D and its torsion is totally skew-symmetric. The class of the nearly Kaehler manifolds with respect to the first almost complex structure is of special interest. It is proved that D has a D-parallel torsion and is weak if it is not flat. Some curvature properties of these manifolds are studied.
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.
We study SU(3)-structures induced on orientable hypersurfaces of seven-dimensional manifolds with G_2-structure. Taking Gray-Hervella types for both structures into account, we relate the type of SU(3)-structure and the type of G_2-structure with the shape tensor of the hypersurface. Additionaly, we show how to compute the intrinsic SU(3)-torsion and the intrinsic G_2-torsion by means of exterior algebra.
Let M be a hypercomplex Hermitian manifold, (M,I) the same manifold considered as a complex Hermitian with a complex structure I induced by the quaternions. The standard linear-algebraic construction produces a canonical nowhere degenerate (2,0)-form on (M,I). It is well known that M is hyperkaehler if and only if the form Ωis closed with respect to the de Rham differential. The M is called HKT (hyperkaehler with torsion) if this form is closed with respect to the Dolbeault differential (this condition is weaker. Conjecturally, all compact hypercomplex manifolds admit an HKT-metrics. We exploi…
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…
We construct hyperbolic integer homology 3-spheres where the injectivity radius is arbitrarily large for nearly all points of the manifold. As a consequence, there exists a sequence of closed hyperbolic 3-manifolds which Benjamini-Schramm converge to H^3 whose normalized Ray-Singer analytic torsions do not converge to the L^2-analytic torsion of H^3. This contrasts with the work of Abert et. al. who showed that Benjamini-Schramm convergence forces convergence of normalized betti numbers. Our results shed light on a conjecture of Bergeron and Venkatesh on the growth of torsion in the homology o…
