Wild Harmonic Bundles and Wild Pure Twistor D-modules
Takuro Mochizuki
备注:
v2: Many additional explanations and reviews are included. v3: Format is changed. Some statements are slightly refined. v4: Part I is reorganized. Some statements are refined
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 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 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…
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…
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…
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.
We prove the Kobayashi-Hitchin correspondence between good wild harmonic bundles and polystable good filtered $λ$-flat bundles satisfying a vanishing condition. We also study the correspondence for good wild harmonic bundles with the homogeneity with respect to a group action, which is expected to provide another way to construct Frobenius manifolds.
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…
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…
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.
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…
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 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 …
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…
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…
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 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.
We study the interplay between geodesics on two non-holono\-mic systems that are related by the action of a Lie group on them. After some geometric preliminaries, we use the Hamiltonian formalism to write the parametric form of geodesics. We present several geometric examples, including a non-holonomic structure on the Gromoll-Meyer exotic sphere and twistor space.
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.
On a complex curve, we establish a correspondence between integrable connections with irregular singularities, and Higgs bundles such that the Higgs field is meromorphic with poles of any order. The moduli spaces of these objects are obtained by fixing at each singularity the polar part of the connection. We prove that they carry hyperKahler metrics, which are complete when the residue of the connection if semisimple.
T. Mochizuki constructs a theory of variations of wild Hodge structure for which the underlying flat connection can have irregular singularities at infinity. He extends in this way the correspondence of Corlette and Simpson between irreducible flat bundles and stables Higgs bundles, taking into account objects with irregular singularities. As an application, he proves a conjecture of Kashiwara concerning a generalization of the Hard Lefschetz theorem when the coefficients are the de Rham complex of a simple holonomic D-module on smooth complex projective variety.
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…
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 consider the generalized Kahler structures (g,J_+,J_-) that arise on a hyperkahler manifold (M,g,I,J,K) when we choose J_+ and J_- from the twistor space of M. We find a relation between semichiral and arctic superfields which can be used to determine the generalized Kahler potential for hyperkahler manifolds whose description in projective superspace is fully understood. We use this relation to determine an S^2-family of generalized Kahler potentials for Euclidean space and for the Eguchi-Hanson geometry. Cotangent bundles of Hermitian symmetric spaces constitute a class of hyperkahler man…
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.