Abstract
The gradient flow equation is derived in four-dimensional \(\mathcal{N}=1\) supersymmetric Yang–Mills theory in terms of the component field of the Wess–Zumino gauge. We show that the flow-time derivative and supersymmetry transformation that is naively extended to 4+1 dimensions by replacing the four-dimensional fields with the corresponding flowed fields commute with each other up to a gauge transformation. In this sense, the obtained flow is supersymmetric in the Wess–Zumino gauge. We also discuss more about the symmetry of the flow equation.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The gradient flow [1, 2] has been applied to various studies in lattice QCD [3,4,5,6,7,8,9,10,11,12,13]. These applications are based on the UV-finiteness of correlators of flowed fields and the smoothing effects obtained by the flow [3]. It also has great potential for supersymmetric Yang–Mills (SYM) flow because we have not only the same applications as in QCD [14, 15] but also ones specific to SYM such as the supercurrent needed to construct the correct continuum limit [16, 17].
There are mainly two possibilities in defining a gradient flow equation in SYM. One way is to use the non SUSY flow as introduced in QCD [1, 2, 4], while the other way is to use a SUSY flow associated with the gradient of the SYM action. In the former case, the gaugino is treated as the adjoint matter coupled to the gauge field. In this sense, the flow is irrelevant to SUSY and the flowed fermions receive extra renormalizations. In the latter case, one can expect that no such extra renormalizations exist thanks to SUSY.
The SYM-gradient flow has already been given in terms of vector superfield [18], which manifestly respects super and extended gauge transformations.Footnote 1\(^{,}\)Footnote 2 It is, however, not straightforward to derive a flow equation in terms of component fields taking the WZ gauge. In Ref. [18], a term by which the extended gauge symmetry is fixed is introduced in the SYM-flow equation to take the Wess–Zumino gauge, but the obtained equation is not invariant under the ordinary gauge transformation. It is not clear whether or not the flow is compatible with supersymmetry in the WZ gauge [21, 22].
The SYM flow at the WZ gauge will be useful for the lattice calculation performed with the gauge [14, 15] and for knowing the clear difference from the non-SUSY flow. When we try to compare some analytic calculations performed in the component fields directly to the flow theory, the flow given by the component fields will be useful.
In this paper, we propose a natural way to derive a supersymmetric gradient flow equation in the Wess–Zumino gauge in \(\mathcal{N}=1\) SYM and discuss the symmetry properties of the equation. Taking a gauge fixing term that satisfies a condition milder than that of [18], we are free to choose any gauge for the ordinary gauge symmetry, in other words, the gauge symmetry is not fixed in the flow. We also show that the flow equation is compatible to supersymmetry in the sense that the commutator of the flow-time derivative and supersymmetry transformation that is naturally extended to \(d+1\)-dimensions vanishes up to a gauge transformation.
This paper is organized as follows. Starting from the definition of non-SUSY flow (the Yang–Mills flow) in Sect. 2, we review the SYM-gradient flow given in Ref. [18] in Sect. 3. The superfield formalism is given in the Euclidean space in Sect. 3.1 and the original derivation of the SYM-gradient flow in terms of vector superfield is shown in Sect. 3.2. We discuss the issue of the original flow equation in the Wess–Zumino gauge in Sect. 3.3. In Sect. 4, we derive a supersymmetric gradient flow equation in the Wess–Zumino gauge taking a new gauge fixing term and show that it is compatible with supersymmetry in the Wess–Zumino gauge. The conclusion and outlook are shown in Sect. 5.
2 Yang–Mills gradient flow
We review the gradient flow in four-dimensional Yang–Mills theory, while fixing the notations used in this paper. The gauge group is SU(N) and the group generators \(T^a\) (\(a=1,\ldots ,N^2-1\)) are hermitian matrices that satisfy the standard relations given in Appendix 1A. The Einstein summation convention is used throughout this paper.
The action of Yang–Mills theory in four dimensional Euclidean space whose coordinate is expressed as \(x_\mu \, (\mu =0,1,2,3)\) is given by
where
The gauge field \(A^a_\mu (x)\) is now expressed as a matrix-valued field as \(A_\mu (x) = \sum _{a=1}^{N^2-1} A_\mu ^a(x) T^a\).
To define the gradient flow equation, we introduce a flow-time \(t\ (\ge 0)\) and assume that \(A_\mu (x)\) depends on the flow time as \( A_\mu (x) \rightarrow B_\mu (t,x)\) which satisfies a boundary condition,
Then the gradient flow equation is formally defined as the gradient of the Yang–Mills action:
where \(\frac{\delta }{\delta A^a_{\mu }(x)}\) in the right hand side is the functional derivative with respect to \(A^a_{\mu }(x)\). We thus have
where
Throughout this paper, \(D_\mu \) that acts on any t-dependent field \(\varphi (t,x)\) is defined by (6).
The flow equation is manifestly covariant under a time independent gauge transformation. It is known that the gauge covariance becomes an obstacle in the perturbative analyses of the flow equation. We introduce a gauge fixing term when performing the perturbative calculations as
with a positive parameter \(\alpha \).
The solution of the gauge fixed flow equation (7) with any \(\alpha \) is related with the solution with \(\alpha =0\) through the time dependent gauge transformation:
where
This fact means that for any gauge invariant operator at \(t=0\) the two Eqs. (5) and (7) are equivalent.
The flow equation (7) itself has a kind of gauge covariance with a time dependent gauge transformation:
where \(\omega (t,x)\) obeys
The boundary condition on \(\omega \) at \(t=0\) can be chosen arbitrarily and the gauge symmetry at \(t=0\) remains unfixed.
A surprising result of the Yang–Mills gradient flow is that any correlation function of the flowed gauge field is UV finite in all order of perturbation theory once the boundary four-dimensional theory is renormalized in the standard way [3]. The time dependent gauge symmetry in (10) and (11) then play an essential role in the proof of the finiteness of correlation functions.
3 Gradient flow equation in \({\mathcal{N}=1}\) SYM
We basically follow Ref. [23] with the Wick rotation to the Euclidean space. The convention of superfields and differential operators after the Wick rotation are summarized in Appendix 1B.
3.1 \(\mathcal{N}=1\) SYM action and superfield formalism
The Euclidean action of \({\mathcal{N}=1}\) SYM is given by
where \(\lambda _\alpha (x)\) and \({\bar{\lambda }}_{{\dot{\alpha }}}(x)\) with \(\alpha =1,2\) are two-component spinors, \(A_\mu (x)\) is the gauge field, D(x) is an auxiliary field (\(D^a(x) \in {\mathbb {R}}\)). Four dimensional sigma matrices are defined as \(\sigma _\mu =(-i I,\sigma ^i)\) and \({\bar{\sigma }}_\mu =(-i I,-\sigma ^i)\) with the standard Pauli matrices \(\sigma ^i\). The gauge field tensor \(F_{\mu \nu }(x)\) is given by (2) and the covariant derivative \(D_\mu \) is defined by
for any field \(\varphi (x)\) in the adjoint representation of the gauge group. The action is invariant under the infinitesimal gauge transformation,
The supersymmetry transformation is defined by
where \(\xi _\alpha \) and \({\bar{\xi }}_{{\dot{\alpha }}}\) are two-component Grassmann parameters that do not depend on x. We can show that the action is also invariant under this transformation using several identities given in Appendix 1.
We now define \({\mathcal{N}=1}\) SYM in the superfield formalism. The supersymmetry transformation of any superfield \( F(x,\theta ,{\bar{\theta }}) \) is given by
where
The transformation of each component field can be read from (16). Note that (16) is a linear transformation although (15) is non-linear since \(Q_{\alpha }\) and \(\bar{Q}_{{\dot{\alpha }}}\) are linear derivative operators.
The vector superfield \(V(x,\theta ,\bar{\theta })\) is defined as
where C, D, M, N and \(A_{\mu }\) are real fields, and \(\eta , {\bar{\eta }}, \lambda , {\bar{\lambda }}\) are spinor fields. The superfields \(\varPhi (x,\theta ,\bar{\theta })\) and \({\bar{\varPhi }}(x,\theta ,\bar{\theta })\) that satisfy \(D_\alpha {\bar{\varPhi }} =\bar{D}_{{\dot{\alpha }}} \varPhi = 0\) are called chiral superfields where
which are covariant derivatives because they commute with \(Q_\beta \) and \({\bar{Q}}_{{\dot{\beta }}}\).
The \({\mathcal{N}=1}\) SYM action is then given by
where
\(W_{\alpha }\) and \(\bar{W}_{{\dot{\alpha }}}\) are chiral superfields since \(D_\alpha {\bar{W}}_{{\dot{\beta }}}={\bar{D}}_{{\dot{\alpha }}} W_\beta = 0\). The integrals of \(\theta \theta \) and \({\bar{\theta }}{\bar{\theta }}\) components in (20) are invariant under linear supersymmetry transformation (16).
The symmetry of the superfield action (20) is higher than that of (12). (20) is indeed invariant under an extended gauge transformation,
where \(\bar{D}_{{\dot{\alpha }}}\varLambda = {D}_{\alpha }{\bar{\varLambda }}=0\). As the \(\theta \) and \({\bar{\theta }}\) expansions, we have
where \(y_\mu =x_\mu + i \theta \sigma _\mu {\bar{\theta }}\) and \(\bar{y}_\mu =x_\mu - i \theta \sigma _\mu {\bar{\theta }}\). We should note that (22) is a non-linear transformation.
We can set
choosing the component fields of \(\varLambda \) and \(\bar{\varLambda }\) by hand. This is so-called Wess–Zumino gauge fixing. The vector superfield is then given only by the field variables in (12):
Consequently,
and the superfield action (20) coincides with (12).
The original linear supersymmetry transformation \(\delta ^0_\xi \) breaks the Wess–Zumino gauge. Another supersymmetry transformation that keeps the gauge is defined by adding an infinitesimal extended gauge transformation \(\delta ^\mathrm{gauge}_\varLambda \) to \(\delta ^0_\xi \) [21]:
The component fields of \(\varLambda \) and \(\bar{\varLambda }\) are chosen such that \(\delta _\xi \) maintains the Wess–Zumino gauge. Thus we obtain the supersymmetry transformation (15) because the non-linear terms of (15) come from \(\delta ^\mathrm{gauge}_\varLambda \).
3.2 Original derivation of the SYM flow equation
We use \(t\ (\ge 0)\) as a flow time and define t-dependent vector superfield \(\mathcal{V}(t,x,\theta , {\bar{\theta }})\) as
with the field replacements,
and the boundary condition \(\mathcal{V}(t,x,\theta ,{\bar{\theta }})|_{t=0} = V(x,\theta ,{\bar{\theta }})\).
In order to define a gradient flow equation such that it is covariant under linear supersymmetry and the extended gauge transformations, we define the metric that is invariant under these two transformations:
where \(z=(x,\theta ,{\bar{\theta }})\) and \(d^8 z \equiv d^4 x d^2\theta d^2\bar{\theta }\). The metric \(g_{ab}\) is read from (30) as \(|| \delta V ||^2 =\) \( \int d^8 z\ g_{ab}(V) \delta V^a \delta V^b\). With \(g^{ac}g_{cb}=\delta _{ab}\), we thus have
where \(\mathcal{L}_{A} B \equiv [A,B] \).
The gradient flow equation for \(\mathcal{V}\) is given in terms of superfield as
where \(\delta /\delta V^b(x,\theta ,{\bar{\theta }})\) is a functional derivative. After a short calculation, (32) is also expressed as
with
which are covariant under super and gauge transformations.
With and without the metric, (32) is covariant under t-independent supersymmetry transformation which is obtained by replacing F(z) in (16) with \(\mathcal{V}(t,z)\) since the both sides are given in terms of superfield. However the extended gauge transformation is broken without the metric since it is non-linear transformation. With the metric, (32) is also covariant for the extended gauge transformation as in the case of general covariance.
3.3 The issue of SYM flow equation in the Wess–Zumino gauge
The Wess–Zumino gauge fixing (24) is broken by the time evolution because the breaking term appear in R.H.S of (32). The authors of Ref. [18] have tried to construct the flow equation in the gauge adding a fixing term given by an extended gauge transformation to (32):
where
which is the infinitesimal form of (22).
In Ref. [18], the gauge parameters \(\varLambda \) and \({\bar{\varLambda }}\) are chosen such that the following three conditions hold:
(i) \(\varLambda \) and \({\bar{\varLambda }}\) are functions of V.
(ii) The flow equation is invariant under \(\delta _{\xi }^{0}\).
(iii) The WZ gauge is kept at any flow time. The unique solution of these three conditions is given by
Substituting (37) into (35) and setting \(\mathcal{V}\) at \(t=0\) to \(V_\mathrm{WZ}\), the flow equation is defined in terms of component fields.
We make a few comments on the flow equation in the Wess–Zumino gauge with (37). In the case of the Yang–Mills flow (7), \(\alpha \) is a free parameter and the flow equation is gauge covariant if we set \(\alpha =0\). However, such gauge covariance is broken in the present case due to the choice (37). With the time dependent gauge transformation (8), the solution with any non-zero \(\alpha \) is equivalent to that without the gauge fixing term (\(\alpha =0\)) in the Yang–Mills flow. The corresponding supersymmetric relation is, however, unknown. Furthermore, it is not clear whether or not the flow equation is consistent with SUSY transformation in the Wess–Zumino gauge (15) [22].
We will reconstruct the flow equation in the Wess–Zumino gauge and study the symmetry properties in the next section.
4 New derivation of gradient flow equation in the Wess–Zumino gauge
We propose a method of defining a SYM-gradient flow in the Wess–Zumino gauge and show that the constructed flow is supersymmetric in the sense that the five-dimensional supersymmetry and the flow-time derivative commute with each other up to a gauge transformation.
4.1 Supersymmetric gradient flow
In the prescription of the Wess–Zumino gauge fixing, the linear supersymmetry transformation \(\delta _{\xi }^{0}\) defined in (27) is broken. The component fields of chiral superfields, which are parameters of extended gauge transformation, are chosen by hand to keep the gauge. So we can say that (i) and (ii) in Sect. 3.2 are too strong conditions which are unnecessary.
We impose only the condition (iii) and choose the component fields of \(\varLambda \) and \({\bar{\varLambda }}\) by hand to keep the Wess–Zumino gauge at any flow time:
where \(\theta ^a(t,x)\) is any real function. We thus obtain a flow equation in the Wess–Zumino gauge:
and
The Wess–Zumino gauge fixing maintains at any flow time as shown in (39). Equation (38) leads to non-linear couplings of fields in (40). The flow equation for the fermion is given as \( \ \not \!\!D^2 \psi \) instead of \(D_\mu D_\mu \psi \) which is proposed in Ref. [4]. The second terms of R.H.S. of \(\partial _t B_\mu \) and \(\partial _t {H} \) is actually proportional to the group generator noting that \( \bar{\chi }^a \bar{\sigma }_{\mu } \chi ^b=-\chi ^b \sigma _{\mu } \bar{\chi }^a\).
We do not have any constraint on \(\theta \) that is the real part of A in the Minkowski space, which corresponds to the degree of freedom of the ordinary gauge transformation (14). Thus the Wess–Zumino gauge of SYM-flow equation is independently taken from the ordinary gauge transformation. Indeed, if we set \(\theta =0\), the flow equation is manifestly gauge covariant for t-independent gauge transformations. As in the case of Yang–Mills flow, we can choose any gauge fixing term such as \(\theta =-\alpha \partial _{\mu }B_{\mu }\) with any parameter \(\alpha \) although the flow equation of Ref. [18] is given with a specific gauge fixing term \(\theta =-\partial _{\mu }B_{\mu }\) (\(\alpha =1\)).
4.2 Symmetry of the SYM flow equation
Let us study the symmetry properties of the flow equation.
As a natural extension, five dimensional supersymmetry can be defined replacing \(A_{\mu }, \lambda ,{\bar{\lambda }}, D\) in (15) with corresponding flow fields:
One can naively expect that \(\partial _t \delta _\xi = \delta _\xi \partial _t\) if supersymmetry and the flow are consistent with each other.
After some calculations, we find that the commutation relation does not hold for \(V_\mathrm{WZ}\) and we actually have
where \(\delta _{\omega }^{g}\) represents the ordinary gauge transformation with the gauge transformation function,
where the gauge transformation of flowed fields are replacing \(\omega (x)\) in (14) by \(\omega (t, x)\). The relation (42) implies that the flow and supersymmetry are consistent with each other for any gauge invariant operator since R.H.S. vanishes. In this sense, the constructed flow equation is supersymmetric.
The gauge covariance (8) with (9) also holds for the SUSY flow equation (40). We can show that two solutions of the flow equations with and without \(\theta \) are related as
where \(\partial _t \varLambda = i \theta \varLambda \) and \(\varphi =\chi ,{\bar{\chi }}, H\). The existence of this transformation suggests us that we can take any \(\theta \) in perturbatve analyses of the flow equation. Without fixing the WZ gauge, this kind of relation also holds for (35):
where \(\varXi \) and \({\bar{\varXi }}\) obey
Note that (44) is also derived from (45) and (46) setting the WZ gauge.
We find another relation which is a supersymmetric version of (10) and (11). The SYM flow equation (40) is covariant under a time dependent gauge transformation,
where \(\omega (t,x)\) obeys \(\partial _t \omega = \delta ^g_{\omega } \theta + i[\theta , \omega ]\). Here \(\theta \) is assumed to be a function of the component fields, such as \(\theta =-\alpha \partial _\mu B_\mu \). For the superfields, it is easily shown that \(\mathcal{V}_{\varXi }\) defined by
is another solution of the fixed Eq. (35) for infinitesimal transformation parameters \(\varXi ,{\bar{\varXi }}\) satisfying
where \(\delta _\varXi \varLambda = \varLambda (V_\varXi ) - \varLambda (V)\). Note again that (47) is derived from (48) and (49) setting the WZ gauge.
5 Summary
We have defined a gradient flow equation in \(\mathcal{N}=1\) supersymmetric Yang–Mills theory in terms of the component fields of the Wess–Zumino gauge. We have shown that the obtained flow is consistent with supersymmetry (de Wit-Freedman transformation) such that the commutator of time-derivative and five-dimensional SUSY transformation vanishes up to a gauge transformation. In this sense, one can say that the flowed gauge multiplet in the Wess–Zumino gauge remains as a supermultiplet at non-zero flow time.
Although the flowed adjoint fermion and the auxiliary field receive extra renormalizations for the non-SUSY flow, one can expect that there are no such extra renormalizations in the supersymmetric flow. This is the direct consequence that the renormalization property of the gauge field is extended to \(\mathcal{N}=1\) gauge multiplet thanks to five-dimensional supersymmetry. One can also expect that the energy-momentum tensor, supercurrent and R-current form a five-dimensional Ferrara-Zumino multiplet. The SUSY flow is thus very attractable, but the actual renormalization property is still not clear and further studies are needed.
The SUSY gradient flow of the same kind can be defined in various SUSY models. The method presented in this paper could be very useful to build the theory of SUSY flow in \(\mathcal{N}=1\) SQCD and \(\mathcal{N}=2\) theories. But it would not be straightforward for \(\mathcal{N}=4\) SYM since \(\mathcal{N}=4\) theory has no off-shell formulation which is important in showing that the flow is supersymmetric. The SUSY flow can also be given for the low-dimensional SUSY theories and the Wess–Zumino model. We can say that the SUSY flow is a systematic and promising approach and will be widely used in the actual lattice computations in the near future.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: It is a theoretical article, hence there is no data to present.]
Notes
They are related as \(\sigma ^{(E)}_0 =-i\sigma _0^{(M)}\), \({\bar{\sigma }}^{(E)}_0 =-i{\bar{\sigma }}_0^{(M)}\), and \(\sigma ^{(E)}_j =\sigma _j^{(M)}\), \({\bar{\sigma }}^{(E)}_j ={\bar{\sigma }}_j^{(M)}\) for \(j=1,2,3\).
References
R. Narayanan, H. Neuberger, Infinite N phase transitions in continuum Wilson loop operators. JHEP 03, 064 (2006)
M. Lüscher, Properties and uses of the Wilson flow in lattice QCD. JHEP 08, 071 (2010). (Erratum: JHEP 03, 092 (2014))
M. Lüscher, P. Weisz, Perturbative analysis of the gradient flow in non-abelian gauge theories. JHEP 02, 051 (2011)
M. Lüscher, Chiral symmetry and the Yang–Mills gradient flow. JHEP 04, 123 (2013)
H. Suzuki, Energy-momentum tensor from the Yang–Mills gradient flow. PTEP 2013, 083B03 (2013). (Erratum: PTEP 2015, 079201 (2015))
H. Makino, H. Suzuki, Lattice energy-momentum tensor from the Yang-Mills gradient flow-inclusion of fermion fields. PTEP 2014, 063B02 (2014). (Erratum: PTEP 2015, 079202 (2015))
L. Del Debbio, A. Patella, A. Rago, Space–time symmetries and the Yang–Mills gradient flow. JHEP 11, 212 (2013). (Erratum: PTEP 2015, 079202 (2015))
M. Asakawa, T. Hatsuda, E. Itou, M. Kitazawa, H. Suzuki, Thermodynamics of SU(3) gauge theory from gradient flow on the lattice. Phys. Rev. D 90(1), 011501 (2014). (Erratum: Phys. Rev. D 92, no. 5, 059902 (2015))
M. Kitazawa, T. Iritani, M. Asakawa, T. Hatsuda, H. Suzuki, Equation of state for SU(3) gauge theory via the energy-momentum tensor under gradient flow. Phys. Rev. D 94(11), 114512 (2016)
M. Kitazawa, T. Iritani, M. Asakawa, T. Hatsuda, Correlations of the energy-momentum tensor via gradient flow in SU(3) Yang–Mills theory at finite temperature. Phys. Rev. D 96(11), 111502 (2017)
R. Yanagihara, T. Iritani, M. Kitazawa, M. Asakawa, T. Hatsuda, Distribution of stress tensor around static quark-anti-quark from Yang-Mills gradient flow. Phys. Lett. B 789, 210–214 (2019)
Y. Taniguchi, S. Ejiri, R. Iwami, K. Kanaya, M. Kitazawa, H. Suzuki, T. Umeda, N. Wakabayashi, Exploring \(N_{f}\) = 2+1 QCD thermodynamics from the gradient flow. Phys. Rev. D 96(1), 014509 (2017)
T. Hirakida, E. Itou, H. Kouno, Themodynamics for pure SU(\(2\)) gauge theory using gradient flow. PTEP 2019(3), 033B01 (2019)
G. Bergner, P. Giudice, G. Münster, I. Montvay, S. Piemonte, The light bound states of supersymmetric SU(2) Yang–Mills theory. JHEP 03, 080 (2016)
S. Ali, G. Bergner, H. Gerber, P. Giudice, I. Montvay, G. Münster, S. Piemonte, P. Scior, The light bound states of \(\cal{N}=1\) supersymmetric SU(3) Yang–Mills theory on the lattice. JHEP 03, 113 (2018)
K. Hieda, A. Kasai, H. Makino, H. Suzuki, 4D \(\cal{N}=1\) SYM supercurrent in terms of the gradient flow. PTEP 2017(6), 063B03 (2017)
A. Kasai, O. Morikawa, H. Suzuki, Gradient flow representation of the four-dimensional \(\cal{N}=2\) super Yang-Mills supercurrent. PTEP 2018(11), 113B02 (2018)
K. Kikuchi, T. Onogi, Generalized gradient flow equation and its application to super Yang–Mills theory. JHEP 11, 094 (2014)
N. Nakazawa, N=1 super Yang–Mills theory in Ito calculus. Prog. Theor. Phys. 110, 1117–1150 (2004)
N. Nakazawa, Stochastic gauge fixing in N=1 supersymmetric Yang–Mills theory. Prog. Theor. Phys. 116, 883–917 (2007)
B. de Wit, D.Z. Freedman, On combined supersymmetric and gauge invariant field theories. Phys. Rev. D 12, 2286 (1975)
K. Kikuchi, Private communication (unpublished)
J. Wess and J. Bagger, Supersymmetry and Supergravity, 2nd edn. Revised and Expanded. (Princeton Serieis in Physics Princeton University Press, Princeton, New Jersey, 1992)
Acknowledgements
We would like to thank Masafumi Fukuma, Nobuhito Maru and Hiroshi Suzuki for their encouraging comments. D.K. would also like to thank Kengo Kikuchi for helpful private discussions on supersymmetric gradient flow. This work is supported by JSPS KAKENHI Grant Numbers JP16K05328, JP16K13798, JP19K03853, JP20K03924 and JP22H01222.
Author information
Authors and Affiliations
Corresponding author
Appendices
A Generators of SU(N) gauge group
The Lie algebra of SU(N) group is the \(N^2-1\) dimensional linear space spanned by the generators \(T^a (a=1,2, \ldots ,N^2-1)\),
with the standard commutation relation,
where the structure constant \(f^{abc}\) is real and totally anti-symmetric.
In the fundamental representation, \(T^a\) satisfy the normalization
and we have a useful relation,
for any traceless matrices A and B.
B Supersymmetry in four dimensional Euclidean space
We basically follow the convention of Ref. [23] with the Wick rotation to four-dimensional Euclidean space. The Minkowski time t is replaced as \(t \rightarrow -it\) where \(t=x^0\) and \(\partial _t \rightarrow i \partial _t\). The gauge field \(A_0\) and the auxiliary fields X are then replaced as \(A_0 \rightarrow iA_0, X \rightarrow i X\). After these replacements we identify the Minkowski action \(S_{(M)}\) as the Euclidean action \(iS_{(E)}\).
1.1 B.1 Convention and spinor algebra in Euclidean space
In the Euclidean space \(\psi _\alpha \) and \({\bar{\psi }}_{{\dot{\alpha }}}\) (\(\alpha =1,2\)) transform as independent spinors under \(SU(2)_R\) and \(SU(2)_L\) group and they are not related with each other under the complex conjugate. We define the invariant tensors of \(SU(2)_R\) and \(SU(2)_L\) as
with the others are zero. Note that \(\epsilon _{\alpha \beta }\epsilon ^{\beta \gamma }=\delta _{\alpha }{}^{\gamma }\) and \(\epsilon _{{\dot{\alpha }}{\dot{\beta }}}\epsilon ^{{\dot{\beta }}{\dot{\gamma }}}=\delta _{{\dot{\alpha }}}{}^{{\dot{\gamma }}}\). Then
are Lorenz scalars. We use a totally anti-symmetric tensor \(\epsilon _{\mu \nu \rho \sigma }\) with \(\epsilon _{0123}=-1\).
The four dimensional sigma matrices in the Euclidean space \((\sigma _{\mu })_{\alpha \dot{\beta }}\) and \(({\bar{\sigma }}_{\mu })^{{\dot{\alpha }} \beta }\) are defined as
Note that the matrix elements of \(\sigma _\mu \) are different from those of Minkowski’s \(\sigma _\mu \).Footnote 3 As with (55), the contractions of \(\chi \sigma _\mu {\bar{\psi }}\) and \({\bar{\chi }} {\bar{\sigma }}_\mu \psi \) mean \(\chi ^\alpha (\sigma _\mu )_{\alpha {\dot{\beta }}} {\bar{\psi }}^{{\dot{\beta }}}\) and \({\bar{\chi }}_{{\dot{\alpha }}} ({\bar{\sigma }}_\mu )^{{\dot{\alpha }}\beta } \psi _{\beta }\), respectively.
We present the useful identities for sigma matrices,
and the generators of SO(4) in the spinor representation,
The identities for \(\sigma _{\mu \nu }\) and two and three \(\sigma \) are
The results of spinor algebra are given as follows:
For anti-commuting spinors \(\phi , \psi , {\bar{\phi }}, {\bar{\psi }}\), we have
For matrix-valued spinor fields such as \(\psi = \psi ^a T^a\) and \(\lambda = \lambda ^a T^a\), the following identities are also useful:
Hereafter, for two-component Grassmann parameters \(\eta _\alpha \) and \(\xi _\alpha \),
1.2 B.2 Chiral and vector superfields
The superfield F is defined as a Lorentz covariant function of \(x,\theta ,{\bar{\theta }}\) with supersymmetry transformation,
where \(\xi _\alpha \) and \({\bar{\xi }}_{{\dot{\alpha }}}\) are two component Grassmann global parameters and the difference operators \(Q_\alpha , {\bar{Q}}_{{\dot{\alpha }}}\) are defined by
The associated super covariant derivatives which commute with \(Q_{\alpha }\) and \(\bar{Q}_{{\dot{\alpha }}}\) are defined as
These difference operators obey
and the other anti-commutation relations vanish.
The supersymmetry transformation of each component field is obtained by expanding \(F(x,\theta ,{\bar{\theta }}) \) with respect to \(\theta \) and \({\bar{\theta }}\) and comparing the coefficients of the \(\theta \)-expansion between the both sides of (84).
The chiral and anti-chiral superfields \(\varPhi (x,\theta ,{\bar{\theta }})\) and \({\bar{\varPhi }}(x,\theta ,{\bar{\theta }})\) are defined as superfields that satisfy \({\bar{D}}_{{\dot{\alpha }}}\varPhi = 0\) and \(D_{\alpha } {\bar{\varPhi }} =0\), respectively. They are expanded in \(\theta \) and \({\bar{\theta }}\) as
where \(A, {\bar{A}}, F\) and \({\bar{F}}\) are independent complex bosonic fields, and \(\psi , {\bar{\psi }}\) are two component fermions. Although \({\bar{\varPhi }}\) is complex conjugate of \(\varPhi \) in the Minkowski space, that relation is broken in the Euclidean space.
Introducing new coordinate \((y, \theta , {\bar{\theta }})\) with \(y_{\mu }=x_{\mu }+i\theta \sigma _{\mu }{\bar{\theta }}\), the derivative operators and \(\varPhi \) are expressed as
while in \((\bar{y}, \theta , {\bar{\theta }})\) with \(\bar{y}_{\mu }=x_{\mu }-i\theta \sigma _{\mu }{\bar{\theta }}\),
Note that \({\bar{y}}\) is not a complex conjugate of y in the Euclidean space.
The vector superfield is defined as
where C, D, M, N and \(A_{\mu }\) are real bosonic fields, and \(\eta , {\bar{\eta }}, \lambda , {\bar{\lambda }}\) are spinor fields. The Euclidean vector superfield (18) is obtained by the Wick rotation of vector superfield in the Minkowski space \(V_M\) which satisfies \(V_M^\dag =V_M\).
1.3 B.3 \(\mathcal{N}=1\) super Yang–Mills in four dimensional Euclidean space
In the gauge theory, the vector superfield is a matrix-valued field as
The \(N=1\) SYM action is given in terms of vector superfield:
where
which are chiral superfields since \(\bar{D}_{{\dot{\alpha }}}W_{\beta }=D_{\alpha }\bar{W}_{{\dot{\beta }}}=0\).
The extended gauge transformation is defined by
where
with \(\varLambda =\varLambda ^a T^a\) and \({\bar{\varLambda }}={\bar{\varLambda }}^a T^a\). The chiral superfields \(W_\alpha \) and \(\bar{W}_{{\dot{\alpha }}}\) transform in a covariant manner under the extended gauge transformation (96),
The infinitesimal extended gauge transformation is expressed as
where the Lie derivative \(\mathcal{L}_{V}\cdot \varLambda = [V,\varLambda ]\).
We can eliminates \(C, M, N, \eta , {\bar{\eta }}\) fields in (92) by choosing the component fields of \(\varLambda , {\bar{\varLambda }}\) as the Wess–Zumino gauge fixing. The vector superfield in the Wess–Zumino gauge is given by
Then,
where
The \(\mathcal{N}=1\) super Yang–Mills action in the Wess–Zumino gauge is given in terms of the component fields,
The action is invariant under supersymmetry transformation [21],
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3
About this article
Cite this article
Kadoh, D., Ukita, N. Supersymmetric gradient flow in \(\mathcal{N}=1\) SYM. Eur. Phys. J. C 82, 435 (2022). https://doi.org/10.1140/epjc/s10052-022-10404-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-022-10404-y