26.01.2014 Views

arXiv:hep-th/9304011 v1 Apr 5 1993

arXiv:hep-th/9304011 v1 Apr 5 1993

arXiv:hep-th/9304011 v1 Apr 5 1993

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

parameters to result in a (2l−1) st order differential operator in <strong>th</strong>e continuum. The single<br />

condition W ′ = 0 results in P tuned to a 3 rd order operator, and <strong>th</strong>e l − 1 conditions<br />

W ′ = . . . = W (l−1) = 0 allow P to be realized as a (2l−1) st order differential operator. In<br />

(7.23), we see <strong>th</strong>at <strong>th</strong>e universal part of Q after suitable rescaling takes <strong>th</strong>e form Q = d 2 −u.<br />

For <strong>th</strong>e simple critical point W ′ = 0, <strong>th</strong>e continuum limit of P is <strong>th</strong>e antihermitian operator<br />

P = d 3 − 3 4<br />

{u, d}, and <strong>th</strong>e commutator<br />

1 = [P, Q] = 4R ′ 2 =<br />

( 3<br />

4 u2 − 1 4 u′′ ) ′<br />

(7.26)<br />

is easily integrated wi<strong>th</strong> respect to z to give an equation equivalent to (7.17), <strong>th</strong>e string<br />

equation for pure gravity. In (7.26), <strong>th</strong>e notation R 2 is conventional for <strong>th</strong>e first member<br />

of <strong>th</strong>e ordinary KdV hierarchy. The emergence of <strong>th</strong>e KdV hierarchy in <strong>th</strong>is context is<br />

due to <strong>th</strong>e natural occurrence of <strong>th</strong>e fundamental commutator relation (7.25), which also<br />

occurs in <strong>th</strong>e Lax representation of <strong>th</strong>e KdV equations. (The topological gravity approach<br />

has as well been shown at leng<strong>th</strong> to be equivalent to KdV, for a review see [105,106].)<br />

In general <strong>th</strong>e differential equations<br />

[P, Q] = 1 (7.27)<br />

<strong>th</strong>at follow from (7.25) may be determined directly in <strong>th</strong>e continuum. Given an operator Q,<br />

<strong>th</strong>e differential operator P <strong>th</strong>at can satisfy <strong>th</strong>is commutator is constructed as a “fractional<br />

power” of <strong>th</strong>e operator Q. This me<strong>th</strong>od of formulating <strong>th</strong>e continuum <strong>th</strong>eory has a beautiful<br />

generalization to a larger class of <strong>th</strong>eories, which is defined in <strong>th</strong>e following two sections.<br />

7.5. Ising Model<br />

The first extension of <strong>th</strong>e me<strong>th</strong>od of or<strong>th</strong>ogonal polynomials occurs in <strong>th</strong>e solution of<br />

<strong>th</strong>e Ising model. The partition function of <strong>th</strong>e Ising model on a random surface can be<br />

formulated using <strong>th</strong>e two-matrix model:<br />

e Z ∫<br />

=<br />

dU dV e −tr( U 2 + V 2 − 2c UV + g N (eH U 4 + e −H V 4 ) ) , (7.28)<br />

where U and V are hermitian N × N matrices and H is a constant. In <strong>th</strong>e diagrammatic<br />

expansion of <strong>th</strong>e right hand side, we now have two different quartic vertices of <strong>th</strong>e type depicted<br />

in fig. 13b, corresponding to insertions of U 4 and V 4 . The propagator is determined<br />

by <strong>th</strong>e inverse of <strong>th</strong>e quadratic term,<br />

( ) −1<br />

1 −c<br />

= 1 ( )<br />

1 c<br />

−c 1 1 − c 2 c 1<br />

92<br />

.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!