1 Introduction

The multi-dimensional distribution of partons within a nucleon can be parametrized in terms of several sets of functions, encoding different correlations between the momentum and spin of the parton and its parent nucleon. In particular, the 3-dimensional distribution in momentum space is encoded in the so-called Transverse-Momentum-Dependent Parton Distributions (TMD PDFs or TMDs) [1]. In simple terms, TMDs extend the conventional 1-dimensional collinear Parton Distribution Functions (PDFs) into three dimensions, including also the dependence on the partonic transverse momentum.

The endeavor to constrain TMDs is a crucial step toward unraveling the multi-dimensional structure of the nucleon, and gaining deeper insight into Quantum ChromoDynamics (QCD) and color confinement. The field of TMDs has witnessed remarkable advancement in recent years, predominantly in the quark sector. Progress within the gluon sector has been relatively restrained, owing to the challenges associated with probing gluons in high-energy processes.

Gluon TMDs at leading twist, first analyzed and classified in Ref. [2], are shown in Table 1 in terms of both the polarization of the gluon and of its parent hadron. In this paper, our focus centers on (naïve) time-reversal odd (T-odd) gluon TMDs, highlighted in red in Table 1. A notable example of a T-odd TMD is the gluon Sivers function, denoted as \(f_{1T}^{\perp g}.\) This function describes the distribution of unpolarized gluons in a transversely polarized nucleon and has a crucial role in the description of transverse single-spin asymmetries (see [3] and references therein). As in the case for quark TMDs, T-odd gluon TMDs are generated by the presence of initial and/or final state QCD interactions between incoming or outgoing partons and the target fragments. These interactions also underlie the peculiar process-dependence of gluon TMDs.

Table 1 Gluon TMD PDFs at twist-2. We adopt here the notation suggested in Ref. [4], similar to the quark case. ULT depict unpolarized, longitudinally polarized and transversely polarized nucleons. U,  ‘circular’, ‘linear’ describe unpolarized, circularly polarized and linearly polarized gluons. Functions in blue are T-even. Functions in black are T-even and survive transverse-momentum integration. Functions in red are T-odd

Experimental information on gluon TMDs is very scarce, and particularly so for T-odd ones. Reference [5] presented the first attempt to reconstruct the unpolarized gluon TMD, \(f_1^g.\) Phenomenological studies of the T-odd gluon Sivers function were published in Refs. [6,7,8], but in processes where TMD factorization is not guaranteed to be applicable. An experimental measurement related to the gluon Sivers function was published by the COMPASS collaboration [9]. Several ways to experimentally access the gluon Sivers function have been discussed in the literature [10,11,12,13,14,15,16] and are among the primary goals of new experimental facilities [17,18,19,20].

Pioneering calculations of gluon TMD distributions [2, 21, 22] were performed using the spectator-model approach (see also Refs. [23, 24] for more recent versions). Originally conceived for studies in the quark-TMD sector [4, 25,26,27,28,29], this approach rests on the assumption that the struck nucleon contains a parton, and the residual fragments are treated as a single on-shell spectator particle. At variance with those studies, in Ref. [30] we presented the calculation of all T-even gluon TMDs in the spectator-model approach where the spectator mass is allowed to take a continuous range of values weighted by a flexible spectral function. This modification encapsulates the effect of \(q\bar{q}\) contributions, and allows to effectively reproduce both the small- and the moderate-x behavior of the TMDs.

In this paper, we extend the results of Ref. [30] by providing a systematic calculation in the same spectator-model framework of the complete set of all the four T-odd gluon TMDs at leading twist, including their process dependence.

2 The spectator model

Our model is based on the assumption that a nucleon contains a gluon and a remainder treated as a single on-shell spectator fermionic particle (see Fig. 1). The mass of this spectator particle is allowed to take a continuous range of values, described by a spectral function. The nucleon-gluon-spectator coupling is described by an effective vertex containing two form factors, inspired by the standard nucleon form factors. Such model can effectively reproduce the known collinear (un)polarized gluon PDFs (the diagonal black entries \(f_1^g\) and \(g_1^g\) in Table 1, that survive integration upon transverse momenta) and can be used to compute all T-even TMDs [30].

Fig. 1
figure 1

Tree-level cut diagram for the calculation of T-even leading-twist gluon TMDs. The triple line represents a spin-\(\textstyle {\frac{1}{2}}\) spectator. The red blob represents the nucleon-gluon-spectator vertex

T-odd gluon TMDs vanish at tree level, because there is no residual interaction between the active parton and the spectator; equivalently, there is no interference between two competing channels producing the complex amplitude whose imaginary part gives the T-odd contribution. We can generate such structures by considering the interference between the tree-level scattering amplitude and the scattering amplitudes with an additional gluon exchange, as shown in Fig. 2. This corresponds to the one-gluon-exchange approximation of the gauge link operator. As we shall discuss in detail, the exact form of the gauge link depends on the process and in our case leads to two different types of functions.

2.1 Tree-level correlator

Following Ref. [30], we work in the frame where the nucleon momentum P has no transverse component:

$$\begin{aligned} P = \left[ \frac{M^2}{2 P^+}, \, P^+ , \, \varvec{0} \right] , \end{aligned}$$
(1)

where M is the nucleon mass. The parton momentum is parameterized as

$$\begin{aligned} p = \left[ \frac{p^2 + \varvec{p}_T^2}{2 x P^+} , \, x P^+ , \, \varvec{p}_T\right] , \end{aligned}$$
(2)

where evidently \(x = p^+ / P^+\) is the light-cone (longitudinal) momentum fraction carried by the parton.

In the spectator-model framework one assumes that the nucleon with spin S in the state \(|P, S \rangle \) can split into a gluon with momentum p and other remainders, effectively treated as a single spin-\(\textstyle {\frac{1}{2}}\) spectator particle with momentum \(P-p\) and mass \(M_X.\) Similarly to Refs. [25, 30], we define a “tree-level” correlator as (see Fig. 1)Footnote 1

(3)

where ab are color indices (in the adjoint representation) and

Fig. 2
figure 2

Diagram for the calculation of the gluon–gluon correlator including the single-gluon exchange contribution, necessary to obtain T-odd TMDs. The eikonal propagator arising from the Wilson line in the operator definition of TMDs is indicated by a gluon double line. Only the imaginary part of the box diagram on the left-hand side of the cut is relevant for the calculation of T-odd functions. The red blobs represent the nucleon-gluon-spectator vertex with color indices ce and ba,  respectively, while the green blob stands for the spectator-gluon-spectator vertex with color indices edb. The Hermitian-conjugate diagram is not shown

$$\begin{aligned} G^{\mu \rho } (p,q) = - \frac{i}{q^2 - m_g^2}\biggl (g^{\mu \rho } -\frac{ q^{\mu } (n_-)^{\rho }}{p^+}\biggr ) \end{aligned}$$
(4)

is a specific Feynman rule for the gluon propagator in the definition of the correlator [31, 32], with \(n^\rho _-\) a light-like unit vector of the light-cone basis, and \(m_g\) a gluon mass regulator which will be set to zero in our calculations. We model the nucleon-gluon-spectator vertex as

$$\begin{aligned} {\mathcal {Y}}^{ba}_\rho (p^2) = \delta ^{ba} \, \bigg [ g_1 (p^2) \, \gamma _\rho + g_2 (p^2) \, \frac{i}{2 M}\, \sigma _{\rho \nu } \, p^\nu \bigg ], \end{aligned}$$
(5)

where as usual \(\sigma _{\rho \nu } = i [ \gamma _\rho , \gamma _\nu ] /2,\) and \(g_{1,2} (p^2)\) are generic form factors. In principle, the expression of \({\mathcal {Y}}^{ba}_\rho (p^2)\) could contain more Dirac structures. However, with our assumptions the spectator is identified with an on-shell spin-\(\textstyle {\frac{1}{2}}\) particle, much like the nucleon. Hence, we model the structure of \({\mathcal {Y}}^{ba}_\rho (p^2)\) similarly to the conserved electromagnetic current of a free nucleon obtained from the Gordon decomposition. The form factors \(g_{1,2} (p^2)\) are formally similar to the Dirac and Pauli form factors, but obviously must not be identified with them. Similarly to our previous model description of quark TMDs [25], we use the dipolar expression

$$\begin{aligned} g_{1,2} (p^2) = \kappa _{1,2} \, \frac{p^2}{|p^2 - \Lambda _X^2|^2} = \kappa _{1,2} \, \frac{p^2 \, (1 - x)^2}{(\varvec{p}_T^2 + L_X^2 (\Lambda _X^2))^2}, \nonumber \\ \end{aligned}$$
(6)

where \(\kappa _{1,2}\) and \(\Lambda _X\) are normalization and cut-off parameters, respectively, and

$$\begin{aligned} L_X^2 (\Lambda _X^2) = x \, M_X^2 + (1 - x) \, \Lambda _X^2 - x \, (1 - x) \, M^2. \end{aligned}$$
(7)

The dipolar expression of Eq. (6) has several advantages: it cancels the singularity of the gluon propagator, it smoothly suppresses the TMD at large \(\varvec{p}_T^2\) (outside the validity range of the model) where the TMD expression should match the perturbative calculation of the \(p_T\)-dependence [33], and it compensates also the logarithmic divergences arising after integration upon \(\varvec{p}_T.\)

In our model, the overall color prefactor at tree level is

$$\begin{aligned} C^{(0)} = \delta ^{ab} \delta ^{ba} = 8. \end{aligned}$$
(8)

As a comparison, we will also discuss the quark-target model, which can be obtained from Eq. (3) simply by replacing

$$\begin{aligned} {\mathcal {Y}}_{\rho }^{b a} \rightarrow g_s \gamma _{\rho } t^{a} , \end{aligned}$$
(9)

with \(g_s\) the strong coupling constant and \(t^a\) a generator of color SU(3) transformations, and by setting \(M = M_X \equiv m_q\) everywhere. In this case, the overall color factor is

$$\begin{aligned} C_q^{(0)} = \frac{1}{N_C}{\text {Tr}}_C[ t^a t^a ]= \frac{4}{3}, \end{aligned}$$
(10)

where \(N_C\) is the number of colors and \({\text {Tr}}_C\) indicates the trace upon color indices.

2.2 Additional single-gluon exchange

In general, T-odd TMDs arise only when there is a residual interaction between the active parton and the spectator. More specifically, they arise from the imaginary part of the interference between the tree-level channel and the channel describing this residual interaction. Following our model calculation for quark TMDs [25], we generate this interference by describing the residual gluon-spectator interaction through the exchange of a soft gluon (see Fig. 2). This one-gluon exchange results from the truncation at the first order in the expansion of the path-ordered exponential that defines the gauge link as the sum of infinite gluon rescatterings [34].

In the general definition of the parton–parton correlator \(\Phi ,\) the gauge link is a necessary ingredient to make the correlator color-gauge invariant. However, the sensitivity of TMDs to the transverse components of the gauge link introduces a process dependence, contrary to the case of collinear PDFs. While T-even quark TMDs are independent from the direction of the color flow in the involved hard scattering, T-odd quark TMDs change sign when moving from final-state interactions with future-pointing \(([+])\) Wilson lines (like in Semi-Inclusive Deep-Inelastic Scattering - SIDIS) to initial-state interactions with past-pointing \(([-])\) Wilson lines (like in Drell–Yan processes) [35,36,37].

The gluon case is more intricate, due its color-octet structure, and leads to a more diversified form of modified universality with respect to the quark case. There is a gauge link with color flowing through a closed path pointing to the future, corresponding to final-state interactions between the spectator and an outgoing gluon, like in SIDIS production of two jets or heavy-quark pairs [38]. This gauge link is usually denoted with the \([+,+]\) symbol. Conversely, initial-state interactions are described by gauge links with past-pointing close Wilson lines \(([-,-])\) and occur, for example, in Higgs production via gluon fusion \((gg \rightarrow H)\) [39, 40]. The gluon TMDs originating from these gauge links are called Weizsäcker–Williams (WW) gluon TMDs, or f-type gluon TMDs because the color structure of the T-odd ones involves the antisymmetric structure constants f of the color gauge group SU(3). It turns out that T-even WW gluon TMDs are symmetric with respect to the different paths \(([+,+] = [-,-]),\) while the T-odd WW ones change sign.

Moreover, color can flow through a closed path involving both initial and final states, like in photon-jet production from hadronic collisions or SIDIS [41,42,43]. We remark that for this class of processes TMD factorization is not expected to hold [44]; however, it is still possible to calculate the corresponding TMDs in the context of our model. Depending on the direction of color flow, we have \([+,-]\) and \([-,+]\) structures and the corresponding gluon TMDs are usually called dipole gluon TMDs, or d-type gluon TMDs because their T-odd color structure involves the symmetric structure constants d of color SU(3).Footnote 2 Similarly to the WW case, the dipole T-even gluon TMDs are symmetric with respect to different color paths \(([+,-] = [-,+]),\) while T-odd dipole ones change sign. But, more importantly, WW and dipole gluon TMDs are not related to each other, and contain different physical information. In the perturbative limit of large \(\textbf{p}_T\) and small x (i.e., outside the range of applicability of our model), the WW-type gluon TMDs should vanish and the dipole-type gluon TMDs become identical to each other, being related to the contribution of the so-called spin-dependent odderon [33].

We first compute the gluon–gluon correlator corresponding to the \([+,+]\) gauge link with future-pointing closed Wilson path. The one-gluon exchange approximation of the gauge link amounts to compute the diagram depicted in Fig. 2. The double gluon line represents the struck gluon described in the eikonal approximation, following the same procedure of the quark case [25]. The Feynman rules to describe the eikonal gluon line and the eikonal vertex are written in detail in Ref. [48].

The expression of the correlator turns out to be

(11)

where \({\mathcal {X}}^{bde}_\alpha \) is the spectator-gluon-spectator vertex to be defined in Sect. 2.3.

The correlator \(\Phi ^{\mu \nu [-,-]}\) for the \([-,-]\) past-pointing closed Wilson path can be obtained by changing the sign of the \(+i \epsilon \) term in Eq. (11).

The correlator \(\Phi ^{\mu \nu [+,-]}\) for the \([+,-]\) gauge link (leading to \(d-\)type gluon TMDs [49,50,51]) can be simply derived by replacing in the eikonal vertex the antisymmetric color structure \(f^{dac}\) with the symmetric \(-i d^{dac}\) in Eq. (12):

(12)

As for the WW case, the \([-,+]\) correlator differs from the \([+,-]\) one only by the sign of the \(+i \epsilon \) term in Eq. (11).

Our model agrees with the relations between gluon TMDs with different gauge link structures that have been systematically studied in [52]. For example, for the T-even unpolarized function, \(f_1^g,\) and for the T-odd gluon Sivers function, \(f_{1T}^{g\,\perp },\) one has the following modified-universality relations [11, 41, 52]:

$$\begin{aligned} f_1^{g\,[+,+]}{} & {} = f_1^{g\,[-,-]} , \quad f_1^{g\,[+,-]} = f_1^{g\,[-,+]} , \end{aligned}$$
(13)
$$\begin{aligned} f_{1T}^{\perp \, g \, [+,+]}{} & {} = -f_{1T}^{\perp \, g \, [-,-]} , \quad f_{1T}^{\perp \, g \, [+,-]} = -f_{1T}^{\perp \, g \, [-,+]} . \nonumber \\ \end{aligned}$$
(14)

As it turns out, in general \(f_1^{g\,[+,+]}\) cannot be related to \(f_1^{g\,[+,-]},\) and likewise for \(f_{1T}^{\perp \, g}.\) They encode different information and require different extractions [3].

2.3 Spectator-gluon-spectator vertex

A key ingredient of our model is the spectator-gluon-spectator vertex \({\mathcal {X}}^{bde}_\alpha ,\) depicted by a green blob in Fig. 2. If the nucleon-gluon-spectator vertex \({\mathcal {Y}}^{ec}_\mu \) (red blob) connects a colorless initial-state (nucleon) to an octet state (gluon) and an anti-octet state (spectator), the spectator-gluon-spectator vertex \({\mathcal {X}}^{bde}_\alpha \) connects an anti-octet initial state (spectator) to an octet state (gluon) and an anti-octet state (spectator). Since in our model the spectator is assumed to be a spin-\(\textstyle {\frac{1}{2}}\) particle describing a collection of partons as remainders, the vertex \({\mathcal {X}}^{bde}_\alpha \) can in principle contain both the \(f^{bde}\) and \(d^{bde}\) color structure constants, each one multiplying a Dirac structure similar to Eq. (5):

$$\begin{aligned} {\mathcal {X}}^{bde}_\alpha (p^2)= & {} f^{bde} \, \bigg [ g_1^f (p^2) \, \gamma _\alpha + g_2^f (p^2) \, \frac{i}{2 M}\, \sigma _{\alpha \beta } \, p^\beta \bigg ] \nonumber \\{} & {} -i \, d^{bde} \, \bigg [ g_1^d (p^2) \, \gamma _\alpha + g_2^d (p^2) \, \frac{i}{2 M}\, \sigma _{\alpha \beta } \, p^\beta \bigg ] ,\nonumber \\ \end{aligned}$$
(15)

where \(g^{f,d}_{1,2} (p^2)\) are a priori four different functions of \(p^2.\) In principle, they are independent from the \(g_{1,2} (p^2)\) form factors entering the nucleon-gluon-spectator vertex of Eq. (5). For the sake of simplicity, we will assume \(g^{d}_{1,2} (p^2) = g^{f}_{1,2} (p^2)\) and we will get d-type densities equal to the corresponding f-type ones up to a color factor:

$$\begin{aligned} C^{[+,+]}{} & {} = f^{acd} f^{dca} = - 2 C_A^2 C_F = - 24 , \end{aligned}$$
(16)
$$\begin{aligned} C^{[+,-]}{} & {} = (- i\, d^{acd})\, (-i\, d^{dca}) = 2 \left( 4-C_A^2\right) C_F = - \frac{40}{3} . \nonumber \\ \end{aligned}$$
(17)

For this reason, in the following we will show results only for f-type gluon TMDs, and we will drop the \([+,+]\) index when not needed.

In the quark-target model, we would replace the spectator-gluon-spectator vertex by \({\mathcal {X}}^{bde}_\alpha \rightarrow (-i g_s \gamma _{\alpha } t^{d} )\) and obtain the color factors

$$\begin{aligned} C^{[+,+]}_q{} & {} = -\frac{i}{N_C}{\text {Tr}}_C[ t^a t^c t^d] f^{acd}= \frac{C_A C_F}{2} = -2 , \end{aligned}$$
(18)
$$\begin{aligned} C^{[+,-]}_q{} & {} = -\frac{1}{N_C}{\text {Tr}}_C[ t^a t^c t^d] d^{acd}\nonumber \\{} & {} =\frac{C_F}{2} \left( 4-C_A^2\right) \left( C_A-2 C_F\right) = -\frac{10}{9} . \end{aligned}$$
(19)

Note that the ratio of the two different gauge link structures remains the same in the two cases: \([+,-] / [+,+] = 5/9.\) With our simplified assumptions, therefore, the T-odd d-type functions are always about half of the f-type ones.

We further assume

$$\begin{aligned} g^{d}_{1,2} (p^2) = g^{f}_{1,2} (p^2) \equiv g_{1,2} (p^2) . \end{aligned}$$
(20)

This means that the parameters entering our model for f-type and d-type T-odd gluon TMDs are fully determined by those ones entering the T-even gluon TMDs that contain \(g_{1,2} (p^2)\) through Eq. (5). The latter parameters have been fixed by fitting the integrated T-even gluon TMDs on the known corresponding collinear PDFs [30] (see Table 2).

Table 2 Mean values of fitted parameters with their 68% uncertainties, and corresponding values for the most representative replica 11 (see text). The original fit of Ref. [30] and the “\(g_1\)-vertex approximation” are labeled as PVGlue20 and PVGlue20g1V, respectively (see text)

2.4 Gluon TMD projectors

T-odd gluon TMDs can be extracted from the analytic structure of the gluon–gluon correlator by making use of suitable projectors. Using Eqs.(52-54) of Ref. [4] for the general parametrization of the gluon–gluon correlator \(\Phi ^{\mu \nu } (x, \varvec{p}_T, S)\) for three different nucleon polarizations \(S=0, S_L, \varvec{S}_T,\) it is possible to show that the four T-odd gluon TMDs of Table 1 can be isolated through the following projections:

$$\begin{aligned} f_{1T}^{\perp g}{} & {} = {\mathbb {P}}_{[f_{1T}^{\perp g}]}^{\mu \nu } \, \left[ \Phi _{\mu \nu } (x, \varvec{p}_T, \varvec{S}_T) - \Phi _{\mu \nu } (x, \varvec{p}_T, -\varvec{S}_T) \right] \nonumber \!\!\!\\{} & {} = \frac{M}{2} \frac{1}{\epsilon _T^{p_T S_T}} g_T^{\mu \nu } \, \left[ \Phi _{\mu \nu } (x, \varvec{p}_T, \varvec{S}_T) - \Phi _{\mu \nu } (x, \varvec{p}_T, -\varvec{S}_T) \right] , \nonumber \!\!\! \\ \end{aligned}$$
(21)
$$\begin{aligned} h_{1T}^{\perp g}{} & {} = {\mathbb {P}}_{[h_{1T}^{\perp g}]}^{\mu \nu } \, \left[ \Phi _{\mu \nu } (x, \varvec{p}_T, \varvec{S}_T) - \Phi _{\mu \nu } (x, \varvec{p}_T, -\varvec{S}_T) \right] \nonumber \\{} & {} = \frac{M^3}{p_T^2} \frac{1}{\epsilon _T^{p_T S_T}} \left( \frac{p_T^{\{\mu } S_T^{\nu \}}}{p_T\cdot S_T} - g_T^{\mu \nu } \right) \nonumber \\{} & {} \quad \times \left[ \Phi _{\mu \nu } (x, \varvec{p}_T, \varvec{S}_T) - \Phi _{\mu \nu } (x, \varvec{p}_T, -\varvec{S}_T) \right] \;, \end{aligned}$$
(22)
$$\begin{aligned} h_1^g{} & {} = {\mathbb {P}}_{[h_1^g]}^{\mu \nu } \, \left[ \Phi _{\mu \nu } (x, \varvec{p}_T, \varvec{S}_T) - \Phi _{\mu \nu } (x, \varvec{p}_T, -\varvec{S}_T) \right] \nonumber \\{} & {} = \frac{M}{2 \epsilon _T^{p_T S_T}} \, \left[ \frac{4}{p_T^2} \, p_T^\mu p_T^\nu + \frac{p_T^{\{\mu } S_T^{\nu \}}}{p_T\cdot S_T} - 3 g_T^{\mu \nu } \right] \nonumber \\{} & {} \quad \times \left[ \Phi _{\mu \nu } (x, \varvec{p}_T, \varvec{S}_T) - \Phi _{\mu \nu } (x, \varvec{p}_T, -\varvec{S}_T) \right] , \end{aligned}$$
(23)
$$\begin{aligned} h_{1L}^{\perp g}{} & {} = {\mathbb {P}}_{[h_{1L}^{\perp g}]}^{\mu \nu } \, \left[ \Phi _{\mu \nu } (x, \varvec{p}_T, S_L) - \Phi _{\mu \nu } (x, \varvec{p}_T, - S_L) \right] \nonumber \\{} & {} = \frac{1}{S_L} \frac{M^2}{2 p_T^4} {\epsilon _T^{\{\mu }}_\alpha p_T^{\nu \}\alpha }\, \left[ \Phi _{\mu \nu } (x, \varvec{p}_T, S_L) - \Phi _{\mu \nu } (x, \varvec{p}_T, - S_L) \right] , \nonumber \\ \end{aligned}$$
(24)

where \(\epsilon _T^{v w} \equiv \epsilon ^{- + i j}\, v_i\, w_j\) with ij transverse spatial indices and \(\epsilon ^{\mu \nu \alpha \beta }\) the antisymmetric Levi-Civita tensor, and

$$\begin{aligned} p_T^{\mu \nu }{} & {} = p_T^\mu p_T^\nu - \frac{1}{2} p_T^2 g_T^{\mu \nu }, \end{aligned}$$
(25)
$$\begin{aligned} g_T^{\mu \nu }{} & {} = g^{\mu \nu } - n_+^{\left\{ \mu \right. } n_-^{\left. \nu \right\} }, \end{aligned}$$
(26)
$$\begin{aligned} v^{\left\{ \mu \right. } w^{\left. \nu \right\} }{} & {} = v^\mu w^\nu + v^\nu w^\mu . \end{aligned}$$
(27)

3 T-odd gluon TMDs: illustrative examples

3.1 Sivers function: \(g_1\)-vertex approximation

Let us consider first the f-type Sivers function \(f_{1T}^{\perp \, [+,+]}\) with a simpler expression for the nucleon-gluon-spectator vertex, where the term proportional to \(\sigma ^{\mu \nu } p_\nu \) in Eq. (5) is neglected. In other words, the \(g_2(p)\) coupling is set to zero and the vertex reduces to

$$\begin{aligned} {\mathcal {Y}}^{ba}_{\rho } \rightarrow \delta ^{b a} \, g_1 (p^2) \, \gamma _\rho . \end{aligned}$$
(28)

We name this the “\(g_1\)-vertex approximation”. We indicate the resulting Sivers function as \(f_{1T}^{\perp \, (g_1)},\) and similarly for all other TMDs computed in this approximation.

Using for \(g_1(p^2)\) the dipolar form of Eq. (6), the corresponding projector of Eq. (21) specialized to a f-type gluon Sivers and applied to the correlator of Eq. (12), we obtain

$$\begin{aligned}{} & {} f_{1T}^{\perp \, (g_1)}(x,\varvec{p}_T) = {\mathbb {P}}_{[f_{1T}^{\perp g}]}^{\mu \nu } \, \left[ \Phi _{\mu \nu }^{[+,+]\, (g_1)} (x, \varvec{p}_T, \varvec{S}_T)\right. \nonumber \\{} & {} \qquad \left. - \Phi _{\mu \nu }^{[+,+] \, (g_1)} (x, \varvec{p}_T, -\varvec{S}_T) \right] \nonumber \\{} & {} \quad = \frac{48\,g_s \kappa _1^3}{(2\pi )^3} \frac{M \left[ M_X - M (1-x) \right] \,P^+}{(p^2 - \Lambda _X^2)^2} \; \nonumber \\{} & {} \qquad \times 2 \, \textrm{Re}\int \frac{d^4 l}{(2\pi )^4} \frac{\epsilon _T^{l_T S_T}}{(l^2 - \Lambda _X^2)^2} \frac{1}{l^+ + i\epsilon } \nonumber \\{} & {} \qquad \times \frac{1}{(l + p - P)^2 - M_X^2 + i\epsilon } \frac{1}{[(p + l)^2 - \Lambda _X^2 + i\epsilon ]^2}.\nonumber \\ \end{aligned}$$
(29)

In Eq. (29), terms proportional to \(\epsilon ^{l n_- p P} \equiv \epsilon ^{\mu \nu \alpha \beta } l_\mu n_{-\nu } p_\alpha P_\beta \) and \(\epsilon ^{l p P S}\) vanish because the only component of l contributing to the integral is the one parallel to p.

Similarly to the calculation of the quark Sivers TMD [25, 53,54,55,56], the non vanishing contribution to the integral of Eq. (29) comes from the poles of the two \([l^+ + i\epsilon ]\) and \([(l + p - P)^2 - M_X^2 + i\epsilon ]\) propagators.

Using the Cutkosky’s rules, we can make the replacement

$$\begin{aligned}{} & {} \frac{1}{l^+ + i\epsilon } \rightarrow -2 \pi i \, \delta (l^+), \nonumber \\{} & {} \frac{1}{(l + p-P)^2-M_X^2 \!+\! i\epsilon }\!\rightarrow \! -2 \pi i \, \delta ((l + p - P)^2 - M_X^2). \end{aligned}$$
(30)

Moreover, we can also make use of the spectator model relation

$$\begin{aligned} k^2 - \Lambda _X^2 = - \frac{\varvec{k}_T^2 + L_X^2(\Lambda _X)}{1-x}, \end{aligned}$$
(31)

where \(k^2\) generically refers to \(p^2,\) \(l^2\) or \((p+l)^2,\) and \(\varvec{k}_T^2\) to the corresponding euclidean transverse parts.

The final result for the WW gluon Sivers function with only \(g_1\) coupling is

$$\begin{aligned}{} & {} f_{1T}^{\perp \, (g_1)}(x,\varvec{p}_T) \nonumber \\{} & {} \quad = - \frac{48\,g_s \kappa _1^3}{(2\pi )^3} \frac{M \left[ M_X - M (1-x) \right] \,(1-x)^5\,P^+}{[\varvec{p}_T^2 + L_X^2(\Lambda _X)]^2} \, {{\mathcal {D}}}_2 (p),\nonumber \\ \end{aligned}$$
(32)

where

$$\begin{aligned}{} & {} {{\mathcal {D}}}_2 (p)= \frac{1}{2P^+} \int \frac{d^2 \varvec{l}_T}{(2\pi )^2} \frac{\varvec{l}_T\cdot \varvec{p}_T}{\varvec{p}_T^2}\nonumber \\{} & {} \qquad \times \frac{1}{[\varvec{l}_T^2 + L_X^2(\Lambda _X^2)]^2} \frac{1}{[(\varvec{l}_T+ \varvec{p}_T)^2 + L_X^2(\Lambda _X^2)]^2}. \end{aligned}$$
(33)
Fig. 3
figure 3

Transverse-momentum dependence of the \([+,+]\) unpolarized TMD (upper panels), the gluon Sivers TMD multiplied by \(x |\varvec{p}_T|/M\) (mid panels), and the linearity TMD multiplied by \(x |\varvec{p}_T|/M\) (lower panels), calculated in the \(g_1\)-vertex approximation (see text), at \(x=10^{-3}\) (left panels) and \(x=10^{-1}\) (right panels) and at the initial scale \(Q_0 = 1.64\) GeV. Uncertainty band by including the 68% of all computed replicas. Black curves refer to the most representative replica 11 (see text)

Introducing the Feynman parametrization, we can rewrite the integral as

$$\begin{aligned} {{\mathcal {D}}}_2 (p)= & {} \frac{1}{2 P^+} \int \frac{d^2 \varvec{l}_T}{(2\pi )^2} \frac{\varvec{l}_T\cdot \varvec{p}_T}{\varvec{p}_T^2} \int _0^1 d \alpha \, \nonumber \\{} & {} \times \frac{6\,\alpha \,(1{-}\alpha )}{\{\alpha \,[\varvec{l}_T^2{+}L_X^2(\Lambda _X^2)]{+}(1-\alpha )\,[(\varvec{l}_T{ +} \varvec{p}_T)^2 {+} L_X^2(\Lambda _X^2)]\}^4}.\nonumber \\ \end{aligned}$$
(34)

After the change of variable \(\varvec{l}_T\rightarrow \varvec{l}_T' = \varvec{l}_T+ (1 - \alpha ) \varvec{p}_T,\) we have

$$\begin{aligned}{} & {} {{\mathcal {D}}}_2 (p)\nonumber \\{} & {} \quad = - \frac{1}{2P^+} \int _0^1 d \alpha \int \frac{d^2 \varvec{l}_T'}{(2\pi )^2} \, \frac{6 \, \alpha \, (1 - \alpha )^2}{[\varvec{l}_T'^2 + \alpha (1 - \alpha ) \varvec{p}_T^2 + L_X^2(\Lambda _X^2)]^4}\nonumber \\{} & {} \quad = - \frac{1}{4 \pi P^+} \int _0^1 d \alpha \, \frac{\alpha \, (1 - \alpha )^2}{[\alpha (1 - \alpha ) \varvec{p}_T^2 + L_X^2(\Lambda _X^2)]^3}\nonumber \\{} & {} \quad = - \frac{1}{8 \pi P^+} \left[ \frac{1 - 2 \, L_X^2(\Lambda _X^2)/\varvec{p}_T^2}{L_X^2(\Lambda _X^2)\, [\varvec{p}_T^2 + 4 L_X^2(\Lambda _X^2)]^2} \right. \nonumber \\{} & {} \qquad + 8 \frac{\varvec{p}_T^2 + L_X^2(\Lambda _X^2)}{|\varvec{p}_T|^3 \, [\varvec{p}_T^2 + 4 L_X^2(\Lambda _X^2)]^{\nicefrac {5}{2}}} \nonumber \\{} & {} \qquad \left. \times \tanh ^{-1} \left( \frac{|\varvec{p}_T|}{\sqrt{\varvec{p}_T^2 + 4 L_X^2(\Lambda _X^2)}} \right) \right] . \end{aligned}$$
(35)

Combining Eqs. (32) and (35) we get the final expression for our f-type Sivers function in the \(g_1\)-vertex approximation

$$\begin{aligned}{} & {} f_{1T}^{\perp \, (g_1)}(x,\varvec{p}_T) \nonumber \\{} & {} \quad = \frac{12\,g_s \kappa _1^3}{(2\pi )^4} \frac{M \left[ M_X - M (1-x) \right] \,(1-x)^5}{[\varvec{p}_T^2 + L_X^2(\Lambda _X)]^2} \nonumber \\{} & {} \qquad \times \, \left[ \frac{1 - 2 \, L_X^2(\Lambda _X^2)/\varvec{p}_T^2}{L_X^2(\Lambda _X^2)\, [\varvec{p}_T^2 + 4 L_X^2(\Lambda _X^2)]^2} \right. \nonumber \\{} & {} \qquad \left. + 8 \frac{\varvec{p}_T^2 + L_X^2(\Lambda _X^2)}{|\varvec{p}_T|^3 \, [\varvec{p}_T^2 + 4 L_X^2(\Lambda _X^2)]^{\nicefrac {5}{2}}} \, \right. \nonumber \\{} & {} \qquad \left. \times \tanh ^{-1} \left( \frac{|\varvec{p}_T|}{\sqrt{\varvec{p}_T^2 + 4 L_X^2(\Lambda _X^2)}} \right) \right] . \end{aligned}$$
(36)

In order to explore the effects of the \(g_1\)-vertex approximation, we fix the model parameters by simultaneously fitting the integrated unpolarized and helicity gluon TMDs onto the corresponding known collinear PDFs. Following the methodology of Ref. [30], we first allow the spectator mass to take a continuous range of values by weighting the gluon TMDs with the spectral function described in Eqs.(16,17) of Ref. [30], which is a way to effectively take into account \(q \bar{q}\) contributions. Then, we integrate the gluon TMDs upon the transverse momenta and we fix all the model parameters by fitting the unpolarized collinear PDF from NNPDF3.1sx [57] and the helicity collinear PDF from NNPDFpol1.1 [58] at the indicated initial scale \(Q_0 = 1.64\) GeV and in the range \(10^{-3}< x < 0.7.\)Footnote 3 The only exception is the parameter \(\kappa _2\) in Eq. (6) that controls the strength of the \(g_2\) coupling; here, it is systematically set to zero. Statistical uncertainties are generated using the replica method, widely used in the phenomenological extraction of quark densities from experimental data [57, 60,61,62,63,64,65,66].

In Table 2, we compare the obtained values (labelled PVGlue20g1V in the two rightmost columns) with the original values from Ref. [30] (labelled PVGlue20 in the second and third columns from left). The 68% uncertainties accompanying the central values are obtained by excluding the largest and smallest 16% of all 100 replica values, which would correspond to \(1 \sigma \) standard deviation for a Gaussian distribution. The columns labelled with “replica 11” show the parameters of the most representative replica, because in both fits its parameter values have the minimal distance from the mean values.

In Fig. 3, we show the results for the f-type unpolarized gluon TMD (upper panels) and the gluon Sivers function multiplied by \(x |\varvec{p}_T| / M\) (mid panels), as functions of \(\varvec{p}_T^2,\) in the \(g_1\)-vertex approximation.Footnote 4 Left (right) plots are for TMDs calculated at \(x=10^{-3}\) \((x=10^{-1})\) and at \(Q_0 = 1.64\) GeV. As for the parameter values, the 68% uncertainty bands are formed by excluding the largest and smallest 16% of 100 computed replicas. The black solid line is the result of the most representative replica 11. Here, and in the following, the strong coupling constant is fixed to \(g_s = \sqrt{\alpha _s (Q_0)} = 0.57583.\) The qualitative behavior of the TMD \(f_1^g\) stays practically the same with respect to the original fit (see upper panels of Fig. 4 in Ref. [30]). In particular, the \(f_1^g\) reaches a very small but non-vanishing value at \(\varvec{p}_T^2 = 0\) because the gluon wave function has a significant component with orbital angular momentum \(L = 1\) (if the spectator particle has spin \(\textstyle {\frac{1}{2}}\)) [30]. The resulting gluon Sivers function decreases at low x. However, this trend can radically change when including also the \(g_2\) vertex, as shown in Sect. 4.

3.2 Sivers function: quark-target model

In a similar way, we can also derive the results for the f-type gluon Sivers function in the quark-target model. We indicate it with the superscript (q). In this approximation, the incoming proton in Fig. 2 is replaced by a quark, and similarly for the spectator remnant. Therefore, both the proton and the spectator mass, M and \(M_X,\) are set equal to the target-quark mass, \(m_q,\) and the effective nucleon-gluon-spectator vertex is replaced by a QCD quark-gluon-quark one. Starting from the expression for the \([+,+]\) gluon correlator in the quark-target model, we obtain

$$\begin{aligned} f_{1T}^{\perp \, (q)}(x,\varvec{p}_T) = - \frac{4\,g_s^4}{(2\pi )^3} \frac{m_q^2\,x\,(1-x)\,P^+}{(m_q^2 x^2 + \varvec{p}_T^2)} \, {{\mathcal {D}}}_q (p), \end{aligned}$$
(37)

where

$$\begin{aligned} {{\mathcal {D}}}_q (p)= & {} \frac{1}{2(1-x)P^+} \int \frac{d^2 \varvec{l}_T}{(2\pi )^2} \frac{\varvec{l}_T\cdot \varvec{p}_T}{\varvec{p}_T^2}\nonumber \\{} & {} \times \frac{1}{\varvec{l}_T^2} \frac{(1-x)}{(\varvec{l}_T+ \varvec{p}_T)^2 + x^2m_q^2}. \end{aligned}$$
(38)

Following similar steps as in the previous case, we obtain

$$\begin{aligned} {{\mathcal {D}}}_q (p) = - \frac{1}{8 \pi P^+} \frac{1}{\varvec{p}_T^2} \ln \frac{\varvec{p}_T^2 + x^2m_q^2}{x^2m_q^2}, \end{aligned}$$
(39)

and we get the final expression for our f-type gluon Sivers function in the quark-target model

$$\begin{aligned} f_{1T}^{\perp \, (q)}(x,\varvec{p}_T) = \frac{g_s^4}{(2\pi )^4} \frac{m_q^2\,x\,(1-x)}{\varvec{p}_T^2 (m_q^2 x^2 + \varvec{p}_T^2)} \ln \frac{\varvec{p}_T^2 + x^2m_q^2}{x^2m_q^2},\nonumber \\ \end{aligned}$$
(40)

which corresponds to Eq. (B12) of Ref. [4].

3.3 Linearity function: \(g_1\)-vertex approximation

Let us consider now the distribution of linearly polarized gluons in a transversely polarized target, denoted as \(h_1\) in Table 1. For simplicity, we will call it “linearity function” even if this terminology could be used for any h functions in the rightmost column of Table 1. In spite of the similarity in notation, this function should not be confused with the analogue of the quark transversity distribution. In fact, it does not survive transverse-momentum integration and is T-odd.

In the following, we derive the f-type gluon linearity function in the \(g_1\)-vertex approximation of our spectator model. Using the corresponding projector from Eq. (23), the dipolar form for \(g_1(p^2)\) as in Eq. (6), and the \([+,+]\) gluon correlator of Eq. (11), we have

$$\begin{aligned} h_{1}^{(g_1)}(x,\varvec{p}_T){} & {} = {\mathbb {P}}_{[h_1^{g}]}^{\mu \nu } \, \left[ \Phi _{\mu \nu }^{[+,+]\, (g_1)} (x, \varvec{p}_T, \varvec{S}_T) \right. \nonumber \\{} & {} \quad \left. - \Phi _{\mu \nu }^{[+,+] \, (g_1)} (x, \varvec{p}_T, -\varvec{S}_T) \right] \nonumber \\{} & {} = \frac{96\,g_s \kappa _1^3}{(2\pi )^3} \frac{M \left[ M - M_X (1-x) \right] \,P^+}{(1-x)\,\varvec{p}_T^2\,(p^2 - \Lambda _X^2)^2}\nonumber \\{} & {} \quad \times 2 \, \textrm{Re} \int \frac{d^4 l}{(2\pi )^4} \frac{l_T \cdot p_T}{(l^2 - \Lambda _X^2)^2} \nonumber \\{} & {} \quad \times \frac{1}{l^+ + i\epsilon } \frac{1}{(l + p - P)^2 - M_X^2 + i\epsilon }\nonumber \\{} & {} \quad \times \frac{1}{[(p + l)^2 - \Lambda _X^2 + i\epsilon ]^2}. \end{aligned}$$
(41)

Following the same steps described in Sect. 3.1 we obtain

$$\begin{aligned}{} & {} h_{1}^{(g_1)}(x,\varvec{p}_T) = - \frac{96\,g_s \kappa _1^3}{(2\pi )^3} \nonumber \\{} & {} \qquad \times \frac{M \left[ M - M_X (1-x) \right] \,(1-x)^4\,P^+}{[\varvec{p}_T^2 + L_X^2(\Lambda _X)]^2} \, {{\mathcal {D}}}_2 (p), \end{aligned}$$
(42)

where \({{\mathcal {D}}}_2 (p)\) is defined and computed in Eqs. (33)–(35). The final expression for our f-type gluon linearity function in the \(g_1\)-vertex approximation is

$$\begin{aligned}{} & {} h_{1}^{(g_1)}(x,\varvec{p}_T) \nonumber \\{} & {} \quad = \frac{24 g_s \kappa _1^3}{(2\pi )^4} \frac{M \left[ M - M_X (1-x) \right] \,(1-x)^4}{[\varvec{p}_T^2 + L_X^2(\Lambda _X)]^2}\nonumber \\{} & {} \qquad \times \, \left[ \frac{1 - 2 \, L_X^2(\Lambda _X^2)/\varvec{p}_T^2}{L_X^2(\Lambda _X^2)\, [\varvec{p}_T^2 + 4 L_X^2(\Lambda _X^2)]^2} \right. \nonumber \\{} & {} \qquad \left. + 8 \frac{\varvec{p}_T^2 + L_X^2(\Lambda _X^2)}{|\varvec{p}_T|^3 \, [\varvec{p}_T^2 + 4 L_X^2(\Lambda _X^2)]^{\nicefrac {5}{2}}} \, \right. \nonumber \\{} & {} \qquad \times \tanh ^{-1}\left. \left( \frac{|\varvec{p}_T|}{\sqrt{\varvec{p}_T^2 + 4 L_X^2(\Lambda _X^2)}} \right) \right] . \end{aligned}$$
(43)

Preliminary results on the f-type gluon linearity function in the \(g_1\)-vertex approximation were presented in Refs. [68, 69]. In Fig. 3, we show the gluon linearity function multiplied by \(x|\varvec{p}_T|/M\) (lower panels) as functions of \(\varvec{p}_T^2\) , in the \(g_1\)-vertex approximation and with the same notation of upper panels. Left (right) plots are for TMDs calculated at \(x=10^{-3}\) \((x=10^{-1})\) and at \(Q_0 = 1.64\) GeV. Also the gluon linearity function decreases at low x and, similarly, this trend will radically change when including also the \(g_2\) vertex, as shown in Sect. 4.

3.4 Linearity function: quark-target model

In the quark-target model, following an analogous procedure to the one in Sect. 3.2, we get

$$\begin{aligned} h_{1}^{(q)}(x,\varvec{p}_T) = - \frac{8\,g_s^4}{(2\pi )^3} \frac{m_q^2\,x\,P^+}{(m_q^2 x^2 + \varvec{p}_T^2)} \, {{\mathcal {D}}}_q (p). \end{aligned}$$
(44)

Combining Eqs. (44) and (39), we get the final expression for our f-type gluon linearity function in the quark-target model

$$\begin{aligned} h_{1}^{(q)}(x,\varvec{p}_T) = \frac{g_s^4}{(2\pi )^4} \frac{2x\,m_q^2}{\varvec{p}_T^2 (m_q^2 x^2 + \varvec{p}_T^2)} \ln \frac{\varvec{p}_T^2 + x^2m_q^2}{x^2m_q^2},\nonumber \\ \end{aligned}$$
(45)

which corresponds to Eq. (B17) of Ref. [4].

4 T-odd gluon TMDs: results of full calculation

If we include the full structure of the nucleon-gluon-spectator vertex \({\mathcal {Y}}^{ba}_\rho \) in Eq. (5), a given T-odd gluon TMD, generically indicated by \(F(x, \varvec{p}_T^2),\) can be organized as

$$\begin{aligned} F(x,\varvec{p}_T^2) = \sum _{i,j,k}^{1,2} C_{ijk}^{[F]}(x,\varvec{p}_T^2) \, g_s \, \kappa _i \, \kappa _j \, \kappa _k, \end{aligned}$$
(46)

where \(\kappa _{i,j,k}\) are the coupling constants encoded in the dipolar form factors of Eq. (6) with the assumption made in Eq. (20), and \(C_{ijk}^{[F]}\) are related coefficients. For each T-odd gluon TMD \(F(x, \varvec{p}_T^2),\) the \(C_{ijk}^{[F]}\) can be split in eight different contributions \(C_{ijk}^{[F], l}, \, l=1,\ldots ,8,\) and organized as linear combinations according to

$$\begin{aligned} C_{ijk}^{[F]}(x,\varvec{p}_T^2)= & {} \frac{(1-x)^4 P^+}{{(2\pi )^3} \, [\varvec{p}_T^2 + L_X^2(\Lambda _X)]^2} \nonumber \\{} & {} \times \sum _{l=1}^8 {{\mathcal {C}}}_{ijk}^{[F],l}(x,\varvec{p}_T^2) \, {{\mathcal {D}}}_l(x,\varvec{p}_T^2), \end{aligned}$$
(47)

where \({{\mathcal {D}}}_l(x,\varvec{p}_T^2)\) are eight different master integrals that can be found in Appendix A. The final expressions of the \(C_{ijk}^{[F], l}\) coefficients for each T-odd gluon TMD F and for \(l=1,\ldots ,8\) and \(i,j,k=1,2,\) are listed in Appendix B.

We note that both the T-odd f-type \(h_{1L}^{\perp }\) and \(h_{1T}^{\perp }\) vanish in the \(g_1\)-vertex approximation and in the quark-target model, because the integral describing the loop in Fig. 2 would be proportional to \(l^+,\) which is set to zero by the first of the two Cutkosky rules in Eq. (30). This result is in line with Eqs. (B16) and (B18) of Ref. [4], respectively.

In the following, we show the results of the full calculation of all the four T-odd f-type gluon TMDs that appear at leading twist (see Table 1). We recall that in our model T-odd d-type gluon TMDs turn out to be equal to the f-type ones up to a color factor computed in Eq. (17), because in the vertices we take the same dipole-like couplings \(g_{1,2}(p^2)\) for f-type and d-type functions. Moreover, the parameters of both T-odd f-type and d-type functions are fully determined by those ones entering the T-even gluon TMDs. These parameters were fixed in Ref. [30] by fitting the integrated T-even gluon TMDs onto the corresponding known collinear PDFs at the low scale \(Q_0 = 1.64\) GeV; their values are listed in the columns of Table 2 labelled by PVGlue20.

We start from the f-type gluon Sivers \(f_{1T}^{\perp }\) and linearity \(h_1\) functions in order to compare with the results displayed in the mid and lower panels of Fig. 3 using the \(g_1\)-vertex approximation.

Fig. 4
figure 4

Transverse-momentum dependence of the \([+,+]\) gluon Sivers (upper) and linearity (lower) functions multiplied by \(x |\varvec{p}_T|/M,\) as functions of \(\varvec{p}_T^2\) at \(x=10^{-3}\) (left), and \(x=10^{-1}\) (right) and at the initial scale \(Q_0 = 1.64\) GeV. Uncertainty band from 68% of all computed replicas. Black curves refer to the most representative replica 11 (see text)

In the upper panels of Fig. 4, we display the T-odd f-type gluon Sivers function \(f_{1T}^{\perp }\) multiplied by \(x |\varvec{p}_T|/M,\) as a function of \(\varvec{p}_T^2\) at \(x=10^{-3}\) (left) and \(x=10^{-1}\) (right) and at the scale \(Q_0 = 1.64\) GeV. As in previous figures, the uncertainty band is constructed by excluding the largest and smallest 16% of all 100 computed replicas, roughly corresponding to \(1\sigma \) standard deviation. The solid black line is the result of the most representative replica 11. The observed behavior in \(\varvec{p}_T^2\) clearly does not follow a simple Gaussian pattern, rather it shows a large flattening tail for increasing \(\varvec{p}_T^2.\) The f-type Sivers function is regular in \(\varvec{p}_T^2=0,\) as it can be realized by inspecting the coefficients of Eqs. (46), (47) listed in Tables 345 and 6 and the master integrals in Appendix A. Hence, the combination \(x |\varvec{p}_T|/M \, f_{1T}^{\perp }\) vanishes at \(\varvec{p}_T^2=0.\)

By comparing with the mid panels of Fig. 3 where the \(x |\varvec{p}_T|/M\, f_{1T}^{\perp (g_1)}\) was computed in the \(g_1\)-vertex approximation, we realize that the contribution of the \(g_2\) coupling to the vertices \({\mathcal {Y}}^{ba}_\rho \) of Eq. (5) and \({\mathcal {X}}^{bde}_\alpha \) of Eq. (15) completely reverses the situation: the f-type gluon Sivers function now increases for decreasing x,  thus suggesting that in our model the spin asymmetry generated by the gluon Sivers effect could be sizable at small x (see also Refs. [7, 70]).

In the lower panels of Fig. 4, we show the result of the full calculation of the T-odd f-type gluon linearity function \(h_1\) multiplied by \(x |\varvec{p}_T|/M,\) as a function of \(\varvec{p}_T^2\) at \(x=10^{-3}\) (left) and \(x=10^{-1}\) (right) and at the scale \(Q_0 = 1.64\) GeV. Notations are the same as in previous panels. The displayed trend is similar to the f-type Sivers function. Namely, by including the contribution of the \(g_2\) coupling the linearity now increases with decreasing x,  actually having a size larger than the Sivers function. The linearity is also regular at \(\varvec{p}_T^2=0,\) hence vanishes at this point when multiplied by \(x |\varvec{p}_T|/M.\)

Fig. 5
figure 5

Transverse-momentum dependence of the \([+,+]\) gluon \(h_{1L}^\perp \) (upper) and \(h_{1T}^\perp \) (lower) functions multiplied by \(x \varvec{p}_T^2/M^2\) and \(x |\varvec{p}_T|^3/M^3,\) respectively, as functions of \(\varvec{p}_T^2\) at \(x=10^{-3}\) (left) and \(x=10^{-1}\) (right) and at the initial scale \(Q_0 = 1.64\) GeV. Notations as in previous figures

In Fig. 5, we show for the first time the result of the full calculation of the T-odd f-type gluon \(h_{1L}^\perp \) (upper panels) and \(h_{1T}^\perp \) (lower panels) functions. In particular, in the upper panel we display \(x \varvec{p}_T^2/M^2\, h_{1L}^{\perp }\) as a function of \(\varvec{p}_T^2\) at \(x=10^{-3}\) (left) and \(x=10^{-1}\) (right) and at the scale \(Q_0 = 1.64\) GeV. Notations are the same as in previous figures. We note that the absolute size increases with decreasing x,  but overall it is much smaller than the Sivers and linearity functions. Interestingly, at \(x=10^{-1}\) the \(h_{1L}^\perp \) function shows a very long tail in \(\varvec{p}_T^2\) but changes sign having a node at \(\varvec{p}_T^2 \approx 0.1\) GeV\(^2.\)

In the lower panels, the \(x \varvec{p}_T^3/M^3\, h_{1T}^{\perp }\) is displayed as a function of \(\varvec{p}_T^2\) at \(x=10^{-3}\) (left) and \(x=10^{-1}\) (right) and at the scale \(Q_0 = 1.64\) GeV. Notations are the same as in previous figures. The absolute size is one order of magnitude smaller, raising doubts on the actual possibility of ever extracting the \(h_{1T}^\perp \) from a spin asymmetry measurement. However, it shows an interesting structure with a node at small \(\varvec{p}_T^2\) and x.

Fig. 6
figure 6

Unpolarized gluon density for a unpolarized (upper panels) or transversely polarized nucleon along \(\hat{x}\) (lower panels) as a function of \(\varvec{p}_T\) at \(Q_0=1.64\) GeV and at \(x=10^{-3}\) (left panels) and \(x=10^{-1}\) (right panels). The nucleon is virtually moving towards the reader. Results from replica 11 (see text). Ancillary 1-dim plots for the density at \(p_y=0\) and \(p_x=0\) with 68% uncertainty band. Solid black line for replica 11 (corresponding to contour plot)

Using the T-odd gluon TMDs computed in our model, we can complete the tomographic picture of the nucleon already discussed in Ref. [30]. To this purpose, we can construct 2-dim \(\varvec{p}_T\)-distributions of gluons at different x for various combinations of their polarization and of the nucleon spin state.

Excluding the case of a circularly polarized gluon for which no T-odd gluon TMDs occur (see Table 1), we can have in principle six combinations: two polarization states of the gluon (unpolarized, linearly polarized) for each polarization state of the parent nucleon (unpolarized, longitudinally polarized, transversely polarized). However, the actual combinations are five, since an unpolarized gluon in a longitudinally polarized nucleon is forbidden by parity invariance (see Table 1).

For a unpolarized gluon in a unpolarized nucleon, we identify the 2-dim density as

$$\begin{aligned} x \rho (x, p_x, p_y) = x \, f_1 (x, \varvec{p}_T^2), \end{aligned}$$
(48)

where \(f_1\) is the leading-twist f-type unpolarized gluon TMD. The upper panels of Fig. 6 show the contour plots for the \(\varvec{p}_T\)-distribution of \(x \rho \) from replica 11 at \(x=10^{-3}\) (left) and \(x=10^{-1}\) (right) and at the scale \(Q_0 = 1.64\) GeV, for a nucleon moving towards the reader. The color code identifies the size of the oscillations. For a better visualization, ancillary 1-dim plots are attached, representing a “slice” of \(x \rho \) at \(p_x=0\) or \(p_y=0.\) The 68% uncertainty band is obtained as usual by excluding the largest and smallest 16% of 100 computed replicas; the solid black line is the result of replica 11, actually corresponding to the 2-dim contour plot. Since both nucleon and gluon are unpolarized, the 2-dim density shows a perfect cylindrical symmetry around the direction of motion of the nucleon pointing towards the reader.

Fig. 7
figure 7

The 2-dim density for linearly polarized gluons in polarized nucleons as a function of \(\varvec{p}_T\) at \(Q_0=1.64\) GeV and at \(x=10^{-3}\) (left panels) and \(x=10^{-1}\) (right panels). The nucleon is virtually moving towards the reader. Results from replica 11 (see text). Ancillary 1-dim plots for slices of the density at specific values of \(p_x\) or \(p_y,\) with 68% uncertainty band and solid black line for replica 11. Upper panels: Gluon linear polarization along \(\hat{x}\) and nucleon longitudinal polarization, proportional to \(h_{1L}^{\perp }\, p_x p_y / 2 M^2\) scaled by \(10^2.\) Central panels: Gluon linear polarization and nucleon polarization along \(\hat{x},\) proportional to \(h_{1T}^{\perp }\, p_x^2 p_y / 2 M^3\) scaled by \(10^2.\) Lower panels: Gluon linear polarization along \(\hat{y}\) and nucleon polarization along \(\hat{x},\) proportional to \(-h_1 \, p_y/2M\) scaled by 10

For a unpolarized gluon in a nucleon transversely polarized along \(\hat{x}\) \((|\varvec{S}_T|= S_x),\) the 2-dim density contains also the f-type gluon Sivers function:

$$\begin{aligned} x \rho _{p^\rightarrow } (x, p_x, p_y) = x \, f_1 (x, \varvec{p}_T^2) + x \frac{p_y}{M} \, f_{1T}^{\perp } (x, \varvec{p}_T^2). \end{aligned}$$
(49)

The lower panels of Fig. 6 show such density in the same conditions and with the same notation as before. Since the nucleon is polarized along the \(\hat{x}\) axis, the contour plot shows a distortion along the \(\hat{y}\) axis. The asymmetry is clearly visible at \(x=10^{-1}\) (right panel), and it is emphasized by the ancillary 1-dim plot at \(p_x = 0.\) The distortion fades away for decreasing x,  as shown in the left panel at \(x=10^{-3}.\) We remark that from the lower panels of Fig. 6 the density (49) turns out to be always positive, implying that the positivity bound for the f-type Sivers function is always fulfilled at the explored \((x, \varvec{p}_T)\) where our model is applicable. The same bound holds for the d-type Sivers function, since in our model it differs just by a color factor whose modulus is smaller than the f-type one (see Eqs. (16) and (17)).

If we consider the gluon also in a linearly polarized state, then the 2-dim densities for various nucleon polarizations can become more complicated. The simplest case is for a unpolarized nucleon: the \(x \rho ^{\leftrightarrow }\) is a linear combination of the T-even gluon TMDs \(f_1\) and \(h_1^\perp ,\) and it has been studied in Ref. [30] (see lower panels of Fig. 5 there). If the nucleon has a longitudinal polarization \(S_L,\) the 2-dim density \(x \rho ^{\leftrightarrow }_{p^\odot }\) is a linear combination of \(f_1,\) \(h_1^\perp \) and \(h_{1L}^{\perp }.\) Finally, if the nucleon has transverse polarization \(S_T\) the 2-dim density \(x \rho ^{\leftrightarrow }_{p^\rightarrow }\) is a linear combination of \(f_1,\) \(h_1^\perp ,\) \(f_{1T}^{\perp },\) \(h_1\) and \(h_{1T}^{\perp },\) the latter two ones entering with different coefficients depending on the relative angle between the nucleon and gluon polarizations. Apart for the case of unpolarized nucleon \(x \rho ^\leftrightarrow ,\) the other 2-dim densities are thus superpositions of three or more gluon TMDs. Their probabilistic interpretation is still well defined, but it is difficult to pinpoint different patterns in the gluon distribution, which ultimately depend on the direction of the linear polarization of the gluon itself.

Therefore, we prefer to isolate each T-odd TMD for linearly polarized gluons using the projectors discussed in Sect. 2.4, and we plot them for nucleon polarizations along specific directions.

We first select the nucleon longitudinally polarized along its direction of motion towards the reader, and the gluon linearly polarized along \(\hat{x}.\) Using the gluon–gluon correlator \(\Phi ^{x x}(S_L)\) in Eq.(54) of Ref. [4], the combination \(\Phi ^{x x}(S_L) - \Phi ^{x x}(-S_L)\) isolates the term \(h_{1L}^\perp \, p_x p_y / 2 M^2.\) In the upper panels of Fig. 7, we show the contour plot for the \(\varvec{p}_T\)-distribution of the f-type combination \(h_{1L}^{\perp }\, p_x p_y / 2 M^2\) from replica 11 at \(x=10^{-3}\) (left) and \(x=10^{-1}\) (right) and at the scale \(Q_0 = 1.64\) GeV, scaled by a factor \(10^2.\) Because of the \(p_x p_y\) weight, the contour plot shows symmetric oscillations along the \(p_y = \pm p_x\) directions, emphasized in the 1-dim ancillary plots and becoming more sizeable at \(x = 10^{-3}.\) Sometimes in the literature, the function \(h_{1L}^{\perp }\) is called “T-odd worm-gear” or “pseudo worm-gear” in analogy with the corresponding quark function. However, we think that this nomenclature does not capture the main characteristics of this function as it emerges from the upper panels of Fig. 7. Since the nucleon is spinning around a direction pointing towards the reader, because of the displayed quadrupolar shape we propose for \(h_{1L}^\perp \) the name of “propeller” function.

If we keep the gluon linearly polarized along \(\hat{x}\) but we consider the combination \(\Phi ^{x x}(S_x) - \Phi ^{x x}(-S_x),\) we can isolate the term \(h_{1T}^\perp \, p_x^2 p_y / 2 M^3.\) In the central panels of Fig. 7, we show the contour plot for the \(\varvec{p}_T\)-distribution of the f-type combination \(h_{1T}^{\perp } \, p_x^2 p_y / 2 M^3,\) scaled by the factor \(10^2\) and with the same notations as before. The \(p_x^2 p_y\) weight produces oscillations symmetric with respect to the \(\hat{y}\) axis, emphasized in the 1-dim ancillary plots with slightly displaced slices at \(p_y=-0.1\) GeV and \(p_x = 0.1\) GeV. The T-odd gluon TMD \(h_{1T}^\perp \) is sometimes referred to as “pretzelosity” in analogy with the quark case. As for \(h_{1L}^\perp ,\) we think that this nomenclature is misleading. The peculiar shape of the contour plot in the central panels of Fig. 7 suggests for \(h_{1T}^{\perp }\) the name of “butterfly” function.

Finally, if we turn the gluon linear polarization along the \(\hat{y}\) axis but keeping the nucleon polarization along \(\hat{x},\) the combination \(\Phi ^{y y}(S_x) - \Phi ^{y y}(-S_x)\) isolates the linearity function through the term \(- h_1 \, p_y/2M.\) In the lower panels of Fig. 7, we show the contour plot for the \(\varvec{p}_T\)-distribution of the f-type combination \(- h_1 \, p_y/2M,\) scaled by the factor 10 and with the same notations as before. The \(p_y\) weight produces oscillations symmetric with respect to the \(\hat{x}\) axis, emphasized in the 1-dim ancillary plots with slightly displaced slices at \(p_y=-0.1\) GeV and \(p_x = 0.1\) GeV.

As a final remark, it is difficult to check the positivity bound for the linearity, propeller and butterfly functions, because they enter the densities \(x \rho ^{\leftrightarrow }_{p^\rightarrow }\) and \(x \rho ^{\leftrightarrow }_{p^\odot }\) intertwined among each other and with other gluon TMDs. However, from Fig. 7 we note that their size is much smaller than the unpolarized \(f_1,\) typically by one order of magnitude for the linearity, and by two and three orders of magnitude for the propeller and butterfly, respectively. Therefore, we argue that it is very unlikely that the positivity bound for these T-odd gluon TMDs is not fulfilled.

5 Summary and outlook

In this paper, we have presented a model calculation of all four leading-twist T-odd gluon TMDs within a spectator model approach, providing insights into the complex interplay among gluon transverse momentum, gluon polarization, and nucleon spin, and offering a detailed (model-dependent) picture of the distribution of gluons in the nucleon. This paper completes our previous work [30], where we computed all the leading-twist T-even gluon TMDs in the same framework.

The model is based on the idea that a nucleon can split into a gluon and remainders that are treated as a single spectator fermion. This spectator mass is allowed to vary within a continuous range, described by a spectral function. Non vanishing T-odd structures are generated by the interference between the tree-level amplitude and an amplitude with final-state interactions, which in our model are approximated as a single-gluon exchange between the gluon and the spectator. The structure of interaction vertices reflects the nature of the involved particles. Since the spectator has spin-\(\textstyle {\frac{1}{2}},\) the vertices are modeled resembling the free nucleon electromagnetic current, replacing the Dirac and Pauli form factors with dipolar functions \(g_1(p^2)\) and \(g_2(p^2).\) For sake of simplicity, all model parameters have been kept the same as in our previous work on T-even gluon TMDs, where they were fixed by fitting the transverse-momentum-integrated gluon TMDs onto known parametrizations of the corresponding collinear unpolarized and helicity gluon PDFs at the lowest scale \(Q_0 = 1.64\) GeV [30].

As it is well known, gluon TMDs have a more intricate dependence on the structure of the color flow (gauge link), which in turn introduces a dependence on the involved process. There are two main classes of gluon TMDs, the so-called Weizsäcker–Williams (WW) gluon TMDs (also called f-type) and the dipole gluon TMDs (also called d-type). In general, the two classes cannot be connected, as the WW and dipole gluon TMDs carry different physical information and appear in different processes. Due to the simplifying assumptions in our model, the differences between f-type and d-type gluon TMDs amount only to a calculable color factor: the size of the d-type gluon TMDs is 5/9 of the f-type ones.

We have provided analytical and numerical results for the f-type T-odd gluon TMDs using two versions of the model: a simpler version with a single form factor (\(g_1,\) taking \(g_2 = 0\)) for the nucleon-gluon-spectator and spectator-gluon-spectator vertices, and the full calculation with both \(g_1\) and \(g_2\) form factors. In the first case, we obtain nonvanishing results only for the Sivers \((f_{1T}^{\perp })\) and linearity \((h_1)\) functions. They turn out to be much smaller than the T-even unpolarized TMD \((f_1),\) and they show a decreasing trend for smaller values of x. In the full calculation, this trend is reversed and the size becomes comparable to \(f_1,\) suggesting that sizeable asymmetries generated by such functions could be measurable at small x. Moreover, we obtain non vanishing results also for the other two T-odd gluon TMDs: the \(h_{1L}^\perp \) (which we name “propeller”) and the \(h_{1T}^\perp \) (which we name “butterfly”). However, both functions have a very small size, particularly the butterfly function, casting some doubts on the actual possibility of ever extracting them from measured spin asymmetries. We computed the T-odd f-type gluon TMDs also in the quark-target model. Only the Sivers and linearity functions are different from zero, and their expression matches known results in the literature.

As a final remark, the magnitude of the T-odd gluon TMDs crucially depends on the model parameters. For sake of simplicity, in this paper we have taken them equal to the model parameters of the T-even gluon TMDs [30]. However, our model is flexible enough to account for different couplings and different color structures in the interaction vertices, such that the differences between f-type and d-type gluon TMDs would not amount to a simple color factor. Only future data from the Electron-Ion Collider [17, 18, 71,72,73] and new-generation machines [74,75,76,77,78,79] will help us to overcome this limitations, and explore also the intriguing connections between our polarized gluon TMDs at small-x and the small-x unintegrated gluon density within a hybrid high-energy and collinear factorization framework (see, e.g., Refs. [80,81,82]).