\addbibresource

bibliography.bib

KUNS-3037

Energy-Momentum Tensor and D-term of Baryons in Top-down Holographic QCD

Shigeki Sugimotoa,b,c111e-mail: [email protected]  and  Taichi Tsukamotoa222e-mail: [email protected]

a Department of Physics, Kyoto University, Kyoto 606-8502, Japan
b Center for Gravitational Physics and Quantum Information, Yukawa Institute for Theoretical Physics, Kyoto University, Kyoto 606-8502, Japan
c Kavli Institute for the Physics and Mathematics of the Universe (WPI),
The University of Tokyo, Kashiwanoha, Kashiwa 277-8583, Japan

Abstract

We study the energy-momentum tensor of a baryon in a top-down holographic QCD. In holographic QCD, the baryons are represented as solitons in a 5-dimensional gauge theory. We obtain the soliton solution by solving the equations of motion numerically. Using this result, the energy-momentum tensor and related quantities such as the mass, mean square radii, and the D-term (druck term) are computed. The evaluated D-term is about 2.052.05-2.05- 2.05, whose absolute value is significantly larger than that in the previous work [Fujita:2022jus].

1 Introduction

The gravitational form factors are important quantities to probe the internal structures of hadrons.333See, e.g. [Polyakov:2019lbq] for a review. They are defined by the matrix elements of the energy-momentum tensor (EMT) and carry the information of the distributions of mass, spin, pressure, and shear force inside the hadron. Recently, these quantities have been extracted from experimental data [Kumano:2017lhr, Burkert:2018bqq, Kumericki:2019ddg, Burkert:2021ith, Kou:2021qdc, Wang:2022ndz] and triggered a lot of theoretical developments. (See [Polyakov:2019lbq, Burkert:2023wzr] and the references therein.) In general, the evaluation of hadronic matrix elements in quantum chromodynamics (QCD), especially at low energies, is complicated because it requires serious analysis in a strongly coupled system involving the physics of bound states. Therefore, it would be worthwhile to investigate various methods to calculate these quantities and compare the predictions with each other and with experimental data.

The main goal of this paper is to report an improved numerical analysis of the gravitational form factors, in particular the so-called D-term for the nucleon, using a top down holographic QCD proposed in [Sakai:2004cn, Sakai:2005yt]. The holographic description of QCD is obtained from a configuration of D-branes that realizes QCD in string theory. Since string theory contains gravity, it provides a natural framework to read off the gravitational form factors through the gravitational interactions of the hadrons.

The explicit procedure to obtain the gravitational form factors for baryons in this model was investigated in [Fujita:2022jus] in detail and the value of the D-term was estimated. 444See [Fujii:2024rqd] for the recent study of the gravitational form factors for pion in this model. It was pointed out that the gravitational form factors (in the leading order of the 1/Nc1subscript𝑁𝑐1/N_{c}1 / italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT expansion) can be expressed as a sum over the contributions of glueball exchange diagrams, which was referred to as the glueball dominance. Furthermore, it was shown that in the zero momentum transfer limit, the gravitational form factors can be estimated by the EMT obtained in the meson effective theory. Based on these results, the value of the D-term was estimated to be around 0.140.14-0.14- 0.14. However, the analysis in [Fujita:2022jus] cannot be considered complete. One of the drawbacks was that the soliton configuration was obtained not by solving the equations of motion (EOMs), but by smoothly connecting the solutions near the center and the boundary. In this paper, we improve this point by numerically solving the EOMs. It turns out that the value of the D-term is sensitive to the configuration of the gauge field in the intermediate region and it is crucial to accurately obtain the solution there. Our prediction of the value of the D-term is around 2.052.05-2.05- 2.05. We also compute mean square radii, energy density, pressure, and shear force.

The organization of the paper is as follows. We start by reviewing the gravitational form factor in section 2 and summarizing useful formulas. In section 3, we investigate the EMT obtained from the meson effective action in holographic QCD for the soliton solution under Witten’s ansatz [Witten:1976ck]. Our numerical results are summarized in section 4. The estimated values of the D-term and mean square radii are listed in Table 1. Section 5 is devoted to the conclusion and discussion of possible future directions.

2 Gravitational form factor

2.1 Definition of the gravitational form factors and the D-term

In this subsection, we briefly review the definition of the gravitational form factors (GFFs) and the D-term based on [Polyakov:2018zvc]. The GFFs are given by the matrix element of the EMT operator T^μνsubscript^𝑇𝜇𝜈\hat{T}_{\mu\nu}over^ start_ARG italic_T end_ARG start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT. According to Lorentz invariance, it is written as

p,s|T^μν(x)|p,s=u¯[A(t)PμPνm+J(t)i(Pμσνρ+Pνσμρ)Δρ2m+D(t)ΔμΔνημνΔ24m+c¯(t)ημν]ueiΔx.expectation-valuesubscript^𝑇𝜇𝜈𝑥superscript𝑝superscript𝑠𝑝𝑠¯𝑢𝐴𝑡subscript𝑃𝜇subscript𝑃𝜈𝑚𝐽𝑡𝑖subscript𝑃𝜇subscript𝜎𝜈𝜌subscript𝑃𝜈subscript𝜎𝜇𝜌superscriptΔ𝜌2𝑚𝐷𝑡subscriptΔ𝜇subscriptΔ𝜈subscript𝜂𝜇𝜈superscriptΔ24𝑚¯𝑐𝑡subscript𝜂𝜇𝜈𝑢superscript𝑒𝑖Δ𝑥\begin{split}&\matrixelement{p^{\prime},s^{\prime}}{\hat{T}_{\mu\nu}(x)}{p,s}% \\ &=\bar{u}\quantity[A(t)\frac{P_{\mu}P_{\nu}}{m}+J(t)\frac{i(P_{\mu}\sigma_{\nu% \rho}+P_{\nu}\sigma_{\mu\rho})\Delta^{\rho}}{2m}+D(t)\frac{\Delta_{\mu}\Delta_% {\nu}-\eta_{\mu\nu}\Delta^{2}}{4m}+\bar{c}(t)\eta_{\mu\nu}]ue^{-i\Delta x}.% \end{split}start_ROW start_CELL end_CELL start_CELL ⟨ start_ARG italic_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG | start_ARG over^ start_ARG italic_T end_ARG start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT ( italic_x ) end_ARG | start_ARG italic_p , italic_s end_ARG ⟩ end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL = over¯ start_ARG italic_u end_ARG [ start_ARG italic_A ( italic_t ) divide start_ARG italic_P start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_P start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT end_ARG start_ARG italic_m end_ARG + italic_J ( italic_t ) divide start_ARG italic_i ( italic_P start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_ν italic_ρ end_POSTSUBSCRIPT + italic_P start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_σ start_POSTSUBSCRIPT italic_μ italic_ρ end_POSTSUBSCRIPT ) roman_Δ start_POSTSUPERSCRIPT italic_ρ end_POSTSUPERSCRIPT end_ARG start_ARG 2 italic_m end_ARG + italic_D ( italic_t ) divide start_ARG roman_Δ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT roman_Δ start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT - italic_η start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 italic_m end_ARG + over¯ start_ARG italic_c end_ARG ( italic_t ) italic_η start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT end_ARG ] italic_u italic_e start_POSTSUPERSCRIPT - italic_i roman_Δ italic_x end_POSTSUPERSCRIPT . end_CELL end_ROW (2.1)

for a spin-1/2 particle with mass m𝑚mitalic_m.555We use the Minkowski metric with the mostly-plus convention ημν=(,+,+,+)subscript𝜂𝜇𝜈\eta_{\mu\nu}=(-,+,+,+)italic_η start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT = ( - , + , + , + ). Here |p,sket𝑝𝑠\ket{p,s}| start_ARG italic_p , italic_s end_ARG ⟩ is a one-particle state with momentum p𝑝pitalic_p and helicity s𝑠sitalic_s, which satisfies the normalization condition p,s|p,s=2p0(2π)3δ(𝒑𝒑)δs,sinner-productsuperscript𝑝superscript𝑠𝑝𝑠2superscript𝑝0superscript2𝜋3𝛿superscript𝒑𝒑subscript𝛿superscript𝑠𝑠\innerproduct{p^{\prime},s^{\prime}}{p,s}=2p^{0}(2\pi)^{3}\delta({\bf\it p}^{% \prime}-{\bf\it p})\delta_{s^{\prime},s}⟨ start_ARG italic_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG | start_ARG italic_p , italic_s end_ARG ⟩ = 2 italic_p start_POSTSUPERSCRIPT 0 end_POSTSUPERSCRIPT ( 2 italic_π ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT italic_δ ( bold_italic_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT - bold_italic_p ) italic_δ start_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_s end_POSTSUBSCRIPT. P𝑃Pitalic_P, ΔΔ\Deltaroman_Δ, and t𝑡titalic_t are defined as P:=(p+p)/2assign𝑃𝑝superscript𝑝2P:=(p+p^{\prime})/2italic_P := ( italic_p + italic_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) / 2, Δ:=ppassignΔsuperscript𝑝𝑝\Delta:=p^{\prime}-proman_Δ := italic_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT - italic_p, and t:=Δ2assign𝑡superscriptΔ2t:=-\Delta^{2}italic_t := - roman_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, respectively. u(p,s)𝑢𝑝𝑠u(p,s)italic_u ( italic_p , italic_s ) is the four-component spinor normalized as u¯(p,s)u(p,s)=2m¯𝑢𝑝𝑠𝑢𝑝𝑠2𝑚\bar{u}(p,s)u(p,s)=2mover¯ start_ARG italic_u end_ARG ( italic_p , italic_s ) italic_u ( italic_p , italic_s ) = 2 italic_m. A(t)𝐴𝑡A(t)italic_A ( italic_t ), J(t)𝐽𝑡J(t)italic_J ( italic_t ), and D(t)𝐷𝑡D(t)italic_D ( italic_t ) are the GFFs which are renormalization scale invariant scalar functions representing the inner structure of the particle. c¯(t)¯𝑐𝑡\bar{c}(t)over¯ start_ARG italic_c end_ARG ( italic_t ) corresponds to the breaking of EMT conservation and it vanishes for the total EMT. It appears when the EMT is separated into some parts (in this paper, we will separate the EMT into the SU(Nf)𝑆𝑈subscript𝑁𝑓SU(N_{f})italic_S italic_U ( italic_N start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT ) part and the U(1)𝑈1U(1)italic_U ( 1 ) part). The number of form factors depends on the spin of the particle. For example, the J𝐽Jitalic_J term is absent for scalar particles.

It is convenient to introduce the Breit frame P=(E,0)𝑃𝐸bold-italic-0P=(E,{\bf\it 0})italic_P = ( italic_E , bold_italic_0 ), Δ=(0,𝜟)Δ0𝜟\Delta=(0,{\bf\it\Delta})roman_Δ = ( 0 , bold_italic_Δ ). In the Breit frame, the static EMT matrix elements are expressed as

p,s|T^00(0)|p,sexpectation-valuesuperscript^𝑇000superscript𝑝superscript𝑠𝑝𝑠\displaystyle\matrixelement{p^{\prime},s^{\prime}}{\hat{T}^{00}(0)}{p,s}⟨ start_ARG italic_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG | start_ARG over^ start_ARG italic_T end_ARG start_POSTSUPERSCRIPT 00 end_POSTSUPERSCRIPT ( 0 ) end_ARG | start_ARG italic_p , italic_s end_ARG ⟩ =2mE[A(t)t4m2(A(t)2J(t)+D(t))]δss,absent2𝑚𝐸𝐴𝑡𝑡4superscript𝑚2𝐴𝑡2𝐽𝑡𝐷𝑡subscript𝛿superscript𝑠𝑠\displaystyle=2mE\quantity[A(t)-\frac{t}{4m^{2}}\quantity(A(t)-2J(t)+D(t))]% \delta_{s^{\prime}s},= 2 italic_m italic_E [ start_ARG italic_A ( italic_t ) - divide start_ARG italic_t end_ARG start_ARG 4 italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ( start_ARG italic_A ( italic_t ) - 2 italic_J ( italic_t ) + italic_D ( italic_t ) end_ARG ) end_ARG ] italic_δ start_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_s end_POSTSUBSCRIPT , (2.2)
p,s|T^0i(0)|p,sexpectation-valuesuperscript^𝑇0𝑖0superscript𝑝superscript𝑠𝑝𝑠\displaystyle\matrixelement{p^{\prime},s^{\prime}}{\hat{T}^{0i}(0)}{p,s}⟨ start_ARG italic_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG | start_ARG over^ start_ARG italic_T end_ARG start_POSTSUPERSCRIPT 0 italic_i end_POSTSUPERSCRIPT ( 0 ) end_ARG | start_ARG italic_p , italic_s end_ARG ⟩ =2mE[J(t)(i𝜟×𝝈ss)i2m],absent2𝑚𝐸𝐽𝑡subscript𝑖𝜟subscript𝝈superscript𝑠𝑠𝑖2𝑚\displaystyle=2mE\quantity[J(t)\frac{(-i{\bf\it\Delta}\times{\bf\it\sigma}_{s^% {\prime}s})_{i}}{2m}],= 2 italic_m italic_E [ start_ARG italic_J ( italic_t ) divide start_ARG ( - italic_i bold_italic_Δ × bold_italic_σ start_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_s end_POSTSUBSCRIPT ) start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT end_ARG start_ARG 2 italic_m end_ARG end_ARG ] , (2.3)
p,s|T^ij(0)|p,sexpectation-valuesuperscript^𝑇𝑖𝑗0superscript𝑝superscript𝑠𝑝𝑠\displaystyle\matrixelement{p^{\prime},s^{\prime}}{\hat{T}^{ij}(0)}{p,s}⟨ start_ARG italic_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_ARG | start_ARG over^ start_ARG italic_T end_ARG start_POSTSUPERSCRIPT italic_i italic_j end_POSTSUPERSCRIPT ( 0 ) end_ARG | start_ARG italic_p , italic_s end_ARG ⟩ =2mE[D(t)𝜟i𝜟jδij𝜟24m2]δss.absent2𝑚𝐸𝐷𝑡subscript𝜟𝑖subscript𝜟𝑗subscript𝛿𝑖𝑗superscript𝜟24superscript𝑚2subscript𝛿superscript𝑠𝑠\displaystyle=2mE\quantity[D(t)\frac{{\bf\it\Delta}_{i}{\bf\it\Delta}_{j}-% \delta_{ij}{\bf\it\Delta}^{2}}{4m^{2}}]\delta_{s^{\prime}s}.= 2 italic_m italic_E [ start_ARG italic_D ( italic_t ) divide start_ARG bold_italic_Δ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT bold_italic_Δ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - italic_δ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT bold_italic_Δ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 4 italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG end_ARG ] italic_δ start_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_s end_POSTSUBSCRIPT . (2.4)

Here, σssi=χsσiχssuperscriptsubscript𝜎superscript𝑠𝑠𝑖subscriptsuperscript𝜒superscript𝑠superscript𝜎𝑖subscript𝜒𝑠\sigma_{s^{\prime}s}^{i}=\chi^{\dagger}_{s^{\prime}}\sigma^{i}\chi_{s}italic_σ start_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT = italic_χ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT italic_σ start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT italic_χ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT with the Pauli spinors χssubscript𝜒superscript𝑠\chi_{s^{\prime}}italic_χ start_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT and χssubscript𝜒𝑠\chi_{s}italic_χ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT in the respective rest frames normalized as χsχs=δsssubscriptsuperscript𝜒superscript𝑠subscript𝜒𝑠subscript𝛿superscript𝑠𝑠\chi^{\dagger}_{s^{\prime}}\chi_{s}=\delta_{s^{\prime}s}italic_χ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT end_POSTSUBSCRIPT italic_χ start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT = italic_δ start_POSTSUBSCRIPT italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT italic_s end_POSTSUBSCRIPT. Using the Fourier transformation

Tμν(𝒙):=d3𝜟(2π)32Ep,s|T^μν(0)|p,sei𝜟𝒙,assignsubscript𝑇𝜇𝜈𝒙superscript3𝜟superscript2𝜋32𝐸expectation-valuesubscript^𝑇𝜇𝜈0superscript𝑝𝑠𝑝𝑠superscript𝑒𝑖𝜟𝒙T_{\mu\nu}({\bf\it x}):=\int\frac{\differential^{3}{\bf\it\Delta}}{(2\pi)^{3}2% E}\matrixelement{p^{\prime},s}{\hat{T}_{\mu\nu}(0)}{p,s}e^{-i{\bf\it\Delta}% \cdot{\bf\it x}},italic_T start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT ( bold_italic_x ) := ∫ divide start_ARG start_DIFFOP roman_d end_DIFFOP start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT bold_italic_Δ end_ARG start_ARG ( 2 italic_π ) start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT 2 italic_E end_ARG ⟨ start_ARG italic_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_s end_ARG | start_ARG over^ start_ARG italic_T end_ARG start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT ( 0 ) end_ARG | start_ARG italic_p , italic_s end_ARG ⟩ italic_e start_POSTSUPERSCRIPT - italic_i bold_italic_Δ ⋅ bold_italic_x end_POSTSUPERSCRIPT , (2.5)

A(t)𝐴𝑡A(t)italic_A ( italic_t ), J(t)𝐽𝑡J(t)italic_J ( italic_t ), and D(t)𝐷𝑡D(t)italic_D ( italic_t ) satisfy

A(t)t4m(A(t)2J(t)+D(t))𝐴𝑡𝑡4𝑚𝐴𝑡2𝐽𝑡𝐷𝑡\displaystyle A(t)-\frac{t}{4m}\quantity(A(t)-2J(t)+D(t))italic_A ( italic_t ) - divide start_ARG italic_t end_ARG start_ARG 4 italic_m end_ARG ( start_ARG italic_A ( italic_t ) - 2 italic_J ( italic_t ) + italic_D ( italic_t ) end_ARG ) =1md3𝒙T00(𝒙)ei𝜟𝒙,absent1𝑚superscript3𝒙superscript𝑇00𝒙superscript𝑒𝑖𝜟𝒙\displaystyle=\frac{1}{m}\int\differential^{3}{\bf\it x}T^{00}({\bf\it x})e^{i% {\bf\it\Delta}\cdot{\bf\it x}},= divide start_ARG 1 end_ARG start_ARG italic_m end_ARG ∫ start_DIFFOP roman_d end_DIFFOP start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT bold_italic_x italic_T start_POSTSUPERSCRIPT 00 end_POSTSUPERSCRIPT ( bold_italic_x ) italic_e start_POSTSUPERSCRIPT italic_i bold_italic_Δ ⋅ bold_italic_x end_POSTSUPERSCRIPT , (2.6)
(δij+(tδij+𝜟i𝜟j)ddt)J(t)sjsubscript𝛿𝑖𝑗𝑡subscript𝛿𝑖𝑗subscript𝜟𝑖subscript𝜟𝑗derivative𝑡𝐽𝑡superscript𝑠𝑗\displaystyle\quantity(\delta_{ij}+\quantity(t\delta_{ij}+{\bf\it\Delta}_{i}{% \bf\it\Delta}_{j}){\derivative{t}})J(t)s^{j}( start_ARG italic_δ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT + ( start_ARG italic_t italic_δ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT + bold_italic_Δ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT bold_italic_Δ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT end_ARG ) start_DIFFOP divide start_ARG roman_d end_ARG start_ARG roman_d start_ARG italic_t end_ARG end_ARG end_DIFFOP end_ARG ) italic_J ( italic_t ) italic_s start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT =d3𝒙ϵijkxjT0k(𝒙)ei𝜟𝒙,absentsuperscript3𝒙subscriptitalic-ϵ𝑖𝑗𝑘superscript𝑥𝑗superscript𝑇0𝑘𝒙superscript𝑒𝑖𝜟𝒙\displaystyle=\int\differential^{3}{\bf\it x}\epsilon_{ijk}x^{j}T^{0k}({\bf\it x% })e^{i{\bf\it\Delta}\cdot{\bf\it x}},= ∫ start_DIFFOP roman_d end_DIFFOP start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT bold_italic_x italic_ϵ start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT italic_x start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT italic_T start_POSTSUPERSCRIPT 0 italic_k end_POSTSUPERSCRIPT ( bold_italic_x ) italic_e start_POSTSUPERSCRIPT italic_i bold_italic_Δ ⋅ bold_italic_x end_POSTSUPERSCRIPT , (2.7)
(1+43tddt+415t2d2dt2)D(t)143𝑡derivative𝑡415superscript𝑡2derivative𝑡2𝐷𝑡\displaystyle\quantity(1+\frac{4}{3}t{\derivative{t}}+\frac{4}{15}t^{2}% \derivative[2]{t})D(t)( start_ARG 1 + divide start_ARG 4 end_ARG start_ARG 3 end_ARG italic_t start_DIFFOP divide start_ARG roman_d end_ARG start_ARG roman_d start_ARG italic_t end_ARG end_ARG end_DIFFOP + divide start_ARG 4 end_ARG start_ARG 15 end_ARG italic_t start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT start_DIFFOP divide start_ARG start_DIFFOP SUPERSCRIPTOP start_ARG roman_d end_ARG start_ARG 2 end_ARG end_DIFFOP end_ARG start_ARG SUPERSCRIPTOP start_ARG roman_d start_ARG italic_t end_ARG end_ARG start_ARG 2 end_ARG end_ARG end_DIFFOP end_ARG ) italic_D ( italic_t ) =25md3𝒙(𝒙i𝒙j13δij𝒙2)Tij(𝒙)ei𝜟𝒙.absent25𝑚superscript3𝒙superscript𝒙𝑖superscript𝒙𝑗13superscript𝛿𝑖𝑗superscript𝒙2subscript𝑇𝑖𝑗𝒙superscript𝑒𝑖𝜟𝒙\displaystyle=-\frac{2}{5}m\int\differential^{3}{\bf\it x}\quantity({\bf\it x}% ^{i}{\bf\it x}^{j}-\frac{1}{3}\delta^{ij}{\bf\it x}^{2})T_{ij}({\bf\it x})e^{i% {\bf\it\Delta}\cdot{\bf\it x}}.= - divide start_ARG 2 end_ARG start_ARG 5 end_ARG italic_m ∫ start_DIFFOP roman_d end_DIFFOP start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT bold_italic_x ( start_ARG bold_italic_x start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT bold_italic_x start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG 3 end_ARG italic_δ start_POSTSUPERSCRIPT italic_i italic_j end_POSTSUPERSCRIPT bold_italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) italic_T start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ( bold_italic_x ) italic_e start_POSTSUPERSCRIPT italic_i bold_italic_Δ ⋅ bold_italic_x end_POSTSUPERSCRIPT . (2.8)

Here, s𝑠sitalic_s dependence of Tμν(𝒙)superscript𝑇𝜇𝜈𝒙T^{\mu\nu}({\bf\it x})italic_T start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT ( bold_italic_x ) is implicit and si=(σss)isuperscript𝑠𝑖superscriptsubscript𝜎𝑠𝑠𝑖s^{i}=(\sigma_{ss})^{i}italic_s start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT = ( italic_σ start_POSTSUBSCRIPT italic_s italic_s end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT in (2.7) is the unit vector along the spin direction.

In the forward limit t0𝑡0t\to 0italic_t → 0, we have

A(0)𝐴0\displaystyle A(0)italic_A ( 0 ) =1md3𝒙T00(𝒙)=1,absent1𝑚superscript3𝒙superscript𝑇00𝒙1\displaystyle=\frac{1}{m}\int\differential^{3}{\bf\it x}T^{00}({\bf\it x})=1,= divide start_ARG 1 end_ARG start_ARG italic_m end_ARG ∫ start_DIFFOP roman_d end_DIFFOP start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT bold_italic_x italic_T start_POSTSUPERSCRIPT 00 end_POSTSUPERSCRIPT ( bold_italic_x ) = 1 , (2.9)
J(0)si𝐽0subscript𝑠𝑖\displaystyle J(0)s_{i}italic_J ( 0 ) italic_s start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT =d3𝒙ϵijkxjT0k(𝒙)=12si,absentsuperscript3𝒙subscriptitalic-ϵ𝑖𝑗𝑘superscript𝑥𝑗superscript𝑇0𝑘𝒙12subscript𝑠𝑖\displaystyle=\int\differential^{3}{\bf\it x}\epsilon_{ijk}x^{j}T^{0k}({\bf\it x% })=\frac{1}{2}s_{i},= ∫ start_DIFFOP roman_d end_DIFFOP start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT bold_italic_x italic_ϵ start_POSTSUBSCRIPT italic_i italic_j italic_k end_POSTSUBSCRIPT italic_x start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT italic_T start_POSTSUPERSCRIPT 0 italic_k end_POSTSUPERSCRIPT ( bold_italic_x ) = divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_s start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT , (2.10)
D(0)𝐷0\displaystyle D(0)italic_D ( 0 ) =25md3𝒙(𝒙i𝒙j13δij𝒙2)Tij(𝒙).absent25𝑚superscript3𝒙superscript𝒙𝑖superscript𝒙𝑗13superscript𝛿𝑖𝑗superscript𝒙2subscript𝑇𝑖𝑗𝒙\displaystyle=-\frac{2}{5}m\int\differential^{3}{\bf\it x}\quantity({\bf\it x}% ^{i}{\bf\it x}^{j}-\frac{1}{3}\delta^{ij}{\bf\it x}^{2})T_{ij}({\bf\it x}).= - divide start_ARG 2 end_ARG start_ARG 5 end_ARG italic_m ∫ start_DIFFOP roman_d end_DIFFOP start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT bold_italic_x ( start_ARG bold_italic_x start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT bold_italic_x start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG 3 end_ARG italic_δ start_POSTSUPERSCRIPT italic_i italic_j end_POSTSUPERSCRIPT bold_italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) italic_T start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ( bold_italic_x ) . (2.11)

The value of A(0)𝐴0A(0)italic_A ( 0 ) is fixed to 1. This corresponds to the mass of the particle being m𝑚mitalic_m. In the same way, J(0)𝐽0J(0)italic_J ( 0 ) is fixed to 1/2, which reflects the fact that the particle has spin 1/2. On the other hand, the value of D=D(0)𝐷𝐷0D=D(0)italic_D = italic_D ( 0 ) is not determined in general. This D𝐷Ditalic_D is called the D term and reflects the internal force distribution of the particle. The D-term is as fundamental as the mass and spin of a particle and is often referred to as “the last unknown global property” [Polyakov:2018zvc]. One of our goals is to estimate the value of the D-term of the baryon.

The value of the D-term for the nucleon has been evaluated using experimental data [Burkert:2018bqq, Kumericki:2019ddg, Burkert:2021ith, Kou:2021qdc, Wang:2022ndz, Goharipour:2025lep], bag model [Neubelt:2019sou], lattice QCD [Shanahan:2018nnv, Shanahan:2018pib, Hackett:2023rif], light-cone QCD sum rules [Anikin:2019kwi, Azizi:2019ytx, Dehghan:2025ncw], Skyrme model and its generalization [Cebulla:2007ei, Jung:2013bya, Kim:2012ts, GarciaMartin-Caro:2023klo, GarciaMartin-Caro:2023toa], chiral quark soliton model [Goeke:2007fp, Wakamatsu:2007uc], and bottom up holographic QCD [Mamo:2019mka, Mamo:2021krl, Mamo:2022eui]. It is expected to be in the range 5<D<15𝐷1-5<D<-1- 5 < italic_D < - 1. For details, see [Polyakov:2018zvc] and [Cao:2024zlf].

2.2 Spherically symmetric case

In a spherically symmetric system, the stress tensor Tijsubscript𝑇𝑖𝑗T_{ij}italic_T start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT can be decomposed into a trace part and a traceless part

Tij(𝒙)=p(r)δij+s(r)(ninj13δij),subscript𝑇𝑖𝑗𝒙𝑝𝑟subscript𝛿𝑖𝑗𝑠𝑟subscript𝑛𝑖subscript𝑛𝑗13subscript𝛿𝑖𝑗T_{ij}({\bf\it x})=p(r)\delta_{ij}+s(r)\quantity(n_{i}n_{j}-\frac{1}{3}\delta_% {ij}),italic_T start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ( bold_italic_x ) = italic_p ( italic_r ) italic_δ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT + italic_s ( italic_r ) ( start_ARG italic_n start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - divide start_ARG 1 end_ARG start_ARG 3 end_ARG italic_δ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG ) , (2.12)

where p(r)𝑝𝑟p(r)italic_p ( italic_r ) is the pressure and s(r)𝑠𝑟s(r)italic_s ( italic_r ) is the shear force inside the particle. Substituting the spherically symmetric stress tensor (2.12) into (2.8) and solving the differential equation, the form factor D(t)𝐷𝑡D(t)italic_D ( italic_t ) can be expressed as

D(t)=16πmdrr4s(r)j2(tr)tr2,𝐷𝑡16𝜋𝑚𝑟superscript𝑟4𝑠𝑟subscript𝑗2𝑡𝑟𝑡superscript𝑟2D(t)=16\pi m\int\differential rr^{4}s(r)\frac{j_{2}\quantity(\sqrt{-t}r)}{tr^{% 2}},italic_D ( italic_t ) = 16 italic_π italic_m ∫ start_DIFFOP roman_d end_DIFFOP italic_r italic_r start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT italic_s ( italic_r ) divide start_ARG italic_j start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( start_ARG square-root start_ARG - italic_t end_ARG italic_r end_ARG ) end_ARG start_ARG italic_t italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG , (2.13)

where j2(x)subscript𝑗2𝑥j_{2}(x)italic_j start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_x ) is the spherical Bessel function. Taking the forward limit t0𝑡0t\to 0italic_t → 0, we have

D=16π15mdrr4s(r).𝐷16𝜋15𝑚𝑟superscript𝑟4𝑠𝑟D=-\frac{16\pi}{15}m\int\differential rr^{4}s(r).italic_D = - divide start_ARG 16 italic_π end_ARG start_ARG 15 end_ARG italic_m ∫ start_DIFFOP roman_d end_DIFFOP italic_r italic_r start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT italic_s ( italic_r ) . (2.14)

The conservation law μTμν=0subscript𝜇superscript𝑇𝜇𝜈0\partial_{\mu}T^{\mu\nu}=0∂ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_T start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT = 0 yields a constraint between p𝑝pitalic_p and s𝑠sitalic_s,

p(r)+23s(r)+2rs(r)=0.superscript𝑝𝑟23superscript𝑠𝑟2𝑟𝑠𝑟0p^{\prime}(r)+\frac{2}{3}s^{\prime}(r)+\frac{2}{r}s(r)=0.italic_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_r ) + divide start_ARG 2 end_ARG start_ARG 3 end_ARG italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_r ) + divide start_ARG 2 end_ARG start_ARG italic_r end_ARG italic_s ( italic_r ) = 0 . (2.15)

From this equation, it can be shown that the pressure p𝑝pitalic_p satisfies the von-Laue condition [laue1911dynamik]

drr2p(r)=0.𝑟superscript𝑟2𝑝𝑟0\int\differential rr^{2}p(r)=0.∫ start_DIFFOP roman_d end_DIFFOP italic_r italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_p ( italic_r ) = 0 . (2.16)

This implies that the pressure has positive and negative regions. Using (2.15) and integration by parts, we can express the D-term in terms of p(r)𝑝𝑟p(r)italic_p ( italic_r ) instead of s(r)𝑠𝑟s(r)italic_s ( italic_r ),

D=4πmdrr4p(r).𝐷4𝜋𝑚𝑟superscript𝑟4𝑝𝑟D=4\pi m\int\differential rr^{4}p(r).italic_D = 4 italic_π italic_m ∫ start_DIFFOP roman_d end_DIFFOP italic_r italic_r start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT italic_p ( italic_r ) . (2.17)

Note that (2.14) and (2.17) are equivalent only for the total EMT. For the separated EMT (SU(Nf)𝑆𝑈subscript𝑁𝑓SU(N_{f})italic_S italic_U ( italic_N start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT ) part and U(1)𝑈1U(1)italic_U ( 1 ) part, for example), the non-conserving term c¯¯𝑐\bar{c}over¯ start_ARG italic_c end_ARG also appears on the right-hand side of (2.17).

3 The energy-momentum tensor in holographic QCD

3.1 The model

The model we consider is the top-down holographic QCD model introduced in [Sakai:2004cn, Sakai:2005yt]. It is a holographic dual of SU(Nc)𝑆𝑈subscript𝑁𝑐SU(N_{c})italic_S italic_U ( italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT ) QCD with Nfsubscript𝑁𝑓N_{f}italic_N start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT massless quarks realized in a system of Ncsubscript𝑁𝑐N_{c}italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT D4-branes compactified on S1superscript𝑆1S^{1}italic_S start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT of radius MKK1superscriptsubscript𝑀KK1M_{\mathrm{KK}}^{-1}italic_M start_POSTSUBSCRIPT roman_KK end_POSTSUBSCRIPT start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT with Nfsubscript𝑁𝑓N_{f}italic_N start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT pairs of D8-D8¯¯D8\mathrm{\overline{D8}}over¯ start_ARG D8 end_ARG branes. The holographic dual description is obtained by replacing the D4-brane with the corresponding supergravity background [Witten:1998zw]. This gives a system of Nfsubscript𝑁𝑓N_{f}italic_N start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT D8-branes embedded in this background, and closed and open strings correspond to glueballs and mesons, respectively.

The low energy effective action of open strings on the D8 branes is the U(Nf)𝑈subscript𝑁𝑓U(N_{f})italic_U ( italic_N start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT ) Yang-Mills theory with the Chern-Simons term on a 1+4 dimensional curved background spacetime,

S=κ2d4xdztr(h(z)μν2+2k(z)zμ2)+Nc24π2ω5(𝒜).𝑆𝜅2superscript4𝑥𝑧trace𝑧superscriptsubscript𝜇𝜈22𝑘𝑧superscriptsubscript𝑧𝜇2subscript𝑁𝑐24superscript𝜋2subscript𝜔5𝒜S=-\frac{\kappa}{2}\int\differential^{4}x\differential z\tr\quantity(h(z)% \mathcal{F}_{\mu\nu}^{2}+2k(z)\mathcal{F}_{z\mu}^{2})+\frac{N_{c}}{24\pi^{2}}% \int\omega_{5}(\mathcal{A}).italic_S = - divide start_ARG italic_κ end_ARG start_ARG 2 end_ARG ∫ start_DIFFOP roman_d end_DIFFOP start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT italic_x start_DIFFOP roman_d end_DIFFOP italic_z roman_tr ( start_ARG italic_h ( italic_z ) caligraphic_F start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 2 italic_k ( italic_z ) caligraphic_F start_POSTSUBSCRIPT italic_z italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) + divide start_ARG italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG start_ARG 24 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ∫ italic_ω start_POSTSUBSCRIPT 5 end_POSTSUBSCRIPT ( caligraphic_A ) . (3.1)

We take the Kaluza-Klein mass MKK=1subscript𝑀KK1M_{\mathrm{KK}}=1italic_M start_POSTSUBSCRIPT roman_KK end_POSTSUBSCRIPT = 1 for simplicity. Here μ=0,1,2,3𝜇0123\mu=0,1,2,3italic_μ = 0 , 1 , 2 , 3 are 1+3 dimensional Lorentz indices, and z𝑧zitalic_z is the coordinate of the fifth space-like dimension. 𝒜=𝒜μdxμ+𝒜zdz𝒜subscript𝒜𝜇superscript𝑥𝜇subscript𝒜𝑧𝑧\mathcal{A}=\mathcal{A}_{\mu}\differential x^{\mu}+\mathcal{A}_{z}\differential zcaligraphic_A = caligraphic_A start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_DIFFOP roman_d end_DIFFOP italic_x start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT + caligraphic_A start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT start_DIFFOP roman_d end_DIFFOP italic_z is the U(Nf)𝑈subscript𝑁𝑓U(N_{f})italic_U ( italic_N start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT ) gauge field and :=d𝒜+i𝒜𝒜assign𝒜𝑖𝒜𝒜\mathcal{F}:=\differential\mathcal{A}+i\mathcal{A}\wedge\mathcal{A}caligraphic_F := start_DIFFOP roman_d end_DIFFOP caligraphic_A + italic_i caligraphic_A ∧ caligraphic_A is its field strength. We can decompose 𝒜𝒜\mathcal{A}caligraphic_A into SU(Nf)𝑆𝑈subscript𝑁𝑓SU(N_{f})italic_S italic_U ( italic_N start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT ) part and U(1)𝑈1U(1)italic_U ( 1 ) part,

𝒜=𝒜SU(Nf)+12Nf1Nf𝒜U(1).𝒜superscript𝒜𝑆𝑈subscript𝑁𝑓12subscript𝑁𝑓subscript1subscript𝑁𝑓superscript𝒜𝑈1\mathcal{A}=\mathcal{A}^{SU(N_{f})}+\frac{1}{\sqrt{2N_{f}}}1_{N_{f}}\mathcal{A% }^{U(1)}.caligraphic_A = caligraphic_A start_POSTSUPERSCRIPT italic_S italic_U ( italic_N start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT ) end_POSTSUPERSCRIPT + divide start_ARG 1 end_ARG start_ARG square-root start_ARG 2 italic_N start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT end_ARG end_ARG 1 start_POSTSUBSCRIPT italic_N start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT end_POSTSUBSCRIPT caligraphic_A start_POSTSUPERSCRIPT italic_U ( 1 ) end_POSTSUPERSCRIPT . (3.2)

ω5(𝒜)subscript𝜔5𝒜\omega_{5}(\mathcal{A})italic_ω start_POSTSUBSCRIPT 5 end_POSTSUBSCRIPT ( caligraphic_A ) is the Chern-Simons 5-form of 𝒜𝒜\mathcal{A}caligraphic_A. The constant κ𝜅\kappaitalic_κ is related to the ’t Hooft coupling λ𝜆\lambdaitalic_λ (at the scale of MKKsubscript𝑀KKM_{\rm KK}italic_M start_POSTSUBSCRIPT roman_KK end_POSTSUBSCRIPT) as

κ=Ncλ216π3.𝜅subscript𝑁𝑐𝜆216superscript𝜋3\kappa=\frac{N_{c}\lambda}{216\pi^{3}}.italic_κ = divide start_ARG italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT italic_λ end_ARG start_ARG 216 italic_π start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT end_ARG . (3.3)

h(z)𝑧h(z)italic_h ( italic_z ) and k(z)𝑘𝑧k(z)italic_k ( italic_z ) are given by

h(z)=(1+z2)13,k(z)=1+z2.formulae-sequence𝑧superscript1superscript𝑧213𝑘𝑧1superscript𝑧2h(z)=(1+z^{2})^{-\frac{1}{3}},\,k(z)=1+z^{2}.italic_h ( italic_z ) = ( 1 + italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG 3 end_ARG end_POSTSUPERSCRIPT , italic_k ( italic_z ) = 1 + italic_z start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT . (3.4)

The EOM for the action (3.1) is

2κ(𝒟ν(h(z)νμ)+𝒟z(k(z)zμ))=Nc16π2ϵμνρσz(ρσνz+νzρσ)2κ𝒟μ(k(z)μz)=Nc32π2ϵμνρσzμνρσ2𝜅subscript𝒟𝜈𝑧superscript𝜈𝜇subscript𝒟𝑧𝑘𝑧superscript𝑧𝜇subscript𝑁𝑐16superscript𝜋2superscriptitalic-ϵ𝜇𝜈𝜌𝜎𝑧subscript𝜌𝜎subscript𝜈𝑧subscript𝜈𝑧subscript𝜌𝜎2𝜅subscript𝒟𝜇𝑘𝑧superscript𝜇𝑧subscript𝑁𝑐32superscript𝜋2superscriptitalic-ϵ𝜇𝜈𝜌𝜎𝑧subscript𝜇𝜈subscript𝜌𝜎\begin{split}-2\kappa\quantity(\mathcal{D}_{\nu}(h(z){\mathcal{F}}^{\nu\mu})+% \mathcal{D}_{z}\quantity(k(z)\mathcal{F}^{z\mu}))&=\frac{N_{c}}{16\pi^{2}}% \epsilon^{\mu\nu\rho\sigma z}({\mathcal{F}}_{\rho\sigma}\mathcal{F}_{\nu z}+% \mathcal{F}_{\nu z}\mathcal{F}_{\rho\sigma})\\ -2\kappa\mathcal{D}_{\mu}(k(z)\mathcal{F}^{\mu z})&=\frac{N_{c}}{32\pi^{2}}% \epsilon^{\mu\nu\rho\sigma z}\mathcal{F}_{\mu\nu}\mathcal{F}_{\rho\sigma}\end{split}start_ROW start_CELL - 2 italic_κ ( start_ARG caligraphic_D start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ( italic_h ( italic_z ) caligraphic_F start_POSTSUPERSCRIPT italic_ν italic_μ end_POSTSUPERSCRIPT ) + caligraphic_D start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ( start_ARG italic_k ( italic_z ) caligraphic_F start_POSTSUPERSCRIPT italic_z italic_μ end_POSTSUPERSCRIPT end_ARG ) end_ARG ) end_CELL start_CELL = divide start_ARG italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG start_ARG 16 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_ϵ start_POSTSUPERSCRIPT italic_μ italic_ν italic_ρ italic_σ italic_z end_POSTSUPERSCRIPT ( caligraphic_F start_POSTSUBSCRIPT italic_ρ italic_σ end_POSTSUBSCRIPT caligraphic_F start_POSTSUBSCRIPT italic_ν italic_z end_POSTSUBSCRIPT + caligraphic_F start_POSTSUBSCRIPT italic_ν italic_z end_POSTSUBSCRIPT caligraphic_F start_POSTSUBSCRIPT italic_ρ italic_σ end_POSTSUBSCRIPT ) end_CELL end_ROW start_ROW start_CELL - 2 italic_κ caligraphic_D start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT ( italic_k ( italic_z ) caligraphic_F start_POSTSUPERSCRIPT italic_μ italic_z end_POSTSUPERSCRIPT ) end_CELL start_CELL = divide start_ARG italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG start_ARG 32 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG italic_ϵ start_POSTSUPERSCRIPT italic_μ italic_ν italic_ρ italic_σ italic_z end_POSTSUPERSCRIPT caligraphic_F start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT caligraphic_F start_POSTSUBSCRIPT italic_ρ italic_σ end_POSTSUBSCRIPT end_CELL end_ROW (3.5)

where 𝒟μ=μ+i[𝒜μ,]subscript𝒟𝜇subscript𝜇𝑖commutatorsubscript𝒜𝜇\mathcal{D}_{\mu}=\partial_{\mu}+i\commutator{\mathcal{A}_{\mu}}{\cdot}caligraphic_D start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT = ∂ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT + italic_i [ start_ARG caligraphic_A start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT end_ARG , start_ARG ⋅ end_ARG ] and 𝒟z=z+i[𝒜z,]subscript𝒟𝑧subscript𝑧𝑖commutatorsubscript𝒜𝑧\mathcal{D}_{z}=\partial_{z}+i\commutator{\mathcal{A}_{z}}{\cdot}caligraphic_D start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT = ∂ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT + italic_i [ start_ARG caligraphic_A start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT end_ARG , start_ARG ⋅ end_ARG ] are the covariant derivatives, and ϵμνρσsubscriptitalic-ϵ𝜇𝜈𝜌𝜎\epsilon_{\mu\nu\rho\sigma}italic_ϵ start_POSTSUBSCRIPT italic_μ italic_ν italic_ρ italic_σ end_POSTSUBSCRIPT is a 4-dimensional Levi-Civita symbol with ϵ0123z=+1subscriptitalic-ϵ0123𝑧1\epsilon_{0123z}=+1italic_ϵ start_POSTSUBSCRIPT 0123 italic_z end_POSTSUBSCRIPT = + 1. In this model, the fluctuations of the U(Nf)𝑈subscript𝑁𝑓U(N_{f})italic_U ( italic_N start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT ) gauge field represent massless pions and massive (axial) vector mesons, while baryons are obtained as topological solitons in 1+4 dimensional spacetime [Sakai:2004cn, Sakai:2005yt, Hata:2007mb]. The soliton corresponding to a baryon is an instanton on the 4-dimensional space which carries a non-trivial topological number given by the second Chern number

B=18π2d3𝒙dzϵ0ijkztr(ijkz)=18π2d3𝒙dzϵ0ijkztr(ijkz).𝐵18superscript𝜋2superscript3𝒙𝑧superscriptitalic-ϵ0𝑖𝑗𝑘𝑧tracesubscript𝑖𝑗subscript𝑘𝑧18superscript𝜋2superscript3𝒙𝑧subscriptitalic-ϵ0𝑖𝑗𝑘𝑧tracesubscript𝑖𝑗subscript𝑘𝑧B=\frac{1}{8\pi^{2}}\int\differential^{3}{\bf\it x}\differential z\epsilon^{0% ijkz}\tr(\mathcal{F}_{ij}\mathcal{F}_{kz})=-\frac{1}{8\pi^{2}}\int% \differential^{3}{\bf\it x}\differential z\epsilon_{0ijkz}\tr(\mathcal{F}_{ij}% \mathcal{F}_{kz}).italic_B = divide start_ARG 1 end_ARG start_ARG 8 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ∫ start_DIFFOP roman_d end_DIFFOP start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT bold_italic_x start_DIFFOP roman_d end_DIFFOP italic_z italic_ϵ start_POSTSUPERSCRIPT 0 italic_i italic_j italic_k italic_z end_POSTSUPERSCRIPT roman_tr ( start_ARG caligraphic_F start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT caligraphic_F start_POSTSUBSCRIPT italic_k italic_z end_POSTSUBSCRIPT end_ARG ) = - divide start_ARG 1 end_ARG start_ARG 8 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ∫ start_DIFFOP roman_d end_DIFFOP start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT bold_italic_x start_DIFFOP roman_d end_DIFFOP italic_z italic_ϵ start_POSTSUBSCRIPT 0 italic_i italic_j italic_k italic_z end_POSTSUBSCRIPT roman_tr ( start_ARG caligraphic_F start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT caligraphic_F start_POSTSUBSCRIPT italic_k italic_z end_POSTSUBSCRIPT end_ARG ) . (3.6)

Here 𝒙=(x1,x2,x3)𝒙superscript𝑥1superscript𝑥2superscript𝑥3{\bf\it x}=(x^{1},x^{2},x^{3})bold_italic_x = ( italic_x start_POSTSUPERSCRIPT 1 end_POSTSUPERSCRIPT , italic_x start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT , italic_x start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT ) and i,j,k=1,2,3formulae-sequence𝑖𝑗𝑘123i,j,k=1,2,3italic_i , italic_j , italic_k = 1 , 2 , 3. This is related to the baryon number in the Skyrme model.

3.2 Soliton solution

We take Nf=2subscript𝑁𝑓2N_{f}=2italic_N start_POSTSUBSCRIPT italic_f end_POSTSUBSCRIPT = 2 in this paper for simplicity. In order to construct a soliton solution with baryon number B=1𝐵1B=1italic_B = 1, we set Witten’s ansatz [Witten:1976ck]666See, e.g. [Cherman:2011ve, Bolognesi:2013nja, Panico:2008it, Rozali:2013fna, Suganuma:2020jng, Hori:2023fxq] for closely related numerical analyses of solitons using Witten’s ansatz.

𝒜zSU(2)superscriptsubscript𝒜𝑧𝑆𝑈2\displaystyle\mathcal{A}_{z}^{SU(2)}caligraphic_A start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_S italic_U ( 2 ) end_POSTSUPERSCRIPT =Az(r,z)naτaabsentsubscript𝐴𝑧𝑟𝑧superscript𝑛𝑎subscript𝜏𝑎\displaystyle=A_{z}(r,z)n^{a}\tau_{a}= italic_A start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ( italic_r , italic_z ) italic_n start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT italic_τ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT (3.7)
𝒜iSU(2)superscriptsubscript𝒜𝑖𝑆𝑈2\displaystyle\mathcal{A}_{i}^{SU(2)}caligraphic_A start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_S italic_U ( 2 ) end_POSTSUPERSCRIPT =Ar(r,z)ninaτa+Φ1(r,z)r(τininaτa)Φ2(r,z)+1rϵijanjτaabsentsubscript𝐴𝑟𝑟𝑧subscript𝑛𝑖superscript𝑛𝑎subscript𝜏𝑎subscriptΦ1𝑟𝑧𝑟subscript𝜏𝑖subscript𝑛𝑖superscript𝑛𝑎subscript𝜏𝑎subscriptΦ2𝑟𝑧1𝑟subscriptitalic-ϵ𝑖𝑗𝑎subscript𝑛𝑗subscript𝜏𝑎\displaystyle=A_{r}(r,z)n_{i}n^{a}\tau_{a}+\frac{\Phi_{1}(r,z)}{r}\quantity(% \tau_{i}-n_{i}n^{a}\tau_{a})-\frac{\Phi_{2}(r,z)+1}{r}\epsilon_{ija}n_{j}\tau_% {a}= italic_A start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ( italic_r , italic_z ) italic_n start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_n start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT italic_τ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT + divide start_ARG roman_Φ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ( italic_r , italic_z ) end_ARG start_ARG italic_r end_ARG ( start_ARG italic_τ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - italic_n start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_n start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT italic_τ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT end_ARG ) - divide start_ARG roman_Φ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_r , italic_z ) + 1 end_ARG start_ARG italic_r end_ARG italic_ϵ start_POSTSUBSCRIPT italic_i italic_j italic_a end_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_τ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT (3.8)
𝒜0U(1)superscriptsubscript𝒜0𝑈1\displaystyle\mathcal{A}_{0}^{U(1)}caligraphic_A start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_U ( 1 ) end_POSTSUPERSCRIPT =a0(r,z),absentsubscript𝑎0𝑟𝑧\displaystyle=a_{0}(r,z),= italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_r , italic_z ) , (3.9)
𝒜0SU(2)superscriptsubscript𝒜0𝑆𝑈2\displaystyle\mathcal{A}_{0}^{SU(2)}caligraphic_A start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_S italic_U ( 2 ) end_POSTSUPERSCRIPT =𝒜zU(1)=𝒜iU(1)=0,absentsuperscriptsubscript𝒜𝑧𝑈1superscriptsubscript𝒜𝑖𝑈10\displaystyle=\mathcal{A}_{z}^{U(1)}=\mathcal{A}_{i}^{U(1)}=0,= caligraphic_A start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_U ( 1 ) end_POSTSUPERSCRIPT = caligraphic_A start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_U ( 1 ) end_POSTSUPERSCRIPT = 0 , (3.10)

where r=|𝒙|𝑟𝒙r=|{\bf\it x}|italic_r = | bold_italic_x | is the radial coordinate and 𝒏:=𝒙/rassign𝒏𝒙𝑟{\bf\it n}:={\bf\it x}/rbold_italic_n := bold_italic_x / italic_r is the unit vector of the 3-dimensional space. τa:=σa/2,(a=1,2,3)assignsubscript𝜏𝑎subscript𝜎𝑎2𝑎123\tau_{a}:=\sigma_{a}/2,\,(a=1,2,3)italic_τ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT := italic_σ start_POSTSUBSCRIPT italic_a end_POSTSUBSCRIPT / 2 , ( italic_a = 1 , 2 , 3 ) are the generators of SU(2)𝑆𝑈2SU(2)italic_S italic_U ( 2 ) Lie algebra. This ansatz is invariant under SO(3)𝑆𝑂3SO(3)italic_S italic_O ( 3 ) “spatial rotation” combined with the global SU(2)𝑆𝑈2SU(2)italic_S italic_U ( 2 ) transformation

𝒜zSU(2)(𝒙,z)=U(R)𝒜zSU(2)(R1𝒙,z)U(R),𝒜iSU(2)(𝒙,z)=U(R)Rij𝒜jSU(2)(R1𝒙,z)U(R),RSO(3)formulae-sequencesuperscriptsubscript𝒜𝑧𝑆𝑈2𝒙𝑧𝑈𝑅superscriptsubscript𝒜𝑧𝑆𝑈2superscript𝑅1𝒙𝑧𝑈superscript𝑅superscriptsubscript𝒜𝑖𝑆𝑈2𝒙𝑧𝑈𝑅superscriptsubscript𝑅𝑖𝑗superscriptsubscript𝒜𝑗𝑆𝑈2superscript𝑅1𝒙𝑧𝑈superscript𝑅𝑅𝑆𝑂3\begin{split}\mathcal{A}_{z}^{SU(2)}({\bf\it x},z)&=U(R)\mathcal{A}_{z}^{SU(2)% }(R^{-1}{\bf\it x},z)U(R)^{\dagger},\\ \mathcal{A}_{i}^{SU(2)}({\bf\it x},z)&=U(R){R_{i}}^{j}\mathcal{A}_{j}^{SU(2)}(% R^{-1}{\bf\it x},z)U(R)^{\dagger},\end{split}\quad R\in SO(3)start_ROW start_CELL caligraphic_A start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_S italic_U ( 2 ) end_POSTSUPERSCRIPT ( bold_italic_x , italic_z ) end_CELL start_CELL = italic_U ( italic_R ) caligraphic_A start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_S italic_U ( 2 ) end_POSTSUPERSCRIPT ( italic_R start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT bold_italic_x , italic_z ) italic_U ( italic_R ) start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT , end_CELL end_ROW start_ROW start_CELL caligraphic_A start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_S italic_U ( 2 ) end_POSTSUPERSCRIPT ( bold_italic_x , italic_z ) end_CELL start_CELL = italic_U ( italic_R ) italic_R start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT caligraphic_A start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_S italic_U ( 2 ) end_POSTSUPERSCRIPT ( italic_R start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT bold_italic_x , italic_z ) italic_U ( italic_R ) start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT , end_CELL end_ROW italic_R ∈ italic_S italic_O ( 3 ) (3.11)

where U(R)𝑈𝑅U(R)italic_U ( italic_R ) is the SU(2)𝑆𝑈2SU(2)italic_S italic_U ( 2 ) representation of R𝑅Ritalic_R. Notice that this ansatz has a residual U(1)𝑈1U(1)italic_U ( 1 ) gauge transformation

𝒜M(x)SU(2)eiλ(r,z)𝒏𝝉(𝒜MSU(2)(x)iM)eiλ(r,z)𝒏𝝉(M=0,1,2,3,z).subscript𝒜𝑀superscript𝑥𝑆𝑈2superscript𝑒𝑖𝜆𝑟𝑧𝒏𝝉superscriptsubscript𝒜𝑀𝑆𝑈2𝑥𝑖subscript𝑀superscript𝑒𝑖𝜆𝑟𝑧𝒏𝝉𝑀0123𝑧\mathcal{A}_{M}(x)^{SU(2)}\to e^{i\lambda(r,z){\bf\it n}\cdot{\bf\it\tau}}% \quantity(\mathcal{A}_{M}^{SU(2)}(x)-i\partial_{M})e^{-i\lambda(r,z){\bf\it n}% \cdot{\bf\it\tau}}\quad(M=0,1,2,3,z).caligraphic_A start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT ( italic_x ) start_POSTSUPERSCRIPT italic_S italic_U ( 2 ) end_POSTSUPERSCRIPT → italic_e start_POSTSUPERSCRIPT italic_i italic_λ ( italic_r , italic_z ) bold_italic_n ⋅ bold_italic_τ end_POSTSUPERSCRIPT ( start_ARG caligraphic_A start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_S italic_U ( 2 ) end_POSTSUPERSCRIPT ( italic_x ) - italic_i ∂ start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT end_ARG ) italic_e start_POSTSUPERSCRIPT - italic_i italic_λ ( italic_r , italic_z ) bold_italic_n ⋅ bold_italic_τ end_POSTSUPERSCRIPT ( italic_M = 0 , 1 , 2 , 3 , italic_z ) . (3.12)

Under this transformation, Φ:=Φ1+iΦ2assignΦsubscriptΦ1𝑖subscriptΦ2\Phi:=\Phi_{1}+i\Phi_{2}roman_Φ := roman_Φ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_i roman_Φ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, Arsubscript𝐴𝑟A_{r}italic_A start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT, and Azsubscript𝐴𝑧A_{z}italic_A start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT transform as

ΦeiλΦ,AαAααλ(α=r,z).formulae-sequenceΦsuperscript𝑒𝑖𝜆Φsubscript𝐴𝛼subscript𝐴𝛼subscript𝛼𝜆𝛼𝑟𝑧\begin{split}\Phi\to e^{-i\lambda}\Phi,\,\,A_{\alpha}\to A_{\alpha}-\partial_{% \alpha}\lambda\quad(\alpha=r,z).\end{split}start_ROW start_CELL roman_Φ → italic_e start_POSTSUPERSCRIPT - italic_i italic_λ end_POSTSUPERSCRIPT roman_Φ , italic_A start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT → italic_A start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT - ∂ start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT italic_λ ( italic_α = italic_r , italic_z ) . end_CELL end_ROW (3.13)

Therefore, (Ar,Az)subscript𝐴𝑟subscript𝐴𝑧(A_{r},A_{z})( italic_A start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT , italic_A start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ) and ΦΦ\Phiroman_Φ can be considered as a U(1)𝑈1U(1)italic_U ( 1 ) gauge field and a U(1)𝑈1U(1)italic_U ( 1 ) charged scalar, respectively, in the r𝑟ritalic_r - z𝑧zitalic_z plane. It is convenient to introduce the U(1)𝑈1U(1)italic_U ( 1 ) field strength and covariant derivative on the r𝑟ritalic_r - z𝑧zitalic_z plane

Fαβ:=αAβαAβ,DαΦ:=(αiAα)Φ.formulae-sequenceassignsubscript𝐹𝛼𝛽subscript𝛼subscript𝐴𝛽subscript𝛼subscript𝐴𝛽assignsubscript𝐷𝛼Φsubscript𝛼𝑖subscript𝐴𝛼ΦF_{\alpha\beta}:=\partial_{\alpha}A_{\beta}-\partial_{\alpha}A_{\beta},\,D_{% \alpha}\Phi:=(\partial_{\alpha}-iA_{\alpha})\Phi.italic_F start_POSTSUBSCRIPT italic_α italic_β end_POSTSUBSCRIPT := ∂ start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_β end_POSTSUBSCRIPT - ∂ start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_β end_POSTSUBSCRIPT , italic_D start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT roman_Φ := ( ∂ start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT - italic_i italic_A start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ) roman_Φ . (3.14)

and the 1+4 dimensional Yang-Mills theory is reduced to 2 dimensional Abelian-Higgs theory. The Chern number (3.6) is written as the winding number of the vortex

B=12πdrdz(Frz(1|Φ|2)+2Im(DrΦDzΦ))=:drdzch2(r,z),B=-\frac{1}{2\pi}\int\differential r\differential z\quantity(F_{rz}(1-% \absolutevalue{\Phi}^{2})+2\imaginary(D_{r}\Phi^{\dagger}D_{z}\Phi))=:\int% \differential r\differential z\mathrm{ch}_{2}(r,z),italic_B = - divide start_ARG 1 end_ARG start_ARG 2 italic_π end_ARG ∫ start_DIFFOP roman_d end_DIFFOP italic_r start_DIFFOP roman_d end_DIFFOP italic_z ( start_ARG italic_F start_POSTSUBSCRIPT italic_r italic_z end_POSTSUBSCRIPT ( 1 - | start_ARG roman_Φ end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) + 2 start_OPERATOR roman_Im end_OPERATOR ( italic_D start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT roman_Φ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_D start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT roman_Φ ) end_ARG ) = : ∫ start_DIFFOP roman_d end_DIFFOP italic_r start_DIFFOP roman_d end_DIFFOP italic_z roman_ch start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_r , italic_z ) , (3.15)

which only depends on the boundary values of ΦΦ\Phiroman_Φ and Aαsubscript𝐴𝛼A_{\alpha}italic_A start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT as

B=dr[Ar+Im(ΦDrΦ)]z=z=dz[Az+Im(ΦDzΦ)]r0r.𝐵𝑟superscriptsubscriptsubscript𝐴𝑟superscriptΦsubscript𝐷𝑟Φ𝑧𝑧superscriptsubscript𝑧superscriptsubscriptsubscript𝐴𝑧superscriptΦsubscript𝐷𝑧Φ𝑟0𝑟B=\int\differential r\quantity[A_{r}+\imaginary(\Phi^{\dagger}D_{r}\Phi)]_{z=-% \infty}^{z=\infty}-\int_{-\infty}^{\infty}\differential z\quantity[A_{z}+% \imaginary(\Phi^{\dagger}D_{z}\Phi)]_{r\to 0}^{r\to\infty}.italic_B = ∫ start_DIFFOP roman_d end_DIFFOP italic_r [ start_ARG italic_A start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT + start_OPERATOR roman_Im end_OPERATOR ( roman_Φ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_D start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT roman_Φ ) end_ARG ] start_POSTSUBSCRIPT italic_z = - ∞ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_z = ∞ end_POSTSUPERSCRIPT - ∫ start_POSTSUBSCRIPT - ∞ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT start_DIFFOP roman_d end_DIFFOP italic_z [ start_ARG italic_A start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT + start_OPERATOR roman_Im end_OPERATOR ( roman_Φ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_D start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT roman_Φ ) end_ARG ] start_POSTSUBSCRIPT italic_r → 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_r → ∞ end_POSTSUPERSCRIPT . (3.16)

With this ansatz, the action (3.1) is written in terms of S=dtMsol𝑆𝑡subscript𝑀solS=-\int\differential tM_{\mathrm{sol}}italic_S = - ∫ start_DIFFOP roman_d end_DIFFOP italic_t italic_M start_POSTSUBSCRIPT roman_sol end_POSTSUBSCRIPT, where Msolsubscript𝑀solM_{\mathrm{sol}}italic_M start_POSTSUBSCRIPT roman_sol end_POSTSUBSCRIPT is the classical mass of the soliton

Msol=4πκdrdz(r22kFrz2+h|DrΦ|2+k|DzΦ|2+h2r2(1|Φ|2)2)4πκdrdzr22(h(ra0)2+k(za0)2)+4πκγdrdza0(Frz(1|Φ|2)+2Im(DrΦDzΦ)),subscript𝑀sol4𝜋𝜅𝑟𝑧superscript𝑟22𝑘superscriptsubscript𝐹𝑟𝑧2superscriptsubscript𝐷𝑟Φ2𝑘superscriptsubscript𝐷𝑧Φ22superscript𝑟2superscript1superscriptΦ224𝜋𝜅𝑟𝑧superscript𝑟22superscriptsubscript𝑟subscript𝑎02𝑘superscriptsubscript𝑧subscript𝑎024𝜋𝜅𝛾𝑟𝑧subscript𝑎0subscript𝐹𝑟𝑧1superscriptΦ22subscript𝐷𝑟superscriptΦsubscript𝐷𝑧Φ\begin{split}M_{\mathrm{sol}}&=4\pi\kappa\int\differential r\differential z% \quantity(\frac{r^{2}}{2}kF_{rz}^{2}+h|D_{r}\Phi|^{2}+k|D_{z}\Phi|^{2}+\frac{h% }{2r^{2}}(1-\absolutevalue{\Phi}^{2})^{2})\\ &-4\pi\kappa\int\differential r\differential z\frac{r^{2}}{2}\quantity(h(% \partial_{r}a_{0})^{2}+k(\partial_{z}a_{0})^{2})\\ &+4\pi\kappa\gamma\int\differential r\differential za_{0}(F_{rz}(1-% \absolutevalue{\Phi}^{2})+2\imaginary(D_{r}\Phi^{\dagger}D_{z}\Phi)),\end{split}start_ROW start_CELL italic_M start_POSTSUBSCRIPT roman_sol end_POSTSUBSCRIPT end_CELL start_CELL = 4 italic_π italic_κ ∫ start_DIFFOP roman_d end_DIFFOP italic_r start_DIFFOP roman_d end_DIFFOP italic_z ( start_ARG divide start_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG italic_k italic_F start_POSTSUBSCRIPT italic_r italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_h | italic_D start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT roman_Φ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_k | italic_D start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT roman_Φ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + divide start_ARG italic_h end_ARG start_ARG 2 italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ( 1 - | start_ARG roman_Φ end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL - 4 italic_π italic_κ ∫ start_DIFFOP roman_d end_DIFFOP italic_r start_DIFFOP roman_d end_DIFFOP italic_z divide start_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG start_ARG 2 end_ARG ( start_ARG italic_h ( ∂ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_k ( ∂ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) end_CELL end_ROW start_ROW start_CELL end_CELL start_CELL + 4 italic_π italic_κ italic_γ ∫ start_DIFFOP roman_d end_DIFFOP italic_r start_DIFFOP roman_d end_DIFFOP italic_z italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_F start_POSTSUBSCRIPT italic_r italic_z end_POSTSUBSCRIPT ( 1 - | start_ARG roman_Φ end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) + 2 start_OPERATOR roman_Im end_OPERATOR ( italic_D start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT roman_Φ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_D start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT roman_Φ ) ) , end_CELL end_ROW (3.17)

where γ=Nc16π2κ𝛾subscript𝑁𝑐16superscript𝜋2𝜅\gamma=\frac{N_{c}}{16\pi^{2}\kappa}italic_γ = divide start_ARG italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT end_ARG start_ARG 16 italic_π start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_κ end_ARG. The Euler-Lagrange equations of (3.17) are

(hDr2+Dz(kDz))Φ+hr2(1|Φ|2)Φsuperscriptsubscript𝐷𝑟2subscript𝐷𝑧𝑘subscript𝐷𝑧Φsuperscript𝑟21superscriptΦ2Φ\displaystyle(hD_{r}^{2}+D_{z}(kD_{z}))\Phi+\frac{h}{r^{2}}(1-\absolutevalue{% \Phi}^{2})\Phi( italic_h italic_D start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_D start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ( italic_k italic_D start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ) ) roman_Φ + divide start_ARG italic_h end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ( 1 - | start_ARG roman_Φ end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) roman_Φ =iγ(ra0DzΦza0DrΦ),absent𝑖𝛾subscript𝑟subscript𝑎0subscript𝐷𝑧Φsubscript𝑧subscript𝑎0subscript𝐷𝑟Φ\displaystyle=i\gamma\quantity(\partial_{r}a_{0}D_{z}\Phi-\partial_{z}a_{0}D_{% r}\Phi),= italic_i italic_γ ( start_ARG ∂ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_D start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT roman_Φ - ∂ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_D start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT roman_Φ end_ARG ) , (3.18)
z(r2kFzr)+2hIm(ΦDrΦ)subscript𝑧superscript𝑟2𝑘subscript𝐹𝑧𝑟2superscriptΦsubscript𝐷𝑟Φ\displaystyle\partial_{z}(r^{2}kF_{zr})+2h\imaginary(\Phi^{\dagger}D_{r}\Phi)∂ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ( italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_k italic_F start_POSTSUBSCRIPT italic_z italic_r end_POSTSUBSCRIPT ) + 2 italic_h start_OPERATOR roman_Im end_OPERATOR ( roman_Φ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_D start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT roman_Φ ) =γza0(1|Φ|2),absent𝛾subscript𝑧subscript𝑎01superscriptΦ2\displaystyle=\gamma\partial_{z}a_{0}(1-\absolutevalue{\Phi}^{2}),= italic_γ ∂ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( 1 - | start_ARG roman_Φ end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) , (3.19)
r(r2Frz)+2kIm(ΦDzΦ)subscript𝑟superscript𝑟2subscript𝐹𝑟𝑧2𝑘superscriptΦsubscript𝐷𝑧Φ\displaystyle\partial_{r}(r^{2}F_{rz})+2k\imaginary(\Phi^{\dagger}D_{z}\Phi)∂ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ( italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_F start_POSTSUBSCRIPT italic_r italic_z end_POSTSUBSCRIPT ) + 2 italic_k start_OPERATOR roman_Im end_OPERATOR ( roman_Φ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_D start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT roman_Φ ) =γra0(1|Φ|2),absent𝛾subscript𝑟subscript𝑎01superscriptΦ2\displaystyle=-\gamma\partial_{r}a_{0}(1-\absolutevalue{\Phi}^{2}),= - italic_γ ∂ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( 1 - | start_ARG roman_Φ end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) , (3.20)
(hr(r2r)+r2z(kz))a0subscript𝑟superscript𝑟2subscript𝑟superscript𝑟2subscript𝑧𝑘subscript𝑧subscript𝑎0\displaystyle(h\partial_{r}(r^{2}\partial_{r})+r^{2}\partial_{z}(k\partial_{z}% ))a_{0}( italic_h ∂ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ( italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∂ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ) + italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ∂ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ( italic_k ∂ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT ) ) italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT =γ(Frz(1|Φ|2)+2Im(DrΦDzΦ)).absent𝛾subscript𝐹𝑟𝑧1superscriptΦ22subscript𝐷𝑟superscriptΦsubscript𝐷𝑧Φ\displaystyle=-\gamma\quantity(F_{rz}(1-\absolutevalue{\Phi}^{2})+2\imaginary(% D_{r}\Phi^{\dagger}D_{z}\Phi)).= - italic_γ ( start_ARG italic_F start_POSTSUBSCRIPT italic_r italic_z end_POSTSUBSCRIPT ( 1 - | start_ARG roman_Φ end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) + 2 start_OPERATOR roman_Im end_OPERATOR ( italic_D start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT roman_Φ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT italic_D start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT roman_Φ ) end_ARG ) . (3.21)

These equations can also be derived from substituting the ansatz into the original EOM (3.5).

3.3 The energy-momentum tensor in Witten’s ansatz

In AdS/CFT correspondence, the proper method to calculate the expectation value of the EMT has been established [Balasubramanian:1999re, deHaro:2000vlm]. The application of this method to a baryon in holographic QCD was investigated in [Fujita:2022jus], and it was shown that the value of the D-term can be calculated from the classical 1+3 dimensional EMT defined as

Tμν:=2g𝛿S𝛿gμν|g=η=2κdztr(kzμzν+hμρνρ14ημν(hρσ2+2kzρ2)).assignsuperscript𝑇𝜇𝜈evaluated-at2𝑔functional-derivativesubscript𝑔𝜇𝜈𝑆𝑔𝜂2𝜅𝑧trace𝑘superscript𝑧𝜇superscript𝑧𝜈superscript𝜇𝜌subscriptsuperscript𝜈𝜌14superscript𝜂𝜇𝜈superscriptsubscript𝜌𝜎22𝑘superscriptsubscript𝑧𝜌2\begin{split}T^{\mu\nu}&:=\evaluated{\frac{2}{\sqrt{-g}}\functionalderivative{% S}{g_{\mu\nu}}}_{g=\eta}=2\kappa\int\differential z\tr(k\mathcal{F}^{z\mu}% \mathcal{F}^{z\nu}+h\mathcal{F}^{\mu\rho}{\mathcal{F}^{\nu}}_{\rho}-\frac{1}{4% }\eta^{\mu\nu}\quantity(h\mathcal{F}_{\rho\sigma}^{2}+2k\mathcal{F}_{z\rho}^{2% })).\end{split}start_ROW start_CELL italic_T start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT end_CELL start_CELL := start_ARG divide start_ARG 2 end_ARG start_ARG square-root start_ARG - italic_g end_ARG end_ARG divide start_ARG italic_δ start_ARG italic_S end_ARG end_ARG start_ARG italic_δ start_ARG italic_g start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT end_ARG end_ARG end_ARG | start_POSTSUBSCRIPT italic_g = italic_η end_POSTSUBSCRIPT = 2 italic_κ ∫ start_DIFFOP roman_d end_DIFFOP italic_z roman_tr ( start_ARG italic_k caligraphic_F start_POSTSUPERSCRIPT italic_z italic_μ end_POSTSUPERSCRIPT caligraphic_F start_POSTSUPERSCRIPT italic_z italic_ν end_POSTSUPERSCRIPT + italic_h caligraphic_F start_POSTSUPERSCRIPT italic_μ italic_ρ end_POSTSUPERSCRIPT caligraphic_F start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT - divide start_ARG 1 end_ARG start_ARG 4 end_ARG italic_η start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT ( start_ARG italic_h caligraphic_F start_POSTSUBSCRIPT italic_ρ italic_σ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + 2 italic_k caligraphic_F start_POSTSUBSCRIPT italic_z italic_ρ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) end_ARG ) . end_CELL end_ROW (3.22)

Substituting the ansatz (3.7) to (3.10), we have the spherically symmetric EMT

T00(𝒙)superscript𝑇00𝒙\displaystyle T^{00}({\bf\it x})italic_T start_POSTSUPERSCRIPT 00 end_POSTSUPERSCRIPT ( bold_italic_x ) =ϵ(r),absentitalic-ϵ𝑟\displaystyle=\epsilon(r),= italic_ϵ ( italic_r ) , (3.23)
T0i(𝒙)superscript𝑇0𝑖𝒙\displaystyle T^{0i}({\bf\it x})italic_T start_POSTSUPERSCRIPT 0 italic_i end_POSTSUPERSCRIPT ( bold_italic_x ) =0,absent0\displaystyle=0,= 0 , (3.24)
Tij(𝒙)superscript𝑇𝑖𝑗𝒙\displaystyle T^{ij}({\bf\it x})italic_T start_POSTSUPERSCRIPT italic_i italic_j end_POSTSUPERSCRIPT ( bold_italic_x ) =p(r)δij+s(r)(ninj13δij),absent𝑝𝑟subscript𝛿𝑖𝑗𝑠𝑟subscript𝑛𝑖subscript𝑛𝑗13subscript𝛿𝑖𝑗\displaystyle=p(r)\delta_{ij}+s(r)\quantity(n_{i}n_{j}-\frac{1}{3}\delta_{ij}),= italic_p ( italic_r ) italic_δ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT + italic_s ( italic_r ) ( start_ARG italic_n start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_n start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - divide start_ARG 1 end_ARG start_ARG 3 end_ARG italic_δ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT end_ARG ) , (3.25)

where the energy density ϵ(r)italic-ϵ𝑟\epsilon(r)italic_ϵ ( italic_r ), the pressure p(r)𝑝𝑟p(r)italic_p ( italic_r ), and the shear force s(r)𝑠𝑟s(r)italic_s ( italic_r ) are

ϵ(r)=ϵSU(2)(r)+ϵU(1)(r)=dzϵzSU(2)(r,z)+dzϵzU(1)(r,z),ϵzSU(2)(r,z)=κ(12kFrz2+1r2(h|DrΦ|2+k|DzΦ|2)+h2r4(1|Φ|2)2),ϵzU(1)(r,z)=κ12(h(ra0)2)+k(za0)2),\displaystyle\begin{split}\epsilon(r)&=\epsilon^{SU(2)}(r)+\epsilon^{U(1)}(r)=% \int\differential z\epsilon_{z}^{SU(2)}(r,z)+\int\differential z\epsilon_{z}^{% U(1)}(r,z),\\ \epsilon_{z}^{SU(2)}(r,z)&=\kappa\quantity(\frac{1}{2}kF_{rz}^{2}+\frac{1}{r^{% 2}}(h|D_{r}\Phi|^{2}+k|D_{z}\Phi|^{2})+\frac{h}{2r^{4}}(1-\absolutevalue{\Phi}% ^{2})^{2}),\\ \epsilon_{z}^{U(1)}(r,z)&=\kappa\frac{1}{2}(h(\partial_{r}a_{0})^{2})+k(% \partial_{z}a_{0})^{2}),\end{split}start_ROW start_CELL italic_ϵ ( italic_r ) end_CELL start_CELL = italic_ϵ start_POSTSUPERSCRIPT italic_S italic_U ( 2 ) end_POSTSUPERSCRIPT ( italic_r ) + italic_ϵ start_POSTSUPERSCRIPT italic_U ( 1 ) end_POSTSUPERSCRIPT ( italic_r ) = ∫ start_DIFFOP roman_d end_DIFFOP italic_z italic_ϵ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_S italic_U ( 2 ) end_POSTSUPERSCRIPT ( italic_r , italic_z ) + ∫ start_DIFFOP roman_d end_DIFFOP italic_z italic_ϵ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_U ( 1 ) end_POSTSUPERSCRIPT ( italic_r , italic_z ) , end_CELL end_ROW start_ROW start_CELL italic_ϵ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_S italic_U ( 2 ) end_POSTSUPERSCRIPT ( italic_r , italic_z ) end_CELL start_CELL = italic_κ ( start_ARG divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_k italic_F start_POSTSUBSCRIPT italic_r italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + divide start_ARG 1 end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ( italic_h | italic_D start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT roman_Φ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_k | italic_D start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT roman_Φ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) + divide start_ARG italic_h end_ARG start_ARG 2 italic_r start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG ( 1 - | start_ARG roman_Φ end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) , end_CELL end_ROW start_ROW start_CELL italic_ϵ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_U ( 1 ) end_POSTSUPERSCRIPT ( italic_r , italic_z ) end_CELL start_CELL = italic_κ divide start_ARG 1 end_ARG start_ARG 2 end_ARG ( italic_h ( ∂ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) + italic_k ( ∂ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) , end_CELL end_ROW (3.26)
p(r)=pSU(2)(r)+pU(1)(r),pSU(2)(r)=κ3dz(12kFrz2+1r2(h|DrΦ|2k|DzΦ|2)+h2r4(1|Φ|2)2),pU(1)(r)=κ3dz(12h(ra0)2+32k(za0)2),formulae-sequence𝑝𝑟superscript𝑝𝑆𝑈2𝑟superscript𝑝𝑈1𝑟formulae-sequencesuperscript𝑝𝑆𝑈2𝑟𝜅3𝑧12𝑘superscriptsubscript𝐹𝑟𝑧21superscript𝑟2superscriptsubscript𝐷𝑟Φ2𝑘superscriptsubscript𝐷𝑧Φ22superscript𝑟4superscript1superscriptΦ22superscript𝑝𝑈1𝑟𝜅3𝑧12superscriptsubscript𝑟subscript𝑎0232𝑘superscriptsubscript𝑧subscript𝑎02\displaystyle\begin{split}p(r)&=p^{SU(2)}(r)+p^{U(1)}(r),\\ p^{SU(2)}(r)&=\frac{\kappa}{3}\int\differential z\quantity(-\frac{1}{2}kF_{rz}% ^{2}+\frac{1}{r^{2}}(h|D_{r}\Phi|^{2}-k|D_{z}\Phi|^{2})+\frac{h}{2r^{4}}(1-% \absolutevalue{\Phi}^{2})^{2}),\\ p^{U(1)}(r)&=\frac{\kappa}{3}\int\differential z\quantity(\frac{1}{2}h(% \partial_{r}a_{0})^{2}+\frac{3}{2}k(\partial_{z}a_{0})^{2}),\end{split}start_ROW start_CELL italic_p ( italic_r ) end_CELL start_CELL = italic_p start_POSTSUPERSCRIPT italic_S italic_U ( 2 ) end_POSTSUPERSCRIPT ( italic_r ) + italic_p start_POSTSUPERSCRIPT italic_U ( 1 ) end_POSTSUPERSCRIPT ( italic_r ) , end_CELL end_ROW start_ROW start_CELL italic_p start_POSTSUPERSCRIPT italic_S italic_U ( 2 ) end_POSTSUPERSCRIPT ( italic_r ) end_CELL start_CELL = divide start_ARG italic_κ end_ARG start_ARG 3 end_ARG ∫ start_DIFFOP roman_d end_DIFFOP italic_z ( start_ARG - divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_k italic_F start_POSTSUBSCRIPT italic_r italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + divide start_ARG 1 end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ( italic_h | italic_D start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT roman_Φ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_k | italic_D start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT roman_Φ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) + divide start_ARG italic_h end_ARG start_ARG 2 italic_r start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG ( 1 - | start_ARG roman_Φ end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) , end_CELL end_ROW start_ROW start_CELL italic_p start_POSTSUPERSCRIPT italic_U ( 1 ) end_POSTSUPERSCRIPT ( italic_r ) end_CELL start_CELL = divide start_ARG italic_κ end_ARG start_ARG 3 end_ARG ∫ start_DIFFOP roman_d end_DIFFOP italic_z ( start_ARG divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_h ( ∂ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + divide start_ARG 3 end_ARG start_ARG 2 end_ARG italic_k ( ∂ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) , end_CELL end_ROW (3.27)
s(r)=sSU(2)(r)+sU(1)(r),sSU(2)(r)=κdz(kFrz2+1r2(h|DrΦ|2k|DzΦ|2)hr4(1|Φ|2)2),sU(1)(r)=κdzh(ra0)2.formulae-sequence𝑠𝑟superscript𝑠𝑆𝑈2𝑟superscript𝑠𝑈1𝑟formulae-sequencesuperscript𝑠𝑆𝑈2𝑟𝜅𝑧𝑘superscriptsubscript𝐹𝑟𝑧21superscript𝑟2superscriptsubscript𝐷𝑟Φ2𝑘superscriptsubscript𝐷𝑧Φ2superscript𝑟4superscript1superscriptΦ22superscript𝑠𝑈1𝑟𝜅𝑧superscriptsubscript𝑟subscript𝑎02\displaystyle\begin{split}s(r)&=s^{SU(2)}(r)+s^{U(1)}(r),\\ s^{SU(2)}(r)&=\kappa\int\differential z\quantity(kF_{rz}^{2}+\frac{1}{r^{2}}(h% |D_{r}\Phi|^{2}-k|D_{z}\Phi|^{2})-\frac{h}{r^{4}}(1-\absolutevalue{\Phi}^{2})^% {2}),\\ s^{U(1)}(r)&=-\kappa\int\differential zh(\partial_{r}a_{0})^{2}.\end{split}start_ROW start_CELL italic_s ( italic_r ) end_CELL start_CELL = italic_s start_POSTSUPERSCRIPT italic_S italic_U ( 2 ) end_POSTSUPERSCRIPT ( italic_r ) + italic_s start_POSTSUPERSCRIPT italic_U ( 1 ) end_POSTSUPERSCRIPT ( italic_r ) , end_CELL end_ROW start_ROW start_CELL italic_s start_POSTSUPERSCRIPT italic_S italic_U ( 2 ) end_POSTSUPERSCRIPT ( italic_r ) end_CELL start_CELL = italic_κ ∫ start_DIFFOP roman_d end_DIFFOP italic_z ( start_ARG italic_k italic_F start_POSTSUBSCRIPT italic_r italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + divide start_ARG 1 end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ( italic_h | italic_D start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT roman_Φ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_k | italic_D start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT roman_Φ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) - divide start_ARG italic_h end_ARG start_ARG italic_r start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG ( 1 - | start_ARG roman_Φ end_ARG | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) , end_CELL end_ROW start_ROW start_CELL italic_s start_POSTSUPERSCRIPT italic_U ( 1 ) end_POSTSUPERSCRIPT ( italic_r ) end_CELL start_CELL = - italic_κ ∫ start_DIFFOP roman_d end_DIFFOP italic_z italic_h ( ∂ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT . end_CELL end_ROW (3.28)

The classical mass of the soliton is calculated as

MEMT=MSU(2)+MU(1)=4πdrr2(ϵSU(2)(r)+ϵU(1)(r)).subscript𝑀EMTsuperscript𝑀𝑆𝑈2superscript𝑀𝑈14𝜋𝑟superscript𝑟2superscriptitalic-ϵ𝑆𝑈2𝑟superscriptitalic-ϵ𝑈1𝑟M_{\mathrm{EMT}}=M^{SU(2)}+M^{U(1)}=4\pi\int\differential rr^{2}\quantity(% \epsilon^{SU(2)}(r)+\epsilon^{U(1)}(r)).italic_M start_POSTSUBSCRIPT roman_EMT end_POSTSUBSCRIPT = italic_M start_POSTSUPERSCRIPT italic_S italic_U ( 2 ) end_POSTSUPERSCRIPT + italic_M start_POSTSUPERSCRIPT italic_U ( 1 ) end_POSTSUPERSCRIPT = 4 italic_π ∫ start_DIFFOP roman_d end_DIFFOP italic_r italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ( start_ARG italic_ϵ start_POSTSUPERSCRIPT italic_S italic_U ( 2 ) end_POSTSUPERSCRIPT ( italic_r ) + italic_ϵ start_POSTSUPERSCRIPT italic_U ( 1 ) end_POSTSUPERSCRIPT ( italic_r ) end_ARG ) . (3.29)

It is easy to show that Msol=MEMTsubscript𝑀solsubscript𝑀EMTM_{\mathrm{sol}}=M_{\mathrm{EMT}}italic_M start_POSTSUBSCRIPT roman_sol end_POSTSUBSCRIPT = italic_M start_POSTSUBSCRIPT roman_EMT end_POSTSUBSCRIPT using the U(1)𝑈1U(1)italic_U ( 1 ) part Gauss-law equation (3.21).

As introduced in section 2.1, we can derive the D-term in two ways, from the pressure p𝑝pitalic_p (2.17) and the shear force s𝑠sitalic_s (2.14)

Dpsubscript𝐷𝑝\displaystyle D_{p}italic_D start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT =DpSU(2)+DpU(1)=4πMsoldrr4(pSU(2)(r)+pU(1)(r))absentsuperscriptsubscript𝐷𝑝𝑆𝑈2superscriptsubscript𝐷𝑝𝑈14𝜋subscript𝑀sol𝑟superscript𝑟4superscript𝑝𝑆𝑈2𝑟superscript𝑝𝑈1𝑟\displaystyle=D_{p}^{SU(2)}+D_{p}^{U(1)}=4\pi M_{\mathrm{sol}}\int% \differential rr^{4}(p^{SU(2)}(r)+p^{U(1)}(r))= italic_D start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_S italic_U ( 2 ) end_POSTSUPERSCRIPT + italic_D start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_U ( 1 ) end_POSTSUPERSCRIPT = 4 italic_π italic_M start_POSTSUBSCRIPT roman_sol end_POSTSUBSCRIPT ∫ start_DIFFOP roman_d end_DIFFOP italic_r italic_r start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ( italic_p start_POSTSUPERSCRIPT italic_S italic_U ( 2 ) end_POSTSUPERSCRIPT ( italic_r ) + italic_p start_POSTSUPERSCRIPT italic_U ( 1 ) end_POSTSUPERSCRIPT ( italic_r ) ) (3.30)
Dssubscript𝐷𝑠\displaystyle D_{s}italic_D start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT =DsSU(2)+DsU(1)=16π15Msoldrr4(sSU(2)(r)+sU(1)(r)).absentsuperscriptsubscript𝐷𝑠𝑆𝑈2superscriptsubscript𝐷𝑠𝑈116𝜋15subscript𝑀sol𝑟superscript𝑟4superscript𝑠𝑆𝑈2𝑟superscript𝑠𝑈1𝑟\displaystyle=D_{s}^{SU(2)}+D_{s}^{U(1)}=-\frac{16\pi}{15}M_{\mathrm{sol}}\int% \differential rr^{4}(s^{SU(2)}(r)+s^{U(1)}(r)).= italic_D start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_S italic_U ( 2 ) end_POSTSUPERSCRIPT + italic_D start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_U ( 1 ) end_POSTSUPERSCRIPT = - divide start_ARG 16 italic_π end_ARG start_ARG 15 end_ARG italic_M start_POSTSUBSCRIPT roman_sol end_POSTSUBSCRIPT ∫ start_DIFFOP roman_d end_DIFFOP italic_r italic_r start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT ( italic_s start_POSTSUPERSCRIPT italic_S italic_U ( 2 ) end_POSTSUPERSCRIPT ( italic_r ) + italic_s start_POSTSUPERSCRIPT italic_U ( 1 ) end_POSTSUPERSCRIPT ( italic_r ) ) . (3.31)

Dpsubscript𝐷𝑝D_{p}italic_D start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT and Dssubscript𝐷𝑠D_{s}italic_D start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT must be equal due to the conservation law (2.15).

3.4 The baryon mean square radii

There are several ways to estimate the size of the soliton. One way is the mean square radius of the energy density

r2ϵ:=1d3𝒙ϵ(r)d3𝒙r2ϵ(r)=1Msold3𝒙r2ϵ(r).assignsubscriptexpectation-valuesuperscript𝑟2italic-ϵ1superscript3𝒙italic-ϵ𝑟superscript3𝒙superscript𝑟2italic-ϵ𝑟1subscript𝑀solsuperscript3𝒙superscript𝑟2italic-ϵ𝑟\expectationvalue{r^{2}}_{\epsilon}:=\frac{1}{\int\differential^{3}{\bf\it x}% \epsilon(r)}\int\differential^{3}{\bf\it x}r^{2}\epsilon(r)=\frac{1}{M_{% \mathrm{sol}}}\int\differential^{3}{\bf\it x}r^{2}\epsilon(r).⟨ start_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ⟩ start_POSTSUBSCRIPT italic_ϵ end_POSTSUBSCRIPT := divide start_ARG 1 end_ARG start_ARG ∫ start_DIFFOP roman_d end_DIFFOP start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT bold_italic_x italic_ϵ ( italic_r ) end_ARG ∫ start_DIFFOP roman_d end_DIFFOP start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT bold_italic_x italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ϵ ( italic_r ) = divide start_ARG 1 end_ARG start_ARG italic_M start_POSTSUBSCRIPT roman_sol end_POSTSUBSCRIPT end_ARG ∫ start_DIFFOP roman_d end_DIFFOP start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT bold_italic_x italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ϵ ( italic_r ) . (3.32)

In the spherically symmetric case, it has been argued that the radial force Frsubscript𝐹𝑟F_{r}italic_F start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT

Fr:=Tijninj=p(r)+23s(r)assignsubscript𝐹𝑟subscript𝑇𝑖𝑗superscript𝑛𝑖superscript𝑛𝑗𝑝𝑟23𝑠𝑟F_{r}:=T_{ij}n^{i}n^{j}=p(r)+\frac{2}{3}s(r)italic_F start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT := italic_T start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT italic_n start_POSTSUPERSCRIPT italic_i end_POSTSUPERSCRIPT italic_n start_POSTSUPERSCRIPT italic_j end_POSTSUPERSCRIPT = italic_p ( italic_r ) + divide start_ARG 2 end_ARG start_ARG 3 end_ARG italic_s ( italic_r ) (3.33)

is always positive in a stable system [Perevalova:2016dln] (see also [Polyakov:2018zvc]). The mean square radius of Frsubscript𝐹𝑟F_{r}italic_F start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT

r2mech:=d3𝒙r2Frd3𝒙Fr.assignsubscriptexpectation-valuesuperscript𝑟2mechsuperscript3𝒙superscript𝑟2subscript𝐹𝑟superscript3𝒙subscript𝐹𝑟\expectationvalue{r^{2}}_{\mathrm{mech}}:=\frac{\int\differential^{3}{\bf\it x% }r^{2}F_{r}}{\int\differential^{3}{\bf\it x}F_{r}}.⟨ start_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ⟩ start_POSTSUBSCRIPT roman_mech end_POSTSUBSCRIPT := divide start_ARG ∫ start_DIFFOP roman_d end_DIFFOP start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT bold_italic_x italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_F start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT end_ARG start_ARG ∫ start_DIFFOP roman_d end_DIFFOP start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT bold_italic_x italic_F start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT end_ARG . (3.34)

is called the mechanical radius.

4 Analysis and Results

In this section, we show our results for a soliton solution with B=1𝐵1B=1italic_B = 1 obtained by solving the EOMs (3.18)-(3.21) numerically. The parameters MKKsubscript𝑀KKM_{\mathrm{KK}}italic_M start_POSTSUBSCRIPT roman_KK end_POSTSUBSCRIPT and λ𝜆\lambdaitalic_λ are taken to be 949MeV949MeV949\,$\mathrm{M}\mathrm{e}\mathrm{V}$949 roman_MeV and 16.6516.6516.6516.65, respectively, which are the values used in [Sakai:2004cn, Sakai:2005yt] to reproduce the pion decay constant fπsubscript𝑓𝜋f_{\pi}italic_f start_POSTSUBSCRIPT italic_π end_POSTSUBSCRIPT and the mass of the ρ𝜌\rhoitalic_ρ meson. We use the coordinate w:=arctan(z)assign𝑤arctangent𝑧w:=\arctan{z}italic_w := roman_arctan ( start_ARG italic_z end_ARG ) instead of z𝑧zitalic_z for the calculation. In this coordinate, we have k(w)=1𝑘𝑤1k(w)=1italic_k ( italic_w ) = 1, h(w)=(cos(w))43𝑤superscript𝑤43h(w)=(\cos{w})^{-\frac{4}{3}}italic_h ( italic_w ) = ( roman_cos ( start_ARG italic_w end_ARG ) ) start_POSTSUPERSCRIPT - divide start_ARG 4 end_ARG start_ARG 3 end_ARG end_POSTSUPERSCRIPT, and the boundary corresponding to z±𝑧plus-or-minusz\to\pm\inftyitalic_z → ± ∞ is w=±wmax=±π2𝑤plus-or-minussubscript𝑤maxplus-or-minus𝜋2w=\pm w_{\mathrm{max}}=\pm\frac{\pi}{2}italic_w = ± italic_w start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT = ± divide start_ARG italic_π end_ARG start_ARG 2 end_ARG. The cutoff of r𝑟ritalic_r is set to Rmax=5πsubscript𝑅max5𝜋R_{\mathrm{max}}=5\piitalic_R start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT = 5 italic_π in the MKK=1subscript𝑀KK1M_{\mathrm{KK}}=1italic_M start_POSTSUBSCRIPT roman_KK end_POSTSUBSCRIPT = 1 unit, and this is physically 3.3fm3.3fm3.3\,$\mathrm{f}\mathrm{m}$3.3 roman_fm. The r𝑟ritalic_r - w𝑤witalic_w plane is first reduced to w0𝑤0w\geq 0italic_w ≥ 0 by adopting the 2subscript2\mathbb{Z}_{2}blackboard_Z start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT symmetry associated with ww𝑤𝑤w\to-witalic_w → - italic_w, and discretized to 30×3003030030\times 30030 × 300 square lattice with spacing Δ=π/60Δ𝜋60\Delta=\pi/60roman_Δ = italic_π / 60 or 0.01fm0.01fm0.01\,$\mathrm{f}\mathrm{m}$0.01 roman_fm. EOMs (3.18)-(3.21) are solved by the Gauss-Seidel method. For more details, see the Appendix A.

Figure 1 are the plots of 4πr2ϵw(r,w):=4πr2dzdw(ϵzSU(2)+ϵzU(1))assign4𝜋superscript𝑟2subscriptitalic-ϵ𝑤𝑟𝑤4𝜋superscript𝑟2derivative𝑤𝑧superscriptsubscriptitalic-ϵ𝑧𝑆𝑈2superscriptsubscriptitalic-ϵ𝑧𝑈14\pi r^{2}\epsilon_{w}(r,w):=4\pi r^{2}{\derivative{z}{w}}(\epsilon_{z}^{SU(2)% }+\epsilon_{z}^{U(1)})4 italic_π italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ϵ start_POSTSUBSCRIPT italic_w end_POSTSUBSCRIPT ( italic_r , italic_w ) := 4 italic_π italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT divide start_ARG roman_d start_ARG italic_z end_ARG end_ARG start_ARG roman_d start_ARG italic_w end_ARG end_ARG ( italic_ϵ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_S italic_U ( 2 ) end_POSTSUPERSCRIPT + italic_ϵ start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_U ( 1 ) end_POSTSUPERSCRIPT ) and ch2(r,w)subscriptch2𝑟𝑤\mathrm{ch}_{2}(r,w)roman_ch start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_r , italic_w ) (3.15) on the r𝑟ritalic_r - w𝑤witalic_w plane. The peak of ϵwsubscriptitalic-ϵ𝑤\epsilon_{w}italic_ϵ start_POSTSUBSCRIPT italic_w end_POSTSUBSCRIPT is located at w0𝑤0w\neq 0italic_w ≠ 0. This is because ϵwsubscriptitalic-ϵ𝑤\epsilon_{w}italic_ϵ start_POSTSUBSCRIPT italic_w end_POSTSUBSCRIPT includes the factor h(w)𝑤h(w)italic_h ( italic_w ), which is an increasing function for w>0𝑤0w>0italic_w > 0. In contrast, the center of ch2subscriptch2\mathrm{ch}_{2}roman_ch start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT, which does not depend on h(w)𝑤h(w)italic_h ( italic_w ), stays on the w=0𝑤0w=0italic_w = 0 axis.

Integrating Figure 1 along the w𝑤witalic_w axis, we obtain Figure 2. In the outer region r1.0fmgreater-than-or-equivalent-to𝑟1.0fmr\gtrsim 1.0\,$\mathrm{f}\mathrm{m}$italic_r ≳ 1.0 roman_fm, r2ϵ(r)superscript𝑟2italic-ϵ𝑟r^{2}\epsilon(r)italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ϵ ( italic_r ) behaves as r4superscript𝑟4r^{-4}italic_r start_POSTSUPERSCRIPT - 4 end_POSTSUPERSCRIPT, while ch2(r):=dwch2(r,w)assignsubscriptch2𝑟𝑤subscriptch2𝑟𝑤\mathrm{ch}_{2}(r):=\int\differential w\mathrm{ch}_{2}(r,w)roman_ch start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_r ) := ∫ start_DIFFOP roman_d end_DIFFOP italic_w roman_ch start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_r , italic_w ) decreases as r7superscript𝑟7r^{-7}italic_r start_POSTSUPERSCRIPT - 7 end_POSTSUPERSCRIPT. This is consistent with the asymptotic behavior in large r𝑟ritalic_r derived analytically in [Cherman:2011ve] and the EMT of the Skyrme model [Cebulla:2007ei]. The pressure p(r)𝑝𝑟p(r)italic_p ( italic_r ) and the shear force s(r)𝑠𝑟s(r)italic_s ( italic_r ) defined in (2.12) are shown in Figure 4. p(r)𝑝𝑟p(r)italic_p ( italic_r ) is positive in r0.64fm𝑟0.64fmr\leq 0.64\,$\mathrm{f}\mathrm{m}$italic_r ≤ 0.64 roman_fm and negative outside. This behavior is consistent with experimental results [Burkert:2018bqq, Wang:2022ndz, Goharipour:2025lep] and calculations in other models [Neubelt:2019sou, Shanahan:2018nnv, Anikin:2019kwi, Dehghan:2025ncw, Cebulla:2007ei, Jung:2013bya, GarciaMartin-Caro:2023toa, Goeke:2007fp, Kim:2012ts, Mamo:2019mka, Mamo:2021krl, Mamo:2022eui]. To check the conservation law (2.15), we evaluate

0dr|p+2s+2rs|1.4MeV/fm3.similar-to-or-equalssuperscriptsubscript0𝑟superscript𝑝2superscript𝑠2𝑟𝑠1.4MeVsuperscriptfm3\int_{0}^{\infty}\differential r\absolutevalue{p^{\prime}+2s^{\prime}+\frac{2}% {r}s}\simeq 1.4\,$\mathrm{M}\mathrm{e}\mathrm{V}\mathrm{/}\mathrm{f}\mathrm{m}% ^{3}$.∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT start_DIFFOP roman_d end_DIFFOP italic_r | start_ARG italic_p start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + 2 italic_s start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT + divide start_ARG 2 end_ARG start_ARG italic_r end_ARG italic_s end_ARG | ≃ 1.4 roman_MeV / roman_fm start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT . (4.1)

This is about 1%percent11\,\%1 % of p(0)114MeV/fm3similar-to-or-equals𝑝0114MeVsuperscriptfm3p(0)\simeq 114\,$\mathrm{M}\mathrm{e}\mathrm{V}\mathrm{/}\mathrm{f}\mathrm{m}^% {3}$italic_p ( 0 ) ≃ 114 roman_MeV / roman_fm start_POSTSUPERSCRIPT 3 end_POSTSUPERSCRIPT, and it is small enough within the numerical precision.

Table 1 is the list of global properties and the sizes of the baryon evaluated in our numerical calculation along with the value of D-term in [Fujita:2022jus]. The classical mass of the baryon (3.29) is MSU(2)=950MeVsubscript𝑀𝑆𝑈2950MeVM_{SU(2)}=950\,$\mathrm{M}\mathrm{e}\mathrm{V}$italic_M start_POSTSUBSCRIPT italic_S italic_U ( 2 ) end_POSTSUBSCRIPT = 950 roman_MeV, MU(1)=232MeVsubscript𝑀𝑈1232MeVM_{U(1)}=232\,$\mathrm{M}\mathrm{e}\mathrm{V}$italic_M start_POSTSUBSCRIPT italic_U ( 1 ) end_POSTSUBSCRIPT = 232 roman_MeV, and Msol=1.18GeVsubscript𝑀sol1.18GeVM_{\mathrm{sol}}=1.18\,$\mathrm{G}\mathrm{e}\mathrm{V}$italic_M start_POSTSUBSCRIPT roman_sol end_POSTSUBSCRIPT = 1.18 roman_GeV in total. This value agrees well with the value obtained in [Hori:2023fxq], although this is 416MeV416MeV416\,$\mathrm{M}\mathrm{e}\mathrm{V}$416 roman_MeV smaller than the value evaluated in [Hata:2007mb]. The values of D-term are Dp=2.06subscript𝐷𝑝2.06D_{p}=-2.06italic_D start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = - 2.06 and Ds=2.05subscript𝐷𝑠2.05D_{s}=-2.05italic_D start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT = - 2.05. The difference between Dpsubscript𝐷𝑝D_{p}italic_D start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT and Dssubscript𝐷𝑠D_{s}italic_D start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT is less than 1%percent11\,\%1 %, and agrees with good precision. As mentioned in section 2.2, the individual values of the SU(2)𝑆𝑈2SU(2)italic_S italic_U ( 2 ) part and U(1)𝑈1U(1)italic_U ( 1 ) part of Dpsubscript𝐷𝑝D_{p}italic_D start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT and Dssubscript𝐷𝑠D_{s}italic_D start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT do not agree because DpSU(2)superscriptsubscript𝐷𝑝𝑆𝑈2D_{p}^{SU(2)}italic_D start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_S italic_U ( 2 ) end_POSTSUPERSCRIPT and DpU(1)superscriptsubscript𝐷𝑝𝑈1D_{p}^{U(1)}italic_D start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_U ( 1 ) end_POSTSUPERSCRIPT involve the contribution of a non-conserving term c¯¯𝑐\bar{c}over¯ start_ARG italic_c end_ARG. The t𝑡titalic_t-dependence of D(t)𝐷𝑡D(t)italic_D ( italic_t ) can be obtained from (2.13), and the result is shown in Figure 4. D(t)𝐷𝑡D(t)italic_D ( italic_t ) is negative anywhere, and converges to 00 at large t𝑡titalic_t. The slope at t=0𝑡0t=0italic_t = 0 is infinitely steep, since ddtD(t)derivative𝑡𝐷𝑡\derivative{t}D(t)start_DIFFOP divide start_ARG roman_d end_ARG start_ARG roman_d start_ARG italic_t end_ARG end_ARG end_DIFFOP italic_D ( italic_t ) is proportional to drr6s(r)𝑟superscript𝑟6𝑠𝑟\int\differential rr^{6}s(r)∫ start_DIFFOP roman_d end_DIFFOP italic_r italic_r start_POSTSUPERSCRIPT 6 end_POSTSUPERSCRIPT italic_s ( italic_r ) at small t𝑡titalic_t, which diverges in the chiral limit.

The two mean radii defined in section 3.4 are r2ϵ=(0.662fm)2subscriptexpectation-valuesuperscript𝑟2italic-ϵsuperscript0.662fm2\expectationvalue{r^{2}}_{\epsilon}=(0.662\,$\mathrm{f}\mathrm{m}$)^{2}⟨ start_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ⟩ start_POSTSUBSCRIPT italic_ϵ end_POSTSUBSCRIPT = ( 0.662 roman_fm ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT and r2mech=(0.938fm)2subscriptexpectation-valuesuperscript𝑟2mechsuperscript0.938fm2\expectationvalue{r^{2}}_{\mathrm{mech}}=(0.938\,$\mathrm{f}\mathrm{m}$)^{2}⟨ start_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ⟩ start_POSTSUBSCRIPT roman_mech end_POSTSUBSCRIPT = ( 0.938 roman_fm ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. These values are comparable to other recent results 777See e.g. [Goharipour:2025yxm] for an overview..

To compare our numerical results with the previous calculation in [Fujita:2022jus], we use Dssubscript𝐷𝑠D_{s}italic_D start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT because the D-term was calculated from the traceless part of the stress tensor in [Fujita:2022jus]. We find qualitatively similar behavior such that the SU(2)𝑆𝑈2SU(2)italic_S italic_U ( 2 ) part is negative and U(1)𝑈1U(1)italic_U ( 1 ) is positive, being negative in total in both cases. However, the absolute value of the SU(2)𝑆𝑈2SU(2)italic_S italic_U ( 2 ) part from our numerical result is about 4 times larger than that obtained in [Fujita:2022jus], making the total D-term more negative.

Msolsubscript𝑀solM_{\mathrm{sol}}italic_M start_POSTSUBSCRIPT roman_sol end_POSTSUBSCRIPT Dpsubscript𝐷𝑝D_{p}italic_D start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT Dssubscript𝐷𝑠D_{s}italic_D start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT D𝐷Ditalic_D in [Fujita:2022jus] r2ϵsubscriptexpectation-valuesuperscript𝑟2italic-ϵ\expectationvalue{r^{2}}_{\epsilon}⟨ start_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ⟩ start_POSTSUBSCRIPT italic_ϵ end_POSTSUBSCRIPT r2mechsubscriptexpectation-valuesuperscript𝑟2mech\expectationvalue{r^{2}}_{\mathrm{mech}}⟨ start_ARG italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ⟩ start_POSTSUBSCRIPT roman_mech end_POSTSUBSCRIPT
results 1.18[GeV]1.18delimited-[]GeV1.18\,[$\mathrm{G}\mathrm{e}\mathrm{V}$]1.18 [ roman_GeV ] 2.062.06-2.06- 2.06 2.052.05-2.05- 2.05 0.1400.140-0.140- 0.140 (0.662)2[fm2]superscript0.6622delimited-[]superscriptfm2(0.662)^{2}\,[$\mathrm{f}\mathrm{m}$^{2}]( 0.662 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [ roman_fm start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ] (0.938)2[fm2]superscript0.9382delimited-[]superscriptfm2(0.938)^{2}\,[$\mathrm{f}\mathrm{m}$^{2}]( 0.938 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [ roman_fm start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ]
SU(2)𝑆𝑈2SU(2)italic_S italic_U ( 2 ) part 950[MeV]950delimited-[]MeV950\,[$\mathrm{M}\mathrm{e}\mathrm{V}$]950 [ roman_MeV ] 3.423.42-3.42- 3.42 2.542.54-2.54- 2.54 0.6850.685-0.685- 0.685 (0.692)2[fm2]superscript0.6922delimited-[]superscriptfm2(0.692)^{2}\,[$\mathrm{f}\mathrm{m}$^{2}]( 0.692 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [ roman_fm start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ] (1.38)2[fm2]superscript1.382delimited-[]superscriptfm2(1.38)^{2}\,[$\mathrm{f}\mathrm{m}$^{2}]( 1.38 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [ roman_fm start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ]
U(1)𝑈1U(1)italic_U ( 1 ) part 232[MeV]232delimited-[]MeV232\,[$\mathrm{M}\mathrm{e}\mathrm{V}$]232 [ roman_MeV ] 1.361.361.361.36 0.4890.4890.4890.489 0.5430.5430.5430.543 (0.529)2[fm2]superscript0.5292delimited-[]superscriptfm2(0.529)^{2}\,[$\mathrm{f}\mathrm{m}$^{2}]( 0.529 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [ roman_fm start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ] (0.267)2[fm2]superscript0.2672delimited-[]superscriptfm2(0.267)^{2}\,[$\mathrm{f}\mathrm{m}$^{2}]( 0.267 ) start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT [ roman_fm start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ]
Table 1: Mass, D-term and mean square radii.
Refer to caption
Refer to caption
Figure 1: Energy density and Chern number density of the baryon on r𝑟ritalic_r - w𝑤witalic_w plane. The plot range is restricted to 0wwmax=π/20𝑤subscript𝑤max𝜋20\leq w\leq w_{\mathrm{max}}=\pi/20 ≤ italic_w ≤ italic_w start_POSTSUBSCRIPT roman_max end_POSTSUBSCRIPT = italic_π / 2, which corresponds to 0z<+0𝑧0\leq z<+\infty0 ≤ italic_z < + ∞.
Refer to caption
Refer to caption
Figure 2: Energy density and Chern number density along the r𝑟ritalic_r direction. The black dashed line is ch2(r,w)subscriptch2𝑟𝑤\mathrm{ch}_{2}(r,w)roman_ch start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ( italic_r , italic_w ) integrated along the w𝑤witalic_w axis. The blue solid line is 4πr2ϵ(r)4𝜋superscript𝑟2italic-ϵ𝑟4\pi r^{2}\epsilon(r)4 italic_π italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_ϵ ( italic_r ) normalized with Msolsubscript𝑀solM_{\mathrm{sol}}italic_M start_POSTSUBSCRIPT roman_sol end_POSTSUBSCRIPT. The right figure is plotted in the log-scale. The red solid and dashed lines are 1/r71superscript𝑟71/r^{7}1 / italic_r start_POSTSUPERSCRIPT 7 end_POSTSUPERSCRIPT and 1/r41superscript𝑟41/r^{4}1 / italic_r start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT, respectively.
Refer to caption
Figure 3: p(r)𝑝𝑟p(r)italic_p ( italic_r ) and s(r)𝑠𝑟s(r)italic_s ( italic_r ) multiplied with 4πr24𝜋superscript𝑟24\pi r^{2}4 italic_π italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT. The blue solid line is p(r)𝑝𝑟p(r)italic_p ( italic_r ) and the red dashed line is s(r)𝑠𝑟s(r)italic_s ( italic_r ).
Refer to caption
Figure 4: t𝑡titalic_t dependence of D(t)𝐷𝑡D(t)italic_D ( italic_t ). The graph is derived from (2.13) for t0𝑡0t\neq 0italic_t ≠ 0, and D(0)𝐷0D(0)italic_D ( 0 ) is fixed to Ds=2.05subscript𝐷𝑠2.05D_{s}=-2.05italic_D start_POSTSUBSCRIPT italic_s end_POSTSUBSCRIPT = - 2.05.

5 Conclusions

In this paper, we investigated the gravitational form factors of a baryon using a top-down holographic description of QCD proposed in [Sakai:2004cn, Sakai:2005yt, Hata:2007mb]. In this framework, a baryon is described as a topologically stable solitonic gauge configuration in a 5-dimensional gauge theory. In order to obtain a classical solution corresponding to a baryon, we used Witten’s ansatz and solved the equations of motion numerically. Using this numerical solution, the energy-momentum tensor was evaluated and the quantities such as energy density, pressure, and shear force were extracted. The results are summarized in Table 1 and Figures 14. In particular, the D-term turned out to be significantly larger in absolute value compared to the previous result in [Fujita:2022jus].

Our analysis is not complete and there are several directions to improve the calculation. First of all, our analysis is based on a static classical solution of the soliton corresponding to the baryon. It would be interesting to combine our numerical analysis with the quantization of the fluctuations around the soliton solution investigated in [Hata:2007mb, Panico:2008it, Hashimoto:2008zw, Cherman:2011ve]. An important ingredient is the spin of the baryon, which can be introduced by quantizing the collective coordinates related to the rotational degrees of freedom. Once it is included, it will be possible to analyze the J(t)𝐽𝑡J(t)italic_J ( italic_t ) form factor for nucleon (see (2.1) and (2.3)) and the gravitational form factors for higher spin baryons (e.g. ΔΔ\Deltaroman_Δ resonance). (See [Kim:2020lrs] for a work in this direction.888See also [Pefkou:2021fni, Alharazin:2022wjj, Fu:2022rkn, Dehghan:2023ytx] for studies of GFFs for the ΔΔ\Deltaroman_Δ resonance using different approaches.) The analysis of the electromagnetic form factors done in [Hashimoto:2008zw] can also be improved by using our numerical analysis. Secondly, the model used in this paper describes QCD with massless quarks and the effect of the current quark mass is neglected. There are some proposals to add the quark masses in this system [Aharony:2008an, Hashimoto:2008zw]. Since the effect of the quark mass drastically changes the IR behavior of some quantities, such as ddtD(t)|t0evaluated-at𝑑𝑑𝑡𝐷𝑡𝑡0\frac{d}{dt}D(t)|_{t\rightarrow 0}divide start_ARG italic_d end_ARG start_ARG italic_d italic_t end_ARG italic_D ( italic_t ) | start_POSTSUBSCRIPT italic_t → 0 end_POSTSUBSCRIPT mentioned in section 4, it would be worthwhile to include it in the analysis of the form factors. For the study of hyperons, it will be crucial to include the strange quark mass to obtain realistic predictions. (See [Hashimoto:2009st]) Thirdly, our analysis is based on the expression of the EMT in (3.22). As it was shown in [Fujita:2022jus], (3.22) is obtained as an approximation that is valid when the momentum transfer is smaller than the mass scale of the lightest glueball, which is of order 1 GeV. Therefore, for t𝒪(1)GeV2similar-to𝑡𝒪1superscriptGeV2t\sim{\cal O}(1)\,\mbox{GeV}^{2}italic_t ∼ caligraphic_O ( 1 ) GeV start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT or higher, the glueball propagators (or, in other words, the bulk to boundary propagator) should be taken into account properly. In addition, the analysis in the holographic description is done in the supergravity approximation, in which the αsuperscript𝛼\alpha^{\prime}italic_α start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT corrections (corresponding to the 1/λ1𝜆1/\lambda1 / italic_λ corrections) as well as quantum gravity effects (corresponding to the 1/Nc1subscript𝑁𝑐1/N_{c}1 / italic_N start_POSTSUBSCRIPT italic_c end_POSTSUBSCRIPT corrections) are neglected. It would be nice if these corrections could be incorporated.

Acknowledgement

We are especially grateful to Y. Hatta for valuable comments on a draft of this paper. The work of SS was supported by the JSPS KAKENHI (Grant-in-Aid for Scientific Research (B)) grant number JP24K00628 and MEXT KAKENHI (Grant-in-Aid for Transformative Research Areas A “Extreme Universe”) grant number 21H05187. The work of TT was supported by JST BOOST, Grant Number JPMJBS2407.

Appendix A Boundary conditions

In this appendix, we summarize the boundary conditions we used to solve the EOM (3.18) - (3.21). Under the ansatz (3.7) - (3.10), the 5-dimensional gauge field 𝒜𝒜\mathcal{A}caligraphic_A is reduced to real and complex scalars a0subscript𝑎0a_{0}italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT and ΦΦ\Phiroman_Φ, and a U(1)𝑈1U(1)italic_U ( 1 ) gauge field (Az,Ar)subscript𝐴𝑧subscript𝐴𝑟(A_{z},A_{r})( italic_A start_POSTSUBSCRIPT italic_z end_POSTSUBSCRIPT , italic_A start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ) on a 2-dimensional z𝑧zitalic_z-r𝑟ritalic_r plane. Replacing z𝑧zitalic_z with w=arctan(z)𝑤arctangent𝑧w=\arctan(z)italic_w = roman_arctan ( start_ARG italic_z end_ARG ), the boundaries of this plane are r=0𝑟0r=0italic_r = 0, w=±π2𝑤plus-or-minus𝜋2w=\pm\frac{\pi}{2}italic_w = ± divide start_ARG italic_π end_ARG start_ARG 2 end_ARG, and r𝑟r\to\inftyitalic_r → ∞.

From the regularity of 𝒜𝒜\mathcal{A}caligraphic_A, the boundary condition at r=0𝑟0r=0italic_r = 0 are

Φ=i,Aw=0,rAr=0,ra0=0,(r=0).formulae-sequenceΦ𝑖formulae-sequencesubscript𝐴𝑤0formulae-sequencesubscript𝑟subscript𝐴𝑟0subscript𝑟subscript𝑎00𝑟0\Phi=-i,\,A_{w}=0,\,\partial_{r}A_{r}=0,\,\partial_{r}a_{0}=0,\quad(r=0).roman_Φ = - italic_i , italic_A start_POSTSUBSCRIPT italic_w end_POSTSUBSCRIPT = 0 , ∂ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT italic_A start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT = 0 , ∂ start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 0 , ( italic_r = 0 ) . (A.1)

Because of the divergent factor h(w)=cos(w)43𝑤superscript𝑤43h(w)=\cos(w)^{-\frac{4}{3}}italic_h ( italic_w ) = roman_cos ( start_ARG italic_w end_ARG ) start_POSTSUPERSCRIPT - divide start_ARG 4 end_ARG start_ARG 3 end_ARG end_POSTSUPERSCRIPT, μνsubscript𝜇𝜈\mathcal{F}_{\mu\nu}caligraphic_F start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT must vanish at w=±π2𝑤plus-or-minus𝜋2w=\pm\frac{\pi}{2}italic_w = ± divide start_ARG italic_π end_ARG start_ARG 2 end_ARG to make energy finite. Therefore, 𝒜μsubscript𝒜𝜇\mathcal{A}_{\mu}caligraphic_A start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT is pure gauge at w=±π2𝑤plus-or-minus𝜋2w=\pm\frac{\pi}{2}italic_w = ± divide start_ARG italic_π end_ARG start_ARG 2 end_ARG. We choose a gauge such that 𝒜μ0subscript𝒜𝜇0\mathcal{A}_{\mu}\to 0caligraphic_A start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT → 0 at this boundary in this paper. Therefore we have

Φ=i,Ar=0,a0=0,(w=±π2).formulae-sequenceΦ𝑖formulae-sequencesubscript𝐴𝑟0subscript𝑎00𝑤plus-or-minus𝜋2\Phi=-i,\,A_{r}=0,\,a_{0}=0,\quad\quantity(w=\pm\frac{\pi}{2}).roman_Φ = - italic_i , italic_A start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT = 0 , italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 0 , ( start_ARG italic_w = ± divide start_ARG italic_π end_ARG start_ARG 2 end_ARG end_ARG ) . (A.2)

Similarly, μνsubscript𝜇𝜈\mathcal{F}_{\mu\nu}caligraphic_F start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT and wμsubscript𝑤𝜇\mathcal{F}_{w\mu}caligraphic_F start_POSTSUBSCRIPT italic_w italic_μ end_POSTSUBSCRIPT should be 00 at r𝑟r\to\inftyitalic_r → ∞. However, we cannot let 𝒜0𝒜0\mathcal{A}\to 0caligraphic_A → 0 as the boundary condition at r𝑟r\to\inftyitalic_r → ∞. This is because we have set 𝒜μ0subscript𝒜𝜇0\mathcal{A}_{\mu}\to 0caligraphic_A start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT → 0 at w=±π2𝑤plus-or-minus𝜋2w=\pm\frac{\pi}{2}italic_w = ± divide start_ARG italic_π end_ARG start_ARG 2 end_ARG, and the baryon number (3.16) is now

B=12ππ2π2Awdw|r=12ππ2π2Im(ΦwΦ)dw|r.𝐵evaluated-at12𝜋superscriptsubscript𝜋2𝜋2subscript𝐴𝑤𝑤𝑟evaluated-at12𝜋superscriptsubscript𝜋2𝜋2superscriptΦsubscript𝑤Φ𝑤𝑟B=\evaluated{-\frac{1}{2\pi}\int_{-\frac{\pi}{2}}^{\frac{\pi}{2}}A_{w}% \differential w}_{r\to\infty}=\evaluated{-\frac{1}{2\pi}\int_{-\frac{\pi}{2}}^% {\frac{\pi}{2}}\imaginary(\Phi^{\dagger}\partial_{w}\Phi)\differential w}_{r% \to\infty}.italic_B = start_ARG - divide start_ARG 1 end_ARG start_ARG 2 italic_π end_ARG ∫ start_POSTSUBSCRIPT - divide start_ARG italic_π end_ARG start_ARG 2 end_ARG end_POSTSUBSCRIPT start_POSTSUPERSCRIPT divide start_ARG italic_π end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT italic_A start_POSTSUBSCRIPT italic_w end_POSTSUBSCRIPT start_DIFFOP roman_d end_DIFFOP italic_w end_ARG | start_POSTSUBSCRIPT italic_r → ∞ end_POSTSUBSCRIPT = start_ARG - divide start_ARG 1 end_ARG start_ARG 2 italic_π end_ARG ∫ start_POSTSUBSCRIPT - divide start_ARG italic_π end_ARG start_ARG 2 end_ARG end_POSTSUBSCRIPT start_POSTSUPERSCRIPT divide start_ARG italic_π end_ARG start_ARG 2 end_ARG end_POSTSUPERSCRIPT start_OPERATOR roman_Im end_OPERATOR ( roman_Φ start_POSTSUPERSCRIPT † end_POSTSUPERSCRIPT ∂ start_POSTSUBSCRIPT italic_w end_POSTSUBSCRIPT roman_Φ ) start_DIFFOP roman_d end_DIFFOP italic_w end_ARG | start_POSTSUBSCRIPT italic_r → ∞ end_POSTSUBSCRIPT . (A.3)

This leads to the non-trivial behavior of Awsubscript𝐴𝑤A_{w}italic_A start_POSTSUBSCRIPT italic_w end_POSTSUBSCRIPT and ΦΦ\Phiroman_Φ at r𝑟r\to\inftyitalic_r → ∞. We take a simple configuration

Φie2iw,Aw2,Ar0,a00,(r).formulae-sequenceΦ𝑖superscript𝑒2𝑖𝑤formulae-sequencesubscript𝐴𝑤2formulae-sequencesubscript𝐴𝑟0subscript𝑎00𝑟\Phi\to ie^{-2iw},\,A_{w}\to-2,\,A_{r}\to 0,\,a_{0}\to 0,\quad(r\to\infty).roman_Φ → italic_i italic_e start_POSTSUPERSCRIPT - 2 italic_i italic_w end_POSTSUPERSCRIPT , italic_A start_POSTSUBSCRIPT italic_w end_POSTSUBSCRIPT → - 2 , italic_A start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT → 0 , italic_a start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT → 0 , ( italic_r → ∞ ) . (A.4)

In the chiral limit, it is known that the EMT of a baryon decays with a power law as r𝑟r\to\inftyitalic_r → ∞. Thus, merely using (A.4) with the finite cutoff is not appropriate. Because of this, we set the asymptotic behavior of the fields following the discussion in [Cherman:2011ve, Bolognesi:2013nja] as

Aw+2=(1/r2),|Φ|21=(1/r4),formulae-sequencesubscript𝐴𝑤2order1superscript𝑟2superscriptΦ21order1superscript𝑟4A_{w}+2=\order{1/r^{2}},\,|\Phi|^{2}-1=\order{1/r^{4}},italic_A start_POSTSUBSCRIPT italic_w end_POSTSUBSCRIPT + 2 = ( start_ARG 1 / italic_r start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG ) , | roman_Φ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - 1 = ( start_ARG 1 / italic_r start_POSTSUPERSCRIPT 4 end_POSTSUPERSCRIPT end_ARG ) , (A.5)

at r=Rcutoff𝑟subscript𝑅cutoffr=R_{\mathrm{cutoff}}italic_r = italic_R start_POSTSUBSCRIPT roman_cutoff end_POSTSUBSCRIPT. For other fields, we take the value at r𝑟r\to\inftyitalic_r → ∞ as the boundary condition on r=Rcutoff𝑟subscript𝑅cutoffr=R_{\mathrm{cutoff}}italic_r = italic_R start_POSTSUBSCRIPT roman_cutoff end_POSTSUBSCRIPT, since they converge faster than 1/r51superscript𝑟51/r^{5}1 / italic_r start_POSTSUPERSCRIPT 5 end_POSTSUPERSCRIPT.

\printbibliography

[title = References]