Integrability and Diffeomorphisms on Target Space

We briefly review the concepts of generalized zero curvature conditions and integrability in higher dimensions, where integrability in this context is related to the existence of infinitely many conservation laws. Under certain assumptions, it turns out that these conservation laws are, in fact, gen...

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2007
Автори:	Adam, C., Sanchez-Guillen, J., Wereszczynski, A.
Формат:	Стаття
Мова:	English
Опубліковано:	Інститут математики НАН України 2007
Назва видання:	Symmetry, Integrability and Geometry: Methods and Applications
Онлайн доступ:	http://dspace.nbuv.gov.ua/handle/123456789/147213
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Integrability and Diffeomorphisms on Target Space / C. Adam, J. Sanchez-Guillen, A. Wereszczynski // Symmetry, Integrability and Geometry: Methods and Applications. — 2007. — Т. 3. — Бібліогр.: 22 назв. — англ.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

id	irk-123456789-147213
record_format	dspace
spelling	irk-123456789-1472132019-02-14T01:25:33Z Integrability and Diffeomorphisms on Target Space Adam, C. Sanchez-Guillen, J. Wereszczynski, A. We briefly review the concepts of generalized zero curvature conditions and integrability in higher dimensions, where integrability in this context is related to the existence of infinitely many conservation laws. Under certain assumptions, it turns out that these conservation laws are, in fact, generated by a class of geometric target space transformations, namely the volume-preserving diffeomorphisms. We classify the possible conservation laws of field theories for the case of a three-dimensional target space. Further, we discuss some explicit examples. 2007 Article Integrability and Diffeomorphisms on Target Space / C. Adam, J. Sanchez-Guillen, A. Wereszczynski // Symmetry, Integrability and Geometry: Methods and Applications. — 2007. — Т. 3. — Бібліогр.: 22 назв. — англ. 1815-0659 2000 Mathematics Subject Classification: 37K05; 37K30; 37K40; 58E50; 81R12; 81T10 http://dspace.nbuv.gov.ua/handle/123456789/147213 en Symmetry, Integrability and Geometry: Methods and Applications Інститут математики НАН України
institution	Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection	DSpace DC
language	English
description	We briefly review the concepts of generalized zero curvature conditions and integrability in higher dimensions, where integrability in this context is related to the existence of infinitely many conservation laws. Under certain assumptions, it turns out that these conservation laws are, in fact, generated by a class of geometric target space transformations, namely the volume-preserving diffeomorphisms. We classify the possible conservation laws of field theories for the case of a three-dimensional target space. Further, we discuss some explicit examples.
format	Article
author	Adam, C. Sanchez-Guillen, J. Wereszczynski, A.
spellingShingle	Adam, C. Sanchez-Guillen, J. Wereszczynski, A. Integrability and Diffeomorphisms on Target Space Symmetry, Integrability and Geometry: Methods and Applications
author_facet	Adam, C. Sanchez-Guillen, J. Wereszczynski, A.
author_sort	Adam, C.
title	Integrability and Diffeomorphisms on Target Space
title_short	Integrability and Diffeomorphisms on Target Space
title_full	Integrability and Diffeomorphisms on Target Space
title_fullStr	Integrability and Diffeomorphisms on Target Space
title_full_unstemmed	Integrability and Diffeomorphisms on Target Space
title_sort	integrability and diffeomorphisms on target space
publisher	Інститут математики НАН України
publishDate	2007
url	http://dspace.nbuv.gov.ua/handle/123456789/147213
citation_txt	Integrability and Diffeomorphisms on Target Space / C. Adam, J. Sanchez-Guillen, A. Wereszczynski // Symmetry, Integrability and Geometry: Methods and Applications. — 2007. — Т. 3. — Бібліогр.: 22 назв. — англ.
series	Symmetry, Integrability and Geometry: Methods and Applications
work_keys_str_mv	AT adamc integrabilityanddiffeomorphismsontargetspace AT sanchezguillenj integrabilityanddiffeomorphismsontargetspace AT wereszczynskia integrabilityanddiffeomorphismsontargetspace
first_indexed	2025-07-11T01:38:02Z
last_indexed	2025-07-11T01:38:02Z
_version_	1837312665644433408
fulltext	Symmetry, Integrability and Geometry: Methods and Applications SIGMA 3 (2007), 123, 11 pages Integrability and Diffeomorphisms on Target Space? Christoph ADAM †, Joaquin SANCHEZ-GUILLEN † and Andrzej WERESZCZYNSKI ‡ † Department of Particle Physics, University of Santiago de Compostela, Spain E-mail: adam@fpaxp1.usc.es, jsanchezguillen@gmail.com ‡ Institute of Physics, Jagellonian University, Reymonta 4, 30-059 Krakow, Poland E-mail: wereszczynski@th.if.uj.edu.pl Received October 18, 2007, in final form December 10, 2007; Published online December 20, 2007 Original article is available at http://www.emis.de/journals/SIGMA/2007/123/ Abstract. We briefly review the concepts of generalized zero curvature conditions and inte- grability in higher dimensions, where integrability in this context is related to the existence of infinitely many conservation laws. Under certain assumptions, it turns out that these conservation laws are, in fact, generated by a class of geometric target space transforma- tions, namely the volume-preserving diffeomorphisms. We classify the possible conservation laws of field theories for the case of a three-dimensional target space. Further, we discuss some explicit examples. Key words: integrability; zero curvature; conservation laws; nonlinear field theories 2000 Mathematics Subject Classification: 37K05; 37K30; 37K40; 58E50; 81R12; 81T10 1 Introduction Integrability, that is the existence of infinitely many conservation laws, has been an invaluable concept for the analysis of nonlinear field theories in 1+1 dimensions. In higher dimensions, on the other hand, much less is known about nonlinear field theories. A general concept of integrability has not yet been developed there. One proposal for integrability in higher dimensions was provided in [1], where the zero curva- ture representation of Shabat and Zakharov has been generalized to higher dimensions. Further, it was demonstrated in that paper that this proposal leads to nonlinear field theories which have either infinitely many conservation laws in the full theory, or which contain integrable subsectors, defined by some additional constraint equations on the fields, such that the solutions belonging to these subsectors have infinitely many conservation laws. This zero curvature representation, therefore, realizes the concept of integrability in higher-dimensional non-linear field theories in a specific and well-defined manner. These methods have later been applied to specific models and to the analytic construction of both static and time-dependent solutions. For models with infinitely many conservation laws (the so-called AFZ model and related models), static and time-dependent solutions have been constructed, e.g., in [2, 3, 4, 5], and in [6, 7], respectively. Solutions in integrable subsectors of models which are, themselves, not integrable, have been constructed, e.g., in [8, 9, 10, 11] (the Nicole model and versions thereof) and in [12, 13] (diverse models on base space S3). All these models share the property that their target space has dimension two. A well-known nonlinear field theory with three-dimensional target space is the Skyrme mo- del [14, 15] with target space SU(2) (or equivalently the three-sphere S3). Further, this model ?This paper is a contribution to the Proceedings of the Seventh International Conference “Symmetry in Nonlinear Mathematical Physics” (June 24–30, 2007, Kyiv, Ukraine). The full collection is available at http://www.emis.de/journals/SIGMA/symmetry2007.html mailto:adam@fpaxp1.usc.es mailto:jsanchezguillen@gmail.com mailto:wereszczynski@th.if.uj.edu.pl http://www.emis.de/journals/SIGMA/2007/123/ http://www.emis.de/journals/SIGMA/symmetry2007.html 2 C. Adam, J. Sanchez-Guillen and A. Wereszczynski contains an integrable subsector, and the simplest Skyrmion (i.e., the simplest soliton of the Skyrme model with baryon number equal to one) belongs to this integrable subsector, see [16]. In many cases, it turns out that most of the new conserved currents in models and their sub- sectors are Noether currents and generalizations thereof, i.e., they are related to transformations of the target space variables (see [17]). So a direct, geometric approach has been successfully undertaken to find those currents, first for models with two-dimensional target spaces [18, 19], and later also for three-dimensional target spaces [20]. It is the purpose of this review to give a short overview of some of these recent results on higher-dimensional integrability mentioned above, and to present some applications. Concretely, in Section 2 we briefly review the generalized curvature condition which was proposed in [1] as a possible way to generalize integrability to higher dimensions. In Section 3 we introduce volume- preserving diffeomorphisms on target space. For the case of three-dimensional target space we then classify for a wide class of Lagrangians all possible conservation laws, where the conserved currents in all cases are Noether currents of the volume-preserving target space diffeomorphisms. This section closely follows [20], but provides a slightly more refined classification, which turns out to be useful for applications. In Section 4 we study as an explicit example the Abelian projection of Yang–Mills dilaton theory, which turns out to be integrable, and where an infinite number of analytic static solutions exist. Here we closely follow the results of [21]. Section 5 con- tains a brief discussion. In the appendix we provide the calculational details of the classification of Section 3. 2 Generalized zero curvature condition Here we briefly review the proposal for generalized integrability of [1], to which we refer for the details. The structure needed consists of a reducible Lie algebra G̃ which is a direct sum of another Lie algebra G and an Abelian ideal H, G̃ = G ⊕ H together with a flat connection Aµ ∈ G, ∂µAν − ∂νAµ + [Aµ, Aν ] = 0, (1) and a covariantly constant vector field Bµ ∈ H, ∂µBµ + [Aµ, Bµ] = 0 (2) with Aµ = Aa µT a, Bµ = Bα µPα, [Pα, P β] = 0, where T a and Pα form a basis in G and H, respectively. Further, µ = 1, . . . , d are base space indices. To gain some intuition, let us first remark that equation (1) is just a generalization to higher dimensions of the zero curvature condition of Zakharov and Shabat in 1+1 dimensions. Further, equation (2) in some sense just generalizes the Lax pair L̇ = [L,M ] to higher dimensions. Another important point is that equations (1), (2) are not chosen arbitrarily but may, in fact be derived from a generalized curvature condition as follows. Firstly, the zero curvature condition equation (1) of Zakharov and Shabat may be derived as a consequence of the path independence of the Wilson line (or parallel transport) operator W = P exp (∫ σ 0 dσ′Aµ dxµ dσ′ ) , Integrability and Target Space Diffeomorphisms 3 where P indicates the path ordering. In an analogous way, equations (1), (2) may be derived from the hypersurface independence of the following hypersurface ordered operator V in d dimensions, V = P̃ exp (∫ Σd−1 dσ1 · · · dσd−1W−1B̃µ1...µd−1 W dxµ1 dσ1 · · · dxµd−1 dσd−1 ) . Here the d− 1 form B̃ is the Hodge dual of the vector (one-form) of equation (2) (in fact, B̃ is the more natural object from the point of view of generalized integrability). Further, Σd−1 is a based, ordered, closed hypersurface with base point x0 ≡ x (σj = 0). P̃ is the hypersurface ordering, which we shall explain a bit more in a moment. So far this is a generalization of the non-Abelian Stokes calculus formulated in three dimensions by Schlesinger in 1927 [22]. The hypersurface independence of V , in turn, may be derived from the zero curvature con- dition for a connection A in higher loop space Ωn(M,x0) where Ωn(M,x0) = {γ : Sn → M,γ(0, . . . , 0) = x0} Explicitly, the connection A reads A = ∫ Σd−1 dσ1 · · · dσd−2W−1B̃µ1...µd−1 W dxµ1 dσ1 · · · dxµd−2 dσd−2 δxµd−1 , (3) where δxµd−1 is the differential on higher loop space which provides an arbitrary infinitesimal variation of the higher loop. A closed ordered based hypersurface Σd−1 may be interpreted as a closed loop in loop space Ωd−2, and this observation allows to understand the hypersurface ordering. It is just ordinary path ordering of the corresponding ordinary loop in higher loop space Ωd−2. We want to emphasize that the conditions equations (1), (2) are sufficient, local conditions for the zero curvature condition on the connection A of equation (3), but certainly they are not the most general ones. After this brief review of the generalized zero curvature condition, we assume that equa- tions (1), (2) hold and make the following additional simplifying assumptions that • G is a semisimple Lie algebra (e.g. su(2)) with [T a, T b] = fab c T c (4) and structure constants fab c . • H is a (in general, reducible) representation space of G: [T a, Pα] = Rαβ(T a)P β . (5) • Aµ is explicitly flat: Aµ = g−1∂µg, g ∈ G (6) (where e.g. G = SU(2)) such that only equation (2) provides a nontrivial condition (DµBµ = 0). • Under these conditions, the currents Jµ = gBµg−1 (7) are automatically conserved, ∂µJµ = 0, and therefore the number of the conserved currents equals the dimension of the representation space H, dim H. If dim H = ∞, then we say that the corresponding field theory is integrable. 4 C. Adam, J. Sanchez-Guillen and A. Wereszczynski In general, the conserved currents of an integrable theory may be either Noether currents or may be related to hidden symmetries. Under the assumptions equations (4)–(7), however, the currents Jµ turn out to be Noether currents of geometric target space transformations, where the target space is spanned by the parameters of g ∈ G. A first example for this structure is like follows. • The Lie group G is SU(2) where, however, its elements g ∈ G are restricted to the equator of SU(2) such that the target space is two-dimensional. • The representation space H is the space of representations of SU(2) with arbitrary integer angular momentum quantum number l, but magnetic quantum number m restricted to ±1, H = {reps. Rlm of SU(2), m = ±1, l = 1, . . . ,∞}. • Then the conserved currents Jµ of equation (7) turn out to generate area preserving diffeomorphisms on the two-dimensional target space (which may be, e.g., the two-sphe- re S2, but this depends on the Lagrangian). A detailed discussion of this case may be found in [17], or in [18, 19]. Another class of theories with three-dimensional target spaces is obtained when the group element g is assumed to take values in the full unrestricted group SU(2). There it turns out that the resulting conservation laws are generated by some subsets of the generators of volume- preserving diffeomorphisms on that target space. This case is discussed in the next section, where also a classification of the conservation laws of these theories is given. More details may be found in [20]. 3 Conservation laws for Skyrme-type models 3.1 Volume-preserving diffeomorphisms Let us start with a three-dimensional manifold (later to be identified with target space) with local coordinates Xi and with a volume form which in local coordinates reads dV = h(Xi)dX1 ∧ dX2 ∧ dX3, where h is the volume density. Further, a diffeomorphism is an infinitesimal transformation Xi → Xi + εY i(Xj), where ε is infinitesimal, and the Y i are arbitrary functions of the Xj . A volume-preserving diffeomorphism has to obey ∂i(hY i) ≡ ∂ ∂X i (hY i) = 0, in addition. The corresponding vector fields v(Y ) = Y i∂i form a closed Lie algebra, that is [v(Y ), v(Ỹ )] = v( ˜̃Y ) such that ˜̃Y i = (∂jY i)Ỹ j − (∂j Ỹ i)Y j , ∂i(h ˜̃Y i) = 0 Integrability and Target Space Diffeomorphisms 5 is again a volume-preserving diffeomorphism. For later convenience we change coordinates according to u ≡ X1 + iX2, ξ ≡ X3, Y u ≡ Y 1 + iY 2, Y ξ ≡ Y 3. These new coordinates are especially useful for a parametrization of g ∈ SU(2), g = exp(iξ~n · ~σ) = cos ξ + i sin ξ ~n · ~σ (8) provided that we also replace the unit vector field ~n by a complex field u via stereographic projection ~n → u = n1 + in2 1 + n3 . (9) Further, we assume from now on the following form of the volume density h = h(uū, ξ) for simplicity. Finally, we interpret u, ξ as target space variables of a Lagrangian field theory with general Lagrangian L(u, ū, ξ, uµ, ūµ, ξµ), where uµ ≡ ∂µu, etc., then the Noether currents corresponding to the vector fields v(Y ) generating volume-preserving diffeomorphisms on target space are given by J (Y ) µ = Y uΠµ + Y ūΠ̄µ + Y ξPµ (10) with the usual canonical four-momenta Πµ ≡ ∂uµL, Pµ ≡ ∂ξµL. The charges Q(Y ) = ∫ d3rJ (Y ) 0 generate a Lie algebra isomorphic to the algebra of the vector fields v(Y ) via the Poisson bracket, as usual. 3.2 Classif ication of conserved currents We now specialize to the class of Lagrangians L(a, b, c, ξ, d, e), (11) where a = uū, b = uµūµ, d = ξµξµ, c = (uµūµ)2 − u2 µū2 ν , e = ξµuµξν ūν . To motivate this choice let us mention that, e.g., the Skyrme model belongs to this class. Indeed, the Skyrme model has the Lagrangian LSk = m2 2 L2 − λL4 where L2 = tr(g−1gµg−1gµ) = d + 4b sin2 ξ (1 + a)2 , L4 = tr[g−1gµ, g−1gν ]2 = sin2 ξ (1 + a)2 (bd− e) + sin4 ξ (1 + a)4 c and g is the SU(2) group element of equation (8). For the class of Lagrangians (11) we now want to find which subsets of the currents (10) are conserved under which conditions. The calculation is lengthy and is, therefore, relegated to the Appendix. Here, we present the resulting classification in the following four tables. In Table 1 the fields just obey the field equations and, therefore, there is a one to one correspondence between symmetries and conservation laws. In Tables 2–4, on the other hand, the fields have to obey certain first order equations (“integrability conditions”), in addition. These integrability conditions are not of the Euler–Lagrange type and, therefore, there is no longer a one to one correspondence between symmetries and conservation laws, see [23] for a detailed discussion. 6 C. Adam, J. Sanchez-Guillen and A. Wereszczynski Table 1. No integrability conditions a) no condition on L. Generically there exists only one vector field Y : Y u = iu, Y ū = −iū, Y ξ = 0. b) L = F(hb, h2c, d, he). There exist finitely many Y generating the isometries of the target space metric. c) Lb = 0 and Le = 0. Y form the Abelian subalgebra (G̃ = G̃(a)): Y u = iuG̃a, Y ū = −iūG̃a, Y ξ = 0. d) conditions b) and c) on L, and factorizing h = h1(a)h2(ξ). Y forms the non-Abelian subalgebra (for G = G(u, ū)): Y u = ih−1 1 Gū, Y ū = −ih−1 1 Gu, Y ξ = 0. Case a) corresponds to the symmetry u → eiαu. Case b) implies that the Lagrangian can be expressed by the pullback of a certain target space metric, such that h is the Riemannian volume density of that metric. One example for this case is the Skyrme model. One example for case d) is provided by the Abelian projection of Yang–Mills dilaton theory, which is discussed in Section 4. Table 2. Integrability condition u2ū2 µ − ū2u2 µ = 0 a) Lb = 0 and Le = 0. Y forms the Abelian subalgebra (for G = G(a, ξ)): Y u = ih−1uGa, Y ū = −ih−1ūGa, Y ξ = 0. b) Le = 0. Y form the Abelian subalgebra (G̃ = G̃(a)): Y u = iuG̃a, Y ū = −iūG̃a, Y ξ = 0. The integrability condition u2ū2 µ− ū2u2 µ = 0 may also be expressed like ∂µ(mod(u))∂µ(arg(u)) = 0, which provides a more geometric interpretation. 4 Example: Abelian projection of YM dilaton theory Here we want to demonstrate that the Abelian projection of Yang–Mills dilaton theory is inte- grable in our sense. It belongs, in fact, to case d) of Table 1. A more detailed discussion can be found in [21]. The Lagrangian of Yang–Mills dilaton theory is L = 1 4 (2ξµξµ − e−2κξF aµνF a µν), where Aa µ is an SU(2) Yang–Mills field and F a µν is the corresponding field strength. Next, we want to employ the Cho–Faddeev–Niemi decomposition of the gauge field, Aa µ = naCµ + εabcnb µnc + W a µ , where Cµ is an Abelian gauge field, na is a unit vector in color space, and the so-called “valence field” W a µ is perpendicular to na in color space, naW a µ = 0. To be consistent, the decomposition fields have to obey the constraint ∂µW a µ + CµεabcnbW c µ + naW b µnb µ = 0. (12) Integrability and Target Space Diffeomorphisms 7 Table 3. Integrability conditions uµξµ = 0 a) no condition on L; or L = F(hb, h2c, d, he). Y forms the Abelian subalgebra (for G = G(a, ξ)): Y u = ih−1uGa, Y ū = −ih−1ūGa, Y ξ = 0. And the further integrability condition u2ū2 µ − ū2u2 µ holds. b) Lb = 0. Y forms the Abelian subalgebra (for G = G(a, ξ)): Y u = ih−1uGa, Y ū = −ih−1ūGa, Y ξ = 0. c) Lb = 0 and L = F(hb, h2c, d, he). Y form the subset Y ξ ξ = 0 (is not a subalgebra). d) Lb = 0 and L = F(hb, h2c, d, he) and W(L) = 0. no further condition on Y . Case a) is obeyed by many configurations of the Skyrme model. E.g., the simplest Skyrmion with baryon number one as well as many ansätze for Skyrmion configurations satisfy the conditions of case a). Case d): the “weight number”W is defined for monomials of first derivatives of fields asW = power(uµ)+ power(ūµ)− 2power(ξµ), which gives e.g. W(b) = 2, W(e) = −2. Table 4. Integrability conditions u2 µ = 0 and uµξµ = 0 a) no condition on L. Y forms the Abelian subalgebra (for G = G(a, ξ)): Y u = ih−1uGa, Y ū = −ih−1ūGa, Y ξ = 0. b) L = F(hb, h2c, d, he) Y form the subset Y ξ ξ = 0 (is not a subalgebra). c) L = F(hb, h2c, d, he) and W(L) = 0. no further condition on Y . Case b) is obeyed by many configurations of the Skyrme model. E.g., the simplest Skyrmion with baryon number one or the rational map ansätze for Skyrmion configurations satisfy the conditions of case b). This constraint makes that the number of degrees of freedom of the original gauge field and of the decomposition match, and further, it provides the correct behaviour under gauge transformations for the decomposition fields, which infinitesimally read δna = εabcnbαc, δW a µ = εabcW b µαc, δCµ = naαa µ. In a next step, we perform the Abelian projection, which consists in setting the valence field equal to zero, W a µ = 0. Observe that the Abelian projection is gauge invariant and obeys the constraint (12). The resulting gauge field Âa µ = naCµ + εabcnb µnc still is a full SU(2) connection, but with Abelian field strength. The resulting Abelian projected Yang–Mills dilaton theory is already integrable, that is, it has infinitely many conserved currents, see [21] for details. Here we make the further simplifying assumption Cµ ≡ 0 (which is no longer gauge invariant). The resulting Abelian 8 C. Adam, J. Sanchez-Guillen and A. Wereszczynski projected Lagrangian is LAP = 1 4 (2ξµξµ − e−2κξHµνHµν) (13) with Hµν = εabcnanb µnc ν or, after the stereographic projection (9), LAP = 1 2 ξµξµ − 2e−2κξ (uµūµ)2 − u2 µū2 ν (1 + uū)4 ≡ 1 2 d− 2h2c, where h = h1(a)h2(ξ) ≡ (1 + a)−2e−κξ. It corresponds to case d) of Table 1 and has, therefore, infinitely many symmetries and infinitely many conservation laws. We now want to use our explicitly integrable parametrization of the Abelian projection of Yang–Mills dilaton theory to discuss the problem of static solutions. For that purpose, we should first review the known results on that issue. It is known that there exist static, sphaleron type solutions in Yang–Mills dilaton theory. For the fully non-Abelian theory, solutions both for radially and cylindrically symmetric ansätze are known numerically, whereas for the Abelian subsector solutions for radially and cylindrically symmetric ansätze are known analytically. In the latter case, it is further known that the energy of the analytic solutions grows linearly with a certain integer m from the ansatz (the magnetic quantum number). The latter fact points to the existence of a Bogomolny bound in the Abelian projection, but an ansatz-independent derivation of this Bogomolny bound has not yet been given in the literature. In our integrable Abelian projection of YM dilaton theory, the analytic solutions may be calculated easily by quadratures, and the Bogomolny bound may be derived explicitly. Indeed, upon introducing spherical polar coordinates (r, θ, ϕ) in three-dimensional base space, the ansatz ξ = ξ(r), u = v(θ) exp(imϕ) turns out to be consistent with the static field equations because of the base space symmetries of the theory. The resulting ordinary differential equations for ξ(r) and v(θ) turn out to be solvable by quadratures, such that the corresponding exact analytic solutions may be calculated easily. The solvability by quadratures of the field equations might be related to the integrability of the theory. For details we refer to [21]. Finally, the Bogomolny bound may be derived easily within our parametrization. Indeed, we find for the energy corresponding to the Lagrangian (13) for static configurations EAP = 1 2 ∫ d3r ( (∇ξ)2 + e−2κξ ~H2 ) = 1 2 ∫ d3r ( ∇ξ − e−κξ ~H )2 + ∫ d3re−κξ∇ξ · ~H ≥ ∫ d3re−κξ∇ξ · ~H ≡ EBog. (where ~H is the Hodge dual of Hjk) and, therefore, the Bogomolny equation ∇ξ − e−κξ ~H = 0. All the analytic static solutions mentioned above satisfy this equation and are, therefore, Bogo- molny solutions. Further, the Bogomolny energy EBog. may be expressed by the winding number of a map S3 → S3, see again [21]. To recapitulate, our main results for the Abelian projection of YM dilaton theory are that • there exist infinitely many symmetries and infinitely many conserved currents, • this fact may explain the infinitely many analytic solutions (this still is a conjecture, which exploits the analogy to the lower dimensional cases), • there exist both a Bogomolny bound and a Bogomolny equation for static configurations, and the latter is solved by all known analytic solutions. Integrability and Target Space Diffeomorphisms 9 5 Discussion and outlook It was the purpose of this article to briefly review some recent developments in the attempts to generalize the concept of integrability to higher-dimensional nonlinear field theories. We gave a brief introduction to the general proposal for higher-dimensional integrability of [1] and then showed how, under certain additional assumptions, this higher-dimensional integrabili- ty is related to certain geometric target space transformations (concretely, volume preserving differomorphisms) which provide infinitely many conservation laws. We discussed in some more detail the case of a three-dimensional target space and, as a specific example, the Abelian pro- jection of Yang–Mills dilaton theory and its static analytic solutions. Some more applications to specific theories have already been studied (see, e.g., the references quoted in the Introduc- tion), which already demonstrates the usefulness and importance of the concept of generalized integrability for the study of higher-dimensional nonlinear field theories. There exist, however, many more applications which are still open to further investigation. One obvious application is the search for time-dependent solutions (e.g. Q-balls) in theories where till now only static solutions have been found (e.g. in the integrable submodel of Yang–Mills dilaton theory of the previous section). Another possibility for generalizations consists in the choice of larger groups G instead of SU(2) in the integrability construction discussed in Section 2. This leads to inte- grable theories with higher-dimensional target spaces. The search for an integrable submodel of Einstein Yang–Mills dilaton theory and for analytic solutions within this submodel would be an obvious candidate, especially as for this theory only numerical solutions are known so far. The generalizations and further investigations mentioned here still deal with a connection which is trivially flat, Aµ = g−1∂µg, such that the zero curvature condition (1) of Section 2 is trivially fulfilled, and equation (2) remains the only nontrivial generalized zero curvature condition. A further possible generalization consists in treating equation (1) as a nontrivial condition, too, which generates nontrivial constraints on the connection. The resulting modified generalized integrability might then lead to nonlocal conserved currents and to conservation laws which are not generated by geometric transformations, as is well-known to be the case in 1+1 dimensions. This line of investigation is, however, almost completely unexplored, and the above remarks are, therefore, mainly a proposal at the moment. A Appendix In this appendix we provide the details of the calculation of the conserved currents (10) for the class of Lagrangians (11). The Lagrangians L = L(a, b, c, ξ, d, e) have the following canonical four-momenta Πµ = Luµ = ūµLb + 2(būµ − ū2 νuµ)Lc + (ξν ūν)ξµLe, Pµ = Lξµ = 2ξµLd + ((ξν ūν)uµ + (ξνuν)ūµ)Le, field equations ∂µΠµ = Lu = ūLa, ∂µPµ = Lξ, and we need the following useful identities uµΠµ = bLb + 2cLc + eLe, ūµΠµ = ū2 µLb + (ūµξµ)2Le, ξµΠµ = (ξµūµ)Lb + 2(bξµūµ − ū2 νξ µuµ)Lc + dξµūµLe, uµPµ = 2(ξµuµ)Ld + ((ξµūµ)u2 ν + bξµuµ)Le, ξµPµ = 2dLd + 2eLe. 10 C. Adam, J. Sanchez-Guillen and A. Wereszczynski Now we want to calculate the divergence of the Noether currents (10) ∂µJ (Y ) µ = (Y u uuµ + Y u ūūµ + Y u ξξ µ)Πµ + (Y ū uuµ + Y ū ūūµ + Y ū ξξ µ)Π̄µ + (Y ξ uuµ + Y ξ ūūµ + Y ξ ξξ µ)Pµ + Y u∂µΠµ + Y ū∂µΠ̄µ + Y ξ∂µPµ. After a lengthy but straight-forward calculation, and using Y u u + Y ū ū = h[(h−1)uY u + (h−1)ūY ū + (h−1)ξY ξ]− Y ξ ξ (which easily follows from ∂i(hY i) = 0), we find ∂µJ (Y ) µ = I + II + III, (14) where I = h(ūY u + uY ū)[(h−1)au µΠµ + h−1La] + hY ξ[(h−1)ξu µΠµ + h−1Lξ] + Y ξ ξ(ξµPµ − uµΠµ), (15) and II = (Y u ūū2 µ + Y ū uu2 µ)Lb. For the special choice Y u = ih−1uGa, Y ū = −ih−1ūGa, Y ξ = 0, G = G(a, ξ) this simplifies to II = [∂a(h−1Ga)](u2ū2 µ − ū2u2 µ)Lb. Further, III = (uµξµ)2LeY ū u − u2 ν ū µξµ(2LcY ū ξ − LeY ξ u) + uµξµ[(Lb + 2bLc + dLe)Y ū ξ + (2Ld + bLe)Y ξ u] + h.c. (16) (Note that the above, correct, expression equation (16) differs from the corresponding one in [20] by one sign and one factor of two, which are incorrect in [20]. This small error in that reference has, however, absolutely no significance for the results of [20].) From these results it is not difficult to reconstruct the classification presented in Tables 1–4 of the main text. Let us focus on Table 1 for the moment. If no conditions are imposed on the Lagrangian, then the Y i have to obey uY ū + ūY u = 0 and Y ξ = 0 together with Y u ξ = 0, Y u ū = 0, etc, which has the only solution Y u = iu, Y ū = −iū, which is just case a) of Table 1. In case b), the condition L = F(hb, h2c, d, he) implies that the first two terms in I, equation (15), are absent, but for general F(hb, h2c, d, he), it is still difficult to reconstruct the corresponding target space metric. However, if we restrict to the subclass of models L = F [d+hb, 4h(bd−e)+h2c] (to which e.g. the Skyrme model belongs), then the target space metric is just ds2 = dξ ⊗ dξ + h 1 2 (du⊗ dū + dū⊗ du) and it is not difficult to check that the resulting conditions on Y i in that case are just the Killing equations for the above target space metric. Further, cases c) and d) are easy to check, because in these cases most terms in the conservation equation (14) are zero. The same is true for the remaining tables, because most terms in (14) vanish because of the integrability conditions. For Tables 3 and 4 we add the remark that the condition that the “weight number” defined in Table 3 vanishes implies that the third term in equation (15) is zero. For additional details we refer to [20]. Integrability and Target Space Diffeomorphisms 11 Acknowledgement A.W. gratefully acknowledges support from Adam Krzyżanowski Fund and Jagiellonian Uni- versity (grant WRBW 41/07). C.A. and J.S.-G. thank MCyT (Spain) and FEDER (FPA2005- 01963), and support from Xunta de Galicia (grant PGIDIT06PXIB296182PR and Conselleria de Educacion). Further, C.A. acknowledges support from the Austrian START award project FWF-Y-137-TEC and from the FWF project P161 05 NO 5 of N.J. Mauser. References [1] Alvarez O., Ferreira L.A., Sanchez-Guillen J., A new approach to integrable theories in any dimension, Nuclear Phys. B 529 (1998), 689–736. [2] Aratyn H., Ferreira L.A., Zimerman A., Toroidal solitons in (3+1)-dimensional integrable theories, Phys. Lett. B 456 (1999), 162–170. [3] Aratyn H., Ferreira L.A., Zimerman A., Exact static soliton solutions of (3+1)-dimensional integrable theory with nonzero Hopf numbers, Phys. Rev. Lett. 83 (1999), 1723–1726. [4] De Carli E., Ferreira L.A., A model for Hopfions on the space-time S3 × R, J. Math. Phys. 46 (2005), 012703, 10 pages, hep-th/0406244. [5] Wereszczynski A., Integrability and Hopf solitons in models with explicitly broken O(3) symmetry, Eur. Phys. J. C Part. Fields 38 (2004), 261–265, hep-th/0405155. [6] Ferreira L.A., Exact time dependent Hopf solitons in 3+1 dimensions, J. High Energy Phys. 2006 (2006), no. 3, 075, 9 pages, hep-th/0601235. [7] Riserio do Bonfim A.C., Ferreira L.A., Spinning Hopf solitons on S3×R, J. High Energy Phys. 2006 (2006), no. 3, 097, 12 pages, hep-th/0602234. [8] Nicole D.A., Solitons with nonvanishing Hopf index, J. Phys. G 4 (1978), 1363–1369. [9] Wereszczynski A., Toroidal solitons in Nicole-type models, Eur. Phys. J. C Part. Fields 41 (2005), 265–268, math-ph/0504008. [10] Wereszczynski A., Generalized eikonal knots and new integrable dynamical systems, Phys. Lett. B 621 (2005), 201–207, hep-th/0508121. [11] Adam C., Sanchez-Guillen J., Vazquez R.A., Wereszczynski A., Investigation of the Nicole model, J. Math. Phys. 47 (2006), 052302, 22 pages, hep-th/0602152. [12] Ward R.S., Hopf solitons on S3 and R3, Nonlinearity 12 (1999), 241–246. [13] Adam C., Sanchez-Guillen J., Wereszczynski A., Hopf solitons and Hopf Q-balls on S3, Eur. Phys. J. C Part. Fields 47 (2006), 513–524, hep-th/0602008. [14] Skyrme T.H.R., A nonlinear field theory, Proc. R. Soc. Lond. A 260 (1961), 127–138. [15] Skyrme T.H.R., A unified field theory of mesons and baryons, Nuclear Phys. 31 (1962), 556–569. [16] Ferreira L.A., Sanchez-Guillen J., Infinite symmetries in the Skyrme model, Phys. Lett. B 504 (2001), 195–200, hep-th/0010168. [17] Babelon O., Ferreira L.A., Integrability and conformal symmetry in higher dimensions: a model with exact Hopfion solutions, J. High Energy Phys. 2002 (2002), no. 11, 020, 26 pages. [18] Adam C., Sanchez-Guillen J., Generalized integrability conditions and target space geometry, Phys. Lett. B 626 (2005), 235–242, hep-th/0508011. [19] Adam C., Sanchez-Guillen J., Wereszczynski A., Integrability from an Abelian subgroup of the diffeomorphism group, J. Math. Phys. 47 (2006), 022303, 8 pages, hep-th/0511277. [20] Adam C., Sanchez-Guillen J., Wereszczynski A., Conservation laws in Skyrme-type models, J. Math. Phys. 48 (2007), 032302, 16 pages, hep-th/0610227. [21] Adam C., Sanchez-Guillen J., Wereszczynski A., Integrable subsystem of Yang–Mills dilaton theory, hep-th/0703224. [22] Schlesinger L., Parallelverschiebung und Krümmungstensor, Math. Ann. 99 (1927), 413–434. [23] Adam C., Sanchez-Guillen J., Symmetries of generalized soliton models and submodels on target space S2, J. High Energy Phys. 2005 (2005), no. 1, 004, 15 pages, hep-th/0412028. http://arxiv.org/abs/hep-th/0406244 http://arxiv.org/abs/hep-th/0405155 http://arxiv.org/abs/hep-th/0601235 http://arxiv.org/abs/hep-th/0602234 http://arxiv.org/abs/math-ph/0504008 http://arxiv.org/abs/hep-th/0508121 http://arxiv.org/abs/hep-th/0602152 http://arxiv.org/abs/hep-th/0602008 http://arxiv.org/abs/hep-th/0010168 http://arxiv.org/abs/hep-th/0508011 http://arxiv.org/abs/hep-th/0511277 http://arxiv.org/abs/hep-th/0610227 http://arxiv.org/abs/hep-th/0703224 http://arxiv.org/abs/hep-th/0412028 1 Introduction 2 Generalized zero curvature condition 3 Conservation laws for Skyrme-type models 3.1 Volume-preserving diffeomorphisms 3.2 Classification of conserved currents 4 Example: Abelian projection of YM dilaton theory 5 Discussion and outlook A Appendix References

Integrability and Diffeomorphisms on Target Space

Репозитарії

Схожі ресурси