text:
# Untitled Document

RI-05-02

hep-th/0212242

Removing Singularities

Shmuel Elitzur, Amit Giveon, Eliezer Rabinovici

Racah Institute of Physics, The Hebrew University, Jerusalem, 91904, Israel

Big bang/crunch curvature singularities in exact CFT string backgrounds can be removed by turning on gauge fields. This is described within a family of $`\frac{SL\left(2\right)\times SU\left(2\right)\times U\left(1\right)_x}{U\left(1\right)\times U\left(1\right)}`$ quotient CFTs. Uncharged incoming wavefunctions from the “whiskers” of the extended universe can be fully reflected if and only if a big bang/crunch curvature singularity, from which they are scattered, exists. Extended BTZ-like singularities remain as long as $`U\left(1\right)_x`$ is compact.

10/02

1. Introduction

Studies of the propagation of strings in time-dependent backgrounds have highlighted several basic issues. One is related to the possibility that extended objects such as strings may propagate beyond space-like singularities. Another concerns the manner one may embed a compact cosmology in an allowed perturbative string background. A third related issue involves the appropriate boundary conditions to be imposed in the presence of such singularities. A way to evaluate an entropy in string cosmology was addressed as well. These difficult issues were investigated in exact perturbative CFT backgrounds. The first issue was addressed in two types of CFT backgrounds. One set of string backgrounds consists of orbifolds of $`\mathrm{IR}^{1,d1}`$ \[1,,2,,3,,4,,5,,6,,7,,8,,9,,10,,11,,12,,13,,14,,15,,16,,17,,18\]. Such space-times are flat away from the singularities. In the second class of CFT backgrounds \[19,,20,,21,,22,,23,,24,,25,,26,,27\], gauged WZW models \[28,,29,,30,,31,,32\] which involve $`AdS_3SL(2,\mathrm{IR})`$, there are two types of singularities. The first is also of an orbifold nature, in these cases either an $`\mathrm{IR}^{1,1}/`$Boost or an extended BTZ-like singularity \[33,,34,,35,,36,,37\], whose global structure is that of AdS. The second is a Ricci curvature singularity where also the dilaton diverges. In what follows we focus on the quotient CFT background investigated in .

The attitude taken in these studies was to assume the validity of string perturbation theory, and to compute physical quantities by standard worldsheet techniques. Several intriguing results emerged . Strings were found to propagate through these singularities. Each expanding universe is connected to a pre collapsing universe at their corresponding big bang/crunch singularities – a pre big bang scenario (for a review, see ). Moreover, the compact cosmological models were found to be accompanied by static “whiskers,” which have a non-compact direction with a space-like linear dilaton. In the whiskers an $`S`$-matrix setup is possible. Boundary conditions can be set in a weak coupling asymptotic regime, determining the boundary conditions at the singularities. The entropy was found to be significantly reduced (relative to other theories with global AdS structure or with an asymptotic space-like linear dilaton). The whiskers also include closed time-like curves and time-like domain wall singularities.

In this work we present a larger class of models in which compact cosmologies are once again embedded in a non-compact space-time which includes whiskers. In this family of models one can gradually separate the curvature singularities from the BTZ-like singularities. The big bang/crunch curvature singularity can be removed by pushing the domain wall connected to it towards the boundary of the whisker, leaving behind an extended BTZ-like singularity at the times when a compact universe meets a whisker. The nature of the singularity may play a role in the important question regarding the validity of perturbation theory. A general argument is that as the universe collapses, a large amount of energy will eventually be concentrated near the space-like singularity, causing a large back reaction on the structure of the singularity \[39,,14,,17\]. As a consequence, this may affect the validity of perturbation theory \[15,,17\]. The extended BTZ-like singularities which appear in our family of quotient CFTs have an AdS structure which might affect the strength of the back reaction, and as a consequence, the question regarding the validity of perturbation theory.

The time-dependent string background studied in  is based on the $`\frac{SL(2,\mathrm{IR})\times SU(2)}{U(1)\times U(1)}`$ quotient CFT . As mentioned, it consists of a sequence of closed, expanding and recollapsing universes, each connected at its big bang and big crunch singularities to the whiskers . Observables in this string background are of two kinds. Wavefunctions localized near the closed universes correspond to vertex operators in the quotient CFT which are exponentially supported at the boundary of the whiskers. On the other hand, scattering states correspond to delta-function normalizable vertex operators. From the latter, one can construct linear combinations which describe incoming waves prepared in a certain whisker and scattered from the big bang/crunch singularities. Generically, these waves are partially reflected from the singularity. However, it was found that one can always prepare scattering waves which are fully reflected from the singularity. These are regular combinations of physical wavefunctions each of which develops a logarithmic singularity at the corresponding big bang/crunch.

In this note, we show that by turning on an Abelian gauge field one can remove the curvature singularities in the time-dependent background of \[21,,25\]. Removing such singularities was done previously by $`O(d,d,\mathrm{IR})`$ rotations of $`\frac{SL(2,\mathrm{IR})\times SU(2)}{U(1)\times U(1)}\times U(1)_x`$ in \[23,,24\] (for a review, see ). By turning on gauge fields one can remove the big bang and/or the big crunch curvature singularities. We show that by gradually turning on a gauge field one can “push” a big bang/crunch singularity and the domain wall singularity to which it is connected in the whisker (see  for details) towards the boundary of space-time. For particular values of the gauge field the background has no curvature singularity. On the other hand, extended BTZ-like orbifold singularities remain, unless the extra fifth dimension $`U(1)_x`$ is non-compact.

Here we study the cosmology of  in the presence of a gauge field by considering a three-parameter subfamily of the $`\frac{SL(2,\mathrm{IR})\times SU(2)\times U(1)}{U(1)\times U(1)}`$ quotient CFTs. This allows us to consider physical vertex operators in such backgrounds. We find that fully reflected uncharged wavefunctions exist if and only if there is a big bang or big crunch singularity from which they are scattered.

In section 2, we describe the geometry of the $`\frac{SL(2,\mathrm{IR})\times SU(2)\times U(1)}{U(1)\times U(1)}`$ sigma-model and the wavefunctions in this CFT background. In section 3, we discuss the singularities, their removal, and the corresponding behavior of the wavefunctions. Our main results are summarized in section 4. In appendix A, we present the relation between singularities in quotient CFT backgrounds and fixed points in the underlying sigma-model under a subgroup of the gauged isometry group.

2. $`[SL(2,\mathrm{IR})\times SU(2)\times U(1)]/U(1)^2`$

2.1. Geometry

We construct a $`5`$-dimensional time-dependent background by gauging the WZW model of the $`7`$-dimensional $`SL(2,\mathrm{IR})\times SU(2)\times U(1)`$ group manifold by a non-compact space-like $`U(1)\times U(1)`$ subgroup. Let $`(g,g^{},x)`$ be a point on the product group manifold and let $`k`$ and $`k^{}`$ be the levels of $`SL(2,\mathrm{IR})`$ and $`SU(2)`$ respectively. Here $`gSL(2,\mathrm{IR})`$, $`g^{}SU(2)`$ and $`x`$ denotes a point on the unit circle. The $`U(1)^2`$ gauge group acts as

$$(g,g^{},x_L,x_R)(e^{\rho \sigma _3/\sqrt{k}}ge^{\tau \sigma _3/\sqrt{k}},e^{i\rho ^{}\sigma _3/\sqrt{k^{}}}g^{}e^{i\tau ^{}\sigma _3/\sqrt{k^{}}},x_L+\rho ^{\prime \prime },x_R+\tau ^{\prime \prime }).$$

Since we gauge only $`U(1)^2`$ out of the three $`U(1)`$ right-handed generators in (2.1), the three parameters $`\tau ,\tau ^{}`$ and $`\tau ^{\prime \prime }`$ are not independent but rather are constrained by

$$\underset{¯}{v}\underset{¯}{\tau }v_1\tau +v_2\tau ^{}+v_3\tau ^{\prime \prime }=0,$$

where $`\underset{¯}{v}`$ is some real $`3`$-vector. The left-handed parameters $`\rho ,\rho ^{}`$ and $`\rho ^{\prime \prime }`$ in (2.1) depend linearly on the right-handed $`\tau `$ parameters. For an anomaly free gauging this dependence has to take the form

$$\underset{¯}{\rho }=R\underset{¯}{\tau },$$

where $`\underset{¯}{\rho }`$ is a $`3`$-vector with $`\rho ,\rho ^{}`$ and $`\rho ^{\prime \prime }`$ as components, similarly for $`\underset{¯}{\tau }`$, and $`R`$ is a $`3\times 3`$ orthogonal matrix. Apart from $`k`$, $`k^{}`$ and the radius of the circle parametrized by $`x`$, our model depends then on $`5`$ parameters, three of them fixing the matrix $`R`$ in (2.1), and two more fixing the vector $`\underset{¯}{v}`$, which is defined by (2.1) only up to a multiplication by a scalar.

To perform the gauging (2.1) one introduces dynamical fields $`\underset{¯}{\overset{^}{\rho }},\underset{¯}{\overset{^}{\tau }}`$ corresponding to the parameters $`\underset{¯}{\rho },\underset{¯}{\tau }`$, subject to the constraints

$$\underset{¯}{\overset{^}{\tau }}\underset{¯}{v}=\underset{¯}{\overset{^}{\rho }}R\underset{¯}{v}=0.$$

The gauged action is then defined by

$$\begin{array}{cc}\hfill S=& S[e^{\widehat{\rho }\sigma _3/\sqrt{k}}ge^{\widehat{\tau }\sigma _3/\sqrt{k}}]+S^{}[e^{i\widehat{\rho }^{}\sigma _3/\sqrt{k^{}}}g^{}e^{i\widehat{\tau }^{}\sigma _3/\sqrt{k^{}}}]+S^{\prime \prime }[x+\widehat{\rho }^{\prime \prime }+\widehat{\tau }^{\prime \prime }]\hfill \\ & \frac{1}{2\pi }d^2z(\underset{¯}{\overset{^}{\rho }}R\underset{¯}{\overset{^}{\tau }})^T(\overline{}\underset{¯}{\overset{^}{\rho }}R\overline{}\underset{¯}{\overset{^}{\tau }}).\hfill \end{array}$$

$`S[g]`$ is the WZW action of $`gSL(2)`$,

$$S[g]=\frac{k}{4\pi }[_\mathrm{\Sigma }Tr(g^1gg^1\overline{}g)\frac{1}{3}_BTr(g^1dg)^3],$$

where $`\mathrm{\Sigma }`$ is the string’s worldsheet and $`B`$ a $`3`$-submanifold of the group $`SL(2)`$ bounded by the image of $`\mathrm{\Sigma }`$. $`S^{}[g^{}]`$ is similarly defined for the group $`SU(2)`$,

$$S^{}[g^{}]=\frac{k^{}}{4\pi }[_\mathrm{\Sigma }Tr(g^1g^{}g^1\overline{}g^{})\frac{1}{3}_BTr(g^1dg^{})^3].$$

Finally

$$S^{\prime \prime }[x]=\frac{1}{2\pi }_\mathrm{\Sigma }x\overline{}x.$$

Apart from the constraints (2.1), $`\underset{¯}{\overset{^}{\rho }}`$ and $`\underset{¯}{\overset{^}{\tau }}`$ are independent fields. The action (2.1) is invariant under the gauge transformation (2.1) for the fields $`g,g^{}`$ and $`x`$ together with the transformation

$$\begin{array}{cc}& \underset{¯}{\overset{^}{\rho }}\underset{¯}{\overset{^}{\rho }}\underset{¯}{\rho }\hfill \\ & \underset{¯}{\overset{^}{\tau }}\underset{¯}{\overset{^}{\tau }}\underset{¯}{\tau }\hfill \end{array}$$

provided that the parameters $`\underset{¯}{\rho }`$ and $`\underset{¯}{\tau }`$ satisfy the relation (2.1). Using the Polyakov-Wiegmann identity one sees that the action (2.1) depends on $`\underset{¯}{\overset{^}{\rho }}`$ and $`\underset{¯}{\overset{^}{\tau }}`$ only through the quantities

$$\begin{array}{cc}& 𝐀=\underset{¯}{\overset{^}{\tau }}\hfill \\ & \overline{𝐀}=\overline{}\underset{¯}{\overset{^}{\rho }}\hfill \end{array}$$

The gauged action has then the form

$$S=S[g]+S^{}[g^{}]+S^{\prime \prime }[x]+\frac{1}{2\pi }d^2z[\overline{𝐉}^T𝐀+\overline{\lambda }𝐯^T𝐀+\overline{𝐀}^T𝐉+\lambda \overline{𝐀}^TR𝐯+2\overline{𝐀}^TM𝐀]$$

Here, $`𝐀^T`$ is the row vector $`(A,A^{},A^{\prime \prime })`$ defined in (2.1) consisting of the holomorphic components of the gauge fields of $`SL(2),SU(2)`$ and $`U(1)`$, respectively, with a similar definition for $`\overline{𝐀}`$. $`𝐉^T`$ is the row vector of the currents,

$$𝐉^T=(\sqrt{k}Tr[gg^1\sigma _3],i\sqrt{k^{}}Tr[g^{}g^1\sigma _3],2x)$$

Similarly, $`\overline{𝐉}^T`$ is

$$\overline{𝐉}^T=(\sqrt{k}Tr[g^1\overline{}g\sigma _3],i\sqrt{k^{}}Tr[g^1\overline{}g^{}\sigma _3],2\overline{}x)$$

The $`3\times 3`$ matrix $`M`$ in (2.1) is of the form,

$$M=\left(\begin{array}{ccc}\frac{1}{2}Tr[g^1\sigma _3g\sigma _3]& 0& 0\\ 0& \frac{1}{2}Tr[g^1\sigma _3g^{}\sigma _3]& 0\\ 0& 0& 1\end{array}\right)+R$$

$`\lambda `$ and $`\overline{\lambda }`$ are Lagrange multiplyers enforcing the constraint corresponding to (2.1) on $`\overline{𝐀}`$ and $`𝐀`$.

Since (2.1) is invariant under the gauge transformation (2.1) and (2.1), integrating out the fields $`𝐀,\overline{𝐀}`$ leaves an action depending on $`g,g^{},x`$, invariant under (2.1). Fixing this gauge invariance results in a $`5`$-dimensional sigma-model action containing the geometrical information of the resulting space-time.

Parametrize $`g`$ as

$$g=e^{\alpha \sigma _3}g(\theta _i)e^{\beta \sigma _3}$$

This parametrization is valid for any matrix $`g`$ with non-zero elements. The definition of the factor $`g(\theta _i)`$ depends on the region where $`g`$ is in the $`SL(2)`$ group manifold ,. Defining

$$W=Tr(\sigma _3g\sigma _3g^1)$$

$`g(\theta _1)`$ stands for $`e^{i\theta _1\sigma _2}`$ in regions of $`SL(2)`$ for which $`W`$ satisfies $`|W|2`$. The points of $`SL(2)`$ for which $`W>2`$ are divided into $`4`$ regions. There the factor $`g(\theta _2)`$ represents $`\pm e^{\pm \theta _2\sigma _1}`$. For the $`4`$ regions where $`W<2`$, $`g(\theta _3)=\pm i\sigma _2e^{\pm \theta _3\sigma _1}`$. At the point $`\theta _1=0`$, $`W=2`$. Here two of the regions parametrized by $`\theta _2`$ meet the region parametrized by $`\theta _1`$. Similarly, at $`\theta _1=\pi `$ the other two regions parametrized by $`\theta _2`$ meet the region parametrized by $`\theta _1`$. At $`\theta _1=\frac{\pi }{2}`$ $`(W=2)`$ two regions parametrized by $`\theta _3`$ meet the $`\theta _1`$ region and at $`\theta _1=\frac{3\pi }{2}`$ the other two $`\theta _3`$ regions meet the $`\theta _1`$ region. The range of $`\theta _{2,3}`$ is $`0\theta _{2,3}<\mathrm{}`$. For the group $`SL(2)`$, $`\theta _1`$ satisfies $`0\theta _12\pi `$. For the infinite cover of $`SL(2)`$, $`\theta _1`$ satisfies $`\mathrm{}<\theta _1<\mathrm{}`$.

Parametrize $`g^{}`$ by the Euler angles

$$g^{}=e^{i\alpha ^{}\sigma _3}e^{i\theta ^{}\sigma _2}e^{i\beta ^{}\sigma _3}$$

with $`0\alpha ^{}<2\pi ,0\theta ^{}\frac{\pi }{2},0\beta ^{}<\pi `$. In these terms the currents in (2.1) and (2.1), in regions where $`|W|2`$, take the form

$$𝐉^T=(2\sqrt{k}(\alpha +cos(2\theta _1)\beta ),2\sqrt{k^{}}(\alpha ^{}+cos(2\theta ^{})\beta ^{}),2x)$$

$$\overline{𝐉}^T=(2\sqrt{k}(\overline{}\beta +cos(2\theta _1)\overline{}\alpha ),2\sqrt{k^{}}(\overline{}\beta ^{}+cos(2\theta ^{})\overline{}\alpha ^{}),2\overline{}x)$$

In the regions where $`W>2`$, $`\theta _1`$ in (2.1), (2.1) should be replaced by $`i\theta _2`$. In the regions with $`W<2`$, substitute $`i\theta _3`$ for $`\theta _1\frac{\pi }{2}`$.

Fix the $`U(1)\times U(1)`$ gauge by the condition,

$$\alpha =\beta =0,$$

which is possible wherever the parametrization (2.1) is valid. The resulting $`5`$-dimensional manifold is parametrized by $`(\theta _i,\theta ^{},\alpha ^{},\beta ^{},x)`$. Generically, at points where the parametrization (2.1) is valid the manifold looks like a family of $`SU(2)\times S^1`$ manifolds parametrized by the continuous parameter $`\theta _i`$ in each of the regions of $`SL(2)`$ described above. At points corresponding to $`gSL(2)`$ with vanishing elements, including the points $`\theta _1=0,\frac{\pi }{2},\pi ,\frac{3\pi }{2}`$ where various regions meet, the gauge fixing (2.1) is not complete and has to be supplemented by a gauge condition on the $`SU(2)`$ or $`U(1)`$ part. Above these points the $`SU(2)\times S^1`$ manifold will be twisted by some extra identification.

The fixing (2.1) sets the first components of $`𝐉`$ and $`\overline{𝐉}`$ in (2.1) and (2.1) to zero. Substituting (2.1) into (2.1) then integrating out $`𝐀,\overline{𝐀},\lambda `$ and $`\overline{\lambda }`$ one gets the sigma-model action for the $`5`$-dimensional target space as,

$$\begin{array}{cc}\hfill S& =d^2z\{\frac{k}{2\pi }\theta _1\overline{}\theta _1+\frac{k^{}}{2\pi }(\theta ^{}\overline{}\theta ^{}+\alpha ^{}\overline{}\alpha ^{}+\beta ^{}\overline{}\beta ^{}+2cos(2\theta ^{})\alpha ^{}\overline{}\beta ^{})+\frac{1}{2\pi }x\overline{}x\hfill \\ \hfill & \frac{k^{}}{\pi }\left[(M^1)_{2,2}\frac{1}{v_m(M^1R)_{m,n}v_n}(M^1R)_{2,k}v_kv_lM_{l,2}^1\right](\alpha ^{}+cos(2\theta ^{})\beta ^{})(\overline{}\beta ^{}+cos(2\theta ^{})\overline{}\alpha ^{})\hfill \\ \hfill & \frac{\sqrt{k^{}}}{\pi }\left[(M^1)_{2,3}\frac{1}{v_m(M^1R)_{m,n}v_n}(M^1R)_{2,k}v_kv_lM_{l,3}^1\right]x(\overline{}\beta ^{}+cos(2\theta ^{})\overline{}\alpha ^{})\hfill \\ \hfill & \frac{\sqrt{k^{}}}{\pi }\left[(M^1)_{3,2}\frac{1}{v_m(M^1R)_{m,n}v_n}(M^1R)_{3,k}v_kv_lM_{l,2}^1\right](\alpha ^{}+cos(2\theta ^{})\beta ^{})\overline{}x\hfill \\ \hfill & \frac{1}{\pi }[(M^1)_{3,3}\frac{1}{v_m(M^1R)_{m,n}v_n}(M^1R)_{3,k}v_kv_lM_{l,3}^1]x\overline{}x\}\hfill \end{array}$$

The dilaton field $`\mathrm{\Phi }`$, defined such that the string coupling $`g_s`$ equals $`e^\mathrm{\Phi }`$, becomes in this geometry

$$\mathrm{\Phi }=\mathrm{\Phi }_0\frac{1}{2}\left[log(detM)+log(v_m(M^1R)_{m,n}v_n)\right]$$

In regions where $`W>2`$, $`\theta _1`$ in (2.1) should be replaced by $`i\theta _2`$. Similarly, in regions where $`W<2`$, $`\frac{\pi }{2}\theta _1`$ should be replaced by $`i\theta _3`$.

We focus on geometries which are essentially $`4`$-dimensional, namely, those for which the length of the extra circle parametrized by $`x`$ is constant. This will emerge if the parameters of the model are chosen such that the last term in (2.1), proportional to $`x\overline{}x`$, vanishes. This happens when we chose the vector $`\underset{¯}{v}`$ of the form

$$\underset{¯}{v}^T=(0,0,1)$$

This means, by (2.1), that no gauging is applied to $`x_R`$. Note that such a gauging can also be applied to heterotic backgrounds where the $`U(1)`$ symmetry may exist only from the left with no right-handed part from the start. Note also that with the choice (2.1), in addition to the term proportional to $`x\overline{}x`$, also the term proportional to $`(\alpha ^{}+cos(2\theta ^{})\beta ^{})\overline{}x`$ vanishes. The condition (2.1) selects a $`3`$-parameter family of models parametrized by $`R`$.

The dilaton field of (2.1) for this case is

$$\mathrm{\Phi }=\mathrm{\Phi }_0\frac{1}{2}log\left[1+R_{3,3}cos(2\theta _1)cos(2\theta ^{})+R_{1,1}cos(2\theta _1)+R_{2,2}cos(2\theta ^{})\right]$$

The action (2.1) becomes

$$\begin{array}{cc}\hfill S& =d^2z\{\frac{k}{2\pi }\theta _1\overline{}\theta _1+\frac{k^{}}{2\pi }(\theta ^{}\overline{}\theta ^{}+\alpha ^{}\overline{}\alpha ^{}+\beta ^{}\overline{}\beta ^{}+2cos(2\theta ^{})\alpha ^{}\overline{}\beta ^{})+\frac{1}{2\pi }x\overline{}x\hfill \\ \hfill & \frac{k^{}}{\pi }[\frac{1}{(cos(2\theta _1)+cos(2\theta ^{}))(R_{1,1}+R_{2,2})+(1+cos(2\theta _1)cos(2\theta ^{}))(1+R_{3,3})}\hfill \\ & \times [R_{1,1}+R_{2,2}+cos(2\theta _1)(1+R_{3,3})e^{2(\mathrm{\Phi }\mathrm{\Phi }_0)}(cos(2\theta _1)R_{2,3}R_{3,2})(R_{2,3}cos(2\theta _1)R_{3,2})]]\hfill \\ & \times (\alpha ^{}+cos(2\theta ^{})\beta ^{})(\overline{}\beta ^{}+cos(2\theta ^{})\overline{}\alpha ^{})\hfill \\ \hfill & \frac{\sqrt{k^{}}}{\pi }e^{2(\mathrm{\Phi }\mathrm{\Phi }_0)}(R_{3,2}cos(2\theta _1)R_{2,3})x(\overline{}\beta ^{}+cos(2\theta ^{})\overline{}\alpha ^{})\}\hfill \end{array}$$

where $`\mathrm{\Phi }`$ is the dilaton field defined in (2.1).

Expressing the matrix $`R`$ in terms of the Euler coordinates as

$$R=e^{\chi I_3}e^{\psi I_2}e^{\varphi I_3}=\left(\begin{array}{ccc}\mathrm{cos}\chi & \mathrm{sin}\chi & 0\\ \mathrm{sin}\chi & \mathrm{cos}\chi & 0\\ 0& 0& 1\end{array}\right)\left(\begin{array}{ccc}\mathrm{cos}\psi & 0& \mathrm{sin}\psi \\ 0& 1& 0\\ \mathrm{sin}\psi & 0& \mathrm{cos}\psi \end{array}\right)\left(\begin{array}{ccc}\mathrm{cos}\varphi & \mathrm{sin}\varphi & 0\\ \mathrm{sin}\varphi & \mathrm{cos}\varphi & 0\\ 0& 0& 1\end{array}\right)$$

where $`(I_i)_{j,k}=ϵ_{ijk}`$, we have for the dilaton field <sup>1</sup> This is the same dilaton as in  (for a review, see ).

$$\begin{array}{cc}\hfill \mathrm{\Phi }=& \mathrm{\Phi }_0\frac{1}{2}log[1+cos\psi cos(2\theta _1)cos(2\theta ^{})+(cos\psi cos\chi cos\varphi sin\chi sin\varphi )cos(2\theta _1)\hfill \\ & (cos\psi sin\chi sin\varphi cos\chi cos\varphi )cos(2\theta ^{})]\hfill \\ \hfill =& \mathrm{\Phi }_0^{}\frac{1}{2}log(cos^2\theta _1sin^2\theta ^{}\hfill \\ & +a^2cos^2\theta _1cos^2\theta ^{}+b^2sin^2\theta _1cos^2\theta ^{}+c^2sin^2\theta _1sin^2\theta ^{})\hfill \end{array}$$

where $`\mathrm{\Phi }_0^{}=\mathrm{\Phi }_0\frac{1}{2}log\left[(1cos\psi )(1cos(\chi \varphi ))\right]`$ and

$$a^2=\frac{(1+cos\psi )(1+cos(\chi +\varphi ))}{(1cos\psi )(1cos(\chi \varphi ))}$$

$$b^2=\frac{1+cos(\chi \varphi )}{1cos(\chi \varphi )}$$

$$c^2=\frac{(1+cos\psi )(1cos(\chi +\varphi ))}{(1cos\psi )(1cos(\chi \varphi ))}$$

The action in this parametrization is

$$\begin{array}{cc}\hfill S& =d^2z\{\frac{k}{2\pi }\theta _1\overline{}\theta _1+\frac{k^{}}{2\pi }(\theta ^{}\overline{}\theta ^{}+\alpha ^{}\overline{}\alpha ^{}+\beta ^{}\overline{}\beta ^{}+2cos(2\theta ^{})\alpha ^{}\overline{}\beta ^{})+\frac{1}{2\pi }x\overline{}x\hfill \\ \hfill & \frac{k^{}}{\pi }[\frac{1}{(1+cos\psi )[cos(2\theta _1)cos(2\theta ^{})+1+(cos(2\theta _1)+cos(2\theta ^{}))cos(\chi +\varphi )]}\hfill \\ & \times [(1+cos\psi )(cos(2\theta _1)+cos(\chi +\varphi ))\hfill \\ & e^{2(\mathrm{\Phi }\mathrm{\Phi }_0)}sin^2\psi (sin\varphi cos(2\theta _1)sin\chi )(cos(2\theta _1)sin\varphi sin\chi )]]\hfill \\ & \times (\alpha ^{}+cos(2\theta ^{})\beta ^{})(\overline{}\beta ^{}+cos(2\theta ^{})\overline{}\alpha ^{})\hfill \\ \hfill & \frac{\sqrt{k^{}}}{\pi }e^{2(\mathrm{\Phi }\mathrm{\Phi }_0)}sin\psi (sin\varphi cos(2\theta _1)sin\chi )x(\overline{}\beta ^{}+cos(2\theta ^{})\overline{}\alpha ^{})\}\hfill \end{array}$$

The coordinates $`\alpha ^{}`$ and $`\beta ^{}`$ as $`SU(2)`$ Euler angles are compact. $`\alpha ^{}+\beta ^{}`$ and $`\alpha ^{}\beta ^{}`$ are defined modulo $`2\pi `$. In regions for which $`W>2`$ replace $`\theta _1`$ by $`i\theta _2`$. For $`W<2`$ replace $`\frac{\pi }{2}\theta _1`$ by $`i\theta _3`$.

The model of ref.  is a special subset of the present family of models, corresponding to $`\psi =\pi `$ ($`a=c=0`$). The parameter $`\alpha `$ there is related to the present parametrization as $`\alpha =\chi \varphi \frac{\pi }{2}`$ ($`b^2=\frac{1\mathrm{sin}\alpha }{1+\mathrm{sin}\alpha }`$).

For large $`k,k^{}`$ and for small radius of the circle parametrized by $`x`$, the action (2.1) describes a $`4`$-dimensional space-time parametrized by $`(\theta _i,\theta ^{},\alpha ^{},\beta ^{})`$. The $`5`$-dimensional metric and antisymmetric tensor read from (2.1), produce a corresponding $`4`$-dimensional structure via the Kaluza-Klein mechanism. The term proportional to $`x(\overline{}\beta ^{}+cos(2\theta ^{})\overline{}\alpha ^{})`$ gives rise in $`4`$ dimensions to a $`U(1)`$ gauge field which couples to the momentum as well as to the winding along the $`x`$ circle. Equation (2.1) describes only the patch corresponding to $`|W|2`$, the full model contains also the other patches which have the same metric with $`\theta _1`$ replaced by $`i\theta _2`$ or $`\frac{\pi }{2}i\theta _3`$.

When $`a=c=0`$ the gauge field vanishes, and the $`4`$-dimensional background takes the form (for $`k=k^{}`$ in regions with $`|W|2`$):

$$\frac{1}{k}ds^2=d\theta _1^2+d\theta ^2+\frac{b^2\mathrm{cot}^2\theta ^{}}{b^2+\mathrm{tan}^2\theta _1\mathrm{cot}^2\theta ^{}}d\lambda _{}^2+\frac{\mathrm{tan}^2\theta _1}{b^2+\mathrm{tan}^2\theta _1\mathrm{cot}^2\theta ^{}}d\lambda _+^2$$

$$B_{\lambda _+,\lambda _{}}=\frac{kb^2}{b^2+\mathrm{tan}^2\theta _1\mathrm{cot}^2\theta ^{}}$$

$$\mathrm{\Phi }=\mathrm{\Phi }_0\frac{1}{2}\mathrm{log}(\mathrm{cos}^2\theta _1\mathrm{sin}^2\theta ^{}+b^2\mathrm{sin}^2\theta _1\mathrm{cos}^2\theta ^{})$$

where $`\alpha ^{}\pm \beta ^{}\lambda _\pm [0,2\pi )`$ and, again, in regions for which $`|W|>2`$ make the appropriate replacement for $`\theta _1`$. This is the one parameter family of $`4`$-dimensional time-dependent backgrounds with two Abelian isometries discussed in \[21,,23\]. It describes a series of closed, inhomogeneous expanding and recollapsing universes in $`1+3`$ dimensions. At the time $`\theta _1=0`$ (modulo $`\pi `$) there is a big bang singularity, while at $`\theta _1=\frac{\pi }{2}`$ (modulo $`\pi `$) there is a big crunch singularity.

More precisely, at the time $`\theta _1=0`$ and on the surface $`\theta ^{}=0`$ there is a curvature singularity and the dilaton goes to infinity. On the other hand, for generic $`\theta ^{}`$ there is an orbifold singularity, and the dilaton is finite. The orbifold singularity is a BTZ-like \[33,,34\], namely, an orbifold of $`SL(2,\mathrm{IR})`$ where we identify $`ge^{\pi \sigma _3}ge^{\pi \sigma _3}`$, $`gSL(2,\mathrm{IR})`$<sup>2</sup> This can be obtained from the discussion near eq. (3.5) in . Similarly, at the time $`\theta _1=\pi /2`$ there is a BTZ-like singularity of the axial type $`ge^{\pi \sigma _3}ge^{\pi \sigma _3}`$, except on the surface $`\theta ^{}=\pi /2`$ where there is a curvature singularity and the dilaton blows up.

These universes are connected to non-compact static “whiskers”  at the big bang/crunch singularities. The geometry of the whiskers with $`W>2`$, attached at $`\theta _1=0`$, is described by the metric (2.1) with $`i\theta _2`$ substituted for $`\theta _1`$. For any value of $`\theta _1,\lambda _+,\lambda _{}`$ this geometry is singular for $`\theta ^{}[0,\frac{\pi }{2}]`$ satisfying

$$cot\theta ^{}=\frac{b}{tanh\theta _2}$$

The whisker is static and contains a singular “domain wall,” starting at the big bang singularity at $`\theta _2=0`$ extending to infinity where $`\theta _2`$ tends to $`\mathrm{}`$. Crossing this wall in the whisker, the role of time is exchanged between $`\lambda _+`$ and $`\lambda _{}`$. Similarly, the whiskers with $`W<2`$ are described by the geometry (2.1) with $`\frac{\pi }{2}i\theta _3`$ substituted for $`\theta _1`$. Again, there is a singular domain wall extending from the big crunch point at $`\theta _1=\frac{\pi }{2}`$ which is the same point as $`\theta _3=0`$, towards infinity of $`\theta _3`$, which is described by the equation

$$cot\theta ^{}=\frac{b}{coth\theta _3}$$

Non-zero parameters $`a`$ and $`c`$ (2.1), (2.1) correspond to turning on two components of an Abelian gauge field in the universe (2.1) – (2.1). Generically, these remove the big bang/crunch curvature singularities \[23,,24\], as we shall discuss in section 3. Such backgrounds can be described by a $`3`$-parameter sub-family of $`O(2,3,\mathrm{IR})`$ rotations of the direct product of a two-dimensional black-hole ($`SL(2,\mathrm{IR})/U(1)`$) with a parafermion sigma-model ($`SU(2)/U(1)`$) and a circle ($`U(1)`$) \[23,,24\] (for a review, see ).

2.2. Wavefunctions

The realization of the model as a quotient of a group manifold enables one to express vertex operators in terms of those of the ungauged WZW model . A typical vertex operator on $`SL(2,\mathrm{IR})\times SU(2)\times U(1)`$ which is unexcited in the $`g,g^{}`$ directions but may wind around the $`x`$ circle is of the form

$$V_{m,m^{},q;\overline{m},\overline{m}^{},\overline{q}}^{j,j^{}}=K_{m,\overline{m}}^j(g)D_{m^{},\overline{m}^{}}^j^{}(g^{})e^{i(qx_L+\overline{q}x_R)}$$

Here $`K_{m,\overline{m}}^j(g)`$ is the matrix element of $`gSL(2,\mathrm{IR})`$ in the representation with the value $`j(j+1)`$ for the Casimir operator, between states with eigenvalues $`m`$ and $`\overline{m}`$ for the infinitesimal generator corresponding to $`\frac{1}{2}\sigma _3`$<sup>3</sup> A representation from the continuous series of the infinite cover of $`SL(2,\mathrm{IR})`$ is not completely determined by the value of $`j`$, an additional phase is required to specify it. Also for these representations to each value of $`m`$ corresponds a $`2`$-dimensional subspace; another $`Z_2`$ variable is required to fix a state. In that case $`K_{m,\overline{m}}^j(g)`$ means to depend also on those extra variables (see  for details). $`D_{m^{},\overline{m}^{}}^j^{}(g^{})`$ is similarly defined for $`SU(2)`$.

Applying the gauge transformation (2.1) to $`(g,g^{},x)`$ the operator $`V_{m,m^{},q;\overline{m},\overline{m}^{},\overline{q}}^{j,j^{}}`$ gets multiplied by

$$exp[i(\frac{m}{\sqrt{k}}\rho +\frac{m^{}}{\sqrt{k^{}}}\rho ^{}+q\rho ^{\prime \prime }+\frac{\overline{m}}{\sqrt{k}}\tau +\frac{\overline{m}^{}}{\sqrt{k^{}}}\tau ^{}+\overline{q}\tau ^{\prime \prime })]$$

On the coset, only those vertex operators for which this phase equals to $`1`$ are allowed. Taking (2.1) into account we get a constraint on the allowed charges for a vertex operator. In matrix notation this reads

$$(\frac{m}{\sqrt{k}},\frac{m^{}}{\sqrt{k^{}}},q)R+(\frac{\overline{m}}{\sqrt{k}},\frac{\overline{m}^{}}{\sqrt{k^{}}},\overline{q})=0$$

Here $`m^{},\overline{m}^{}`$ are quantized to be half integral and $`q,\overline{q}`$ are quantized on the Narain lattice $`\mathrm{\Gamma }^{1,1}`$.

3. Removing Singularities

3.1. Geometry

As mentioned in section 2, when the gauge field vanishes ($`a=c=0`$) the background (2.1) – (2.1) describes a $`4`$-dimensional closed universe (2.1) – (2.1). This universe is singular at $`\theta _1=\theta ^{}=0`$ (a big bang singularity) and at $`\theta _1=\theta ^{}=\frac{\pi }{2}`$ (a big crunch singularity). These singularities can be seen, for instance, by inspecting the behavior of the dilaton (2.1) when $`a=c=0`$. Their origin is the presence of points on the group manifold which are fixed under a continuous subgroup of the $`U(1)^2`$ gauge group (see appendix A). Singular domain walls, extending into the whiskers, are attached to these big bang singularities. The domain walls emerge where the $`2`$-dimensional gauged orbit becomes null  (see appendix A). Turning on the gauge field generically removes the big bang/crunch singularities and pushes the domain walls into the whiskers. Next we discuss such singularities by inspecting the dilaton, and describe their relations with fixed points under subgroups of the gauged $`U(1)^2`$.

The dilaton field (2.1) is generically regular throughout the region $`|W|2`$. It develops singularities at some special points on the boundary of this region, only for some two-dimensional subsets of the three-dimensional parameter space $`R`$. At the point $`(\theta _1,\theta ^{})=(0,0)`$ there is a singularity in (2.1) for matrices $`R`$ with $`\chi +\varphi =\pi `$ ($`a=0`$). At the point $`(\theta _1,\theta ^{})=(\frac{\pi }{2},\frac{\pi }{2})`$ there is a singularity for $`\chi +\varphi =0`$ ($`c=0`$). At the point $`(\theta _1,\theta ^{})=(0,\frac{\pi }{2})`$ singularity appears when $`\chi \varphi =0`$ ($`a,b,c\mathrm{}`$). Finally, at $`(\theta _1,\theta ^{})=(\frac{\pi }{2},0)`$ the subset of models with $`\chi \varphi =\pi `$ ($`b=0`$) form a singularity.

These singularities correspond to the presence of points on the original group manifold which are fixed under some continuous subgroup of the $`U(1)^2`$ gauge group. Thus the point $`(\theta _1,\theta ^{})=(0,0)`$ corresponds to $`g(\theta )=g^{}(\theta ^{})=1`$. This point is invariant under the subgroup of the gauge transformations (2.1) for which $`\rho =\tau ,\rho ^{}=\tau ^{}`$ and $`\rho ^{\prime \prime }=0`$. This is consistent with the condition (2.1) only for matrices $`R`$ for which there exists a vector of the form $`(\rho ,\rho ^{},0)`$ which is rotated by $`R`$ into $`(\rho ,\rho ^{},0)`$. This implies that this vector is the axis of rotation for the matrix $`e^{\pi I_3}R`$. For a matrix of the form $`e^{\chi I_3}e^{\psi I_2}e^{\varphi I_3}`$ the condition that the axis of rotation lies in the $`(1,2)`$ plane is $`\chi +\varphi =0`$. Hence a singularity at the point $`\theta _1=\theta ^{}=0`$ develops only for $`R`$ with $`\chi +\varphi =\pi `$. For the same reason the point $`(\theta _1,\theta ^{})=(\frac{\pi }{2},\frac{\pi }{2})`$, corresponding to $`g(\theta )=g^{}(\theta ^{})=i\sigma _2`$ which is fixed by transformations with $`\rho =\tau ,\rho ^{}=\tau ^{}`$ and $`\rho ^{\prime \prime }=0`$, becomes singular only for models with $`\chi +\varphi =0`$. Similarly, the point $`(\theta _1,\theta ^{})=(0,\frac{\pi }{2})`$ is invariant under a $`U(1)`$ subgroup of (2.1) only for a matrix $`R`$ which takes the vector $`(\rho ,\rho ^{},0)`$ into $`(\rho ,\rho ^{},0)`$. The matrix $`e^{\pi I_2}R`$ has then its axis in the $`(1,2)`$ plane. This implies the condition $`\chi \varphi =0`$ on $`R`$. The same reasoning shows that the condition for singularity at $`(\theta _1,\theta ^{})=(\frac{\pi }{2},0)`$ should be $`\chi \varphi =\pi `$.

Yet smaller families of models correspond to the restrictions $`\psi =0`$ or $`\psi =\pi `$. At $`\psi =0`$ the parametrization (2.1) is redundant, there is no distinction between $`\chi `$ and $`\varphi `$, rather we have a one-parameter family of angle $`\chi +\varphi `$ rotations in the $`(1,2)`$ plane. For this family, both the points $`(0,\frac{\pi }{2})`$ and $`(\frac{\pi }{2},0)`$ are fixed points, hence singular, but not the points $`(0,0)`$ and $`(\frac{\pi }{2},\frac{\pi }{2})`$. The models corresponding to $`\psi =\pi `$ ($`a=c=0`$) form another one-parameter family of angle $`\chi \varphi `$ rotations followed by a reflection in the $`(1,2)`$ plane. In this case, corresponding to ref. , both the points $`(0,0)`$ and $`(\frac{\pi }{2},\frac{\pi }{2})`$ are singular but not the points $`(0,\frac{\pi }{2})`$ and $`(\frac{\pi }{2},0)`$.

In regions where $`|W|>2`$ the dilaton is given by (2.1) with $`cos(2\theta _1)`$ replaced either by $`cosh(2\theta _2)`$ (when $`W>2`$) or by $`cosh(2\theta _3)`$ (when $`W<2`$). For a given value of $`\theta ^{}`$ the dilaton becomes singular when

$$cosh(2\theta _2)=\frac{1+cos(2\theta ^{})R_{2,2}}{R_{1,1}+cos(2\theta ^{})R_{3,3}}\mathrm{for}W>2,$$

$$cosh(2\theta _3)=\frac{1+cos(2\theta ^{})R_{2,2}}{R_{1,1}+cos(2\theta ^{})R_{3,3}}\mathrm{for}W<2.$$

In particular, in models for which

$$R_{1,1}>|R_{3,3}|$$

there is no singularity in the dilaton in the whiskers with $`W>2`$ for any $`\theta _2,\theta ^{}`$. Similarly for $`W<2`$ there will be no singularity if

$$R_{1,1}<|R_{3,3}|.$$

The condition (3.1) is equivalent to

$$a^2>b^2,c^2<1,$$

as can be seen from the relations

$$\frac{b^2}{a^2}=\frac{(1+R_{2,2})(R_{1,1}+R_{3,3})}{(1+R_{2,2})+(R_{1,1}+R_{3,3})}$$

$$c^2=\frac{(1R_{2,2})(R_{1,1}R_{3,3})}{(1R_{2,2})+(R_{1,1}R_{3,3})}$$

Similarly, condition (3.1) is the same as

$$c^2>1,a^2<b^2.$$

Hence, starting with a cosmological background (2.1) – (2.1) specified by the parameter $`b`$, we can gradually “push,” say, a big bang singularity and the domain wall singularity to which it is connected in the whisker <sup>4</sup> See  for details. with $`W>2`$ to infinity, by turning on a gauge field, parametrized by $`a,c`$, keeping $`|c|<1`$ and increasing $`|a|`$ till it reaches $`|a|=|b|`$. Once condition (3.1) is obtained there is no singularity at all in the whisker. A domain wall singularity will still exist in the whiskers corresponding to $`W<2`$. The singularities are pushed to infinity in all the whiskers for the choice

$$R_{1,1}=R_{3,3}=0,$$

corresponding to $`\psi =\frac{\pi }{2},\varphi =0`$ in (2.1), or equivalently

$$a^2=b^2,c^2=1.$$

A particularly simple background emerges when choosing out of the models satisfying (3.1) the one with

$$R=\left(\begin{array}{ccc}0& 1& 0\\ 0& 0& 1\\ 1& 0& 0\end{array}\right).$$

This corresponds to $`\psi =\frac{\pi }{2},\varphi =0,\chi =\frac{\pi }{2}`$, or $`a^2=b^2=c^2=1`$. For this background the dilaton becomes constant, $`\mathrm{\Phi }=\mathrm{\Phi }_0`$. The action in the region where $`|W|<2`$ turns out to be

$$\begin{array}{cc}\hfill S& =d^2z\{\frac{k}{2\pi }\theta _1\overline{}\theta _1+\frac{k^{}}{2\pi }(\theta ^{}\overline{}\theta ^{}+\alpha ^{}\overline{}\alpha ^{}+\beta ^{}\overline{}\beta ^{}+2cos(2\theta ^{})\alpha ^{}\overline{}\beta ^{})+\frac{1}{2\pi }x\overline{}x\hfill \\ \hfill +& \frac{\sqrt{k^{}}}{\pi }cos(2\theta _1)x(\overline{}\beta ^{}+cos(2\theta ^{})\overline{}\alpha ^{})\}\hfill \end{array}$$

This corresponds to the ordinary metric and antisymmetric tensor of $`SU(2)`$ times the one-dimensional time-like $`\theta _1`$ direction times the $`x`$ circular fibre, with a gauge field. At the point $`\theta _1=0`$ the region $`W>2`$ is attached. There also the dilaton is constant and the action is (3.1) with $`i\theta _2`$ substituted for $`\theta _1`$. In this region $`\theta _2`$ is a space-like coordinate, while a combination of $`x,\alpha `$ and $`\beta `$ becomes time-like. Similarly, another constant dilaton whisker parametrized by $`\theta _3`$ is attached at $`\theta _1=\frac{\pi }{2}`$.

We have seen that for a generic $`R`$ matrix the points fixed by a continuous $`U(1)`$ subgroup of gauge transformations are removed, together with their associated curvature and dilaton singularities. Yet the presence of a compact $`x`$ circle does not remove orbifold type of fixed points, namely, points fixed under a discrete, infinite subgroup of gauge transformations (see appendix A). Let $`r`$ be the radius of the circle parametrized by $`x`$. The gauge parameters $`\rho ^{},\tau ^{}`$ in (2.1) are only defined modulo $`2\pi /\sqrt{k^{}}`$, while $`\rho ^{\prime \prime },\tau ^{\prime \prime }`$ are defined modulo $`2\pi r`$. The $`4`$-dimensional surface on the $`SL(2)\times SU(2)\times U(1)`$ group manifold corresponding to $`g(\theta )=1`$, i.e. $`\theta =0`$, is then invariant under a gauge transformation of the form (2.1) for which $`\rho =\tau ,\rho ^{}=2\pi m/\sqrt{k^{}},\tau ^{}=2\pi n/\sqrt{k^{}},\rho ^{\prime \prime }=2\pi lr,\tau ^{\prime \prime }=2\pi sr`$, for $`m,n,l,s`$ integers. Such a gauge transformation has also to satisfy (2.1). Our choice (2.1) fixes $`\tau ^{\prime \prime }`$ to $`0`$. The matrix $`R`$ has then to take a vector of the form $`(\tau ,2\pi n/\sqrt{k^{}},0)`$ to the vector $`(\tau ,2\pi m/\sqrt{k^{}},2\pi lr)`$. If $`r\sqrt{k^{}}`$ and the elements of $`R`$ are rational, then there exist large enough integers $`m,n`$ and $`l`$ which satisfy this condition. Of course, if $`m,n,l`$ satisfy it, so do any multiplication of them by a common integer. Hence the points on the surface corresponding to $`g(\theta )=1`$ are fixed by an infinite, discrete set of gauge transformations. Otherwise, if the number $`r\sqrt{k^{}}`$ or some elements of $`R`$ are non-rational, any point on this surface is “almost” a fixed point in the sense that there exists a gauge transformation taking it to a point arbitrarily close to itself. A similar surface of fixed, or almost fixed, points under a discrete subgroup exists at $`\theta =\pi /2`$. However, eq. (2.1) implies that these orbifold fixed points do not induce any singularity in the dilaton.

The orbifold singularities are BTZ-like \[33,,34\]. This can be seen, for instance, in the example (3.1), where the curvature singularities are removed completely, as follows. For simplicity, consider the case $`k=k^{}`$. On the whisker, say $`W>2`$, the 4-dimensional slice at $`\theta ^{}=\pi /4`$ has the line element:

$$ds^2=k\left((d\alpha ^{})^2+d\theta _2^2+\mathrm{cosh}^2\theta _2d\lambda _{}^2\mathrm{sinh}^2\theta _2d\lambda _+^2\right),$$

where

$$\lambda _\pm =\beta ^{}\pm \frac{1}{\sqrt{k}}x.$$

This is obtained from eq. (3.1) with $`\theta _1i\theta _2`$, and at $`\theta ^{}=\pi /4`$. The background (3.1) is the same as the “whisker” of an extended BTZ black hole (for instance, compare to eq. (37) in ) times an interval in $`\alpha ^{}`$. In particular, the singularity at $`\theta _2=0`$ is BTZ-like.

Finally, we note that when $`x`$ is non-compact, the orbifold singularities are also removed. Equivalently, it is the compactification of the fifth direction $`x`$ which introduces the orbifold singularities. When $`x`$ is non-compact such backgrounds have some similarities with the “null brane” orbifolds introduced in \[4,,9\].

3.2. Wavefunctions

The wavefunctions $`K_{m,\overline{m}}^j(g)`$ develop a logarithmic singularity <sup>5</sup> Recall that in this case a certain linear combination  of the wavefunctions is regular and describes an incoming wave from the boundary of the whisker which is fully reflected . if and only if $`|m|=|\overline{m}|`$ (see  for details). In this subsection we show that singular uncharged wavefunctions exist if and only if the closed universes have a big bang and/or big crunch curvature singularities.

If we require $`m=\overline{m}`$ for a vertex operator with $`q=\overline{q}=0`$, eq. (2.1) implies $`m^{}=\pm \overline{m}^{}`$. The $`m^{}=\overline{m}^{}`$ solution is possible only for a matrix $`R`$ in (2.1) such that $`R^T`$ takes the vector $`(m,m^{},0)`$ into $`(m,m^{},0)`$. This implies that the axis of rotation of the matrix $`e^{\pi I_3}R^T`$ lies in the $`(1,2)`$ plane. For $`R`$ parametrized as in (2.1) this condition reads $`\chi +\varphi =\pi `$. As discussed in the previous subsection, the geometry corresponding to such an $`R`$ is singular at the point $`(\theta _1,\theta ^{})=(0,0)`$. Similarly the solution with $`m^{}=\overline{m}^{}`$ is possible for a matrix $`R`$ with $`\chi \varphi =0`$, which gives rise to a background geometry singular at $`(\theta _1,\theta ^{})=(0,\frac{\pi }{2})`$. The function $`K_{m,\overline{m}}^j(g)`$ for $`m=\overline{m}`$ has indeed a logarithmic singularity at $`\theta _1=0`$ (see \[42,,25\] for details). We see then that, when $`q=\overline{q}=0`$, condition (2.1) allows for a singular behavior of the vertex operator only in the non-generic case of a singular background geometry. Under the same condition, $`q=\overline{q}=0`$, a vertex operator with $`m=\overline{m}`$ must, by (2.1), have $`m^{}=\pm \overline{m}^{}`$. This is only possible for an $`R`$ matrix with $`\chi \varphi =\pi `$ or $`\chi +\varphi =0`$. Both cases give rise to a background geometry with singularity at $`\theta _1=\frac{\pi }{2}`$. Again, the vertex operator $`K_{m,\overline{m}}^j(g)`$ with $`m=\overline{m}`$ has a singularity at $`\theta _1=\frac{\pi }{2}`$. The singular operator is allowed only for a singular geometry.

If $`q`$ and $`\overline{q}`$ are non-zero, one can have $`m=\pm \overline{m}`$ together with condition (2.1) for many $`R`$ matrices which give rise to background geometries without big bang/crunch curvature singularities. The vertex operator shows then a singular behavior at $`\theta _1=0`$ or $`\theta _1=\frac{\pi }{2}`$ even when at these times there are no curvature singularities. Note however that these operators represent Kaluza-Klein ultra-heavy excitations from four-dimensional point of view.

4. Summary

In this paper we have turned on gauge fields in the four-dimensional family of extended universes ,  (parametrized by $`b^2=\frac{1\mathrm{sin}\alpha }{1+\mathrm{sin}\alpha }`$ \[21,,23,,24\]). This was done within the exact CFT backgrounds corresponding to $`\frac{SL(2)_k\times SU(2)_k^{}\times U(1)_x}{U(1)\times U(1)}`$ quotients. By a Kaluza-Klein reduction from five to four dimensions, one obtains a four dimensional time-dependent background with an Abelian gauge field (when $`k,k^{}`$ are much bigger than the compactification radius of $`x`$).

We found that turning on a generic gauge field (parametrized by $`(a,c)`$) results in pushing the curvature big bang/crunch singularities and the domain walls connected to them towards the boundary of the whiskers. By tuning the gauge field ($`|a||b|`$, $`|c|1`$) the curvature singularities are removed completely and the dilaton is finite everywhere.

An orbifold singularity similar to an extended BTZ singularity remains at a time when a compact universe meets a whisker. On the other hand, if $`U(1)_x`$ is non-compact, in which case the time-dependent background is five-dimensional, the orbifold singularities are removed.

Finally, using the methods of , we found that uncharged incoming wavefunctions from the whiskers can be fully reflected if and only if there is a big bang/crunch curvature singularity, from which they are scattered, where in particular the dilaton blows up.

Acknowledgements: We thank G. Veneziano for raising a question which led to this work. We thank V. Balasubramanian, B. Kol, A. Konechny, D. Kutasov, E. Martinec, M. Roček, N. Seiberg and A. Sever for discussions. This work is supported in part by BSF – American-Israel Bi-National Science Foundation, the Israel Academy of Sciences and Humanities – Centers of Excellence Program, the German-Israel Bi-National Science Foundation, and the European RTN network HPRN-CT-2000-00122. E.R. acknowledges also the support of the Miller Institute – UC Berkeley.

Appendix A. Singularities in Quotients

In this appendix, we explain the relation between singularities in quotient CFT backgrounds and fixed points in the underlying manifold under the action of a subgroup of the gauged group.

The motion of a string on a sigma-model background is described by the the action

$$d^2zE_{\mu ,\nu }x^\mu \overline{}x^\nu ,$$

where $`x^\mu `$ are some coordinates on the target-space manifold and

$$E_{\mu ,\nu }=G_{\mu ,\nu }+B_{\mu ,\nu }.$$

Here $`ds^2=G_{\mu ,\nu }dx^\mu dx^\nu `$ is the line element and $`B_{\mu ,\nu }dx^\mu dx^\nu `$ a $`2`$-form. A dilaton $`\mathrm{\Phi }_0`$ is also present.

Let $`H`$ be a $`d`$-dimensional isometry group of target-space. The action of $`H`$ is generated by $`d`$ Killing vector fields $`\xi _{(\alpha )},\alpha =1,..,d`$, which are generically independent. Gauging away this action amounts to replacing the action (A.1) by

$$d^2zE_{\mu ,\nu }[x^\mu +\underset{\alpha }{}A_{(\alpha )}\xi _{(\alpha )}^\mu ][\overline{}x^\nu +\underset{\beta }{}\overline{A}_{(\beta )}\xi _{(\beta )}^\nu ],$$

where, as in section 2, $`(A_{(\alpha )},\overline{A}_{(\alpha )})`$ are $`d`$ gauge fields for the $`d`$ isometries. Integrating out these gauge fields yields the effective $`\stackrel{~}{E}=\stackrel{~}{G}+\stackrel{~}{B}`$ quadratic form corresponding to the gauged sigma-model in the space of orbits in the underlying manifold generated by the action of $`H`$. Define the $`d\times d`$ matrix

$$M_{(\alpha ),(\beta )}=\xi _{(\alpha )}^\mu E_{\mu ,\nu }\xi _{(\beta )}^\nu .$$

The Gaussian integration of (A.1) over the gauge fields gives:

$$\stackrel{~}{E}_{\mu ,\nu }=E_{\mu ,\nu }\underset{\alpha ,\beta }{}E_{\mu ,\rho }\xi _{(\alpha )}^\rho (M^1)_{(\alpha ),(\beta )}\xi _{(\beta )}^\tau E_{\tau ,\nu }.$$

By construction

$$\xi _{(\alpha )}^\mu \stackrel{~}{E}_{\mu ,\nu }=\stackrel{~}{E}_{\mu ,\nu }\xi _{(\alpha )}^\nu =0$$

for every $`\alpha `$, namely, the gauged action is insensitive to motion along the gauge orbits. The contribution to the dilaton from this integration is

$$\mathrm{\Phi }=\mathrm{\Phi }_0\frac{1}{2}log(detM).$$

At a point on the underlying manifold which is fixed under the action of some continuous subgroup of $`H`$, the $`d`$ Killing vectors $`\xi _{(\alpha )}`$ are not independent. On the orbit corresponding to such a point $`detM=0`$, hence both the dilaton $`\mathrm{\Phi }`$ in (A.1) and the quadratic form $`\stackrel{~}{E}`$ of (A.1) become singular.

If the original metric $`G`$ on the underlying manifold is not positive definite, a singularity may occur even for points which are not fixed. At such a point the $`d`$ Killing vectors are independent; no combination of the $`\xi _{(\alpha )}`$ vanishes. Still, some combination $`\xi =_\alpha a_{(\alpha )}\xi _{(\alpha )}`$ may become a non-zero null vector which happens to satisfy $`\xi ^\mu E_{\mu ,\nu }\xi _{(\alpha )}^\nu =0`$ for every $`\alpha `$. Then again $`detM=0`$ and $`\mathrm{\Phi }`$ and $`\stackrel{~}{E}`$ become singular. This is the origin of the “domain wall” singularities referred to in eqs. (2.1), (2.1).

Unlike the behavior near points fixed under continuous symmetry or near domain walls, where the dilaton blows up approaching them, points fixed under a discrete subgroup have a different geometrical influence. At least as far as leading behavior in $`\alpha ^{}`$ is concerned, no sign of a singularity is felt arbitrarily close to the fixed point. The singular behavior occurs only at the fixed point itself. Such are the orbifold type points discussed in section 3.

References

relax G. T. Horowitz and A. R. Steif, “Strings In Strong Gravitational Fields,” Phys. Rev. D 42, 1950 (1990). relax G. T. Horowitz and A. R. Steif, “Singular String Solutions With Nonsingular Initial Data,” Phys. Lett. B 258, 91 (1991). relax J. Khoury, B. A. Ovrut, N. Seiberg, P. J. Steinhardt and N. Turok, “From big crunch to big bang,” Phys. Rev. D 65, 086007 (2002) \[arXiv:hep-th/0108187\]. relax J. Figueroa-O’Farrill and J. Simon, “Generalized supersymmetric fluxbranes,” JHEP 0112, 011 (2001) \[arXiv:hep-th/0110170\]. relax N. Seiberg, “From big crunch to big bang - is it possible?,” arXiv:hep-th/0201039. relax V. Balasubramanian, S. F. Hassan, E. Keski-Vakkuri and A. Naqvi, “A space-time orbifold: A toy model for a cosmological singularity,” arXiv:hep-th/0202187. relax L. Cornalba and M. S. Costa, “A New Cosmological Scenario in String Theory,” Phys. Rev. D 66, 066001 (2002) \[arXiv:hep-th/0203031\]. relax N. A. Nekrasov, “Milne universe, tachyons, and quantum group,” arXiv:hep-th/0203112. relax J. Simon, “The geometry of null rotation identifications,” JHEP 0206, 001 (2002) \[arXiv:hep-th/0203201\]. relax E. Kiritsis and B. Pioline, “Strings in homogeneous gravitational waves and null holography,” JHEP 0208, 048 (2002) \[arXiv:hep-th/0204004\]. relax A. J. Tolley and N. Turok, “Quantum fields in a big crunch / big bang spacetime,” arXiv:hep-th/0204091. relax H. Liu, G. Moore and N. Seiberg, “Strings in a time-dependent orbifold,” JHEP 0206, 045 (2002) \[arXiv:hep-th/0204168\]. relax L. Cornalba, M. S. Costa and C. Kounnas, “A resolution of the cosmological singularity with orientifolds,” Nucl. Phys. B 637, 378 (2002) \[arXiv:hep-th/0204261\]. relax A. Lawrence, “On the instability of 3D null singularities,” arXiv:hep-th/0205288. relax H. Liu, G. Moore and N. Seiberg, “Strings in time-dependent orbifolds,” JHEP 0210, 031 (2002) \[arXiv:hep-th/0206182\]. relax M. Fabinger and J. McGreevy, “On smooth time-dependent orbifolds and null singularities,” arXiv:hep-th/0206196. relax G. T. Horowitz and J. Polchinski, “Instability of spacelike and null orbifold singularities,” arXiv:hep-th/0206228. relax J. Simon, “Null orbifolds in AdS, time dependence and holography,” arXiv:hep-th/0208165. relax P. Horava, “Some exact solutions of string theory in four-dimensions and five-dimensions,” Phys. Lett. B 278, 101 (1992) \[arXiv:hep-th/9110067\]. relax C. Kounnas and D. Lust, “Cosmological string backgrounds from gauged WZW models,” Phys. Lett. B 289, 56 (1992) \[arXiv:hep-th/9205046\]. relax C. R. Nappi and E. Witten, “A Closed, expanding universe in string theory,” Phys. Lett. B 293, 309 (1992) \[arXiv:hep-th/9206078\]. relax I. Bars and K. Sfetsos, “$`SL(2,\mathrm{IR})\times SU(2)/\mathrm{IR}^2`$ string model in curved space-time and exact conformal results,” Phys. Lett. B 301, 183 (1993) \[arXiv:hep-th/9208001\]. relax A. Giveon and A. Pasquinucci, “On cosmological string backgrounds with toroidal isometries,” Phys. Lett. B 294, 162 (1992) \[arXiv:hep-th/9208076\]. relax M. Gasperini, J. Maharana and G. Veneziano, “Boosting away singularities from conformal string backgrounds,” Phys. Lett. B 296, 51 (1992) \[arXiv:hep-th/9209052\]. relax S. Elitzur, A. Giveon, D. Kutasov and E. Rabinovici, “From big bang to big crunch and beyond,” JHEP 0206, 017 (2002) \[arXiv:hep-th/0204189\]. relax B. Craps, D. Kutasov and G. Rajesh, “String propagation in the presence of cosmological singularities,” JHEP 0206, 053 (2002) \[arXiv:hep-th/0205101\]. relax A. Buchel, P. Langfelder and J. Walcher, “On time-dependent backgrounds in supergravity and string theory,” arXiv:hep-th/0207214. relax K. Bardakci, E. Rabinovici and B. Saering, “String Models With $`C<1`$ Components,” Nucl. Phys. B 299, 151 (1988). relax D. Altschuler, K. Bardakci and E. Rabinovici, “A Construction Of The $`C<1`$ Modular Invariant Partition Functions,” Commun. Math. Phys. 118, 241 (1988). relax W. Nahm, “Gauging Symmetries Of Two-Dimensional Conformally Invariant Models,” UCD-88-02. relax K. Gawedzki and A. Kupiainen, “Coset Construction From Functional Integrals,” Nucl. Phys. B 320, 625 (1989). relax D. Karabali, Q. H. Park, H. J. Schnitzer and Z. Yang, “A Gko Construction Based On A Path Integral Formulation Of Gauged Wess-Zumino-Witten Actions,” Phys. Lett. B 216, 307 (1989). relax M. Banados, C. Teitelboim and J. Zanelli, “The Black Hole In Three-Dimensional Space-Time,” Phys. Rev. Lett. 69, 1849 (1992) \[arXiv:hep-th/9204099\]. relax M. Banados, M. Henneaux, C. Teitelboim and J. Zanelli, “Geometry of the (2+1) black hole,” Phys. Rev. D 48, 1506 (1993) \[arXiv:gr-qc/9302012\]. relax J. Troost, “Winding strings and AdS(3) black holes,” JHEP 0209, 041 (2002) \[arXiv:hep-th/0206118\]. relax E. J. Martinec and W. McElgin, “Exciting AdS orbifolds,” arXiv:hep-th/0206175. relax S. Hemming, E. Keski-Vakkuri and P. Kraus, “Strings in the extended BTZ spacetime,” JHEP 0210, 006 (2002) \[arXiv:hep-th/0208003\]. relax M. Gasperini and G. Veneziano, “The pre-big bang scenario in string cosmology,” arXiv:hep-th/0207130. relax W. A. Hiscock and D. A. Konkowski, “Quantum Vacuum Energy In Taub - Nut (Newman-Unti-Tamburino) Type Cosmologies,” Phys. Rev. D 26, 1225 (1982). relax A. Giveon, M. Porrati and E. Rabinovici, “Target space duality in string theory,” Phys. Rept. 244, 77 (1994) \[arXiv:hep-th/9401139\]. relax N.J. Vilenkin, “Special Functions and the Theory of Group Representations” AMS, 1968. relax R. Dijkgraaf, H. Verlinde and E. Verlinde, “String propagation in a black hole geometry,” Nucl. Phys. B 371, 269 (1992).


format: text

text:
# Color chiral solitons

## Abstract

We discuss specific features of color chiral solitons (asymptotics, possibility of confainment and quantization) at an example of isolated SU(2) color skyrmions, i.e. skyrmions in a background field which is the vacuum field forming the gluon condensate.

Introduction

In low energy QCD the idea of flavor Skyrmions  was quite fruitful. Color chiral solitons and skyrmions were studied less, although to find stable color configurations could be an important step towards understanding of diquarks and exotic hadrons. A possibility of color chiral solitons with baryon number $`N_F/N_C`$ was mentioned in the first paper on colour bosonization  . However, the effective action in bosonization  was implicitly gauge dependent, the choice of background colour fields was not discussed, and soliton stability was not investigated. It was found  that direct application of an effective bosonized lagrangian  does not lead to stable configurations. The idea of color skyrmions from different viewpoints was explored  in attempt to construct a constituent quark for $`N_F=1`$, but further development in this direction was suspended after the conclusion  that stable colour solitons do not exist. Recently it was shown that color solitons become stable due to background vacuum field which should always be present with isolated soliton

In this talk we describe some specific feature of color solitons compared with flavor solitons.

In QCD the flavor soliton action arises as a result of bosonization. The chiral color bosonization in QCD follows , in general, the lines of flavor bosonization  . The gluon field is a dynamical gauge field, while the flavor field in the Dirac lagrangian is an external one. In order to get a chiral color action, the background field should be also chirally rotated giving an additional contribution to the standard chiral action. In flavor bosonization no such terms are present . This contribution is not considered here.

For a color soliton, the background field describes soliton environment and produces corresponding interaction terms in the effective chiral lagrangian. In this paper we consider a separate (free) soliton, and, therefore, take color vacuum field as a background field. Such color vacuum fields form the gluon condensate. Experimentally, the condensate is positive, so that the vacuum field is chromomagnetic. Its value is a parameter of the theory. Asymptotic behaviour of soliton configuration at large distances from the centre is determined by the condensate: it is exponentially decreasing for positive condensate and periodic otherwise.

In section 2 we start with general expression for a bosonization motivated effective chiral lagrangian and work out an effective chiral action in the case of the gauge group SU(2) and one flavor $`N_F=1`$ for the hedghog configuration, study asymptotic behavior and evaluate the mass. In section 3 we define a two-soliton potential at large distances and show that it may lead to confinement. In section 4 we briefly discuss quantization of color $`SU\left(2\right)`$ skyrmion.

Effective lagrangian for SU(2) soliton and choice of background field

We write an effective bosonization lagrangian for the color chiral field $`U`$ in the form, where we have omitted terms inessential for our discussion

$$L_{eff}\left(U\right)=N_Ftr_C\{\frac{f_0^2}{4}D_\mu UD^\mu U^1$$

$$+\frac{1}{192\pi ^2}[\frac{1}{2}[UD_\nu U^1,UD_\mu U^1]^2(UD_\nu U^1UD^\nu U^1)^2]\},$$
$`(1)`$
As in bosonization, we write the kinetic term with a constant $`f_0^2`$ which is an analogue of the pion decay constant $`f_\pi ^2`$. The first term in the second line is the Skyrme potential, next term is specific for the bosonization potential . We need it to show that it does not change general properties of classical color soliton. $`D_\mu U=_\mu U+[G_\mu ,U]`$ .

Color configurations are always associated with background color field $`G_\mu `$ because of necessity to maintain color gauge invariance. In this respect, color solitons is quite different from flavor solitons, where there is no flavor gauge invariance, and the external flavor gauge field can be eliminated from the chiral action. We consider the color gauge group SU(2) with antihermitian generators $`T_a=\frac{\tau _a}{2i}`$ , where $`\tau _a`$ are the Pauli matrices.

The background color field should be chosen according to the problem under consideration. Our first step is to study a single colour soliton, i.e. a soliton in the vacuum of gluonic field. The gluonic vacuum $`\mathrm{\Psi }_0`$ is characterized by the condensate

$$C_g=(\mathrm{\Psi }_0,\frac{g^2}{4\pi ^2}O_{\mu \nu }^aO^{\mu \nu a}\mathrm{\Psi }_0)\frac{g^2}{4\pi ^2}G_{\mu \nu }^aG^{\mu \nu a}0$$
$`(2)`$
that is by the non-zero vacuum expectation value of the Yang-Mills lagrangian for the full quantum field $`O_\mu `$ represented by the background vacuum field $`G_\mu `$ in our approximation. According to phenomenological descpription $`C_g0`$ , so that $`G_\mu `$ is a chromomagnetic field in the real case of SU(3) gauge group. The vacuum field strength $`G_{kl}`$ in the temporal gauge $`G_0=0`$ is constant up to a time independent gauge transformation. The effective Lagrangian $`L_{eff}`$ is invariant under gauge transformations of background fields and the chiral field.

We shall consider the simplest case of a chromomagnetic vacuum background field , when it is an Abelian-type field which is a product a coordinate vector field $`V_k`$ and a SU(2) color vector $`n^a`$

$$G_k^a=V_kn^a,V_k=\frac{1}{2}V_{kl}x_l=\frac{1}{2}\epsilon _{klm}x_l\nu _mB,G_k=gG_k^a\frac{\tau _a}{2i}$$
$`(3)`$
where $`n^a`$ is a constant unit vector in the colour space, $`\nu _m`$ is a constant unit vector in coordinate space, $`\nu _mB=\frac{1}{2}\epsilon _{mlk}V_{lk}`$ is the vacuum chromomagnetism and $`B`$ is related to the condensate $`C_g=\frac{g^2}{2\pi ^2}B^2`$ . In the vacuum all directions $`n^a`$ and $`\nu _l`$ are equivalent, so that it is necessary to average over them at the end. Such a choice of vacuum field does not lead to stability troubles in QCD; although imaginary terms were detected at one-loop level , they disappear in all-loop treatment .

Let us write the chiral field in the usual way

$$U=\mathrm{exp}i\left(\frac{x_a\tau _a}{R}\right)F\left(R\right)=\mathrm{cos}F+i𝐫\mathrm{sin}F,r_ar_a=r^2=1,r_a\tau _a=𝐫,r_a=\frac{x_a}{R}$$
$`(4)`$
Under a gauge transformation $`S(\stackrel{}{x})`$ the chiral field $`U`$ transforms together with the vacuum unit colour vector $`𝐧=n_a\tau _a`$ as

$$U^{}=SUS^+,𝐧^{}=S𝐧S^++S_kS^+$$

and it is natural to restrict $`S(\stackrel{}{x})`$ by a condition $`[S,U]=0.`$

Main structures in the Effective Chiral Lagrangian $`L_{eff}\left(U\right)`$ take on the following form

$$D_kU=_kU+g\frac{V_k}{2i}[𝐧,i𝐫]\mathrm{sin}F$$

$$S_{kl}=[UD_kU^+,UD_lU^+]=$$

$$=4g\left([\stackrel{}{𝐧},\stackrel{}{𝐫}]_lV_k\left[\stackrel{}{𝐧,}\stackrel{}{𝐫}\right]_kV_l\right)\frac{\mathrm{sin}^2F}{R}+_lU_kU^+_kU_lU^+$$
$`(5)`$
where $`R^2=x_kx_k`$ . The kinetic structure $`K`$ and related non -Skyrme term $`N`$ are given by

$$K=tr\left(D_lU^+D_lU\right)=2[\left(_RF\right)^2+\frac{2\mathrm{sin}^2F}{R^2}]+g^2V^2[\stackrel{}{n},\stackrel{}{r}]^2\mathrm{sin}^2F$$
$`(6)`$
$$N=tr\left(D_lU^+D_lU\right)^2=$$

$$=2\left(\left(_RF\right)^2+\frac{2\mathrm{sin}^2F}{R^2}\right)^2+\frac{16}{15}g^4V^4\mathrm{sin}^4F+\frac{8}{3}g^2(\left(_RF\right)^2+3\frac{\mathrm{sin}^2F}{R^2})V^2\mathrm{sin}^2F$$
$`(7)`$
where $`A^2=V_kV_k`$ and we have averaged over directions $`𝐧`$ in the SU(2) colour space putting $`\overline{n_k}=0,\overline{n_k^2}=\frac{1}{3},\overline{n_k^4}=\frac{1}{5},\overline{n_k^2n_l^2}=\frac{1}{15}`$ .

Similarly, we average over directions $`\stackrel{}{\nu }`$ of field $`V_k`$ in space of coordinates $`x_k`$ and get

$$\stackrel{}{V}=\frac{1}{2}[\stackrel{}{\upsilon },\stackrel{}{r}]RB,\overline{V^2}=\frac{1}{6}B^2R^2,\overline{V^4}=\frac{1}{4}\left(1\left(\stackrel{}{r,}\stackrel{}{\nu }\right)^2\right)_{av}^2B^4R^4=\frac{2}{15}B^4R^4$$
$`(8)`$
It follows that the gauge field dependent part of the Skyrmion structure is given by

$$trS_{kl}S_{kl}tr(S_{kl}S_{kl})_{B=0}=\frac{32}{9}g^2B^2\mathrm{sin}^4F$$
$`(9)`$
while a mixed part of chirally transformed Lagrangian of the background vacuum field acquires $`\mathrm{sin}^2F`$

$$trG_{lk}UG_{lk}U^+=\frac{4}{3}g^2B^2\mathrm{sin}^2F,G_{lk}=\frac{g}{2i}B\epsilon _{lkt}\nu _tn,trG_{lk}G_{lk}=g^2B^2$$
$`(10)`$
We are now able to write down the Effective Color Static Lagrangian

$$L_{eff}(U,G_k)=N_F\frac{f_0^2}{16\pi ^2}[2(\left(_RF\right)^2+2\frac{\mathrm{sin}^2F}{R^2})+\frac{2}{9}g^2B^2R^2\mathrm{sin}^2F]$$

$$\frac{N_F}{96\pi ^2}[((_RF)^2+2\frac{\mathrm{sin}^2F}{R^2})^2+\frac{16}{225}g^4B^4R^4\mathrm{sin}^4F+$$

$$+\frac{2}{9}g^2B^2R^2((_RF)^2+3\frac{\mathrm{sin}^2F}{R^2})\mathrm{sin}^2F]\frac{N_F}{48\pi ^2}\frac{2}{3}g^2B^2\mathrm{sin}^2F$$

$$\frac{N_F}{12\pi ^2}\left[\frac{2\mathrm{sin}^2F}{R^2}\left(_RF\right)^2+\frac{\mathrm{sin}^4F}{R^4}+\frac{2}{9}g^2B^2\mathrm{sin}^4F\right]$$
$`(11)`$
where terms with $`gB`$ arise from vacuum background field $`G_\mu `$ .

The Euler-Lagrange equation for (11) for the soliton function $`F(R)`$ has the form

$$N_Ff_0^2\left[\left(1+\frac{g^2B^2}{6}R^4\right)\mathrm{sin}2F2R_RFR^2^2F\right]+$$

$$+\frac{N_F}{12\pi ^2}\left[\frac{\mathrm{sin}^2F\mathrm{sin}2F}{R^2}\mathrm{sin}2F(_RF)^22\mathrm{sin}^2F^2F+\frac{2}{3}g^2B^2R^2\mathrm{sin}^2F\mathrm{sin}2F\right]+$$

$$+\frac{N_F}{24\pi ^2}\left[\frac{2\mathrm{sin}^2F\mathrm{sin}2F}{R^2}2R(_RF)^33R^2(_RF)^2_R^2F2_R^2F\mathrm{sin}^2F(_RF)^2\mathrm{sin}2F\right]+$$

$$+\frac{N_F}{675}g^4B^4R^6\mathrm{sin}^2F\mathrm{sin}2F$$

$$+\frac{N_F}{216\pi ^2}g^2B^2R^4\left[\frac{3\mathrm{sin}^2F\mathrm{sin}2F}{R^2}4_RF\frac{\mathrm{sin}^2F}{R}_R^2F\mathrm{sin}^2F\right]$$

$$\frac{N_F}{432\pi ^2}g^2B^2R^4(_RF)^2\mathrm{sin}2F+\frac{1}{3}\frac{N_F}{24\pi ^2}g^2B^2R^2\mathrm{sin}2F=0$$
$`(12)`$
This expression for the effective action contains terms $`R^4\mathrm{sin}^4F`$ and $`R^2\mathrm{sin}^2F`$ defining the asymptotic behaviour of $`\mathrm{sin}F`$ necessary to obtain finite static energy or mass

$$M=4\pi 𝑑RR^2L_{eff}(U,G_k)$$
$`(13)`$
The contribution to the mass functional $`M`$ from the bosonized action sums from the kinetic term, $`d=4`$ terms and the contribution of the background vacuum field. It is easely to see that this part is positive definite and bounded from below and provides with the soliton configuration.

We introduce dimensionless variable $`\rho =Ef_0R`$ , then the asymptotic behavior at large $`R`$ of the decreasing function $`F\left(\rho \right)`$ is represented by the following equation

$$_\rho \left[\rho ^2_\rho F\right]2(1+C\rho ^4)F=0,$$
$`(14)`$
where the dimensionless parameter $`C=\pi ^2Cg/9(Ef_0)^4`$ is related to the gluon condensate $`Cg=g^2B^2/2\pi ^2`$. The solution of the Eq.(36) is modified Bessel functions of the second kind $`K(\frac{3}{4},\sqrt{\frac{C}{2}}\rho ^2)/\sqrt{\rho }`$ and asymptotic behavior

$$F\rho ^{\frac{3}{2}}\mathrm{exp}\left(\sqrt{\frac{C}{2}}\rho ^2\right),\rho \mathrm{}$$
$`(15)`$
which guarantees that the mass $`M`$ is finite.

At small $`\rho `$, as it can be expected, the soliton function $`F(\rho )`$ behaves near the origin $`\rho =0`$ in the same manner as in the Skyrme model $`F\left(\rho \right)\pi b\rho `$.

Thus, the function $`F`$ of the color soliton is quite different from that of the flavor skyrmion.

We consider a family of trial functions

$$F(\rho )=\pi \sqrt{\frac{1b\rho +a\rho ^2}{1+A\rho ^5}}\mathrm{exp}(\frac{A}{2}\rho ^2)$$
$`(16)`$
where coefficients a and b are variational parameters and parameter $`A=\sqrt{2\pi ^2Cg/9(Ef_0)^4}`$. We also minimize the mass functional with respect to the scale transformation $`\rho E\rho `$. The functions (16) reflects the behaviour at the origin and large distances (15). We look for soliton configuration with $`N_F=1`$. We use the value for the gluon condensate $`C_g=(350MeV)^4`$. We find stable soliton solutions for the wide range of the unknown phenomenological parameter $`f_0=(10\mathrm{}60)MeV`$. When $`f_0`$ corresponds to the mass scale $`\mathrm{\Lambda }_C=100MeV`$ of the colour bosonization, we get $`M=460MeV`$ .

Two-soliton potential and possibility of confinement

Let us consider briefly main point leading to confining potential between colour solitons in the case of $`N_C=2,N_F=1`$ discussed in section 3. For such solitons, the vacuum background field plays the role of a bag. We take two solitons $`U\left(x_1\right)`$ and $`U\left(x_2\right)`$ described by Eq. (4) and ask what is an intersoliton potential $`V\left(x_{12}\right)`$ at large distances $`x_{12}`$ and large $`R_1,R_2`$ , that results from lagrangian (1) for two-soliton state $`U(x_1,x_2;𝐧,\nu )=U(x_1,𝐧,\nu )U(x_2,𝐧,\nu )`$ after averaging over common colour and coordinate unit vectors $`𝐧,\nu `$ of vacuum background field (3)

$$V\left(x_{12}\right)F_1F_2=H\left[U(x_1,x_2;𝐧,\nu )\right]H\left[U(x_1,𝐧,\nu )\right]H\left[U(x_2,𝐧,\nu )\right]$$

where $`H`$ denotes averaging over $`𝐧,\nu `$ and $`H`$ is the static energy density following from (1). Second and third terms in $`V`$ are given by $`L_{eff}`$ in (11). The QCD part of the effective lagrangian does not contribute. A gauge invariant potential is

$`V\left(x_{12}\right)F_1F_2`$ $`=`$ $`{\displaystyle \frac{f_0^2}{4}}tr\left[DU_2DU_1^++DU_1DU_2^+\right]tr\{[G_k\left(x_1\right),U_1][G_k\left(x_2\right),U_2^+]\}`$
$`V\left(x_{12}\right)`$ $`=`$ $`{\displaystyle \frac{f_0^2}{36}}g^2B^2\left(\stackrel{}{x_1}\stackrel{}{x_2}\right)^2`$
Such potential describes confined solitons. However, this does not explain whether an isolated colour soliton can exist and propagate.

Quantization of a color soliton

Quasiclassical quantization of solitons starts with introduction of collective coordinates related to symmetries to be quantized. Method of collective (group ) coordinates was first developed by N.N.Bogolyubov for quantization of polaron. We follow approach considered by Balachandran and al.  for flavor skyrmions. Quantization of color $`SU\left(2\right)`$ skyrmion within color $`SU\left(3\right)`$ was exposed by Kaplan . Time development of static solution is associated with time dependent unitary matrix $`A\left(t\right)`$ reflecting the symmetry of total (non-static) lagrangian. In the color case $`A`$ also a function of $`x_k`$ and describes time development of color field as well.

For the soliton $`U`$ in the background field of quasiabelian type $`G_k^a\left(x\right)=v_k\left(x\right)N^a`$ in the temporal gauge, color gauge symmetry is reduced to the global one. Therefore, matrix $`A\left(t\right)`$ can not depend on coordinated $`x_k`$ , and we introduce time dependent soliton

$$U(x,t)=A\left(t\right)W\left(x\right)A^+\left(t\right)$$
$`(17)`$
Here $`W\left(x\right)`$ denotes the static chiral field configuration which enters Lstat as U$`\left(x\right)`$ .

Suppose now that the vacuum background field becomes time dependent too

$$\widehat{G}_k(x,t)=v_k\left(x\right)A\left(t\right)NA^+\left(t\right),\widehat{G}_0=0,$$
$`(18)`$
remaining at the same time in the temporal gauge for $`\widehat{G}_\mu `$ , while $`G_\mu `$ gets $`G_0=A^+\dot{A}`$. The time development of $`\widehat{G}_k(x,t)`$

$$i_0\widehat{G}_k=v_kA[\left(A^+\dot{A}\right),N]A^+$$
$`(19)`$
depends on orientation of $`\left(A^+\dot{A}\right)`$ in the color space with respect to the vacuum unit vector $`N`$ . The lagrangian of the gluonic field $`L_G`$ will get a $`G_0`$ -dependent chromoelectric contribution containing solitonic variables $`A^+\dot{A}`$ to be quantized

$$\delta L_G=\frac{1}{2g^2}tr[G_0,G_k]^2=\frac{v_k^2}{2g^2}tr[\left(iA^+\dot{A}\right),N]^2$$
$`(20)`$
and leading to a change of the gluon condensate. Thus, the assumtion that background vacuum field becomes time dependent leads to inconsistency. Therefore we require that within a domain vacuum direction $`N`$ is not influenced by the unitary transformation $`A\left(t\right)`$

$$A\left(t\right)NA^+\left(t\right)=N,A=\mathrm{exp}iNa\left(t\right),$$

$$\left(iA^+\dot{A}\right)=N\dot{a}\left(t\right)$$
$`(21)`$
so that $`\left(iA^+\dot{A}\right)`$ is also oriented in direction $`N`$. We note that the one-loop Gauss law for the background field

$$\frac{\delta L_G}{\delta G_0}=0,[N,[N,\left(iA^+\dot{A}\right)]]=0$$
$`(22)`$
is satisfied for time-independent $`N`$.

Let us express the effective lagrangian $`L_{eff}(U,\widehat{G})`$ in terms of new variables

$$L_{eff}(U,\widehat{G})=L_{stat}(W,G)+tr\left\{[\left(iA^+\dot{A}\right),W][\left(iA^+\dot{A}\right),W^+]\right\}+$$

$$tr[W^+[\left(iA^+\dot{A}\right),W],W^+D_lW]^2$$
$`(23)`$
In absence of background field and after $`flavorcolor`$ exchange, the lagrangian $`L_{eff}(U,0)`$ coincides with skyrmion lagrangian in the flavor case. The Wess-Zumino action vanishes for $`SU\left(2\right)`$ soliton. Apart from $`L_{stat}`$ , the background field is present only through $`[G_l,W]`$ in $`D_lW`$ in the last term.

Integrating over coordinates we get the lagrangian for collective solitonic variables in a particular vacuum domain with background vacuum field in direction $`N`$

$$\widehat{L}(A,\dot{A};N)=\frac{1}{2}\alpha (W,N)\left(A^+\dot{A}\right)_iN_i\left(A^+\dot{A}\right)_jN_j$$
$`(24)`$
where $`\alpha `$ is a numerical coefficient - ”momentum of inertia” - represented by space integrals over functionals of $`W`$ , as a solution of variational equation for $`L_{stat}(W,N)`$.

Applying the quantization procedure we get the hamiltonian for the soliton in a particular vacuum domain

$$H=\frac{(R_iN_i)(R_iN_i)}{2\alpha },$$
$`(25)`$
where $`R_k`$ are $`SU\left(2\right)`$ generators with commutation relations

$$[R_i,R_k]=2ie_{ikj}R_j,[R_i,A_{kj}]=\left[A\sigma _i\right]_{kj},[A_{ik},A_{jl}]=0.$$

Averaging over domains, i.e. over directions of domain vacuum fields, gives us the hamiltonian for states of isolated soliton, as they are seen ”from outside”

$$\widehat{H}=\frac{R_iR_i}{6\alpha }$$
$`(26)`$
Thus, averaging over vacuum domains reinstates the complete Hilbert space. We refer to papers  for its description in terms of spin and isospin.

Conclusions and discussion

We have derived chiral colour action in a background field satisfying standard conditions of one-loop QCD in background gauge. We applied this action to the case of soliton configuration defined as a configuration in a vacuum background field related to the gluon condensate, and considered the static case. Experimentally, the condensate is positive, so that the vacuum field is chromomagnetic. The vacuum field gives rise to terms in the effective chiral lagrangian with $`R^2\mathrm{sin}^2F`$ and $`R^4\mathrm{sin}^4F`$ where $`R`$ is a distance from the center of the standard hedgehog configuration of the shape $`F.`$ Vacuum background field ensures exponential decrease in asymptotic region for chromomagnetic condensate, which is essential for stability of soliton and finiteness of mass. The (renorm-invariant) condensate is considered as a phenomenological quantity. Variational estimates with the trial function with proper asymptotics behaviour and the gluon condensate $`(350Mev)^4`$ shows that for the one flavor case the mass cannot be more then 460 MeV. Color solitons definitely exist in bosonization action and as Skyrmions.

Two-soliton potential displays confinement behavior. An essential element leading to such potential is averaging over directions of vacuum fields in different vacuum domains.

Quantization of collective color coordinates can be performed in the same way as in the flavor case. Inside a particular vacuum domain the hamiltonian of collective coordinates has cylindrical color symmetry determined by the color vacuum field. Averaging this hamiltonian over vacuum domains we recover spherical symmetry and an interpretation of spin- color isospin states analogous to the flavor case.

Other topics of recent developments in color chiral solitons are discussed in Ref .