DISCRETE MODELS O THE SEL-DUAL AND ANTI-SEL-DUAL EQUATIONS arxiv:math-ph/0510041v1 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
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
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 = σ ε 12 24 σ 24 ε 13 +23 σ 23 ε 14 + + 14 σ 14 ε 23 13 σ 13 ε 24 +12 σ 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
1 A 3 3 A 1 +A1 A3 τ 1 A3 A1 τ 3 = = 2 A 4 σ 24 + 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 σ 13 + 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 = σ ε 12 24 σ 24 ε 13 + 23 σ 23 ε 14+ + 14 σ 14 ε 23 13 σ 13 ε 24 +12 σ 12 ε ) = = σ ετ 12 + 24 σ 24 ετ 13 24 + 23 σ 23 ετ 14 23 + +σ 14 14 ε τ 23 14 +σ 13 13 ε τ 24 13 +σ 12 12 ε τ ) 12 = = 4 σ ε ij. i<j j=2 Comparing the latter and 13) we obtain 14). 4
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 = σ ε 12 24 σ 24 ε 13 + 23 σ 23 ε 14 14 σ 14 ε 23 +13 σ 13 ε 24 12 σ 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)
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 σ 24 + 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 σ 14 + 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 σ 12 + 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.
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, 1990. 2. A. A. Dezin, Models connected with Yang-Mills equations, Differentsial nye Uravneniya 29 1993), no. 5, 846 851; English transl. in Differential Equations 29 1993). 3. B. A. Dubrovin, S. P. Noviov, A. T. omeno, Modern geometry, Naua, Moscow, 1979. 4. D. S. reed, K. K. Uhlenbec, Instantons and four-manifolds, Springer-Verlag New Yor Ins., 1984. 5. C. Nash, S. Sen, Topology and geometry for physicists, Academic press London, 1989. 6. V. N. Sushch, Gauge-invariant discrete models of Yang-Mills equations, Mat. Zameti 61 1997), no. 5, 742 754; English transl. in Mathematical Notes 29 1997), 621 631. 7. V. N. Sushch, On some discretization of Yang-Mills equations in Minowsi space, Nonlinear boundary value problems 2003), no. 13, 197 208. Technical University of Koszalin, Raclawica Str., 15-17, 75-620 Koszalin, Poland E-mail address: sushch@lew.tu.oszalin.pl 7