arxiv:math-ph/ v1 10 Oct 2005

Transcription

1 DISCRETE MODELS O THE SEL-DUAL AND ANTI-SEL-DUAL EQUATIONS arxiv:math-ph/ v1 10 Oct 2005 Volodymyr Sushch Lviv, Uraine; Koszalin, Poland Abstract. In the case of a gauge-invariant discrete model of Yang-Mills theory difference self-dual and anti-self-dual equations are constructed. 1. Introduction In 4-dimensional non-abelian gauge theory the self-dual and anti-self-dual connections are the most important extrema of the Yang-Mills action. Consider a trivial bundle P = R 4 G, where G is some Lie group. We define a connection as some g-valued 1-form A, where g is the Lie algebra of the group G [5]. Then the connection 1-form A can be written as follows A = a,µ A a µx)λ a dx µ, 1) where λ a is the basis of the Lie algebra g. The curvature 2-form of the connection A is given by = da+a A. 2) We specialize straightaway to the choice G = SU2), then g = su2). We define the covariant exterior differentiation operator d A by d A Ω = dω+a Ω+ 1) r+1 Ω A, 3) where Ω is an arbitrary su2)-valued r-form. Compare2) and 3) we obtain the Bianchi identity d A = 0. 4) The Yang-Mills action S can be conveniently expressed see [5, p. 256]) in terms of the 2-forms and as S = tr ), R 4 Key words and phrases. Yang-Mills equations, discrete models, difference self-dual and anti-self-dual equations. 1 Typeset by AMS-TEX

2 where is the adjoint operator Hodge star operator). The Euler-Lagrange equations for the extrema of S are d A = 0. 5) Equations 4), 5) are called the Yang-Mills equations [4]. These equations are nonlinear coupled partial differential equations containing quadratic and cubic terms in A. In more traditional form the Yang-Mills equations are expressed in terms of components of the connection A and the curvature see [2,3]). Let A µ = α A α µx)λ α be the component of the connection 1-form 1). Then the components of the curvature form are given by µν = A ν x µ + A µ x ν +[A µ,a ν ], where [, ] be the commutator of the algebra Lie su2). In local coordinates the covariant derivative j can be written Then we can write Equations 4), 5) as j µν = µν x j +[A j, µν ]. j µν + µ νj + ν jµ = 0, 6) µ=1 µν x µ +[A µ, µν ] = 0. 7) Note that Equations 7 are obtained in the case of Euclidean space R 4. The self-dual and anti-self-dual connections are solutions of the following nonlinear first order differential equations =, =. 8) Equations 8) are called self-dual and anti-self-dual respectively. It is obviously that if one can find A such that = ±, then the Yang-Millsequations 5) are automatically satisfied. 2. The discrete model in R 4 In [6] the gauge invariant discrete model of the Yang-Mills equations is constructed in the case of the n-dimensional Euclidean space R n. ollowing [6], we consider a combinatorial model of R 4 as a certain 4-dimensional complex C4). Let K4) be a dual complex of C4). The complex K4) is a 4-dimensional complex of cochains with 2

3 su2)-valued coefficients. We define the discrete analogs of the connection 1-form A and the curvature 2-form as follows cochains A = 4 i=1a i e i, = 4 i<j j=2 ε ij, 9) where A i, ij su2), e i, ε ij are 1-, 2-dimensional basis elements of K4) and = 1, 2, 3, 4 ), i Z. WeusethegeometricalconstructionproposedbyA.A.Dezin in [1] to define discrete analogs of the differential, the exterior multiplication and the Hodge star operator. Let us introduce for convenient the shifts operator τ i and σ i as τ i = 1,...τ i,... 4 ), σ i = 1,...σ i,... 4 ), where τ i = i + 1 and σ i = i 1, i Z. Similarly, we denote by τ ij σ ij ) the operator shifting to the right to the left) two differ components of = 1, 2, 3, 4 ). or example, τ 12 = τ 1,τ 2, 3, 4 ), σ 14 = σ 1, 2, 3,σ 4 ). If we use 2) and tae the definitions of d and in discrete case [1,6], then we obtain = i A j j A i +A i A j τ i Aj Ai τ j, 10) where i A j = Aj τ i Aj, i,j = 1,2,3,4. The metric adjoint operation acts on the 2-dimensional basis elements of K4) as follows ε 12 = ετ 12, ε 13 = ετ 13 24, ε 14 = ετ 14 23, ε 23 = ετ 23 14, ε 24 = ετ 24 13, ε = ετ 12. Then we obtain = σ ε σ 24 ε σ 23 ε σ 14 ε σ 13 ε σ 12 ε ). 11) Comparing the latter and 9) the discrete analog of the self-dual equation the first equation of 8)) we can written as follows 12 = σ, 13 = 24 σ 24, 14 = 23 σ 23, 23 = 14 σ 14, 24 = 13 σ 13, = 12 σ 12 12) for all = 1, 2, 3, 4 ), i Z. Using 10) Equations 12) can be rewritten in the following difference form: 1 A 2 2 A 1 +A1 A2 τ 1 A2 A1 τ 2 = = 3 A 4 σ 4 A 3 σ +A3 σ A4 σ 4 A4 σ A3 σ 3, 3

4 1 A 3 3 A 1 +A1 A3 τ 1 A3 A1 τ 3 = = 2 A 4 σ A 2 σ 24 A 2 σ 24 A 4 σ 4 +A 4 σ 24 A 2 σ 2, 1 A 4 4 A 1 +A 1 A 4 τ 1 A 4 A 1 τ 4 = = 2 A 3 σ 23 3 A 2 σ 23 +A 2 σ 23 A 3 σ 3 A 3 σ 23 A 2 σ 2, 2 A 3 3 A 2 +A 2 A 3 τ 2 A 3 A 2 τ 3 = = 1 A 4 σ 14 4 A 1 σ 14 +A 1 σ 14 A 4 σ 4 A 4 σ 14 A 1 σ 1, 2 A 4 4 A 2 +A 2 A 4 τ 2 A 4 A 2 τ 4 = = 1 A 3 σ A 1 σ 13 A1 σ 13 A3 σ 3 +A3 σ 13 A1 σ 1, 3 A 4 4 A 3 +A 3 A 4 τ 3 A 4 A 3 τ 4 = = 1 A 2 σ 12 2 A 1 σ 12 +A1 σ 12 A2 σ 2 A2 σ 12 A1 σ 1. In the same way we obtain the difference anti-self-dual equation. rom Equations 12) we obtain at once jr = jr σ 13) for all j < r, r = 2,3,4, where σ = σ 1,σ 2,σ 3,σ 4 ). Note that Equations 13) also are satisfied in the case of the difference anti-self-dual equations. Proposition 1. Let be a solution of the discrete self-dual or anti-self dual equations. Then we have =. 14) Proof. rom 11) we have = σ ε σ 24 ε σ 23 ε σ 14 ε σ 13 ε σ 12 ε ) = = σ ετ σ 24 ετ σ 23 ετ σ ε τ σ ε τ σ ε τ ) 12 = = 4 σ ε ij. i<j j=2 Comparing the latter and 13) we obtain 14). 4

5 It should be noted that in the case of continual Yang-Mills theory for R 4 with the usual Euclidean metric Equation 14) is satisfied automatically for an arbitrary 2-form. But in the formalism we use the operation ) 2 is equivalent to a shift. The difference analog of Equations 13) is given by where στ j = σ 1... j...σ 4 ). j A r r A j +Aj Ar τ j Ar Aj τ r = = j A r σ r A j σ +Aj σ Ar στ j A r σ A j στ r, 3. The discrete model in Minowsi space Let a base space of the bundle P be Minowsi space, i. e. R 4 with the metric g µν = diag +++). In Minowsi space we write Equations 8) as = i, 15) where i 2 = 1. Recall that is g-valued, so therefore is. Then we must have ig = g in obvious notation. However, this latter condition is not satisfied for the Lie algebras of any compact Lie groups G. To study Equations 15) we must choose non-compact G such as SLn,C) or GLn,C) say. This is a serious restriction since in physics the gauge groups chosen are usually compact [5]. Let the gauge group be G = SL2,C). We suppose that a combinatorial model of Minowsi space has the same structure as C4). A gauge-invariant discrete model of the Yang-Mills equations in Minowsi space is given in [7]. Now the dual complex K4) is a complex of sl2,c)-valued cochains forms). Because discrete analogs of the differential and the exterior multiplication are not depended on a metric then they have the same form as in the case of Euclidean space. or more details on this point see [7]. However, to define a discrete analog of the operation we must tae into accounts the Lorentz metric structure on K4). We denote by x κ, ē κ, κ Z the basis elements of the 1-dimensional complex K which are corresponded to the time coordinate of Minowsi space. It is convenient to write the basis elements of K4) = K K K K in the form µ κ s, where µ κ is either x κ or ē κ and s is a basis element of K3) = K K K, = 1, 2, 3 ), κ, j Z. Then we define the operation on K4) as follows µ κ s µ κ s ) = Qµ)ē κ e 1 e 2 e 3, 16) where Qµ) is equal to +1 if µ κ = x κ and to 1 if µ κ = ē κ. To arbitrary forms the operation is extended linearly. Using 16) we obtain = σ ε σ 24 ε σ 23 ε σ 14 ε σ 13 ε σ 12 ε ), 17) where sl2,c). Combining 17) with 9) the discrete self-dual equation = i can be written as follows σ = i12, 14 σ 14 = i23, 24 σ 24 = i13, 13 σ 13 = i24, 5 23 σ 23 = i14, 12 σ 12 = i 18)

6 for all = 1, 2, 3, 4 ), r Z, r = 1,2,3,4. rom the latter we obtain σ = i12 σ 12 = i2 =, 24 σ = i13 σ 13 = i2 24 = 24 and similarly for any other components jr, j < r. So we have Relations 13). Thus a solution of the discrete self-dual equations 18) satisfies Equations 13) as in the Euclidean case. We can also rewrite 18) in the difference form 3 A 4 σ 4 A 3 σ +A3 σ A4 σ 4 A4 σ A3 σ 3 = = i 1 A 2 2 A 1 +A1 A2 τ 1 A2 A1 τ 2 ), 2 A 4 σ A 2 σ 24 A2 σ 24 A4 σ 4 +A4 σ 24 A2 σ 2 = = i 1 A 3 3 A 1 +A 1 A 3 τ 1 A 3 A 1 τ 3 ), 2 A 3 σ 23 3 A 2 σ 23 +A 2 σ 23 A 3 σ 3 A 3 σ 23 A 2 σ 2 = = i 1 A 4 4 A 1 +A 1 A 4 τ 1 A 4 A 1 τ 4 ), 1 A 4 σ A 1 σ 14 A 1 σ 14 A 4 σ 4 +A 4 σ 14 A 1 σ 1 = = i 2 A 3 3 A 2 +A2 A3 τ 2 A3 A2 τ 3 ), 1 A 3 σ 13 3 A 1 σ 13 +A1 σ 13 A3 σ 3 A3 σ 13 A1 σ 1 = = i 2 A 4 4 A 2 +A2 A4 τ 2 A4 A2 τ 4 ), 1 A 2 σ A 1 σ 12 A1 σ 12 A2 σ 2 +A2 σ 12 A1 σ 1 = = i 3 A 4 4 A 3 +A3 A4 τ 3 A4 A3 τ 4 ). In similar manner we obtain the difference anti-self-dual equations. Obviously an anti-self-dual solution satisfies Equations 13). Proposition 2. Let for any sl2, C)-valued 2-form Conditions 13) are satisfied. Then we have =. Proof. If components of any discrete 2-form satisfy 13), then is a solution of the discrete self-dual or anti-self-dual equations. Hence = i) = i = i) 2 =. Remar. In the continual case the self-dual and anti-self-dual equations are written in the form 15) because we have = for an arbitrary 2-form in Minowsi space. In the discrete model case it is easy to chec that in K4) we have = 4 i<j j=2 6 σ ε ij.

7 Thus Equations 15) are satisfied only under Conditions 13). Theorem. If exist some N = N 1,N 2,N 3,N 4 ), N r Z such that = 0 for any N, 19) then Equations 15) or 8)) have only the trivial solution = 0. Proof. Since for any solution of Equations 15) or 8)) we have Relations 13) then the assertion is obvious. Let g be a discrete 0-form g = g x, where x is the 0-dimensional basis element of K4) and g SU2) or g Sl2,C)). The boundary condition 19) in terms of the connection components can be represented as: there is some discrete 0-form g such that A j = j g )g 1 for any N. It follows from Theorem 3 [6]. References 1. A. A. Dezin, Multidimensional analysis and discrete models, Naua, Moscow, A. A. Dezin, Models connected with Yang-Mills equations, Differentsial nye Uravneniya ), no. 5, ; English transl. in Differential Equations ). 3. B. A. Dubrovin, S. P. Noviov, A. T. omeno, Modern geometry, Naua, Moscow, D. S. reed, K. K. Uhlenbec, Instantons and four-manifolds, Springer-Verlag New Yor Ins., C. Nash, S. Sen, Topology and geometry for physicists, Academic press London, V. N. Sushch, Gauge-invariant discrete models of Yang-Mills equations, Mat. Zameti ), no. 5, ; English transl. in Mathematical Notes ), V. N. Sushch, On some discretization of Yang-Mills equations in Minowsi space, Nonlinear boundary value problems 2003), no. 13, Technical University of Koszalin, Raclawica Str., 15-17, Koszalin, Poland address: sushch@lew.tu.oszalin.pl 7