We consider cohomogeneity one homogeneous disk bundles and adress the question when these admit a nonnegatively curved invariant metric with normal collar, i.e., such that near the boundary the metric is the product of an interval and a normal homogeneous space. If such a bundle is not (the quotient of) a trivial bundle, then we show that its rank has to be in $\{2,3,4,6,8\}$. Moreover, we give a complete classification of such bundles of rank 6 and 8, and a partial classification for rank 3.
We construct Yang-Mills connections on SO(n)-bundles over spheres equipped with the Euclidean metric. We use a cohomogeneity one group action on the bundle to reduce the Yang-Mills-equation to a system of ordinary differential equations. The system is shown to have solutions by variational methods, using ideas from harmonic map theory. Examples include Yang-Mills connections on each of the countably many principal SO(6)-bundles over $S^6$, and countably many Yang-Mills connections on $TS^n$ for $n\in\{5,...,9\}$.
Coassociative submanifolds are 4-dimensional calibrated submanifolds in $G_{2}$-manifolds. In this paper, we construct explicit examples of coassociative submanifolds in $Λ^{2}_{-} S^{4}$, which is the complete $G_{2}$-manifold constructed by Bryant and Salamon. Classifying the Lie groups which have 3- or 4-dimensional orbits, we show that the only homogeneous coassociative submanifold is the zero section of $Λ^{2}_{-} S^{4}$ up to the automorphisms and construct many cohomogeneity one examples explicitly. In particular, we obtain examples of non-compact coassociative submanifolds with conical…
A direct, bundle-theoretic method for defining and extending local isometries out of curvature data is developed. As a by-product, conceptual direct proofs of a classical result of Singer and a recent result of the authors are derived.
In this paper we describe the cohomogeneity one special Lagrangian 3-folds in the cotangent bundle of the 3-sphere, also known in the physics literature as a deformed conifold. Our main result gives a global foliation of the deformed conifold by T^2-invariant special Lagrangian 3-folds, where the generic leaf is topologically T^2 X R. In the limit, these special Lagrangians asymptotically approach a special Lagrangian cone on a torus in the conifold. Using moment map techniques we also recover the family of SO(n)-invariant special Lagrangian n-folds in the cotangent bundle of the n-sphere obta…
We analyse some properties of the cohomogeneity one Ricci soliton equations, and use Ansatze of cohomogeneity one type to produce new explicit examples of complete Kahler Ricci solitons of expanding, steady and shrinking types. These solitons are foliated by hypersurfaces which are circle bundles over a product of Fano Kahler-Einstein manifolds or over coadjoint orbits of a compact connected semisimple Lie group.
We construct examples of cohomogeneity one special Lagrangian submanifolds in the cotangent bundle over the complex projective space, whose Calabi-Yau structure was given by Stenzel. For each example, we describe the condition of special Lagrangian as an ordinary differential equation. Our method is based on a moment map technique and the classification of cohomogeneity one actions on the complex projective space classified by Takagi.
We provide several results on the existence of metrics of non-negative sectional curvature on vector bundles over certain cohomogeneity one manifolds and homogeneous spaces up to suitable stabilization. Beside explicit constructions of the metrics, this is achieved by identifying equivariant structures upon these vector bundles via a comparison of their equivariant and non-equivariant K-theory. For this, in particular, we transcribe equivariant K-theory to equivariant rational cohomology and investigate surjectivity properties of induced maps in the Borel fibration via rational homotopy theory…
In this paper, we classify compact simply connected cohomogeneity one manifolds up to equivariant diffeomorphism whose isotropy representation by the connected component of the principal isotropy subgroup has three or less irreducible summands. The manifold is either a bundle over a homogeneous space or an irreducible symmetric space. As a corollary such manifolds admit an invariant metric with non-negative sectional curvature.
We show that all vector bundles over CP^2 which are not spin admit a complete metric with nonnegative sectional curvature. In the proof we construct a nonnegatively curved metric on the corresponding principle bundle by showing that it admits a cohomogeneity one action with singular orbits of codimension 2. This is closely related to the problem of when an action of G on the base of an L principle bundle lifts to the total space, such that the lift commutes with L. We solve this lifting problem for all SO(k) principle bundles over a 4-dimensional simply connected base B with G a cohomogeneity …
We investigate the geometry of Hermitian manifolds endowed with a compact Lie group action by holomorphic isometries with principal orbits of codimension one. In particular, we focus on a special class of these manifolds constructed by following Bérard-Bergery which includes, among the others, the holomorphic line bundles on $\mathbb C\mathbb P^{m-1}$, the linear Hopf manifolds and the Hirzebruch surfaces. We characterize their invariant special Hermitian metrics, such as balanced, Kähler-like, pluriclosed, locally conformally Kähler, Vaisman, Gauduchon. Furthermore, we construct new examples …
We construct a continuous 1-parameter family of smooth complete Ricci-flat metrics of cohomogeneity one on vector bundles over $\mathbb{CP}^2$, $\mathbb{HP}^2$ and $\mathbb{OP}^2$ with respective principal orbits $G/K$ the Wallach spaces $SU(3)/T^2$, $Sp(3)/(Sp(1)Sp(1)Sp(1))$ and $F_4/\mathrm{spin}(8)$. Almost all the Ricci-flat metrics constructed have generic holonomy. The only exception is the complete $G_2$ metric discovered in [BS89][GPP90]. It lies in the interior of the 1-parameter family on $\bigwedge_-^2\mathbb{CP}^2$. All the Ricci-flat metrics constructed have asymptotically conical…
Let $M$ be a cohomogeneity one manifold of a compact semisimple Lie group $G$ with one singular orbit $S_0 = G/H$. Then $M$ is $G$- diffeomorphic to the total space $G \times_H V$ of the homogeneous vector bundle over $S_0$ defined by a sphere transitive representation of $G$ in a vector space $V$. We describe all such manifolds $M$ which admit an invariant Kahler structure of standard type. This means that the restriction $μ: S = Gx = G/L \rightarrow F = G/K$ of the moment map of $M$ to a regular orbit $S = G/L$ is a holomorphic map of $S$ with the induced CR structure onto a flag manifold $…
F. Podestà and A. Spiro introduced a class of $G$-manifolds $M$ with a cohomogeneity one action of a compact semisimple Lie group $G$ which admit an invariant Kaehler structure $(g,J)$ (``standard $G$-manifolds") and studied invariant Kaehler and Kaehler-Einstein metrics on $M$. In the first part of this paper, we gave a combinatoric description of the standard non compact $G$-manifolds as the total space $M_φ$ of the homogeneous vector bundle $M = G\times_H V \to S_0 =G/H$ over a flag manifold $S_0$ and we gave necessary and sufficient conditions for the existence of an invariant Kaehler-Eins…
We classify complete curvature homogeneous metrics on simply connected four dimensional manifolds which are invariant under a cohomogeneity one action. We show that they are either isometric to a symmetric space with one of its cohomogeneity one actions, or to a complete example by Tsukada on the normal bundle of the Veronese surface in CP^2. Along the way we show (in any dimension) that via an equivariant diffeomorphism the functions describing the metric can be partially diagonalized, a fact that may be useful for other problems as well
We construct new explicit non-singular metrics that are complete on non-compact Riemannian 8-manifolds with holonomy Spin(7). One such metric, which we denote by A_8, is complete and non-singular on R^8. The other complete metrics are defined on manifolds with the topology of the bundle of chiral spinors over S^4, and are denoted by B_8^+, B_8^- and B_8. The metrics on B_8^+ and B_8^- occur in families with a non-trivial parameter. The metric on B_8 arises for a limiting value of this parameter, and locally this metric is the same as the one for A_8. The new Spin(7) metrics are asymptotically …
In this article, we construct non-compact complete Einstein metrics on two infinite series of manifolds. The first series of manifolds are vector bundles with $\mathbb{S}^{4m+3}$ as principal orbit and $\mathbb{HP}^{m}$ as singular orbit. The second series of manifolds are $\mathbb{R}^{4m+4}$ with the same principal orbit. For each case, a continuous 1-parameter family of complete Ricci-flat metrics and a continuous 2-parameter family of complete negative Einstein metrics are constructed. In particular, $\mathrm{Spin}(7)$ metrics $\mathbb{A}_8$ and $\mathbb{B}_8$ discovered by Cvetič et al. in…
We construct the normal forms of null-Kähler metrics: pseudo-Riemannian metrics admitting a compatible parallel nilpotent endomorphism of the tangent bundle. Such metrics are examples of non-Riemannian holonomy reduction, and (in the complexified setting) appear in the Bridgeland stability conditions of the moduli spaces of Calabi-Yau three-folds. Using twistor methods we show that, in dimension four - where there is a connection with dispersionless integrability - the cohomogeneity-one anti-self-dual null-Kähler metrics are generically characterised by solutions to Painlevé I or Painlevé II O…
Bryant and Salamon gave a construction of metrics of G2 holonomy on the total space of the bundle of anti-self-dual (ASD) 2-forms over a 4-dimensional self-dual Einstein manifold. We generalise it by considering the total space of an SO(3) bundle (with fibers R^3) over a 4-dimensional base, with a connection on this bundle. We make essentially the same ansatz for the calibrating 3-form, but use the curvature 2-forms instead of the ASD ones. We show that the resulting 3-form defines a metric of G2 holonomy if the connection satisfies a certain second-order PDE. This is exactly the same PDE that…
