Rotation in Hyperkähler manifolds - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T16:53:06Z http://mathoverflow.net/feeds/question/111618 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/111618/rotation-in-hyperkahler-manifolds Rotation in Hyperkähler manifolds hapchiu 2012-11-06T05:10:23Z 2012-11-07T21:46:49Z <p>Any Hyperkähler manifold has 3 complex structures $I_{1}, I_{2}, I_{3}$. Assume that there is an additional complex structure $J$. Can this be written as $J = aI_{1} + bI_{2} + cI_{3}$, where $(a,b,c) \in S^{2} \subset \mathbb{R}^{3}$? Hope the question is not too trivial :).</p> http://mathoverflow.net/questions/111618/rotation-in-hyperkahler-manifolds/111695#111695 Answer by Jonathan for Rotation in Hyperkähler manifolds Jonathan 2012-11-07T00:17:19Z 2012-11-07T00:17:19Z <p>Assume $J$ is compatible with $g$ so that $J^\dagger = -J$. Then $J$ is a linear combination of $I_i$ as above if and only if $J I_i + I_i J = -2 a_i \mathbf{1}$, where $\mathbf{1}$ is the identity endomorphism and $a_i$ are real numbers satisfying $a_1^2 + a_2^2 + a_3^2 = 1$.</p> <p><strong>Proof</strong>: Necessity is obvious, since if $J = a_1 I_1 + a_2 I_2 + a_3 I_3$ then $I_i J + J I_i = -2a_i \mathbf{1}$ directly from the quaternion relations. Conversely, suppose that $J I_i + I_i J = -2 a_i \mathbf{1}$, with $\mathbf{a} \in S^2$. Set $K = a_1 I_1 + a_2 I_2 + a_3 I_3$. Then $K^2 = -\mathbf{1}$ and: \begin{align} (J-K)^2 &amp;= (J - \sum a_i I_i)(J - \sum a_i I_i) \\ &amp;= J^2 - \sum a_i (I_i J + J I_i) + K^2 \\ &amp;= -\mathbf{1} + 2 \sum a_i^2 \mathbf{1} - \mathbf{1} \\ &amp;= -\mathbf{1} + 2 \mathbf{1} - \mathbf{1} = 0. \end{align} So $J-K$ is nilpotent. On the other hand, $J-K$ is skew adjoint, so in fact it must be identically zero, i.e. $J = K$.</p> http://mathoverflow.net/questions/111618/rotation-in-hyperkahler-manifolds/111758#111758 Answer by Oliver Nash for Rotation in Hyperkähler manifolds Oliver Nash 2012-11-07T21:46:49Z 2012-11-07T21:46:49Z <p>This is really just a comment but it doesn't quite fit so I'll make it an answer.</p> <p>It seems worth commenting on the difference between the infinitesimal and local/global versions of this question.</p> <p>Let's say we're in real dimension $4n$. Infinitesimally, i.e., on the tangent space at any point, orthogonal complex structures compatible with the orientation are parameterised by $SO(4n)/U(2n)$ (where the compatibility with orientation is to require the Pfaffian be positive). Since $\dim(SO(4n)/U(2n)) = 2n(2n-1) > 2$ for $n > 1$ it is clear that the property in the question fails infinitesimally for $n > 1$. The claim could thus only hold locally (or indeed globally) if the condition of being integrable somehow miraculously restricted to the hyperkahler $S^2 \subset SO(4n)/U(n)$ at each point, which is false. The easiest counter examples are any complex structure on $\mathbb{H}^n$ not in the standard hyperkahler family as in Paul Reynolds's very helpful comment.</p> <p>In dimension $4$ things are slightly more interesting since $SO(4)/U(2) \simeq S^2$ so infinitesmally in 4 dimensions all the relevant complex structures are a linear combination of any hyperkahler triple. However the coefficients $a_i$ are not constant in general. To settle the matter we must therefore exhibit an integrable complex structure for which $a_i$ are non-constant. I confess I cannot think of a trivial example off the top of my head but at first glance <a href="http://arxiv.org/abs/0704.3422" rel="nofollow">this paper</a> appears to discuss the matter, at least locally. (Certainly they exist.)</p>