1: \documentclass[12pt]{article}
2:
3: \usepackage{amsfonts,amssymb,amsmath,amsthm,eucal}
4: \usepackage[dvips]{graphics}
5:
6: \numberwithin{equation}{section}
7:
8: \newcommand{\Z}{\mathbb{Z}}
9: \newcommand{\R}{\mathbb{R}}
10: \newcommand{\C}{\mathbb{C}}
11: \newcommand{\bro}{\boldsymbol{\varrho}}
12:
13: \newcommand{\GG}{\mathsf{G}}
14: \newcommand{\Gc}{\mathsf{G}^\circ}
15: \newcommand{\FF}{\mathsf{F}}
16: \newcommand{\HH}{\mathsf{H}}
17: \newcommand{\KK}{\mathsf{K}}
18:
19: \newcommand{\RR}{\mathsf{R}}
20: \newcommand{\Rc}{\mathsf{R}^\circ}
21: \newcommand{\EE}{\mathsf{E}}
22: \newcommand{\QQ}{\mathsf{Q}}
23: \newcommand{\Ec}{\mathsf{E}^\circ}
24: \newcommand{\vro}{\varrho}
25: \newcommand{\erf}{\operatorname{erf}}
26:
27: \newcommand{\bF}{\mathbf{F}}
28:
29:
30: \newcommand{\cE}{\mathcal{E}}
31: \newcommand{\cEt}{\cE^\circlearrowleft}
32: \newcommand{\cR}{\mathcal{R}}
33: \newcommand{\cF}{\mathcal{F}}
34: \newcommand{\cG}{\mathcal{G}}
35: \newcommand{\ad}{\dot a}
36: \newcommand{\Ad}{\dot A}
37: \newcommand{\e}{\varepsilon}
38:
39: \newcommand{\af}{\mathsf{a}}
40: \newcommand{\A}{\mathsf{A}}
41: \newcommand{\wtt}{\widetilde{\tau}}
42:
43: \newcommand{\ix}{x}
44:
45:
46:
47:
48: \newtheorem{theorem}{Theorem}
49: \newtheorem{lemma}{Lemma}[section]
50: \newtheorem{proposition}[lemma]{Proposition}
51:
52: \theoremstyle{definition}
53: \newtheorem{remark}[lemma]{Remark}
54: \newtheorem{definition}[lemma]{Definition}
55: \newtheorem{example}[lemma]{Example}
56:
57: \newcommand{\E}[1]{\left\langle {#1} \right\rangle}
58: \newcommand{\tr}{\operatorname{tr}}
59: \newcommand{\Cov}{\operatorname{Cov}}
60: \newcommand{\Prob}{\operatorname{Prob}}
61: \newcommand{\cov}{\operatorname{cov}}
62: \newcommand{\Map}{\operatorname{Map}}
63: \newcommand{\Metr}{\operatorname{Met}}
64: \newcommand{\Aut}{\operatorname{Aut}}
65: \newcommand{\Ai}{\operatorname{Ai}}
66: \newcommand{\map}{\operatorname{map}}
67: \newcommand{\const}{\operatorname{const}}
68: \newcommand{\Img}{\operatorname{Im}}
69: \newcommand{\End}{\operatorname{End}}
70:
71: \newcommand{\edge}{\operatorname{edge}}
72: \newcommand{\val}{\operatorname{val}}
73: \newcommand{\sgn}{\operatorname{sgn}}
74: \newcommand{\Su}{\mathsf{S}}
75: \newcommand{\tX}{\widetilde{X}}
76: \newcommand{\hx}{\widehat{x}}
77: \newcommand{\hy}{\widehat{y}}
78: \newcommand{\ff}{\mathbf{f}}
79: \newcommand{\la}{\lambda}
80: \newcommand{\al}{\alpha}
81: \newcommand{\tC}{\widetilde{C}}
82: \newcommand{\sq}{\square}
83: \newcommand{\dn}{\delta}
84: \newcommand{\up}{\delta^*}
85: \newcommand{\Pl}{\mathfrak{P}}
86: \newcommand{\eps}{\varepsilon}
87:
88: \newcommand{\tsum}{{\textstyle\sum}}
89: \newcommand{\si}{{\boldsymbol\delta}}
90:
91:
92: \newcommand{\Mgn}{\overline{\mathcal{M}}_{g,n}}
93:
94:
95:
96: \begin{document}
97:
98: \title{Generating functions for intersection numbers
99: on moduli spaces of curves}
100: \author{Andrei Okounkov}
101: \date{June 2000}
102:
103: \maketitle
104:
105:
106: \begin{abstract}
107: Using the connection between intersection theory on the
108: Deligne-Mumford spaces $\Mgn$ and the edge scaling of
109: the GUE matrix model (see \cite{rp,OP}), we express the $n$-point functions
110: for the intersection numbers as $n$-dimensional error-function-type
111: integrals and also give a derivation of Witten's KdV equations
112: using the higher Fay identities of Adler, Shiota, and van Moerbeke.
113: \end{abstract}
114:
115:
116: \section{Introduction}
117:
118: \subsection{Overview}
119:
120:
121: \subsubsection{}
122:
123:
124:
125: This paper is a continuation of \cite{rp} and is very
126: closely related to \cite{OP}. It was observed
127: in \cite{rp} and conceptually explained in \cite{OP}
128: that the intersection theory on the moduli
129: space of curves is closely connected to the edge scaling of
130: the standard GUE matrix model (which can be called the
131: edge-of-the-spectrum matrix model). Leaving the
132: detailed discussion of this phenomenon to \cite{OP}, we obtain here
133: some formal consequences of this connection, most importantly, an
134: error-function-type integral
135: formula for certain generation functions for the intersection numbers
136: known as the $n$-point functions. We also show how to derive, using results
137: of Adler, Shiota, and van Moerbeke \cite{ASV}, the KdV
138: equations from this matrix model.
139:
140: \subsubsection{}
141:
142: Let $\Mgn$ be the stable compactification of the
143: moduli space of genus $g$ curves with $n$ marked points.
144: Let $\psi_i$ be the first Chern class of the line
145: bundle whose fiber over each pointed stable
146: curve is the cotangent line at the $i$th point.
147: We use the standard notation
148: %
149: \begin{equation}\label{Et}
150: \E{\tau_{d_1} \dots \tau_{d_n}} = \int_{\Mgn} \psi_1^{d_1} \cdots
151: \psi_n^{d_n} \,, \quad \sum {d_i}=3g-3+n \,,
152: \end{equation}
153: %
154: for the intersection numbers of these $\psi$-classes.
155:
156: The celebrated conjecture of Witten \cite{W} says that for the following
157: generating function
158: $$
159: \bF(t_0,t_1,\dots)= \sum_{(k_0,k_1,\dots)}
160: \E{\tau_{0}^{k_0} \tau_{1}^{k_1} \dots } \prod \frac{t_i^{k_i}}{k_i!}\,,
161: $$
162: the exponential $\exp(\bF)$ is a $\tau$-function
163: for the KdV hierarchy in variables
164: $$
165: T_{2i+1}=\frac{t_i}{(2i+1)!!}\,.
166: $$
167: This conjecture was inspired by matrix models of $2$-dimensional quantum gravity,
168: see for example \cite{D,DGZ} for a survey.
169:
170: The proof of Witten's conjecture given by Kontsevich
171: \cite{K} uses another matrix model interpretation of the
172: generating function $\bF$.
173:
174: \subsubsection{}
175:
176:
177: The purpose of this paper is to exploit yet another random matrix
178: connection \cite{rp} to evaluate a different generating
179: function for \eqref{Et}, called the $n$-point function, in a closed form.
180:
181:
182: \begin{definition} We call the following generating function
183: $$
184: \cF(\ix_1,\dots,\ix_n) = \sum_{g=0}^\infty \cF_g(\ix_1,\dots,\ix_n)\,,
185: $$
186: where
187: $$
188: \cF_g(\ix_1,\dots,\ix_n) =
189: \sum_{\sum d_i = 3g-3+n} \E{\tau_{d_1} \dots \tau_{d_n}} \, \prod \ix_i^{d_i}\,,
190: $$
191: the $n$-point function.
192: \end{definition}
193:
194: The 2 and 3-point function were computed by Dijgraaf and Zagier,
195: respectively. Several
196: specialization of the $3$-point function can be found in the paper
197: \cite{CP}. Our main result, see Theorem \ref{t1} below, is that
198: the n-point function $\cF$ is a certain specific multivariate error function
199: (and hence, in particular, a multivariate hypergeometric function
200: in the sense of Gelfand, Kapranov, and Zelevinsky, see Section \ref{GKZ} ).
201:
202: \subsubsection{}
203: We recall, referring the reader to \cite{rp,OP} for details,
204: that the $n$-point functions turn out to be connected to the asymptotics
205: of the following averages over $N\times N$ Hermitian matrices
206: %
207: \begin{equation}\label{EN}
208: \E{\prod_{k=1}^n \tr H^{2[x_k N^{2/3}]}}_{N}\,, \quad N\to\infty\,,
209: \end{equation}
210: %
211: with respect to the standard Gaussian measure. Here $[\,\cdot\,]$ stands
212: for the integer part. The asymptotics of \eqref{EN} is equivalent
213: to the knowledge of the distribution of eigenvalues of a random matrix
214: near the edge of the Wigner semicircle. This distribution is well known to be
215: described by
216: the Airy ensemble, see for example \cite{TW}. We also note that
217: this Airy behavior near the
218: edge of the spectrum is very universal for random matrix
219: ensembles, see for example \cite{Sosh}.
220:
221: \subsubsection{}
222:
223: By a standard application of the Wick formula, the asymptotics \eqref{EN}
224: is equivalent to the asymptotics in the following combinatorial enumeration
225: problem. Consider a surface
226: $\Sigma$ and a map on it with $n$ cells, that is, a way to glue $\Sigma$
227: out of $n$ polygons by identifying the edges of the polygons in pairs.
228: The asymptotics of the number of ways this can be
229: done, as $n$ is fixed and the perimeters of the polygons go to infinity at certain relative rates,
230: is encoded in the asymptotics of \eqref{EN}.
231: %
232: \begin{figure}[!hbt]
233: \centering
234: \scalebox{.7}{\includegraphics{drevo.EPS}}
235: \caption{A typical map of large perimeter}
236: \label{f1}
237: \end{figure}
238: %
239: A typical map with 3 cells on a
240: genus $g=2$ surface $\Sigma$ is shown in Figure \ref{f1}. Here one
241: portion of the map is magnified so that to show the dendriform pattern
242: that the map forms because the polygons are allowed to be glued to itself.
243: In fact, the overwhelming part of the perimeter is typically contained in
244: these trees as the perimeter goes to infinity. The macroscopic data of
245: the map in Figure \ref{f1} is a trivalent graph embedded in $\Sigma$
246: which is the same data as in \cite{K}, see \cite{rp,OP} for details
247: of the connection of this approach to \cite{K}.
248:
249: The asymptotics in this map enumeration problem is described by
250: a certain function $\map_\Sigma(x_1,\dots,x_n)$, see Section 2.1.7 of
251: \cite{rp} for precise definitions and Section \ref{smap} below for
252: a formula for $\map_\Sigma$.
253: When the surface $\Sigma$ is connected of genus $g$, we write $\map_g$
254: instead of $\map_\Sigma$. Obviously, the asymptotics $\map_\Sigma$ is multiplicative
255: in connected components.
256:
257: There exist a number of other combinatorial asymptotics equivalent to
258: the asymptotics \eqref{EN}, such as the distribution of increasing
259: subsequences in a random permutation, see for example \cite{BDJ,O,BOO,J}.
260:
261: \subsubsection{}
262:
263: Another product of our analysis is an alternative derivation of Witten's
264: KdV equations using the edge matrix model.
265: It is based on the Fay identities methods developed
266: by Adler, Shiota, and van Moerbeke in \cite{ASV}.
267:
268:
269: \subsection{Formula for the $n$-point function}
270:
271: \subsubsection{The function $\cE$}
272:
273:
274:
275: The key ingredient in our formula for the $n$-point function
276: will be the following function of $\ix_1,\dots,\ix_n$
277: %
278: \begin{multline}\label{forE}
279: \cE(\ix_1,\dots,\ix_n)=
280: \frac1{2^n\pi^{n/2}}
281: \frac{\exp\left(\frac1{12} \sum \ix_i^3\right)
282: }{\prod \sqrt{\ix_i}} \times \\
283: \int_{s_i\ge 0} ds \,
284: \exp\left(-\sum_{i=1}^n \frac{(s_i-s_{i+1})^2}{4\ix_i} -\sum_{i=1}^n
285: \frac{s_i+s_{i+1}}2\,\ix_i
286: \right) \,,
287: \end{multline}
288: %
289: where the integral is over $\R_{\ge 0}^n$ and $s_{n+1}=s_1$.
290:
291:
292: This integral admits a nice probabilistic interpretation, namely
293: $$
294: \cE(x) = \exp\left(\frac1{12} \sum x_i^3\right) \, \int_{\gamma\ge 0}
295: e^{-\int \gamma} \, W(d\gamma)\,,
296: $$
297: where the integral is over the space of nonnegative
298: piecewise linear function of
299: the form shown in Figure \ref{f2}
300: %
301: \begin{figure}[!hbt]
302: \centering
303: \scalebox{.7}{\includegraphics{wiener.EPS}}
304: \caption{A piecewise linear function $\gamma$}
305: \label{f2}
306: \end{figure}
307: %
308: subject to the bridge condition $s_{n+1}=s_{1}$.
309: The measure $W$ is the natural Gaussian measure: the increments
310: of $\gamma$ are independent normal variables with variance equal to
311: twice the length of the interval.
312:
313:
314:
315: \subsubsection{Main result}
316:
317: The function $\cE$
318: is clearly invariant under a cyclic shift of the $\ix_i$'s.
319: We want to have something symmetric in the $\ix_i$'s, so
320: we set
321: $$
322: \cEt(\ix) =
323: \sum_{\sigma\in S(n)/(12\dots n)} \cE(\ix_{\sigma(1)},\dots,\ix_{\sigma(s)}) \,,
324: $$
325: where the summation is over coset representatives
326: modulo the cyclic group generated by the permutation
327: $(12\dots n)$.
328:
329: Let $\Pi_n$ denote the set of all partitions $\al$ of the
330: set $\{1,\dots,n\}$ into disjoint union of subsets. For any
331: partition $\al\in\Pi_n$ with $\ell=\ell(\al)$ blocks, let $x_\al$ denote the
332: vector of size $\ell$ formed by sums of $\ix_i$ over the blocks of $\al$.
333: For example, if
334: $$
335: \al=\{1,3\}\sqcup\{2\} \in \Pi_3
336: $$
337: then $\ell(\al)=2$ and $x_\al=(x_1+x_3,x_2)$.
338:
339: By definition, we set
340: $$
341: \cG(\ix_1,\dots,\ix_n) = \sum_{\al\in\Pi_n} (-1)^{\ell(\al)+1} \, \cEt(\ix_\al)\,.
342: $$
343: For example,
344: $$
345: \cG(\ix_1,\ix_2)=
346: \cE(\ix_1+\ix_2) - \cE(\ix_1,\ix_2) \,,
347: $$
348: and, similarly,
349: %
350: \begin{multline*}
351: \cG(\ix_1,\ix_2,\ix_3) = \cE(\ix_1+\ix_2+\ix_3) - \cE(\ix_1+\ix_2, \ix_3)
352: - \cE(\ix_1+\ix_3, \ix_2) \\
353: - \cE(\ix_2+\ix_3, \ix_1) + \cE(\ix_1,\ix_2,\ix_3) + \cE(\ix_1,\ix_3,\ix_2) \,.
354: \end{multline*}
355: %
356:
357: In this notation, our result is
358: %
359: \begin{theorem}\label{t1}
360: %
361: \begin{equation}\label{main}
362: \cF(\ix_1,\dots,\ix_n) = \frac{(2\pi)^{n/2}}{\prod \ix_i^{1/2}} \,
363: \cG\left(\frac{\ix}{2^{1/3}}\right) \,.
364: \end{equation}
365: %
366: \end{theorem}
367:
368: We remark that the right-hand side of \eqref{main} makes sense for
369: all $g\ge 0$ and $n\ge 1$, even for the pairs
370: $$
371: (g,n)=(0,1),(0,2)
372: $$
373: for which the corresponding moduli space is problematic. The corresponding
374: terms, however, are not polynomial in $x$, see Section \ref{rmks}.
375:
376: \subsubsection{}\label{GKZ}
377:
378: The integral \eqref{forE} fits inside a more general class of integrals
379: of the form
380: $$
381: I(Q)=\int_{\R_{\ge 0}^n} e^{Q(s)} ds\,, \quad \deg Q = 2 \,.
382: $$
383: Such a multivariate analog of the
384: error function is, as a function of coefficients of the polynomial $Q$,
385: a multivariate hypergeometric function in the
386: sense of Gelfand, Kapranov, and Zelevinsky. In fact, this is true
387: for any polynomial
388: $$
389: Q=\sum_{m=(m_1,\dots,m_n)} a_m s^m \,,
390: $$
391: because the integral $I(Q)$ satisfies the obvious equations
392: $$
393: \left(\prod \frac{\partial}{\partial a_{\mu^{(i)}}} -
394: \prod \frac{\partial}{\partial a_{\nu^{(i)}}} \right)\, I(Q) = 0 \,,
395: \quad
396: \sum \mu^{(i)} = \sum \nu^{(i)}\,,
397: $$
398: and integration by parts gives
399: $$
400: I(Q)=-\int_{\R_{\ge 0}^n} e^{Q(s)} s_i \frac{\partial}{\partial s_i} Q \, ds\,,
401: $$
402: which is equivalent to the homogeneity equations
403: $$
404: \left(\sum_{m} m_i \, a_m \frac{\partial}{\partial a_{m}} + 1\right)\, I(Q)= 0 \,,
405: $$
406: for $i=1,\dots,n$.
407:
408:
409:
410: \section{Proof of the $n$-point function formula}
411:
412: \subsection{}\label{smap}
413:
414: We will assume that the reader is familiar with Section 2 of \cite{rp}.
415: The main object we need from \cite{rp} is the function $\map_g(\ix)$
416: which describes the $N\to\infty$ asymptotics of the number of genus $g$ maps
417: with $n$ cells with perimeters $\sim Nx_1,\dots , \sim N x_n$, respectively.
418:
419:
420: We have the following formula which is Theorem 3 in \cite{rp}
421: %
422: \begin{multline}\label{e1}
423: \int_{\R_{\ge 0}^n} e^{-(z,\ix)}\,\map_g(\ix)\,
424: \frac{d\ix}{\ix} =\\
425: \frac1{2^{|e(\Gamma)|/2-1}} \sum_{\Gamma\in \Gamma^{3}_{g,n}}
426: \frac{1}{|\Aut(\Gamma)|}
427: \prod_{e\in e(\Gamma)}
428: \frac1{\sqrt{z_{1,e}}+
429: \sqrt{z_{2,e}}}\,,
430: \end{multline}
431: %
432: where the summation is over all trivalent ribbon
433: graphs $\Gamma$ of genus $g$ with $n$ cells, the product is over
434: all edges $e$ of $\Gamma$, $z_{1,e}$ and $z_{2,e}$ are the $z_i$'s
435: corresponding to the two sides of edge $e$, and
436: $$
437: |e(\Gamma)| = 6g-6+3n
438: $$
439: is the number of edges of any graph $\Gamma\in \Gamma^{3}_{g,n}$.
440:
441: On the other hand, we have the following formula of Kontsevich
442: which is the unique boxed formula in \cite{K}
443: %
444: \begin{multline}\label{e2}
445: \sum_{\Gamma\in \Gamma^{3}_{g,n}}
446: \frac{1}{|\Aut(\Gamma)|}
447: \prod_{e\in e(\Gamma)}
448: \frac1{{z_{1,e}}+{z_{2,e}}} = \\
449: 2^{-d-|e(\Gamma)|/3}
450: \sum_{\sum d_i = 3g-3+n} \E{\tau_{d_1} \dots \tau_{d_n}} \, \prod_{i=1}^n
451: \frac{(2d_i)!}{d_i \, !} \, z_i^{-2d_i-1} \,.
452: \end{multline}
453: %
454: We refer the reader to \cite{OP} for a very detailed discussion and
455: proof of this formula.
456:
457: {F}rom \eqref{e1} and \eqref{e2}, using the formula
458: $$
459: \int_0^\infty e^{-st}\, t^{m-\frac12} \, dt =
460: \Gamma\left(m+\frac12\right) \, s^{-m-\frac12} = \sqrt{\pi} \,
461: \frac{(2m)!}{2^{2m} \, m!} \, s^{-m-\frac12}
462: $$
463: and the fact that the function
464: $\map_g$ is homogeneous of degree $3g-3+3n/2$,
465: we obtain the following:
466:
467: \begin{proposition}
468: %
469: \begin{equation}\label{Fmap}
470: \cF_g(\ix_1,\dots,\ix_n) = \frac{\pi^{n/2}}{2^g} \,
471: \frac{\map_g(2\ix_1,\dots,2\ix_n)}{\prod \ix_i^{1/2}} \,.
472: \end{equation}
473: %
474: \end{proposition}
475:
476:
477: \subsection{}
478:
479: The function $\map_g$ can be obtained as the Laplace transform
480: of a certain natural object. Introduce the Airy kernel, see
481: for example \cite{TW},
482: $$
483: \KK(x,y)= \frac{\Ai(x) \, \Ai'(y) - \Ai'(x) \Ai(y)}{x-y} \,,
484: $$
485: where $\Ai(x)$ is the classical Airy function.
486:
487: The kernel
488: $\KK$ differs by scaling of variables from the kernel $K$
489: used in \cite{rp}. It is natural to use $\KK$ when working with
490: $\map_g(2\ix)$ instead of $\map_g(\ix)$. We now introduce the
491: corresponding modifications of the functions from Section 2.1.8 of
492: \cite{rp}.
493:
494: Let the function $\RR$ be the following Laplace transform
495: %
496: \begin{equation}\label{defR}
497: \RR(\xi_1,\dots,\xi_n)= \int_{\R^n} e^{(\xi,x)} \, \det \big[ \KK(x_i,x_j)\big)] \, dx\,.
498: \end{equation}
499: %
500: By definition, set
501: %
502: \begin{equation}\label{defH}
503: \HH(\ix_1,\dots,\ix_n) = \sum_{\al\in\Pi_n} \RR(\ix_\al)\,,
504: \end{equation}
505: %
506: where $\Pi_n$ denotes the set of all partitions of the
507: set $\{1,\dots,n\}$ into disjoint union of subsets, and
508: $\ix_\al$ is the
509: vector formed by sums of $\ix_i$ over blocks of $\al$.
510: For example,
511: %
512: \begin{multline*}
513: \HH(\ix_1,\ix_2,\ix_3) = \RR(\ix_1,\ix_2,\ix_3)+ \RR(\ix_1+\ix_2,\ix_3)+ \\
514: \RR(\ix_1+\ix_3,\ix_2) + \RR(\ix_2+\ix_3,\ix_1)+ \RR(\ix_1+\ix_2+\ix_3)\,.
515: \end{multline*}
516: %
517: Finally, set
518: %
519: \begin{equation}\label{defG}
520: \GG(\ix_1,\dots,\ix_n) = \sum_{S\subset\{1,\dots,n\}} \HH(\ix_i)_{i\in S} \,
521: \HH(\ix_i)_{i\notin S} \,,
522: \end{equation}
523: %
524: where the summation is over all subsets $S$ and $\HH(\ix_i)_{i\in S}$ denotes
525: the function $\HH$ in variables $\ix_i$, $i\in S$. For example
526: $$
527: \GG(\ix_1,\ix_2) = 2 \HH(\ix_1,\ix_2) + 2 \HH(\ix_1) \HH(\ix_2) \,.
528: $$
529:
530:
531: The function $\map_g$ has a natural extension to disconnected
532: surfaces $\Sigma$ by multiplicativity.
533: We have the following formula, see the last formula in Section 2.1.8 of \cite{rp},
534: %
535: \begin{proposition} We have
536: %
537: \begin{equation}\label{Su}
538: \GG(\ix_1,\dots,\ix_n) = \sum_{\Sigma}
539: \map_\Sigma(2\ix_1,\dots,2\ix_n) \,,
540: \end{equation}
541: %
542: where the summation is over all orientable surfaces $\Sigma$,
543: including disconnected ones.
544: \end{proposition}
545: %
546:
547: For example,
548: $$
549: \GG(\ix_1,\ix_2) = \sum_{g} \map_g(2\ix_1,2\ix_2) +
550: \sum_{g_1,g_2} \map_{g_1} (2\ix_1) \map_{g_2} (2\ix_2) \,.
551: $$
552:
553:
554: \subsection{}
555:
556: \begin{definition} Let $Q(x_1,\dots,x_n)$, $n=1,2,\dots$,
557: be a sequence of function which are symmetric in their arguments.
558: We define
559: %
560: \begin{align*}
561: Q^\circ(x_1)&=Q(x_1)\,,\\
562: Q^\circ(x_1,x_2) &=Q(x_1,x_2) - Q(x_1) Q(x_2)\,, \\
563: Q^\circ(x_1,x_2,x_3) &= Q(x_1,x_2,x_3) -Q(x_1)Q(x_2,x_3)
564: -Q(x_2)Q(x_1,x_3) \\
565: &\qquad - Q(x_3)Q(x_1,x_2) + 2Q(x_1)Q(x_2)Q(x_3)\,,
566: \end{align*}
567: %
568: and so on, namely, terms of degree $d$ in $Q$ come with
569: the coefficient $(-1)^{d-1} (d-1)!$ which is the well known
570: M\"obius function for the partially ordered
571: set $\Pi_n$ of partitions of $\{1,\dots,n\}$. We call these
572: functions $Q^\circ$ the \emph{connected} part of $Q$.
573: \end{definition}
574:
575: It is clear that the
576: connected part of the sum \eqref{Su} is the following
577: $$
578: \Gc(\ix_1,\dots,\ix_n) = \sum_g \map_g(2\ix_1,\dots,2\ix_n) \,.
579: $$
580: It is clear from \eqref{Fmap} that we have
581: %
582: \begin{proposition}
583: $$
584: \cF(\ix_1,\dots,\ix_n) = \frac{2^{n/2-1}\, \pi^{n/2}}{\prod \ix_i^{1/2}} \,
585: \Gc\left(\frac{\ix}{2^{1/3}}\right) \,.
586: $$
587: \end{proposition}
588: %
589:
590: Now it only remains to check that
591: %
592: \begin{equation}\label{cGGc}
593: \cG \overset{?}= \frac12 \, \Gc \,.
594: \end{equation}
595: %
596:
597:
598: \subsection{}
599:
600:
601: The sum $\GG$ can be interpreted in a diagrammatic way as follows.
602: We take our variables $\{\ix_i\}$ and divide them first in two
603: large groups
604: in all possible ways as in \eqref{defG}. Next we divide each group
605: into smaller subgroups, which are the blocks of the partition $\al$
606: in \eqref{defH}. These blocks are then grouped together
607: into the cycles of permutations which appear in the determinant
608: in \eqref{defR}.
609:
610: The contribution of each such diagram to $\GG$
611: is a product over the connected pieces of the diagram. Therefore,
612: in the function $\Gc$ every disconnected diagram will cancel out
613: and $\Gc$ will be the sum over connected diagrams only.
614:
615: The corresponding summands are the following. First, in \eqref{defG}
616: every nontrivial subset $S$ leads to a disconnected diagram and
617: so the connected part of $\GG$ is just twice the connected
618: part of $\HH$. After that, in \eqref{defH}
619: we can take any partition $\al$, but then in \eqref{defR} we need
620: our permutation to have only one cycle.
621:
622: Denote the contribution of one long cycle to \eqref{defR} by
623: %
624: \begin{equation}\label{defE}
625: \EE(\ix_1,\dots,\ix_n)=
626: \int_{\R^n} e^{(\ix,z)} \, \prod_{i=1}^{n} \KK(z_i,z_{i+1}) \, dz \,,
627: \end{equation}
628: %
629: with the understanding that $x_{n+1}=x_1$. Note the invariance
630: of the function
631: \eqref{defE} under the cyclic permutation of variables.
632:
633:
634: The connected part of
635: $\RR$ is therefore
636: $$
637: \Rc(\ix) = (-1)^{n+1}
638: \sum_{\sigma\in S(n)/(12\dots n)} \EE(\ix_{\sigma(1)},\dots,\ix_{\sigma(s)}) \,,
639: $$
640: where the summation is over representatives of the right cosets of the
641: symmetric group modulo the cyclic group generated by the permutation
642: $(12\dots n)$. With this notation, we have the following
643: %
644: \begin{proposition}\label{GcR}
645: $$
646: \Gc(\ix_1,\dots,\ix_n) = 2 \sum_{\al\in\Pi_n} \Rc(\ix_\al) \,.
647: $$
648: \end{proposition}
649:
650: For example,
651: $$
652: \Gc(\ix_1,\ix_2)= 2 \Rc(\ix_1,\ix_2) + 2 \Rc(\ix_1+\ix_2) =
653: 2 \EE(\ix_1+\ix_2) - 2 \EE(\ix_1,\ix_2) \,.
654: $$
655: Similarly
656: %
657: \begin{multline*}
658: \Gc(\ix_1,\ix_2,\ix_3) = 2 \EE(\ix_1+\ix_2+\ix_3) -2 \EE(\ix_1+\ix_2, \ix_3)
659: -2 \EE(\ix_1+\ix_3, \ix_2) \\
660: -2 \EE(\ix_2+\ix_3, \ix_1) + 2 \EE(\ix_1,\ix_2,\ix_3) + 2 \EE(\ix_1,\ix_3,\ix_2) \,.
661: \end{multline*}
662: %
663:
664: \subsection{}
665:
666:
667: Now it only remains to prove that
668: $$
669: \cE \overset{?}= \EE \,.
670: $$
671:
672: Consider the function \eqref{defE} more closely. We have the following
673: formula, see formula (4.5) in \cite{TW},
674: %
675: \begin{equation}\label{AA}
676: \KK(z,w)=\int_0^\infty \Ai(z+a) \, \Ai(w+a) \, da \,.
677: \end{equation}
678: %
679: Substituting this into \eqref{defE} and interchanging the order of
680: integration we obtain the integrals of the form considered in the
681: following
682:
683: \begin{lemma}
684: $$
685: \int_{-\infty}^\infty e^{\ix z} \Ai(z+a) \, \Ai(z+b) \, dz =
686: \frac{1}{2\sqrt{\pi \ix}} \,
687: \exp\left(\frac{\ix^3}{12}-\frac{a+b}2\,\ix-\frac{(a-b)^2}{4\ix}\right)
688: $$
689: \end{lemma}
690:
691: \begin{proof} Denote by $f$ the
692: function $f= \Ai(z+a) \, \Ai(z+b)$. The Airy function is
693: a solution of the Airy differential equation $\Ai''(z) = z \Ai(z)$.
694: It follows that
695: $$
696: f_{zzzz}-(4z+2a+2b) f_{zz}-6 f_{z}+(a-b)^2 f =0 \,.
697: $$
698: This translates into a first order ODE for $g=\int e^{\ix z} f \, dz$.
699: $$
700: g_\ix=\left(\frac{\ix^2}4-\frac{a+b}2-\frac1{2\ix}+\frac{(a-b)^2}{4\ix^2}\right) g \,,
701: $$
702: from which it follows that
703: $$
704: g=\frac{h(a,b)}{\sqrt{\ix}} \,
705: \exp\left(\frac{\ix^3}{12}-\frac{a+b}2\,\ix-\frac{(a-b)^2}{4\ix}\right)\,,
706: $$
707: where $h(a,b)$ is some function of $a$ and $b$. The obvious equations
708: $$
709: f_{aa} - (z+a) f =0\,, \quad f_{bb} - (z+b) f =0
710: $$
711: translate into the equations
712: $$
713: g_{aa} - a g = g_{bb} - b g = g_\ix \,,
714: $$
715: which imply that $h$ is constant. The fact that $h=\dfrac{1}{2\sqrt{\pi}}$
716: follows by taking the Laplace transform of \eqref{AA} with $z=w$
717: and comparing it with
718: the known formula for it, see Section 2.6 of \cite{rp}.
719: \end{proof}
720:
721: This lemma concludes the proof of the theorem.
722:
723: \subsection{Examples and remarks}
724:
725: \subsubsection{}
726:
727: In the simplest example $n=1$, there is no quadratic term in
728: the exponential and we obtain the formula
729: $$
730: \cE(\ix)= \frac1{2\sqrt{\pi}}
731: \frac{\exp\left(\frac1{12} \ix^3\right)}{\sqrt\ix} \, \int_0^\infty e^{xy} \, dy
732: =\frac1{2\sqrt{\pi}}
733: \frac{\exp\left(\frac1{12} \ix^3\right)}{\ix^{3/2}}\,,
734: $$
735: which corresponds to the well-known result
736: $$
737: \E{\tau_{3g-2}} = \frac1{24^g\, g!}\,, \quad \cF(x)=\frac{\exp(x^3/24)}{x^2}\,.
738: $$
739:
740:
741: \subsubsection{}
742: The case $n=2$ reduces to the ordinary error function
743: $$
744: \erf(x)=\frac2{\sqrt\pi}\int_0^x e^{-u^2} \, du \,,
745: $$
746: as follows.
747: The following integral
748: %
749: \begin{multline}\label{I2}
750: \iint_0^\infty \exp(-P(a+b)-Q(a-b)^2)\, da\, db = \\
751: \frac{\sqrt{\pi} }{2 P \sqrt{Q}} \, \exp\left(\dfrac{P^2}{4Q}\right) \,
752: \left(1-\erf\left(\frac{P}{2\sqrt{Q}}\right)\right)
753: \end{multline}
754: %
755: can be computed by introducing the variables $u=a+b$ and $v=a-b$ and
756: integrating first in $u$ and then in $v$.
757:
758: The integral in \eqref{forE} for $n=2$ becomes the integral \eqref{I2}
759: with the following choice of parameters
760: $$
761: P=\frac{\ix_1+\ix_2}{2} \,, \quad Q= \frac{\ix_1+\ix_2}{4\ix_1\ix_2} \,.
762: $$
763: Therefore
764: $$
765: \cE(\ix_1,\ix_2)= \frac{1}{2\sqrt\pi} \frac{\exp\left((\ix_1+\ix_2)^3/12\right)}
766: {(\ix_1+\ix_2)^{3/2}} \, \left(1-\erf\left(\frac12\sqrt{\ix_1\ix_2(\ix_1+\ix_2)}\right)\right)
767: $$
768: It follows that
769: %
770: \begin{multline}\label{Gc2}
771: \cG(\ix_1,\ix_2) = \cE(\ix_1+\ix_2) - \cE(\ix_1,\ix_2) \\
772: = \frac{1}{2\sqrt\pi} \frac{\exp\left((\ix_1+\ix_2)^3/12\right)}
773: {(\ix_1+\ix_2)^{3/2}} \, \erf\left(\frac12\sqrt{\ix_1\ix_2(\ix_1+\ix_2)}\right) \,.
774: \end{multline}
775: %
776: Now we use the expansion
777: $$
778: e^{x^2/4} \, \erf(x/2) = \frac{1}{\sqrt\pi}
779: \sum_{k=0}^\infty \frac{k!}{(2k+1)!} \, x^{2k+1} \,,
780: $$
781: which can be proved, for example, by noting that the function $\erf(x/2)$
782: satisfies the equation $u_{xx} + \frac{x}2 \, u_x = 0$ and hence the
783: function $e^{x^2/4} \, \erf(x/2)$ satisfies the equation
784: $u_{xx} - \frac{x}2 \, u_x - \frac12\, u = 0$. It follows that
785: %
786: \begin{equation}\label{F2}
787: \cF(\ix_1,\ix_2) = \frac1{\ix_1+\ix_2}
788: \, \exp\left(\frac{\ix_1^3}{24} + \frac{\ix_1^3}{24}\right)
789: \sum_{k=0}^\infty \frac{k!}{(2k+1)!} \, \left(\frac12\,
790: \ix_1\ix_2(\ix_1+\ix_2)
791: \right)^k \,.
792: \end{equation}
793: %
794: By the string equation
795: $$
796: \cF(\ix_1,\ix_2) = \frac{\cF(\ix_1,\ix_2,0)}{\ix_1+\ix_2}\,,
797: $$
798: and so again we find agreement with the known formula for $\cF(\ix_1,\ix_2,0)$,
799: see \cite{CP}.
800:
801: \subsubsection{}\label{rmks}
802:
803: Observe that the only non-polynomial term in \eqref{F2}, which is
804: $\dfrac1{\ix_1+\ix_2}$ comes from
805: the exceptional case $(g,n)=(0,2)$.
806:
807: Also observe that the term $\cE(\ix_1+\ix_2)$ cancels out completely
808: in \eqref{Gc2} with a part of $\cE(\ix_1,\ix_2)$. This cancellation can be seen
809: a-priory as follows: all coefficient of $\cF$ are rational numbers
810: and the term $\cE(\ix_1+\ix_2)$ has the wrong power of $\pi$. This
811: argument works in general to identify terms making no
812: contribution to $\cG$.
813:
814: In fact, the formula \eqref{main} is full of cancellations of this
815: type. Several criteria for identifying irrelevant terms will be
816: developed in the next section where we will be dealing with
817: the KdV equations.
818:
819:
820: \section{KdV hierarchy}
821:
822:
823:
824: \subsection{Strategy}\label{select}
825:
826: \subsubsection{}
827:
828: In this section we will give a derivation of the Witten's KdV equations
829: which uses our current machinery and the Fay identities techniques
830: developed by Adler, Shiota, and van Moerbeke in \cite{ASV}. Namely,
831: we will prove that the series expansion
832: of $\cF(x)$ about $x=0$ is given
833: by coefficients of one specific KdV $\tau$-function. See \cite{K},
834: and also for example \cite{D},
835: for the exposition of how this was established originally
836: using Kontsevich's matrix model.
837:
838: \subsubsection{}
839:
840: We will need some qualitative facts about the series expansion
841: of $\cG(x)$ about $x=0$, the first one being that
842: all exponents in that expansion
843: are half-integers. Consequently, after sufficiently
844: many differentiations, every terms in this expansion
845: blows up as $x_i\to +0$ for any $i=1,\dots,n$.
846: In other words, the coefficients of $\cG(x)$ can be
847: determined from singularities of $\cG$ and its derivatives
848: as $x_i \to +0$.
849:
850: \subsubsection{}
851:
852: Proposition \ref{GcR} and \eqref{cGGc} express
853: the function $\cG$ in in terms of the function $\RR$
854: which, by definition, is the following Laplace transform
855: %
856: \begin{equation}\label{Lapl}
857: \RR(\xi_1,\dots,\xi_n)= \int_{\R^n} e^{(\xi,x)} \, \det \big[ \KK(x_i,x_j)\big] \, dz\,.
858: \end{equation}
859: %
860: Hence the $x\to 0$ singularities of $\cG$ and its derivatives
861: are determined by the similar singularities of $\RR$. Clearly,
862: the singularities of $\RR$ and its derivatives as $\xi_i \to +0$,
863: are determined by the $x\to -\infty$ asymptotics of the integrand in
864: \eqref{Lapl}.
865:
866: The $x\to -\infty$ asymptotics of the integrand in \eqref{Lapl} can be
867: computed from the classical asymptotics of the Airy function, however
868: it is rather complicated and difficult to use in \eqref{Lapl} directly.
869: Fortunately, there are several qualitative criteria, a sort of
870: selection rules, which help
871: identify many terms in the asymptotics of $\det \big[ \KK(x_i,x_j)\big]$
872: as irrelevant.
873:
874: \subsubsection{}\label{diagonal}
875:
876: Observe that because all exponents in the expansion of $\cG(x)$ are
877: half-integers, no information is lost by computing
878: $\left(\frac{\partial}{\partial x_i} - \frac{\partial}{\partial x_j}\right)
879: \cG(x)$ instead of $\cG$. Indeed, the operator
880: $$
881: \tfrac{\partial}{\partial x_i} - \tfrac{\partial}{\partial x_j} \in
882: \End_\C \left(\sqrt{x_1\cdots x_n}\, \C[x_1^{\pm1},\dots,x_n^{\pm1}]\right)
883: $$
884: has no kernel. On the other side of the Laplace transform \eqref{Lapl},
885: this means that we are free to multiply the integrand by any factor
886: of the form $(x_i-x_j)$.
887:
888: This is convenient for the following reason.
889: The expression of $\cG$ in terms of $\RR$ involves terms which are
890: Laplace transforms of distributions supported on diagonals like
891: the $\cE(x_1+x_2)$ term in \eqref{Gc2}. Also, the asymptotics of
892: the integrand in \eqref{Lapl} contains denominators of the form
893: $\frac{1}{x_i-x_j}$
894: which require special handling resulting in
895: certain contributions to the asymptotics from the diagonals.
896: Since these contributions disappear after multiplying by appropriate
897: factors of the form $(x_i-x_j)$, they always balance out in the final
898: answer like they did in \eqref{Gc2}.
899:
900: In other words, this
901: argument shows that if a term in the asymptotics of
902: $\det \big[ \KK(x_i,x_j)\big]$ becomes negligible after multiplication
903: by $(x_i-x_j)$, then it can be discarded.
904:
905: We will call such negligible terms the \emph{diagonal} terms. For example,
906: Theorem \ref{t1} can be restated as saying that
907: %
908: \begin{equation*}
909: \cF(\ix_1,\dots,\ix_n) = \frac{(-1)^{n+1}(2\pi)^{n/2}}{\prod \ix_i^{1/2}} \,
910: \cEt\left(\frac{\ix}{2^{1/3}}\right) + \, \textup{diagonal terms} \,.
911: \end{equation*}
912: %
913: Another qualitative
914: way to eliminate the diagonal contributions is to observe that they
915: come with the wrong power of $\pi$, see Section \ref{rmks}.
916:
917: \subsubsection{}\label{osc}
918:
919: Another category of negligible terms are the \emph{oscillating} terms in
920: the asymptotics of $\det \big[ \KK(x_i,x_j)\big]$. The $x\to-\infty$
921: asymptotics of the Airy function $\Ai(x)$ is oscillating and most
922: of the terms in the asymptotics of the integrand in \eqref{Lapl}
923: will have factors like $\exp\left(\frac{4}{3} i x_k^{3/2}\right)$ for some
924: $k=1,\dots,n$. We now observe that such a term will never blow
925: up as $\xi_k\to +0$, even if we multiply it by an
926: arbitrary large power of $x_k$. Indeed, we can assume that we already
927: got rid of all denominators as
928: explained in \ref{diagonal} above, and then it is enough to show that
929: $$
930: \int_c^\infty e^{-\xi x + i x^{3/2}} x^a \, dx = O(1)\,, \quad \xi\to + 0 \,,
931: $$
932: where $c>0$ and $a$ is arbitrary. After a change of variables, it
933: becomes equivalent to
934: $$
935: \int_c^\infty e^{-\xi x^{2/3}} e^{i x} x^a \, dx = O(1)\,, \quad \xi\to + 0 \,,
936: $$
937: for some other constants $a$ and $c$. Now, if we integrate by parts
938: integrating $ e^{i x}$ and differentiating the rest, we can decrease $a$
939: so that to make the integral with $\xi=0$ absolutely converging, thus proving
940: our assertion.
941:
942: \subsubsection{}\label{posdeg}
943: Finally, we are interested in terms in $\cG(x)$ of
944: positive degree in all $x_i$.
945: Recall that all terms of $\cG(x)$ have positive degree in
946: all $x_i$'s with the exception of the $g=0$ terms for $n=1,2$.
947:
948:
949: \subsection{Asymptotics of the Airy kernel}
950:
951: \subsubsection{}
952:
953: Introduce the following functions
954: $$
955: a(x)=\sum_{k=0}^\infty a_k x^{-3k} \,, \quad \ad(x)=\sum_{k=0}^\infty \ad_k x^{-3k+1}\,,
956: $$
957: where $a_0=\ad_0=1$ and
958: $$
959: a_k = (-i)^k \, \frac{(6k-1)!!}{72^k (2k)!} \,, \quad \ad_k= \frac{1+6k}{1-6k}\, a_k \,.
960: $$
961: Also set, by definition,
962: $$
963: A(x)=\exp\left(i\tfrac23x^3\right) a(x)\,, \quad \Ad(x)=\exp\left(i\tfrac23x^3\right) \ad(x) \,.
964: $$
965: and
966: $$
967: \af(x,y)=\frac{a(x)\, \ad(y)- a(y)\, \ad(x)}{x-y} \,, \quad
968: \A(x,y)=\frac{A(x)\, \Ad(y)- A(y)\, \Ad(x)}{x-y} \,,
969: $$
970: We have (see e.g.\ \cite{Hand}) the following $x\to+\infty$ asymptotics
971: %
972: \begin{alignat*}{2}
973: \Ai(-x)&\sim \frac1{2\sqrt{\pi} i x^{1/4}} &&\Big[e^{\pi i/4} A\left(x^{1/2}\right)
974: - e^{-\pi i/4} A\left(-x^{1/2}\right) \Big] \,, \\
975: \Ai'(-x)&\sim - \frac1{2\sqrt{\pi} x^{1/4}} &&\Big[e^{\pi i/4} \Ad\left(x^{1/2}\right)
976: - e^{-\pi i/4} \Ad\left(-x^{1/2}\right) \Big] \,.
977: \end{alignat*}
978: %
979: This asymptotics remains valid for complex $x$ such that $|\arg x|<\frac23\pi$.
980:
981: \subsubsection{}
982: It follows that away from the diagonal $x=y$ we have
983: $$
984: \KK(-x,-y)\sim\frac{1}{4\pi i \, x^{1/4} y^{1/4}}
985: \sum_{\e,\e'=\pm 1}
986: i^{(\e+\e')/2} \,
987: \frac{\A\left(\e \sqrt x,\e' \sqrt y\right)}{\e \sqrt x+\e'\sqrt y}\,,
988: $$
989: where the sum is over $4$ possible combinations of the signs $\e$ and $\e'$.
990: Because the function $\KK(-x,-y)$ is analytic at $x=y$ and
991: its asymptotics remains valid in the complex domain,
992: this asymptotics can be extended, using contour integrals,
993: to the diagonal $x=y$.
994:
995:
996: By multinearity of the determinant, we have
997: %
998: \begin{multline}\label{asK}
999: \det \big[\KK(-x_i,-y_j)\big]_{1\le i,j\le n} \sim \\
1000: \frac{1}{(4\pi i)^n \prod_i x_i^{1/4} y_i^{1/4}}
1001: \sum_{\e,\e'\in \{\pm 1\}^n}
1002: \det \left[\frac{\A\left(\e_i \sqrt{x_i},\, \e'_j \sqrt{y_j}\right)}
1003: {\e_i \sqrt{x_i}+ \e'_j \sqrt{y_j}}
1004: \right]\,,
1005: \end{multline}
1006: %
1007: where the summation is over $4^n$ choices of signs vectors $\e$ and $\e'$.
1008: Observe that by definition of $\A$ we have
1009: $$
1010: \det \left[\frac{\A\left(x_i, y_j \right)}{x_i + y_j}
1011: \right] =
1012: \exp\left(\tfrac23 i\tsum (x_i^3 + y_i^{3}) \right)
1013: \det \left[\frac{\af\left(x_i, y_j \right)}{x_i + y_j}
1014: \right]\,.
1015: $$
1016: This last determinant can be simplified using the higher Fay identities \cite{ASV}
1017: which will be discussed in the following section.
1018:
1019:
1020: \subsection{Fay identities and $\tau$-functions}
1021:
1022: \subsubsection{}
1023:
1024: In this section we collect, for the reader's convenience, some
1025: background material about $\tau$-functions and Fay identities \cite{ASV}.
1026: We will slightly deviate from the
1027: notational conventions of the book \cite{Ka} by V.~Kac.
1028: For our purposes, it will be convenient
1029: to use the notations of the Appendix to \cite{O}.
1030:
1031: \subsubsection{}
1032:
1033: Given a matrix $M\in GL(\infty)$, we will denote by $\E{M}$ the
1034: charge $0$ vacuum matrix element
1035: $$
1036: \E{M}=(M v_\emptyset,v_\emptyset)
1037: $$
1038: for the action of $GL(\infty)$ in the infinite wedge space. For
1039: any $M$, the function
1040: $$
1041: \tau_M(t) = \E{\Gamma_+(t) \, M}\,,
1042: $$
1043: of the variables $t=(t_1,t_2,\dots)$, is a $\tau$-function for the
1044: KP hierarchy. In our case, we will additionally assume that $M$
1045: is upper triangular, which implies that $M^* v_\emptyset=v_\emptyset$
1046: and hence
1047: $$
1048: \tau_M(0)=1 \,.
1049: $$
1050:
1051: \subsubsection{}
1052:
1053: Consider the following matrix element
1054: $$
1055: \Psi=\E{\prod_{i=1}^n \psi(z_i) \, \psi^*(w_i) \, M}\,,
1056: $$
1057: where $\psi(z)$ and $\psi^*(w)$ are the standard generating functions
1058: for the fermionic operators. On the one hand we have (see Corollary
1059: 14.10 in \cite{Ka} reproduced in (A.14) in \cite{O})
1060: $$
1061: \psi(z) \, \psi^*(w) = \frac{\sqrt{zw}}{z-w} \, \Gamma_-(\{z\}-\{w\}) \,
1062: \Gamma_+(\{w^{-1}\}-\{z^{-1}\})\,,
1063: $$
1064: where
1065: $$
1066: \{z\}=\left(z,\frac{z^2}{2},\frac{z^3}{3},\dots\right) \,.
1067: $$
1068: {}From this and the commutation rule
1069: $$
1070: \Gamma_+(t)\, \Gamma_-(s) = e^{\sum k t_k s_k} \, \Gamma_-(s)\, \Gamma_+(t)
1071: $$
1072: it follows that
1073: %
1074: \begin{equation}\label{fay1}
1075: \Psi=\Pi_0 \, \frac{\Delta(z) \, \Delta(-w)}{\prod (z_i-w_j)} \,\,
1076: \tau\left(\tsum \{w_i^{-1}\}-\tsum \{z_i^{-1}\}
1077: \right) \,,
1078: \end{equation}
1079: %
1080: where $\Delta$ denotes the Vandermonde determinant and $\Pi_0=\prod_i \sqrt{z_i w_i}$.
1081:
1082: \subsubsection{}
1083:
1084: On the other hand, consider the operators $\psi_M(z)=M^{-1} \psi(z) M$,
1085: and similarly $\psi^*_M(w)$. Using the commutation rules and
1086: $M^* v_\emptyset=v_\emptyset$, we compute
1087: %
1088: \begin{multline}\label{fay2}
1089: \Psi=\E{\psi_M(z_1)\cdots\psi_M(z_n) \, \psi^*_M(w_n) \cdots \psi^*_M(w_1)}=\\
1090: \det\big[\E{\psi_M(z_i) \, \psi^*_M(w_j)}\big] =
1091: \Pi_0 \, \det\left[
1092: \frac{\tau\left(\{w_i^{-1}\}-\{z_j^{-1}\}\right)}{z_i-w_j}\right] \,.
1093: \end{multline}
1094: %
1095: Here the second equality is based on Wick's theorem, or equivalently,
1096: follows from the observation that, acting on the vacuum, the operators
1097: $\psi^*_M(w_j)$ remove vectors $\underline{k}$, where $k\in\{-\frac12,-\frac32,\dots\}$,
1098: and then the operators $\psi_M(z_i)$ have to put all these removed
1099: vectors back,
1100: in all possible orders.
1101:
1102: Combining \eqref{fay1} with \eqref{fay2} and interchanging the roles
1103: of $z$ and $w$, we obtain the identity
1104: %
1105: \begin{multline}\label{fay3}
1106: \det\left[
1107: \frac{\tau\left(\{z_i^{-1}\}-\{w_j^{-1}\}\right)}{z_i-w_j}\right] = \\
1108: \frac{\Delta(z) \Delta(-w)}{\prod (z_i-w_j)} \,\,
1109: \tau\left(\tsum \{z_i^{-1}\}-\tsum \{w_i^{-1}\}
1110: \right)\,,
1111: \end{multline}
1112: %
1113: which is the form of the higher Fay identities \cite{ASV} that we will
1114: need here.
1115:
1116: \subsubsection{}
1117:
1118: {}From now on, we will be interested in one particular $\tau$-function, see
1119: e.g.\ \cite{KS}, corresponding to the matrix $M_A$ which acts as follows
1120: $$
1121: M_A \, \underline{k} = \begin{cases}
1122: \sum a_i \, \underline{k+3i}\,, & \textup{$k+1/2$ is even}\,,\\
1123: \sum \ad_i \, \underline{k+3i}\,, & \textup{$k+1/2$ is odd}\,.
1124: \end{cases}
1125: $$
1126: That is, the matrix $M$ looks like this:
1127: $$
1128: M_A=
1129: \begin{bmatrix}
1130: \ddots&&& a_1 &&& \ad_2\\
1131: & a_0 &&& \ad_1 &&& a_2\\
1132: &&\ad_0&&& a_1 \\
1133: &&& a_0 &&& \ad_1 \\
1134: &&&& \ad_0 &&& a_1\\
1135: &&&&& a_0 \\
1136: &&&&&& \ad_0 \\
1137: &&&&&&& \ddots
1138: \end{bmatrix}
1139: $$
1140: where the empty spaces represent zeros. This matrix commutes
1141: with the bosonic operators $\alpha_k$ for $k$ even and hence the
1142: $\tau$-function
1143: $$
1144: \tau_A = \tau_{M_A}
1145: $$
1146: does not depend on $t_k$ with $k$ even, meaning that it is a
1147: $\tau$-function for the KdV hierarchy. It also follows that
1148: %
1149: \begin{equation}\label{fay4}
1150: \tau_A(t-\{w\})=\tau_A(t+\{-w\})
1151: \end{equation}
1152: %
1153: for any $w$.
1154:
1155: \subsubsection{}
1156:
1157: {}It follows from definitions that
1158: $$
1159: \tau_A(\{x^{-1}\}+\{y^{-1}\})=\sum_{i,j=0}^{\infty}
1160: a_i\, \ad_j \, \frac{x^{-3i-1} y^{-3j} - y^{-3i-1} x^{-3j}}{x^{-1}-y^{-1}} =
1161: - \af(x,y) \,,
1162: $$
1163: which by \eqref{fay4} and the Fay identity \eqref{fay3} implies that
1164: %
1165: \begin{equation}\label{fay5}
1166: \det \left[\frac{\af\left(x_i, y_j \right)}{x_i + y_j}
1167: \right] = (-1)^n \frac{\Delta(x)\, \Delta(y)}{\prod (x_i+y_j)} \, \,
1168: \tau_A\left(\tsum \{x_i^{-1}\}+\tsum \{y_i^{-1}\}
1169: \right)\,.
1170: \end{equation}
1171:
1172:
1173: \subsection{Asymptotics and KdV equations}
1174:
1175: \subsubsection{}
1176:
1177: Combining the formulas \eqref{asK} and \eqref{fay5}, we obtain
1178: the following asymptotics
1179: %
1180: \begin{multline}\label{asmptK}
1181: \det \left[\KK\left(-x_i^2,-y_j^2\right)\right]_{1\le i,j\le n} \sim
1182: \\
1183: \frac1{(-4\pi i)^n \prod_i \sqrt{x_i y_i}}
1184: \sum_{\e,\e'\in \{\pm 1\}^n} e^{\frac23 i\sum (\e_i x_i^{3} + \e'_i y_i^{3})} \times \\
1185: \frac{\Delta(\e x)\, \Delta(\e' y)}
1186: {\prod \left(\e_i x_i+\e'_j y_j\right)}
1187: \,
1188: \tau_A\left(\tsum \left\{\frac{\e_i}{x_i}\right\}+
1189: \tsum \left\{\frac{\e'_i}{y_i}\right\}
1190: \right)\,,
1191: \end{multline}
1192: %
1193: where $\e x$ denotes the term-wise product of two vectors.
1194:
1195:
1196: Since the left-hand side in \eqref{asmptK} is analytic and \eqref{asmptK}
1197: is valid in the complex domain, it can be extended to the asymptotics
1198: of the integrand in \eqref{Lapl}
1199: by letting $y_i \to x_i$ in \eqref{asmptK}.
1200:
1201: The full form of the $y_i \to x_i$ limit of \eqref{asmptK} is rather
1202: messy, but fortunately, we can concentrate only on a small fraction
1203: of the terms that survive all selection rules discussed in
1204: Section \ref{select}.
1205:
1206: \subsubsection{}
1207:
1208: Most importantly, we get nonoscillating terms only if $\e' = - \e$
1209: which cuts the number of summands from $4^n$ down to
1210: $2^n$. These $2^n$ terms can be conveniently organized using the
1211: following operators $\nabla_i$.
1212:
1213: Let $f(x_i,y_i,\dots)$ be a function
1214: of $x_i$, $y_i$ and some other variables which is
1215: supersymmetric in $x_i$ and $y_i$ in the sense that
1216: its restriction to the diagonal
1217: $$
1218: \si_i f = f\big|_{y_i=x_i}
1219: $$
1220: does not depend on $x_i$, that is,
1221: %
1222: \begin{equation}\label{ss}
1223: \frac{\partial}{\partial x_i} \si_i f = 0 \,.
1224: \end{equation}
1225: %
1226: Introduce the following operator
1227: $$
1228: \big[\nabla_1 f\big](x_1,\dots) =
1229: \lim_{y_1\to x_1}
1230: \frac12 \frac{f(x_1,y_1,\dots)-f(-x_1,-y_1,\dots)}{x_1-y_1} \,.
1231: $$
1232: Note that the numerator here vanishes on the diagonal $y_1=x_1$,
1233: so this limit is well defined.
1234:
1235: With this notation, we see that
1236: %
1237: \begin{equation}\label{asmptK2}
1238: \det \left[\KK\left(-x_i^2,-x_j^2\right)\right]_{1\le i,j\le n} \sim
1239: \frac1{(-2\pi i)^n \prod_i x_i} \, \nabla_1 \nabla_2 \cdots \nabla_n \, \Phi + \dots
1240: \end{equation}
1241: %
1242: where
1243: %
1244: \begin{align}\label{ph}
1245: \Phi&= \prod_i \phi_i \prod_{i\ne j} \phi_{ij}
1246: \,
1247: \tau_A\left(\tsum \left\{\frac1{x_i}\right\}-
1248: \tsum \left\{\frac{1}{y_i}\right\}
1249: \right)\,, \\
1250: \phi_i &= \exp\left(\tfrac23 i (x_i^{3}-y_i^{3})\right)\,, \quad
1251: \phi_{ij} = \frac{(x_i-x_j)(y_j-y_i)}{(x_i-y_j)(x_j-y_i)}\,, \label{ph2}
1252: \end{align}
1253: %
1254: and dots in \eqref{asmptK2} stand for oscillating terms. Observe that
1255: all factors in \eqref{ph}, \eqref{ph2} have the
1256: supersymmetry \eqref{ss}.
1257:
1258: \subsubsection{} The operators $\nabla_i$ commute and satisfy the
1259: following Leibnitz-like rule
1260: %
1261: \begin{equation}\label{Leib}
1262: \nabla_i (f\cdot g) = \nabla_i (f) \cdot \si_i(g) +
1263: \si_i(f) \cdot \nabla_i (g) \,.
1264: \end{equation}
1265: %
1266: Let us examine the effect of applying $\nabla_i$ to \eqref{ph}.
1267:
1268: Denote by $\tau_\mu$ the coefficients in the expansion of the
1269: $\tau_A$
1270: %
1271: \begin{equation}\label{taucoeff}
1272: \tau_A = \sum_\mu \frac{\tau_\mu \, t_\mu}{|\Aut \mu|}
1273: \end{equation}
1274: %
1275: where the summation is over all partitions $\mu$, $|\Aut \mu|$ is
1276: the product of factorials of multiplicities of parts in $\mu$,
1277: $t_\mu=\prod t_{\mu_i}$. The variables $t_k$ are
1278: specialized in \eqref{ph} in the following way
1279: %
1280: \begin{equation}\label{txy}
1281: t_k = \frac1k\sum x_i^{-k} - \frac1k\sum y_i^{-k} \,.
1282: \end{equation}
1283: Recall that $\tau_A$ depends only on $t_k$ with $k$ odd.
1284: It is clear that
1285: %
1286: \begin{equation}\label{nabt}
1287: \nabla_i \, t_k = - x_i^{-k-1}\,, \quad \textup{$k$ odd}\,, %\equiv 1\!\!\!\mod 2 \,,
1288: \end{equation}
1289: %
1290: and also that $\si_i$ simply removes $x_i$ and $y_i$ from the
1291: sum \eqref{txy}.
1292:
1293: Similarly, it is clear that
1294: %
1295: \begin{equation}\label{nph}
1296: \nabla_i \, \phi_i = 2i x_i^2 \,,
1297: \end{equation}
1298: %
1299: Finally, for the last type of factors in \eqref{ph} we have
1300: $$
1301: \si_i \, \phi_{ij}= \si_j \, \phi_{ij} = 1
1302: $$
1303: which, in particular implies that
1304: $$
1305: \nabla_i\, \si_j \, \phi_{ij} = \nabla_j \,\si_i \, \phi_{ij} =0 \,.
1306: $$
1307: It follows that the $\nabla_i$'s have to be applied to $\phi_{ij}$'s in pairs
1308: to get a nonzero result
1309: %
1310: \begin{equation}\label{nnph}
1311: \nabla_i \nabla_j \, \phi_{ij} = \frac{x_i^2 + x_j^2}{(x_i^2-x_j^2)^2} \,.
1312: \end{equation}
1313: %
1314:
1315: \subsubsection{}
1316:
1317: The factor corresponding to \eqref{nnph} in the asymptotics of
1318: $\det \big[\KK(-x_i,-x_j)\big]$ will be
1319: %
1320: \begin{equation}\label{nnph2}
1321: \frac1{\sqrt{x_i x_j}}\frac{x_i + x_j}{(x_i-x_j)^2} \,,
1322: \end{equation}
1323: %
1324: where the first term comes from the prefactor in \eqref{asmptK2}.
1325: This has a second order pole on $x_i=x_j$, which in the
1326: full asymptotics of \eqref{asmptK2} cancels out with poles
1327: of oscillating terms. This singularity of \eqref{nnph2} is immaterial
1328: and can be removed as explained in Section \ref{diagonal}. What
1329: is important about \eqref{nnph2} is that is has degree $-2$ in
1330: $x_i$ and $x_j$ and, hence, whatever contribution it makes to the
1331: asymptotics of \eqref{Lapl}, it will be in degree $0$ in $\xi_i$ and $\xi_j$.
1332: Since we are interested in terms of strictly positive degree in
1333: all variables, see Section \ref{posdeg}, the terms containing \eqref{nnph2}
1334: are negligible. By the same token, any terms containing \eqref{nph} can be
1335: also discarded.
1336:
1337: It follows that relevant terms in the asymptotics \eqref{asmptK2} are
1338: obtained by applying all operators $\nabla_i$ to the $\tau$-function.
1339: {} From \eqref{nabt} and the Leibnitz rule \eqref{Leib} we obtain
1340: $$
1341: \nabla_1 \cdots \nabla_n \, t_\mu =
1342: \begin{cases}
1343: (-1)^n |\Aut\mu| \, m_\mu\,, & \ell(\mu)=n \,, \\
1344: 0 & \textup{otherwise} \,,
1345: \end{cases}
1346: $$
1347: where $m_\mu$ denotes the monomial symmetric function
1348: $$
1349: m_\mu = \frac1{|\Aut\mu|} \, \sum_{\sigma\in S(n)} \prod x_{\sigma(i)}^{\mu_i} \,.
1350: $$
1351: Therefore, modulo irrelevant terms, the asymptotics of the integrand in
1352: \eqref{Lapl} is
1353: $$
1354: \det \big[\KK(-x_i,-x_j)\big] \sim \frac{1}{(-2\pi i)^n \prod x_i} \sum_{\ell(\mu)=n}
1355: \tau_\mu \, m_\mu(x^{-1/2}) + \dots \,.
1356: $$
1357: Recall that only partitions $\mu$ with odd parts enter this sum.
1358:
1359: \subsubsection{}
1360:
1361: Now it remains to use the formulas
1362: $$
1363: \int_c^\infty e^{-\xi x} x^{a-1} \, dx \sim \frac{\Gamma(a)}{\xi^a} \,, \quad \xi\to+0\,,
1364: $$
1365: and
1366: $$
1367: \Gamma\left(-\frac{2k+1}{2}\right) = \frac{(-2)^{k+1} \sqrt{\pi}}{(2k+1)!!}
1368: $$
1369: to obtain the expansion
1370: %
1371: \begin{align}\label{RRexp}
1372: \RR(\xi) &= \frac{\prod\xi^{1/2}}{i^n \,\pi^{n/2}} \sum_{m_1,\dots,m_n}
1373: \tau_{2m+1} \, \prod\frac{(-2\xi_i)^{m_i} }{(2m_i+1)!!} +\dots
1374: \end{align}
1375: %
1376: where dots stand for irrelevant terms, that is, for diagonal terms
1377: and terms of negative degree in the $\xi_i$'s, and
1378: $\tau_{2m+1}$ is the coefficient in \eqref{taucoeff} corresponding to
1379: the nonincreasing rearrangement of
1380: the numbers $2m_i+1$.
1381:
1382: By \eqref{cGGc} and Proposition \ref{GcR} we have
1383: $$
1384: \cG(x) = \sum_{\al\in\Pi_n} \Rc(\ix_\al) = \Rc(x)+\dots\,,
1385: $$
1386: where $\Rc$ is the connected part of $\RR$ and dots stand
1387: for diagonal terms. Now \eqref{RRexp} and Theorem \ref{t1}
1388: imply that
1389: $$
1390: \cF(x)=\left(\sum_{m_1,\dots,m_n}
1391: \wtt_{2m+1} \, \prod\frac{x_i^{m_i} }{(2m_i+1)!!} \right)^\circ + \dots\,,
1392: $$
1393: where $\wtt$ denotes the rescaled $\tau$-function
1394: %
1395: \begin{equation}\label{resc}
1396: \wtt_\mu = (-i)^{|\mu|} 2^{|\mu|/3} \, \tau_\mu \,,
1397: \end{equation}
1398: %
1399: circle stands for the connected part, and dots stand for terms of negative
1400: degree in $x$, that is, for the $g=0$ terms in the case $n=1,2$.
1401: This concludes the proof of the KdV equations.
1402:
1403:
1404:
1405: Note that the rescaling \eqref{resc} is equivalent to the following
1406: rescaling
1407: $$
1408: a_k \mapsto \frac{(6k-1)!!}{36^k (2k)!}\,,
1409: $$
1410: keeping the relation $ \ad_k= \frac{1+6k}{1-6k}\, a_k$\,.
1411:
1412:
1413:
1414: \begin{thebibliography}{99}
1415:
1416:
1417: \bibitem{ASV}
1418: M.~Adler, T.~Shiota, P.~van Moerbeke,
1419: \emph{Random matrices, Virasoro algebras, and
1420: non-commutative KP}, Duke Math.\ J.\ \textbf{94} (1998),
1421: 379--431.
1422:
1423: \bibitem{BDJ}
1424: J.~Baik, P.~Deift, K.~Johansson,
1425: \emph{On the distribution of the length of the longest
1426: increasing subsequence of random permutations}, Journal of AMS,
1427: \textbf{12} (1999), 1119--1178.
1428:
1429: \bibitem{BOO}
1430: A.~Borodin, A.~Okounkov, and G.~Olshanski,
1431: \emph{On asymptotics of the Plancherel measures for
1432: symmetric groups},
1433: J.\ Amer.\ Math.\ Soc.\ \textbf{13} (2000), 481--515.
1434:
1435:
1436: \bibitem{D}
1437: P.~Di~Francesco,
1438: \emph{2-D quantum and topological gravities, matrix models,
1439: and integrable differential systems},
1440: The Painlev\'e Property, Springer, 1999, 229--285.
1441:
1442: \bibitem{DGZ}
1443: P.~Di~Francesco, P.~Ginsparg, J.~Zinn-Justin,
1444: \emph{$2D$ gravity and random matrices},
1445: Phys.\ Rep.\, \textbf{254}, 1995, 1--133.
1446:
1447: \bibitem{CP}
1448: C.~Faber and R.~Pandharipande,
1449: \emph{Logarithmic series and Hodge integrals in the tautological ring},
1450: with an appendix by D. Zagier, math.AG/0002112.
1451:
1452: \bibitem{Hand}
1453: \emph{Handbook of Mathematical Functions}, edited by
1454: M.~Abramowitz and I.~Stegun.
1455:
1456: \bibitem{J}
1457: K.~Johansson,
1458: \emph{Discrete orthogonal polynomial ensembles and the Plancherel measure},
1459: math.CO/9906120.
1460:
1461: \bibitem{Ka}
1462: V.~Kac,
1463: \emph{Infinite dimensional Lie algebras},
1464: Cambridge University Press.
1465:
1466: \bibitem{KS}
1467: V.~Kac and A.~Schwarz,
1468: \emph{Geometric interpretation of the partition function
1469: of 2D gravity}, Physics Letters B \textbf{257} (1991),
1470: 329--334.
1471:
1472: \bibitem{K}
1473: M.~Kontsevich,
1474: \emph{Intersection theory on the moduli space of curves
1475: and the matrix Airy function},
1476: Commun.\ Math.\ Phys., \textbf{147}, 1992, 1--23.
1477:
1478:
1479: \bibitem{rp}
1480: A.~Okounkov,
1481: \emph{Random matrices and random permutations},
1482: IMRN, \textbf{20}, 2000, 1043--1095, math.CO/9903176.
1483:
1484: \bibitem{O}
1485: A.~Okounkov,
1486: \emph{Infinite wedge and random partitions}, to appear
1487: in Selecta Math., math.RT/9907127.
1488:
1489:
1490:
1491: \bibitem{OP}
1492: A.~Okounkov and R.~Pandharipande,
1493: \emph{Gromov-Witten theory, Hurwitz numbers, and
1494: matrix models, I}, math.AG/0101147.
1495:
1496: \bibitem{Sosh}
1497: A.~Soshnikov,
1498: \emph{Universality at the edge of the spectrum in Wigner random matrices},
1499: math-ph/9907013, Comm.\ Math.\ Phys.\ \textbf{207} (1999), no.\ 3, 697--733.
1500:
1501:
1502:
1503: \bibitem{TW}
1504: C.~A.~Tracy and H.~Widom,
1505: \emph{Level-spacing distributions and the Airy kernel},
1506: Commun.\ Math.\ Phys., \textbf{159}, 1994, 151--174.
1507:
1508:
1509: \bibitem{W}
1510: E.~Witten,
1511: \emph{Two-dimensional gravity and intersection theory
1512: on moduli space}, Surveys in Diff.\ Geom.\ \textbf{1}
1513: (1991), 243--310.
1514:
1515: \end{thebibliography}
1516:
1517:
1518: \end{document}
1519:
1520:
1521: %
1522: \begin{multline}\label{asmptK}
1523: \det \big[\KK(-x_i,-y_j)\big]_{1\le i,j\le n} \sim
1524: \\
1525: \frac1{(4\pi i)^n \prod_i x_i^{1/4} y_i^{1/4}}
1526: \sum_{\e,\e'\in \{\pm 1\}^n} e^{\frac23 i\sum (\e_i x_i^{3/2} + \e'_i y_i^{3/2})} \times \\
1527: \frac{\Delta(\e \sqrt{x})\, \Delta(\e' \sqrt{y})}
1528: {\prod \left(\e_i \sqrt{x_i}+\e'_j \sqrt{y_j}\right)}
1529: \,
1530: \tau_A\left(\sum \left\{\frac{\e_i}{\sqrt{x_i}}\right\}+
1531: \sum \left\{\frac{\e'_i}{\sqrt{y_i}}\right\}
1532: \right)\,,
1533: \end{multline}
1534: %
1535:
1536: $$
1537: \cG(\ix_1,\ix_2) = \frac{1}{2\pi} \, \frac{\sqrt{\ix_1 \ix_2}}{\ix_1+\ix_2}
1538: \, \exp\left(\frac{\ix_1^3}{12} + \frac{\ix_1^3}{12}\right)
1539: \sum_{k=0}^\infty \frac{k!}{(2k+1)!} \, (\ix_1\ix_2(\ix_1+\ix_2))^k \,.
1540: $$
1541:
1542: