A Matrix model from string field theory Syoji Zeze∗
arXiv:1507.03164v1 [hep-th] 11 Jul 2015
Yokote Seiryo Gakuin High School, 147-1 Maeda, Osawa, Yokote, 013-0041 Japan
We demonstrate that a Hermitian matrix model can be derived from level truncated open string field theory with Chan-Paton factors. The Hermitian matrix is coupled with a scalar and a U (N ) vector which are responsible for the D-brane at the tachyon vacuum. Effective potential for the scalar is evaluated both in finite and large N . Increase of potential height is observed in both examples. The large N matrix integral is identified with a system of N ZZ branes and a ghost FZZT brane.
1 Introduction Two kinds of formulations for nonperturbative string theory have been known — matrix formulation and string field theory (SFT). Background independence of SFT is not manifest since it superficially depends on particular background. On the other hand, matrix formulation is background independent while a particular background is realized non-trivially. A common belief is that these two formulations are complementary representations of underlying theory. Thus, it is important to establish equivalence between two formulations. In fact, concrete examples that reduce open cubic SFT [1] to certain matrix models have been known. One is SFTs for topological A and B models [2] which reduce to ordinary and holomorphic Chern-Simons theories respectively. These theories further reduce to to Chern-Simons matrix model [3] and ordinary Hermitian matrix models [4] respectively. The other is SFT for (2,1) minimal string [5], whose action reduces to Kontsevich matrix model. In addition, there have been known less direct examples for c = 1 string [6], c = 0 string [7] and critical string [8]. In most of above examples, the dictionary between SFTs and its dual theories has been filled model by model, since it is inevitable to specify particular boundary CFT in order to define an open SFT. ∗
[email protected]
1
In this paper, we would like to propose an alternative approach to obtain matrix models from SFT. Our idea is quite simple: instead of finding simpler background that reduces the string fields to finite numbers of fields, we start with more general setup in critical string, and approximate string field to its first few components. An example which will be studied in this paper is based on the universal sector [9] of critical (D = 26) open SFT, where the string field can be approximated as Ψ = ψ0 + ψ1 + ψ2 + · · · + ψn ,
(1.1)
where each string field carries Chan-Paton indexes only. Then, the open cubic SFT [1] immediately reduces to a cubic multi-matrix model1 S = amn Tr [Mm Mn ] + bmnp Tr [Mm Mn Mp ] ,
(1.2)
where Mn is a Hermitian matrix. The approximation should improve quickly as n increases. A successful example of such approximation has been know as level truncation [10, ] according to the spectrum of a kinetic operator of SFT. It has been known that the approximation gets improved quickly as level increases. Correspondingly, it is expected that a matrix model improves “resolution” of its dual spacetime. For example, the lowest level truncation of (1.2) yields an one-matrix model, which can be interpreted as c < 1 noncritical string theory [15]. As level increases, more matrices are included to give a multi matrix model which is expected to give more nontrivial spacetime. Then large n limit will define certain kind of quantum gravity which contains large variety of possible spacetimes. Such unified view for dual spacetimes is difficult to obtain by “model by model” studies which had been made in past. SFT offers unified framework for matrix models as an approximation of the complete string field. A possible reason that such direction has not yet been examined may be the lack of understanding of Chan-Paton factors in SFT, which is indispensable for the large N analysis. Although they can be incorporated into SFT consistently, their origin should be explained within SFT as they represent dynamical objects, D-branes. Recently, Erler and Maccaferri proposed a new construction of classical solutions of open SFT in terms of the regularized boundary conditions changing (BCC) projectors [16]. Their method covers wide range of backgrounds including multiple D-branes, which is main interest of this paper. Following their work, Kishimoto, Masuda, Takahashi and Takemoto (KMTT) demonstrated that Chan-Paton factors naturally arise from the decomposition of string field in terms of the regularized BCC projectors [17]. String field theory expanded around the multiple D-branes solution was interpreted as a system of N + 1 D-branes where a D-brane is at the tachyon vacuum. We would like to employ their formulation as our staring point to obtain matrix models. This paper organized as follows. Section 2 introduces KMTT formulation. In section 3, we derive an one matrix model in terms of the level truncation. In section 4 we derive the partition function of the model both in finite and large N . Section 5 summarizes our results and future direction will be discussed. 1
As we will see later, extra vectors and scalars should be coupled to these matrices. Here we omit them for simplicity.
2
2 KMTT formulation Let us briefly review the KMTT formulation [17] of open string field theory. Their starting point is the classical solution of open string field theory proposed by Erler and Maccaferri [16], which describes multiple D-branes: Ψ0 = ΨT −
N X
¯ a. Σa ΨT Σ
(2.3)
a=1
¯ a are regularized BCC projectors where ΨT is the tachyon vacuum solution and Σa and Σ which obey ¯ a = 0, ¯ a Σb = δab , Σ QT Σa = QT Σ (2.4) where QT is the kinetic operator at a tachyon vacuum defined by QT Ψ = QB Ψ + ΨT Ψ + ΨΨT .
(2.5)
Apparently the index a corresponds to Chan-Paton factor which labels D-branes. However, the solution (2.3) is “diagonal” with respect to it. It is obvious that off-diagonal components are also necessary for a SFT which describes D-branes with non-Abelian gauge symmetry. Authors of Ref. [17] realized desired off-diagonal components in terms of the decomposition ¯ a + Σa χ ¯ a φab Σb . Ψ = χ + χa Σ ¯a + Σ (2.6) By evaluating SFT action for a string field Ψ + Ψ0 according to this decomposition, they derived the action S = S1 + S2 + S3 , (2.7) Z 1 1 1 S1 = − 2 Tr φQB φ + φ3 , (2.8) g 2 3 Z 1 1 1 3 S2 = − 2 χQT χ + χ , (2.9) g 2 3 Z 1 1 S3 = − 2 χ¯a QT 0 χa + χ ¯a χχa + χ ¯a φab χb , (2.10) g 2 where QT 0 is the kinetic operator defined by QT 0 Ψ = QB Ψ + ΨT Ψ. The trace in (2.8) runs over a, and identical indexes in (2.10) are to be summed. We have ignored constant shift of the action, which amount to a sum of D-brane tensions. Authors of Ref. [17] identified this system as N + 1 D-branes rather than N D-branes. In addition to N unstable D-branes, there is a “D-brane” at the tachyon vacuum. According to their interpretation, φab connects two unstable D-branes a and b while χa connects D-brane a with the D-brane at the tachyon vacuum. χ represents fluctuation on the D-brane at the tachyon vacuum. A remarkable feature of the action (2.7) is the presence of the “vector” sector described by χa and χ ¯a , which has not yet been considered in literature. The action is quadratic for them therefore they can be integrated out in the partition function. This integration
3
requires specific choice of gauge. With assuming suitable gauge fixing, path integral for χa and χ ¯a yields a determinant factor det(QT 0 + φ + χ)−1
(2.11)
in the partition function. In following sections, we evaluate this determinant by truncating string field rather than imposing conventional gauge condition such as linear gauge [18].
3 Truncation to matrices Although the string fields presented in previous section carry Chan-Paton factors, they also depend on infinitely many labels which distinguish each states in a boundary CFT. In order to make our analysis simpler, we would like to introduce a truncation such that dynamical valuables are reduced to matrices. Let us consider the string field in the universal sector2 truncated at level n, where the level is defined by eigenvalue of some kinetic operator L. Denoting the level k string field ψk , we truncate each component in (2.6) as φab =
n X
(k) Mab ψk ,
χa =
n X
k=1
ξa(k) ψk ,
χ ¯a =
k=1
n X
ξ¯a(k) ψk ,
k=1
χ=
n X
t(k) ψk ,
(3.12)
k=1
(k) (k) (k) where Mab is a Hermite matrix, ξa is a complex vector and ξ¯a is its complex conjugate, and t(k) is a real number. Note that these components do not depend any other variables. As a concrete example of such truncation, we choose the expansion examined in Ref. [19] for dressed B0 gauge [20]. The level k field is given by
ψk = cK n Bc
1 , 1+K
(3.13)
where K, B, c are the elements of the KBc subalgebra [21]. As a specific example of level 1 truncation, we set (0)
(1)
Mab = Mab ,
ξa(0) = ξa(1) ,
ξ¯a(0) = ξ¯a(1) ,
t(0) = t(1) .
(3.14)
This assignment of coefficients means that the string field is proportional to Erler-Schnabl solution [20]: 1 ΨT = c(1 + K)Bc . (3.15) 1+K Then, the truncation3 is given by φab = Mab ΨT ,
χa = ξa ΨT ,
2
χ ¯a = ξ¯a ΨT ,
χ = tΨT .
(3.16)
The open string field in universal sector is build from the Virasoro generator Ln and conformal ghosts bn and cn on the SL(2, R) vacuum [9]. 3 This truncation makes sense if we replace ΨT with another representation of the tachyon vacuum solution, since we do not require its explicit form in following analysis.
4
This truncation just provide first few components of the whole string field. However, we expect that our truncation well captures the essence of the dynamics of D-branes, as has been the case for the conventional level truncation analysis. In fact, our truncation interpolates between two vacua: one is the Erler-Maccaferri’s multiple D-branes denoted as (Mab , ξa , ξ¯a , t) = (0, 0, 0, 0) while the other is the perturbative vacuum, also denoted as (δab , 0, 0, −1). Let us derive truncated action. The requirement that ΨT reproduces the correct value of D-brane tension is represented by Z Z Z Z 3 3 3 ΨT QB ΨT = − 2 , ΨT QT 0 ΨT = 0, ΨT QT ΨT = + 2 , Ψ3T = + 2 . π π π (3.17) Applying these to (2.7), we find 1 1 2 1 3 1 2 1 3 ¯ S = − 02 Tr − M + M + t + t + ξa (tδab + Mab )ξb , (3.18) g 2 3 2 3 where we have rescaled the open string coupling as 3 1 = 2 2. g 02 g π
(3.19)
For later convenience, we shift M to M + 1 and omit the prime in g 0 . Then, ignoring constant shift, we obtain an action S=−
1 ¯ + t + M )ξ , Tr W (M ) + W (t) + ξ(1 g2
(3.20)
where W (x) = 12 x2 + 31 x3 . In this way, the truncation (3.16) reduces KMTT action to a cubic matrix model coupled with a scalar and a complex vector4 . Explicit evaluation of the partition function for (3.20) can be carried out by the standard technique of matrix model5 . As readily found from (3.20), the action is invariant under U (N ) transformation ¯ † , where U denotes an U (N ) matrix. This is a residual M → U M U † , ξ → U ξ, ξ¯ → ξU gauge symmetry of the KMTT action [24]. This U (N ) symmetry can be fixed by diagonalizing Mab to its eigenvalues λa with inserting Vandermonde determinant (λa − λb )2 in the partition function. After performing Gaussian integral for ξ, we obtain partition function Z Y N Z= dλa dt e−V , (3.21) a=1
where 1 V = 2 g 4 5
W (t) +
N X a=1
! W (λa )
+
N X
log |t + λa + 1| −
a=1
X
log(λa − λb )2 .
a
