arxiv:hep-th/ v1 21 Jul 1997

Transcription

1 Seiberg-Witten Equations on R 8 arxiv:hep-th/ v1 21 Jul 1997 Ayşe Hümeyra Bilge Department of Mathematics Institute for Basic Sciences TUBITAK Marmara Research Center Gebze-Kocaeli Turkey E.mail : bilge@mam.gov.tr Tekin Dereli Department of Physics Middle East Technical University Ankara Turkey E.mail : tekin@dereli.physics.metu.edu.tr Şahin Koçak Department of Mathematics Anadolu University Eskişehir Turkey E.mail : skocak@vm.baum.anadolu.edu.tr Abstract We show that there are no nontrivial solutions of the Seiberg- Witten equations on R 8 with constant standard spin c structure. 0

2 1. Introduction The Seiberg-Witten equations are meaningful on any even-dimensional manifold. To state them let us recall the general set-up adopting the terminology of the forthcoming book by D.Salamon ([1]). A spin c -structure on a 2n-dimensional real inner-product space V is a pair (WΓ) where W is a 2 n -dimensional complex Hermitian space and Γ : V End(W) is a linear map satisfying Γ(v) = Γ(v) Γ(v) 2 = v 2 for v V.Globalizing this defines the notion of a spin c -structure Γ : TX End(W)ona2n-dimensional(oriented)manifoldXW beinga2 n -dimensional complex Hermitian vector bundle on X. Such a structure exists iff w 2 (X) has an integral lift. Γ extends to an isomorphism between the complex Clifford algebra bundle C c (TX) and End(W)). There is a natural splitting W = W + W into the ±i n eigenspaces of Γ(e 2n e 2n 1 e 1 ) where e 1 e 2 e 2n is any positively oriented local orthonormal frame of TX. The extension of Γ to C 2 (X) gives via the identification of Λ 2 (T X) with C 2 (X) a map ρ : Λ 2 (T X) End(W) given by ρ( η ij e i e j ) = η ij Γ(e i )Γ(e j ). i<j i<j ThebundlesW ± are invariant underρ(η) for η Λ 2 (T X). Denote ρ ± (η) = ρ(η) W ±. The map ρ (and ρ ± ) extends to ρ : Λ 2 (T X) C End(W). (If η Λ 2 (T X) C is real-valued then ρ(η) is skew-hermitian and if η is imaginary-valued then ρ(η) is Hermitian.) A Hermitian connection onw is called aspin c connection (compatible with the Levi-Civita connection) if v (Γ(w)Φ) = Γ(w) v Φ+Γ( v w)φ where Φ is a spinor (section of W)v and w are vector fields on X and v w is the Levi-Civita connection on X. preserves the subbundles W ±. 1

3 There is a principal Spin c (2n) = {e iθ x θ Rx Spin(2n)} C c (R 2n ) bundle P on X such that W and TX can be recovered as the associated bundles W = P Spin c (2n) C 2n TX = P Ad R 2n Ad being the adjoint action of Spin c (2n) on R 2n.We get then a complex line bundle L Γ = P δ C using the map δ : Spin c (2n) S 1 given by δ(e iθ x) = e 2iθ. There is a one-to-one correspondence between spin c connections on W and spin c (2n) = Lie(Spin c (2n) = spin(2n) ir -valued connection-1-forms  A(P) Ω 1 (Pspin c (2n)) on P. Now consider the trace-part A of Â: A = 1 2ntrace(Â). This is an imaginary valued 1-form A Ω 1 (PiR) which is equivariant and satisfies A p (p ξ) = 1 2 ntrace(ξ) for v T p Pg Spin c (2n)ξ spin c (2n)(where p ξ is the infinitesimal action). Denote the set of imaginary valued 1-forms on P satisfying these two properties by A(Γ). There is a one-to-one correspondence between these 1-forms and spin c connections on W. Denote the connection corresponding to A by A. A(Γ) is an affine space with parallel vector space Ω 1 (XiR). For A A(Γ) the 1-form 2A Ω 1 (PiR) represents a connection on the line bundle L Γ. Because of this reason A is called a virtual connection on the virtual line bundle L 1/2 Γ. Let F A Ω 2 (XiR) denote the curvature of the 1-form A. Finally let D A denote the Dirac operator corresponding to A A(Γ) C (XW + ) C (XW ) defined by D A (Φ) = 2n i=1 Γ(e i ) Aei (Φ) where Φ C (XW + ) and e 1 e 2 e 2n is any local orthonormal frame. The Seiberg-Witten equations can now be expressed as follows. Fix a spin c structure Γ : TX End(W) on X and consider the pairs (AΦ) A(Γ) C (XW + ). The SW-equations read D A (Φ) = 0 ρ + (F A ) = (ΦΦ ) 0 where (ΦΦ ) 0 C (XEnd(W + )) is defined by (ΦΦ )(τ) =< Φτ > Φ for τ C (XW + ) and (ΦΦ ) 0 is the traceless part of (ΦΦ ). 2

4 In dimension 2n = 4 ρ + (F A ) = ρ + (F + A ) = ρ(f+ A ) (where F+ is the selfdual part of F and the second equality understood in the obvious sense) and therefore self-duality comes intimately into play. The first problem in dimensions 2n > 4 is that there is not a generally accepted notion of selfduality. Although there are some meaningful definitions ([2][3][4][5][6]) (Equivalence of self-duality notions in [2][3][5][6] has been shown in [7] making them more relevant as they separately are) they do not assign a well-defined self-dual part to a given 2-form. Even though ρ + (F A ) is still meaningful it is apparently less important due to the lack of an intrinsic self-duality of 2-forms in higher dimensions. Theotherseriousproblemindimensions2n > 4isthattheSW-equations as they are given above are overdetermined. So it is improbable from the outset to hope for any solutions. We verify below for 2n = 8 that there aren t indeed any solutions. In dimension 2n = 4 it is well-known that there are no finite-energy solutions ([1]) but otherwise whole classes of solutions are found which are related to vortex equations ([8]). In the physically interesting case 2n = 8 we will suggest a modified set of equations which is related to generalized self-duality referred to above. These equations include the 4-dimensional Seiberg-Witten solutions as special cases. 2. Seiberg-Witten Equations on R 8 We fix the constant spin c structure Γ : R 8 C given by ( ) 0 γ(e Γ(e i ) = i ) γ(e i ) 0 (e i i = being the standard basis for R 8 )where i i i i γ(e 1 ) = γ(e ) = i i i i 3

5 γ(e 3 ) = i i i i 0 0 γ(e 4 ) = 0 0 i i i i 0 γ(e 5 ) = i i i i 0 γ(e 6 ) = 0 i i i i 0 0 4

6 γ(e 7 ) = i i i 0 i γ(e 8 ) = i 0 i i i (We obtain this spin c structure from the well-known isomorphism of the complex Clifford algebra C c (R 2n ) with End(Λ C n ).) In our case X = R 8 W = R 8 C 16 W ± = R 8 C 8 and L Γ = L Γ 1/2 = R 8 C. Consider the connection 1-form 8 A = A i dx i Ω 1 (R 8 ir) i=1 on the line bundle R 8 C. Its curvature is given by F A = i<j F ij dx i dx j Ω 2 (R 8 ir) where F ij = A j x i A i x j. The spin c connection = A on W + is given by (i = 1...8) where Φ : R 8 C 8. i Φ = Φ x i +A i Φ is given by ρ + : Λ 2 (T X) C End(W + ) 5

7 G 11 G 12 G 13 G 14 G 15 G 16 G 17 0 Ḡ 12 G 22 G 23 G 24 G 25 G 26 0 G 17 Ḡ 13 Ḡ 23 G 33 G 34 G 35 0 G 26 G 16 ρ + Ḡ (F A ) = 14 Ḡ 24 Ḡ 34 G 44 0 G 35 G 25 G 15 Ḡ 15 Ḡ 25 Ḡ 35 0 G 44 G 34 G 24 G 14 Ḡ 16 Ḡ 26 0 Ḡ 35 Ḡ 34 G 33 G 23 G 13 Ḡ 17 0 Ḡ 26 Ḡ25 Ḡ24 Ḡ 23 G 22 G 12 0 Ḡ 17 Ḡ16 Ḡ 15 Ḡ 14 Ḡ13 Ḡ 12 G 11 where G 11 = if 12 +if 34 +if 56 +if 78 G 12 = F 13 +if 14 +if 23 F 24 G 13 = F 15 +if 16 +if 25 F 26 G 14 = F 17 +if 18 +if 27 F 28 G 15 = F 35 +if 36 +if 45 F 46 G 16 = F 37 +if 38 +if 47 F 48 G 17 = F 57 +if 58 +if 67 F 68 G 22 = if 12 if 34 +if 56 +if 78 G 23 = F 35 if 36 +if 45 F 46 G 24 = F 37 if 38 +if 47 F 48 G 25 = F 15 +if 16 if 25 +F 26 G 26 = F 17 +if 18 if 27 +F 28 G 33 = if 12 +if 34 if 56 +if 78 G 34 = F 57 if 58 +if 67 F 68 G 35 = F 13 if 14 +if 23 F 24 G 44 = if 12 +if 34 +if 56 if 78. For Φ = (φ 1 φ 2...φ 8 ) C (XW + ) = C (R 8 R 8 C 8 ) φ 1 φ1 1/8 φ i φi φ 1 φ2... φ 1 φ8 φ 2 φ1 φ 2 φ2 1/8 φ i φi... φ 2 φ8 (ΦΦ ) 0 = φ 8 φ1 φ 8 φ2... φ 8 φ8 1/8 φ i φi It was remarked by Salamon([1]p.187) that ρ + (F A ) = 0 implies F A = 0. (i.e.reducible solutions of 8-dim. SW-equations are flat.) It can be explicitly verified that all solutions are reducible and flat: Proposition: There are no nontrivial solutions of the Seiberg-Witten equations on R 8 with constant standard spin c structurei.e. ρ + (F A ) = (ΦΦ ) 0 (alone) implies F A = 0 and Φ = 0. Proof: Trivial but tedious manipulation with the linear system. Acknowledgement Theabovework is basedonatalk given at the5th Gökova Geometry- Topology Conference held at Akyaka-Muğla Turkey during May

8 References [1] D.Salamon Spin Geometry and Seiberg-Witten Invariants(April 1996 version)(to appear). [2] A.Trautman Int.J.Theo.Phys.16(1977)561. [3] D.H.Tchrakian J.Math.Phys.21(1980)166. [4] E.Corrigan C.Devchand D.B.Fairlie J.Nuyts Nucl.Phys.B 214(1983) 452. [5] B.Grossman T.W.Kephart J.D.Stasheff Commun.Math.Phys.96(1984)431 Erratum:ibid100(1985)311. [6] A.H.Bilge T.Dereli Ş.Koçak Lett.Math.Phys.36(1996)301. [7] A.H.Bilge Self-duality in dimensions 2n > 4 dg-ga/ [8] C.Taubes SW Gr J. of the A.M.S.93(1996). 7