Lie groups, Nahm's equations and hyperkaehler manifolds

The Expansions of the Nahm Pole Solutions to the Kapustin-Witten Equations

For a 3-manifold $X$ and compact simple Lie group $G$, we study the expansions of polyhomogeneous Nahm pole solutions to the Kapustin-Witten equations over $X\times (0,+\infty)$. Let $y$ be the coordinate of $(0,+\infty)$, we prove that the sub-leading terms of a polyhomogeneous Nahm pole solution is smooth to the boundary when $y\to 0$ if and only if $X$ is an Einstein 3-manifold.

Cohomology of compact hyperkaehler manifolds

Let M be a compact simply connected hyperkähler (or holomorphically symplectic) manifold, \dim H^2(M)=n. Assume that M is not a product of hyperkaehler manifolds. We prove that the Lie algebra so(n-3,3) acts by automorphisms on the cohomology ring H^*(M). Under this action, the space H^2(M) is isomorphic to the fundamental representation of so(n-3,3). Let A^r be the subring of H^*(M) generated by H^2(M). We construct an action of the Lie algebra so(n-2,4) on the space A, which preserves A^r. The space A^r is an irreducible representation of so(n-2,4). This makes it possible to compute the ring…

On the Moduli Space of the Octonionic Nahm's Equations

In this paper, we study some basic properties of the octonionic Nahm's equations over $[0,1]$. We prove that the moduli space of the smooth solutions to the octonionic Nahm's equations over $[0,1]$ is a star-shaped smooth manifold with a complete metric. In addition, for any commuting triples of the cotangent bundle of a complex Lie group, we construct solutions to the octonionic Nahm's equations. Moreover, we introduce extra symmetry and study a decoupled version of the octonionic Nahm's equations over $[0,1]$. We prove a Kempf-Ness theorem for the meromorphic solutions to the decoupled octon…

Hyperkaehler manifolds with torsion, supersymmetry and Hodge theory

Let M be a hypercomplex Hermitian manifold, (M,I) the same manifold considered as a complex Hermitian with a complex structure I induced by the quaternions. The standard linear-algebraic construction produces a canonical nowhere degenerate (2,0)-form on (M,I). It is well known that M is hyperkaehler if and only if the form Ωis closed with respect to the de Rham differential. The M is called HKT (hyperkaehler with torsion) if this form is closed with respect to the Dolbeault differential (this condition is weaker. Conjecturally, all compact hypercomplex manifolds admit an HKT-metrics. We exploi…

Rozansky-Witten theory

Rozansky and Witten proposed in 1996 a family of new three-dimensional topological quantum field theories, indexed by compact (or asymptotically flat) hyperkaehler manifolds. As a byproduct they proved that hyperkaehler manifolds also give rise to Vassiliev weight systems. These may be thought of as invariants of hyperkaehler manifolds, so the theory is of interest to geometers as well as to low-dimensional topologists. This paper surveys the geometrical construction of the weight systems, how they may be integrated into the framework of Lie algebra weight systems (joint work with Simon Willer…

Reduction of Vaisman structures in complex and quaternionic geometry

We consider locally conformal Kaehler geometry as an equivariant (homothetic) Kaehler geometry: a locally conformal Kaehler manifold is, up to equivalence, a pair (K,Γ) where K is a Kaehler manifold and Γa discrete Lie group of biholomorphic homotheties acting freely and properly discontinuously. We define a new invariant of a locally conformal Kaehler manifold (K,Γ) as the rank of a natural quotient of Γ, and prove its invariance under reduction. This equivariant point of view leads to a proof that locally conformal Kaehler reduction of compact Vaisman manifolds produces Vaisman manifolds and…

A hyperkahler structure on the cotangent bundle of a complex Lie group

Let G be compact Lie group. It is shown that the cotangent bundle of the complexification of G admits a hyperkahler structure which is invariant under left and right translations by elements of G. The proof is to realize the cotangent bundle of the complex group as a moduli space of solutions to Nahm's equations on the closed interval.

Complexification and hypercomplexification of manifolds with a linear connection

We give a simple interpretation of the adapted complex structure of Lempert-Szoke and Guillemin-Stenzel: it is given by a polar decomposition of the complexified manifold. We then give a twistorial construction of an SO(3)-invariant hypercomplex structure on a neighbourhood of $X$ in $TTX$, where $X$ is a real-analytic manifold equipped with a linear connection. We show that the Nahm equations arise naturally in this context: for a connection with zero curvature and arbitrary torsion, the real sections of the twistor space can be obtained by solving Nahm's equations in the Lie algebra of certa…

Nahm-Kirchhoff 模空间、超凯勒商与二维场论

Nahm-Kirchhoff Moduli Spaces, Hyperkähler Quotient and 2D Field theories

本文为带边界箭图构造 Nahm-Kirchhoff 模空间，证明其超凯勒结构并等同于复辛商，进而建立二维场论与度量场论，揭示超凯勒细化对边长的依赖及退化行为。

Supersymmetry and the cohomology of (hyper)Kaehler manifolds

The cohomology of a compact Kaehler (resp. hyperKaehler) manifold admits the action of the Lie algebra so(2,1) (resp. so(4,1)). In this paper we show, following an idea of Witten, how this action follows from supersymmetry, in particular from the symmetries of certain supersymmetric sigma models. In addition, many of the fundamental identities in Hodge-Lefschetz theory are also naturally derived from supersymmetry.

Instantons and Bows for the Classical Groups

The construction of Atiyah, Drinfeld, Hitchin, and Manin [ADHM78] provided complete description of all instantons on Euclidean four-space. It was extended by Kronheimer and Nakajima to instantons on ALE spaces, resolutions of orbifolds $\mathbb{R}^4/Γ$ by a finite subgroup $Γ\subset SU(2).$ We consider a similar classification, in the holomorphic context, of instantons on some of the next spaces in the hierarchy, the ALF multi-Taub-NUT manifolds, showing how they tie in to the bow solutions to Nahm's equations [Che09] via the Nahm correspondence. Recently in [Nak18a] and [NT17], based on [Nak0…

Integrable Background Geometries

This work has its origins in an attempt to describe systematically the integrable geometries and gauge theories in dimensions one to four related to twistor theory. In each such dimension, there is a nondegenerate integrable geometric structure, governed by a nonlinear integrable differential equation, and each solution of this equation determines a background geometry on which, for any Lie group $G$, an integrable gauge theory is defined. In four dimensions, the geometry is selfdual conformal geometry and the gauge theory is selfdual Yang-Mills theory, while the lower-dimensional structures a…