Professional Documents
Culture Documents
Yang-Mills fields
arXiv:2301.00029v2 [math-ph] 26 Jan 2023
1 Introduction
Hidden symmetries have played an important role in the study of Yang-Mills (YM) theory.
As an example, the anti-self dual Yang-Mills (ASDYM) equations have an infinite class
of hidden symmetries which bear some resemblance to the infinite-dimensional conformal
group in two dimensions [1][2][3]. In addition, an extended conformal symmetry called
dual superconformal invariance has been uncovered in the study of N=4 supersymmetric
Yang-Mills (SYM) theory [4][5], leading to an infinite dimensional Yangian symmetry [6].
This and other advances have led to powerful tools for the study of N=4 SYM.
Many of these results can be understood best with the use of twistor and ambitwistor
methods, which have been used extensively in the study of Yang-Mills fields. For example,
the Penrose-Ward correspondence reformulates the ASDYM equations in Twistor space,
∗
edwardbaker86@gmail.com
1
which leads to the ADHM construction of instantons [7][8][9]. This construction was gen-
eralized to a geometric formulation of the Yang-Mills field equations in ambitwistor space,
with a natural interpretation in superspace [10][11][12][13]. More recently, twistor and am-
bitwistor methods have been used in string theory to understand Yang-Mills scattering
amplitudes and their properties [14][15].
In this paper we investigate a previously defined class of generalized maps [16] in
the context of Yang-Mills theory. These maps are motivated by twistor and ambitwistor
theory, and are called self-dual and causal morphisms, respectively. Under certain as-
sumptions, one can define a non-local pullback connection under these transformations
that preserves integrability on certain subspaces. In the case of self-dual morphisms, the
maps preserve integrability on self-dual planes which imply that they are symmetries of
the ASDYM equations. A supersymmetric generalization of causal morphisms is then
developed which preserves integrability on super null lines, implying that these maps are
symmetries of the N=3 SYM field equations. This fact is used to show that a modified
version of causal morphisms are symmetries of the YM field equations as a special case.
It is likely that some of these symmetries are related to known hidden symmetries for
the different cases, but characterizing these relationships will be left as a topic of future
investigation.
where PT = CP3 is the projective twistor space of C4 . Now define a self-dual embedding
as a totally null holomorphic embedding χ : C2 → C4 such that vectors at a point t ∈ C2
are mapped under χ⋆ to vectors of the form v αα̇ = λα λ̃α̇ for λ̃α̇ fixed. We will call the
image of such a map a self-dual surface. If λ̃ is independent of t then this surface maps
to a self-dual plane (or α-plane) Z. Furthermore, for any point on a self-dual embedding
there is a tangent α-plane passing through χ(t) that is characterized by λ̃(t). For brevity,
we say that χ is tangent to λ̃ at t. Now define the self-dual prolongation js χ : C2 → F by
js χ = (χ, λ̃), where dependence on t is suppressed. The prolongation satisfies a contact
condition, that χ is tangent to λ̃ for all t ∈ C2 . Conversely, given a surface ψ : C2 → F ,
we say that it satisfies the contact condition if ψ = js χ for some self-dual embedding χ.
A map f : F → F is said to preserve the contact condition if f ◦ js χ satisfies the contact
2
condition for any χ.1 We then define
Defined in this way, a self-dual morphism naturally induces maps on self-dual embed-
dings and self-dual planes
This map on surfaces was the starting point for the definitions in the previous paper,
and the two definitions are equivalent.
Now consider a GL(n, C) connection with vector potential A satisfying the ASDYM
equations on MC = C4 . Given a self-dual morphism f , there is a natural definition for
a pullback connection f ∗ A. To see this, first restrict to a self-dual plane Z, which can
be parameterized linearly by coordinates on C2 . The contraction map f yZ then gives
a self-dual embedding, and the pullback connection (f yZ)∗ A is integrable on Z because
the curvature of A vanishes on the self-dual planes tangent to f yZ as a consequence
of ASDYM. By varying Z this allows us to define the bundle of parallel sections on
the twistor space, and to use the Penrose-Ward procedure to define a connection on
the pullback bundle, which defines the pullback connection f ∗ A and gives a solution of
ASDYM. This requires that the bundle of parallel sections is trivial for points x ∈ C4 ,
which will be shown with an explicit construction of f ∗ A.
For the construction, consider two points x1 , x2 ∈ Z and their images yi = f yZ(xi ).
Define a Wilson line for the pullback connection by
Z
∗ µ
WZ (x1 , x2 ) = Wf yZ (y1 , y2 ) = P exp Aµ dx . (2)
γ
Here the path of integration is any path γ confined to the image of f yZ starting at y1
and ending at y2 . The Wilson line is independent of path due to the integrability of the
connection on self-dual surfaces. We can then define the patching matrix used in the
Penrose-Ward correspondence by
where
H = WZ∗ (p, x), H̃ = WZ∗ (q, x). (4)
1
These constructions are all assumed to be local and defined in some neighborhood, but are written
globally for ease of notation.
3
Here p and q are the points of intersection between Z and self-dual planes P and Q with
twistor coordinates P̂ = (0, 0, 1, 0) and Q̂ = (0, 0, 0, 1), as defined in the usual patching
construction. The patching matrix descends to the twistor space, and the splitting formula
guarantees that the bundle is trivial, so the bundle satisfies the conditions of the Penrose-
Ward correspondence. We therefore can recover a self-dual pullback connection f ∗ A. This
all assumes that the integrals are non-singular, which depends on the details of the maps,
connections and domains under consideration.
To gain intuition for this construction, it is useful to derive an explicit formula for f ∗ A.
To this end, restrict to a self-dual plane Z and use the formula λ̃α̇ f ∗ Aαα̇ = H −1 λ̃α̇ ∂αα̇ H
from the Penrose-Ward correspondence, in addition to equation (4), to find
By varying the self-dual plane through a fixed point x this gives the value for null vectors
v ∈ Tx C4 , and the value on other vectors can be recovered from linearity of the connection.
Linearity and self-duality follow from the Penrose-Ward construction, but it is instructive
to derive these results directly from equation (5), which can be expanded as
∂y β β̇
(f yZ)∗ v · A|f yZ(x) = v αα̇ A , x ∈ Z, v ∈ Tx Z, (6)
∂xαα̇ β β̇ f yZ(x)
where y β β̇ = f yZ(x)β β̇ . This equation is degree one in both λ and λ̃ and globally holo-
morphic on CP 1 × CP 1 , and so is linear by Liouville’s theorem. Self-duality is equivalent
to the connection being integrable on self-dual planes, which follows from using equa-
tion (5) to show that [v1 · D ∗ , v2 · D ⋆ ] = 0, where v1,2 ∈ Tx Z are linearly independent
vectors tangent to a self-dual plane Z. These arguments generalize well to the N = 3
supersymmetric case.
4
through z ∈ C4|4N and tangent to (λ, λ̃) are generated by fermionic translation operators
Ti = λα qαi and T̃ i = λ̃α̇ q̃α̇i which satisfy the algebra
{Ti , Tj } = {T̃ i , T̃ j } = 0, {Ti , T̃ j } = 2iδij D, (7)
where D = λα λ̃α̇ ∂αα̇ . Define the correspondence space (F 6|4N , π1 , C4|4N ) as the bundle
over superspace whose fiber at a point z is the set of super null lines that intersect z.
These fibers are isomorphic to CP 1 × CP 1 , corresponding to the projective spinors λ and
λ̃ that generate bosonic translations along a given null line.
The super null lines described above have one complex dimension and 2N fermionic
dimensions, which can be parameterized by coordinates σ = (s, ξ i , ξ˜j ) ∈ C1|2N . The
supersymmetry generators on this line are ∂s , qi = ∂ξi + iξ˜i ∂s and q̃ i = ∂ξ̃i + iξ i ∂s . More
generally, we can also consider a super null curve, which is a morphism χ : C1|2N → C4|4N
whose pushforward χ∗ takes the form
(∂s , qi , q̃ k ) → (D, Mij Tj , M̃lk T̃ l ), (8)
at every point σ ∈ C1|2N , where the operators (D, Tj , T̃ l ) are defined for a super null line
tangent to χ at χ(σ). As with the self-dual case, we can then define the prolongation
jc χ : C1|2N → F 6|4N by jc χ = (χ, λ, λ̃), and given a curve ψ : C1|2N → F 6|4N we say that
it satisfies the contact condition if ψ = jc χ for some nonsingular null curve χ. As before,
a map f : F 6|4N → F 6|4N preserves the contact condition if f ◦ jc χ satisfies the contact
condition for any χ. Furthermore, for a super null line L tangent to (λ, λ̃), we also define
f yL(z) = π1 ◦ f (z, λ, λ̃) ∀z ∈ L as before.
In the supersymmetric case there is an extra consideration necessary to ensure inte-
grability of the pullback connection. To see this, consider a morphism f : F 6|4N → F 6|4N
which preserves the contact condition. Given a super null line L, we want to demand
that the supersymmetry relations (7) are preserved under (f yL)∗ . By construction, this
pushforward takes the form of equation (8), where the coordinates on L are also chosen
to satisfy the supersymmetry relations. To preserve these relations, we must demand
Mji M̃kj = δki . (9)
This condition must be satisfied for every super null line L, which is the condition that
must be satisfied for integrability.
We can now define
Definition 3. A super causal morphism is a holomorphic map f : F 6|4N → F 6|4N which
preserves the contact condition, and preserves the supersymmetry relations (7) under
(f yL)⋆ for tangent vectors to any super null line L.
Now consider an N=3 supersymmetric Yang-Mills field satisfying the field equations
on C4|12 . This field can be defined by a superconnection characterized by a one form Φ
with components ΦA = (ωiα , ω̃α̇i , Aαα̇ ), which defines covariant derivative operators
Qiα = qiα + ωiα , Q̃iα̇ = qα̇i + ω̃α̇i , Dαα̇ = ∂αα̇ + Aαα̇ . (10)
5
The field equations are equivalent to integrability on super null lines [12], which for a
given line L tangent to v αα̇ = λα λ̃α̇ are given by equations (7) for the translation operators
Ti = λα Qiα , T̃ i = λ̃α̇ Q̃iα̇ and D = λα λ̃α̇ Dαα̇ .
Now, given a super causal morphism f , we can define the pullback connection f ∗ Φ
similarly to the self-dual case. To do so, consider a super null line L, and the super null
curve f yL it generates. The bundle of parallel sections on these super null lines then
generates a pullback connection through the generalized Penrose-Ward construction. To
calculate this pullback connection, we can directly generalize equation (5) to
As in the previous section, linearity of the pullback connection follows from a variant
of Liouville’s theorem. Integrability on lines follows from writing (7) for the pullback
translation operators defined on L, and then using (11) and the assumption that Φ is
integrable on lines. This implies that super causal morphisms are symmetries of the
N = 3 SYM field equations.
fˆ(g, θiα , θ̃jα̇ ) = (f (g), [V −1 ]αβ θiβ , [Ṽ −1 ]α̇β̇ θ̃jβ̇ ), g ∈ G, (12)
where V , Ṽ are invertible matrix functions of g. Now restrict to a super null line L tangent
to a null vector v αα̇ = λα λ̃α̇ . Along L, the supersymmetry relations (7) are preserved if
and only if
v β β̇ Vβα Ṽβ̇α̇ = ((f yL0 )∗ v)αα̇ , (13)
where L0 is the bosonic projection of L. The existence of holomorphically varying matrix
functions V and Ṽ satisfying this condition is the extra modification necessary to extend
a causal morphism f to fˆ, and will be assumed.
The above construction yields a symmetry of the N = 3 SYM field equations, but we
must also show that solutions of the YM field equations, with scalar and spinor fields set
6
to zero, are preserved by these extended causal morphisms. To do so, we will use two
results proved by Harnad et. al. [13]. In that paper, theorem 3.3 characterizes the form
of the superconnection induced from a solution of the YM field equations when embedded
as a gauge fixed N=3 SYM connection, which is
where τ β β̇ = i θiβ θ̃iβ̇ , Aαα̇ = Aαα̇ (xβ β̇ , τ β β̇ ), and the gauge condition is θiα ωiα + θ̃α̇i ω̃iα̇ = 0.
P
Conversely, corollary 4.3 shows that a gauge-fixed connection that is integrable on super
null lines and takes the above form corresponds to an N = 3 extended solution of the YM
field equations.
Based on these considerations, showing that the extended causal morphisms preserve
the form of equation (14) and the gauge condition implies that they preserve solutions
of the YM field equations. To show this, restrict to a super null line L and use (11) to
compute the pullback connection of (14), which gives
where x′ , τ ′ are evaluated at fˆyL(z) and z ∈ C4|4N . Now consider two points z1 , z2 ∈ C4|4N
with x1 = x2 and τ1 = τ2 , lying on two parallel lines. Under fˆyL, τ transforms as
τ αα̇ → [V −1 ]αβ [Ṽ −1 ]α̇β̇ τ β β̇ , so the quantities in parentheses are the same for these two points
and parallel lines, but the line can be varied, so this is true for any (λ, λ̃). By linearity, this
implies that the connection has the form of equation (14), as desired. Furthermore, the
gauge condition can be written τ αα̇ (hαα̇ + h̃αα̇ ) = 0. For τ αα̇ proportional to a null vector
this condition is preserved, but this must be true for any null line, so again by linearity
the gauge condition is preserved. This implies that the pullback connection corresponds
to an N = 3 extended solution of the YM field equations.
5 Discussion
We have shown that self-dual, N = 3 super causal and causal morphisms yield symmetries
of the ASDYM, N = 3 SYM and YM field equations, respectively. To further understand
these symmetries, it will be necessary to classify their solutions and to investigate their
action on concrete examples of YM fields. Some partial results were found in the previous
paper [16], where examples of self-dual morphisms were constructed from holomorphic
endomorphisms of twistor space. A method was also developed to construct causal mor-
phisms from these self-dual morphisms. Although these constructions provide examples
of solutions, it will be important to find a more complete classification. In particular, it is
likely that there are more general examples than those constructed from endomorphisms
7
of the twistor space, or super ambitwistor space, which could be analogous to holomorphic
functions that preserve the real line in two dimensions. This preliminary interpretation
is based on the CR ambitwistor space used in [20], but will require further investigation
to make precise. It will also be important to understand how these maps are related to
other well known hidden symmetries for these equations.
There are many additional avenues of further research. Here the action of these maps
was only considered for classical Yang-Mills fields, but the ultimate goal is to further
understand the quantum theory. Furthermore, it will be interesting to consider how
gravitational fields transform under these maps. In this vein, one could define a causal
manifold with coordinate transformations that are morphisms of these types, in analogy
to the definition of Riemann surfaces for holomorphic functions. Due to the nonlocal
nature of these maps, the theory could lead to interesting new mathematics.
References
[1] L. Dolan, A new symmetry group of real self-dual yang-mills theory,
Physics Letters B 113 (1982) 387.
[2] L.-L. Chau, G. Mo-Lin, A. Sinha and W. Yong-Shi, Hidden-symmetry algebra for
the self-dual yang-mills equation, Physics Letters B 121 (1983) 391.
[4] L. Mason and D. Skinner, Dual superconformal invariance, momentum twistors and
grassmannians, Journal of High Energy Physics 2009 (2009) 045.
[7] R.S. Ward, On self-dual gauge fields, Physics Letters A 61 (1977) 81.
[9] M. Atiyah, A. nazionale dei Lincei and S. normale superiore (Italy), Geometry of
Yang-Mills fields, Lezioni fermiane, Scuola normale superiore (1979).
8
[11] J. Isenberg, P.B. Yasskin and P.S. Green, Non-self-dual gauge fields,
Physics Letters B 78 (1978) 462 .
[12] J. Harnad, J. Hurtubise, M. Legare and S. Shnider, Constraint equations and field
equations in supersymmetric n = 3 yang-mills theory,
Nuclear Physics B 256 (1985) 609.
[15] M. Atiyah, M. Dunajski and L.J. Mason, Twistor theory at fifty: from contour
integrals to twistor strings, Proceedings of the Royal Society A: Mathematical,
Physical and Engineering Sciences 473 (2017) 20170530.
[16] E.B. Baker, Causal and self-dual morphisms in four complex dimensions, 2022.
10.48550/ARXIV.2203.07952.
[18] R. Ward and R. Wells, Twistor Geometry and Field Theory, Cambridge
Monographs on Mathematical Physics, Cambridge University Press (1991).