Quaternion Algebraic Geometry
Dominic Widdows
June 5, 2006 Abstract
QUATERNION ALGEBRAIC GEOMETRY
DOMINIC WIDDOWS
St Anne’s College, Oxford
Thesis submitted Hilary Term, 2000, in support of application to supplicate for the degree of D.Phil.
This thesis is a collection of results about hypercomplex and quaternionic manifolds, focussing on two main areas. These are exterior forms and double complexes, and the ‘algebraic geometry’ of hypercomplex manifolds. The latter area is strongly influenced by techniques from quaternionic algebra. A new double complex on quaternionic manifolds is presented, a quaternionic version of the Dolbeault complex on a complex manifold. It arises from the decomposition of real-valued exterior forms on a quaternionic manifold M into irreducible representations of Sp(1). This decomposition gives a double complex of differential forms and operators ∼ as a result of the Clebsch-Gordon formula Vr⊗V1 = Vr+1⊕Vr−1 for Sp(1)-representations. The properties of the double complex are investigated, and it is established that it is elliptic in most places. Joyce has created a new theory of quaternionic algebra [J1] by defining a quaternionic tensor product for AH-modules (H-modules equipped with a special real subspace). The 1 theory can be described using sheaves over CP , an interpretation due to Quillen [Q]. AH-modules and their quaternionic tensor products are classified. Stable AH-modules are described using Sp(1)-representations. This theory is especially useful for describing hypercomplex manifolds and forming close analogies with complex geometry. Joyce has defined and investigated q-holomorphic functions on hypercomplex manifolds. There is also a q-holomorphic cotangent space which again arises as a result of the Clebsch-Gordon formula. AH-module bundles are defined and their q-holomorphic sections explored. Quaternion-valued differential forms on hypercomplex manifolds are of special inter- est. Their decomposition is finer than that of real forms, giving a second double complex with special advantages. The cohomology of these complexes leads to new invariants of compact quaternionic and hypercomplex manifolds. Quaternion-valued vector fields are also studied, and lead to the definition of quater- nionic Lie algebras. The investigation of finite-dimensional quaternionic Lie algebras allows the calculation of some simple quaternionic cohomology groups. Acknowledgements
I would like to express gratitude, appreciation and respect for my supervisor Do- minic Joyce. Without his inspiration as a mathematician this thesis would not have been conceived; without his patience and friendship it would certainly not have been completed.
Dedication
To the memory of Dr Peter Rowe, 1938-1998, who taught me relativity as an undergraduate in Durham. His determination to teach concepts before examination techniques introduced me to differential geometry.
i Contents
Introduction 1
1 The Quaternions and the Group Sp(1) 4 1.1 The Quaternions ...... 4 1.2 The Lie Group Sp(1) and its Representations ...... 9 1.3 Difficulties with the Quaternions ...... 12
2 Quaternionic Differential Geometry 17 2.1 Complex, Hypercomplex and Quaternionic Manifolds ...... 17 2.2 Differential Forms on Complex Manifolds ...... 20 2.3 Differential Forms on Quaternionic Manifolds ...... 23
3 A Double Complex on Quaternionic Manifolds 25 3.1 Real forms on Complex Manifolds ...... 25 3.2 Construction of the Double Complex ...... 28 3.3 Ellipticity and the Double Complex ...... 32 3.4 Quaternion-valued forms on Hypercomplex Manifolds ...... 40
4 Developments in Quaternionic Algebra 42 4.1 The Quaternionic Algebra of Joyce ...... 42 4.2 Duality in Quaternionic Algebra ...... 48 4.3 Real Subspaces of Complex Vector Spaces ...... 52 4.4 K-modules ...... 53 4.5 The Sheaf-Theoretic approach of Quillen ...... 56
5 Quaternionic Algebra and Sp(1)-representations 61 5.1 Stable AH-modules and Sp(1)-representations ...... 61 5.2 Sp(1)-Representations and the Quaternionic Tensor Product ...... 68 5.3 Semistable AH-modules and Sp(1)-representations ...... 74 5.4 Examples and Summary of AH-modules ...... 77 6 Hypercomplex Manifolds 80 6.1 Q-holomorphic Functions and H-algebras ...... 81 6.2 The Quaternionic Cotangent Space ...... 86 6.3 AH-bundles ...... 90 6.4 Q-holomorphic AH-bundles ...... 93
ii 7 Quaternion Valued Forms and Vector Fields 100 7.1 The Quaternion-valued Double Complex ...... 101 7.2 Vector Fields and Quaternionic Lie Algebras ...... 109 7.3 Hypercomplex Lie groups ...... 112
References 117
iii Introduction
This aim of this thesis is to describe and develop various aspects of quaternionic algebra and geometry. The approach is based upon two pillars, namely the differential geometry of quaternionic manifolds and Joyce’s recent theory of quaternionic algebra. Contribu- tions are made to both fields of study, enabling these strands to be woven together in describing the algebraic geometry of hypercomplex manifolds. A recurrent theme throughout will be representations of the group Sp(1) of unit quaternions. Our contribution to the theory of quaternionic manifolds relies on decom- posing the Sp(1)-action on exterior forms, whilst the main new insight in quaternionic algebra is that the most important building blocks of Joyce’s theory are best described and manipulated as Sp(1)-representations. The importance of Sp(1)-representations to both areas is chiefly responsible for the successful synthesis of methods in the work on hypercomplex manifolds. Another frequent source of motivation is the behaviour of the complex numbers. Many situations in complex algebra and geometry have interesting quaternionic ana- logues. Aspects of complex geometry can often be described using the group U(1) of unit complex numbers; replacing this with the group Sp(1) can lead directly to quaternionic versions. The decomposition of exterior forms on quaternionic manifolds is precisely such an example, as is all the work on q-holomorphic functions and forms on hypercom- plex manifolds. On the other hand, Joyce’s quaternionic algebra is such a rich theory precisely because real subspaces of quaternionic vector spaces behave so differently from real subspaces of complex vector spaces. Much of the original work presented is enticingly simple — indeed, I have often felt both surprised and privileged that it has not been carried out before. One of the main explanations for this is the relative unpopularity suffered by the quaternions in the 20th century. This situation has left various aspects of quaternionic behaviour unexplored. To help understand the reasons for this omission and the consequent opportunities for development, the first chapter is devoted to a survey of the history of the quaternions and their applications. Background material also includes an introduction to the group Sp(1) and its representations. The irreducible representations on complex vector spaces and their tensor products are described, as are real and quaternionic representations. Chapter 2 is about quaternionic structures in differential geometry. The approach is based on the work of Salamon [S3]. Taking complex manifolds as a model, hyper- complex manifolds (those possessing a torsion-free GL(n, H)-structure) are defined, fol- lowed by the broader class of quaternionic manifolds (those possessing a torsion-free Sp(1)GL(n, H)-structure). After reviewing the Dolbeault complex, we consider the decomposition of differential forms on quaternionic manifolds, including an important elliptic complex discovered by Salamon upon which the integrability of the quaternionic
1 structure depends. This complex is in fact the top row of a hitherto undiscovered double complex on quaternionic manifolds, which is the subject of Chapter 3. As an Sp(1)-representation, 4n ∗ ∼ the cotangent space of a quaternionic manifold M takes the form T M = 2nV1, where 2 V1 is the basic representation of Sp(1) on C . Decomposition of the induced Sp(1)- representation on ΛkT ∗M is a simple process achieved by considering weights. That this decomposition gives rise to a double complex results from the Clebsch-Gordon formula ∗ ∼ ∼ Vr ⊗T M = Vr ⊗2nV1 = 2n(Vr+1 ⊕Vr−1). The new double complex is shown to be elliptic everywhere except along its bottom row, consisting of the basic representations V1 and the trivial representations V0. This double complex presents us with new quaternionic cohomology groups. In the fourth chapter (which is partly a summary of the work of Joyce [J1] and Quillen [Q]) we move to our other major area of interest, the theory of quaternionic algebra. The building blocks of this theory are H-modules equipped with a special real subspace. Such an object is called an AH-module. Joyce has discovered a canonical tensor product operation for AH-modules which is both associative and commutative. Using ideas from Quillen’s work, we classify AH-modules up to isomorphism. Dual AH-modules are defined and shown to have interesting properties. Particularly well- behaved is the category of stable AH-modules. In Chapter 5 it is shown that all stable AH-modules and their duals are conveniently described using Sp(1)-representations. The resulting theory is ideally adapted for describing hypercomplex geometry, a pro- cess begun in Chapter 6. A hypercomplex manifold M has a triple of global anticom- muting complex structures which can be identified with the imaginary quaternions. This identification enables tensors on hypercomplex manifolds to be treated using the tech- niques of quaternionic algebra. Joyce has already used such an approach to define and investigate q-holomorphic functions on hypercomplex manifolds, which are seen as the quaternionic analogue of holomorphic functions. There is a natural product map on the AH-module of q-holomorphic functions, which gives the q-holomorphic functions an algebraic structure which Joyce calls an H-algebra. Using the Sp(1)-version of quaternionic algebra, we define a natural splitting of the ∗ ∼ quaternionic cotangent space H ⊗ T M = A ⊕ B, and show that q-holomorphic func- tions are precisely those whose differentials take values in A ⊂ H ⊗ T ∗M. The bundle A is hence defined to be the q-holomorphic cotangent space of M. These spaces are examples of AH-module bundles or AH-bundles, which we discuss. Several parallels with complex geometry arise. There are q-holomorphic AH-bundles with q-holomorphic sections. Q-holomorphic sections are described using the quaternionic tensor product and the q-holomorphic cotangent space, and seen to form an H-algebra module over the q-holomorphic functions. In the final chapter, such methods are applied to quaternion-valued tensors on hy- percomplex manifolds. The double complex of Chapter 3 is revisited and adapted to quaternion-valued differential forms. The global complex structures give an extra decom- ∗ ∼ position which generalises the splitting H ⊗ T M = A ⊕ B, further refining the double complex. The quaternion-valued double complex has advantages over the real-valued version, being elliptic in more places. The top row of the quaternion-valued double com- plex is particularly well-adapted to quaternionic algebra, which presents close parallels with the Dolbeault complex and motivates the definition of q-holomorphic k-forms.
2 Quaternion-valued vector fields are also interesting. The quaternionic tangent space ∼ splits as H ⊗ TM = Ab⊕ Bb in the same way as the cotangent space. Vector fields taking values in Ab are closed under the quaternionic tensor product and Lie bracket, a result which depends upon the integrability of the hypercomplex structure. This is the quater- nionic analogue of the statement that on a complex manifold, the (1, 0) vector fields are closed under the Lie bracket. The vector fields in question therefore form a quaternionic Lie algebra, a new concept which we introduce. Interesting finite-dimensional quater- nionic Lie algebras are used to calculate some quaternionic cohomology groups on Lie groups with left-invariant hypercomplex structures.
3 Chapter 1
The Quaternions and the Group Sp(1)
1.1 The Quaternions
The quaternions H are a four-dimensional real algebra generated by the identity element 1 and the symbols i1, i2 and i3, so H = {r0 +r1i1 +r2i2 +r3i3 : r0, . . . , r3 ∈ R}. Quaternions are added together component by component, and quaternion multiplication is given by the quaternion relations
2 2 2 i1i2 = −i2i1 = i3, i2i3 = −i3i2 = i1, i3i1 = −i1i3 = i2, i1 = i2 = i3 = −1 (1.1) and the distributive law. The quaternion algebra is not commutative, though it does obey the associative law. The quaternions are a division algebra (an algebra with the property that ab = 0 implies that a = 0 or b = 0 ).
• Define the imaginary quaternions I = hi1, i2, i3i. The symbol I is not standard, but we will use it throughout.
• Define the conjugateq ¯ of q = q0 + q1i1 + q2i2 + q3i3 byq ¯ = q0 − q1i1 − q2i2 − q3i3. Then (pq) =q ¯p¯ for all p, q ∈ H.
• Define the real and imaginary parts of q by Re(q) = q0 ∈ R and Im(q) = q1i1 + q2i2 + q3i3 ∈ I. As with complex numbers,q ¯ = Re(q) − Im(q).
• We regard the real numbers R as a subfield of H, and the quaternions as a direct ∼ sum H = R ⊕ I.
2 2 2 2 • Let q = q1i1 + q2i2 + q3i3 ∈ I. Then q = −1 if and only if q1 + q2 + q3 = 1, so the set of ‘quaternionic square-roots of minus-one’ is naturally isomorphic to the 2-sphere S2. We shall often identify these sets, writing ‘q ∈ S2’ as a shorthand for ‘q ∈ H : q2 = −1’.
• If q ∈ S2 then h1, qi is a subfield of H isomorphic to C. We shall call this subfield Cq.
4 1.1.1 A History of the Quaternions The quaternions were discovered by the Irish mathematician and physicist, William Rowan Hamilton (1805-1865), 1 whose contributions to mechanics are well-known and widely used. By 1835 Hamilton had helped to win acceptance for the system of complex numbers by showing that calculations with complex numbers are equivalent to calcula- tions with ordered pairs of real numbers, governed by certain rules. At the time, complex 2 numbers were being applied very effectively to problems in the plane R . To Hamilton, the next logical step was to seek a similar 3-dimensional number system which would 3 revolutionise calculations in R . For years, he struggled with this problem. In a touching letter to his son [H1], 2 dated shortly before his death in 1865, Hamilton writes:
Every morning, on my coming down to breakfast, your brother and yourself used to ask me: “Well, Papa, can you multiply triplets?” Whereto I was always obliged to reply, with a sad shake of the head, “No, I can only add and subtract them”.
For several years, Hamilton tried to manipulate the three symbols 1, i and j into an algebra. He finally realised that the secret was to introduce a fourth dimension. On 16th October, 1843, whilst walking with his wife, he had a flash of inspiration. In the same letter, he writes:
An electric circuit seemed to close, and a spark flashed forth, the herald (as I foresaw immediately) of many long years to come of definitely directed thought and work ... I pulled out on the spot a pocket-book, which still exists, and made an entry there and then. Nor could I resist the impulse — unphilosophical as it may have been — to cut with a knife on the stone of Brougham Bridge, as we passed it, the fundamental formula with the symbols i, j, k: i2 = j2 = k2 = ijk = −1, which contains the solution of the problem, but of course, as an inscription, has long since mouldered away.
Substituting i1, i2, i3 for i, j, k, this gives the quaternion relations (1.1). Rarely do we possess such a clear account of the genesis of a piece of mathematics. Most mathematical theories are invented gradually, and only after years of development can they be presented in a lecture course as a definitive set of axioms and results. The quaternions, on the other hand, “started into life, or light, full grown, on the 16th of Ocober, 1843...” 3 “Less than an hour elapsed” before Hamilton obtained leave of the Council of the Royal Irish Academy to read a paper on quaternions. The next day, Hamilton wrote a detailed letter to his friend and fellow mathematician John T. Graves 1Letters suggest that both Euler and Gauss were aware of the quaternion relations (1.1), though neither of them published the disovery [EKR, p. 192]. 2Copies of Hamilton’s most significant letters and papers concerning quaternions are currently avail- able on the internet at www.maths.tcd.ie/pub/HistMath/People/Hamilton 3Letter to Professor P.G.Tait, an excerpt of which can be found on the same website as [H1].
5 [H2], giving us a clear account of the train of research which led him to his breakthrough. The discovery was published within a month on the 13th of November [H3]. The timing of the discovery amplified its impact upon Hamilton and his followers. The only other algebras known in 1843 were the real and complex numbers, both of which can be regarded as subalgebras of the quaternions. (It was not until 1858 that Cayley introduced matrices, and showed that the quaternion algebra could be realised as a subalgebra of the complex-valued 2 × 2 matrices.) As a result, Hamilton became the figurehead of a school of ‘quaternionists’, whose fervour for the new numbers far exceeded their usefulness. Hamilton believed his discovery to be of similar importance to that of the infinitesimal calculus, and devoted the rest of his career exclusively to its study. Echos of this zeal could still be heard this century; for example, while Eamon de Valera was President of Ireland (from 1959 to 1973), he would attend mathematical meetings whenever their title contained the word ‘quaternions’! Such excesses were bound to provoke a reaction, especially as it became clear that the quaternions are just one example of a number of possible algebras. Lord Kelvin, the famous Scottish physicist, once remarked that “Quaternions came from Hamilton after all his really good work had been done; and though beautifully ingenious, have been an unmixed evil to those who have touched them in any way” [EKR, p.193]. A belief that quaternions are somehow obsolete is often tacitly accepted to this day. This is far from the case. The quaternions remain the simplest algebra after the real and complex numbers. Indeed, the real numbers R, the complex numbers C and the quaternions H are the only associative division algebras, as was proved by Georg Frobenius in 1878: and amongst these the quaternions are the most general. The dis- covery of the quaternions provided enormous stimulation to algebraic research and it is thought that the term ‘associative’ was coined by Hamilton himself [H3, p.5] to describe quaternionic behaviour. Investigation into the nature of and constraints imposed by algebraic properties such as associativity and commutativity was greatly accelerated by the discovery of the quaternions. The quaternions themselves have been used in various areas of mathematics. Most recently, quaternions have enjoyed prominence in computer science, because they are the simplest algebraic tool for describing rotations in three and four dimensions. Certainly, the numbers have fallen short of the early expectations of the quaternionists. However, quaternions do shine a light on certain areas of mathematics, and those who become familiar with them soon come to appreciate an intricacy and beauty which is all their own.
1.1.2 Quaternions and Matrices
In this section we will make use of the older notation i = i1, j = i2, k = i3. This makes it easy to interpret i as the standard complex ‘square root of −1’ and j as a ‘structure 2 map’ on the complex vector space C . It is well-known that the quaternions can be written as real or complex matrices, because there are isomorphisms from H into subalgebras of Mat(4, R) and Mat(2, C). The former of these is given by the mapping
6 q0 q1 q2 q3 −q1 q0 −q3 q2 q0 + q1i + q2j + q3k 7→ . −q2 q3 q0 −q1 −q3 −q2 q1 q0
More commonly used is the mapping into Mat(2, C). We can write every quaternion as a pair of complex numbers, using the equation
q0 + q1i + q2j + q3k = (q0 + q1i) + (q2 + q3i)j. (1.2)
∼ 2 In this way we obtain the expression q = α+βj ∈ H = C . The map j : α+βj 7→ −β¯+αj ¯ 2 2 ∼ 2 is a conjugate-linear involution of C with j = −1. This identification H = C is not uniquely determined: each q ∈ S2 determines a similar isomorphism. Having written this down, it is easy to form the map
α β ι : → H ⊂ Mat(2, ) α + βj 7→ . (1.3) H C −β¯ α¯
The quaternion algebra can thus be realised as a real subalgebra of Mat(2, C), using the identifications
1 0 i 0 0 1 0 i 1 = i = i = i = . (1.4) 0 1 1 0 −i 2 −1 0 3 i 0
Note that the squared norm qq¯ of a quaternion q is the same as the determinant of the matrix ι(q) ∈ H. The isomorphism ι gives an easy way to deduce that H is an associative division algebra; the inverse of any nonzero matrix A ∈ H is also in H, and the only matrix in H whose determinant is zero is the zero matrix.
1.1.3 Simple Applications of the Quaternions There are a number of ways in which quaternions can be used to express mathematical ideas. In many cases, a quaternionic description prefigures more modern descriptions. We will outline two main areas – vector analysis and Euclidean geometry. An excellent and readable account of most of the following can be found in Chapter 7 of [EKR]. Every quaternion can be uniquely written as the sum of its real and imaginary parts. 3 If we identify the imaginary quaternions I with the real vector space R , we can consider each quaternion q = q0+q1i1+q2i2+q3i3 as the sum of a scalar part q0 and a vectorial part 3 (q1, q2, q3) ∈ R (indeed, it is in this context that the term ‘vector’ first appears [H4]). If we multiply together two imaginary quaternions p, q ∈ I, we obtain a quaternionic 3 version of the scalar product and vector product on R , as follows: ∼ pq = −p · q + p ∧ q ∈ R ⊕ I = H. (1.5) Surprising as it seems nowadays, it was not until the 1880’s that Josiah Willard Gibbs (1839-1903), a professor at Yale University, argued that the scalar and vector products
7 had their own meaning, independent from their quaternionic origins. It was he who introduced the familiar notation p · q and p ∧ q — before his time these were written ‘−Spq’ and ‘V pq’, indicating the ‘scalar’ and ‘vector’ parts of the quaternionic product pq ∈ H. Another crucial part of vector analysis which originated with Hamilton and the quaternions is the ‘nabla’ operator ∇ (so-called by Hamilton because the symbol ∇ is similar in shape to the Hebrew musical instrument of that name). The familiar gra- 3 dient operator acting on a real differentiable function f(x1, x2, x3): R → R was first written as ∂f ∂f ∂f ∇f := i1 + i2 + i3. (1.6) ∂x1 ∂x2 ∂x3 Hamilton went on to consider applying the operator ∇ to a ‘differentiable quaternion field’ F (x1, x2, x3) = f1(x1, x2, x3)i1 + f2(x1, x2, x3)i2 + f3(x1, x2, x3)i3, obtaining the equation ∂f1 ∂f2 ∂f3 ∂f3 ∂f2 ∂f1 ∂f3 ∂f2 ∂f1 ∇F = − + + + − i1 + − i2 + − i3, ∂x1 ∂x2 ∂x3 ∂x2 ∂x3 ∂x3 ∂x1 ∂x1 ∂x2 which we recognise in modern terminology as
∇F = − div F + curl F.
Applying the ∇ operator to Equation (1.6) leads to the well-known Laplacian operator on 3: R 2 2 2 2 ∂ f ∂ f ∂ f ∇ f = − 2 + 2 + 2 =: ∆f. ∂x1 ∂x2 ∂x3 3 Having obtained the standard scalar product on R , we can obtain the Euclidean 4 metric on R in a similar fashion by relaxing the restriction in Equation (1.5) that p and q should be imaginary. For any p, q ∈ H, we have
Re(pq¯) = p0q0 + p1q1 + p2q2 + p3q3 ∈ R, and so we define the canonical scalar product on H by hp, qi = Re(pq¯). (1.7)
We define the norm of a quaternion q ∈ H in the obvious way, putting √ |q| = qq.¯ (1.8)
The norm function is multiplicative, i.e. |pq| = |p||q| for p, q ∈ H. As with complex numbers, we can combine the norm function with conjugation to obtain the inverse of q ∈ H \{0} (it is easily verified that q−1 =q/ ¯ |q|2 is the unique quaternion such that qq−1 = q−1q = 1). Another quaternionic formula, similar to Equation (1.7), is the identity
Re(pq) = p0q0 − p1q1 − p2q2 − p3q3 ∈ R. (1.9)
8 If we regard p and q as four-vectors in spacetime with the ‘time-axis’ identified with R ⊂ H and the ‘spatial part’ identified with I, this is identical to the Lorentz metric of special relativity. Let a and b be quaternions of unit norm, and consider the involution fa,b : H → H 4 4 given by fa,b(q) = aqb. Then |fa,b(q)| = |q| and the function fa,b : R → R is a rotation. Clearly, f−a,−b = fa,b, so each of these choices for the pair a, b gives the same rotation. 4 In 1855, Cayley showed that all rotations of R can be written in this fashion and that the two possibilities given above are the only two which give the same rotation. Also, ¯ all reflections can be obtained by the involutions fa,b(q) = aqb¯ . 4 One of the beauties of this system is that having obtained all rotations of R , we 3 obtain the rotations of R simply by putting a = b−1, giving the inner automorphism of H, q 7→ aqa−1. (By Cayley’s theorem, all real-algebra automorphisms of H take this form.) This fixes the real line R and rotates the imaginary quaternions I. Identifying I 3 3 with R , the map q 7→ aqa−1 is a rotation of R . According to Cayley, within a year 3 of the discovery of the quaternions Hamilton was aware that all rotations of R can be expressed in this fashion. These discoveries provided much insight into the classical groups SO(3) and SO(4), and helped to develop our knowledge of transformation groups in general. There are interesting questions which arise. Why do the unit quaternions turn out to be so im- portant? In view of the quaternionic version of the Lorentz metric in Equation (1.9), can we use quaternions to write Lorentz tranformations as elegantly? Are there other spaces which might lend themselves to quaternionic treatment? These questions are best addressed using the theory of Lie groups, which the pioneering work of Hamilton and Cayley helped to develop.
1.2 The Lie Group Sp(1) and its Representations
The unit quaternions form a subgroup of H under multiplication, which we call Sp(1). Its importance to the quaternions is equivalent to that of the circle group U(1) of unit complex numbers in complex analysis. As a manifold Sp(1) is the 3-sphere S3. The multiplication and inverse maps are smooth, so Sp(1) is a compact Lie group. The isomorphism ι : H → H ⊂ Mat(2, C) of Equation (1.4) maps Sp(1) isomorphically onto SU(2). The Lie algebra sp(1) of Sp(1) is generated by the elements I, J and K, the Lie bracket being given by the relations [I,J] = 2K,[J, K] = 2I and [K,I] = 2J. We can write these using the matrices of Equation (1.4): i 0 0 1 0 i I = J = K = . 0 −i −1 0 i 0
The complexification of sp(1) is the Lie algebra sl(2, C). This is generated over C by the elements 1 0 0 1 0 0 H = X = Y = , (1.10) 0 −1 0 0 1 0 and the relations [H,X] = 2X, [H,Y ] = −2Y and [X,Y ] = H. (1.11)
9 Hence the equations
I = iH, J = X − Y and K = i(X + Y ) (1.12) ∼ give one possible identification sp(1) ⊗R C = sl(2, C). For any Q ∈ sp(1), the normaliser N(Q) of Q is defined to be
N(Q) = {P ∈ sp(1) : [P,Q] = 0} = hQi, which is a Cartan subalgebra of sp(1). Identifying a unit vector Q = aI+bJ+cK ∈ sp(1) 2 with the corresponding imaginary quaternion q = ai2 + bi2 + ci3 ∈ S , the exponential map exp : sp(1) → Sp(1) maps hQi to the unit circle in Cq, which we will call U(1)q. In the previous section it was shown that rotations in three and four dimensions can be written in terms of unit quaternions. This is because there is a commutative diagram of Lie group homomorphisms
Sp(1) ∼= Spin(3) ,→ Sp(1) × Sp(1) ∼= Spin(4) ↓ ↓ (1.13) SO(3) ,→ SO(4).
The horizontal arrows are inclusions, and the vertical arrows are 2 : 1 coverings with kernels {1, −1} and {(1, 1), (−1, −1)} respectively. The applications of these homomor- phisms in Riemannian geometry are described by Salamon in [S1]. From this, we can see clearly why three- and four-dimensional Euclidean geometry fit so well in a quaternionic framework. We can also see why the same is not true for Lorentzian geometry. Here the important group is the Lorentz group SO(3,1). Whilst there is a double cover SL(2, C) → SO0(3, 1), this does not restrict to a suitably interest- ing real homomorphism Sp(1)→ SO0(3,1). It is possible to write Lorentz transformations using quaternions (for a modern example see [dL]), but the author has found no way which is simple enough to be really effective. There have been attempts to use the bi- ∼ quaternions {p + iq : p + q ∈ H} = H ⊗R C to apply quaternions to special relativity [Sy], but the mental gymnastics involved in using four ‘square roots of −1’ are cum- bersome: the equivalent description of ‘spin transformations’ using the matrices of the group SL(2,C) are a more familiar and fertile ground.
1.2.1 The Representations of Sp(1) A representation of a Lie group G on a vector space V is a Lie group homomorphism ρ : G → GL(V ). We will sometimes refer to V itself as a representation where the map ρ is understood. The differential dρ is a Lie algebra representation dρ : g → End(V ). The representations of Sp(1) ∼= SU(2) will play an important part in this thesis. Their theory is well-known and used in many situations. Good introductions to Sp(1)- representations include [BD, §2.5] (which describes the action of the group SU(2)) and [FH, Lecture 11] (which provides a description in terms of the action of the Lie algebra sl(2, C)). We recall those points which will be of particular importance. Because it is a compact group, every representation of Sp(1) on a complex vector space V can be written as a direct sum of irreducible representations. The multiplicity
10 of each irreducible in such a decomposition is uniquely determined. Moreover, there is a n unique irreducible representation on C for every n > 0. This makes the representations of Sp(1) particularly easy to describe. Let V1 be the basic representation of SL(2,C) 2 on C given by left-action of matrices upon column vectors. This coincides with the ∼ 2 basic representation of Sp(1) by left-multiplication on H = C . The unique irreducible n+1 th representation on C is then given by the n symmetric power of V1, so we define
n Vn = S (V1).
The representation Vn is irreducible [BD, Proposition 5.1], and every irreducible rep- resentation of Sp(1) is of the form Vn for some nonnegative n ∈ Z [BD, Proposition 5.3]. 2 Let x and y be a basis for C , so that V1 = hx, yi. Then
n n n−1 n−2 2 2 n−2 n−1 n Vn = S (V1) = hx , x y, x y ,..., x y , xy , y i.
The action of SL(2,C) on Vn is given by the induced action on the space of homogeneous polynomials of degree n in the variables x and y. Each of the Lie group representations Vn is a representation of the Lie algebras sl(2, C) and sp(1). Another very important way to describe the structure of these representations is obtained by decomposing them into weight spaces (eigenspaces for the action of a Cartan subalgebra). In terms of H, X and Y , the sl(2, C)-action on V1 is given by H(x) = x X(x) = 0 Y (x) = y (1.14) H(y) = −y X(y) = x Y (y) = 0.
4 To obtain the induced action of sl(2, C) on Vn we use the Leibniz rule A(a · b) = A(a) · b + a · A(b). This gives
H(xn−kyk) = (n − 2k)(xn−kyk) X(xn−kyk) = k(xn−k+1yk−1) (1.15) Y (xn−kyk) = (n − k)(xn−k−1yk+1).
n−k k Each subspace hx y i ⊂ Vn is therefore a weight space of the representation Vn, and the weights are the integers
{n, n − 2, . . . , n − 2k, . . . , 2 − n, −n}.
Thus Vn is also characterised by being the unique irreducible representation of sl(2, C) with highest weight n. We can compute the action of sp(1) on Vn by substituting I, J and K for H, X and Y using the relations of (1.12). Another important operator which acts on an sp(1)-representation is the Casimir operator C = I2 + J 2 + K2 = −(H2 + 2XY + 2YX). It is easy to show that for any n−k k x y ∈ Vn, C(xn−kyk) = −n(n + 2)xn−kyk. (1.16)
4This can be found in [FH, p. 110], which describes the action of Lie groups and Lie algebras on tensor products.
11 Each irreducible representation Vn is thus an eigenspace of the Casimir operator with eigenvalue −n(n + 2). Let Vm and Vn be two Sp(1)-representations. Then their tensor product Vm ⊗ Vn is naturally an Sp(1) × Sp(1)-representation, 5 and also a representation of the diagonal Sp(1)-subgroup, the action of which is given by
g(u ⊗ v) = g(u) ⊗ g(v).
The irreducible decomposition of the diagonal Sp(1)-representation on Vm ⊗ Vn is given by the famous Clebsch-Gordon formula, ∼ Vm ⊗ Vn = Vm+n ⊕ Vm+n−2 ⊕ · · · ⊕ Vm−n+2 ⊕ Vm−n for m ≥ n. (1.17)
This can be proved using characters [BD, Proposition 5.5] or weights [FH, Exercise 11.11].
Real and quaternionic representations It is standard practice to work primarily with representations on complex vector spaces. Representations on real (and quaternionic) vector spaces are obtained using antilinear structure maps. A thorough guide to this process is in [BD, §2.6]. In the case of Sp(1)- representations, we define the structure map σ1 : V1 → V1 by
σ1(z1x + z2y) = −z¯2x +z ¯1y z1, z2 ∈ C.
2 Then σ1 = −1 , and σ1 coincides with the map j of Section 1.1.2. Let σn be the map which σ1 induces on Vn, i.e.
n−k k k k n−k σn(z1x y ) = (−1) z¯1x y . (1.18)
2 σ If n = 2m is even then σ2m = 1 and σ2m is a real structure on V2m. Let V2m be the set σ ∼ 2m+1 of fixed-points of σ2m. Then V2m = R is preserved by the action of Sp(1), and σ ∼ V2m ⊗R C = V2m.
σ 2m+1 Thus V2m is a representation of Sp(1) on the real vector space R . 2 If on the other hand n = 2m − 1 is odd, σ2m−1 = −1. Then Sp(1) acts on the un- 4m derlying real vector space R . This real vector space comes equipped with the complex structure i and the structure map σ2m−1, in such a way that the subspace
∼ 4 hv, iv, σ2m−1(v), iσ2m−1(v)i = R ∼ m is isomorphic to the quaternions; thus V2m−1 = H . This is why a complex antilinear map σ on a complex vector space V such that σ2 = −1 is called a quaternionic structure.
5Since Sp(1) × Sp(1) =∼ Spin(4), we can construct all Spin(4) and hence all SO(4) representations in this fashion — see [S1, §3].
12 1.3 Difficulties with the Quaternions
Quaternions are far less predictable than their lower-dimensional cousins, due to the great complicating factor of non-commutativity. Many of the ideas which work beautifully for real or complex numbers are not suited to quaternions, and attempts to use them often result in lengthy and cumbersome mathematics — most of which dates from the 19th century and is now almost forgotten. However, with modesty and care, quaternions can be used to recreate many of the structures over the real and complex numbers with which we are familiar. The purpose of this section is to outline some of the difficulties with a few examples, which highlight the need for caution: but also, it is hoped, point the way to some of the successes we will encounter.
1.3.1 The Fundamental Theorem of Algebra for Quaternions The single biggest reason for using the complex numbers in preference to any other num- ber field is the so-called ‘Fundamental Theorem of Algebra’ — every complex polynomial of degree n has precisely n zeros, counted with multiplicities. The real numbers are not so well-behaved: a real polynomial of degree n can have fewer than n real roots. Quaternion behaviour is many degrees freer and less predictable. If we multiply together two ‘linear factors’, we obtain the following expression:
(a1X + b1)(a2X + b2) = a1Xa2X + a1Xb2 + b1a2X + b1b2.
It quickly becomes obvious that non-commutativity is going make any attempt to fac- torise a general polynomial extremely troublesome. Moreover, there are many polynomials which display extreme behaviour. For ex- 2 2 2 2 ample, the cubic X i1Xi1 + i1X i1X − i1Xi1X − Xi1X i1 takes the value zero for all X ∈ H. At the other extreme, since i1X − Xi1 ∈ I for all X ∈ H, the equation i1X − Xi1 + 1 = 0 has no solutions at all! In order to arrive at any kind of ‘fundamental theorem of algebra’, we need to restrict our attention considerably. We define a monomial of degree n to be an expression of the form a0Xa1Xa2 ··· an−1Xan, ai ∈ H \{0}. Then there is the following ‘fundamental theorem of algebra for quaternions’:
Theorem 1.3.1 [EKR, p. 205] Let f be a polynomial over H of degree n > 0 of the form m + g, where m is a monomial of degree n and g is a polynomial of degree < n. Then the mapping f : H → H is surjective, and in particular f has zeros in H.
This is typical of the difficulties we encounter with quaternions. There is a quater- nionic analogue of the theorems for real and complex numbers, but because of non- commutativity the quaternionic version is more complicated, less general and because of this less useful.
13 1.3.2 Calculus with Quaternions The monumental successes of complex analysis make it natural to look for a similar theory for quaternions. Complex analysis can be described as the study of holomorphic functions. A function f : C → C is holomorphic if it has a well-defined complex derivative. One of the fundamental results in complex analysis is that every holomorphic function is analytic i.e. can be written as a convergent power series. Sadly, neither of these definitions proves interesting when applied to quaternions — the former is too restrictive and the latter too general. For a function f : H → H to have a well-defined derivative df = lim(f(q + h) − f(q))h−1, dq h→0 it can be shown [Su, §3, Theorem 1] that f must take the form f(q) = a + bq for some a, b ∈ H, so the only functions which are quaternion-differentiable in this sense are affine linear. In contrast to the complex case, the components of a quaternion can be written as quaternionic polynomials, i.e. for q = q0 + q1i1 + q2i2 + q3i3, 1 1 q0 = (q − i1qi1 − i2qi2 − i3qi3) q1 = (q − i1qi1 + i2qi2 + i3qi3) etc. (1.19) 4 4i1 This takes us to the other extreme: the study of quaternionic power series is the same 4 as the theory of real-analytic functions on R . Hamilton and his followers were aware of this — it was in Hamilton’s work on quaternions that some of the modern ideas in the theory of functions of several real variables first appeared. Despite the benefits of this work to mathematics as a whole, Hamilton never developed a successful ‘quaternion calculus’. It was not until the work of R. Fueter, in 1935, that a suitable definition of a ‘regular quaternionic function’ was found, using a quaternionic analogue of the Cauchy-Riemann equations. A regular function on H is defined to be a real-differentiable function f : H → H which satisfies the Cauchy-Riemann-Fueter equations: ∂f ∂f ∂f ∂f + i1 + i2 + i3 = 0. (1.20) ∂q0 ∂q1 ∂q2 ∂q3 The theory of quaternionic analysis which results is modestly successful, though it is little-known. The work of Fueter is described and extended in the papers of Deavours [D] and Sudbery [Su], which include quaternionic versions of Morera’s theorem, Cauchy’s theorem and the Cauchy integral formula. As usual, non-commutativity causes immediate algebraic difficulties. If f and g are regular functions, it is easy to see that their sum f + g must also be regular, as must the left scalar multiple qf for q ∈ H; but their product fg, the composition f ◦ g and the right scalar multiple fq need not be. Hence regular functions form a left H-module, but it is difficult to see how to describe any further algebraic structure.
1.3.3 Quaternion Linear Algebra In the same way as we define real or complex vector spaces, we can define quaternionic vector spaces or H-modules — a real vector space with an H-action, which we shall call
14 scalar multiplication. There is the added complication that we need to say whether this multiplication is on the left or the right. We will work with left H-modules — this choice is arbitrary and has only notational effects on the resulting theory. A left H-module is thus a real vector space U with an action of H on the left, which we write (q, u) 7→ q · u n or just qu, such that p(qu) = (pq)u for all p, q ∈ H and u ∈ U. For example, H is an H-module with the obvious left-multiplication. Several of the familiar ideas which work for vector spaces over a commutative field work just as well for H-modules. For example, we can define quaternion linear maps between H-modules in the obvious way, and so we can define a dual H-module U × of quaternion linear maps α : U → H. However, if we try to define quaternion bilinear maps we run into trouble. If A, B and C are vector spaces over the commutative field F, then an F-bilinear map µ : A×B → C satisfies µ(f1a, b) = f1µ(a, b) and µ(a, f2b) = f2µ(a, b) for all a ∈ A, b ∈ B, f1, f2 ∈ F. This is equivalent to having µ(f1a, f2b) = f1f2µ(a, b). Now suppose that U, V and W are (left) H-modules. Let q1, q2 ∈ H and let u ∈ U, v ∈ V . If we try to define a bilinear map µ : U × V → W as above, then we need both µ(q1u, q2v) = q1µ(u, q2v) = q2q1µ(u, v) and µ(q1u, q2v) = q2µ(q1u, v) = q1q2µ(u, v). Since q1q2 6= q2q1 in general, this cannot work. Similar difficulties arise if we try to define a tensor product over the quaternions. If A and B are vector spaces over the commutative field F, their tensor product over F is defined by
F (A, B) A ⊗ B = , (1.21) F R(A, B) where F (A, B) is the vector space freely generated (over F) by all elements (a, b) ∈ A×B and R(A, B) is the subspace of F (A, B) generated by all elements of the form
(a1 + a2, b) − (a1, b) − (a2, b)(a, b1 + b2) − (a, b1) − (a, b2)
f(a, b) − (f(a), b) and f(a, b) − (a, f(b)), for a, aj ∈ A, b, bj ∈ B and f ∈ F. Not surprisingly, this process does not work for quaternions. Let U and V be left H-modules. Then if we define the ideal R(U, V ) in the same way as above, we discover that R(U, V ) is equal to the whole of F (U, V ), so
U ⊗F V = {0}. One way around both of these difficulties is to demand that our H-modules should also have an H-action on the right. We can now define an H-bilinear map to be one which satisfies µ(q1u, vq2) = q1µ(u, v)q2, or alternatively µ(q1u, q2v) = q1µ(u, v)¯q2. Similarly, for our tensor product we can define a generator uq ⊗ v − u ⊗ qv (replacing f(u) ⊗ v − u ⊗ f(v)) for R. In this (more restricted) case we do obtain a well-defined ‘quaternionic tensor product’ U⊗HV = F (U, V )/R(U, V ) which inherits a left H-action from U and a right H-action from V . The drawback with this system is that it does not really provide any new insights. If we insist on having a left and a right H-action, we restrict ourselves to talking about n n H-modules of the form H = H ⊗R R . In this case, we do get the useful relation m n ∼ mn m n ∼ mn H ⊗HH = H , but this is only saying that H⊗RR ⊗RR = H⊗RR . In this context, our ‘quaternionic tensor product’ is merely a real tensor product in a quaternionic setting.
15 1.3.4 Summary By now we have become familiar with some of the more elementary ups and downs of the quaternions. In the 20th century they have often been viewed as a sort of mathematical Cinderella, more recent techniques being used to describe phenomena which were first thought to be profoundly quaternionic. However, we have seen that it is possible to produce quaternionic analogues of some of the most basic algebraic and analytic ideas of real and complex numbers, often with interesting and useful results. In the next chapter we will continue to explore this process, turning our attention to quaternionic structures in differential geometry.
16 Chapter 2
Quaternionic Differential Geometry
In this chapter we review some of the ways in which quaternions are used to define geometric stuctures on differentiable manifolds. In the same way that real and complex n n manifolds are modelled locally by the vector spaces R and C respectively, there are n manifolds which can be modelled locally by the H-module H . These models work by defining tensors whose action on the tangent spaces to a manifold is the same as the action of the quaternions on an H-module. There are two important classes of manifolds which we shall consider: those which are called ‘quaternionic manifolds’, and a more restricted class called ‘hypercomplex manifolds’. In this chapter we describe these important geometric structures. We also review the decomposition of exterior forms on complex manifolds, and examine some of the parallels of this theory which have already been found in quaternionic geometry. Many of the algebraic and geometric foundations of the material in this chapter are collected in (or can be inferred from) Fujiki’s comprehensive article [F].
2.1 Complex, Hypercomplex and Quaternionic Man- ifolds
Complex Manifolds A complex manifold is a 2n-dimensional real manifold M which admits an atlas of n complex charts, all of whose transition functions are holomorphic maps from C to itself. As we saw in Section 1.3, the simplest notions of a ‘quaternion-differentiable map from H to itself’ are either very restrictive or too general, and the ‘regular functions’ of Fueter and Sudbery are not necessarily closed under composition. This makes the notion of ‘quaternion-differentiable transition functions’ less interesting that one might hope. An equivalent way to define a complex manifold is by the existence of a special tensor called a complex structure. A complex structure on a real vector space V is an 2 automorphism I : V → V such that I = − idV . (It follows that dim V is even.) The ∼ n complex structure I gives an isomorphism V = C , since the operation ‘multiplication n by i’ defines a standard complex structure on C . An almost complex structure on a 2n-dimensional real manifold M is a smooth tensor I ∈ C∞(End(TM)) such that I is a complex structure on each of the fibres TxM.
17 n Now, if M is a complex manifold, each tangent space TxM is isomorphic to C , so taking I to be the standard complex structure on each TxM defines an almost complex structure on M. An almost complex stucture I which arises in this way is called a complex structure on M, in which case I is said to be integrable. The famous Newlander- Nirenberg theorem states that an almost complex structure I is integrable if and only if the Nijenhuis tensor of I
NI (X,Y ) = [X,Y ] + I[IX,Y ] + I[X,IY ] − [IX,IY ]
∞ vanishes for all X,Y ∈ C (TM), for all x ∈ M. The Nijenhuis tensor NI measures the (0, 1)-component of the Lie bracket of two vector fields of type (1, 0). 1 On a complex manifold the Lie bracket of two (1, 0)-vector fields must also be of type (1, 0). Thus if I is an almost complex structure on M and NI ≡ 0, then M is a complex manifold in the sense of the first definition given above. We can talk about the complex manifold (M,I) if we wish to make the extra geometric structure more explicit — especially as the manifold M might admit more than one complex structure.
Hypercomplex Manifolds This way of defining a complex manifold adapts itself well to the quaternions. A hyper- complex structure on a real vector space V is a triple (I, J, K) of complex structures on V satisfying the equation IJ = K. (It follows that dim V is divisible by 4.) If we iden- tify I, J and K with left-multiplication by i1, i2 and i3, a hypercomplex structure gives ∼ n an isomorphism V = H . Equivalently, a hypercomplex structure is defined by a pair of complex structures I and J with IJ = −JI. It is easy to see that if (I, J, K) is a hyper- complex structure on V , then each element of the set {aI+bJ+cK : a2+b2+c2 = 1} ∼= S2 is also a complex structure. We arrive at the following quaternionic version of a complex manifold: Definition 2.1.1 An almost hypercomplex structure on a 4n-dimensional manifold M is a triple (I, J, K) of almost complex structures on M which satisfy the relation IJ = K. If all of the complex structures are integrable then (I, J, K) is called a hypercomplex structure on M, and M is a hypercomplex manifold.
∼ n A hypercomplex structure on M defines an isomorphism TxM = H at each point x ∈ M. As on a vector space, a hypercomplex structure on a manifold M defines a 2-sphere S2 of complex structures on M. Some choices are inherent in this standard definition. A hypercomplex structure as defined above gives TM the structure of a left H-module, since IJ = K. This induces a right H-module structure on T ∗M, using the standard definition hI(ξ),Xi = hξ, I(X)i etc., for all ξ ∈ T ∗M,X ∈ TM, since on T ∗M we now have
hξ, IJ(X)i = hI(ξ),J(X)i = hJI(ξ),Xi.
In this thesis we will make more use of the hypercomplex structure on T ∗M than that on TM. Because of this we will usually define our hypercomplex structures so that IJ = K on T ∗M rather than TM. This has only notational effect on the theory, but it does pay to
1Tensors of type (p, q) are defined in the next section.
18 be aware of how it affects other standard notations. For example, for us the hypercomplex − structure acts trivially on the anti-self-dual 2-forms ω1 = dx0 ∧ dx1 − dx2 ∧ dx3 etc. This encourages us to think of a connection whose curvature is acted upon trivially by the hypercomplex structure as anti-self-dual rather than self-dual, whereas some authors use the opposite convention. Such things are largely a matter of taste — we are choosing to follow the notation of Joyce [J1] for whom regular functions form a left H-module, whereas Sudbery’s regular functions form a right H-module. One important difference between complex and hypercomplex geometry is the exis- tence of a special connection. A complex manifold generally admits many torsion-free connections which preserve the complex structure. By contrast, on a hypercomplex manifold there is a unique torsion-free connection ∇ such that
∇I = ∇J = ∇K = 0.
This was proved by Obata in 1956, and the connection ∇ is called the Obata connection. Complex and hypercomplex manifolds can be decribed succinctly in terms of G- structures on manifolds. Let P be the principal frame bundle of M, i.e. the GL(n, R)- ∼ 4n bundle whose fibre over x ∈ M is the group of isomorphisms TxM = R . Let G be a Lie subgroup of GL(n, R). A G-structure Q on M is a principal subbundle of P with structure group G. 2n Suppose M has an almost complex structure. The group of automorphisms of TxM preserving such a structure is isomorphic to GL(n, C). Thus an almost complex structure I and a GL(n, C)-structure Q on M contain the same information. The bundle Q admits a torsion-free connection if and only if there is a torsion-free linear connection ∇ on M with ∇I = 0, in which case it is easy to show that I is integrable. Thus a complex manifold is precisely a real manifold M 2n with a GL(n, C)-structure Q admitting a torsion-free connection (in which case Q itself is said to be ‘integrable’). If M 4n has an almost hypercomplex structure then the group of automorphisms preserving this structure is isomorphic to GL(n, H). Following the same line of argument, a hypercomplex manifold is seen to be a real manifold M with an integrable GL(n, H)- structure Q. The uniqueness of any torsion-free connection on Q follows from analysing the Lie algebra gl(n, H). This process is described in [S3, §6].
Quaternionic Manifolds and the Structure Group GL(1, H)GL(n, H) Not all of the manifolds which we wish to describe as ‘quaternionic’ admit hypercomplex 1 structures. For example, the quaternionic projective line HP is diffeomorphic to the 4-sphere S4. It is well-known that S4 does not even admit a global almost complex 1 structure; so HP can certainly not be hypercomplex, despite behaving extremely like the quaternions locally. The reason (and the solution) for this difficulty is that GL(n, H) is not the largest subgroup of GL(4n, R) preserving a quaternionic structure. If we think of GL(n, H) n as acting on H by right-multiplication by n × n quaternionic matrices, then the action of GL(n, H) commutes with that of the left H-action of the group GL(1, H). Thus n ∗ the group of symmetries of H is the product GL(1, H) ×R GL(n, H) , which we write GL(1, H)GL(n, H). We can multiply on the right by any real multiple of the identity
19 ∗ (since GL(1, H) and GL(n, H) share the same centre R ), so without loss of gener- ality we can reduce the first factor to Sp(1). Thus GL(1, H)GL(n, H) is the same as Sp(1)GL(n, H) = Sp(1) ×Z2 GL(n, H). Definition 2.1.2 [S3, 1.1] A quaternionic manifold is a 4n-dimensional real manifold M (n ≥ 2) with an Sp(1)GL(n, H)-structure Q admitting a torsion-free connection. When n = 1 the situation is different, since Sp(1)×Sp(1) ∼= SO(4). In four dimensions we make the special definition that a quaternionic manifold is a self-dual conformal manifold. In terms of tensors, quaternionic manifolds are a generalisation of hypercomplex manifolds in the following way. Each tangent space TxM still admits a hypercomplex ∼ n structure giving an isomorphism TxM = H , but this isomorphism does not necessarily arise from globally defined complex structures on M. There is still an S2-bundle of local almost-complex structures which satisfy IJ = K, but it is free to ‘rotate’. For a comprehensive study of quaternionic manifolds see [S3] and Chapter 9 of [S4].
Riemannian Manifolds in Complex and Quaternionic Geometry
Suppose the GL(n, C)-structure Q on a complex manifold M admits a further reduc- tion to an integrable U(n)-structure Q0. Then M admits a Riemannian metric g with g(IX,IY ) = g(X,Y ) for all X,Y ∈ TxM for all x ∈ M. We also define the differentiable 2-form ω(X,Y ) = g(IX,Y ). If such a metric arises from an integrable U(n)-structure Q0 then ω will be a closed 2-form, and M is a symplectic manifold — so M has com- patible complex and symplectic structures. In this case M is called a K¨ahlermanifold; an integrable U(n)-structure is called a K¨ahlerstructure; the metric g is called a K¨ahler metric and the symplectic form ω is called a K¨ahlerform. The quaternionic analogue of the compact group U(n) is the group Sp(n). A hyper- complex manifold whose GL(n, H)-structure Q reduces to an integrable Sp(n)-structure Q0 admits a metric g which is simultaneously K¨ahlerfor each of the complex structures I,J and K. Such a manifold is called hyperk¨ahler . Using each of the complex structures, we define three independent symplectic forms ωI , ωJ and ωK . Then the complex 2-form ωJ + iωK is holomorphic with respect to the complex structure I, and a hyperk¨ahler manifold has compatible hypercomplex and complex-symplectic structures. Hyperk¨ahler manifolds are studied in [HKLR], which gives a quotient construction for hyperk¨ahler manifolds. Similarly, if a quaternionic manifold has a metric compatible with the torsion-free Sp(1)GL(n, H)-structure, then the Sp(1)GL(n, H)-structure Q reduces to an Sp(1)Sp(n)- structure Q0 and M is said to be quaternionic K¨ahler. The group Sp(1)Sp(n) is a maximal proper subgroup of SO(4n) except when n = 1, where as we know Sp(1)Sp(1) = SO(4). In four dimensions a manifold is said to be quaternionic K¨ahler if and only if it is self-dual and Einstein. Quaternionic K¨ahlermanifolds are the subject of [S2].
2.2 Differential Forms on Complex Manifolds
This section consists of background material in complex geometry, especially ideas which encourage the development of interesting quaternionic versions. More information on this
20 and other aspects of complex geometry can be found in [W] and [GH, §0.2]. Let (M,I) be a complex manifold. Then I gives TM and T ∗M the structure of a
U(1)-representation and the complexification C⊗R TM splits into two weight spaces with ∗ weights ±i. The same is true of C ⊗R T M. There are various ways of writing these ∗ ∗ ∗ weight spaces; fairly standard is the notation C ⊗R T M = T1,0M ⊕ T0,1M, where these summands are the +i and −i eigenspaces of I respectively. However, for our purposes it will be more useful to adopt the notation of [S3], writing
∗ 1,0 0,1 C ⊗R T M = Λ M ⊕ Λ M, (2.1)
1,0 ∗ 0,1 ∗ ∞ so Λ M = T1,0M and Λ M = T0,1M. A holomorphic function f ∈ C (M, C) is a smooth function whose derivative takes values only in Λ1,0M for all m ∈ M, i.e. f is holomorphic if and only if df ∈ C∞(M, Λ1,0M). A closely linked statement is that Λ1,0M is a holomorphic vector bundle. Thus Λ1,0M is called the holomorphic cotangent space and Λ0,1M is called the antiholomorphic cotangent space of M. If we reverse the sense of the complex structure (i.e. if we swap I for −I) then we reverse the roles of the holomorphic and antiholomorphic spaces, which is why a function which is holomorphic with respect to I is antiholomorphic with respect to −I. From standard multilinear algebra, the decomposition (2.1) gives rise to a decompo- sition of exterior forms of all powers
k k ∗ M p ∗ k−p ∗ C ⊗R Λ T M = Λ (T1,0M) ⊗ Λ (T0,1M). p=0
Define the bundle p,q p ∗ q ∗ Λ M = Λ T1,0M ⊗ Λ T0,1M. (2.2) With this notation, Equation (2.1) is an example of the more general decomposition into types k ∗ M p,q C ⊗R Λ T M = Λ M. (2.3) p+q=k A smooth section of the bundle Λp,qM is called a differential form of type (p, q) or just a (p, q)-form. We write Ωp,q(M) for the set of (p, q)-forms on M, so M Ωp,q(M) = C∞(M, Λp,qM) and Ωk(M) = Ωp,q(M). p+q=k
Define two first-order differential operators,
∂ :Ωp,q(M) → Ωp+1,q(M) ∂ :Ωp,q(M) → Ωp,q+1(M) and (2.4) ∂ = πp+1,q ◦ d ∂ = πp,q+1 ◦ d, where πp,q denotes the natural projection from C ⊗ ΛkM onto Λp,qM. The operator ∂ is called the Dolbeault operator. These definitions rely only on the fact that I is an almost complex structure. A crucial fact is that if I is integrable, these are the only two components represented in
21 Figure 2.1: The Dolbeault Complex
Ω2,0 ...... etc. ¨¨* HH ∂¨ H ¨¨ HH ¨ ∂ Hj Ω1,0 ¨* H ¨* ∂ ¨ H ∂ ¨ ¨¨ HH ¨¨ ¨¨ ∂ HHj ¨¨ Ω0,0 = C∞(M, C) Ω1,1 H ¨* H H ∂ ¨ H HH ¨¨ HH ∂ HHj ¨¨ ∂ HHj Ω0,1 H ¨* HH ∂¨¨ H ¨ ∂ HHj ¨¨ Ω0,2 ...... etc. the exterior differential d, i.e. d = ∂ + ∂ [WW, Proposition 2.2.2, p.105]. An immediate consequence of this is that on a complex manifold M,
2 ∂2 = ∂∂ + ∂∂ = ∂ = 0. (2.5)
p,q This gives rise to the Dolbeault complex. Writing ∂ for the particular map ∂ : Ωp,q → Ωp,q+1, we define the Dolbeault cohomology groups
p,q p,q Ker(∂ ) H = p,q−1 . ∂ Im(∂ )
A function f ∈ C∞(M, C) is holomorphic if and only if ∂f = 0 and for this reason ∂ is sometimes called the Cauchy-Riemann operator. Similarly, a (p, 0)-form α is said to be holomorphic if and only if ∂α = 0. A useful way to think of the Dolbeault complex is as a decomposition of C ⊗ ΛkT ∗M into types of U(1)-representation. The representations of U(1) on complex vector spaces are particularly easy to understand. Since U(1) is abelian, the irreducible representations all are one-dimensional. They are parametrised by the integers, taking the form
∗ iθ niθ %n : U(1) → GL(1, C) = C %n : e → e for some n ∈ Z. Representations of the Lie algebra u(1) are then of the form d%n : z → nz. The Dolbeault complex begins with the representation of the complex structure ∼ ∗ • ∗ hIi = u(1) on C ⊗ T M. This induces a representation on C ⊗ Λ T M. It is easy to see that if ω ∈ Λp,qM, I(ω) = i(p − q)ω. In other words, Λp,qM is the bundle of U(1)-representations of the type %p−q.
22 2.3 Differential Forms on Quaternionic Manifolds
Any G-structure on a manifold M induces a representation of G on the exterior algebra of M. Fujiki’s account of this [F, §2] explains many quaternionic analogues of complex and K¨ahlergeometry. The decomposition of differential forms on quaternionic K¨ahlermanifolds began by considering the fundamental 4-form
Ω = ωI ∧ ωI + ωJ ∧ ωJ + ωK ∧ ωK , where ωI , ωJ and ωK are the local K¨ahlerforms associated to local almost complex structures I,J and K with IJ = K. The fundamental 4-form is globally defined and invariant under the induced action of Sp(1)Sp(n) on Λ4T ∗M. Kraines [Kr] and Bonan [Bon] used the fundamental 4-form to decompose the space ΛkT ∗M in a similar way to the Lefschetz decomposition of differential forms on a K¨ahler manifold [GH, p. 122]. A differential k-form µ is said to be effective if Ω∧∗µ = 0, where ∗ :ΛkT ∗M → Λ4n−kT ∗M is the Hodge star. This leads to the following theorem:
Theorem 2.3.1 [Kr, Theorem 3.5][Bon, Theorem 2] For k ≤ 2n + 2, every every k-form φ admits a unique decomposition
X j φ = Ω ∧ µk−4j, 0≤j≤k/4
where the µk−4j are effective (k − 4j)-forms.
Bonan further refines this decomposition for quaternion-valued forms, using exterior multiplication by the globally defined quaternionic 2-form Ψ = i1ωI + i2ωJ + i3ωK . Note that Ψ ∧ Ψ = −2Ω. Another way to consider the decomposition of forms on a quaternionic manifold is as representations of the group Sp(1)GL(n, H). We express the Sp(1)GL(n, H)-representation n on H by writing n ∼ H = V1 ⊗ E, (2.6) 2 where V1 is the basic representation of Sp(1) on C and E is the basic representation 2n of GL(n, H) on C . (This uses the standard convention of working with complex representations, which in the presence of suitable structure maps can be thought of as complexified real representations. In this case, the structure map is the tensor product of the quaternionic structures on V1 and E.) This representation also describes the (co)tangent bundle of a quaternionic manifold in the following way. Let P be a principal G-bundle over the differentiable manifold M and let W be a G-module. We define the associated bundle P × W W = P × W = , G G where g ∈ G acts on (p, w) ∈ P × W by (p, w) · g = (f · g, g−1 · w). Then W is a vector bundle over M with fibre W . We will usually just write W for W, relying on context
23 to distinguish between the bundle and the representation. Following Salamon [S3, §1], if M 4n is a quaternionic manifold with Sp(1)GL(n, H)-structure Q, then the cotangent bundle is a vector bundle associated to the principal bundle Q and the representation V1 ⊗ E, so that we write ∗ C ∼ (T M) = V1 ⊗ E (2.7) (though we will usually omit the complexification sign). This induces an Sp(1)GL(n, H)- action on the bundle of exterior k-forms ΛkT ∗M,
[k/2] [k/2] k ∗ ∼ k ∼ M k−2j k ∼ M k Λ T M = Λ (V1 ⊗ E) = S (V1) ⊗ Lj = Vk−2j ⊗ Lj , (2.8) j=0 j=0
k where Lj is an irreducible representation of GL(n, H). This decomposition is given by Salamon [S3, §4], along with more details concerning the nature of the GL(n, H) k k ∗ representations Lj . If M is quaternion K¨ahler, Λ T M can be further decomposed into representations of the compact group Sp(1)Sp(n). This refinement is performed in detail by Swann [Sw], and used to demonstrate significant results. If we symmetrise completely on V1 in Equation (2.8) to obtain Vk, we must antisym- metrise completely on E. Salamon therefore defines the irreducible subspace
k ∼ k A = Vk ⊗ Λ E. (2.9)
The bundle Ak can be described using the decomposition into types for the local almost complex structures on M as follows [S3, Proposition 4.2]: 2
k X k,0 A = ΛI M. (2.10) I∈S2
Letting p denote the natural projection p :ΛkT ∗M → Ak and setting D = p ◦ d, we define a sequence of differential operators
0 −→ C∞(A0) −→D=d C∞(A1 = T ∗M) −→D C∞(A2) −→D ... −→D C∞(A2n) −→ 0. (2.11)
This is accomplished using only the fact that M has an Sp(1)GL(n, H)-structure; such a manifold is called ‘almost quaternionic’. The following theorem of Salamon relates the integrability of such a structure with the sequence of operators in (2.11):
Theorem 2.3.2 [S3, Theorem 4.1] An almost quaternionic manifold is quaternionic if and only if (2.11) is a complex.
This theorem is analogous to the familiar result in complex geometry that an almost 2 complex structure on a manifold is integrable if and only if ∂ = 0.
2 This is because every Sp(1)-representation Vn is generated by its highest weight spaces taken with respect to all the different linear combinations of I, J and K. We will use such descriptions in detail in later chapters, and find that they play a prominent role in quaternionic algebra.
24 Chapter 3
A Double Complex on Quaternionic Manifolds
Until now we have been discussing known material. In this chapter we present a discovery which as far as the author can tell is new — a double complex of exterior forms on quaternionic manifolds. We argue that this is the best quaternionic analogue of the Dolbeault complex. The ‘top row’ of this double complex is exactly the complex (2.11) discovered by Simon Salamon, which plays a similar role to that of the (k, 0)-forms on a complex manifold. The new double complex is obtained by simplifying the Bonan decomposition of Equation (2.8). Instead of using the more complicated structure of ΛkT ∗M as an Sp(1)GL(n, H)-module, we consider only the action of the Sp(1)-factor and decompose ΛkT ∗M into irreducible Sp(1)-representations — a fairly easy process achieved by con- sidering weights. The resulting decomposition gives rise to a double complex through ∼ the Clebsch-Gordon formula, in particular the isomorphism Vr ⊗ V1 = Vr+1 ⊕ Vr−1. This encourages us to define two ‘quaternionic Dolbeault’ operators D and D, and leads to new cohomology groups on quaternionic manifolds. The main geometric difference between this double complex and the Dolbeault com- plex is that whilst the Dolbeault complex is a diamond, our double complex forms an isosceles triangle, as if the diamond is ‘folded in half’. This is more like the decomposition of real-valued forms on complex manifolds. Determining where our double complex is elliptic has been far more difficult than for the de Rham or Dolbeault complexes. The ellipticity properties of our double complex are more similar to those of a real-valued version of the Dolbeault complex. Because of this similarity, we shall begin with a discussion of real-valued forms on complex manifolds.
3.1 Real forms on Complex Manifolds
Let M be a complex manifold and let ω ∈ Λp,q = Λp,qM. Then ω ∈ Λq,p, and so ω + ω p,q q,p is a real-valued exterior form in (Λ ⊕ Λ )R, where the subscript R denotes the fact p,q q,p that we are talking about real forms. The space (Λ ⊕ Λ )R is a real vector bundle associated to the principal GL(n, C)-bundle defined by the complex structure. This gives
25 a decomposition of real-valued exterior forms, 1
M k , k Λk T ∗M = (Λp,q ⊕ Λq,p) ⊕ Λ 2 2 . (3.1) R R R p+q=k p>q
k , k The condition p > q ensures that we have no repetition. The bundle Λ 2 2 only appears R when k is even. It is its own conjugate and so naturally a real vector bundle associated to the trivial representation of U(1). p,q q,p p+1,q q,p+1 Let ω + ω ∈ (Ω ⊕ Ω )R. Then ∂ω + ∂ω ∈ (Ω ⊕ Ω )R. Call this operator ∂ ⊕ ∂. Then d(ω + ω) = (∂ ⊕ ∂)(ω + ω) + (∂ ⊕ ∂)(ω + ω)
p+1,q q,p+1 p,q+1 q+1,p ∈ (Ω ⊕ Ω )R ⊕ (Ω ⊕ Ω )R. When p = q, ω = ω, so ∂ ⊕ ∂ = ∂ ⊕ ∂ = d, and there is only one differential operator acting on Ωp,p. This gives the following double complex (where the real subscripts are omitted for convenience).
Figure 3.1: The Real Dolbeault Complex
Ω3,0 ⊕ Ω0,3 ...... etc. ¨* H ∂ ⊕ ∂ ¨¨ HH ¨ H ¨¨ ∂ ⊕ ∂ HHj Ω2,0 ⊕ Ω0,2 ¨¨* HH ¨¨* ∂ ⊕ ∂ ¨ H ∂ ⊕ ∂ ¨ ¨¨ HH ¨¨ ¨ ∂ ⊕ ∂ Hj ¨ Ω1,0 ⊕ Ω0,1 Ω2,1 ⊕ Ω1,2 ...... etc. ¨¨* HH ¨¨* HH d ¨ H d ¨ H ¨¨ HH ¨¨ HH ¨ ∂ ⊕ ∂ Hj ¨ ∂ ⊕ ∂ Hj Ω0,0 = C∞(M) Ω1,1
Thus there is a double complex of real forms on a complex manifold, obtained by k ∗ decomposing ΛxT M into subrepresentations of the action of u(1) = hIi, induced from ∗ the action on Tx M. This double complex is less well-behaved than its complex-valued counterpart; in particular, it is not elliptic everywhere. We shall now show what this means, and why it is significant.
Ellipticity Whether or not a differential complex on a manifold is ‘elliptic’ is an important ques- tion, with striking topological, algebraic and physical consequences. Examples of elliptic
1 p,q q,p This decomposition is also given by Reyes-Cari´on[R, §3.1], who calls the bundle (Λ ⊕ Λ )R [[Λp,q]].
26 complexes include the de Rham and Dolbeault complexes. A thorough description of elliptic operators and elliptic complexes can be found in [W, Chapter 5]. Let E and F be vector bundles over M, and let Φ : C∞(E) → C∞(F ) be a differential operator. (We will be working with first-order operators, and so will only describe this ∗ case.) At every point x ∈ M and for every nonzero ξ ∈ Tx M, we define a linear map ∞ σΦ(x, ξ): Ex → Fx called the principal symbol of Φ, as follows. Let ∈ C (E) with (x) = e, and let f ∈ C∞(M) with f(x) = 0, df(x) = ξ. Then
σΦ(x, ξ)e = Φ(f)|x.
∂ In coordinates, σ is often found by replacing the operator ∂xj with exterior multiplication j ∂ by a cotangent vector ξ dual to ∂xj . For example, for the exterior differential d : k k+1 Ω (M) → Ω (M) we have σd(x, ξ)ω = ω ∧ ξ. The operator Φ is said to be elliptic at ∗ x ∈ M if the symbol σΦ(x, ξ): Ex → Fx is an isomorphism for all nonzero ξ ∈ Tx M. Φ0 ∞ Φ1 ∞ Φ2 ∞ Φ3 Φn ∞ Φn+1 A complex 0 −→ C (E0) −→ C (E1) −→ C (E2) −→ ... −→ C (En) −→ 0 is σ σΦi Φi+1 said to be elliptic at Ei if the symbol sequence Ei−1 −→ Ei −→ Ei+1 is exact for all ∗ ξ ∈ Tx M and for all x ∈ M. The link between these two forms of ellipticity is as follows. ∗ If we have a metric on each Ei then we can define a formal adjoint Φi : Ei → Ei−1. Linear algebra reveals that the complex is elliptic at Ei if and only if the Laplacian ∗ ∗ Φi Φi + Φi−1Φi−1 is an elliptic operator. One important implication of this is that an elliptic complex on a compact manifold has finite-dimensional cohomology groups [W, Theorem 5.2, p. 147]. Whether a complex yields interesting cohomological information is in this way directly related to whether or not the complex is elliptic. The following Proposition answers this question for the real Dolbeault complex.
Proposition 3.1.1 For p > 0, the upward complex
0 −→ Ωp,p −→ Ωp+1,p ⊕ Ωp,p+1 −→ Ωp+2,p ⊕ Ωp,p+2 −→ ... is elliptic everywhere except at the first two spaces Ωp,p and Ωp+1,p ⊕ Ωp,p+1. For p = 0, the ‘leading edge’ complex
0 −→ Ω0,0 −→ Ω1,0 ⊕ Ω0,1 −→ Ω2,0 ⊕ Ω0,2 −→ ... is elliptic everywhere except at Ω1,0 ⊕ Ω0,1 = Ω1(M).
Proof. When p > q + 1, we have short sequences of the form
Ωp−1,q −→∂ Ωp,q −→∂ Ωp+1,q LLL (3.2) Ωq,p−1 −→∂ Ωq,p −→∂ Ωq,p+1.
Each such sequence is (a real subspace of) the direct sum of two elliptic sequences, and so is elliptic. Thus we have ellipticity at Ωp,q ⊕ Ωq,p whenever p ≥ q + 2.
27 This leaves us to consider the case when p = q, and the sequence
∂ Ωp+1,p −→∂ Ωp+2,2 −→ ... etc. p,p % LL 0 −→ Ω & (3.3) ∂ ∂ Ωp,p+1 −→ Ω2,p+2 −→ ... etc.
This fails to be elliptic. An easy and instructive way to see this is to consider the simplest 2 4-dimensional example M = C . 0 1 0 2 3 2 ∗ 2 ∼ 2 ab... Let e , e = I(e ), e and e = I(e ) form a basis for Tx C = C , and let e denote ea ∧ eb ∧ ... etc. Then I(e01) = e00 − e11 = 0, so e01 ∈ Λ1,1. The map from Λ1,1 2,1 1,2 0 01 01 0 to Λ ⊕ Λ is just the exterior differential d. Since σd(x, e )(e ) = e ∧ e = 0 the 1,1 2,1 1,2 symbol map σd :Λ → Λ ⊕ Λ is not injective, so the symbol sequence is not exact at Λ1,1. 123 2,1 1,2 0 123 Consider also e ∈ Λ ⊕ Λ . Then σ∂⊕∂(x, e )(e ) = 0, since there is no bundle 3,1 1,3 123 0 0 Λ ⊕ Λ . But e has no e -factor, so is not the image under σd(x, e ) of any form α ∈ Λ1,1. Thus the symbol sequence fails to be exact at Λ2,1 ⊕ Λ1,2. It is a simple matter to extend these counterexamples to higher dimensions and higher exterior powers. For k = 0, the situation is different. It is easy to show that the complex
0 −→ C∞(M) −→d Ω1,0 ⊕ Ω0,1 −→∂⊕∂ Ω2,0 ⊕ Ω0,2 −→ ... etc. is elliptic everywhere except at (Ω1,0 ⊕ Ω0,1). This last sequence is given particular attention by Reyes-Cari´on[R, Lemma 2]. He shows that, when M is K¨ahler,ellipticity can be regained by adding the space hωi to the bundle Λ2,0 ⊕ Λ0,2, where ω is the real K¨ahler(1, 1)-form. The Real Dolbeault complex is thus elliptic except at the bottom of the isosceles triangle of spaces. Here the projection from d(Ωp,p) to Ωp+1,p ⊕ Ωp,p+1 is the identity, and arguments based upon non-trivial projection maps no longer apply. We shall see that this situation is closely akin to that of differential forms on quaternionic manifolds, and that techniques motivated by this example yield similar results.
3.2 Construction of the Double Complex
4n ∗ ∼ Let M be a quaternionic manifold. Then Tx M = V1 ⊗ E as an Sp(1)GL(n, H)- representation for all x ∈ M. Suppose we consider just the action of the Sp(1)-factor. 2n ∼ Then the (complexified) cotangent space effectively takes the form V1 ⊗ C = 2nV1. k ∗ k Thus the Sp(1)-action on Λ T M is given by the representation Λ (2nV1). To work out the irreducible decomposition of this representation we compute the k 2 weight space decomposition of Λ (2nV1) from that of 2nV1. With respect to the action of a particular subgroup U(1)q ⊂ Sp(1), the representation 2nV1 has weights k +1 and −1, each occuring with multiplicity 2n. The weights of Λ (2nV1) are the k- k wise distinct sums of these. Each weight r in Λ (2nV1) must therefore be a sum of p occurences of the weight ‘+1’ and p − r occurences of the weight ‘−1’, where 2p − r = k
2This process for calculating the weights of tensor, symmetric and exterior powers is a standard technique in representation theory — see for example [FH, §11.2].
28 and 0 ≤ p ≤ k (from which it follows immediately that −k ≤ r ≤ k and r ≡ k mod 2). 2n The number of ways to choose the p ‘+1’ weights is p , and the number of ways 2n to choose the (p − r)‘−1’ weights is p−r , so the multiplicity of the weight r in the k representation Λ (2nV1) is
2n 2n Mult(r) = k+r k−r . 2 2 For r ≥ 0, consider the difference Mult(r)−Mult(r+2). This is the number of weight spaces of weight r which do not have any corresponding weight space of weight r + 2. Each such weight space must therefore be the highest weight space in an irreducible k ∗ subrepresentation Vr ⊆ Λ T M, from which it follows that the number of irreducibles k Vr in Λ (2nV1) is equal to Mult(r)−Mult(r + 2). This demonstrates the following Proposition:
Proposition 3.2.1 Let M 4n be a hypercomplex manifold. The decomposition into irre- ducibles of the induced representation of Sp(1) on ΛkT ∗M is
k k ∗ ∼ M 2n 2n 2n 2n Λ T M = k+r k−r − k+r+2 k−r−2 Vr, r=0 2 2 2 2 where r ≡ k mod 2.