We discuss in this paper the conformal geometry of bi-invariant metrics on compact semisimple Lie groups. For this purpose we develop a conformal Cartan calculus adapted to this problem. In particular, we derive an explicit formula for the holonomy algebra of the normal conformal Cartan connection of a bi-invariant metric. As an example, we apply this calculus to the group $\SO(4)$. Its conformal holonomy group is calculated to be $\SO(7)$.
This paper studies the relation between two notions of holonomy on a conformal manifold. The first is the conformal holonomy, defined to be the holonomy of the normal tractor connection. The second is the holonomy of the Fefferman-Graham ambient metric of the conformal manifold. It is shown that the infinitesimal conformal holonomy and the infinitesimal ambient holonomy always agree up to the order that the ambient metric is defined.
If the conformal holonomy group $Hol(\mathcal{T})$ of a simply connected space with conformal structure of signature $(2p-1,2q-1)$ is reduced to $\U(p,q)$ then the conformal holonomy is already contained in the special unitary group $\SU(p,q)$. We present two different proofs of this statement, one using conformal tractor calculus and an alternative proof using Sparling's characterisation of Fefferman metrics.
The local classification of conformally flat Lorentzian manifolds with special holonomy groups is obtained. The corresponding local metrics are certain extensions of Riemannian spaces of constant sectional curvature to Walker metrics.
The main result of this paper is that a Lorentzian manifold is locally conformally equivalent to a manifold with recurrent lightlike vector field and totally isotropic Ricci tensor if and only if its conformal tractor holonomy admits a 2-dimensional totally isotropic invariant subspace. Furthermore, for semi-Riemannian manifolds of arbitrary signature we prove that the conformal holonomy algebra of a $C$-space is a Berger algebra. For Ricci-flat spaces we show how the conformal holonomy can be obtained by the holonomy of the ambient metric and get results for Riemannian manifolds and plane wav…
Given a generic 2-plane field on a 5-dimensional manifold we consider its (3,2)-signature conformal metric [g] as defined in math.DG/0406400. Every conformal class [g] obtained in this way has very special conformal holonomy: it must be contained in the split-real-form of the exceptional group G_2. In this note we show that for special 2-plane fields on 5-manifolds the conformal classes [g] have the Fefferman-Graham ambient metrics which, contrary to the general Fefferman-Graham metrics given as a formal power series, can be written in an explicit form. We propose to study the relations betwee…
For $(M,[g])$ a conformal manifold of signature $(p,q)$ and dimension at least three, the conformal holonomy group $\mathrm{Hol}(M,[g]) \subset O(p+1,q+1)$ is an invariant induced by the canonical Cartan geometry of $(M,[g])$. We give a description of all possible connected conformal holonomy groups which act transitively on the Möbius sphere $S^{p,q}$, the homogeneous model space for conformal structures of signature $(p,q)$. The main part of this description is a list of all such groups which also act irreducibly on $\R^{p+1,q+1}$. For the rest, we show that they must be compact and act deco…
For a conformal manifold, we describe a new relation between the ambient obstruction tensor of Fefferman and Graham and the holonomy of the normal conformal Cartan connection. This relation allows us to prove several results on the vanishing and the rank of the obstruction tensor, for example for conformal structures admitting twistor spinors or normal conformal Killing forms. As our main tool we introduce the notion of a conformal holonomy distribution and show that its integrability is closely related to the exceptional conformal structures in dimensions five and six that were found by Nurow…
We consider the question: can the isotropy representation of an irreducible pseudo-Riemannian symmetric space be realized as a conformal holonomy group? Using recent results of Cap, Gover and Hammerl, we study the representations of SO(2,1), PSU(2,1) and PSp(2,1) as isotropy groups of irreducible symmetric spaces of signature (3,2), (4,4) and (6,8), respectively, describing the geometry induced by a conformal holonomy reduction to the corresponding subgroups. In the case of SO(2,1) we show that conformal manifolds with such a holonomy reduction are always locally conformally flat and hence thi…
A theorem of Lawson and Simons states that the only stable minimal submanifolds in complex projective spaces are complex submanifolds. We generalize their result to the cases of quaternionic and octonionic projective spaces. Our approach gives a unified viewpoint towards conformal and projective geometries.
A locally conformally Kähler (lcK) manifold is a complex manifold $(M,J)$ together with a Hermitian metric $g$ which is conformal to a Kähler metric in the neighbourhood of each point. In this paper we obtain three classification results in locally conformally Kähler geometry. The first one is the classification of conformal classes on compact manifolds containing two non-homothetic Kähler metrics. The second one is the classification of compact Einstein locally conformally Kähler manifolds. The third result is the classification of the possible (restricted) Riemannian holonomy groups of compa…
For a conformal manifold we introduce the notion of an ambient connection, an affine connection on an ambient manifold of the conformal manifold, possibly with torsion, and with conditions relating it to the conformal structure. The purpose of this construction is to realise the normal conformal tractor holonomy as affine holonomy of such a connection. We give an example of an ambient connection for which this is the case, and which is torsion free if we start the construction with a C-space, and in addition Ricci-flat if we start with an Einstein manifold. Thus for a $C$-space this example le…
We prove that given a pseudo-Riemannian conformal structure whose conformal holonomy representation fixes a totally lightlike subspace of arbitrary dimension, there is, wrt. a local metric in the conformal class defined off a singular set, a parallel, totally lightlike distribution on the tangent bundle which contains the image of the Ricci-tensor. This generalizes results obtained for invariant lightlike lines and planes and closes a gap in the understanding of the geometric meaning of reducibly acting conformal holonomy groups. We show how this result naturally applies to the classification …
We introduce in this paper normal twistor equations for differential forms and study their solutions, the so-called normal conformal Killing forms. The twistor equations arise naturally from the canonical normal Cartan connection of conformal geometry. Reductions of its holonomy are related to solutions of the normal twistor equations. The case of decomposable normal conformal holonomy representations is discussed. A typical example with an irreducible holonomy representation are the so-called Fefferman spaces. We also apply our results to describe the geometry of solutions with conformal Kill…
We show that if a compact connected $n$-dimensional manifold $M$ has a conformal class containing two non-homothetic metrics $g$ and $\tilde g=e^{2φ}g$ with non-generic holonomy, then after passing to a finite covering, either $n=4$ and $(M,g,\tilde g)$ is an ambikähler manifold, or $n\ge 6$ is even and $(M,g,\tilde g)$ is obtained by the Calabi Ansatz from a polarized Hodge manifold of dimension $n-2$, or both $g$ and $\tilde g$ have reducible holonomy, $M$ is locally diffeomorphic to a product $M_1\times M_2\times M_3$, the metrics $g$ and $\tilde g$ can be written as $g=g_1+g_2+e^{-2φ}g_3$ …
This paper aims to classify the holonomy of the conformal Tractor connection, and relate these holonomies to the geometry of the underlying manifold. The conformally Einstein case is dealt with through the construction of metric cones, whose Riemmanian holonomy is the same as the Tractor holonomy of the underlying manifold. Direct calculations in the Ricci-flat case and an important decomposition theorem complete the classification for definitive signature.
We present three large classes of examples of conformal structures for which the equations for the Fefferman-Graham ambient metric to be Ricci-flat are linear PDEs, which we solve explicitly. These explicit solutions enable us to discuss the holonomy of the corresponding ambient metrics. Our examples include conformal pp-waves and, more importantly, conformal structures that are defined by generic rank 2 and 3 distributions in respective dimensions 5 and 6. The corresponding explicit Fefferman-Graham ambient metrics provide a large class of metrics with holonomy equal to the exceptional non-co…
In this paper, we consider projective deformation of the geodesic system of Finsler spaces by holonomy invariant functions: Starting by a Finsler spray $S$ and a holonomy invariant function $P$, we investigate the metrizability property of the projective deformation $\widetilde{S}=S-2λP C$. We prove that for any holonomy invariant nontrivial function $P$ and for almost every value $λ\in R$, such deformation is not Finsler metrizable. We identify the cases where such deformation can lead to a metrizable spray: in these cases, the holonomy invariant function is necessarily one of the principal c…
The holonomy of the ambient metrics of Nurowski's conformal structures associated to generic real-analytic 2-plane fields on 5-manifolds is investigated. It is shown that the holonomy is always contained in the split real form G_2 of the exceptional Lie group, and is equal to G_2 for an open dense set of 2-plane fields given by explicit conditions. In particular, this gives an infinite-dimensional family of metrics of holonomy equal to split G_2. These results generalize work of Leistner-Nurowski. The inclusion of the holonomy in G_2 is established by proving an ambient extension theorem for p…
We study the eta invariants of compact flat spin manifolds of dimension n with holonomy group cyclic of odd prime order p. We find explicit expressions for the twisted and relative eta invariants and show that the reduced eta invariant is always an integer, except in a single case, when p=n=3. We use the expressions obtained to show that any such manifold is trivial in the appropriate reduced equivariant spin bordism group.
We classify the holonomy algebras of manifolds admitting an indecomposable torsion free $G_2^*$-structure, i.e. for which the holonomy representation does not leave invariant any proper non-degenerate subspace. We realize some of these Lie algebras as holonomy algebras of left-invariant metrics on Lie groups.
We prove that Fefferman spaces, associated to non--degenerate CR structures of hypersurface type, are characterised, up to local conformal isometry, by the existence of a parallel orthogonal complex structure on the standard tractor bundle. This condition can be equivalently expressed in terms of conformal holonomy. Extracting from this picture the essential consequences at the level of tensor bundles yields an improved, conformally invariant analogue of Sparling's characterisation of Fefferman spaces.
Nurowski showed that any generic 2-plane field $D$ on a 5-manifold $M$ determines a natural conformal structure $c_D$ on $M$; these conformal structures are exactly those (on oriented $M$) whose normal conformal holonomy is contained in the (split, real) simple Lie group $G_2$. Graham and Willse showed that for real-analytic $D$ the same holds for the holonomy of the real-analytic Fefferman-Graham ambient metric of $c_D$, and that both holonomy groups are equal to $G_2$ for almost all $D$. We investigate here independently interesting plane fields for which the associated holonomy groups are a…
A locally metric connection on a smooth manifold $M$ is a torsion-free connection $D$ on $TM$ with compact restricted holonomy group $\mathrm{Hol}_0(D)$. If the holonomy representation of such a connection is irreducible, then $D$ preserves a conformal structure on $M$. Under some natural geometric assumption on the life-time of incomplete geodesics, we prove that conversely, a locally metric connection $D$ preserving a conformal structure on a compact manifold $M$ has irreducible holonomy representation, unless $\mathrm{Hol}_0(D)=0$ or $D$ is the Levi-Civita connection of a Riemannian metric …
In this paper, we investigate a holonomy invariant elliptic anisotropic surface energy for hypersurfaces in a complete Riemannian manifold, where "holonomy invariant" means that the elliptic parametric Lagrangian (i.e., a Finsler metric) of the Riemannian manifold used to define the anisotropic surface energy is constant along each holonomy subbundle of the tangent bundle of the Riemannian manifold. First we obtain the first variational formula for this anisotropic surface energy. Next we shall introduce the notions of an anisotropic convex hypersurface, an anisotropic equifocal hypersurface a…
We show that the holonomy invariance of a function on the tangent bundle of a manifold, together with very mild regularity conditions on the function, is equivalent to the existence of local parallelisms compatible with the function in a natural way. Thus, in particular, we obtain a characterization of generalized Berwald manifolds. We also construct a simple example of a generalized Berwald manifold which is not Berwald.
In previous work, we introduced eta invariants for even dimensional manifolds. It plays the same role as the eta invariant of Atiyah-Patodi-Singer, which is for odd dimensional manifolds. It is associated to $K^1$ representatives on even dimensional manifolds and is closely related to the so called WZW theory in physics. In fact, it is an intrinsic interpretation of the Wess-Zumino term without passing to the bounding 3-manifold. Spectrally the eta invariant is defined on a finite cylinder, rather than on the manifold itself. Thus it is an interesting question to find an intrinsic spectral int…
We study the existence of invariant metrics with holonomy $G_{2(2)}^* \subset SO(4,3)$ on compact nilmanifolds, i.e. on compact quotients of nilpotent Lie groups by discrete subgroups. We prove that, up to isomorphism, there exists only one indecomposable nilpotent Lie algebra admitting a torsion-free $G_{2(2)}^*$-structure such that the center is definite with respect to the induced inner product. In particular, we show that the associated compact nilmanifold admits a 3-parameter family of invariant metrics with full holonomy $G_{2(2)}^*$.
We give a short, direct proof that the full holonomy group of a solution to the Ricci flow is invariant up to isomorphism using the invariance of the reduced holonomy under the flow.
We define the equivariant holonomy of an invariant connection on a principal U(1)-bundle. The properties of the ordinary holonomy are generalized to the equivariant setting. In particular, equivariant U(1)-bundles with connection are shown to be classified by its equivariant holonomy modulo isomorphisms. We also show that the equivariant holonomy can be used to obtain results about equivariant prequantization and anomaly cancellation.
We discuss contravariant connections on Poisson manifolds. For vector bundles, the corresponding operational notion of a contravariant derivative had been introduced by Izu Vaisman. We show that these connections play an important role in the study of global properties of Poisson manifolds and we use them to define Poisson holonomy and new invariants of Poisson manifolds.
We define a measure of spectral asymmetry for G_2 and Spin(7) manifolds. We show that this invariant can be computed in terms of characteristic classes and the covariant constant form defining the G_2 or Spin(7) structure.
A closed affine manifold is a closed manifold with coordinate patches into affine space whose transition maps are restrictions of affine automorphisms. Such a structure gives rise to a local diffeomorphism from the universal cover of the manifold to affine space that is equivariant with respect to a homomorphism from the fundamental group to the group of affine automorphisms. The local diffeomorphism and homomorphism are referred to as the developing map and holonomy respectively. In the case where the linear holonomy preserves a common vector, certain `large' open subsets upon which the devel…
We compute the full holonomy group of compact Lorentzian manifolds with parallel Weyl tensor, which are neither conformally flat nor locally symmetric, for the case where the fundamental group is contained in a distinguished subgroup G of the isometry group of the universal cover. To prove this, we show that every such compact Lorentzian manifold has to be geodesically complete. Moreover we characterize the identity component of the isometry group for this universal cover and show that G is up to a discrete factor contained in the latter. Concretely, we prove that the identity component of the…
The Hitchin flow constructs eight-dimensional Riemannian manifolds (M,g) with holonomy in Spin(7) starting with a cocalibrated G_2-structure on a seven-dimensional manifold. As Sp(2)\subseteq SU(4)\subseteq Spin(7), one may also obtain Calabi-Yau fourfolds or hyperKähler manifolds via the Hitchin flow. In this paper, we show that the Hitchin flow on almost Abelian Lie algebras and on Lie algebras with one-dimensional commutator always yields Riemannian metrics with Hol(g)\subseteq SU(4) but Hol(g)\neq Sp(2). We investigate when we actually get Hol(g)=SU(4) and obtain so many new explicit examp…
We develop a holonomy reduction procedure for general Cartan geometries. We show that, given a reduction of holonomy, the underlying manifold naturally decomposes into a disjoint union of initial submanifolds. Each such submanifold corresponds to an orbit of the holonomy group on the modelling homogeneous space and carries a canonical induced Cartan geometry. The result can therefore be understood as a `curved orbit decomposition'. The theory is then applied to the study of several invariant overdetermined differential equations in projective, conformal and CR-geometry. This makes use of an eq…
Starting from a 6-dimensional nilpotent Lie group N endowed with an invariant SU(3) structure, we construct a homogeneous conformally parallel G_2-metric on an associated solvmanifold. We classify all half-flat SU(3) structures that endow the rank-one solvable extension of N with a conformally parallel G_2 structure. By suitably deforming the SU(3) structures obtained, we are able to describe the corresponding non-homogeneous Ricci-flat metrics with holonomy contained in G_2. In the process we also find a new metric with exceptional holonomy.
If the holonomy representation of an $(n+2)$--dimensional simply-connected Lorentzian manifold $(M,h)$ admits a degenerate invariant subspace its holonomy group is contained in the parabolic group $(\mathbb{R} \times SO(n))\ltimes \mathbb{R}^n$. The main ingredient of such a holonomy group is the SO(n)--projection $G:=pr_{SO(n)}(Hol_p(M,h))$ and one may ask whether it has to be a Riemannian holonomy group. In this paper we show that this is the case if $G\subset U(n/2)$ or if the irreducible acting components of $G$ are simple.
The aim of this paper is to show that holonomy properties of Finsler manifolds can be very different from those of Riemannian manifolds. We prove that the holonomy group of a positive definite non-Riemannian Finsler manifold of non-zero constant curvature with dimension >2 cannot be a compact Lie group. Hence this holonomy group does not occur as the holonomy group of any Riemannian manifold. In addition, we provide an example of left invariant Finsler metric on the Heisenberg group, so that its holonomy group is not a (finite dimensional) Lie group. These results give a positive answer to the…
In his 1910 "Five Variables" paper, Cartan solved the equivalence problem for the geometry of $(2, 3, 5)$ distributions and in doing so demonstrated an intimate link between this geometry and the exceptional simple Lie groups of type $\textrm{G}_2$. He claimed to produce a local classification of all such (complex) distributions which have infinitesimal symmetry algebra of dimension at least $6$ (and which satisfy a natural uniformity condition), but in 2013 Doubrov and Govorov showed that this classification misses a particular distribution $\bf E$. We produce a closed form for the Fefferman-…
This is the first of a series of two technical papers devoted to the analysis of holonomy invariants in strict higher gauge theory with end applications in higher Chern--Simons theory. For a flat 2--connection, we define the 2-holonomy of surface knots of arbitrary genus and determine its covariance properties under 1--gauge transformation and change of base data.
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.
This is the second of a series of two technical papers devoted to the analysis of holonomy invariants in strict higher gauge theory with end applications in higher Chern--Simons theory. We provide a definition of trace over a crossed module such to yield surface knot invariants upon application to 2-holonomies. We show further that the properties of the trace are best described using the theory quandle crossed modules.
The problem of classification of connected holonomy groups (equivalently of holonomy algebras) for pseudo-Riemannian manifolds is open. The classification of Riemannian holonomy algebras is a classical result. The classification of Lorentzian holonomy algebras was obtained recently. In the present paper weakly-irreducible not irreducible subalgebras of $\su(1,n+1)$ ($n\geq 0$) are classified. Weakly-irreducible not irreducible holonomy algebras of pseudo-Kählerian and special pseudo-Kählerian manifolds are classified. An example of metric for each possible holonomy algebra is given. This gives…
We construct explicit left invariant quaternionic contact structures on Lie groups with zero and non-zero torsion, and with non-vanishing quaternionic contact conformal curvature tensor, thus showing the existence of quaternionic contact manifolds not locally quaternionic contact conformal to the quaternionic sphere. We present a left invariant quaternionic contact structure on a seven dimensional non-nilpotent Lie group, and show that this structure is locally quaternionic contact conformal to the flat quaternionic contact structure on the quaternionic Heisenberg group. On the product of a se…
One way of producing explicit Riemannian 6-manifolds with holonomy SU(3) is by integrating a flow of SU(2)-structures on a 5-manifold, called the hypo evolution flow. In this paper we classify invariant hypo SU(2)-structures on nilpotent 5-dimensional Lie groups. We characterize the hypo evolution flow in terms of gauge transformations, and study the flow induced on the variety of frames on a Lie algebra taken up to automorphisms. We classify the orbits of this flow for all hypo nilpotent structures, obtaining several families of cohomogeneity one metrics with holonomy contained in SU(3). We p…
We classify the possible local holonomy groups of Weyl connections. The Berger-Simons theorem and the Merkulov-Schwachhöfer classification of holonomy groups of irreducible torsion-free connections leaves us with the remaining case, where the Weyl connection $D$ is reducible and non-closed. In this case, it was shown by F. Belgun and A. Moroianu that the Weyl structure is an adapted Weyl structure of a non-closed conformal product. Furthermore we prove that non-closed Einstein-Weyl product structures only exist in dimension $4$.
In this paper, a survey of the recent results about the classification of the connected holonomy groups of the Lorentzian manifolds is given. A simplification of the construction of the Lorentzian metrics with all possible connected holonomy groups is obtained. As the applications, the Einstein equation, Lorentzian manifolds with parallel and recurrent spinor fields, conformally flat Walker metrics and the classification of 2-symmetric Lorentzian manifolds are considered.
Given any two Einstein (pseudo-)metrics, with scalar curvatures suitably related, we give an explicit construction of a Poincaré-Einstein (pseudo-)metric with conformal infinity the conformal class of the product of the initial metrics. We show that these metrics are equivalent to ambient metrics for the given conformal structure. The ambient metrics have holonomy that agrees with the conformal holonomy. In the generic case the ambient metric arises directly as a product of the metric cones over the original Einstein spaces. In general the conformal infinity of the Poincare metrics we construc…
In this paper we develop a method to compute the Burns-Epstein invariant of a spherical CR homology sphere, up to an integer, from its holonomy representation. As application, we give a formula for the Burns-Epstein invariant, modulo an integer, of a spherical CR structure on a Seifert fibered homology sphere in terms of its holonomy representation.
By [arXiv:1604.00528], a list of possible holonomy algebras for pseudo-Riemannian manifolds with an indecomposable torsion free ${\rm G}_{2}^*$-structure is known. Here indecomposability means that the standard representation of the algebra on ${\mathbb R}^{4,3}$ does not leave invariant any proper non-degenerate subspace. The dimension of the socle of this representation is called the type of the Lie algebra. It is equal to one, two or three. In the present paper, we use Cartan's theory of exterior differential systems to show that all Lie algebras of Type I from the list in [arXiv:1604.00528…
We prove a Simons-type holonomy theorem for totally skew 1-forms with values in a Lie algebra of linear isometries. The only transitive case, for this theorem, is the full orthogonal group. We only use geometric methods and we do not use any classification (not even that of transitive isometric actions on the sphere or the list of rank one symmetric spaces). This result was independently proved, by using an algebraic approach, by Paul-Andy Nagy. We apply this theorem to prove that the canonical connection of a compact naturally reductive space is unique, provided the space does not split off, …
We present conformal structures in signature (3,2) for which the holonomy of the Fefferman-Graham ambient metric is equal to the non-compact exceptional Lie group G_{2(2)}. We write down the resulting 8-parameter family of G_{2(2)}-metrics in dimension seven explicitly in an appropriately chosen coordinate system on the ambient space.
IAs is well known, when D6 branes wrap a special lagrangian cycle on a non compact CY 3-fold in such a way that the internal string frame metric is Kahler there exists a dual description, which is given in terms of a purely geometrical eleven dimensional background with an internal metric of $G_2$ holonomy. It is also known that when D6 branes wrap a coassociative cycle of a non compact $G_2$ manifold in presence of a self-dual two form strength the internal part of the string frame metric is conformal to the $G_2$ metric and there exists a dual description, which is expressed in terms of a pu…
For compact real manifolds, a new double conformal invariant is constructed using the Wodzicki residue and the $d$ operator in the framework of Connes. In the flat case, we compute this double conformal invariant, and in some special cases, we also compute this double conformal invariants. For complex manifolds, a new double conformal invariant is constructed using the Wodzicki residue and the $\bar{\partial}$ operator in the same way, and this double conformal invariant is computed in the flat case.
It was proved by Graham and Witten in 1999 that conformal invariants of submanifolds can be obtained via volume renormalization of minimal surfaces in conformally compact Einstein manifolds. The conformal invariant of a submanifold $Σ$ is contained in the volume expansion of the minimal surface which is asymptotic to $Σ$ when the minimal surface approaches the conformaly infinity. In the paper we give the explicit expression of Graham-Witten's conformal invariant for closed four dimensional submanifolds and find critical points of the conformal invariant in the case of Euclidean ambient spaces…
There are few known computable examples of non-abelian surface holonomy. In this paper, we give several examples whose structure 2-groups are covering 2-groups and show that the surface holonomies can be computed via a simple formula in terms of paths of 1-dimensional holonomies inspired by earlier work of Chan Hong-Mo and Tsou Sheung Tsun on magnetic monopoles. As a consequence of our work and that of Schreiber and Waldorf, this formula gives a rigorous meaning to non-abelian magnetic flux for magnetic monopoles. In the process, we discuss gauge covariance of surface holonomies for spheres fo…
