# Full text of "Asymptotic Form of Zero Energy Wave Functions in Supersymmetric Matrix Models"

## See other formats

```Asymptotic Form of Zero Energy Wave Functions in
Supersymmetric Matrix Models

J. Fr6hlich(«) , G.M. Graf(°) , D. Hasler^") , J. Hoppe^^'^) , S.-T. Yau^^)

^"•^ Theoretische Physik, ETH-Honggerberg, CH-8093 Zurich
^''^ M ax- Planck- Institut fiir Gravitationsphysik, Albert- Einstein- Institut, D-14473 Potsdam
^'^^ Fachbereich Mathematik, TU Berlin, D- 10623 Berlin
Department of Mathematics, Harvard University, Cambridge, MA 02138

February 1, 2008

Abstract

We derive the power law decay, and asymptotic form, of SU(2) x Spin((i) invariant
wave-functions satisfying Q^V = for ^-H = 2((i — 1) supercharges of reduced
{d + 1) -dimensional supersymmetric SU(2) Yang Mills theory, resp. of the SU(2)-
matrix model related to super membranes in d + 2 dimensions.

1 Introduction

It is generally believed that supersymmetric SU(A^) matrix models in = 9 dimensions
admit exactly one normalizable zero-energy solution for each > 1, while they admit
none for all other dimensions for which the models can be formulated, i.e., for = 2, 3, 5.
For various approaches to this problem see e.g. |ll||-||T3[|.

In this article, we would like to summarize (and slightly modify/extend) what is known
about the behaviour of SU(2) zero-energy solutions far out at infinity in (and near) the
space of configurations where the bosonic potential (the trace of all commutator-squares)
vanishes. Based on some early 'negative' result concerning N = 2, d = 2 (that used
rather different techniques/arguments; see |18|) we started our investigation of the

asymptotic behaviour, in the fall of 1997, with a Hamiltonian Born-Oppenheimer analysis
of that N = 2, d = 2 case. Some months later, we realized that the rather complicated
Hamiltonian analysis (Halpern and Schwartz had, in the meantime, derived the form
of the wave function for d = 9 near oo, by Hamiltonian Born-Oppenheimer methods) can
be replaced by a simple first order analysis, using only the first order operators Q, and
first order perturbation theory. One finds that asymptotically normalizable, SU(2) and
SO{d) invariant, wave functions do not exist for d = 2,3, and 5, in contrast to ci = 9,
where there is exactly one.

We close these introductory words by recalling that the models discussed below arise in
at least 3 somewhat different ways: As supersymmetric extensions of regulated membrane

1

theories md + 2 space-time dimensions [14, 18 , as reductions (to + 1 dimension) of ci + 1

dimensional Super Yang Mills theories |T^-|T^, and, for ci = 9, as a description of the
dynamics of D-0 branes in superstring theory, [|20| , ^ . In this physical interpretation, the

existence of a normalizable zero-energy solution is an important consistency requirement.

The paper is organized as follows. In Section ^ we recall the definition of the models,
and in Section |] we state our main result about zero-modes. The proof is given in Section
^ and Appendix 1. We suggest to skip Subsection |]5| and Appendix 1 at a first reading.
As a warm-up the reader is advised to read Appendix 2, where a simpler model is treated
by the same method.

2 The models

The configuration space of the bosonic degrees of freedom is X = M^*^ with coordinates

g = (gl, . . . ,qd) = {qsA)s=i,... ,d ■

A=l,2,3

To describe the fermionic degrees of freedom let, as a preliminary,

Y = bU)a,f3=l,...,s, , {i = l,...,d), (1)

be the real representation of smallest dimension, called Sd, of the Clifford algebra with
d generators: {7'', 7*} = 25**1. On the representation space, Spin((i) is realized through
matrices R G SO(srf), so that we may view

Spm{d) ^ SO(s,) , (2)

simply connected subgroup. We recall that

Sd

2[d/2] ^ d = 0, 1, 2 mod
2[d/2]+i otherwise ,

where [■] denotes the integer part. We then consider the Clifford algebra with Sd generators
and its irreducible representation on C = C^"'*'^^ . On C®^ the Clifford generators

(61, . . . , = (6aA)a=l,.-,Sd

A=l,2,3

are defined, satisfying {QaA^Qps} = ^ap^AB- The Hilbert space, finally, is

n = V{X,C^^). (3)

There is a natural representation of SU(2) x Spin((i) 3 {U, R) on H. In fact, the group
acts naturally on X through its representation SO (3) x SO{d) (which we also denote by
{U, R)). On C^^ we have the representation 71 of Spin(srf) 9 R

niRYQaAniR) = R^pQpA , (4)

where R = R{R) is its SO(srf) representation. Through SO(srf) = Spin(srf)/Z2 and (0) we
have

Spin(rf) ^ Spin(srf) , (5)

2

and thus a representation IZ of Spin((i). The representation lA of SU(2) 3 U on C®^ is
characterized by U{U)*QaAU{U) = UAB^aB-

We shall now restrict to c? = 2, 3, 5, 9, where Sd = 2, 4, 8, 16, the reason being that
in these cases

Sd = 2{d-1), (6)

whereas Sd is strictly larger otherwise. Eq. is essential for the algebra (|^ below
The supercharges, acting on Ti, are given by the Sd hermitian operators

Qf3 = Qa- {-hifs^t + ^ g; X g; 7|*„) , (/3 = i, . . . , s^) ,

where 7** = (l/2)(7*7* — 7*7*). These supercharges transform as scalars under SU(2)
transformations generated by

Jab = —K^lsAdsB — QsBdsA) — - {QaA^aB — ^aB^aA) = LaB + Mab ,

resp. as vectors in W'' under Spin((i) transformation generated by

Jst = -Kqs ■ - g; ■ V,) - - e«7f^e^ = i^t + u^t .

The anticommutation relations of the supercharges are

{Qai Q13] = ^apH + la^qtA^ABC-JBC ■ (7)

Here, H is the Hamiltonian

9

s=l s<t

which commutes with both J^b and Jst- The question we address is the possibility of a
normalizable state ip & Ti with zero energy, i.e., with Hip = 0, which is a singlet w.r.t.
both SU(2) and Spin((i). Note that on SU(2) invariant states H = 2(5^ > and in fact
the energy spectrum is ([|T^) cr{H) = [0, oo). Equivalently, we look for zero-modes

Qp^ = 0, (/3 = 1,... ,Sd).

3 Results

The potential X]s<t(^* ^ vanishes on the manifold

Qs = reEs

with r > and e ^ = Yls ~ ^- The dimension of the manifold is 1 + 2 + (ci — 1) =
3d — 2{d — 1). Points in a conical neighborhood of the manifold can be expressed in terms
of tubular (or "end-point") coordinates |2^

Qs = reEs + r-^'^Vs (9)

3

with

f,-e = 0, ysEs = Q. (10)

A prefactor has been put exphcitely in front of the transversal coordinates yg-, so as to
anticipate the length scale r~^/^ of the ground state. The change

{e,E,y)^{-e,-E,y) (11)

does not affect g^- Rather than identifying the two coordinates for g^, we shall look for
states which are even under the antipode map (PH).

We can now describe the structure of a putative ground state.

Theorem Consider the equations Qpip = for a formal power series solution nearr = oo
of the form

oo

^ = r~-Y^r'-2''^k, (12)

where: ipk = V'fc(^^, -E", y) is square integrable w.r.t. dedEdy;
ipk is SU(2) X Spin((i) invariant;

Then, up to linear combinations,

• d=9: The solution is unique, and n = 6;

• d=5: There are three solutions with k, = —1 and one with k = 3;

• d=3: There are two solutions with k = 0;

• d=2: There are no solutions.

All solutions are even under the antipode map (|77|j,

^fc(e, E, y) = ipki-e, -E, y) ,
except for the state d = 5, k, = 3, which is odd.

Remarks 1. The equation QfBip = can be viewed as an ordinary differential equation
in 2; = r^/^ for a function taking values in L^(de d-E dy, C®^) (see eq. ( p^ below). It turns
out that 2 = 00 is a singular point of the second kind [^. In such a situation the series
(|I2p is typically asymptotic to a true solution, but not convergent.

2. The integration measure is dg = dr ■ r^de ■ r'^~^dE ■ r~^''^'^'^~^^dy = r^dr dedE dy. The
wave function ( [T^ ) is square integrable at infinity if J°° dr r^(r~'')^ < 00, i.e., if k > 3/2.
The theorem is consistent with the statement according to which only for d = 9 a. (unique)
normalizable ground state for (^) (which would have to be even) is possible.

3. Note that the connection of matrix models with supergravity requires the zero-energy
solutions to be Spin((i) singlets only for d = 9.

The case d = 2 can be dealt with immediately. We may assume 7^ = as, 7^ = cxi
(Pauli matrices), so that

M12 = ^QlA<S>2A ,

4

with commuting terms. Since, for each A = 1,2,3, (61^62^)^ = —1/4, we see that M12
has spectrum in Z/2 + 1/4. Given that L12 has spectrum Z, no state with Juip = is
possible. We mention |l[] that, more generally, for d = 2 no normalizable SU(2) invariant
ground state exists.

The proof of the theorem will thus deal with d = 9,5,3 only.

4 Proof

We shall first derive the power series expansion of the supercharges Qp. To this end we
note that

= r'/'{6,,-E,Et){SAB-eAeB)j^ (13)
oqtA oysB

d 1 d

+r"\eAEt{r— + -y.s- ) + lesEtLBA + ie^^si^st] + Oir'^'^) ,

dr 2 dysB

with the remainder not containing derivatives w.r.t. r (see Appendix 1 for derivation).
This yields

= r'l^Ql + r-\Q\r^^ + Q\) + r-^/^Q^ + . . . (14)
with r-independent operators

d

Ql = -iQaAliai^st - EsEt){6AB - eAeB)T, + ■ (e x yt)Esi± ,

oysB

Ql = -i{Qa ■ ehif^Et ,

i d 1 ^

Qp = QaAlifsi'^BEtlBA + eAEsL^t - - CAEtysBT. — ) + 7;^a ■ ills X ythfa ■

^ oysB ^

The explicit expressions of QJ^, (n > 2) will not be needed. We then equate coefficients
of powers of r~^/^ in the equation Qfs-ip = with the result

QjVn+ (-(/t+^(^-l))Qj + (5y^n-l + (5?^n-2 + ...+Q;^^0 = 0,

{n = 0,1,...) .(15)

4.1 The equation at n =

The equation at n = 0,

Qi^o = , (16)
admits precisely the (not necessarily SU(2) x Spin((i) invariant) solutions

Me,E,y)=e~^^y^'/'\F{E,e)) , (17)

(with y restricted to ([T0|) ), where the fermionic states \F{E,e)) can be described as
follows: Let n± be two complex vectors satisfying n+ ■ n_ = 1, e x nj. = ^in± (and hence

5

n± - n± = 0, n+ X ?2_ = — ie ). For any vector v G Mf'^ we may introduce Q{v) = QaVa, as
well as fermionic operators Q{v) ■ n± satisfying canonical anticommutation relations:

[Q{u) ■ n+, 9(f) ■ n_} = UaVa , ■ "^i) ©("w) • "^^i} = .

Then, \F{E,e)) is required to obey

e(f ) ■ n±\F{E, e)) = for ^,7"^ = ±f . (18)
To prove the above, let us note that

{g° , Q° } = 5apH' + ^ipEtSABcMABec , (19)

^ 9_

dysA dytB

= [-i6st - E,Et){6AB - eACB) + ^^'] + i^^T.^ge ■ (9^ x 6^)

By contracting eq. ([19|) against 5^/3, resp. ■JapEt we see that the equations (|1^) are
equivalent to the pair of equations

i/Vo = , EABcMAsec^Po = . (20)

Here, H'^ is a harmonic oscillator in 2((i — 1) degrees of freedom, with orbital ground state
wave function e~^=^»/^ and energy 2(d — 1). On the other hand,

= -E,7^^((e,-n+)(e^-n_)-(0„-n_)(e^-n+))

= -Sd + 2P+5(e„-n_)(e;3-n+) + 2P-^(e„-n+)(e/3-ri_) , (21)

where we used the spectral decomposition EsY = — P ■ In view of (1), the equation
H^ipo = is fulfilled iff the fermionic state is annihilated by the last two positive terms
in (0), i.e., if (|T8|) holds. The second equation ( pOf ) is now also satisfied, since

^SABcMABec = -^e ■ (6^ x e„)

= ^((e„ ■ n+)(e„ ■ n_) - (e„ ■ n_)(e, ■ n+))

= P,-^(e,-n+)(e^-n_)-P+,(e,-n_)(e^-n+) (22)

annihilates \F{E,e)).

4.2 SU(2) X Spin((i) invariant states

We recall that the representation 7l[-] of Spin(c/) on H is (7l[R]ip){q) = lZ{R){jp{R^^q)),
where TZ{R) acts on C^^. Similarly for SU(2). The invariant solutions among (|T^) are
thus those which satisfy

U{U)\F{E,e)) = \F{E,Ue)) , 7^(P)|P(E, e)) = \F{RE,e)) , (23)

for (U,R) G SU(2) X Spin((i). These states are in bijective correspondence to states
invariant under the 'little group' (U,R) G U(l) x Spin((i — 1), i.e., to states \F{E,e))
satisfying

U{U)\F{E,e)) = \F{E,e)) , 7^(P)|P(E, e)) = \F{E,e)) , (24)

6

for some arbitrary but fixed {E, e) and all U, R with Ue = e, RE = E. The first relation
holds on all of (|1^). In fact the generator (|2^ ) of the group U{U) of rotations U about
e annihilates \F{E,e)), as we just saw. To discuss the second relation (|^) we note that
the generators of Spin(o? — 1) (i.e., of the fermionic rotations about E), are MgtUsVt with
UsEs = VsEs = 0. We write M^t = + M^, where

Mi = -(i/2)(e, ■ n+h'MQ^ ■ n-) , mJ, = -(i/4)(e, ■ e)^%{Qp ■ e ) , (25)

and remark that, by a computation similar to (22), M^UgVt annihilates \F[E,e)). As a
result, we may study the representation TZ of the group Spin((i — 1) through its embedding
in the Clifford algebra generated by the 9^ ■ e.

The operators ■ e leave the space (|TBp invariant and act irreducibly on it. That
space is thus isomorphic to C, and Spin(sd) acts according to (|D (with QaA replaced by
0Q ■ e). This representation decomposes (see e.g. [^]) as

C = (2(^''/2)-i)^ ^ ^2^sj2)-iy (26)

w.r.t. the subspaces where 9 = 2'^'*/^ na=i ©0'^^= +1; resp. —1. The embedding (|^) and
the corresponding branching of the representation (but not the statement of the theorem!)
depend on the choice of the 7-matrices. In order to select a definite embedding, let

with P, (j = 1, . . . , (i — 2) purely imaginary, antisymmetric, and {P, F^} = 25jfcIsd/2-
Then ([26| ) branches as (see resp. [jl2|, |13])

when viewed as a representation of Spin((i). (The choice 7^^ = Ra'aYa'i3'^i3'i3 "with
R G O(srf), det i? = —1 would have inverted the branching of the representations on
the r.h.s. of (|26|) ). The case d = 3 deserves a remark, as there are additional inequivalent
embeddings Spin((i = 3) ^ Spin(sd = 4), and one has to consider the one appropri-
ate to (^). In fact R G Spin(3) = SU(2) acts in the fundamental representation on
C^, the irreducible representation space of the complex Clifford algebra with 3 genera-
tors. The real representation ( p7D is obtained by joining two complex representations,
followed by an appropriate change T of basis. The embedding (^) is thus realized through
R 1-^ T^^{R © 12)7" and the embedding su(2)j^ ^ so(4)j. = su(2)j^ © su(2)j^ is equivalent

to M 1-^ (m, 0).

The further branching Spin((i) ^ Spin((i — 1) yields

7

The content of invariant states stated in the theorem is now manifest. One should notice
that for d = 3 the httle group U(l) is abehan and the singlets l-ti do not correspond
to invariant states. For later use we also retain the fermionic Spin((i) representation to
which the remaining singlets are associated,

44 (rf = 9); 1,1,1,5 (rf = 5); 1,1 {(1 = 3), (30)

together with the corresponding eigenvalue of B:

e= 1 {d = 9); 1,1,1,1 id = 5); -1,-1 {d = 3) . (31)

4.3 Even states

It remains to check which of these states satisfy \F{—E, — e)) = \F{E,e)). Let us begin
by noting that by (p3D

\F{-E,-e)) = e'^-*«^^"sV*'^^'-^^^'"|F(E,e)) ,

where u G M^, resp. U E M.^ are unit vectors orthogonal to e, resp. E. The Spin((i)
rotation can be factorized as e^M^tEsUt-K ^ ^iM^^EsUt-K^iMlEsUt-K _ ^YeXm that e'*^'' ^''^"^
\F{E,e)) = a\F{E,e)) with

a= 1 (rf = 9); 1,1,1,-1 (rf = 5); 1,1 {d = 3) . (32)

The operator represents a rotation R G Spin((i) with RE = —E in the representation
(pOl). For d = 9 the latter can be realized on symmetric traceless tensors Tij, =
1, . . . ,9), where the Spin(8)-singlet is EiEj — {l/9)6ij, implying a = 1. For d = 5,
the last representation (|30D is just the vector representation, where a = —1. As the
remaining cases are evident, eq. (0) is proven. A computation using (|27|) and, without
loss E = (0, . . . , 0, 1), f/ = (0, . . . , 1, 0) shows

e^'^^td-i-^\F{E, e)) = PJ et^®"'"+^'^®'"+"d/2'"'^"^®"+=<i/2'"+^^®°'""^^''/^|F(£', e})

a=l
Sd/2

= l[iQ^+s,/2-n+)iQa-n-)\FiE,e}) = \FiE,e}) ,

a=l

Sd

= (-l)^^/^en(0c.-n+)(e„+.,/2-n_)|F(E,e)) = |F(E,e-))

where we used (0) in the last step. Together with (|32[) this proves the statement of
theorem concerning the invariance under (0).

4.4 The equation at n >

We next discuss the equations (|T5
onto the states (|T^

with n > 1. Let Pq be the orthogonal projection
i.e., onto the null space of Q^. We replace them with an equivalent

8

pair of equations, obtained by multiplication of (|T5D„+i with Pq, resp. of (|T5D„ with Q^,
which is injective on the range of the complementary projection Pq = 1 — Pq:

Po{-{k + ^n))Ql + Ql)PoiJn = -Po(QpoV'n + + ■■■ + Q^Vo) ,

(n = 0, 1, . . . ) , (33)
(n = l,2,...) (34)

(we used PqQ/j-Po = 0). Here, and until the end of this subsection, no summation over (3
is understood. The equation (|33|) at n = reads

PoQl^o = f^PoQl^o (= ^^Ql^o) • (35)

We shall verify this by explicit computation later on. Since a similar issue will show
up in solving the equation at > 0, let us also present a more general statement,
whose proof is postponed to the next subsection.

Lemma Let Tp he linear operators on the range of Pq, which transform as real spinors of
Spm{d) and commute with the antipode map. Then, for each invariant state we have

TpijjQ = nQ^ipo , (36)

with K, depending only on the associated representation j^Mj).

We now assume having solved the equations (^ ^) up to n — 1 for Spin((i) invariant
ipi, . . . ipn-i (which is true for n — 1 = 0), and claim the same is possible for n. Since Q^^
is invertible on the range of Pq, eq. (|^)n determines Poipn uniquely. The fact that the
solution so obtained is independent of (3 and is Spin(c?) invariant may deserve a comment,
because the equivalence of the equations Q/^ip = and {Q/3)^ip = 0, which holds on (H),
does not apply in the sense of formal power series (|T2]). Consider the expansion ([T^), i.e..

oo

k=0

as well as its formal square

oo

3l

k=0

Notice that {Q/bY is, by (0), independent of (3 and Spin((i) invariant as an operator on
SU(2) invariant power series. Similarly, let [Qi3ip]k (given by the l.h.s. of (^)) and
[{Qi3Y4']k be the coefficients of the corresponding series. By induction assumption we
have [Qf34']k = for A; = 0, . . . , n — 1. Since QpiQpij) = {QpY'ip, we obtain

n „

[(Q/3)V]n = J]gJ[g/3V^]„-fc-(«: + -n-2)gj[Q^V^]._i = g°[g^^]„,

A:=0

[(g/3)V]n = (gS)'V'n + ,

where ipn-i (determined by ipO: ■ ■ -i^n-i) has the desired properties. The equation (0)n,
i.e., Q°[Q/3^]n = is thus equivalent to {Q^^Yipn = — ^n-i, which exhibits the claim.

On the other hand, invariance requires Potpn to be a linear combination of invariant
singlets. For the ansatz Po^n = Xn'4'oy sq. (|33D^ reads

^nXnQliJo = -PoiQlPoi^n + + • • • + Q^+Vo) ,

because of (0). Again, by the lemma, this holds true for suitable A„. Indeed, this solution
for Poipn is the only one.

4.5 Proof of the lemma

The vectors Tpipo, (/3 = 1, . . . ,Sd) transform under Spin((i) as real spinors, although they
might be linearly dependent. By reducing matters to the little group as before, any
representation of that sort is specified by the values |F^(i^^,e)) of its states (see (|l3)) at
one point {E, e), which are required to satisfy

Rp^{R)\F"{E,e}) =n{R)\F^{E,e})

for R with RE = E. Pretending the states \F^{E,e)) to be linearly independent, the
branching Spin((i) ^ Spin((i — 1) yields

For d = 9,5 each term on the r.h.s. occurs as often as in (^), and ipo can indeed be
chosen so that the Sd vectors Qjjipo are independent. Not so in the last case, where the
vectors Tpipo just belong to li © l_i. We continue the discussion for different values of d
separately.

• d = 9. Any linear transformation K commuting with a Spin(9) representation as
above is thus of the form K = Ks® Kc- If K also commutes with the antipode map, then

= = Applying this to the representation Q^Vo and to the map K : Q^V^o ^ TpipQ
yields the claim.

K commuting with the representation is of the form

K = {1®K+)®{1®K_) ,

where K_ is conjugate to if K commutes with the antipode map. This allows for a
four dimensional space of such maps K. To proceed further we shall again assume that
= (0, . . . , 0, 1) and introduce creation operators

a; = -^[(e„-e) +i(e,+4-e)] , (a = l,...4)

which then define a vacuum through aQ,|0) = 0. We next choose an orthonormal basis
{ipl, ... , V'o} 4-dimensional subspace of singlets in the range of Pq by specifying

10

the values of the corresponding fermionic parts (see (|T^) at {E,e):

\F,\E,e)) = -L(|0)-ata;aK|0)),
\F^{E,e)) = ^f>>;|0) = ^(7^fW(e«-el(e;3-e-)|Fo^(E,e)), (^ = 1,2,3),

where

with S G 0(4) and det S = — 1. Note that tpQ is the singlet belonging to the 5-dimensional
fermionic representation of Spin(5). One can verify that the four maps

Ql%, (^ = 1,2,3),

l'p^E,Qi^^,, (z = 4),

besides being of the kind just discussed, are linearly independent. Therefore any map
K of the above form is a linear combination thereof. In particular this applies, for any

{x,X4) G R^+^, to the map K : Qj^ipl i— > XiTpipQ + x^'j^^^EtTaipQ, hence

This defines a linear map n : (x, X4) iy,yi) on R^+^. We claim that

K : {Rx, X4) t-> {Ry, 2/4) (37)

for R G S0(3), which implies n = diag(Ki = 1^2 = 1^3, 1^4,) and hence (|3^) . Eq. (|37D can be
proven using RijipQ = 'R-x^'l for 71 G Spin(8) projecting to i? G Spin(3) C Spin(5) ^ S0(8).
This in turn follows from (^) and from TZipQ = ipo-
• d = 3. Analogously to = 9.

4.6 Determination of k,

Since Jab'iPo = Jsti'o = we may replace by

Ql = QaAlip {-CBEtMBA ' CAEsM.t - ^ eAEty^B^) + ■ (ys X ythga ■ (38)

^ oysB ^

We discuss the contributions to ( P^D of these four terms separately,
i) With

^bMba = ((0/3 ■ e)e^A - Q(iA{Q(3 ■ e))

we find

O^aCbMba = i{{Qa-n+){Qp-n-) + {Qa-n~){Qp-n+)){Qp-e)

PoQaAeBMBAi'O = i(0a " 6 )V'0 ,

11

since only the term with (3 = a survives the projection Pq. Hence

-PoQaA-fipeBEtMBA^o = Qli^o (39)

contributes 1 to n.
ii) Similarly,

where MJ^ is given in (|3T|) . For the r.h.s. we then claim

-(©a ■ eHpEsMl^o = k'QI^Po (40)

with

(rf = 9) ,

«:'=<[ 0,0,0,4, (rf = 5), (41)

,0, (d = 3).

This is clear in the cases where the representation in (PO) is already a singlet, i.e., when
k' = 0. To prove the two remaining cases we first establish

-{Q^ ■ ehi^EMl^, = -^Yaf,E,[Q^ . e , mJ,m1]^o - i^^(©a ■ ehlf^E.^P^ , (42)
or the equivalent equation obtained by multiplication from the right with Eu'y^'-

-(e, ■ e )(7V)./5i?«i?sM]l ^0 = ■ e , mImI]^,, - i^^(0/3 ■ e )^o • (43)

To this end we note that, by the invariance of ipQ, its fermionic part \F{E, e)) a,t E E S'^^^
is invariant under rotations of Spin((i) leaving E fixed: {d^s — EuEg) MsviS^t — EyEt)ipo = 0,
i.e.,

{mIe^E, + MlE^EMo = Miv^o • (44)
Using 7*7" = —7"* + and the observation just made we rewrite the l.h.s. of (^) as

-(e,-e)(7V)a/3K^.M]l^o = {ea-eha^E^EMli^o

= \{Qa-e)^ll{EuEsMi-EtEsMl)^o

The commutation relation

i[e„-e,Mi] = ^7:^^0/3 -e")
follows from (0) or by direct computation. It implies

i[e« ■ e , mImI] = llaU^p ■ e , Ml} = 7^^(6/3 ■ e )Mi - ^1:^^^^ ■ e , M^]

12

Solving for the first term on tlie r.h.s. proves PB| ) and lience (0). Let us now note
that for (i = 9 the fermionic part of ipo, resp. of (9^ ■ e)ipo belongs to the 44, resp. 128
representation of Spin (9) (see (PH])). Eq. then implies

-(6, ■ e)ji^EsMiiJo = (C(44) - C(128) + 9)QJ^o = 9QJ^o ,

where we used the values [^] of the Casimir: C(44) = C(128) = 18. In the case d = 5
the fermionic part of ipo, resp. of (9q, ■ e)'4'o belongs to the representation 5, resp. 4 © 4.
We conclude that

-(e„ ■ ehipEsMl^Po = (Cib) - C(4) + ^)gJV^o = 4QjV^o ,

given that C(5) = 4, ^(4) = 5/2.

We remark that the proof of (^Tj) can be shortened by using the lemma, according to
which (^Of ) holds true for some k'. Thus, contracting with Qpipo and summing over (3, we
find

-/€'(Vo, QlQl^o) = -i(^o, (67 ■ e)7"/3^n(e„ ■ e)^ipEsM!,^lJo)

= 2(^0, mI{mIEuEs + MlE,Et)^o) = 2(^-0, mIMM •

In the step before last we relabeled indices in half the expression; in the last one we used
(HI). Using Q^Qp = -Sd/2 we obtain {sd/2)K' = 2 • 2 • C, i.e., k' = 8C/sd, where C is the
Casimir in the representation (ppj). The above values of C(44) {d = 9) and of C(5) {d = 5)
yield again (|41|).

iii) Using de~^ ^^/dy = —ye~^ we get

1 d

V'o = —ysBVsB'ipo = ^{y^B - ^)^o -\-2{d- 1)^0 , (45)

- ^^^^ 2 2 _ .

where the sum, consisting of second Hermite functions, is annihilated by Pq.
iv) The last term in (|38D, when acting on ipo, is similarly annihilated by Pq.

Collecting terms (|39| , ^51) we find

^ [6, (f/ = 9),

«:=l + /€'--(rf-l)= J -1,-1,-1,3, (rf = 5).

2

0,0, (rf = 3)

Appendix 1

To prove (|l^) we shall compute the partial derivatives in

d

dr

d

+

dEs d dysB d

+

dqtA dqtA dr dqtA des dqtA dEs dqtA dyss

(46)

13

We regard r, e, E, y as functions of q defined by e ^ = J2s -^s = 1 (P, 0) and solve
for their differentials by taking different contractions of

Using that

dqtA = {eAEt - ^/^?/tA)dr + rEtdcA + rcA^Et + r ^^MT/tA

e^dytA + ytA<^eA = , EtdytA + VtA^Et =

CAdCA = , Etd^i = ,

5

the contractions are:

CAEtdqtA = dr

{Sba - eBeA)EtdqtA = rdes - r'^^'^ytAdEt , (47)

e^(5,t - EsEt)dqtA = rdE^ - r~^'^ysAdeA , (48)

{Sba - eBeA){5st - EsEt)dqtA = --r'^^'^yssdr + r'^^'^{dysB + ^BysAdcA + E.ytBdEt) .
We solve (0, ||) for de^, dE,:

dr = CAEtdqtA ,

dcij = {m~^)Bc{r~^{ScA - eceA)Et + r"^/^|/iC'eA)dgM

= {r-\6BA - 6^6^)^^ + 0{r-''/^))dqtA ,

dE, = (M-i),„(r-i(5,t - E^Et)eA + r-^/^^.A^^Odg^

= {r~\5st - ^s^t)eA + 0(r-^/2))^^^^ ^

d^/sB = [^^^^^((^BA - eBeA){Sst - EsEt) + -r~^eAEtysB]dqtA - esysAdcA - E^ytBdEt ,

where m, M are the matrices

rriAB = Sab - r'^ytAVtB , Mst = Sst - r'^ysAUtA ■
We can now read off the partial derivatives appearing in (^) and obtain

^ = r'/\6st - EsEt){6AB - eACB)^ + r-^[eAEt{r— + -y.s- )]

dqtA dysB dr 2 dysB

d d
+r'^{.5Ac - (^Aec)Et{5cBT\ ^BysC

OeB OVsB

+r'\5ut - E^Et)eA{5usj7w- - E^yuB^ ) + 0{r-''/^) , (49)

dEs dysB

with the remainder not containing derivatives w.r.t. r. Finally, we insert this expression
into

d d

iJ^BA — qsBT\ QsA

dqsA oqsB

d

[{5 AC - (iAec)ysB - {^BC - eBec)ysA

dysc

/<: d d . d d
+eB[0ACT, ecysAT. — ) - eAyoBCT. ecVsB

oec oysc oec oysc

14

(with no higher order corrections, as Lab is of exact order 0{r^)) and then into

d d

ir'^esEtLBA = r'^^iSAc - eAec)Et{5cBi^ (^bVsC^ ) •

ocb oysB

Similarly, we have

d d
ir~^eAE,Lst = r"^(5„t - EuEt)eA{SusT7T=r - EsVuB- ^

dEs dysB
Together with (H), this proves (p^).

Appendix 2

Consider

H={-d.-^-d,' + xVn+i 4 4 ) ' (50)

which is the square of

dy + xy

Q

dy - xy -da:

Just as in (P), the bosonic potential V (= x'^y'^) is non- negative, but vanishing in regions
of the configuration space that extend to infinity (causing the classical partition function
to diverge). Quantum-mechanically, just as in (^, the bosonic system is stabilized by the
zero point energy of fluctuations transverse to the flat directions; the fermionic matrix
part in (|SD|) exactly cancels this effect, causing the spectrum to cover the whole positive
real axis [0. As simple as it is, it has remained an open question (for now more than 10
years) whether ( pH ) admits a normalizable zero energy solution, or not. The argument,
derived in a few lines below, gives 'no' as an answer and provides the simplest illustration
of our method: as x — +00, Q'^ = has two approximate solutions,

^+ = e-^^ J ^ and ^_ = ( ) ' ^^^^

the first of which should be chosen for \t'o in the asymptotic expansions

^ = a;-"(*o + ^i + ...) • (52)
In this simple example, the sum Q = Yl'^=o Q^^^ terminates after the first two terms, and

yields (as already anticipated, cp. (^

dy- xy

dy + xy

15

and

Multiplying (^) by \1'J and integrating over y one sees that

/ + 00 ^ 2

-oo

has to vanish, implying in particular

/+00 / 2 \
1

~4 '

which proves that ( ^OD does not admit any square-integrable solution of the form (|52|).
A different approach has recently been undertaken by Avramidi p6|. Finally note that,
calculating the '^n>o from (|53|), yields the asymptotic expansion, x +oo.

where fo = I = go, fi = = gi, and the 5'n(s) are the (unique) polynomial solutions

n n

fn{s) = ^fn,iS\ gn{s) = ^ gn,iS'

i=0 1=0

of

2s/; + (1 - 2s)/„ = {l-2s~Qn)g^ + Asg'^,
, /3 s 3n\ ^ ^,

Acknowledgments. We thank A. Alekseev, I. Avramidi, V. Bach, F. Finster, H. Nico-
lai, C. Schweigert, R. Suter, P. Yi for useful discussions. We also thank the following
institutions for support: the Albert Einstein Institute, the Fields Institute, the Erwin
Schrodinger Institute, the Institute for Theoretical Physics of ETH, the Mathematics
Department of Harvard University, the Deutsche Forschungsgemeinschaft.

=

K =

References

[1] J. Frohlich, J. Hoppe, On zero-mass ground states in super-membrane matrix mod-
els. Comm. Math. Phys. 191, 613-626 (1998); piepth/9701119 .

[2] P. Yi, Witten index and threshold bound states of D-branes, Nucl. Phys. B505,
307-318 (1997); |hep-th/9704098 .

16

S. Sethi, M. Stern, D-Brane bound state redux. Comm. Math. Phys. 194, 675-705
(1998); |hep-th/ 9705046.

M. Porrati, A. Rozenberg, Bound states at threshold in supersymmetric quantum
mechanics, Nucl. Phys. B515, 184-202 (1998); ^iep-th/9708TT9| .

J. Hoppe, On the construction of zero energy states in supersymmetric matrix models
I, II, III, |hep-th/970"9l32| , |liep-th/970"92l7| , |hep-th/97lT033| .

M.B. Green, M. Gutperle, D-particle bound states and the D-instanton measure,
JHEP 9801 (1998); |hep-th/97in07| .

J. Hoppe, S.-T. Yau, Absence of zero energy states in reduced SU(N) 3d supersym-
metric Yang Mills theory, |hep-th/9711169| .

M.B. Halpern, C. Schwartz, Asymptotic search for ground states of SU(2) matrix

theory. Int. J. Mod. Phys. A13, 4367-4408 (1998); |hep-th/97 12133

W. Krauth, H. Nicolai, M. Staudacher, Monte Carlo approach to M-theory, Phys.
Lett. B431, 31-41 (1998); |hep-th/9803Tr7| .

G. Moore, N. Nekrasov, S. Shatashvili, D-particle bound states and generalized
instantons, [hep-th/9803265 .

A. Konechny, On asymptotic Hamiltonian for SU(N) matrix theory, JHEP 9810
(1998); [hep-th/9805046| .

G.M. Graf, J. Hoppe, Asymptotic ground state for 10 dimensional reduced super-
symmetric SU(2) Yang Mills theory, |hep-th/9805080 .

J. Hoppe, S.-T. Yau, Absence of zero energy states in the simplest d = 3 {d = 5?)
matrix models, [hep-th/9806152 .

J. Goldstone, unpublished.

J. Hoppe, Quantum theory of a massless relativistic surface, MIT Ph.D. Thesis
(1982); Proceedings of the workshop Constraints theory and relativistic dynamics,
World Scientific (1987).

M. Claudson, M. Halpern, Supersymmetric ground state wave functions, Nucl. Phys.
B250, 689-715 (1985).

R. Flume, On quantum mechanics with extended supersymmetry and nonabelian
gauge constraints, Ann. Phys. 164, 189-220 (1985).

M. Baake, P. Reinicke, V. Rittenberg, Fierz identities for real Clifford algebras and
the number of supercharges, J. Math. Phys. 26, 1070-1071 (1985).

B. de Wit, J. Hoppe, H. Nicolai, On the quantum mechanics of supermembranes,
Nucl. Phys. B305, 545-581 (1988).

B. de Wit, M. Liischer, H. Nicolai, The supermembrane is unstable, Nucl. Phys.
B320, 135-159 (1989).

17

[20] E. Witten, Bound states of strings and p-branes. Nuclear Phys. B460, 335-350
(1996); |hep-th/9510135| .

[21] T. Banks, W. Fischler, S.H. Shenker, L. Susskind, M theory as a matrix model: a
conjecture, Phys. Rev. D55, 5112-5128 (1997); |hep-th/ 96 10043 .

[22] E.A. Coddington, N. Levinson, Theory of ordinary differential equations, Krieger

(1987) .

[23] R.S. Palais, C. Terng, Critical point theory and suhmanifold geometry, Springer

(1988) .

[24] B. Simon, Representations of finite and compact groups, American Mathematical
Society (1996).

[25] W.G. McKay, J. Patera, Tables of dimensions, indices, and branching rules for rep-
resentations of simple Lie algebras, Dekker (1981).

[26] I. Avramidi, On strict positivity of some matrix-valued differential operators, (work
in progress).

18

```