Super-gauge Field in de Sitter Universe

The Gupta-Bleuler triplet for vector-spinor gauge field is presented in de Sitter ambient space formalism. The invariant space of field equation solutions is obtained with respect to an indecomposable representation of the de Sitter group. By using the general solution of the massless spin-$\frac{3}{2}$ field equation, the vector-spinor quantum field operator and its corresponding Fock space is constructed. The quantum field operator can be written in terms of the vector-spinor polarization states and a quantum conformally coupled massless scalar field, which is constructed on Bunch-Davies vacuum state. The two-point function is also presented, which is de Sitter covariant and analytic.


I. INTRODUCTION
According to the highly redshift observation of the Supernova Ia [1,2], galaxy clusters [3,4], and cosmic microwave background radiation [5], the current universe is expanding in an accelerating way. Then our current universe may be described by the de Sitter space-time. Moreover, the recently observational data by BICEP2 [6] may confirm that the early universe in a good approximation is also the de Sitter universe. Therefore, the construction of the quantum field theory in de Sitter space is very important for better understanding of the evolution of the early and current universe. The rigorous mathematical construction of quantum field theory in de Sitter space-time, based on the unitary irreducible representations of the de Sitter group and the analyticity of the complexified de Sitter space-time, was previously presented in [7]. The unitary irreducible representations of the de Sitter group are extracted completely by Takahashi [8] and the analyticity of the complexified de Sitter space-time is investigated by Bros et al [9][10][11][12].
In this paper, the massless spin-3 2 field or vector-spinor gauge field is considered. The massless means that they propagate on the de Sitter light-cone. First by using the group de Sitter algebra, the gauge invariant field equation is presented [7,13,14]. For similarity to other gauge theories, such as Yang-Mills gauge theory, the gauge-covariant derivative and the gauge invariant Lagrangian density can be envisaged along the lines proposed in [7]. The variation of this Lagrangian density would give us a equation of motion which is obtained by the group de Sitter algebra.
In the gauge-covariant derivative, the gauge potential is a vector-spinor field. Consequently the corresponding gauge group must have spinorial generator to justify a set of well-defined gauge-covariant derivative. Therefore, a set of anti-commutative generators satisfy a superalgebra. The all possible closed de Sitter superalgebra for even N ( N is the number of fermionic generators) had been obtained [15,16]. In the de Sitter ambient space notation, a closed N = 1 de Sitter supersymmetry algebra can be defined [17]. So, here we just consider one spinorial generator and, in accordance with it, one vector-spinor field. The quanta of this field is named gravitino which is supposed to be the fermionic partner of graviton (spin-2 quanta of gravitational field!).
In the gauge quantum field theory, it has been shown that if we want to conserve casuality and covariance, an indefinite metric must be used [18]. In other words, there are states with negative or null norm that establish a general Fock quantization with field operators that are not essentially self-adjoint [19], so, one has to adopt the well-known Gupta-Bleuler quantization. The Gupta-Bleuler formalism is an alternative way that is used by Gupta and Bleuler to quantize the electromagnetic field [20,21]. But it seems to be universal, and it has been extensively applied to the quantization of gauge invariant theories. Binegar et al. [22] have shown a complete Gupta-Bleuler quantization procedure of QED that is manifestly conformally invariant. In a curved static space-time, the Gupta-Bleuler quantization of the electromagnetic gauge fields is explained by Furlani [23] as well as for globally hyperbolic space-times in [24]. The Gupta-Bleuler structure has been applied to the massless minimally coupled scalar field [25,26], massless vector field [27] and massless spin-2 field [28] in de Sitter space. Here, we study this structure for a massless vector-spinor or spin-3 2 fields. In section II, first, the notation and terminology of de Sitter ambient space formalism are recalled. Using de Sitter group algebra, the gauge invariant field equation is presented. The gauge-covariant derivative is defined. Also we look closely at an action in which its associated equation of motion, is exactly consistent with the group algebra result [7]. Section III is devoted to the construction of Gupta-Bleuler triplet for vector-spinor field and its corresponding indecomposable representation. The solution of the gauge fixing field equation is obtained in section IV. The field solution can be written in terms of a polarization vector-spinor state and a conformally coupled massless scalar field. The pure gauge state, spinor state, physical state, divergence part and general solution are presented. In section V, the vector-spinor quantum field operator and their covariant two-point function are defined. Finally, a brief conclusion and an outlook are given in section VI.

A. de Sitter ambient space formalism
The de Sitter space-time is the vacuum solution of Einstein's equation with a positive cosmological constant. It can be considered as a hyperboloid embedded in five-dimensional Minkowski space: where η αβ = diag (1, −1, −1, −1, −1) . The de Sitter metric is X µ is de Sitter intrinsic coordinates and x α is the five-dimensional de Sitter ambient space formalism. For simplicity, the Hubble parameter is taken to be equal to unit H = 1 . The isometry group of the de Sitter space-time is the ten-parameter group SO 0 (1, 4) . The de Sitter group has two Casimir operators: where W α = 1 8 ǫ αβγδη L βγ L δη . ǫ αβγδη is the antisymmetrical Levi-Civita tensor and L αβ = M αβ + S αβ are ten infinitesimal generators of de Sitter group. The orbital part M αβ is defined by where ∂ ⊤ β = θ α β ∂ α is the transverse derivative ( x.∂ ⊤ = 0 ) and θ αβ = η αβ + x α x β known as the projection tensor. The spinorial part S αβ with half-integer spin s = l + 1 2 , is read as in which the first term acts on a tensor index as The second term is where the γ -matrices satisfy the basic Clifford algebra The best γ -matrices representation for our discussion is [12,32]: where I 2×2 and σ i 's are unit 2 × 2 matrix and the Pauli matrices, respectively.

B. Gauge invariant equation
The field equation can be written by using the second-order Casimir operator of de Sitter group [7]: where the eigenvalues of Casimir operator, which classify the unitary irreducible representations of de Sitter group, is j and p are parameters in which they take values corresponding to different types of representations, namely: the principal (U (j,p) ) , the complementary (V (j,p) ) , and the discrete series (Π ± j,p ) . A la Wigner, the quantum field operator transforms by the unitary irreducible representations of de Sitter group.
In the following, we will concentrate on the spin-3 2 massless vector-spinor field corresponding to the values j = p = 3 2 in the discrete series with Q The "scalar" Casimir operator Q (1) 0 is: The vector-spinor solution of the field equation (II.2) with the condition ∂ ⊤ .Ψ = 0 is singular [29]. This condition is necessary for the transformation of the field operator by an unitary irreducible representation of de Sitter group. One can solve the problem of singularity by release of the divergencelessness condition, i.e. ∂ ⊤ .Ψ = 0 . Then the quantum field operator transforms by an indecomposable representation of de Sitter group and the field equation must be gauge invariant [7]. The massless vector-spinor gauge invariant field equation is [7,13,14]: ∇ ⊤ α is a transverse-covariant derivative which maps a tensor-spinor field of rank l to a tensor-spinor field of rank l + 1 on the de Sitter ambient space formalism [7]: x from the above definition, the transverse-covariant derivative will be transverse again. But, the de Sitter algebra and the definition of the Casimir operator persuade us to add this term [7]. Then one can prove the following identities: By using these identities, one can show that the field equation (II.3) is invariant under the following gauge transformation ψ is an arbitrary spinor field and

C. Gauge-covariant derivative
The local or gauge symmetries are fundamental in the nature to explain the electromagnetic, weak and strong nuclear interactions by the gauge vector fields. To construct a gauge-invariant Lagrangian, the gauge-covariant derivative is defined such that any gauge fields are associated with the generators of the local symmetry group.
Here, the gauge field is vector-spinor field ( Ψ α ) which satisfies an anti-commuting algebra, then the associated generator must be an spinor and satisfy the anti-commutation relations. In this case, the super-gauge covariant derivative is defined by [7] where Q is a fermionic generator which transforms as spinor under the de Sitter group [17].Ψ β = Ψ † β γ 0 γ 4 and i = 1, ..., 4 is the spinorial index. By this fermionic generator, one can not define an closed algebra. It was proved that this spinor generator, Q , with the de Sitter group algebra satisfy the following N = 1 supersymmetric de Sitter algebra in ambient space formalism [17] Q t is the transpose of Q and C is the charge conjugation [30]. One can prove that Qγ 4 Q is a scalar field under de Sitter group transformations [30]. Therefore naturally the vector-spinor gauge field Ψ β (associated to the fermionic generator Q ) must be coupled with a tensor gauge field K γδ β (associated to the generator L γδ ) [7]. K γδ β is a massless spin-2 rank-3 mixed-symmetric tensor field [7]. In this case, the general gauge-covariant derivative, with H A α ≡ K γδ β , Ψ i β as gauge fields, can be defined as: are the generators of N = 1 super-de Sitter algebra (II.5). For simplicity, they can be written in the following compact form: The symbol of [ } is an anti-commutation if and only if the two T 's are fermionic; otherwise, it is a commutation symbol. A general form of local infinitesimal gauge transformation acting on the gauge field can be written as According to the general framework, one can obtain where R is the "curvature" and is defined as Here we only consider the vector-spinor field part, then the curvature for this part is: where the transverse-covariant derivative acts on Ψ β in the following form

D. Gauge invariant Lagrangian density
The super-gauge invariant action or the supergravity Lagrangian in the de Sitter ambient space formalism is [7,31]: where g AB is numerical constant matrix and dµ(x) is the de Sitter invariant volume element [10]. For vector-spinor field part, the action is given by The conjugate spinor is defined asΨ α ≡ Ψ † α γ 0 and its transverse covariant-derivative must be defined as [7]: In the approximation of the linear field equation, the action is Using the Euler-Lagrange equation, the field equations for two dynamical variables Ψ andΨ , can be obtained as [Appendix A]: The above equations of motion in terms of Casimir operator can be rewritten as the following forms: It is also shown that (II.10) is completely consistent with equation (II.3) that is calculated on the basis of the group theory approach. The vector-spinor Lagrangian density is then invariant under the following gauge transformations [Appendix B]: We would like to introduce a gauge fixing parameter c : The equation (II.3), which is a gauge invariant equation, is a special case of the above equation. When c = 1 , we have a field equation which is not gauge invariant. The choice of the gauge fixing parameter c determines the space of gauge solutions, which will be considered in the next section.

III. GUPTA-BLEULER TRIPLET
The appearance of the Gupta-Bleuler triplet is crucial for the covariant quantization of the gauge fields [18,22,27]. The ambient space formalism allows us to exhibit this triplet for the vector-spinor gauge field in exactly the same manner as it occurs for the Minkowskian counterpart. We start with the gauge fixing field equation (II.12). The de Sitter invariant bilinear form (or inner product) on the space of solutions is defined for two modes of the field equation (II.12). Let us now define the structure of the space of solutions as the Gupta- The indefinite inner product space V c includes all the solutions of the field equation (II.12). In other words, the elements of this space are physical and unphysical states with all possible norms such as negative, null, and positive. The subspace V is defined as a space of solution with the divergencelessness condition, ∂ ⊤ · Ψ = 0 . This subspace V is a semi-definite inner product space and an invariant subspace of V c (but not invariantly complemented). According to (II.12), it is a manifestly c -independent subspace of solutions. Finally, the gauge subspace V g ⊂ V is defined as Ψ g α = ∇ ⊤ α ψ p , where p stands for pure gauge state. It establishes a subspace with the null norm, which is an invariant subspace of V (but not invariantly complemented). The elements of V g are orthogonal to all states in V including themselves. The coset space V /V g is the space of the physical state. In the following, we present these three spaces.

A. The pure gauge state
Putting the gauge solution Ψ g α = ∇ ⊤ α ψ p into (II.12) and by using (II.4), we obtain: where ψ p is a spinor field. We will make the following assumptions: • If c = 1 , the spinor field ψ p is arbitrary and unlimited. The field equation is gauge invariant. The gauge vector-spinor space is constructed by a spinor field ψ p .
• If c = 1 , then ψ p obeys the following field equation or, for simplicity, we can chose In this case, the gauge is fixing and the field equation is not a gauge invariant.
This field can be associated to the de Sitter group representation Π 1

B. The divergence spinor state
The divergence vector-spinor state is defined as ∂ ⊤ · Ψ d = 0 . If one takes the divergence of the field equation (II.12), then one obtain [Appendix C]: At this point, one must consider the two cases c = 1 and c = 1 : where s stands for spinor state, ψ s is an arbitrary spinor field and we have a gauge invariant.
• If c = 1 , then ψ s satisfies the following field equation: and the gauge is fixed.
The quotient space V c /V is the space of spinor states ψ s . This field, similar to the pure gauge state, can be associated with the representation Π 1 2 ,− 1 2 .

C. The physical state
The quotient space V /V g is the space of the physical states. These states are the solutions of the field equation (II.2) with the conditions: ∂ ⊤ · Ψ phy = 0 , γ · Ψ phy = 0 and Ψ phy α = ∇ ⊤ α ψ . These fields are transformed by the discrete series representation Π ± and one can see that they contract to the Poincaré massless spin-3 2 representations when the curvature tends to zero [7]. As we can see, the spinor and pure gauge states are associated with the representation Π 1 2 ,− 1 2 .

IV. FIELD SOLUTION
For simplicity, the vector-spinor field solution is divided into three parts: where Ψ g α is the pure gauge solution, Ψ d α is the divergence part solution and Ψ phy α is the physical solution. We have defined Ψ g α = ∇ ⊤ α ψ p , so, if one takes the divergence of it, one obtain: The gauge solution satisfies the divergencelessness condition ∂ ⊤ · Ψ g = 0 . Then the spinor field equation is (III.2). Also, one can not impose the condition / Ψ g = 0 for spinor and gauge state due to the homogeneous degree of spinor field states (see equation (IV.4)). From the unitary irreducible representations of the de Sitter group, we know that the physical solution must satisfy the conditions ∂ ⊤ · Ψ phy = 0 and / Ψ phy = 0 . Therefore, the only divergence part is ∂ ⊤ · Ψ d = 0 . For a classification, see

A. The pure gauge and divergence spinor solution
The pure gauge field ψ p and the spinor state ψ s satisfy the similar field equations, (III.2) and (III.3): By using the identity there exist two possibilities for the first-order field equation. The first one is: with the degree of homogeneity −4 and 1 . For the second case, due to the positive homogeneous degree 1 , one can not construct a covariant quantum field operator [7]. The solution of the field equation (IV.3) can be written in the following form: where φ m is a massless minimally scalar field ( Q 0 φ m = 0 ). U is an arbitrary constant spinor which can be fixed by imposing the condition that it becomes the spinor field in the null curvature limit [12,32]. The solution of the massless minimally coupled scalar field can be written in terms of the de Sitter plane-wave: (x · ξ) σ [7,10], where ξ is an 5 -vector in positive cone C + : For the massless minimally coupled scalar field, the degree of homogeneity is σ = 0, −3 . The constant solution poses the famous zero mode problem for this field. By using the following relation between the minimally coupled and the conformally coupled scalar fields ((Q 0 − 2)φ c = 0) in the de Sitter ambient space formalism [7] this problem can be surmounted [34]. Z α is a constant five-vector. The solution of the massless conformally coupled scalar field can be written in terms of the de Sitter plane-wave: (x · ξ) σ , σ = −1, −2 [7,10]. Then the spinor field (IV.5) can be written in terms of the massless conformally coupled scalar field as: There appear an arbitrary constant spinor U and an arbitrary constant five-vector Z α , which will be fixed in the null curvature limit.

B. The physical state solution
The physical part, which is defined by the conditions ∂ ⊤ · Ψ phy α = 0 and / Ψ phy = 0 , satisfies the following field equation: There are two possibilities for the relevant first order field equation: The latter is conformal invariant [14], and in the following, only this solution will be considered. The physical vector-spinor field solution can be written in terms of a polarization vector-spinor D phy α and a spinor field ψ 1 [14]: The spinor field ψ 1 satisfies Its solution can be written in terms of a massless conformally coupled scalar field φ c as [14]: This spinor field and its related two-point functions can in fact be extracted from a massive spinor field in the principal series representation by setting ν = −i [32].
The divergence part is defined as ∂ ⊤ · Ψ α = ∂ ⊤ · Ψ d α = 0 and / Ψ d = 0 . It satisfies the field equation: This vector-spinor field Ψ d α can be expressed by three spinor fields ζ 1 , ζ 2 and ζ 3 as follows [14]: By replacing (IV.11) in the field equation (IV.10), one obtains: (IV.14) Equation (IV.12) can be rewritten as: so, there are two possibilities for the first-order field equations: (1) the conformally coupled spinor field 16) and (2) the minimally coupled spinor field Their corresponding solutions are: If ζ 1 is a minimally coupled spinor field and c = 2 3 , the equations (IV.13) and (IV.14) have solution and the spinor fields ζ 2 and ζ 3 can be written in terms of ζ 1m as [Appendix D]: and where w is a constant arbitrary parameter.

D. The general solution
In this subsection, we want to find a general solution without any conditions. This solution can be written as: Similar to the previous subsection, by replacing (IV.20) in the field equation (II.12), one obtained: where n 1 , ..., m 3 are the constant arbitrary parameters. Replacing these solutions in equations (IV.22) and (IV.23) and using the spinor field equation (IV.17) for ψ 1 , we obtain a solution only for the value c = 2 3 : where t is a constant arbitrary parameter. In this case, the general solution becomes: where the spinor field ψ 1m is For this solution, there are a constant parameter t , a constant spinor U and two constant five-vectors Z α and Z ′α . One of the problem of this solution is that these constant parameters can not be fixed in the null curvature limit. Another problem is that c is fixed with value 2 3 , then the solution is not a general solution and should be ignored.
Similar to the above procedure and using the spinor field equation (IV.16) for ψ 1 , the general solution becomes: The spinor field ψ 1c is: In this case, there are a constant spinor U and a constant five-vector Z α , which can be fixed in the null curvature limit and specify the indecomposable representation of de Sitter group. There exists a five-dimensional trivial representation with respect to Z (λ) α [35]. For a thorough investigation regarding the five existing polarization states λ = 0, 1, 2, 3, 4 , the reader may refer to [35]. Solution (IV.27) is also a general solution since c is arbitrary. In the next section, the quantum field operator and its corresponding two-point function are constructed by this solution.

V. QUANTUM FIELD OPERATOR AND TWO-POINT FUNCTION
In the previous section, it is proved that the ambient space formalism permits us to write the vector-spinor field in terms of a vector-spinor polarization state and a massless conformally coupled scalar field (IV.27): First, we recall the construction of the quantum field operator and the two-point function for the massless conformally coupled scalar field φ c , then it is simply generalized to the massless vector -spinor field.

A. Massless conformally coupled scalar field
In ambient space formalism the massless conformally coupled scalar field solution can be written in terms of de Sitter plane wave (x · ξ) σ with σ = −1, −2 [9]. This plane waves solution can not be defined globally in de Sitter space, but it can be defined globally in complex de Sitter space-time [9][10][11]: Let T ± = IR 5 + iV ± to be the forward and backward tubes in l C 5 . The domain V + (resp. V − ) stems from the causal structure on M H : where Z(z 1 , z 2 ) = −H 2 z 1 · z 2 . The Wightman two-point function W c (x 1 , x 2 ) is the boundary value (in the sense of its interpretation as a distribution function, according to the theorem A.2 in [10]) of the function W c (z 1 , z 2 ) which is analytic in the domain T 12 of M (c) H [10]. The boundary value is defined for z 1 = x 1 + iy 1 ∈ T − and z 2 = x 2 + iy 2 ∈ T + as where y 1 = (−τ, 0, 0, 0, 0) ∈ V − , y 2 = (τ, 0, 0, 0, 0) ∈ V + and τ → 0 . Then, one obtains [10,12,33]: where the symbol P is the principal part and Z(x 1 , x 2 ) is the geodesic distance between two points x 1 and x 2 on the de Sitter hyperboloid: (V.37)

B. Massless Vector-spinor field
Using the equations (V.28) and (V.33), in the complex de Sitter space, the vector-spinor field operator is then defined as [7]: where the explicit form of U r is defined in [12,32]. The explicit form of the polarization five-vector Z λ depends on the indecomposable representation of de Sitter group [35]. As a simple case, one can chose [7,34]: The analytic function S αβ (z, z ′ ) is defined as [32] S αβ (z, where z, z ′ ∈ M c H and |Ω is the vacuum state. By using the identity [12] r U r ⊗Ū r = / ξγ 4 , the two-point function can be written in the following compact form: whereD = γ 0 γ 4 D † γ 0 γ 4 and S c is the two-point function of massless conformally spinor field [12]: The two point function of massless conformally coupled scalar field ( W c ) and massless spinor field ( S c ) are constructed on Bunch-Davis vacuum states and preserve the Hadamard structure [9,10,32]. Then our two-point function (V.40), which is constructed from a massless conformally coupled scalar field and a polarization tensor-spinor, preserve the correct Hadamard structure. since the polarization tensor-spinor take the derivative of the W c and the derivative can not break the Hadamard structure.
It is important to note that in our construction the negative norm states does not appear for the scalar field (V.33) and the Bunch-Davis vacuum states is used.

VI. CONCLUSIONS
In this paper, the massless vector-spinor or super-gauge field Ψ α is studied in de Sitter ambient space formalism. The super-gauge invariant Lagrangian density is presented by using the super-gauge covariant derivative. The Gupta-Bleuler triplet is discussed. It is shown that the field solutions are built up from a conformally coupled scalar field and a vector-spinor polarization state. Finally, the quantum field operator and its corresponding two-point function are calculated. The two-point function is analytic in this construction. Since the quantum field theory in our formalism is unitary and analytic, a unitary supergravity in de Sitter ambient space formalism seems quite plausible.
In this paper the free field quantization is considered, using the interaction Lagrangian which is defined in ambient space notation by the gauge principle [7] one can perform the one-loop correction for various fields that (may) couple to the gravitino. By coupling this vector-spinor gauge field with the massless spin-2 gauge field in de Sitter ambient space formalism, a unitary supergravity may be obtained, which will be studied in a forthcoming paper.
From the action (II.7), the Lagrangian density is Using the Euler-Lagrange equation Then the Euler-Lagrange equation leads immediately to the following field equation which is equation (II.8).