format: text

text:
# 1 Introduction

## 1 Introduction

$`N=1`$ supersymmetry in 4-$`D`$ space-time is likely to be a major ingredient of effective field theories of fundamental interactions at energies below or near the Planck scale. When restricted to theories at most quadratic in field gradients, the full spectrum of models is characterized by the field content (e.g., the spectrum of scalar and vector multiplets), which includes fixing the group of local gauge symmetries and their representations; and furthermore by the choice of three functions of the scalar multiplets, the Kähler potential, the superpotential and the holomorphic kinetic functions of the gauge fields. Even with such a restricted set of choices, a surprisingly rich variety of structures can be realized; as yet their classification is far from complete.

In this paper we discuss supersymmetric $`\sigma `$-models on Kähler coset spaces $`G/H`$. Such models have been studied previously by various groups of authors ; for some reviews see ref.. They have been considered in the context of non-standard superunification models, of effective low-energy models for gauge theories in the strong-coupling limit, or as models for string-inspired low-energy phenomenology. Supersymmetric $`\sigma `$-models of various kinds are also part of supergravity theories. In $`N=1`$ supergravity Kähler type models are of interest because they can realize many varieties of non-linear symmetries on chiral fermions. In extended supergravity $`\sigma `$-models are a basic part of the theory, cf. the non-compact models on $`SU(1,1)/U(1)`$ in $`N=4`$, and on $`E_{7(+7)}/SU(8)`$ in $`N=8`$ supergravity in 4-$`D`$ space-time.

Supersymmetry requires the target space of $`N=1`$ scalar superfield theories in $`D=4`$ space-time to be a complex manifold of the Kähler type . For a coset model to be Kähler imposes special conditions on the groups $`G`$ and $`H`$; in particular, the stability group $`H`$ always factorizes so as to possess at least one commuting $`U(1)`$ subgroup. The more special symmetric cosets with such a structure include the Grassmannian models on $`U(N,M)/U(N)\times U(M)`$, the orthogonal unitary coset models on $`SO(2N)/U(N)`$, as well as models on exceptional cosets like $`E_6/SO(10)\times U(1)`$. A non-symmetric model of phenomenological interest is for example the supersymmetric version of $`E_8/SO(10)\times SU(3)\times U(1)`$.

By themselves, homogeneous supersymmetric coset-models are known to be inconsistent quantum field theories, because of the appearance of anomalies in the holonomy group . These can not be compensated by Wess-Zumino type modifications . A particular solution to this problem has been proposed in , involving a procedure known as Goldstone boson doubling. This procedure takes a complexification of the broken isometry group as the starting point for the construction of field-theory models. Alternatively, in  it was proposed to cancel such anomalies by coupling additional (chiral) matter superfields in non-trivial representations of the isometry group of the $`\sigma `$-model. More details of this procedure have since been worked out in . We wish to stress, that although the two approaches have rather different starting points, they are not mutually exclusive.

Continuing our line of investigation, in this paper we describe several new results. First, we perform a quite general analysis of the global aspects of the geometry and isometries of Kähler-type coset manifolds. From the results we derive a better and more detailed understanding of the consistency conditions on the bundles which can be constructed over such manifolds. As these bundles can be interpreted as target spaces of fields coupled to the $`\sigma `$-model, the consistency conditions have direct implications for the existence of interacting field theories constructed on the basis of pure coset models. We apply the results of this analysis to the particular case of symmetric orthogonal unitary cosets on $`SO(2N)/U(N)`$. We show that only a finite number of these models can be consistent when coupled to matter superfields with $`U(N)`$ quantum numbers reflecting spinorial representations of $`SO(2N)`$. Among these are in particular the ones based on $`SO(10)/SU(5)\times U(1)`$, with matter in representations descending from the $`\underset{¯}{16}`$ of $`SO(10)`$, which are interesting for phenomenological applications.

This paper is structured as follows. In section 2 we review some basic aspects of Kähler geometry and its role in supersymmetric scalar field theories in $`D=4`$ space-time. We discuss the symmetries of these models in the geometric language of Killing vectors (generating isometries), which represent infinitesimal, but generally non-linear, transformations. A procedure for coupling chiral superfields in other representations of the isometry group, first described in , is reviewed emphasizing its role in anomaly-cancelation. In section 3 we present the construction of non-linear realizations of the $`SL(N+M;)`$ starting from the approach of ref. . By imposing certain constraints on the group elements one obtains non-linear representations of various classical groups, like $`SU(N+M)`$, $`SO(2N)`$, or $`USp(2N)`$ and their non-compact relatives, in finite form. We discuss the realization of the non-linear transformations on various types of bundles over the manifold, and examine the consistency conditions to be satisfied. In the context of field theory, this results in the quantization of $`U(1)`$ charges for matter fields coupled to the $`\sigma `$-model. In section 4 we turn specifically to non-linear realizations of $`SO(2N)`$. The bundles of interest for supersymmetric field theory applications are constructed. We use the conditions for existence of these bundles to examine the possibility of cancelling anomalies in section 4.5. We identify $`U(N)`$-bundles over the $`SO(2N)/U(N)`$ cosets which together build a spinor representation of $`SO(2N)`$. It is shown that only a finite number of spinor models can be made anomaly-free. We finish in section 5 by discussing a number of physical aspects of the model on $`SO(10)/U(5)`$, like internal and supersymmetry breaking. A rather surprising result, which generalizes to other coset models, is that the model with fully gauged $`SO(10)`$ is singular: the kinetic terms of the Goldstone superfields vanish in the vacuum. Gauging the linear subgroup $`U(5)`$ can give consistent models, but only in a range of non-zero values of the Fayet-Iliopoulos term. Finally, the appendices describe some mathematical details of our constructions.

## 2 $`\sigma `$-models on Kähler manifolds

The kinetic terms of complex scalar fields $`(z^\alpha ,z^{\underset{¯}{\alpha }})`$ on Kähler manifolds are of the form

$$_{kin}=\sqrt{g}g^{\mu \nu }G_{\alpha \underset{¯}{\alpha }}(z,\overline{z})_\mu z^\alpha _\nu \overline{z}^{\underset{¯}{\alpha }},$$
(1)
with the spacetime metric $`g_{\mu \nu }`$ and the target-space metric subject to the Kähler condition

$$G_{\alpha \underset{¯}{\alpha },\beta }=G_{\beta \underset{¯}{\alpha },\alpha }.$$
(2)
Locally on the target manifold the condition is satisfied by deriving the metric from a Kähler potential:

$$G_{\alpha \underset{¯}{\alpha }}=K_{,\alpha \underset{¯}{\alpha }}.$$
(3)
In terms of the Kähler two-form

$$\omega (K)=iK_{,\alpha \underset{¯}{\alpha }}d\overline{z}^{\underset{¯}{\alpha }}dz^\alpha $$
(4)
equation (2) can be written as

$$d\omega (K)=\mathrm{\hspace{0.17em}0}.$$
(5)
Obviously, the Kähler potential is defined by this equation only up to holomorphic terms:

$$\stackrel{~}{K}(z,\overline{z})=K(z,\overline{z})+F(z)+\overline{F}(\overline{z}).$$
(6)
As a result, if two complex local co-ordinate charts $`\{z_i\}`$ and $`\{z_j\}`$ have non-empty overlap, the Kähler potentials in the charts are generally related by

$$K_i(z_i,\overline{z}_i)=K_j(z_j,\overline{z}_j)+F_{(ij)}(z_j)+\overline{F}_{(ij)}(\overline{z}_j).$$
(7)
In this paper we focus on the class of Kähler manifolds formed by coset spaces $`G/H`$. Such cosets are Kähler manifolds if $`H`$ is the centralizer of a torus in $`G`$; that is, the stability group $`H`$ contains one or more $`U(1)`$ subgroups commuting with the rest of $`H`$. A general procedure for constructing a Kähler potential for these coset manifolds was developed by the authors of ref. . It is discussed in some detail in the context of our applications below.

Scalar lagrangeans of the type (1) can be extended to incorporate $`N=1`$ Poincaré supersymmetry, by taking the complex fields $`z^\alpha `$ to be the scalar components of chiral superfields $`\mathrm{\Phi }^\alpha `$; we denote its chiral fermion components by $`\psi _L^\alpha `$. In Minkowski space, the component lagrangean is

$`_{chiral}`$ $`=`$ $`{\displaystyle d^4\theta K(\mathrm{\Phi },\overline{\mathrm{\Phi }})}`$
$`=`$ $`G_{\alpha \underset{¯}{\alpha }}(z,\overline{z})\left[^\mu z^\alpha _\mu \overline{z}^{\underset{¯}{\alpha }}+\overline{\psi }_L^{\underset{¯}{\alpha }}\stackrel{}{D/}\psi _L^\alpha \right]+{\displaystyle \frac{1}{4}}R_{\alpha \underset{¯}{\alpha }\beta \underset{¯}{\beta }}\overline{\psi }_L^{\underset{¯}{\alpha }}\gamma ^\mu \psi _L^\alpha \overline{\psi }_L^{\underset{¯}{\beta }}\gamma _\mu \psi _L^\beta ,`$
where the covariant derivative and curvature tensor are those of the Kähler manifold.

In general, Kähler metrics admit a set of holomorphic isometries $`R_i^\alpha (z)`$, with conjugates $`\overline{R}_i^{\underset{¯}{\alpha }}(\overline{z})`$, satisfying the Killing equation

$$R_{i\underset{¯}{\alpha },\alpha }+\overline{R}_{i\alpha ,\underset{¯}{\alpha }}=\mathrm{\hspace{0.17em}0}.$$
(9)
These isometries define infinitesimal symmetry transformations on the manifold:

$$\delta z^\alpha =z^\alpha z^\alpha =\theta ^i\delta _iz^\alpha =\theta ^iR_i^\alpha (z),$$
(10)
with $`\theta ^i`$ the parameters of the infinitesimal transformations. As a result, the isometries define a Lie algebra with structure constants $`f_{ij}^k`$ via the Lie derivative by:

$$\left(_{R_i}[R_j]\right)^\alpha =R_i^\beta R_{j,\beta }^\alpha R_j^\beta R_{i,\beta }^\alpha =f_{ij}^kR_k^\alpha .$$
(11)
The invariance of the metric implies, that under these isometries the Kähler potential generally is invariant modulo holomorphic functions, as in eq. (6):

$$\delta _iK=F_i(z)+\overline{F}_i(\overline{z}).$$
(12)
From the Lie-algebra property (11) it follows that one can choose the transformations of the functions $`F_i(z)`$ to have the property

$$\delta _iF_j\delta _jF_i=f_{ij}^kF_k.$$
(13)
Equation (9) for holomorphic Killing vectors has a local solution in terms of a set of scalar potentials $`M_i(z,\overline{z})`$, transforming in the adjoint representation of the Lie-algebra (11):

$$iM_i=K_{,\alpha }R_i^\alpha F_i,\delta _iM_j=f_{ij}^kM_k.$$
(14)
Supersymmetry generalizes the isometries to transformations of the chiral superfields $`\mathrm{\Phi }^\alpha `$:

$$\delta _i\mathrm{\Phi }^\alpha =R_i^\alpha (\mathrm{\Phi }).$$
(15)
For the chiral fermions this implies the infinitesimal transformation rule

$$\delta _i\psi _L^\alpha =R_{i,\beta }^\alpha (z)\psi _L^\beta .$$
(16)
In sect. 3 we present the finite form of the transformations (15), of which (10) and (16) are special cases, for a large class of symmetric coset spaces $`G/H`$.

As the chiral fermions couple to the connection and the curvature in $`_{chiral}`$, the consistency of the quantum theory is generally spoiled by anomalies . Therefore we extend the model with additional chiral superfields —generically called matter superfields— on which the isometry group is realized, with the representations chosen to cancel the anomalies.

A general procedure for matter coupling has been worked out in ; the generalization to supergravity was presented in . The mathematical framework used to construct matter representations of the isometry group of the Kähler manifold is the theory of complex bundles over Kähler manifolds. These bundles are defined locally on the Kähler manifold by sets of complex fields with specific transformation character under the isometries.

The basic pattern is that exhibited by the transformation rule (16) for the chiral fermions. This rule shows how a vector (an element of the tangent bundle) transforms under the isometries. Similarly, one can define a representation transforming as a 1-form (an element of the co-tangent bundle):

$$\delta _iv_\alpha =R_{i,\alpha }^\beta (z)v_\beta .$$
(17)
More general tranformations are obtained by taking tensor products of the tangent or co-tangent bundles. However, for our applications this is not sufficient. The reason is, that the $`U(1)`$ charges of such representations are completely fixed in terms of the charge of the scalars $`z^\alpha `$: a contravariant holomorphic tensor $`t^{\alpha _1\mathrm{}\alpha _p}`$ of rank $`p`$ carries a relative charge $`p`$, whereas a covariant holomorphic tensor $`s_{\alpha _1\mathrm{}\alpha _k}`$ of rank $`k`$ carries a relative $`U(1)`$ charge $`k`$. But in actual models, if one requires anomaly cancellations with a phenomenologically interesting set of matter superfields, one usually needs a different assignment of $`U(1)`$ charges. Therefore the spectrum of representations must be extended with bundels which differ from tensor bundles by the assignment of $`U(1)`$ charges. This is achieved for instance by the introduction of complex line bundles .

A line bundle is the target space of a single-component complex scalar field over the manifold. We consider line bundles carrying non-trivial representations of the isometry group; these can be defined locally on the Kähler manifold as complex scalar matter fields $`S(x)`$ coupled to the $`\sigma `$-model, with the infinitesimal transformation law given by

$$\delta _iS=F_i(z)S.$$
(18)
In the context of supersymmetric field theories such a representation of the isometry group was introduced in , and subsequently considered in ; it is a representation because of the property (13). From the line-bundle $`S`$ one can obtain other line bundles with different $`U(1)`$ weights by taking powers:

$$AS^\lambda \delta _iA=\lambda F_i(z)A.$$
(19)
Furthermore, using the line bundle construction, one can modify the transformation rules of fields in tensor representations of the isometry group. For example, defining

$$T^{\alpha _1\mathrm{}\alpha _p}S^\lambda t^{\alpha _1\mathrm{}\alpha _p},$$
(20)
the new field $`T`$ obeys the transformation rule

$$\delta _iT^{\alpha _1\mathrm{}\alpha _p}=\underset{k=1}{\overset{p}{}}R_{i,\beta }^{\alpha _k}T^{\alpha _1..\beta ..\alpha _p}+\lambda F_iT^{\alpha _1\mathrm{}\alpha _p}.$$
(21)
In this way the $`U(1)`$ charges can be adjusted, be it subject to the charge quantization conditions mentioned above.

However with the introduction of the line-bundle we still have not exhausted all possibilities for consistent non-linear realizations of symmetries over Kähler manifolds. Some coset spaces allow factorization of the goldstone-boson transformations and the Kähler metric. Then one can define sub-bundles of the tangent-space bundles, and their line-bundle extensions as well. A general description of matter representations that can be associated with coset spaces can be found in refs. . Examples of this type of structures are presented below.

The bundles introduced here are characterized locally on the Kähler manifold by their transformation properties. An important question is, if these definitions can be extended globally over the manifold. This is always possible for tangent and co-tangent bundles. However, for line bundles (18), this requires in particular that the holomorphic transition functions introduced in (7) satisfy the cocycle condition

$$F_{(ij)}+F_{(jk)}+F_{(ki)}=\mathrm{\hspace{0.17em}2}\pi i.$$
(22)
Manifolds with this property are known as Kähler-Hodge manifolds ; their Kähler forms satisfy the condition

$$_{C_2}\omega (K)=\mathrm{\hspace{0.17em}2}\pi ,$$
(23)
for any closed two-cycle $`C_2`$.

The existence of the generalized line bundles (19) and (21) often requires the powers $`\lambda `$ to satisfy certain integrality conditions: there is a minimal line bundle which by eq. (22) is globally defined and single-valued, and all other line bundles carry integral charges w.r.t. the minimal line bundle. Thus it follows that the $`U(1)`$ charges of fields transforming as line bundles are quantized . These consistency requirements are discussed in detail in section 3 below.

## 3 Non-Linear Realization of $`𝑺𝑳\mathbf{(}𝑵\mathbf{+}𝑴\mathbf{,}\mathbf{)}`$

In this section we discuss the method developed by Bando, Kuramoto, Maskawa and Uehara (BKMU)  to obtaining non-linear transformations and Kähler potentials, but here we consider more general transformations of the complex coordinates and we discuss matter coupling in detail. The basis of our construction is to define a transformation rule for a complex $`M\times N`$-matrix $`z`$ under the action of an arbitrary element of special linear group $`SL(M+N;)`$. It will become clear below, why we restrict ourselves to the special linear group. As the special linear group contains all (classical) Lie groups as subgroups, this construction can be used to obtain Kähler potentials for kählerian coset spaces based on these groups. It explains why the transformation rules for the different coset spaces based on classical groups are much alike. Given a coset the group of isometries is fixed, but we can still use the full $`SL(M+N;)`$ transformations to determine the effect of coordinate redefinitions. In particular for a non-compact coset this allows us to interpolate between two seemingly different representations of its Kähler potential.

Let $`gSL(M+N;)`$ be an arbitrary element of the special linear group and $`g^1`$ its inverse, we write

$$g=\left(\begin{array}{cc}\alpha & \beta \\ \gamma & \delta \end{array}\right)\text{and}g^1=\left(\begin{array}{cc}\alpha ^{}& \beta ^{}\\ \gamma ^{}& \delta ^{}\end{array}\right),$$
(24)
where $`\alpha ,\beta ,\gamma `$ and $`\delta `$ are $`M\times M`$-, $`M\times N`$-, $`N\times M`$\- and $`N\times N`$-matrices respectively. The submatrices of the inverse $`g^1`$ are given by

$$\begin{array}{c}\begin{array}{c}\alpha ^{}=(\alpha \beta \delta ^1\gamma )^1,\delta ^{}=(\delta \gamma \alpha ^1\beta )^1,\end{array}\\ \begin{array}{c}\beta ^{}=(\alpha \beta \delta ^1\gamma )^1\beta \delta ^1=\alpha ^1\beta (\delta \gamma \alpha ^1\beta )^1,\\ \gamma ^{}=(\delta \gamma \alpha ^1\beta )^1\gamma \alpha ^1=\delta ^1\gamma (\alpha \beta \delta ^1\gamma )^1.\end{array}\end{array}$$
(25)
To obtain the infinitesimal transformations, one considers infinitesimal deviations from the unit element of $`SL(M+N;)`$

$$g=\left(\begin{array}{cc}\text{1}\text{1}+u& y\\ x& \text{1}\text{1}v\end{array}\right)\text{and}g^1=\left(\begin{array}{cc}\text{1}\text{1}u& y\\ x& \text{1}\text{1}+v\end{array}\right),$$
(26)
where $`u,v,x,y`$ are infinitesimal submatrices and the minus in front of the $`v`$ is useful later. However in the following we are primarily concerned with finite transformations. A non-linear relalization is found by defining the matrix $`\xi (z)`$ like the BKMU-parameter by

$$\xi (z)=\left(\begin{array}{cc}\text{1}\text{1}& 0\\ z& \text{1}\text{1}\end{array}\right)$$
(27)
and requiring that

$$\xi (z)\xi (^gz)=g\xi (z)\widehat{h}^1(z;g),\text{with}\widehat{h}=\left(\begin{array}{cc}(\widehat{h}_+)^1& \widehat{h}_0\\ 0& \widehat{h}_{}\end{array}\right).$$
(28)
We have written $`(\widehat{h}_+)^1`$ instead of $`\widehat{h}_+`$ in the matrix $`\widehat{h}`$ for later convenience, at this stage this is merely notation. We find that $`z`$ transforms as

$${}_{}{}^{g}z=\left(\gamma +\delta z\right)\left(\alpha +\beta z\right)^1=\left(\delta ^{}z\beta ^{}\right)^1\left(\gamma ^{}z\alpha ^{}\right).$$
(29)
under the action of $`g`$ and the matrix $`\widehat{h}`$ takes the form

$$\widehat{h}(z;g)=\left(\begin{array}{cc}(\widehat{h}_+)^1& \widehat{h}_0\\ 0& \widehat{h}_{}\end{array}\right)=\left(\begin{array}{cc}\alpha +\beta z& \beta \\ 0& (\delta ^{}z\beta ^{})^1\end{array}\right).$$
(30)
Notice that it follows from the transformation rule of $`z`$ that general linear transformations have the same effect as special linear transformations. Under the composition of two transformations $`g^{}`$ and $`g`$ we find using (28) that the non-linear transformation (29) respects this composition $`{}_{}{}^{g^{}}(^gz)=^{g^{}g}z`$ and furthermore we find that

$$\widehat{h}_{}(z;g^{}g)=\widehat{h}_{}(^gz;g^{})\widehat{h}_{}(z;g)\text{and}\widehat{h}_+(z;g^{}g)=\widehat{h}_+(z;g)\widehat{h}_+(^gz;g^{}).$$
(31)
In the following we employ two projector operators $`\eta _\pm `$ defined by

$$\eta _+=\left(\begin{array}{cc}\text{1}\text{1}& 0\\ 0& 0\end{array}\right)\text{and}\eta _{}=\left(\begin{array}{cc}0& 0\\ 0& \text{1}\text{1}\end{array}\right).$$
(32)
These definitions allow us to write $`(\widehat{h}_+)^1\widehat{h}\eta _+=\eta _+\widehat{h}\eta _+`$ and $`\widehat{h}_{}\eta _{}\widehat{h}=\eta _{}\widehat{h}\eta _{}`$, where the symbol $``$ denotes equality of the left-hand side as the unique non-vanishing submatrix of the right-hand side.

Now let $`𝔍SL(M+N;)`$ be a fixed matrix; its properties we develop along the way. We define the $`M\times M`$-matrix function of $`z,\overline{z}`$ by

$$\stackrel{~}{\chi }_𝔍^1(z,\overline{z})\eta _+\xi ^{}(\overline{z})𝔍\xi (z)\eta _+=A+Bz+\overline{z}C+\overline{z}Dz$$
(33)
and obtain the transformation property

$$\stackrel{~}{\chi }_𝔍^1(z,\overline{z})\stackrel{~}{\chi }_𝔍^1(^gz,^g\overline{z})=\widehat{h}_+^{}(\overline{z};g)\stackrel{~}{\chi }_{g^{}𝔍g}^1(z,\overline{z})\widehat{h}_+(z;g).$$
(34)
Define the subgroup $`SL_𝔍(M+N;)`$ consisting of elements $`gSL(M+N;)`$ that leave $`𝔍`$ invariant

$$g^{}𝔍g=𝔍\left(\begin{array}{cc}A& B\\ C& D\end{array}\right),𝔍^1\left(\begin{array}{cc}A^{}& B^{}\\ C^{}& D^{}\end{array}\right).$$
(35)
Hence if $`gSL_𝔍(M+N;)`$, the function

$$K_𝔍(z,\overline{z})=\mathrm{ln}det\stackrel{~}{\chi }_𝔍^1(z,\overline{z})$$
(36)
transforms as a Kähler potential

$$K_𝔍(z,\overline{z})K_𝔍(^gz,^g\overline{z})=K_𝔍(z,\overline{z})+F(z;g)+\overline{F}(\overline{z};g),$$
(37)
with

$$F(z;g)=\mathrm{ln}det\widehat{h}_+(z;g),\overline{F}(\overline{z};g)=\mathrm{ln}det\widehat{h}_+^{}(\overline{z};g^{}).$$
(38)
If we want to interpret $`K_𝔍`$ as a Kähler potential, $`K_𝔍`$ has to be a real function $`K_𝔍(z,\overline{z})=\left(K_𝔍(z,\overline{z})\right)^{}.`$ This only happens iff $`𝔍`$ is Hermitean $`𝔍^{}=𝔍.`$ The composition rule for $`F`$ follows directly from eq. (31)

$$F(z;g^{}g)=F(z;g)+F(^gz;g^{}).$$
(39)
We define a real finite Killing pre-potential $`(\overline{z},z;g^{})`$ by

$$2i(\overline{z},z;g^{})=K(z,^g^{}\overline{z})K(^g^{}z,\overline{z})+F(z;g^{})\overline{F}(\overline{z};g^{}).$$
(40)
It is a function of the group element $`g^{}`$, of which the infinitesimal (linearized) form reproduces the standard Killing potentials (14). Using the transformation property of the Kähler potential (37) together with the composition property (39) of $`F`$, it follows that $`(\overline{z},z;g^{})`$ transforms in the adjoint representation

$$(^gz,^g\overline{z};g^{})=(z,\overline{z};g^1g^{}g).$$
(41)
Again, inserting a group element close to the identity, we obtain for the Killing potentials the infinitesimal transformation rule (14).

The metric associated with $`K_𝔍`$ can be written as

$$G_{\underset{¯}{\alpha }\alpha }d\overline{z}^{\underset{¯}{\alpha }}dz^\alpha =\text{tr}\left[\stackrel{~}{\chi }_𝔍^{}d\overline{z}\chi _𝔍^{}dz\right],$$
(42)
where we define $`\chi _𝔍^{}`$ in analogy of $`\stackrel{~}{\chi }_𝔍^{}`$ in (33)

$$\chi _𝔍^1(z,\overline{z})\eta _{}\left(\xi ^{}(\overline{z})𝔍\xi (z)\right)^1\eta _{}=D^{}C^{}\overline{z}zB^{}+zA^{}\overline{z}.$$
(43)
This can be shown either by a direct calculation of the metric in the standard way as the second mixed derivative or by first proving this for a block-diagonal $`𝔍`$ and showing that the diagonalization procedure has no effect on the metric (42). This is easy as under the action of $`gSL_𝔍(M,N)`$ the differential $`dz`$ transforms as

$$dz^g(dz)=\widehat{h}_{}(z;g)dz\widehat{h}_+(z;g)=(\delta ^{}z\beta ^{})^1dz(\alpha +\beta z)^1,$$
(44)
and $`\stackrel{~}{\chi }_𝔍^{},\chi _𝔍^{}`$ transform as eq. (34) and as

$$\chi _𝔍^1(z,\overline{z})\chi _𝔍^1(^gz,^g\overline{z})=\widehat{h}_{}(z;g)\chi _𝔍^1(z,\overline{z})\widehat{h}_{}^{}(\overline{z};g).$$
(45)
Hence it follows that (42) is invariant.

Until this point the matrix $`𝔍`$ used in the definitions (33) and (43) of $`\stackrel{~}{\chi }_𝔍^{}`$ and $`\chi _𝔍^{}`$ can be any Hermitean matrix of $`SL(M+N;)`$. However if we want to use the invariants (58) as Kähler potentials for supersymmetric model building, the resulting kinetic terms have to be positive definite. By going to the unitary gauge ($`\overline{z}=z^T=0`$), we infer that both $`A`$ and $`D^{}`$ have to be sign definite. (Of course an overall sign can be compensated by an appropriate minus sign.) On the other hand using a unitary transformation, we can diagonalize $`𝔍`$ with real eigenvalues $`\lambda _i`$. If this is followed by an appropriate scale transformation of the coordinates and possibly some relabeling, we bring the matrix $`𝔍`$ into the canonical form

$$𝔍=\left(\begin{array}{cc}\text{1}\text{1}& 0\\ 0& \eta \text{1}\text{1}\end{array}\right),\eta =\pm 1.$$
(46)
This shows that we can restrict $`SL_𝔍(M+N;)`$ to $`SU_\eta (M,N)`$ when we want to study the isometries of the metrics $`\stackrel{~}{\chi }_𝔍`$, $`\chi _𝔍`$ or the Kähler potential $`K_𝔍`$. Here $`\eta =+1`$ refers to the compact special unitary group $`SU(M+N)`$, while $`\eta =1`$ refers to the non-compact version. We assume from now on that we have chosen this canonical form of $`𝔍`$ and consider $`SU_\eta (M,N)`$ only. Notice that by putting further restrictions on the group elements $`g`$ we can reduce the isometry group to a subgroup of $`SU(M,N)`$, such as $`SO(2N)`$ or $`USp(N)`$. The form of the metrics and Kähler potential does not change under this; they always take the form

$$\begin{array}{c}\stackrel{~}{\chi }_\eta (z,\overline{z})=\left(\text{1}\text{1}+\eta \overline{z}z\right)^1,\chi _\eta (z,\overline{z})=\left(\text{1}\text{1}+\eta z\overline{z}\right)^1,\\ K_\eta (z,\overline{z})=\eta \mathrm{ln}det\stackrel{~}{\chi }_\eta ^1=\eta \mathrm{ln}det\chi _\eta ^1\end{array}$$
(47)
in the canonical basis. However this leads to restrictions on the coordinates $`z`$ as we see later: that is the coordinates $`z`$ parameterize a submanifold of $`SU_\eta (M,N)/S[U(M)\times U(N)]`$. Even though the $`SL(M+N;)`$ group is not the isometry group, it is still worthwhile to know its action on the fields, as it can be used to describe field redefinitions.

We give an example of this now. In the previous analysis we used that we can set $`B`$ and $`C`$ in the matrix $`𝔍`$ to zero by a unitary transformation. Sometimes we can also do the opposite: set $`A`$ and $`D`$ to zero. To analyze the situation we start with $`𝔍`$ in the canonical form and perform an arbitrary transformation $`g`$ of $`SL(M+N;)`$ on it

$$g^{}\left(\begin{array}{cc}\text{1}\text{1}& 0\\ 0& \eta \text{1}\text{1}\end{array}\right)g=\left(\begin{array}{cc}\overline{\alpha }\alpha +\eta \overline{\gamma }\gamma & \overline{\alpha }\beta +\eta \overline{\gamma }\delta \\ \overline{\beta }\alpha +\eta \overline{\delta }\gamma & \overline{\beta }\beta +\eta \overline{\delta }\delta \end{array}\right).$$
(48)
So to remove the $`A`$ and $`D`$ entries of this matrix we need to have that

$$\overline{\alpha }\alpha +\eta \overline{\gamma }\gamma =0\text{and}\overline{\beta }\beta +\eta \overline{\delta }\delta =0.$$
(49)
Notice that there is no solution $`gSL(M+N;)`$ of these equations when $`\eta =1`$. On the other hand in the case $`\eta =1`$ with $`M=N`$ we can use

$$g=\frac{i}{\sqrt{2}}\left(\begin{array}{cc}\text{1}\text{1}& \text{1}\text{1}\\ \text{1}\text{1}& \text{1}\text{1}\end{array}\right)$$
(50)
to bring $`𝔍`$ into the form

$$𝔍=\left(\begin{array}{cc}0& \text{1}\text{1}\\ \text{1}\text{1}& 0\end{array}\right).$$
(51)
Using this matrix $`𝔍`$ we obtain a Kähler potential

$$K_{nosc}=\mathrm{ln}det(z+\overline{z})$$
(52)
of the no-scale type . The low energy effective actions for the moduli sectors of string theory often take this form, see for example .

Matter coupling is the next topic we discuss. As we want to interpret $`SU_\eta (M,N)`$ as the symmetry group of the models we construct, this implies that all matter representations should be well defined representations of $`SU_\eta (M,N)`$. To obtain a section of the tangent bundle, we define the transformation of the tangent space vector $`T`$ in analogy of (44) by

$${}_{}{}^{g}T=\widehat{h}_{}(z;g)T\widehat{h}_+(z;g)=(\delta ^{}z\beta ^{})^1T(\alpha +\beta z)^1.$$
(53)
A section $`C`$ of the cotangent bundle transforms as

$${}_{}{}^{g}C=\left(\widehat{h}_+(z;g)\right)^1C\left(\widehat{h}_{}(z;g)\right)^1=(\alpha +\beta z)C(\delta ^{}z\beta ^{}).$$
(54)
When we take $`gSU_\eta (M,N)`$, we obtain the following invariants for the sections of the tangent and cotangent bundles

$$\text{tr}\left[\stackrel{~}{\chi }_𝔍^{}\overline{T}\chi _𝔍^{}T\right]\text{and}\text{tr}\left[(\chi _𝔍^{})^1\overline{C}(\stackrel{~}{\chi }_𝔍^{})^1C\right].$$
(55)
Next we construct subbundles of the tangent bundle. To do this we notice that the transformation rule (44) for the differential $`dz`$ factorizes . Using this we define the sections $`L`$ and $`R`$ by the transformation rules

$${}_{}{}^{g}L=\widehat{h}_{}(z;g)L=(\delta ^{}z\beta ^{})^1L\text{and}^gR=R\widehat{h}_+(z;g)=R(\alpha +\beta z)^1.$$
(56)
To show that these transformations do indeed define consistent bundles we proceed as follows. All manifolds we consider here are submanifolds of Grassmannian coset-space $`SU_\eta (M,N)/S[U(M)\times U(N)]`$. As this is a homogeneous space we can reach any point on it by a transformation using a group element $`gSU_\eta (M,N)`$. Therefore we can describe all coordinate transformations as actions of elements of $`SU_\eta (M,N)`$, and the holomorphic transition functions on overlapping complex co-ordinate charts for the bundle of which $`L`$ is a section are given by elements $`\widehat{h}_{}(z;g)`$. The global consistency conditions for this bundle, mentioned in sect. (2), then take the form

$$\begin{array}{c}\widehat{h}_{}(z;e)=\text{1}\text{1},\widehat{h}_{}(^gz;g^1)=\widehat{h}_{}(z;g)^1\\ \widehat{h}_{}(^{g_2g_1}z;g_3)\widehat{h}_{}(^{g_1}z;g_2)\widehat{h}_{}(z;g_1)=\text{1}\text{1},\end{array}$$
(57)
when $`g_1g_2g_3=e`$, being $`e`$ the $`SU_\eta (M,N)`$ identity. The composition property (31) of two group elements show that these conditions are satisfied. Using the metric of the tangent bundle (42), which factorizes as well, we obtain the following $`SU_\eta (M,N)`$-invariants

$$\overline{L}\chi _𝔍^{}L\text{and}R\stackrel{~}{\chi }_𝔍^{}\overline{R}.$$
(58)
We will discuss tensor products of these types of matter representations extensively when we consider matter coupling to $`SO(2N)/U(N)`$.

Until this point our discussion was general, in the sense that we only demanded that we construct isometries of the metrics $`\stackrel{~}{\chi }_𝔍^{}`$ and $`\chi _𝔍^{}`$ without any reference to a particular coset space. We saw that we only obtain isometries of these metrics if we restrict the transformations to be unitary $`gSU_\eta (M,N)`$. It is now easy to describe non-linear realizations of (classic) groups, that are subgroups of $`SU_\eta (M,N)`$. For this we only have to describe what the group and algebra of the groups look when embedded in the unitary group $`SU_\eta (M,N)`$. We have summarized our results in table 1. We describe the ingredients of this table which are partly taken from ref. . A complete classification of Kähler cosets can be found in ref. . A discussion on $`SO(2N)/U(N)`$, $`Sp(2N)/U(N)`$ cosets can also be found in refs. .

The classic groups are either real or complex groups that satisfy certain Hermitean conjugation and transposition properties

$$g^{}𝔍g=𝔍\text{and}g^T𝔎g=𝔎$$
(59)
where $`𝔍`$ and $`𝔎`$ are fixed matrices. We discriminate between the unitary ($`SU`$), orthogonal ($`SO`$), symplectic ($`Sp`$) and unitary symplectic ($`USp`$) groups. Furthermore, with $`\eta =\pm 1`$ we make a distinction between compact ($`\eta =1`$) and non-compact ($`\eta =1`$) groups. We require the maximal subgroups H of these groups to have a compact $`U(1)`$-factor. For example, we do not consider the non-compact $`SO(N,N)`$ here, as the non-compact abelian $`SO(1,1)`$ subgroup corresponds to Lorentz transformations that are not bounded. A compact $`U(1)`$-factor is needed to ensure that the resulting coset-space is Kähler; because of its importance we give the $`U(1)`$ embedding explicitly. For the real groups $`SO(2N)`$ and $`Sp(2N)`$ the $`U(1)`$ is not realized in a diagonal way. By making a similarity transformation

$$g_D=VgV^{},g=V^{}g_DV\text{and}V=\frac{1}{\sqrt{2}}\left(\begin{array}{cc}\text{1}\text{1}& i\\ i& \text{1}\text{1}\end{array}\right),$$
(60)
using the unitary matrix $`V`$, the $`U(1)`$ is turned into a diagonal form. Here the subscript $`D`$ is used to indicate that $`g_D`$, for example, is considered in the basis where the $`U(1)`$ is diagonal. As $`V`$ is unitary, $`g_D`$ has the same unitary properties as $`g`$. However the transposition properties may change

$$g_D^T𝔎_Dg_D=𝔎_D=\left(V^{}\right)^T𝔎V^{}.$$
(61)
For this it is crucial that we have embedded the real groups $`Sp(2N)`$ and $`SO(2N)`$ in the special unitary group $`SU(N,N)`$ and $`SU(2N)`$ respectively; else the multiplication with $`i`$ has no meaning. In the remainder we work in the basis where the $`U(1)`$-factor is diagonal. We can now represent any element of any of these groups as a unitary matrix $`g_D=e^{a_D},`$ that is obtained by exponentiating an anti-Hermitean algebra element $`a_D`$. The group definition properties (59) can be written down for the algebra elements $`a_D`$ as well

$$a_D^{}=𝔍a_D𝔍^1\text{and}a_D^T=𝔎_Da_D𝔎_D^1.$$
(62)
Using these properties it is possible to give a unique representation of the algebra elements $`a_D`$. For the different groups we give this representation in the row of $`g_D`$ in table 1. Notice that algebra elements of $`Sp(2N)`$ and $`USp(N,N)`$ have the same representation in the basis where the $`U(1)`$ is diagonal; therefore their corresponding cosets are isomorphic. From this representation of the algebra, it is easy to see what the restrictions are on the coset coordinates $`z`$ for the different coordinates. For the non-compact coset, the coordinates in addition satisfy $`\text{tr}(z\overline{z})<1`$ for the Kähler potential and metrics in (47) to be well defined. Notice that for the $`USp,Sp`$ and $`SO`$ cosets the submetrics $`\stackrel{~}{\chi }_\eta ^{},\chi _\eta ^{}`$ are each others transposed $`\stackrel{~}{\chi }_\eta ^{}=\chi _\eta ^T.`$

We now turn to the construction of the minimal complex line bundles. In this discussion we have to make a distinction between the different coset spaces as becomes clear below. Our discussion here is complementary to ref.  where general results have been presented, which we apply here to the particular cosets discussed in this section.

A section $`S`$ of a complex line bundle can be defined to transform as

$${}_{}{}^{g}S=det\widehat{h}_+(z;g)S=det\widehat{h}_{}(z;g)S.$$
(63)
Here we have used that $`det\widehat{h}_+=det\widehat{h}_{}`$, which follows from (28) since $`gSU_\eta (M,N)`$. The consistency of this complex line bundle follows directly from (57) and the properties of the determinant. To show that we have obtained the minimal line bundle in the compact situation, we have to show that the integral over the corresponding Kähler form

$$_{C_2}\omega (K)=2\pi n,\text{with}n=\pm 1,$$
(64)
when integrated over a generating two-cycle $`C_2`$.

We first turn to a Grassmannian coset $`SU(M+N)/S[U(M)\times U(N)]`$. Let $`v`$ be the complex coordinate of the stereographic projection of the complex projective line $`P^1`$. We define a generating two-cycle by the embedding of $`P^1`$ in the coset by taking all the coordinates $`z^{ij}`$ zero except for one which is equal to $`v`$. Now since the Kähler potential restricted to this embedding to $`P^1`$ is given by $`K(z,\overline{z})|_{P^1}=\mathrm{ln}(1+\overline{v}v)=K_{P^1}(v,\overline{v}),`$ which is the Kähler potential of $`P^1`$ that satisfies $`_{P^1}\omega (K_{P^1})=2\pi `$, it follows that we have obtained a minimal line bundle. Next we discuss the compact $`USp(2N)/U(N)`$ and $`SO(2N)/U(N)`$ coset spaces. The coordinates of these spaces satisfy $`z^T=z`$ resp. $`z^T=z`$, see table 1. Therefore it is not possible to set all coordinates to zero except for one, except when one takes this symmetrization into account: $`z=\pm z^T=v.`$ Hence we find in these cases that $`K(z,\overline{z})|_{P^1}=2\mathrm{ln}(1+\overline{v}v)=2K_{P^1}(v,\overline{v}),`$ so that $`n=2`$ in eq. (64). This implies that the section $`S`$ is the square of the minimal line bundle. Since the Kähler potential of a coset is unique up to a normalization factor, it follows that a section of a minimal line bundle over $`USp(2N)/U(N)`$ or $`SO(2N)/U(N)`$ is given by

$${}_{}{}^{g}S=\left(det\widehat{h}_+(z;g)\right)^{\frac{1}{2}}S=\left(det\widehat{h}_{}(z;g)\right)^{\frac{1}{2}}S.$$
(65)
The only possible ambiguity for a global definition resides in the square root, it can be removed by using the BKMU-construction with the representation with highest weight that has all its Dynkin label zero except for the $`N`$th one .

We now determine the relative charges of the coordinates $`z`$, the matter fields $`L`$ and $`R`$, and the sections of the minimal line bundles, using the $`U(1)`$ embedding presented in table 1. We first discuss the Grassmannian cosets and after that the cosets $`USp(2N)/U(N)`$ and $`SO(2N)/U(N)`$. The $`U(1)`$-factor in $`SU_\eta (M,N)`$, that is not in $`SU(M)\times SU(N)`$, can be given by

$$u_\theta =\left(\begin{array}{cc}e^{iN\theta /P}\text{1}\text{1}& 0\\ 0& e^{iM\theta /P}\text{1}\text{1}\end{array}\right),$$
(66)
where $`P=\text{gcd}(M,N)`$ is the greatest-common-divisor of $`M`$ and $`N`$. The smallest period of this $`U(1)`$ is $`\theta =2\pi `$, since the integers $`N/P`$ and $`M/P`$ are relatively prime by construction. It follows that the coordinates $`z`$ have charge $`(M+N)/P`$ in this normalization. For the matter couplings $`L`$ and $`R`$ we find the charges $`N/P`$ resp. $`M/P`$. The section of the minimal line bundle has a charge $`MN/P`$. For the cosets $`USp(2N)/U(N)`$ and $`SO(2N)/U(N)`$ we always obtain integer charges when we choose a slightly different normalization for $`u_\theta `$ given by

$$u_\theta =\left(\begin{array}{cc}e^{i2\theta }\text{1}\text{1}& 0\\ 0& e^{i2\theta }\text{1}\text{1}\end{array}\right).$$
(67)
In this case $`L`$ and $`R`$ have the same charge $`2`$ and the section of the minimal line bundle has charge $`N`$, while the charge of the coordinates is $`4`$.

## 4 $`𝑺𝑶\mathbf{(}\mathrm{𝟐}𝑵\mathbf{)}\mathbf{/}𝑼\mathbf{(}𝑵\mathbf{)}`$ coset models

We discuss supersymmetric models build using the Kähler geometry of the coset space $`SO(2N)/U(N)`$. For this we first discuss the decomposition of the $`SO(2N)`$ algebra into $`U(N)`$ representations and the vector representation of $`SO(2N)`$. We discuss the construction of the Kähler potential using the the general BKMU method and related that to our discussion on special linear transformations of section 3. Next we discuss matter representations that can be coupled the supersymmetric $`\sigma `$-model of the coset in a consistent way, heavily relying on the non-linear transformation discussed in section 3. For applications to a chiral spinor representation of $`SO(2N)`$ later in this article we confine ourselves to the construction of completely anti-symmetric tensor representations with an arbitrary rescaling charge. We discuss their transformation properties and their invariant Kähler potentials that can be used in supersymmetric model building. Some relevant results and conventions have been collected in the appendices.

### 4.1 $`𝑺𝑶\mathbf{(}\mathrm{𝟐}𝑵\mathbf{)}`$ Algebra in a $`𝑼\mathbf{(}𝑵\mathbf{)}`$ basis

In this section we discuss how the algebra of $`SO(2N)`$ can be decomposed into $`SU(N)\times U(1)`$ representations. We split the $`SO(2N)`$ generators $`M_{ab}`$ into $`SU(N)`$ generators $`T_j^i`$, a $`U(1)`$-factor generator Y and broken generators $`X^{ij},\overline{X}_{ij}`$ which are anti-symmetric tensors of $`SU(N)`$. We first discuss the embedding of $`U(N)`$ in $`SO(2N)`$, then we discuss the vector representation; the spinor representation is discussed in appendix A.

The $`2N(2N1)/2`$ anti-Hermitean generators $`M_{ab}=M_{ba}`$ of $`SO(2N)`$ satisfy the commutation relations

$$[M_{ab},M_{cd}]=\delta _{ac}M_{db}\delta _{bd}M_{ac}\delta _{ad}M_{cb}+\delta _{bc}M_{ad}.$$
(68)
We denote the $`N^2`$ generators of $`U(N)`$ by $`U_j^i`$ $`(i,j=1,\mathrm{},N)`$. The remaining $`N(2N1)N^2=N(N1)`$ generators form two anti-symmetric tensor representations of $`U(N)`$: $`X^{ij}`$ and $`\overline{X}_{ij}`$, each of dimension $`N(N1)/2`$. The $`U(N)`$ generators satisfy the algebra

$$[U_j^i,U_l^k]=\delta _l^iU_j^k\delta _j^kU_l^i.$$
(69)
We decompose the $`SO(2N)`$ algebra w.r.t. $`U(N)`$ by writing the $`SO(2N)`$ generators $`M_{ab}`$ using indices $`i,j=1,\mathrm{},N`$ as

$$\begin{array}{ccc}M_{ij}\hfill & =& \frac{1}{2}(X^{ij}\overline{X}_{ij}U_j^i+U_i^j),\\ M_{ij+N}\hfill & =& \frac{i}{2}(X^{ij}\overline{X}_{ij}U_j^iU_i^j),\\ M_{i+Nj+N}\hfill & =& \frac{1}{2}(X^{ij}+\overline{X}_{ij}U_j^i+U_i^j).\end{array}$$
(73)
Inversely we can express $`U_j^i,X^{ij}`$ and $`\overline{X}_{ij}`$ as $`U_j^i=A_j^i+iS_j^i`$ with

$$A_j^i=\frac{1}{2}\left(M_{ij}+M_{i+Nj+N}\right),S_j^i=\frac{1}{2}\left(M_{ij+N}+M_{ji+N}\right)$$
(74)
and $`X^{ij}=iQ^{ij}P^{ij}`$ and $`\overline{X}_{ij}=iQ^{ij}P^{ij}`$ with

$$P_j^i=\frac{1}{2}\left(M_{ij}M_{i+Nj+N}\right),Q_j^i=\frac{1}{2}\left(M_{ij+N}M_{ji+N}\right).$$
(75)
The U(1)-factor generator Y in $`U(N)`$ is defined as minus twice the trace of the $`U(N)`$ generators

$$Y=2\underset{i}{\overset{N}{}}U_i^i=i2S_i^i=2iM_{ii+N}$$
(76)
and the remaining SU(N) generators $`T_j^i`$ are define as the traceless part of $`U_j^i`$

$$T_j^i=U_j^i+\frac{1}{2N}Y\delta _j^i.$$
(77)
Using the $`U(N)`$ generators $`U_j^i`$ and the broken generators $`X^{ij}`$ and $`\overline{X}_{ij}`$ the $`SO(2N)`$ algebra (68) takes the form

$$\begin{array}{c}\begin{array}{cc}[U_j^i,U_l^k]=\delta _l^iU_j^k\delta _j^kU_l^i,& [X^{ij},X^{kl}]=[\overline{X}_{ij},\overline{X}_{kl}]=0,\end{array}\\ \\ [\overline{X}_{ij},X^{kl}]=\delta _i^kU_j^l\delta _j^lU_i^k+\delta _i^lU_j^k+\delta _j^kU_i^l,\\ \\ [U_j^i,\overline{X}_{kl}]=\delta _k^i\overline{X}_{jl}\delta _l^i\overline{X}_{jk},\\ \\ [U_j^i,X^{kl}]=\delta _j^lX^{ik}\delta _j^kX^{il}.\end{array}$$
(78)
The closure of the algebra can be checked explicitly by computing the Jacobi identities. The $`SO(2N)`$ generators in this basis carry the following $`U(1)`$-charges:

$$U(1)\text{-charges of }(Y,T_j^i,X^{ij},\overline{X}_{ij})=(0,0,\mathrm{\hspace{0.17em}4},4).$$
(79)
Here we have chosen the $`U(1)`$-charges such that they match the convention of Slansky .

### 4.2 The vector representation of $`\mathrm{𝐒𝐎}(\mathrm{𝟐}𝐍)`$

In the vector representation of $`SO(2N)`$, the generators $`M_{ab}`$ take the form: $`(M_{ab})_{cd}=\delta _{ac}\delta _{bd}\delta _{bc}\delta _{ad}`$, therefore an element of the $`SO(2N)`$-algebra reads

$$\mathrm{\Theta }=(a^{ij}A_{ij}s^{ij}S_{ij})+(q^{ij}Q_{ij}p^{ij}P_{ij})\left(\begin{array}{cc}a& s\\ s& a\end{array}\right)+\left(\begin{array}{cc}p& q\\ q& p\end{array}\right),$$
(80)
where $`a`$, $`p`$, $`q`$ are $`N\times N`$ real anti-symmetric matrices and $`s`$ is a real symmetric $`N\times N`$ matrix; these matrices define the parameters of the $`SO(2N)`$-algebra elements. Here we have used the definitions of the algebra elements $`A,S,P`$ and $`Q`$ given in eqs. (74) and (75). The U(1)-factor generator Y (76) in the vector representation takes the form

$$Y=2i\left(\begin{array}{cc}0& \text{1}\text{1}\\ \text{1}\text{1}& 0\end{array}\right).$$
(81)
Notice that the $`U(1)`$ generator $`Y`$ is off-diagonal. However it is more convenient to use a basis in which $`Y`$ is diagonal. Using a unitary transformation we can diagonalize $`Y`$:

$$Y_DVYV^{}=2\left(\begin{array}{cc}\text{1}\text{1}& 0\\ 0& \text{1}\text{1}\end{array}\right)\text{with}V=\frac{1}{\sqrt{2}}\left(\begin{array}{cc}\text{1}\text{1}& i\text{1}\text{1}\\ i\text{1}\text{1}& \text{1}\text{1}\end{array}\right).$$
(82)
We use the subscript notation $`D`$ on any $`2N\times 2N`$-matrix $`A`$ to indicate that $`A`$ is evaluated in the basis where $`Y`$ is diagonal. The effect of this similarity transformation on an element $`\mathrm{\Theta }`$ of the $`SO(2N)`$ Lie algebra (80) is given by

$$\mathrm{\Theta }_D=VMV^{}=\left(\begin{array}{cc}ais& qip\\ q+ip& a+is\end{array}\right)=\left(\begin{array}{cc}u& x^{}\\ x& u^T\end{array}\right),$$
(83)
where $`u=u^{}=ais`$, $`u^T=a+is`$, $`x=q+ip`$ and $`x^{}=q+ip`$. This is coincides with the $`SO(2N)/U(N)`$ entry in table 1. Notice that in the basis where $`Y`$ is diagonal, the defining property $`g^1=g^T`$ of $`SO(2N)`$ becomes

$$g_D^1=𝔎g_D^T𝔎\text{with}𝔎\left(\begin{array}{cc}0& \text{1}\text{1}\\ \text{1}\text{1}& 0\end{array}\right).$$
(84)
Writing $`g_D`$ in terms of the submatrices $`\alpha ,\beta ,\gamma `$ and $`\delta `$ as introduced in eq. (24) this group property can be stated as

$$\left(\begin{array}{cc}\alpha ^{}& \beta ^{}\\ \gamma ^{}& \delta ^{}\end{array}\right)=\left(\begin{array}{cc}\delta ^T& \beta ^T\\ \gamma ^T& \alpha ^T\end{array}\right),$$
(85)
using the notation (26) for the inverse of $`g_D`$. From now on we will only work in the basis where the $`U(1)`$-charge $`Y`$ is diagonal, dropping the subscripts $`D`$.

### 4.3 Kähler and Killing Potentials

We now construct the Kähler potential for the coset spaces $`SO(2N)/U(N)`$ using the BKMU-method . We apply their method to the $`2N`$ dimensional vector representation of $`SO(2N)`$. The BKMU-projection $`\eta _+`$ projects (32) on the part of this vector representation with positive $`Y`$-charge, which is an $`N`$ dimensional vector representation of $`SU(N)`$. The coset spaces $`SO(2N)/U(N)`$ and $`SO^{}(2N)/\widehat{U}(N)`$, with $`SO^{}(2N)`$, the complexification of $`SO(2N)`$, are isomorphic because $`\widehat{U}(N)`$ is defined as the group generated by all generators of $`U(N)`$ together with the broken generators $`X^{ij}`$ over the complex numbers. The representative $`\xi (z)SO^{}(2N)/\widehat{U}(N)SO(2N)/U(N)`$ of the equivalence class $`\xi (z)\widehat{U}(N)`$ is given in terms of the $`\frac{1}{2}N(N1)`$ coordinates $`z^{ij}`$ of $`SO(2N)/U(N)`$ by

$$\xi (z)=\mathrm{exp}Z=\left(\begin{array}{cc}\text{1}\text{1}& 0\\ z& \text{1}\text{1}\end{array}\right),Z=\frac{i}{2}z^{ij}\overline{X}_{ij}.$$
(86)
On the r.h.s. of the equation for $`\xi (z)`$ we used the vector representation in the diagonal $`U(1)`$-charge Y basis, where $`Z`$ is nilpotent $`Z^2=0`$. The normalization factor $`\frac{i}{2}`$ in the definition of $`Z`$ is chosen such that we get the simple matrix expression for $`\xi (z)`$ expressed in terms of $`z`$ which coincides with (27). Notice the distinction between $`z`$ and $`Z`$: $`Z`$ is the linear combination of negatively charged broken generators $`\overline{X}_{ij}`$ contracted with the complex coordinates $`z^{ij}`$ of the coset space. Therefore $`Z`$ is represented by a $`2N\times 2N`$ matrix, while $`z`$ is an $`N\times N`$ matrix. Using the projection operator $`\eta _{}`$ defined in eq. (32) and $`\xi (z)`$ the Kähler potential is given by (47) and (43)

$$K(z,\overline{z})=\mathrm{ln}det{}_{\eta _{}}{}^{}[\xi (z)\xi ^{}(\overline{z})]=\mathrm{ln}det\chi ^1,\chi ^1=\text{1}\text{1}+z\overline{z}.$$
(87)
Here the $`det_\eta _{}`$ denotes that the determinant is defined on the subspace on which the projection $`\eta _{}`$ acts as the identity. Notice that the submetric $`\stackrel{~}{\chi }`$ defined in (33) is the transposed $`\stackrel{~}{\chi }=\chi ^T`$ of $`\chi `$ because of the anti-symmetry of $`z`$.

We next determine the non-linear transformations of the anti-symmetric coordinates $`z^{ij}`$ under the finite $`gSO(2N)`$ transformation. From eq. (29) we know directly that

$${}_{}{}^{g}z=(\gamma +\delta z)(\alpha +\beta z)^1.$$
(88)
The submetric $`\chi `$ transforms under these finite $`SO(2N)`$-transformations as

$$\chi (^gz,^g\overline{z})=(\widehat{h}_{}^{})^1\chi (z,\overline{z})(\widehat{h}_{})^1,\widehat{h}_{}(z;g)=(\delta ^{}z\beta ^{})^1,$$
(89)
using eq. (30). Notice that according to eq. (85) $`\widehat{h}_+(z;g)=\widehat{h}_{}^T(z;g)`$ is the transposed of $`\widehat{h}_{}`$ , therefore we only use $`\widehat{h}_{}`$ in the following. The Kähler potential (87) transforms as follows

$$K(^gz,^g\overline{z})=K(z,\overline{z})+F(z;g)+\overline{F}(\overline{z};g),$$
(90)
where the holomorphic function $`F(z;g)`$ is given by

$$F(z;g)=\mathrm{ln}det\widehat{h}_{}(z;g)$$
(91)
The complex Hermitean metric of the coset is obtained from the Kähler potential (87) in the standard way as the second mixed derivative

$$G_\sigma (dz,d\overline{z})=\text{tr}\left(dz\chi ^Td\overline{z}\chi \right)=\text{tr}\left(dz\left(\text{1}\text{1}+\overline{z}z\right)^1d\overline{z}(\text{1}\text{1}+z\overline{z})^1\right).$$
(92)
We next discuss the Killing potentials $`M_\sigma `$ for the Goldstone scalar fields $`z`$ and $`\overline{z}`$. The Killing potential $`M_\sigma `$, defined by eq. (14), can be written for the coset $`SO(2N)/U(N)`$ as

$$M_\sigma (u,x,\overline{x})=\text{Tr}(\mathrm{\Theta }\stackrel{~}{M}_\sigma )=\text{tr}(uM_{\sigma u}+xM_{\sigma x^{}}+x^{}M_{\sigma x}),$$
(93)
where the trace Tr is over $`2N\times 2N`$ matrices, while the trace tr is over $`N\times N`$ matrices. We have used a notation similar to eq. (83)

$$\mathrm{\Theta }=\left(\begin{array}{cc}u& x^{}\\ x& u^T\end{array}\right)\text{and}\stackrel{~}{M}_\sigma =\left(\begin{array}{cc}\stackrel{~}{M}_{\sigma u}& \stackrel{~}{M}_{\sigma x^{}}\\ \stackrel{~}{M}_{\sigma x}& \stackrel{~}{M}_{\sigma u^T}\end{array}\right),$$
(94)
so that $`M_{\sigma x}=\stackrel{~}{M}_{\sigma x},M_{\sigma x^{}}=\stackrel{~}{M}_{\sigma x^{}}`$ and $`M_{\sigma u}=\stackrel{~}{M}_{\sigma u}+\left(\stackrel{~}{M}_{\sigma u^T}\right)^T.`$ We now determine the Killing potentials explicitly. We will introduce some notation that might seem somewhat cumbersome at this stage, but which will be convenient when we discuss the Killing potentials due to additional matter coupling. Define the matrices $`R`$ and $`R_T`$ by

$$R(z;\mathrm{\Theta })=xu^Tzzu+zx^{}z,R_T(z;\mathrm{\Theta })=u^T+zx^{}.$$
(95)
Notice that $`\delta z=R(z;\mathrm{\Theta })`$ is a compact notation for the Killing vectors of the coset space, and $`\text{tr}R_T=F(z)`$, the holomorphic Kähler transformation. Computing the Killing potentials $`M_\sigma `$ in the standard way (14) gives

$$iM_\sigma (z,\overline{z};\mathrm{\Theta })=\text{tr}\mathrm{\Delta }(z,\overline{z};\mathrm{\Theta }),$$
(96)
where we have defined the matrix $`\mathrm{\Delta }`$ in analogy to the Killing potentials associated with the Grassmannian cosets  by

$$\mathrm{\Delta }(z,\overline{z};\mathrm{\Theta })R_TR\overline{z}\chi =(zu\overline{z}u^Tx\overline{z}+zx^{})\chi .$$
(97)
The matrix $`\mathrm{\Delta }`$ can also be written in terms of the BKMU-variable $`\xi (z)`$ and $`\mathrm{\Theta }`$ and the projector $`\stackrel{~}{\eta }_{}^T=\left(\begin{array}{cc}0& \text{1}\text{1}\end{array}\right)`$ as

$$\mathrm{\Delta }(z,\overline{z};\mathrm{\Theta })=\stackrel{~}{\eta }_{}^T\left(\xi (z)\right)^1\mathrm{\Theta }\left(\xi ^{}(\overline{z})\right)^1\stackrel{~}{\eta }_{}\chi .$$
(98)
Using that $`\left(\xi (z)\right)^1=\xi (z)`$, the Killing potential matrix $`\stackrel{~}{M}_\sigma `$ is given by

$$i\stackrel{~}{M}_\sigma =\xi ^{}(\overline{z})\stackrel{~}{\eta }_{}\chi \stackrel{~}{\eta }_{}^T\xi (z)=\left(\begin{array}{cc}\overline{z}\chi z& \overline{z}\chi \\ \chi z& \chi \end{array}\right).$$
(99)
From this we can read off the Killing potentials $`M_{\sigma x},M_{\sigma x^{}}`$ and $`M_{\sigma u}`$ to find

$$iM_{\sigma x}=\chi z,iM_{\sigma x^{}}=\overline{z}\chi ,iM_{\sigma u}=2\overline{z}\chi z+\text{1}\text{1}.$$
(100)
### 4.4 Matter coupling

In this section we discuss different types of matter couplings to the supersymmetric $`SO(2N)/U(N)`$ $`\sigma `$-model. As we only need the decomposition of the chiral spinor representation of $`SO(2N)`$ in completely anti-symmetric $`SU(N)`$ tensors in our construction of anomaly-free models later, we focus here primarily on these representations. We first introduce a matter representation $`x`$ which transforms in the same way as a differential. Under a finite transformation (88) the real superfield $`x`$ transforms as

$${}_{}{}^{g}x=\widehat{h}_{}(z;g)x\widehat{h}_{}^T(z;g),$$
(101)
using that $`\widehat{h}_+=\widehat{h}_{}^T`$. An invariant Kähler potential for $`x`$ is given by

$$K(x,\overline{x};z,\overline{z})=\text{tr}\left(x\chi ^T\overline{x}\chi \right).$$
(102)
Below we discuss non-linear $`SO(2N)`$ realizations on the irreducible completely anti-symmetric $`SU(N)`$-tensor representations with $`p`$ indices and arbitrary rescaling charge $`q`$. We denote these tensors by $`T_{(p;q)}^{i_1\mathrm{}i_p}`$, or without indices by $`T_{(p;q)}`$, when no confusion is possible. We interpret them as matter multiplets and construct their invariant Kähler potentials. To define their transformation properties we first consider a vector $`T^i=T_{(1;0)}^i`$ without a rescaling charge. It transforms as

$${}_{}{}^{g}T=\widehat{h}_{}(z;g)T,$$
(103)
under finite non-linear $`SO(2N)`$ transformations (88). An invariant Kähler potential for the vector $`T=T_{(1;0)}`$ is given by

$$K_{(1;0)}=\overline{T}\chi T=\overline{T}_i\chi _j^iT^j,$$
(104)
with the metric $`\chi `$ defined in eq. (87).

It is also possible to couple a singlet chiral multiplet $`S`$ to the coset, which can be interpreted as a section of the minimal line bundle. It transforms as (65)

$${}_{}{}^{g}S=e^{\frac{1}{2}F(z)}S=(det\widehat{h}_{}){}_{}{}^{\frac{1}{2}}S,$$
(105)
so that its Kähler potential

$$K_{(0;1)}=S\overline{S}e^{\frac{1}{2}K_\sigma }$$
(106)
is invariant. With this singlet $`S`$, we can rescale any given chiral multiplet, for example $`T_{(1;q)}^iS^qT_{(1;0)}^i`$ transforms as

$${}_{}{}^{g}T_{(1;q)}^{}=^g(S^qT_{(1;0)})=e^{\frac{q}{2}F(z)}\widehat{h}_{}T_{(1;q)}=(det\widehat{h}_{}){}_{}{}^{\frac{q}{2}}\widehat{h}_{}^{}T_{(1;q)}.$$
(107)
Since $`S`$ is a section of the minimal line bundle over the coset $`SO(2N)/U(N)`$ the rescaling charge $`q`$ is integer. The generalization of Kähler potential (104) is given by

$$K_{(1;q)}=\overline{T}_{(1;q)}\chi _{(1;q)}T_{(1;q)},$$
(108)
with the modified metric

$$\chi _{(1;q)}=e^{\frac{q}{2}K_\sigma }\chi =(det\chi )^{\frac{q}{2}}\chi .$$
(109)
Now we construct completely anti-symmetric tensor representations of higher rank. By taking the completely anti-symmetric tensor products of a set of $`SU(N)`$ vectors $`\{T_1^{i_1},\mathrm{},T_p^{i_p}\}`$ we obtain an $`SU(N)`$ tensor of rank $`p`$ with rescaling charge $`q`$

$$T_{(p;q)}^A=T_{(p;q)}^{i_1\mathrm{}i_p}\frac{1}{p!}S^qT_1^{[i_1}\mathrm{}T_p^{i_p]}.$$
(110)
Here we have introduced the multi-index notation $`A=(i_1\mathrm{}i_p)`$ and $`[\mathrm{}]`$ denotes the complete anti-symmetrization of the indices inside the brackets. In analogy to the transformations of $`T_{(1;0)}`$ and $`S`$ we obtain

$${}_{}{}^{g}T_{(p;q)}^{i_1\mathrm{}i_p}=(det\widehat{h}_{}){}_{}{}^{\frac{q}{2}}(\widehat{h}_{})_{j_1}^{i_1}\mathrm{}(\widehat{h}_{})_{j_p}^{i_p}T_{(p;q)}^{j_1\mathrm{}j_p}.$$
(111)
The Kähler potential for this tensor $`T_{(p;q)}`$ is the direct generalization  of the Kähler potentials for the vector (104) and singlet (106)

$$K_{(p;q)}=\overline{T}_{(p;q)B}G_{(p;q)A}^BT_{(p;q)}^A=\frac{1}{p!}\overline{T}_{(p;q)j_1\mathrm{}j_p}e^{\frac{q}{2}K_\sigma }\chi _{i_1}^{j_1}\mathrm{}\chi _{i_p}^{j_p}T_{(p;q)}^{i_1\mathrm{}i_p},$$
(112)
with the generalized metric

$$G_{(p;q)A}^B=\frac{1}{p!}(det\chi )^{\frac{q}{2}}\chi _{i_1}^{j_1}\mathrm{}\chi _{i_p}^{j_p}.$$
(113)
The $`SU(N)`$ Levi-Civita tensor $`ϵ_{i_1\mathrm{}i_N}`$ is invariant under $`SU(N)`$ transformations. We can use it to defined an $`SU(N)`$ dual tensor $`T_{(\overline{Np};q)i_{p+1}\mathrm{}i_N}`$ with $`Np`$ indices and rescaling charge $`q`$ by

$$T_{(\overline{Np};q)i_{p+1}\mathrm{}i_N}\frac{1}{p!}T_{(p;q)}^{i_p\mathrm{}i_1}ϵ_{i_1\mathrm{}i_N},$$
(114)
which transforms under the finite transformation (88) as

$${}_{}{}^{g}T_{(\overline{p};q)i_1\mathrm{}i_p}^{}=T_{(\overline{p};q)j_1\mathrm{}j_p}(\widehat{h}_{}^1)_{i_1}^{j_1}\mathrm{}(\widehat{h}_{}^1)_{i_p}^{j_p}(det\widehat{h}_{})^{1+\frac{q}{2}}.$$
(115)
Note, that as $`\sqrt{G}`$ is not holomorphic, we have prefered to absorb it in a redefinition of the metric, rather than in the definition of the dual. The power $`1+\frac{q}{2}`$ of the $`det\widehat{h}_{}`$ instead of $`\frac{q}{2}`$ arises because we have changed from $`\widehat{h}_{}`$ to its inverse at the expense of an additional factor of the determinant of $`\widehat{h}_{}`$. In our conventions tensors have superscript indices while dual tensors have subscript indices. Cleary, working with anti-symmetric tensors or dual tensors is equivalent. The invariant Kähler potential for a dual tensor is given by

$$K_{(\overline{p};q)}=T_{(\overline{p};q)A}G_{(\overline{p};q)B}^A\overline{T}_{(\overline{p};q)}^B$$
(116)
where the metric is given by

$$G_{(\overline{p};q)B}^A=\frac{1}{p!}(det\chi )^{1+\frac{q}{2}}(\chi ^1)_{j_1}^{i_1}\mathrm{}(\chi ^1)_{j_p}^{i_p}.$$
(117)
In addition we can construct a matter reprensentation $`A`$ that transforms in the adjoint of $`SU(N)`$. The index structure of this matrix is $`A_j^i`$ and in addition it is traceless $`\text{tr}A=A_i^i=0`$. It transformation properties under the full non-linear $`SO(2N)`$ symmetries takes the form

$${}_{}{}^{g}A=\widehat{h}_{}(z;g)A\widehat{h}_{}^1(z;g).$$
(118)
This transformation rule can be obtained by defining $`A`$ as the tensor product of a vector $`T_{(1;0)}`$ and a dual vector $`T_{(\overline{1};2)}`$ with rescaling charge $`2`$

$$A=T_{(1;0)}T_{(\overline{1};2)}.$$
(119)
It is easy to see that this gives the right generalization of the $`SU(5)`$ adjoint by restricting $`SO(2N)`$ to an $`U(5)`$ transformation:

$$g=\left(\begin{array}{cc}\alpha & 0\\ 0& (\alpha ^T)^1\end{array}\right){}_{}{}^{g}A=(\alpha ^T)^1A\alpha ^T.$$
(120)
Clearly, $`A`$ does not transform under the $`U(1)`$ factor of $`U(5)`$. Notice that the condition that $`A`$ be traceless, is respected by the transformation rule (118). The simplest invariant Kähler potential for this matter field $`A`$ is

$$K_A=\text{tr}\left(\chi A\chi ^1\overline{A}\right).$$
(121)
We next turn to a discussion of the contributions $`M_{(p;q)}`$ and $`M_{(\overline{p};q)}`$ to the Killing potentials for a tensor $`T_{(p;q)}`$ and a dual-tensor $`\overline{T}_{(\overline{p};q)}`$ of rank $`p`$ with a rescaling charge $`q`$, respectively. As the Kähler potentials $`K_{(p;q)}`$ and $`K_{(\overline{p};q)}`$ are invariant, their contributions to the Killing potentials are obtained from

$$iM_{(p;q)}=K_{(p;q),\alpha }^\alpha ,iM_{(\overline{p};q)}=K_{(\overline{p};q),\alpha }^\alpha ,$$
(122)
where $`\delta _iZ^\alpha =_i^\alpha `$ denote the Killing vectors (cf. eq. (95))

$`\delta z`$ $`=R,`$
$`\delta T_{(p;q)}^{i_1\mathrm{}i_p}`$ $`={\displaystyle \underset{r=1}{\overset{p}{}}}(R_T)^{i_r}{}_{j}{}^{}T_{(p;q)}^{i_1\mathrm{}j\mathrm{}i_p}+{\displaystyle \frac{q}{2}}\text{tr}(R_T)T_{(p;q)}^{i_1\mathrm{}i_p},`$ (123)
$`\delta T_{(\overline{p};q)i_1\mathrm{}i_p}`$ $`={\displaystyle \underset{r=1}{\overset{p}{}}}T_{(\overline{p};q)i_1\mathrm{}j\mathrm{}i_p}(R_T)^j{}_{j_r}{}^{}+(1+{\displaystyle \frac{q}{2}})\text{tr}(R_T)T_{(\overline{p};q)i_1\mathrm{}i_p}.`$
They follow from expanding the finite transformations (88), (111) and (115) to first order in the infinitesimal parameters $`u,x,x^{}`$.

The Killing potential for a rank $`p`$ tensor with rescaling charge $`q`$ is given by

$$iM_{(p;q)}=\overline{T}_{(p;q)B}G_{(p;q)C}^B\mathrm{\Delta }_{(p;q)A}^CT_{(p;q)}^A,$$
(124)
where, using the notation (97),

$$\mathrm{\Delta }_{(p;q)A}^C=\underset{r=1}{\overset{p}{}}\delta ^{k_1}{}_{i_1}{}^{}\mathrm{}\mathrm{\Delta }^{k_r}{}_{i_r}{}^{}\mathrm{}\delta ^{k_p}{}_{i_p}{}^{}+\frac{q}{2}\text{tr}\mathrm{\Delta }\delta ^{k_1}{}_{i_1}{}^{}\mathrm{}\delta ^{k_p}{}_{i_p}{}^{}.$$
(125)
To obtain this result we have made the following steps. We first obtained the Killing potential for a rank 1 tensor (a vector) with rescaling charge zero. This result can easily be generalized to a rank $`p`$ tensor with rescaling charge zero. Next we construct the Killing potential for a rank 0 tensor (a singlet) with an arbitrary rescaling charge. Finally we put all results together to obtain eq. (124).

We can proceed similarly to obtain the Killing potential $`M_{(\overline{p};q)}`$ for a rank $`p`$ dual tensor with a rescaling charge $`q`$. As the dualization has introduced a determinant $`det\widehat{h}_{}`$ in the finite transformation (115), it is more convenient to first consider a rank $`p`$ dual tensor with rescaling charge $`2`$, which precisely cancels the determinant. To obtain the final result for a rank $`p`$ dual-tensor with a rescaling charge $`q`$, we have to rescale the rank again, which introduces a factor $`1+\frac{q}{2}`$. Finally, the Killing potential reads

$$iM_{(\overline{p};q)}=T_{(\overline{p};q)B}\mathrm{\Delta }_{(\overline{p};q)C}^BG_{(\overline{p};q)A}^C\overline{T}_{(\overline{p};q)}^A,$$
(126)
with $`\mathrm{\Delta }_{(\overline{p};q)A}^C`$ defined as

$$\mathrm{\Delta }_{(\overline{p};q)C}^B=\underset{r=1}{\overset{p}{}}\delta ^{j_1}{}_{k_1}{}^{}\mathrm{}(\mathrm{\Delta })^{j_r}{}_{k_r}{}^{}\mathrm{}\delta ^{j_p}{}_{k_p}{}^{}+(1+\frac{q}{2})\text{tr}\mathrm{\Delta }\delta ^{j_1}{}_{k_1}{}^{}\mathrm{}\delta ^{j_p}{}_{k_p}{}^{}.$$
(127)
The infinitesimal form of the transformation of the adjoint matter field $`A`$ is given by

$$\delta A=R_TAAR_T=[R_T,A]$$
(128)
and the resulting Killing potential can be written as

$$iM_A=\text{tr}\left(\chi \mathrm{\Delta }A\chi ^1\overline{A}\chi A\mathrm{\Delta }\chi ^1\overline{A}\right)=\text{tr}\left(\chi [\mathrm{\Delta },A]\chi ^1\overline{A}\right).$$
(129)
### 4.5 Consistent $`𝑺𝑶\mathbf{(}\mathrm{𝟐}𝑵\mathbf{)}\mathbf{/}𝑼\mathbf{(}𝑵\mathbf{)}`$ spinor models

In this subsection we construct an anomaly-free model based on the spinor representation of $`SO(2N)`$ that contains the coordinates of the coset $`SO(2N)/U(N)`$. Only for a limited number of choices for $`N`$ such a model satisfies the line bundle constraint.

A supersymmetric model built on the $`SO(2N)/U(N)`$ coset space is not free of anomalies by itself, as all the $`\frac{1}{2}N(N1)`$ anti-symmetric coordinates $`z^{ij}`$ and therefore also their chiral fermionic partners carry the same charge 4 in the standard normalization. To construct a consistent supersymmetric model around this coset one can try to embed the coordinates in an anomaly-free representation. All representations of $`SO(2N)`$ are anomaly-free, unless $`SO(2N)`$ is isomorphic to a non-anomaly-free unitary group. This happens for $`SO(2)U(1)`$ and $`SO(6)SU(4)`$, hence we disregard the cases $`N=1,3`$ below. In appendix B we derive this result by calculating the possible $`U(1)`$ anomalies of the chiral spinor representation. An $`SO(2N)`$ representation that branches to an anti-symmetric $`2`$-tensor of $`SU(N)`$ is the chiral spinor representation of $`SO(2N)`$. The other $`U(N)`$ representations that arise from the spinor representation transform under the full $`SO(2N)`$ symmetries via non-linear transformations. For global consistency this means that these matter representations are sections of bundles. If one of these sections is a line bundle we run into the cocycle condition, which greatly restricts the freedom of charge assignments. In section 3 we have determined the section of the minimal line bundle over $`SO(2N)/U(N)`$. As the dimension $`2N`$ is even, the irreducible representations carry definite chirality; we show that it is sufficient to consider only the positive chiral spinor representation for our purpose of extending the coset to the spinor representation. After that we turn to the main result of this subsection: the cocycle condition only allows for a very restricted class of consistent $`SO(2N)/U(N)`$ spinor models: $`N=2,5,6,8`$.

As argued in appendix A, to construct a consistent model on $`SO(2N)/U(N)`$ using irreducible spinor representations, we need to identify the anti-symmetric coordinates $`z^{ij}`$ of the coset space with an anti-symmetric $`2`$-tensor of the branching of the spinor. We have the following two states $`\psi _2^{ij}`$ or $`\psi _{\overline{2}ij}`$ as possible candidates. According to eq. (173), appendix A, the charge of $`\psi _2^{ij}`$ is $`N4`$; it has positive chirality. The charge of $`\psi _{\overline{2}ij}`$ is opposite and its chirality is $`()^N`$. Notice that for $`N=4`$ we can never construct a consistent model using the spinor representations as the charges of $`\psi _2^{ij}`$ and $`\psi _{\overline{2}ij}`$ are zero, while the charge of the coordinate $`z^{ij}`$ is non-zero. For $`N`$ is even both $`\psi _2^{ij}`$ and $`\psi _{\overline{2}ij}`$ have the same chirality, hence they are in the same irreducible representation. The duality operation (174), appendix A, maps the positive chirality states into themselves. Therefore, for even $`N`$ it is sufficient to consider only the state $`\psi _2^{ij}`$ as the candidate for the coordinates $`z^{ij}`$ of the coset. For odd $`N`$ the only odd length state that can be associated with the coordinates $`z^{ij}`$ has length $`N2`$, but it is dual to the state with length $`2`$. Therefore, for all $`N`$ it is sufficient to consider only the positive chirality spinor representation and only the state $`\psi _2^{ij}`$ as candidate for the coordinates $`z^{ij}`$ of $`SO(2N)/U(N)`$.

We next discuss the restriction that the consistency of the line bundle poses on the construction of anomaly-free extensions of cosets $`SO(2N)/U(N)`$ using the positive chirality spinors of $`SO(2N)`$. We remarked before that the case $`N=4`$ does not work as the state $`\psi _2^{ij}`$ does not carry $`Y`$ charge. Therefore we consider the cases $`N=2`$ and $`N5`$ from now on. It was shown in section 3 that the minimal charge of the line bundle over the coset space $`SO(2N)/U(N)`$ is equal to $`N`$ when the charge of the coordinates is taken to be $`4`$. This is the normalization employed in our detailed discussion of the $`SO(2N)`$ algebra in sect. 4.1. As all states of a positive chirality spinor have an even number of indices, the tensor structure of these states can be obtained from completely anti-symmetric tensor products of the tangent vectors of the coset $`SO(2N)/U(N)`$ tensored with an integral power of the minimal line bundle. In particular the state $`\psi _{(2p;q)}`$ with length $`2p`$ and rescaled with the $`q(p;N)`$th power of the minimal line bundle has a charge $`4p+Nq(p;N)`$. For each $`p`$ this charge should be proportional to the charge $`N4p`$ of the anti-symmetric tensor with $`2p`$ indices within the positive chirality spinor representation. Therefore we obtain the relation $`\lambda (N4p)=4p+Nq(p;N)`$ where $`\lambda `$ is a constant to be determined. Since the anti-symmetric tensor with 2 indices ($`p=1`$) is identified with the coordinates $`z^{ij}`$ of the coset, it does not have a rescaling charge, hence we find that $`\lambda =\frac{4}{N4}`$. Solving for $`q(p;N)`$ gives

$$q(p;N)=q(0;N)\left(1p\right)=\frac{4}{N4}(1p).$$
(130)
For consistency of the line bundle we need that $`q(p;N)`$ is an integer for all $`0p[N/2]`$. Notice that $`q(p;N)`$ is integer whenever $`q(0;N)`$ is integer. $`q(0;N)`$ is only an integer if $`N4`$ is a divider of $`4`$, which implies that $`N=0,2,3,5,6,8`$. Of course $`N=0`$ is impossible, and though the case $`N=3`$ satisfies the line bundle quantization condition, it does not lead to an anomaly free model. Therefore the possible choices are:

$$\begin{array}{ccccc}& & & & \\ N\hfill & 2& 5& 6& 8\\ & & & & \\ q(0;N)=\frac{4}{N4}\hfill & 2& 4& 2& 1\end{array}$$

The case of $`N=2`$ is trivial in the sense that the coset is isomorphic to the simplest coset $`SU(2)/U(1)`$ (i.e., the 2-sphere) because $`SO(4)SU(2)\times SU(2).`$ Notice that except for the last case $`N=8`$ we only use squares of the minimal line bundle.

We finish this section by giving the Kähler potentials for the anomaly-free $`SO(2N)/U(N)`$ models based on the positive chiral spinor representation. The matter content is fixed by the discussion above: we need for each $`0p[N/2]`$ a rank $`2p`$ completely anti-symmetric $`SU(N)`$ tensor with rescaling charge $`q(p;N)`$ given in eq. (130), except for $`p=1`$; this case corresponds to an anti-symmetric tensor with two indices, for which we take the coordinates of the $`SO(2N)/U(N)`$ coset itself. Using the Kähler potentials for the coset (87) and for anti-symmetric tensor representations with an arbitrary rescaling charge (112), we can express the Kähler potential for the complete system by

$$𝒦=\frac{1}{2}K_\sigma +\underset{p=0,p1}{\overset{[N/2]}{}}K_{(\mathrm{\hspace{0.17em}2}p;q(p;N))}.$$
(131)
Here we have included a factor $`\frac{1}{2}`$ so as to get the standard normalization of the kinetic terms of the Goldstone boson fields. In section 5 we discuss the consistent $`SO(10)/U(5)`$-spinor model in detail. There we give the explicit expression for the Kähler potential, using dual tensors to reduce the number of indices.

## 5 Analysis of the $`\mathrm{𝐒𝐎}(\mathrm{𝟏𝟎})/𝐔(\mathrm{𝟓})`$-spinor model

In this section we apply the constructions presented so far to obtain anomaly-free $`SO(10)/U(5)`$-spinor models in the context of global supersymmetry. We study in particular the role of the potentials in determining the realization of internal symmetries and supersymmetry in the original $`\sigma `$-model, as well as in various gauged versions. We find some rather surprising results concerning the gauged versions of the model, implying that —in spite of selecting anomaly-free combinations of representations— it is not possible to gauge just any arbitrary global symmetry. In particular, we find that gauging the full global $`SO(10)`$ is not possible, whilst the consistency of gauging all or part of the linear $`SU(5)\times U(1)`$ symmetry depends crucially on the vacuum expectation values and choice of parameters in the model. We present strong arguments that the natural value of the Fayet-Iliopoulos parameter $`\xi `$ in the models with a linear gauge group containing $`U(1)`$ is determined by the scale $`f`$ of the $`\sigma `$-model, by a relation of the type $`|\xi |f^2𝒪(1)`$. It is not difficult to see that some of these results are valid beyond the particular model chosen. A more general and extensive discussion will be given elsewhere .

The choice for the model on $`SO(10)/SU(5)\times U(1)`$ is motivated by its fermionic field content, corresponding to one complete family of quarks and leptons, including a right-handed neutrino. This can be seen by looking at the $`SU(5)`$ representations of the chiral multiplets that the model contains: the coordinate multiplets $`\mathrm{\Phi }^{ij}`$ form the $`\underset{¯}{10}`$ of $`SU(5)`$. The completely anti-symmetric tensor with 4 indices is equivalent to the $`\overline{\underset{¯}{5}}`$ with a relative $`U(1)`$ charge $`3`$; we denote it by $`\mathrm{\Psi }_i`$. And finally we have a singlet $`\mathrm{\Psi }`$ of $`SU(5)`$, with $`U(1)`$ charge +5.

We denote the full set of chiral superfields by $`\mathrm{\Sigma }^\alpha =(\mathrm{\Phi }^{ij},\mathrm{\Psi }_i,\mathrm{\Psi })`$, their physical components collectively by $`(Z^\alpha ,\psi _L^\alpha )`$. The scalar components of the various $`SU(5)`$ representations are denoted by $`Z^\alpha =(z^{ij},k_i,h)`$. In the absence of any local gauge couplings, the kinetic part of the lagrangian for the model is given in terms of real composite superfields $`𝒦(\overline{\mathrm{\Sigma }},\mathrm{\Sigma })`$ by the supersymmetric expression (2), which is equivalent to

$$\begin{array}{c}_𝒦=𝒦(\overline{\mathrm{\Sigma }},\mathrm{\Sigma })|_D=G_{\underset{¯}{\alpha }\alpha }(^\mu \overline{Z}^{\underset{¯}{\alpha }}_\mu Z^\alpha +\overline{\psi }_L^{\underset{¯}{\alpha }}\stackrel{}{D/}\psi _L^\alpha \widehat{H}^{\underset{¯}{\alpha }}\widehat{H}^\alpha )\\ \\ +\frac{1}{2}R_{\underset{¯}{\alpha }\alpha \underset{¯}{\beta }\beta }(\overline{\psi }_R^\alpha \psi _L^\beta )(\overline{\psi }_L^{\underset{¯}{\alpha }}\psi _R^{\underset{¯}{\beta }}).\end{array}$$
(132)
In the present case, the Kähler potential from which the metric $`G_{\underset{¯}{\alpha }\alpha }`$ is derived, is given by (131)

$`𝒦(\overline{Z},Z)`$ $`={\displaystyle \frac{1}{2}}K_\sigma +K_{(0;4)}+K_{(\overline{1};4)}`$ (133)
$`={\displaystyle \frac{1}{2f^2}}\mathrm{ln}det\chi ^1+(det\chi )^2|h|^2+(det\chi )^1k\chi ^1\overline{k}.`$
with the submetric $`\chi ^1=\text{1}\text{1}+f^2z\overline{z}`$ and $`e^{f^2K_\sigma }=(det\chi )^1.`$ This is the explicit form of eq. (131) in the $`SO(10)/U(5)`$ case, after rescaling the Goldstone fields $`z`$ by the mass parameter $`m_\sigma =1/f`$ which sets the scale of the $`\sigma `$-model. The auxiliary fields $`\widehat{H}^\alpha `$ are defined as $`\widehat{H}^\alpha =H^\alpha \mathrm{\Gamma }_{\beta \gamma }^\alpha \overline{\psi }_R^\beta \psi _L^\gamma `$ with the connection $`\mathrm{\Gamma }_{\beta \gamma }^\alpha =G^{\alpha \underset{¯}{\alpha }}G_{\underset{¯}{\alpha }\beta ,\gamma }.`$

It is of particular importance to have an explicit expression for the kinetic terms of the Goldstone fields, which are modified by the presence of the matter terms in the Kähler potential (133). Following the procedures of  and , the kinetic terms for the scalars $`z^{ij}`$ and the quasi-Goldstone fermions $`\psi _L^{ij}`$ are determined by the matter-extended Kähler metric

$$G_\sigma (x,\overline{x})=G_{\sigma }^{}{}_{(ij)}{}^{}{}_{}{}^{(kl)}x_{}^{ij}\overline{x}_{kl}=f^2E\text{tr}(x\chi ^T\overline{x}\chi )+e^{f^2K_\sigma }f^2kx\chi ^T\overline{x}\overline{k},$$
(134)
where $`x^{ij}`$ stands for components of the Goldstone superfield $`\mathrm{\Phi }^{ij}`$ or their gradients, whilst $`E=\frac{1}{2f^2}+e^{f^2K_\sigma }k\chi ^1\overline{k}2e^{2f^2K_\sigma }|h|^2.`$ For some applications it is convenient to write this as

$$G_\sigma (x,\overline{x})=\text{tr}(x\chi ^T\overline{x}\widehat{\chi }),\widehat{\chi }=f^2E\chi +e^{f^2K_\sigma }f^2\overline{k}k.$$
(135)
Clearly, the physical requirement that the model be ghost-free implies that this metric has to be sign-definite. As $`\chi `$ is positive definite, and the second term proportional to $`\overline{k}k`$ is non-negative, positive definiteness of the metric is guaranteed if $`E>0`$. For $`E<0`$, there always are negative kinetic-energy ghosts. However, for $`E=0`$ a more detailed analysis is required.

In particular, we note that

$$det\widehat{\chi }=f^{10}E^4\left(E+e^{f^2K_\sigma }k\chi ^1\overline{k}\right)det\chi .$$
(136)
As a result, for $`E=0`$ the metric has a four-fold zero eigenvalue. This implies the existence of four complex orthogonal eigenvectors of $`\widehat{\chi }`$ with zero eigenvalue; one can then construct six independent (complex) anti-symmetric tensor zero-modes, of the form $`x=vw^Twv^T`$, with $`v,w`$ independent zero eigenvectors. Of course, if $`k=0`$ at the same time, the whole metric $`\widehat{\chi }`$ vanishes; then also the kinetic terms of all Goldstone fields and their fermion partners vanish.

As concerns mass-terms, we observe that for the model (133) it is not possible to construct an $`SO(10)`$-invariant superpotential. First, the non-linear transformations of the coordinates $`z`$ exclude their appearance in an invariant expression. Next, there is no non-vanishing holomorphic $`SU(5)`$ invariant for $`k_i`$. Finally, as $`h`$ transforms under $`U(1)`$ and there is no field that compensates for its transformation, it also cannot appear in the superpotential. In the absence of a superpotential, all fields in the action (132) —the Goldstone bosons and their superpartners as well as the chiral superfields defining the matter representations— describe massless spin-0 and chiral spin-1/2 particles.

This situation changes if we add a second family of quarks and leptons, with superfields $`\mathrm{\Sigma }_{(2)}=(\mathrm{\Phi }_{(2)}^{ij},\mathrm{\Psi }_{(2)i},\mathrm{\Psi }_{(2)})`$. It is then possible to construct an invariant superpotential

$$W(\mathrm{\Sigma })=\underset{a=1,2}{}\lambda _a\mathrm{\Psi }_{(a)}\mathrm{\Psi }_{(1)i}\mathrm{\Psi }_{(2)j}\mathrm{\Phi }_{(2)}^{ij}.$$
(137)
The $`\lambda _a`$ are coupling constants of dimension (mass)<sup>-1</sup>.

As a next step towards a physical interpretation of the fermions as describing quarks and leptons, we introduce gauge interactions. This can have important implications for the spectrum of the theory, as in supersymmetric theories gauge-couplings are accompanied by Yukawa couplings and a $`D`$-term potential. We first consider gauging the full $`SO(10)`$. A local transformation of the form (88) then always allows one to go to the unitary gauge $`z=\overline{z}=0`$. Thus all Goldstone bosons disappear from the spectrum as a result of the Brout-Englert-Higgs effect; this is confirmed by the finite mass-terms for the gauge fields corresponding to the broken generators of $`SO(10)`$.

However in the presence of matter fields as in (133), required for the cancellation of anomalies, the analysis of the $`D`$-terms in the potential shows that in the unitary gauge the model becomes singular: in the minimum of the potential the expectation value of the Kähler metric vanishes: $`E=0`$ and $`k=0`$. Thus the kinetic energy terms of the Goldstone and quasi-Goldstone fields all vanish. Actually, this seems to happen in other fully gauged supersymmetric $`\sigma `$-models on Kähler cosets with anomalies cancelled by matter as well.

As an alternative to gauging $`SO(10)`$, one can gauge only the linear subgroup $`SU(5)\times U(1)`$ instead. This explicitly breaks the non-linear global $`SO(10)`$. It is then allowed in principle to construct superpotentials which are invariant only under the local gauge symmetry, although one would expect the strength of this potential to be proportional to the gauge coupling constant. In fact, this happens automatically with the $`D`$-term potentials. In addition, when gauging any group containing the $`U(1)`$ as a factor, the introduction of a Fayet-Iliopoulos term is allowed. It turns out, that the corresponding models are indeed well-behaved for a range of non-zero values of this parameter.

We now present details of this analysis. The theory defined by the Lagrangian (132), (133) has a global $`SO(10)`$ symmetry. This global symmetry allows vector bosons to be coupled to the model by turning the $`SO(10)`$ group, or its subgroup $`SU(5)\times U(1)`$, into a local gauge group by introducing covariant derivatives into the Lagrangian. The covariant derivatives are defined by:

$$\begin{array}{c}𝒟_\mu Z^\alpha =_\mu Z^\alpha A_\mu ^i_i^\alpha ,\\ 𝒟_\mu \psi _L^\alpha =_\mu \psi _L^\alpha A_\mu ^i_{i,\beta }^\alpha \psi _L^\beta +𝒟_\mu Z^\gamma \mathrm{\Gamma }_{\gamma \beta }^\alpha \psi _L^\beta .\end{array}$$
(138)
Here the $`A_\mu ^i`$ are the gauge fields corresponding to the local symmetries. They are components of the vector multiplets $`V^i=(A_\mu ^i,\lambda ^i,D^i)`$, with $`\lambda ^i`$ representing the gauginos and $`D^i`$ the real auxiliary fields. The isometries $`_i^\alpha `$ are generated by Killing vectors as in eq. (123); here they take the form

$$\delta _\mathrm{\Theta }z=R,\delta _\mathrm{\Theta }h=2\text{tr}(R_T)h,\delta _\mathrm{\Theta }k=k(R_T+\text{tr}(R_T)\text{1}\text{1}),$$
(139)
with $`R(z;\mathrm{\Theta })=\frac{1}{f}xu^Tzzu+fzx^{}z`$ and $`R_T(z;\mathrm{\Theta })=u^T+fzx^{}.`$ Adapting its normalization to that of the kinetic terms (133), the full Killing potential generating these Killing vectors is $`=\frac{1}{2}M_\sigma +M_{(0;4)}+M_{(\overline{1};4)},`$ which takes the explicit form (cf. eq.(97)):

$$i=\text{tr}\mathrm{\Delta }(\frac{1}{2f^2}K_{(\overline{1};4)}+2K_{(0;4)})e^{f^2K_\sigma }k\mathrm{\Delta }\chi ^1\overline{k}.$$
(140)
After introduction of the gauge fields in lagrangian (132), via the covariant derivatives (138), the $`\sigma `$-model itself is no longer invariant under supersymmetry transformations. Supersymmetry is restored by adding terms

$$\mathrm{\Delta }_𝒦=2G_{\alpha \underset{¯}{\alpha }}(_i^\alpha \overline{\psi }_L^{\underset{¯}{\alpha }}\lambda _R^i+\overline{}_i^{\underset{¯}{\alpha }}\overline{\lambda }_R^i\psi _L^\alpha )D^i(_i+\xi _i).$$
(141)
We have added a Fayet-Iliopoulos term with parameter $`\xi _i`$ in case there is a commuting $`U(1)`$ vector multiplet. The full lagrangian for this model after introducing gauge interactions becomes

$$=_{YM}+_{chiral},$$
(142)
where $`_{YM}`$ is the usual supersymmetric Yang-Mills action, of the generic form

$$_{YM}=\frac{1}{g^2}\text{Tr}(\frac{1}{4}_{\mu \nu }^2+\frac{1}{2}\overline{\lambda }D/\lambda \frac{1}{2}D^2).$$
(143)
We use Tr to denote a trace over $`2N\times 2N`$-matrices; in contrast, traces over $`N\times N`$-matrices are denoted by tr. When gauging a product of several commuting subgroups of $`G`$, e.g. $`SU(5)\times U(1)`$, there is a coupling constant $`g_i`$ for each of the subgroup factors. $`_{chiral}`$ is given by (132), but with ordinary derivatives $`_\mu Z^\alpha `$, $`_\mu \psi _L^\alpha `$ replaced by the covariant derivatives (138), while adding $`\mathrm{\Delta }_𝒦`$:

$$_{chiral}=_𝒦(_\mu 𝒟_\mu )+\mathrm{\Delta }_𝒦.$$
(144)
Next we analyze the scalar potential obtained by elimination of the $`D`$-fields for various gaugings. By substituting the expression (97) for $`\mathrm{\Delta }`$ we obtain in index-free notation<sup>1</sup><sup>1</sup>1The factors $`i`$ here result from $`\mathrm{\Delta }`$ being anti-hermitean, eq.(96).

$`i_u`$ $`=(\text{1}\text{1}2f^2\overline{z}\chi z)\left({\displaystyle \frac{1}{2f^2}}+K_{(\overline{1};4)}2K_{(0;4)}\right)+e^{f^2K_\sigma }(k^T\overline{k}^Tf^2\overline{z}\overline{k}kz),`$
$`i_x^{}`$ $`=f\overline{z}\chi \left({\displaystyle \frac{1}{2f^2}}K_{(\overline{1};4)}+2K_{(0;4)}\right)+fe^{f^2K_\sigma }\overline{z}\overline{k}k,`$ (145)
$`i_x`$ $`=f\chi z\left({\displaystyle \frac{1}{2f^2}}K_{(\overline{1};4)}+2K_{(0;4)}\right)fe^{f^2K_\sigma }\overline{k}kz.`$
If the full $`SO(10)`$ is gauged, the unitary gauge can be chosen in which all Goldstone bosons $`(z,\overline{z})`$ vanish. This implies that the broken Killing potentials $`_x`$ and $`_x^{}`$ vanish automatically, leaving us with the $`U(5)`$ Killing potentials only. If we only gauge $`U(5)`$ then the Killing potentials $`_x`$ and $`_x^{}`$ are irrelevant, and again we have to consider only the $`U(5)`$ Killing potentials. However, in this case $`z`$ represents a physical degree of freedom, and its vacuum expectation value does not necessarily vanish: $`z=0`$ is guaranteed only if $`SU(5)`$ is not broken.

To analyze both gauged $`SO(10)`$ and gauged $`SU(5)\times U(1)`$ at once, we consider the $`D`$-term potential arising from the gauging of $`SU(5)\times U(1)`$ including a Fayet-Iliopoulos term with parameter $`\xi `$ for the $`U(1)`$:

$$V=\frac{g_1^2}{2N}(\xi i_Y)^2+\frac{g_5^2}{2}\text{tr}(i_t)^2.$$
(146)
Here the $`U(5)`$ Killing potentials $`_Y`$ and $`_t`$ are trace and the traceless part of $`_u`$:

$$_t=_u\frac{1}{N}_Y\text{1}\text{1},_Y=\text{tr}_u.$$
(147)
We can derive $`\text{tr}_t^2`$ from $`_Y`$ and $`\text{tr}_u^2`$ by

$$\text{tr}(i_t)^2=\text{tr}(i_u)^2\frac{1}{N}(i_Y)^2.$$
(148)
An explicit expression for $`_t`$ in terms of the matter-extended submetric $`\widehat{\chi }`$ is

$$i_t=\frac{2}{f^2}\widehat{\chi }^T2\gamma \text{1}\text{1}e^{f^2K_\sigma }\left(f^2\overline{z}\overline{k}kz+k^T\overline{k}^T\right),$$
(149)
where $`\gamma `$ is defined by

$$N\gamma =(\text{tr}\chi )E+\frac{1}{2}e^{f^2K_\sigma }k(1f^2z\overline{z})\overline{k}.$$
(150)
The terms in the potential (146) are proportional to the square of the coupling constants $`g_1`$ and $`g_5`$ of the $`U(1)`$ and $`SU(5)`$ gauge groups, respectively. The case of fully gauged $`SO(10)`$ is reobtained by taking the coupling constants equal: $`g_1=g_5=g_{10}`$, and the Fayet-Iliopoulos term to vanish: $`\xi =0`$. We have left the rank $`N=5`$ of $`SO(10)`$ in, so as to keep track of some of the dependence on this rank.

The potential (146) is non-negative. In order for supersymmetry to be preserved, the minimum must be at $`V_{min}=0`$; in contrast, $`V_{min}>0`$ implies spontaneous supersymmetry breaking by the potential. Being a sum of squares, a vanishing potential is possible only if $`_Y=0`$ and $`_t=0`$ at the same time.

In the case of gauged $`SO(10)`$ one can always work in the unitary gauge $`z=\overline{z}=0`$. However, in the case of gauged $`SU(5)\times U(1)`$ the potential can cause further symmetry breaking by generating a vacuum expectation value for the would-be Goldstone bosons. Because of its antisymmetry, an $`SU(5)\times U(1)`$ transformation can be performed to put $`z`$ into the standard form

$$fz=\left(\begin{array}{ccc}a\sigma _2& & \\ & b\sigma _2& \\ & & 0\end{array}\right),$$
(151)
with real $`a,b0`$. Of course, the unitary gauge is included as the special case $`a=b=0`$. The vacuum expectation value (151) preserves a subgroup $`SU(2)\times SU(2)\times U(1)`$. If the $`\overline{\underset{¯}{5}}`$ gets a vacuum expectations value, this residual symmetry can be used to chose

$$k=(k_1,0,k_3,0,k_5).$$
(152)
We first investigate the existence of zeros of the potential, compatible with supersymmetry. The condition $`_t=0`$ then implies $`k_1=k_3=0`$, and

$$E=\gamma \left(1+a^2\right)=\gamma \left(1+b^2\right)=\gamma \left(1+a^2\right)\left(1+b^2\right)|k_5|^2.$$
(153)
There are three separate solutions to these conditions; the first is

$$a=b=k_5=0,E=\gamma .$$
(154)
This solution includes the unitary gauge. A second solution (which coincides with the previous one for $`a=b=0`$) is the case $`E=\gamma =k_5=0`$. It can be seen immediately to yield $`\widehat{\chi }=0`$. Therefore in this case the kinetic terms of the Goldstone superfield components vanish. Such a solution is unacceptable, not only because part of the quarks and leptons disappear from the spectrum of physical states, but even more importantly as this upsets the cancellation of anomalies, which is guaranteed only if all chiral fermions in the model contribute. This holds in particular for the case of fully gauged $`SO(10)`$ in the unitary gauge.

The third solution of the supersymmetric vacuum conditions, which exists only for $`E,\gamma <0`$, is

$$a^2=b^2=\frac{1}{\gamma }\left(1+a^2\right)^4|k_5|^2,E=\gamma \left(1+a^2\right).$$
(155)
Inserting this solution into the expression (135) one obtains $`\widehat{\chi }=f^2\gamma \text{1}\text{1}`$, which in this case is negative definite. As it is not possible to change the overall sign of the Kähler potential without creating negative kinetic energy terms for the matter fields, this solution always contains ghosts and is again physically unacceptable.

The upshot of this discussion is, that physically consistent models (i.e. anomaly-free, with positive definite kinetic energy), in which the potential has zeros, require $`z=k=0`$ and $`E=\gamma >0`$. Such models can be realized with gauged $`SU(5)\times U(1)`$, but the model with fully gauged $`SO(10)`$ is excluded. We observe, that positivity of $`E`$ for these solutions implies

$$0|h|^2<\frac{1}{4f^2}.$$
(156)
Thus, unless $`h=0`$, these solutions always spontaneously break $`U(1)`$, whilst $`SU(5)`$ is manifestly preserved.

The conditions (154) and (156) are necessary to have physically consistent models with $`_t=0`$. This is sufficient for a zero of the potential in a model with gauged $`SU(5)`$ only. If $`U(1)`$ is gauged, a zero of the potential requires the additional condition:

$$\begin{array}{cc}\xi =i_Y=\hfill & \left(1+a^2\right)^2\left(1+b^2\right)^2\left[\left(1a^2\right)|k_1|^2+\left(1b^2\right)|k_3|^2+|k_5|^2\right]\hfill \\ & \\ & \left(1+2\frac{1a^2}{1+a^2}+2\frac{1b^2}{1+b^2}\right)E.\hfill \end{array}$$
(157)
Combining this with $`z=k=0`$, it follows that (with $`N=5`$)

$$E=\gamma =\frac{\xi }{N},|h|^2=\frac{1}{4f^2}+\frac{\xi }{2N}.$$
(158)
A consistent solution of this type exists only for $`N/(2f^2)\xi <0`$. The kinetic energy for the Goldstone superfield components is now proportional to $`(f^2\xi )/N`$.

Clearly, for values of $`\xi `$ in this range it is necessary to perform a finite renormalization of the Goldstone superfields to obtain the canonical value of the kinetic terms; in the Kähler potential this is equivalent to a rescaling of the $`\sigma `$-model scale such that $`f^2N/\xi `$. In these models the natural value of the Fayet-Iliopoulos-parameter is therefore the $`\sigma `$-model scale, thereby relating internal and supersymmetry breaking.

We finish this section by observing that, in addition to zeros of the potential, there can also be ranges of the parameters $`(g_1^2,g_5^2,\xi )`$, or models with only some proper subgroup of $`SU(5)`$ gauged, for which the minimum of the potential occurs at a positive value: $`V>0`$. In this case supersymmetry is manifestly broken by the potential. This could happen for example in the domain $`\xi <N/(2f^2)`$. However, we have not performed an exhaustive analysis of this case.

## 6 Conclusion

In this paper we have considered supersymmetric models based on classic Kählerian coset spaces: $`U(M+N)/U(M)\times U(N),USp(2N)/U(N)`$ and $`SO(2N)/U(N)`$, and their non-compact versions. Starting from a non-linear realization of the group $`SL(N+M,)`$ in finite form, we constructed their Kähler potentials. A generalization of the Killing potential for finite transformations has been obtained. The Kähler potential of such a coset can be written as a function of a fundamental submetric. This submetric also allows us to construct Kähler potentials for superfields as sections of bundles over the original classical coset. For most of these matter representations the naive definitions are sufficient to guarantee the existence of these bundles globally. However, the consistency of line bundles requires that the cocycle condition is satisfied.

We have discussed various aspects of these general constructions for classical Kählerian coset space in more detail for the class of orthogonal cosets $`SO(2N)/U(N)`$. All supersymmetric matter fields which form completely anti-symmetric representations of $`SU(N)`$ with arbitrary integer charges satisfying the cocycle condition have been obtained explicitly.

Pure supersymmetric coset models are often anomalous due to their chiral fermions. This is also the case for orthogonal cosets $`SO(2N)/U(N)`$, but as all $`SO(2N)`$ representations are anomaly free (with the exceptions of $`SO(2)U(1)`$ and $`SO(6)SU(4)`$), the supersymmetric field content can be extended such that all anomalies cancel. The completely anti-symmetric $`SU(N)`$ representations descending from the positive-chirality spinor representation of $`SO(2N)`$ provide possible candidates for anomaly free models, which can include the Goldstone bosons. However, the $`U(1)`$ charges of these anti-symmetric representations can often not be realized using the bundles at our disposal. In fact, only for $`N=2,5,6,8`$ these $`SO(2N)/U(N)`$-spinor models can fulfil the consistency requirements of the line bundle.

Some phenomenological aspects of the $`SO(10)/U(5)`$-spinor model have been investigated. This model contains the $`SU(5)\times U(1)`$ fermionic field content of one generation of quarks and leptons, including a right-handed neutrino. The matter-extended metric for the Goldstone bosons of the coset is not automatically positive definite. In order that the theory is ghost-free when expanded around a minimum of the potential, the quantity $`E`$ has to be positive, see eq. (135). The consequences of this physical requirement have been analysed for supersymmetric minima, if part of the isometry group is gauged. If the whole $`SO(10)`$ is gauged, the analysis is straightforward as one can employ the unitary gauge to put the Goldstone bosons to zero. We find the kinetic energy of the would-be Goldstone modes and their fermionic partners to vanish. Therefore the quasi-Goldstone fermions no longer contribute to the cancellation of anomalies.

Gauging (part of) the linear subgroup $`U(5)`$ calls for a more involved investigation. First we have obtained all supersymmetric minima for the case where $`SU(5)`$ is gauged. We found three classes of such vacua, of which two are physically problematic as the kinetic terms of the Goldstone multiplets either vanish or have negative values. The third type of supersymmetric vacuum only exists for a finite range of vacuum expectation values of the scalar partner of the right-handed neutrino. If the $`U(1)`$ factor is gauged in addition, the Fayet-Iliopoulos parameter is related directly to the vacuum expectation value of this scalar. This shows that only for a finite range of values of the Fayet-Iliopoulos parameter $`U(5)`$ can be gauged consistently.

## Appendix A Decomposition of $`𝑺𝑶\mathbf{(}\mathrm{𝟐}𝑵\mathbf{)}`$ spinors into anti-symmetric tensors

An arbitrary spinor $`𝝍`$ of $`SO(2N)`$ can be represented using anti-symmetric tensors $`\psi _{pi_1\mathrm{}i_p}`$ of $`SU(N)`$ with $`p`$ indices as

$$𝝍=(\psi _0,\psi _1^{i_1},\mathrm{},\psi _N^{i_1\mathrm{}i_N}).$$
(159)
The invariant inner-product of two spinors $`𝝍`$ and $`\mathit{\varphi }`$ is given by

$$𝝍^{}\mathit{\varphi }=\underset{p=0}{\overset{N}{}}\frac{1}{p!}\psi _{pi_p\mathrm{}i_1}^{}\varphi _p^{i_1\mathrm{}i_p}$$
(160)
where $`\psi _{pi_p\mathrm{}i_1}^{}=\psi _p^{i_1\mathrm{}i_p}`$. We want to construct a basis for the anti-symmetric $`SU(N)`$-tensors, and also a basis for the $`SO(2N)`$-spinors, using the Clifford algebra of fermion creation and annihilation operators $`\mathrm{\Gamma }^i`$ and $`\overline{\mathrm{\Gamma }}_i`$, as introduced by R.N. Mohapatra and B. Sakita , see also  and . They satisfy the usual anti-commutation relations

$$\{\mathrm{\Gamma }^i,\overline{\mathrm{\Gamma }}_j\}=\delta _j^i,\{\mathrm{\Gamma }^i,\mathrm{\Gamma }^j\}=\{\overline{\mathrm{\Gamma }}_i,\overline{\mathrm{\Gamma }}_j\}=0.$$
(161)
Assume that we have constructed a Hilbert space on which these Clifford operators act. In this Hilbert space we define the vacuum state $`|0`$ by $`\mathrm{\Gamma }^i|0=0`$ for any $`i`$. The ket- and bra-states

$$𝐞_{pi_1\mathrm{}i_p}=\overline{\mathrm{\Gamma }}_{i_1}\mathrm{}\overline{\mathrm{\Gamma }}_{i_p}|0𝐞_p^{i_p\mathrm{}i_1}=0|\mathrm{\Gamma }^{i_p}\mathrm{}\mathrm{\Gamma }^{i_1}$$
(162)
satisfy the orthonomality relations

$$𝐞_p^{i_p\mathrm{}i_1}𝐞_{qj_1\mathrm{}j_q}=0,\text{for}pq\text{and}𝐞_p^{i_p\mathrm{}i_1}𝐞_{pj_1\mathrm{}j_p}=\delta _{[j_1}^{i_1}\mathrm{}\delta _{j_p]}^{i_p},$$
(163)
where $`\delta _{[j_1}^{i_1}\mathrm{}\delta _{j_p]}^{i_p}`$ is the complete anti-symmetrized Kronecker-delta. Therefore the states $`𝐞_{pi_1\mathrm{}i_p}`$ form a basis of anti-symmetric rank $`p`$ tensors of $`SU(N)`$. Using the complete anti-symmetry it is easy to show that the number of the vectors $`𝐞_p`$ with length $`p`$ is equal to $`\left(\genfrac{}{}{0pt}{}{N}{p}\right)`$, hence the total number of vectors $`\{𝐞_p\}`$ is equal to $`2^N`$. The collection of these states $`𝐞_p`$ for $`0pN`$ form a basis for $`SO(2N)`$-spinors, hence $`𝝍`$ and $`𝝍^{}`$ can be expanded in this basis

$$𝝍=\underset{p=0}{\overset{N}{}}\frac{1}{p!}\psi _p^{i_1\mathrm{}i_p}𝐞_{pi_1\mathrm{}i_p}\text{and}𝝍^{}=\underset{p=0}{\overset{N}{}}\frac{1}{p!}\psi _{pi_p\mathrm{}i_1}^{}𝐞_p^{i_1\mathrm{}i_p}.$$
(164)
It is straightforward to check that in this basis the inner-product of two spinors $`𝝍^{}\mathit{\varphi }`$ is consistent with the definition (160) using the Clifford properties (161).

In terms of the Clifford algebra, we define the $`2N`$ gamma-matrices $`\mathrm{\Gamma }_a`$ with $`a=1,\mathrm{},2N`$ by

$$\mathrm{\Gamma }_a=\{\begin{array}{cc}i(\mathrm{\Gamma }^i\overline{\mathrm{\Gamma }}_i),\hfill & a=i=1,\mathrm{},N,\hfill \\ \mathrm{\Gamma }^i+\overline{\mathrm{\Gamma }}_i,\hfill & a=i+N=N+1,\mathrm{},2N,\hfill \end{array}$$
(165)
with the property

$$\{\mathrm{\Gamma }_a,\mathrm{\Gamma }_b\}=2\delta _{ab}.$$
(166)
This property can be used to show that the sigma-matrices

$$M_{ab}=\frac{1}{2}\mathrm{\Sigma }_{ab}=\frac{1}{4}[\mathrm{\Gamma }_a,\mathrm{\Gamma }_b],$$
(167)
are the generators of the $`SO(2N)`$-algebra (68) in the spinor representation. With respect to the spinor inner-product (160) the gamma-matrices are Hermitean $`\mathrm{\Gamma }_a^{}=\mathrm{\Gamma }_a`$ and hence the sigma-matrices are anti-Hermitean $`\mathrm{\Sigma }_{ab}^{}=\mathrm{\Sigma }_{ab}`$. Furthermore it implies that w.r.t. this inner product the fermion creation/annihilation operators are Hermitean conjugates:

$$\left(\mathrm{\Gamma }^i\right)^{}=\overline{\mathrm{\Gamma }}_i,\left(\overline{\mathrm{\Gamma }}_i\right)^{}=\mathrm{\Gamma }^i.$$
(168)
For products of Clifford operatros $`A`$ and $`B`$ we have $`(AB)^{}=B^{}A^{}`$.

The Hermitean chirality operator $`\stackrel{~}{\mathrm{\Gamma }}`$ defined by

$$\stackrel{~}{\mathrm{\Gamma }}=()^{\frac{1}{2}N(N1)}i^N\underset{a=1}{\overset{2N}{}}\mathrm{\Gamma }_a$$
(169)
can be written in terms of the Clifford elements as

$$\stackrel{~}{\mathrm{\Gamma }}=\underset{i}{}[\mathrm{\Gamma }^i,\overline{\mathrm{\Gamma }}_i]=\underset{i=1}{\overset{N}{}}(12\widehat{n}_i)=()^{\widehat{n}}.$$
(170)
Here we have defined the $`i`$th number operator $`\widehat{n}_i=\overline{\mathrm{\Gamma }}_i\mathrm{\Gamma }^i`$ and the total number operator $`\widehat{n}=_i\widehat{n}_i`$. Using this chirality operator, we can define positive and negative chirality spinors in $`2N`$ dimensions

$$\stackrel{~}{\mathrm{\Gamma }}𝝍_\pm =\pm 𝝍_\pm $$
(171)
Using the form of the chirality operator (170), it follows that the positive chirality components of a spinor are given by completely anti-symmetric $`SU(N)`$-tensors of even length $`p`$, while the negative chirality components have odd length $`p`$.

The generators $`U_j^i`$ can be expressed in terms of the fermion operators as

$$U_j^i=\frac{1}{2}[\mathrm{\Gamma }^i,\overline{\mathrm{\Gamma }}_j],$$
(172)
and satisfy the $`U(N)`$ algebra (69). Their anti-symmetric part $`A_j^i`$, and symmetric part $`S_j^i`$, take the form

$$\begin{array}{cc}A_j^i=\frac{1}{4}\left([\chi ^i,\overline{\chi _j}][\chi ^j,\overline{\chi _i}]\right),& S_j^i=\frac{i}{4}\left([\chi ^i,\overline{\chi _j}]+[\chi ^j,\overline{\chi _i}]\right)\end{array}$$

Furthermore the broken $`SO(2N)`$ generators $`X^{ij}`$ and $`\overline{X}_{ij}`$ can be represented by

$$X^{ij}=\mathrm{\Gamma }^i\mathrm{\Gamma }^j\text{and}\overline{X}_{ij}=\overline{\mathrm{\Gamma }}_i\overline{\mathrm{\Gamma }}_j.$$

The $`U(1)`$-charge operator (76) is given in terms of the total number operator $`\widehat{n}`$ by

$$Y=\underset{i}{}[\mathrm{\Gamma }^i,\overline{\mathrm{\Gamma }}_i]=N2\widehat{n},$$
(173)
hence the charge of an anti-symmetric tensor with $`p`$ indices, that occurs in the decomposition of a spinor, is $`N2p`$: $`Y𝐞_p=(N2p)𝐞_p.`$ We define the dual vectors $`𝐞_{\overline{Np}}`$ resp. $`𝐞_{\overline{Np}}^{}`$ of the basis vectors $`𝐞_p`$ and $`𝐞_p^{}`$ resp. by

$$𝐞_{\overline{Np}}^{i_N\mathrm{}i_{p+1}}=\frac{1}{p!}ϵ^{i_N\mathrm{}i_1}𝐞_{pi_1\mathrm{}i_p}\text{and}𝐞_{\overline{Np}i_{p+1}\mathrm{}i_N}^{}=\frac{1}{p!}𝐞_p^{i_p\mathrm{}i_1}ϵ_{i_1\mathrm{}i_N}.$$
(174)
For the components $`\psi _p`$ we use analogous definitions. Notice that under dualization the charge does not change, only the number of indices does.

## Appendix B Anomaly cancellation of the spinor representation

We now show that the positive chirality spinors of $`SO(2N)`$ have no pure $`U(1)`$-anomaly, unless $`SO(2N)`$ is isomorphic to a non-anomaly-free unitary group, $`SO(2)U(1)`$ or $`SO(6)SU(4)`$, by computing the possible $`U(1)`$-anomalies. However it is straightforward to also compute the $`U(1)`$-anomalies for negative chiralities, so we calculate both here. The $`Y^k`$-anomaly $`A_\pm (Y^k;N)=\text{Tr}_\pm Y^k`$ for the $`\pm `$ chirality spinor representation is given by

$$A_\pm (Y^k;N)=\underset{l=0}{\overset{N}{}}\left(\genfrac{}{}{0pt}{}{N}{l}\right)\frac{1\pm ()^l}{2}(N2l)^k.$$
(175)
This follows using the multiplicities $`\left(\genfrac{}{}{0pt}{}{N}{l}\right)`$ and charges $`N2l`$ of the states $`\psi _l^{i_1\mathrm{}i_l}`$. The factor $`\frac{1\pm ()^l}{2}`$ is introduced to project onto the positive or negative chirality states. The necessary details to obtain these results can be found in appendix A. To calculate these anomalies it is convenient to introduce the functions

$$q_\pm (x)=\pm \frac{1}{x}+x$$
(176)
of a variable $`x`$, in terms of which we define

$$P_\pm (x;N)\frac{1}{2}\left[(q_+)^N\pm (q_{})^N\right]=\underset{l=0}{\overset{N}{}}\left(\genfrac{}{}{0pt}{}{N}{l}\right)\frac{1\pm ()^l}{2}x^{N2l}.$$
(177)
Notice that the charge operator $`Y`$ can be represented by $`Y=x\frac{d}{dx}`$. The anomaly $`A_\pm (Y^k)`$ can be calculated using the functions $`P_\pm `$ by

$$A_\pm (Y^k;N)=\left(x\frac{d}{dx}\right)^kP_\pm (x;N)|_{x=1}.$$
(178)
To compute this we use the properties of the functions $`q_\pm `$

$$x\frac{d}{dx}q_\pm =q_{},q_+|_{x=1}=2,\text{and}q_{}|_{x=1}=0.$$
(179)
We obtain the following results for the $`Y`$ and $`Y^3`$ anomalies in $`D=4`$ dimensions

$$A_\pm (Y;N)=\{\begin{array}{cc}\pm 1\hfill & N=1,\hfill \\ 0\hfill & N1,\hfill \end{array}$$
(180)
and

$$A_\pm (Y^3;N)=\{\begin{array}{cc}\pm 3!2^2\hfill & N=3,\hfill \\ \pm 1\hfill & N=1,\hfill \\ 0\hfill & N1,3.\hfill \end{array}$$
(181)
Hence we see that the cases $`N=1`$ and $`N=3`$ have indeed an anomalous spinor representation. We conclude from this anomaly analysis that for $`N=2`$ and $`N4`$ the spinor representation of $`SO(2N)`$ is $`U(1)`$ anomaly-free.