This project concerns the investigation of new hyper-Kähler manifolds which are given by spaces of singular solutions to Hitchin's equation.
Hitchin's self-duality equations over compact Riemann surfaces are two-dimensional reductions of the Yang-Mills equations. These equations and their solutions provide deep links between various mathematical subjects like algebraic geometry and integrable systems, topology and representations of fundamental groups of surfaces, and differential geometric structures and harmonic maps. The moduli space of solutions of the self-duality equations carries a variety of interesting geometric structures, e.g., a completely integrable system and a hyper-Kähler structure induced by a natural $L^2$-metric. (Irreducible) solutions are parametrized by means of the Hitchin-Kobayashi correspondence either by (stable) Higgs pairs or by conjugacy classes of (irreducible) representations, and yield harmonic maps in corresponding non-compact symmetrical spaces.
The twistor space of the moduli space of solutions of the Hitchin equations has a complex analytical reincarnation as the Deligne-Hitchin moduli space of $\lambda$-connections. In this project we investigate special classes of singular solutions of Hitchin's equations over compact Riemannian surfaces which are given by real holomorphic sections of the Deligne-Hitchin moduli space. Global solutions of the Hitchin equations correspond to so-called twistor lines. It was shown recently that other components of real holomorphic sections besides twistor lines do exists, and that some of these components of real holomorphic sections carry at least locally an induced hyper-Kähler metric. We will examine questions regarding the completeness of these metrics and investigate new methods for constructing real holomorphic sections.
In particular, we will answer the following questions and problems:
- detecting different components of real holomorphic sections;
- construction of new real holomorphic sections via the analytic construction of special singular harmonic mappings;
- gluing of local prototypes of singular solutions of the Hitchin equations;
- a first investigation of the hyper-Kähler metric near infinity;
- generalisation of previous results to the higher rank $ \geq2$ case;
- applications in the AdS / CFT correspondence: Construction of examples of minimal surfaces with non-trivial topology in anti-deSitter space-time; examination of the renormalised area in terms of a natural energy functional on the space of holomorphic sections.
Publications
For every $g \gg 1$, we show the existence of a complete and smooth family of closed constant mean curvature surfaces $f_\varphi^g,$ $ \varphi \in [0, \tfrac{\pi}{2}],$ in the round $3$-sphere deforming the Lawson surface $\xi_{1, g}$ to a doubly covered geodesic 2-sphere with monotonically increasing Willmore energy. To do so we use an implicit function theorem argument in the parameter $s= \tfrac{1}{2(g+1)}$. This allows us to give an iterative algorithm to compute the power series expansion of the DPW potential and area of $f_\varphi^g$ at $s= 0$ explicitly. In particular, we obtain for large genus Lawson surfaces $\xi_{1,g}$, due to the real analytic dependence of its area and DPW potential on $s,$ a scheme to explicitly compute the coefficients of the power series in $s$ in terms of multilogarithms. Remarkably, the third order coefficient of the area expansion coincides numerically with $\tfrac{9}{4}\zeta(3),$ where $\zeta$ is the Riemann $\zeta$ function (while the first and second order term were shown to be $\log(2)$ and $0$ respectively in \cite{HHT}).
Related project(s):
55New hyperkähler spaces from the the self-duality equations56Large genus limit of energy minimizing compact minimal surfaces in the 3-sphere
For every integer $g \,\geq\, 2$ we show the existence of a compact Riemann surface $\Sigma$ of genus $g$ such that the rank two trivial holomorphic vector bundle ${\mathcal O}^{\oplus 2}_{\Sigma}$ admits holomorphic connections with $\text{SL}(2,{\mathbb R})$ monodromy and maximal Euler class. Such a monodromy representation is known to coincide with the Fuchsian uniformizing representation for some Riemann surface of genus $g$. This also answers a question of \cite{CDHL}. The construction carries over to all very stable and compatible real holomorphic structures over the topologically trivial rank two bundle on $\Sigma$, and gives the existence of holomorphic connections with Fuchsian monodromy in these cases as well.
Related project(s):
55New hyperkähler spaces from the the self-duality equations56Large genus limit of energy minimizing compact minimal surfaces in the 3-sphere
We study the holomorphic symplectic geometry of (the smooth locus of) the space of holomorphic sections of a twistor space with rotating circle action. The twistor space has a meromorphic connection constructed by Hitchin. We give an interpretation of Hitchin's meromorphic connection in the context of the Atiyah--Ward transform of the corresponding hyperholomorphic line bundle. It is shown that the residue of the meromorphic connection serves as a moment map for the induced circle action, and its critical points are studied. Particular emphasis is given to the example of Deligne--Hitchin moduli spaces.
Related project(s):
55New hyperkähler spaces from the the self-duality equations
Team Members
Dr. Sebastian Heller
Project leader
Institute of Differential Geometry, Leibniz Universität Hannover
sheller(at)math.uni-hannover.de