Asymptotic behaviour of tame harmonic bundles and an application to pure twistor $D$-modules
Takuro Mochizuki
备注：
We give the correspondence of semisimple D-modules and polarizable pure twistor D-modules in the sense of Sabbah. As a result, the regular holonomic version of Kashiwara's conjecture is established. The main difference of the versions are explained in the subsection 1.6
We study the asymptotic behaviour of tame harmonic bundles. First of all, we prove a local freeness of the prolongation by an increasing order. Then we obtain the polarized mixed twistor structure. As one of the applications, we obtain the norm estimate of holomorphic or flat sections by weight filtrations of the monodromies.
As other application, we establish the correspondence of semisimple regular holonomic $D$-modules and polarizable pure imaginary pure twistor $D$-modules through a tame pure imaginary harmonic bundles, which is a conjecture of Sabbah. Then the regular holonomic version of Kashiwara's conjecture follows from the results of Sabbah and us.
Keywords: Higgs fields, harmonic bundle, variation of Hodge structure, mixed twistor structure, $D$-module.
Let $f:X\to Y$ be a morphism of complex manifolds. Suppose that $X$ is a Kähler manifold. Let $(\mathcal{T},\mathcal{S})$ be a regular polarized pure twistor $\mathcal{D}$-module of weight $w$ on $X$ whose support is proper over $Y$. We prove the Hard Lefschetz Theorem for the push-forward of $(\mathcal{T},\mathcal{S})$ by $f$. As one of the key steps, we obtain the twistor version of a theorem of Kashiwara and Kawai about the Hodge structure on the intersection complex of polarized variation of Hodge structure.
Let $L$ be a local system on a smooth quasi projective variety over $\cnum$. We see that $L$ is semisimple if and only if there exists a tame pure imaginary pluri-harmonic metric on $L$. Although it is a rather minor refinement of a result of Jost and Zuo, it is significant for the study of harmonic bundles and pure twistor $D$-modules. As one of the application, we show that the semisimplicity of local systems are preserved by the pull back via a morphism of quasi projective varieties. This paper will be included as an appendix to our previous paper, ``Asymptotic behaviour of tame harmonic bu…
We construct an explicit example of a stable bundle on the twistor space $\mathrm{Tw}(M)$ of a hyperkähler manifold $M$ whose restrictions to all the fibres of the natural twistor projection $π: \mathrm{Tw}(M) \to \mathbb{CP}^1$ are nonstable. We also describe the relationship between bundles on $\mathrm{Tw}(M)$ that do not have subsheaves of strictly lower rank and bundles that stably restrict to the fibres of $π$, and announce a result whose proof will appear in a forthcoming paper.
We study (i) asymptotic behaviour of wild harmonic bundles, (ii) the relation between semisimple meromorphic flat connections and wild harmonic bundles, (iii) the relation between wild harmonic bundles and polarized wild pure twistor $D$-modules. As an application, we show the hard Lefschetz theorem for algebraic semisimple holonomic $D$-modules, conjectured by M. Kashiwara.
We study the holomorphic vector bundles E over the twistor space Tw(M) of a compact simply connected hyperkähler manifold $M$. We give a characterization of the semistability condition for E in terms of its restrictions to the holomorphic sections of the holomorphic twistor projection π:Tw(M)\rightarrow CP^1. It is shown that if E admits a holomorphic connection, then E is holomorphically trivial and the holomorphic connection on E is trivial as well. For any irreducible vector bundle E on Tw(M) of prime rank, we prove that its restriction to the generic fibre of πis stable. On the other hand,…
We show that the moduli space $M$ of holomorphic vector bundles on $CP^3$ that are trivial along a line is isomorphic (as a complex manifold) to a subvariety in the moduli of rational curves of the twistor space of the moduli space of framed instantons on $\R^4$, called the space of twistor sections. We then use this characterization to prove that $M$ is equipped with a torsion-free affine connection with holonomy in $Sp(2n,\C)$.
Given a holomorphic principal bundle $Q\, \longrightarrow\, X$, the universal space of holomorphic connections is a torsor $C_1(Q)$ for $\text{ad} Q \otimes T^*X$ such that the pullback of $Q$ to $C_1(Q)$ has a tautological holomorphic connection. When $X\,=\, G/P$, where $P$ is a parabolic subgroup of a complex simple group $G$, and $Q$ is the frame bundle of an ample line bundle, we show that $C_1(Q)$ may be identified with $G/L$, where $L\, \subset\, P$ is a Levi factor. We use this identification to construct the twistor space associated to a natural hyper-Kähler metric on $T^*(G/P)$, reco…
Given a holomorphic vector bundle $E$ on the twistor space $\mathrm{Tw}(M)$ of a simple hyperkähler manifold $M$, we view it as a family of bundles $\left\{E_I\right\}$ on the fibres $π^{-1}(I)$ of the twistor projection $π: \mathrm{Tw}(M) \to \mathbb{CP}^1$, and study the relationship between stability of $E$ and its fibrewise stability. We verify that the argument of Teleman establishing the Zariski openness of stability and semi-stability in families of bundles applies in the case of the family $\left\{E_I\right\}$. We prove a partial converse to a result of Kaledin and Verbitsky, showing t…
Let $X$ be a smooth projective complex variety with an ample line bundle $L$, and let $D$ be a simple normal crossing divisor. We establish the Kobayashi-Hitchin correspondence between tame harmonic bundles on $X-D$ and $μ_L$-stable parabolic $λ$-flat bundles with trivial characteristic numbers on $(X,D)$. Especially, we obtain the quasiprojective version of the Corlette-Simpson correspondence between flat bundles and Higgs bundles.
We give explicit formulas for the intertwinors of all orders on the twistor bundle over $S^1\times S^{n-1}$ using spectrum generating technique introduced in \cite{BOO:96}.
The nearly Kähler structures on the 6-sphere, as a twistor bundle sections are researched. We show that for any point of twistor bundle there exists an 1-parametric family of sections, passing through the point, which give nearly Kähler structures on the round sphere. Some properties of those sections are found.
In this paper we explicitly construct Moishezon twistor spaces on nCP^2 for arbitrary n>1 which admit a holomorphic C*-action. When n=2, they coincide with Y. Poon's twistor spaces. When n=3, they coincide with the one studied by the author in math.DG/0403528. When n>3, they are new twistor spaces, to the best of the author's knowledge. By investigating the anticanonical system, we show that our twistor spaces are bimeromorphic to conic bundles over certain rational surfaces. The latter surfaces can be regarded as orbit spaces of the C*-action on the twistor spaces. Namely they are minitwistor…
We give an overview on the tt*-geometry defined for isolated hypersurface singularities and tame functions via Brieskorn lattices. We discuss nilpotent orbits in this context, as well as classifying spaces of Brieskorn lattices and (limits of) period maps.
Let $E$ be a holomorphic vector bundle. Let $θ$ be a Higgs field, that is a holomorphic section of $End(E)\otimesΩ^{1,0}_X$ satisfying $θ^2=0$. Let $h$ be a pluriharmonic metric of the Higgs bundle $(E,θ)$. The tuple $(E,θ,h)$ is called a harmonic bundle. Let $X$ be a complex manifold, and $D$ be a normal crossing divisor of $X$. In this paper, we study the harmonic bundle $(E,θ,h)$ over $X-D$. We regard $D$ as the singularity of $(E,θ,h)$, and we are particularly interested in the asymptotic behaviour of the harmonic bundle around $D$. We will see that it is similar to the asymptotic behaviou…
We establish the correspondence between tame harmonic bundles and $μ_L$-stable parabolic Higgs bundles with trivial characteristic numbers. We also show the Bogomolov-Gieseker type inequality for $μ_L$-stable parabolic Higgs bundles. Then we show that any local system on a smooth quasi projective variety can be deformed to a variation of polarized Hodge structure. As a consequence, we can conclude that some kind of discrete groups cannot be a split quotient of the fundamental group of a smooth quasi projective variety.
A Dirac bundle is a euclidean bundle over a riemannian manifold $M$ which is a compatible left $C\ell(M)$-module, together with a metric connection also compatible with the Clifford action in a natural way. We prove some vanishing theorems and introduce the twistor equation within this framework. In particular, we exhibit a characterization of solutions for this equation in terms of the Dirac operator $D$ and a suitable Weitzenböck-type curvature operator $\mathcal{R}$. Finally, we analyze the especial case of the Clifford bundle to prove existence of nontrivial solutions of the twistor equati…
Let M be a G2-manifold. We consider an almost CR-structure on the sphere bundle of unit tangent vectors on M, called the CR twistor space. This CR-structure is integrable if and only if M is a holonomy G2 manifold. We interpret G2-instanton bundles as CR-holomorphic bundles on its twistor space.
We propose a construction of Kähler and non-Kähler Calabi-Yau manifolds by branched double covers of twistor spaces. In this construction we use the twistor spaces of four-manifolds with self-dual conformal structures, with the examples of connected sum of $n$ $\mathbb{P}^{2}$s. We also construct $K3$-fibered Calabi-Yau manifolds from the branched double covers of the blow-ups of the twistor spaces. These manifolds can be used in heterotic string compactifications to four dimensions. We also construct stable and polystable vector bundles. Some classes of these vector bundles can give rise to s…
We study Yang-Mills connections on holomorphic bundles over complex Kähler manifolds of arbitrary dimension, in the spirit of Hitchin's and Simpson's study of flat connections. The space of non-Hermitian Yang-Mills (NHYM) connections has dimension twice the space of Hermitian Yang-Mills connections, and is locally isomorphic to the complexification of the space of Hermitian Yang-Mills connections (which is, by Uhlenbeck and Yau, the same as the space of stable bundles). Further, we study the NHYM connections over hyperkähler manifolds. We construct direct and inverse twistor transform from NHY…
We construct manifestly superconformal field theories in six dimensions which contain a non-Abelian tensor multiplet. In particular, we show how principal 3-bundles over a suitable twistor space encode solutions to these self-dual tensor field theories via a Penrose-Ward transform. The resulting higher or categorified gauge theories significantly generalise those obtained previously from principal 2-bundles in that the so-called Peiffer identity is relaxed in a systematic fashion. This transform also exposes various unexplored structures of higher gauge theories modelled on principal 3-bundles…
A hyperkaehler manifold with a circle action fixing just one complex structure admits a natural a hyperholomorphic line bundle. This forms the basis for the construction of a corresponding quaternionic Kaehler manifold in the work of A.Haydys. We construct in this paper the corresponding holomorphic line bundle on twistor space and compute many examples, including monopole and Higgs bundle moduli spaces. We also show that the bundle on twistor space has a natural meromorphic connection which realizes it as the quantum line bundle for the hyperkaehler family of holomorphic symplectic structures…
Motivated by generalized geometry (à la Hitchin), we discuss the integrability conditions for four natural almost complex structures on the product bundle ${\mathcal Z}\times {\mathcal Z}\to M$, where ${\mathcal Z}$ is the twistor space of a Riemannian 4-manifold $M$ endowed with a metric connection $D$ with skew-symmetric torsion. These structures are defined by means of the connection $D$ and four (Kähler) complex structures on the fibres of this bundle. Their integrability conditions are interpreted in terms of Weyl geometry and this is used to supply examples satisfying the conditions.
We develop a non-relativistic twistor theory, in which Newton--Cartan structures of Newtonian gravity correspond to complex three-manifolds with a four-parameter family of rational curves with normal bundle ${\mathcal O}\oplus{\mathcal O}(2)$. We show that the Newton--Cartan space-times are unstable under the general Kodaira deformation of the twistor complex structure. The Newton--Cartan connections can nevertheless be reconstructed from Merkulov's generalisation of the Kodaira map augmented by a choice of a holomorphic line bundle over the twistor space trivial on twistor lines. The Coriolis…
Let $S$ be a smooth rational curve on a complex manifold $M$. It is called ample if its normal bundle is positive. We assume that $M$ is covered by smooth holomorphic deformations of $S$. The basic example of such a manifold is a twistor space of a hyperkahler or a 4-dimensional anti-selfdual Riemannian manifold $X$ (not necessarily compact). We prove "a holography principle" for such a manifold: any meromorphic function defined in a neighbourhood $U$ of $S$ can be extended to $M$, and any section of a holomorphic line bundle can be extended from $U$ to $M$. This is used to define the notion o…
The topology of the smooth moduli space of stable rank 2 bundles over a Riemann surface of genus 3 is related to that of the real Grassmannian Gr_4(R^8).
We consider sphere bundles P and P' of totally null planes of maximal dimension and opposite self-duality over a 4-dimensional manifold equipped with a Weyl or Riemannian geometry. The fibre product PP' of P and P' is found to be appropriate for the encoding of both the selfdual and the Einstein-Weyl equations for the 4-metric. This encoding is realized in terms of the properties of certain well defined geometrical objects on PP'. The formulation is suitable for both complex- and real-valued metrics. It unifies results for all three possible real signatures. In the purely Riemannian positive d…
A local Riemann-Hilbert correspondence for tame meromorphic connections on a curve compatible with a parahoric level structure will be established. Special cases include logarithmic connections on G-bundles and on parabolic G-bundles, where G is a complex reductive group. The corresponding Betti data involves pairs (M,P) consisting of the local monodromy M in G and a (weighted) parabolic subgroup P of G such that M is in P, as in the multiplicative Brieskorn-Grothendieck-Springer resolution (extended to the parabolic case). The natural quasi-Hamiltonian structures that arise on such spaces of …
In this paper we explain how non-abelian Hodge theory allows one to compute the $L^2$ cohomology or middle perversity higher direct images of harmonic bundles and twistor D-modules in a purely algebraic manner. Our main result is a new algebraic description for the fiberwise $L^2$ cohomology of a tame harmonic bundle or the corre- sponding flat bundle or tame polystable parabolic Higgs bundle. Specifically we give a formula for the Dolbeault version of the $L^2$ pushforward in terms of a modification of the Dolbeault complex of a Higgs bundle which takes into account the monodromy weight filtr…
The transversal twistor space of a foliation F of an even codimension is the bundle ZF of the complex structures of the fibers of the transversal bundle of F. On ZF, there exists a foliation F' by covering spaces of the leaves of F, and any Bott connection of F produces an ordered pair (I,J) of transversal almost complex structures of F'. The existence of a Bott connection which yields a structure I that is projectable to the space of leaves is equivalent to the fact that F is a transversally projective foliation. A Bott connection which yields a projectable structure J exists iff F is a trans…
The twistor construction for Riemannian manifolds is extended to the case of manifolds endowed with generalized metrics (in the sense of generalized geometry à la Hitchin). The generalized twistor space associated to such a manifold is defined as the bundle of generalized complex structures on the tangent spaces of the manifold compatible with the given generalized metric. This space admits natural generalized almost complex structures whose integrability conditions are found in the paper. An interesting feature of the generalized twistor spaces discussed in it is the existence of intrinsic is…
We characterise the integrability of any co-CR quaternionic structure in terms of the curvature and a generalized torsion of the connection. Also, we apply this result to obtain, for example, the following. (1) New co-CR quaternionic structures built on vector bundles over a quaternionic manifold M, whose twistor spaces are holomorphic vector bundles over the twistor space Z of M. Moreover, all the holomorphic vector bundles over Z, which are positive and isotypic when restricted to the twistor lines, are obtained this way. (2) Under generic dimensional conditions, any manifold endowed with an…
We study a certain type of wild harmonic bundles in relation with a Toda equation. We explain how to obtain a classification of the real valued solutions of the Toda equation in terms of their parabolic weights, from the viewpoint of the Kobayashi-Hitchin correspondence. Then, we study the associated integrable variation of twistor structure. In particular, we give a criterion for the existence of an integral structure. It follows from two results. One is the explicit computation of the Stokes factors of a certain meromorphic flat bundle. The other is an explicit description of the associated …
Let (M,g) be a Riemannian 4-manifold. The twistor space Z->M is a CP1-bundle whose total space Z admits a natural metric h. The aim of this article is to study properties of complex structures on (Z,h) which are compatible with the CP1-fibration and the metric h. The results obtained enable us to translate some metric properties on M in terms of complex properties on its twistor space Z.
We investigate the twistor space and the Grassmannian fibre bundle of a Lorentzian 4-space with natural almost optical structures and its induced CR-structures. The twistor spaces of the Lorentzian space forms $\R^4_1, \Di{S}^4_1$ and $\Di{H}^4_1$ are explicitly discussed. The given twistor construction is applied to surface theory in Lorentzian 4-spaces. Immersed spacelike surfaces in a Lorentzian 4-space with special geometric properties like semi-umbilic surfaces and surfaces that have mean curvature of vanishing lengths correspond to holomorphic curves in the Lorentzian twistor space. For …
This is an elementary and self--contained review of twistor theory as a geometric tool for solving non-linear differential equations. Solutions to soliton equations like KdV, Tzitzeica, integrable chiral model, BPS monopole or Sine-Gordon arise from holomorphic vector bundles over $T\CP^1$. A different framework is provided for the dispersionless analogues of soliton equations, like dispersionless KP or $SU(\infty)$ Toda system in 2+1 dimensions. Their solutions correspond to deformations of (parts of) $T\CP^1$, and ultimately to Einstein--Weyl curved geometries generalising the flat Minkowski…
We observe that the line bundle associated to the tame symbol of two invertible holomorphic functions also carries a fairly canonical hermitian metric, hence it represents a class in a Hermitian holomorphic Deligne cohomology group. We put forward an alternative definition of hermitian holomorphic structure on a gerbe which is closer to the familiar one for line bundles and does not rely on an explicit ``reduction of the structure group.'' Analogously to the case of holomorphic line bundles, a uniqueness property for the connective structure compatible with the hermitian-holomorphic structure …
The twistor space of a Riemannian 4-manifold carries two almost complex structures, $J_+$ and $J_-$, and a natural closed 2-form $ω$. This article studies limits of manifolds for which $ω$ tames either $J_+$ or $J_-$. This amounts to a curvature inequality involving self-dual Weyl curvature and Ricci curvature, and which is satisfied, for example, by all anti-self-dual Einstein manifolds with non-zero scalar curvature. We prove that if a sequence of manifolds satisfying the curvature inequality converges to a hyperkähler limit X (in the $C^2$ pointed topology) then X cannot contain a holomorph…
In this paper a bijective correspondence between superminimal surfaces of an oriented Riemannian $4$-manifold and particular Lagrangian submanifolds of the twistor space over the $4$-manifold is proven. More explicitly, for every superminimal surface a submanifold of the twistor space is constructed which is Lagrangian for all the natural almost Hermitian structures on the twistor space. The twistor fibration restricted to the constructed Lagrangian gives a circle bundle over the superminimal surface. Conversely, if a submanifold of the twistor space is Lagrangian for all the natural almost He…
Using a certain well-posed ODE problem introduced by Shilnikov in the sixties, G. Minervini proved in his PhD thesis [17], among other things, the Harvey-Lawson Diagonal Theorem but without the restrictive tameness condition for Morse flows. Here we combine the same techniques with the ideas of Latschev in order to construct local resolutions for the flow of the graph of a section of a fiber bundle. This is endowed with a vertical vector field which is horizontally constant and Morse-Smale in every fiber. The resolution allows the removal of the tameness hypothesis from the homotopy formula in…
We show that given a conformal structure whose holonomy representation fixes a totally lightlike subspace of arbitrary dimension, there is always a local metric in the conformal class off a singular set which is Ricci-isotropic and gives rise to a parallel, totally lightlike distribution on the tangent bundle. This naturally applies to parallel spin tractors resp. twistor spinors on conformal spin manifolds and clarifies which twistor spinors are locally equivalent to parallel spinors. Moreover, we study the zero set of a twistor spinor using the curved orbit decomposition for parabolic geomet…
We consider some classical fibre bundles furnished with almost complex structures of twistor type, deduce their integrability in some cases and study \textit{self-holomorphic} sections of a \textit{symplectic} twistor space. With these we define a moduli space of $ω$-compatible complex structures. We recall the theory of flag manifolds in order to study the Siegel domain and other domains alike, which is the fibre of the referred twistor space. Finally the structure equations for the twistor of a Riemann surface with the canonical symplectic-metric connection are deduced, based on a given conf…
In this paper we obtain several curvature properties of the twistor and reflector spaces of a paraquaternionic Kähler manifold and prove the existence of both positive and negative mixed 3-Sasakian structures in a principal SO(2,1)-bundle over a paraquaternionic Kähler manifold.
In this paper we look at the question of integrability, or not, of the two natural almost complex structures $J^{\pm}_\nabla$ defined on the twistor space $J(M,g)$ of an even-dimensional manifold $M$ with additional structures $g$ and $\nabla$ a $g$-connection. We also look at the question of the compatibility of $J^{\pm}_\nabla$ with a natural closed $2$-form $ω^{J(M,g,\nabla)}$ defined on $J(M,g)$. For $(M,g)$ we consider either a pseudo-Riemannian manifold, orientable or not, with the Levi Civita connection or a symplectic manifold with a given symplectic connection $\nabla$. In all cases $…
In this paper we continue our study of the fourth order transgression on hyperähler manifolds introduced in the previous paper. We give a local construction for the fourth-order transgression of the Chern character form of an arbitrary vector bundle supplied with a self-dual connection on a four dimensional hyperkähler manifold. The construction is based on the harmonic twistor formalism. Remarkably, the resulted expression for the fourth order transgression is given in terms of the determinant of the $\bar{\partial}$-operator defined on fibers of the twistor fibration.
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…
The tangent bundle to the $n$--dimensional sphere is the space of oriented lines in $\R^{n+1}$. We characterise the smooth sections of $TS^n\to S^n$ which correspond to points in $\R^{n+1}$ as gradients of eigenfunctions of the Laplacian on $S^n$ with eigenvalue $n$. The special case of $n=6$ and its connection with almost complex geometry is discussed.
We describe the induced geometry on several classes of Kodaira moduli spaces of rational curves in twistor spaces. By constructing connections and frames on the moduli spaces we build and review twistor theories pertaining to relativistic and non-relativistic geometries. Focussing on the cases of three- and five-dimensional moduli spaces we establish novel twistor theories of Newton-Cartan spacetimes. We generalise a canonical class of connections on Kodaira moduli spaces to encompass torsion and prove that in three dimensions deformations of the twistor space's holomorphic structure induce Ne…
Natural metric structures on the tangent bundle and tangent sphere bundles $S_rM$ of a Riemannian manifold $M$ with radius function $r$ enclose many important unsolved problems. Admitting metric connections on $M$ with torsion, we deduce the equations of induced metric connections on those bundles. Then the equations of reducibility of $TM$ to the almost Hermitian category. Our purpose is the study of the natural contact structure on $S_rM$ and the $G_2$-twistor space of any oriented Riemannian 4-manifold.
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 1984 LeBrun constructed a CR-twistor space over an arbitrary conformal Riemannian 3-manifold and proved that the CR-structure is formally integrable. This twistor construction has been generalized by Rossi in 1985 for $m$-dimensional Riemannian manifolds endowed with a $(m-1)$-fold vector cross product (VCP). In 2011 Verbitsky generalized LeBrun's construction of twistor-spaces to $7$-manifolds endowed with a $G_2$-structure. In this paper we unify and generalize LeBrun's, Rossi's and Verbitsky's construction of a CR-twistor space to the case where a Riemannian manifold $(M, g)$ has a VCP s…
We show that a twistor construction of Hitchin and Ward can be adapted to study unitons (harmonic spheres in a unitary group). Specifically, we show that unitons are equivalent to holomorphic bundles with extra structure over a rational ruled surface with energy given by Chern class. This equivalence allows us to confirm the conjecture of Wood that unitons are rational. We also construct an example of a two uniton in U(3) using this construction.
We produce new non-Kähler complete steady gradient Ricci solitons whose asymptotics combine those of the Bryant solitons and the Hamilton cigar. We also obtain a family of complete Ricci-flat metrics with asymptotically locally conical asymptotics. Finally, we obtain numerical evidence for complete steady soliton structures on the vector bundles whose distance sphere bundles are respectively the twistor and ${\rm Sp}(1)$ bundles over quaternionic projective space.
