Skip to main content

Full text of "Stationary Phase Integrals, Quantum Toda Lattices, Flag Manifolds and the Mirror Conjecture"

See other formats


Stationary Phase Integrals, Quantum Toda 

Lattices, 

Flag Manifolds and the Mirror Conjecture 

Alexander Givental * 
UC Berkeley 

July 8, 1996, Revised December 1, 1996 

0. Introduction. Consider the differential operator 

h 2 A d 2 



=o 



This operator is a quantization of the Hamiltonian of the Toda lattice on 
n + 1 identical particles with configuration coordinates to, ...,t n and with the 
exponential interaction potential exp(tj — of neighbors. The Toda lattice 
is known to be integrable on both classical and quantum levels: there exist 
commuting differential polynomials D m (hd/dt,expt,h),m = 0,...,n, which 
play the role of quantum conservation laws (i.e. [H, D ] = ... = [H, D n ] = 0) 
and whose symbols D m (p, exp t, 0) form a complete set of Poisson-commuting 
first integrals of the classical Toda lattice. In this paper we study solutions 
S(t) of the differential system DqS = ... = D n S = whose characteristic 
Lagrangian variety L is the most degenerate invariant Lagrangian variety 



of the Toda lattice. According to [12|, |13| this Lagrangian variety is the 



spectrum of the quantum cohomology algebra of the manifold of complete 
flags C C 1 C ... C C" +1 . We represent solutions S by stationary phase 
integrals in n(n+l)/2 complex variables and point out the role these solutions 
play in the quantum cohomology theory. As we explain in the last section, 
our results prove the mirror conjecture in the case of the flag manifolds. 

*Research supported by NSF grant DMS-93-21915 and by Alfred P. Sloan Fellowship. 



1 



1. The Toda D-module. 

Denote Do, D n coefficients of the polynomial 

\ n+1 + D X n + ... + D n = 



det 



X+Po qi 

-1 X + Pi q 2 
-1 X+p 3 q 3 











-1 X + p n 

Do = Y;Ph D i= Y.i>jPiPj + Y. ( liT-- ■ The polynomials D m {p,q) oip ,...,p n 
andQgi = exp(t! — i )> q n = exp(t n — t n _i) form a complete set of Poisson- 
commuting first integrals of the Toda lattice (see for instance |12| ). Their 
quantizations 



D m (hd/dt , . . . , hd/dt n , exp (t i - t ) , . . . , exp(t n - t n _i ) ) , 



m 



0. 



n. 



are defined unambiguously since any monomial in D m containing q^ contains 
neither pi nor Pi-\. 

Theorem 1. [H,D ] = ...= [H, D n ] = 0. 

Proof. The commutator [H, A] of the Hamiltonian operator H with the 
above determinant A = X n+1 + DoX n + ... vanishes modulo h 2 since symbols of 
D m Poisson-commute with the symbol — ^ q^ of H. Also [H, A] does 

not contain any terms of order higher than h 2 since for any 3 distinct i, j, k 
we have d 3 qi/dtidtjdt k = 0. Computing symbols of the terms proportional 
to h 2 we find that the contribution of Agj is equal to —qid 2 A(p, q) / dpidpi-i, 
and the contribution of h 2 d 2 A/2dt 2 is qid 2 A/2dpidpi^i+q i+ id 2 A/2dpidpi + i. 
After summation over i all these contributions cancel out. □ 

We will study solutions of the PDE system 



DnS 



D n S = (and hence HS = 0), 



i.e. the solution sheaf of the left module V/V(D , D n ) over the algebra 
T> of differential operators D(hd/dt,expt, h) with Fourier-polynomial coeffi- 
cients. We introduce the symbol D(p,expt,0) of the differential polynomial 

1 Throughout Sections 1 - 3 we will systematically use the notation \ogqt for ti — U-i. 



2 



D and call the Lagrangian variety L C T*(C — 0) n+1 given by the equations 
Do(p,q) = ■■■ = D n (p,q) = the characteristic Lagrangian variety of this 
P-module. According to [|T7| the Lagrangian variety L is nonsingular. The 
operator D m is weighted-homogeneous of degree m + 1 with respect to the 
grading degft = 1, degg^ = 2, degtj = and therefore L is also weighted- 
homogeneous with weights degp^ = 1, degg^ = 2. For generic t the fibers 
L fl T * xpt of the projection L — > (C — 0) n+1 consist of (n+ 1)! distinct sim- 
ple points. This follows from Sard's lemma, and also can be deduced by 
induction from the continued fraction formula for the determinant A which 
coincides with the numerator of the following rational function of A: 

A + Po H — ■ 

A + ^+ | q n - 

A +Pn 



2. The stationary phase integrals. Consider the following "2 - di- 
mensional Toda lattice" with (n + l)(n + 2)/2 vertices and n(n + 1) edges: 



• — > • 

• — > • — > • 



For each edge a of the lattice we introduce a factor Q a and introduce an- 
other, excessive notation Ui (respectively Vi) for the factors Q a corresponding 
to the vertical (respectively horizontal) edges next to the diagonal boundary 
of the lattice as shown on the diagram. We denote Y the affine algebraic va- 
riety in the n(n+ l)-dimensional complex space with coordinates Q a given by 
the n(n — 1)/2 equations Q a Qp = Q^Qs making the diagram "commutative": 



3 



one equation for each lxl cell 



Qa 

• — > 9 

<2 7 I I Qf3 ■ 

• — > • 

Qs 

We put q 1 = u±Vi, ...,q n = u n v n and denote Y q the n{n + l)-dimensional fibers 
of the map from Y to C n defined by these formulas. 

If qi 7^ for alH = l,...,n, the relations between Q a allow to express 
them via the set {T u , v = < j < i < n} of vertex variables: 

Qa = exp(T ;y+ ( Q ,) - T v _(a)), 

where i/-(a) and v + (a) are respectively the indices of the source and target 
vertices of the edge a. In particular, q^ = exp(tj — ti-\) where to — Too,t\ = 
Tu, and the fiber Y q is isomorphic to the n(n+ l)/2-dimensional complex 
torus with coordinates {expT^, < j < i < n}. 

On Y q with q G (C — 0) n we introduce the holomorphic volume form 

u q = K=i A}^ dT l3 , 

the holomorphic function T q obtained by restriction to Y q of "the total Toda 
potential energy" 

edges a 

and the stationary phase integral 

Sr(t) = [ e^ h oo q . 

JTcY q 

In this definition, Y represents a (possibly non-compact) cycle in Y q of middle 
dimension such that the integral converges. For h > and generic q one can 
construct such a cycle by picking a non-degenerate critical point of T q and 
taking the union of descending gradient trajectories of the function Re^-g 
with respect to a suitable Riemannian metric on Y q on the role of T. The 
stationary phase integral depends only on the homology class of the cycle in 



4 



the appropriate homology group Ti. q which can be described as the inverse 
limit as M — ■> oo of the relative homology groups 

H dimcY «{Y q , {Ref q < —M}). 

The rank of the group H q is equal to the number of critical points of T q 
for generic q since all critical points of the real part of a holomorphic Morse 
function have the same Morse index. The Gauss-Manin parallel transport 
of cycles identifies the groups 7i q for close q but may give rise to a nontriv- 
ial global monodromy. The notation Sr{t) emphasizes the multiple- valued 
character of the stationary phase integrals which therefore depend on the co- 
ordinates log qi — ti — ti-i on the universal covering of the parameter space. 
The dependence of the integral on h is suppressed in this notation. 

Theorem 2. The stationary phase integrals Sr(t) satisfy the differential 
equations D S — D±S — ... — D n S = 0. 

Proof. Application of the differential operator A = A n+1 + D X n + ... to 
the stationary phase integral produces the amplitude factor e'^^Ae^^ — 
det(A + A) where 



A = 



-Mi U\Vi 

— 1 Vi — u 2 u 2 v 2 
-1 v 2 - u 3 u 3 v 3 







-1 



We should show that this amplitude is congruent to A n+1 modulo linear 
combinations of Lie derivatives along vector fields Q m d/dT u tangent to Y q , 
i.e. linear combinations of hdQ m / dTij + Q m dT jdT^ with j < i. Notice that 
0F/dT u is the sum of Q a over the (< 2) edges a ingoing the vertex v minus 
such a sum over the outgoing edges. 

We begin induction on n by noticing that for n = 1 the amplitude is 
equal to A 2 — XdJ- ' j&T 2 \ and apply the induction hypothesis to the triangular 
lattice with the principle diagonal i — j cut off. 

Consider the differential operator A' defined as the determinant of the 
3-diagonal nxn-matrix with X+hd/dT^i, i — 1, n, on the principal diag- 
onal, — l's under the diagonal and Vj-Uj+i, % = 1, n — 1, above the diagonal. 
Denote T' the sum of all Q a except u^s and i^'s . By the induction hypothe- 
sis (and "commutativity" Q a Qp = Q^Qs of the squares next to the diagonal 



5 



% = j) we may assume that the amplitude factor exp(—J-'/H)A'exp(J-'/H) is 
congruent to A n modulo Lie derivatives along Q m d/dTij with \i — j\ > 1. 

The vector field Q m d/dT iti _i, with no edges adjacent to the vertex v = 
(i, i — 1) present in the monomial Q m , produces the amplitude Q m dJ-'/dT it i_ 1 . 
Since the vertices — 1) do not have common edges, addition of such am- 
plitudes allows to transform the amplitude factor exp(— T'JK) A' exp(J r '/h) 
purely algebraicly as if OF / dT^_i = 0. Using such transformations we can 
replace dT' '/dT^-i by Vi — Ui, and the induction hypothesis can be refor- 
mulated as the congruence to A n+1 of the (n + l)-determinant det(A + B) 
where 



B = 



Vi — U\ V\U 2 

-1 v 2 - u 2 v 2 u 3 
-1 v 3 -u 3 v 3 u 4 











-1 












The matrices A and B admit the factorizations A = UV, B = VU into the 
product of the following triangular matrices: 



U 



Ui 

1 






U 2 
1 





u 3 




1 





u. r . 








V = 



-1 V! 

-1 v 2 










^3 









Thus A is similar to B and has the same characteristic polynomial. □ 

The family T q generates the following Lagrangian variety parametrized 
by critical points of the functions (and responsible for stationary phase ap- 
proximations to the integrals Sr(t)): 

{(p, q) \3y E Y q : d y T q = 0, p = dF q (y)/dt}. 

The identity det(A + A) = det(A + B) also proves by induction the following 
Corollary 1. The Lagrangian variety generated by the family T q co- 



incides with the invariant Lagrangian variety L 
D n (p, q) = 0} of the Toda lattice. 



{(p,q)\Dq(p,q) 



6 



Notice that the equations dTjdT v = of the critical points and the 
notations pi = dF/dti can be interpreted, in the spirit of the elementary 
theory of linear electric circuits, as homological boundary conditions for the 1- 
chain ^ on the oriented graph. One can therefore describe the critical 

points by the relations Q a = J$ + ( a ) ~ J<f>-(a) introducing the 2-chain J(t>[4>], 
a linear combination of the n(n + l)/2 clockwise oriented 1 x 1-cells of the 
lattice (the edge ±a occurs in the boundary of the cells ±<fi±(a), the index 
= (i, j) runs 1 < j < i < n). Additionally, po = —Jn,pi = J\i — JriiPi = 
J22 — J33, ■■■,Pn = Jnn- Now cancellations of all Jy with i > j in the total 
sum ^2 Q a prove 

Corollary 2. The generating function T q {y C rit) on the Lagrangian variety 
L equals Yn=i = ~ n Po + ( 2 - n)pi + (4 - n)p 2 + ... + np n . 

Remark. Corollary 2 can be also deduced (see ]12[) from the weighted 
homogeneity of L. 

3. Quantum cohomology of flag manifolds. The cohomology al- 
gebra H*(F) of the flag manifold F = {0 C C 1 C C 2 C ... C C n+1 } is 
multiplicatively generated by the 1-st Chern classes pi of the tautological 
line bundles with fibers C* +1 /C\ A complete set of relations between the 
generators can be written in the form (A + po)(A + pi)...(A + p n ) = \ n+1 
equating the total Chern class of the sum of the tautological line bundles to 
that of the trivial bundle with the fiber C n . 

On the Poincare-dual language of intersection indices (•, •) the structural 
constants (ab, c) of the cohomology algebra count (with signs) isolated com- 
mon intersection points of the three cycles a, b, c in general position. 

The quantum cohomology algebra of the flag manifold is defined as a 
deformation of the algebra H*(F) with structural constants (a ob, c) counting 
isolated holomorphic spheres (CP 1 , 0, 1, 00) — > (F, a, b, c) passing by the three 
marked points through the three cycles. A precise definition can be based 
on Gromov's compactness theorem and Kontsevich's concept |TJ| of stable 
holomorphic maps. 

Let S denote a compact connected complex curve with at most dou- 
ble singular points. It is rational (i.e. if 1 (S,(9) = 0) if and only if all 
irreducible components of S are spheres and the incidence graph of these 
components is a connected tree. Denote x = (xi,...,Xk) an ordered set of 
pairwise distinct non-singular marked points on E. Two holomorphic maps 
(E,x) — > F, (E',0;') — > F are called equivalent if they are identified by a 



7 



holomorphic isomorphism (£, x) — > (£',£'). A holomorphic map — > F 
is called stable if it does not admit non-trivial infinitesimal automorphisms. 
For rational £ stability means that each irreducible component mapped to a 
point in F carries at least 3 marked or singular points. 

The degree d of the map £ — > F is defined as the total 2-nd homology 



class of F it represents. According to [[14], ||, equivalence classes of stable 
degree-<i holomorphic map of rational curves with k marked points to the flag 
manifold F form a compact complex non-singular orbifold which we denote 
Fj^d- If non-empty, it has the dimension dimF + (—Kp, d) + k — 3 where 
— Kp is an anti-canonical divisor of F. 

Evaluation of maps (£, x) — > F at Xj defines the evaluation maps : 
Ffc,d ->• F, « = 1, k. 

Examples. 1) The moduli space F 3>0 consists of classes of constant maps 
(CP 1 , 0, 1, oo) — > F and thus is isomorphic to F. The moduli spaces F fe)0 
with < 3 are not defined since constant rational maps with less than 3 
marked points are unstable. 

2) Forgetting the space C l in a flag defines the projection F — > Fj to the 
partial flag manifold Fi with fibers isomorphic to CP 1 . Denote a« G H2(F) 
the homology class of the fiber. In fact any compact holomorphic curve in 
F of the degree a; is one of the fibers. This identifies the moduli space F 0>ai 
with the base p. 

3) The evaluation map e\ : Fi >a . — > P is an isomorphism. 

4) The Borel-Weil representation theory for SP n +i(C) identifies the root 
lattice of type A n with the Picard lattice H 2 (F) of the flag manifold. In 
H 2 (F) the classes aj, a n form the basis of simple coroots dual to the basis 
J\,...,J n G H 2 (F) of fundamental weights Jj = — po + ... — p^, i.e. Chern 
classes of the tautological bundles A l (C 1 )*. The simplicial cone spanned in 
H 2 (F, M) by the fundamental weights is the Kahler cone of the flag manifold. 
This implies that the degree d of any compact holomorphic curve in P is a 
sum d\ai + ... + d n a n with all dj > 0. The sum J2i>jPi~Pj = 2(Ji + ... + J n ) of 
positive roots represents the anti-canonical class of the flag manifold. Thus 
dimP 3jd = dimP + 2{d x + ... + d n ). 

Let us introduce the grading in the algebra C[A] = C[qi, q n ] of the semi- 
group A = {d = Y.di(ii G H 2 {F)\di > 0} by putting degg d = 4(d a + ... + d n ). 
We extend C[A]-bilinearly the Poincare pairing (A, B) = j F A A B in the De 
Rham cohomology of P to the graded C[A]-module H*(F, C[A]). Structural 



8 



constants of the C[A]-bilinear quantum multiplication o on H*(F,C[L]) are 
defined by 

VA, B, C E H*(F) (AoB,C) = S ^q d I e\{A) A e* 2 {B) A e*(C) . 

deA 

One can show (see e. g. [Q, 0]) that on H*(F, C[A]) the quantum multipli- 
cation defines the structure of a commutative associative graded Frobenius 
algebra with unity 1 e H*(F) (i.e. (A o 1, C) = (A, C) ). Modulo (q u g n ) 
this structure coincides with the cup-product on H*(F). Recent develop- 
ments in symplectic topology and theory of stable maps allow to extend 
the construction of the quantum cohomology algebra to arbitrary compact 
symplectic manifolds. 

The spectrum of a quantum cohomology algebra can be naturally identi- 
fied with certain Lagrangian variety — the characteristic Lagrangian variety 
of the quantum cohomology T> -module. 

For k > denote c the 1-st Chern class of the tautological line bundle 
over the moduli space Fk,d with the fiber at the point [(E, x) — > F] equal 
to the cotangent line T* E to the curve at the first marked point. Denote 
pt = Y17=oPrfi = XX^« — Ji+i)U the general 2-nd cohomology class of F and 
dt = — U-i) the value of this cohomology class on the homology 

class d = Y^didi. For each A e H*(F) the vector-function s^i) of t with 
values in H*(F, C) is defined by 



VB e H*(F) (s A (t), B) = (e pt/h A, B) + V e dt [ e 2^1^3 A e *( B ) 

,f^n J Fa,* K-C 



deA-0 



By the definition, sa is a formal power series of qi = exp(tj — with 
vector-coefficients which are polynomial in log^j and frr 1 . 

The vector series sa satisfy the following linear differential equations with 
periodical coefficients (see e. g. [|, U, §): 

* d 

n—s A =PiOs A , % = 0, n, 

where piO are operators of quantum multiplication by pi. In particular, 
the equations are compatible for any value of h (i.e. pi o pj = pj o p i and 
d(pi°)/dtj = d(pjo) / dti) , and the linear space of all solutions to this system 



9 



coincides with the space of all vector-functions sa (of dimension rk H*(F) 
over, say, C((7i -1 )) ). 

By definition, the quantum cohomology D-module is generated by the 
scalar functions S^t) := (sA(t), 1), i.e. coincides with V/I where / = {D G 
V\DS A = MA G H*(F)}. It is easy to show (see for instance [§) that if 
a homogeneous differential polynomial D(fhd/dt,expt,h) annihilates all the 
functions Sa then the relation D(p, q, 0) = holds in the quantum cohomol- 
ogy algebra. 

Examples. 5) By the very definition ^dS^/c^i = since J^pj = in 
H*{F). ^ 

6) The relation p\ + ... + p\ = holds in the cohomology algebra H*(F) 
of the flag manifold. We claim that in the quantum cohomology algebra 
Pq 2 + ... + p° 2 = 2qi + ... + 2q n . Indeed, for the degree reasons Jj o Jj must 
be equal to Jj Jj plus a linear combination A m g m . The coefficient X m is 
equal to the number of holomorphic maps CP 1 — > F passing by 0, 1 and 
oo trough the generic divisors Jj, Jj and a given generic point in F. From 
Examples 2 and 4 we find therefore that Jj o Jj = J { Jj + 5 i3 -g f and thus 

E K 2 /2 = E ^ 2 - E Ji ° J*-i = E a- 

Theorem 3 O). TTie Hamiltonian operator H = {^h 2 d 2 / 'dtf) /2 — 
exp(tj — tj_i) of the quantum Toda lattice annihilates the functions Sa, A G 
7J*(F). 

Proof. Application of the operator H to Sa yields 

(H(po,q) s A A) + hJ2(^-SA,l) ■ 

i 

The first term vanishes due to Example 6. Since (pi o B, 1) = (B,pi o 1) = 
(B,pi) is constant for any £? G H*(F), we have ((dpiO /dU)sA, 1) = (sa, (<9pi° 

/a*i)i) = o. □ 

Corollary. S A = (e pt/h s, A) where the coefficients s {d) G H*(F,C(h)) of 
the vector-function s = EdeA s Q d can be found recursively from 

n 

s (0) = 1, H[H(d,d) + ^d i J l }s w = sid ~ ai) ■ 

i=l i:di>0 

In particular, the formal series s converges everywhere. 



10 



Remark. Analogous computations for the flag manifold G/B of a semi- 
simple complex Lie group G of rank n give rise to the Hamiltonian H = 
^(aj, dj)JiJj/2 — XX a «; a «) ( ?i/2 of the Toda lattice corresponding to the sys- 
tem of simple coroots ai,...,a n Langlands - dual to the root system of G. 
The proof of the theorem below is a specialization to the case G = SL n+ i (C) 
of the general results by B.Kim describing quantum cohomology P-modules 
of flag manifolds G/B in terms of quantized Toda lattices. 

Theorem 4. D S A = D^a = ... = D n S A = for all A G H*(F). 

Proof (see ||13| ). Since HD m SA = D m HSA = 0, the formal power se- 
ries S = Q d '■= D m SA with coefficients polynomial in logg (and fr l ) 
satisfies the hypotheses of the following 

Kim's Lemma. If S<® = and HS = then S = 0. 

Proof (see [O] ) uses only ellipticity of the operator H and polynomiality 
of its coefficients. Consider a non-zero term S^q d of minimal degree and 
pick in it a non-zero monomial term const - (log q) m q d of maximal degree \m\. 
Then this term occurs in HS with the coefficient (d, d) ■ const which is also 
non-zero for d ^ since the symmetric form ( , ) is positively definite. □ 

Corollaries. (1) The quantum cohomology algebra of the flag manifold 
F is canonically isomorphic to 

C[p , -,Pn,qi, •■•,<?n]/(A)G ,<7), -,D n (p,q)) . 

(2) The total multiplicity of critical points of the functions T q in the gener- 
ating family of the characteristic Lagrangian variety L is equal to ik H*(F) = 
(n + 1)! 

(3) rkH q = rk H*(F) if all q { ^0. 

(4) The monodromy representation Z™ +1 = 7i"i(C — 0) n+1 — ► Aut(7i q ) 
of the Gauss-Manin connection on 7i q is unipotent and equivalent to the 
action of Z n+1 on H*(F,C) generated by the multiplication operators A i— > 
exp(27up fc ), k — 0, ...,n. 

(5) For each A G H*(F) the function Sa has the stationary phase repre- 
sentation j Tc y ex P(-^g/^) Ct; <j w tth suitable T = T(A) G H q <8> C((/l -1 )). 

(6) Vice versa, the stationary phase integrals Sr admit the series expan- 
sions (e pt/h s,A(T)}. 

Remark. As it is shown in ||12|| , the Poincare pairing ( , ) on the quantum 
cohomology algebra C\p, q]/(D (p, q), D n (p, q)) can be described by the 



11 



residue formula 



(AB)(q) 



(2%i) 



1 



Ajp, q)B(p, q)dp A ... A dp., 
D (p,q)...D n (p,q) 



■n 



Comparison of the stationary phase approximations for the integrals St with 
the formal asymptotics 



for solutions of the quantum cohomology differential equations shows that the 
Jacobian det(dDi/dpj) computed at generic points (p,q) G L coincides, up 
to a constant factor, with the Hessian det(<9 2 \F q {T) j 'dT u dT^) of the function 
T q computed at the non-degenerate critical points corresponding to (p, q) . It 
would be interesting to find a direct proof of this identity between the two 
determinants of sizes n + 1 and n(n + l)/2 respectively. 

4. The mirror conjecture. By the mirror conjecture one usually means 
the profound equivalence (see e. g. f2(J, [15], discovered several years ago 
on the basis of string theory, between complex and symplectic geometry in 
Calabi - Yau manifolds (i.e. compact Kahler manifolds which admit non- 
vanishing holomorphic volume forms). In particular, the conjecture predicts 
that the quantum cohomology D-module corresponding to a Calabi - Yau 
manifold X describes variations of periods of the holomorphic volume form 
on another Calabi - Yau manifold Y, which has the same dimension as X 
and whose Hodge diamond is mirror-symmetric to that of X. 

In 1993 we suggested a generalization of the above correspondence beyond 
the class of Calabi - Yau manifolds. f\ Namely, we conjectured (see |§) that 
the quantum cohomology D-module of a compact symplectic 2iV-dimensional 
manifold X is equivalent to the D-module generated by stationary phase 
integrals J rgy exp^g/ h)u q , where (Y q , T q , oj q ) is a suitable algebraic family 
of (possibly non-compact) iV-dimensional complex manifolds Y q , holomorphic 
functions T q : Y q — > C and non- vanishing holomorphic iV-forms on Y q . 

2 We should mention however that (earlier) E. Witten's paper jl9| can be also un- 
derstood as a suggestion of a similar generalization. I am thankful to M. Atiyah who 
communicated to me this point of view usually ignored by successors of [[HI . 






e E 2Ji( P )/n 



pe£nT* xpt 




12 



The following arguments spoke in favor of such a generalization. 

1) In terms of the characteristic Lagrangian variety L C T*(H 2 (X) ) 
of the quantum cohomology D-module the Poincare pairing ( , ) on the 
quantum cohomology algebra C[L] of the compact symplectic manifold X is 
given by the formula 

(where A is the restriction to the diagonal in L x L of the function represent- 
ing Poincare-dual class of the diagonal in X x X). This formula resembles 
the residue pairing 

1 / / w s dyi A ... A dy N _ \ - a{y*)Kv*) 
(2m) N f a[y) [y) 9^ ~ 2^ det(<9 2 ^/%%)L 

in singularity theory, and in some examples, including complex projective 
spaces and Grassmannians, can be indeed replaced by some residue formula. 

2) Solutions sa to the differential equations hqidsA/dqi = Pi° sa arising 
from the multiplication o in the quantum cohomology algebra of X admit 
asymptotical approximations 

{s A} B)~hW £ C p (A)e- K ^ /h [^- + 0(h)] 
P eT q *nL vA(p) 

resembling the stationary phase approximations 



rcy„ 



det 1/2 (d^ q /d yi dy 



jj\y* 



3) A by-product of our proof JTT] for toric symplectic manifolds of Arnold's 
symplectic fixed point conjecture |]J was the following multiplicative struc- 
ture in the Floer homology (it is at least morally equivalent to the quantum 
multiplication). A compact toric symplectic manifold X with Picard number 
n can be obtained as a symplectic reduction X = C N / /T n of the linear space 
by the subtorus T n C T N of the maximal torus on a generic level of the mo- 
mentum map C N — > Lie*T N — > Lie*T n . Denote (wiy)^ f=i the matrix of the 



13 



projection Lie *T N — > Lie *T n . In the quantum cohomology algebra of X the 
classes Qi, ,Qn of coordinate hyperplane divisors satisfy the multiplica- 
tive relations Q™ a ...Q™ iN = q iy i = 1, ...,n, and on the other hand — can be 
expressed via some basis in H 2 (X) as Qj = Pimy + ... +p n m nj,j = 1, N. 
It is easy to see that the latter set of additive relations specifies the critical 
set of the function T = Qi + ... + Qn restricted to the (N — n)-dimensional 
complex torus Y q defined by the multiplicative relations. We arrive to the 
mirror family (Y q , F q , uj q ) of the toric manifold X by introducing the holo- 
morphic volume form uj q = dlogQi A ... A dlogQjy / dlogqi A ... A d\ogq n on 
the torus Y q . 

4) In the case of X = CP^ -1 = C N / /T 1 corresponding stationary phase 
integrals 

(Qi+...+Q N )/h d Q^ A ••• A d Qn 



, rc{Q 1 ...Q N = q } dq 
satisfy the same differential equation {hqd/dq) N S = qS as the series 



( P iog 9 )/av- Q_ mod / 



{ P + h) N {p + 2h) N ...{p + dhy 

generating the quantum cohomology P-module of the complex projective 
space (see [TO]). This confirms the mirror conjecture for CP^ -1 . 



5) The above mirror family (Y q , jF q , u q ) of a toric symplectic manifold X 
agrees with Batyrev's mirrors of Calabi - Yau anti-canonical hypersurfaces 
X' C X. According to 0] one can construct Calabi - Yau mirror manifolds Y' 
as anti-canonical divisors in the toric manifold obtained by dualization of the 
momentum polyhedron for X. In fact periods of holomorphic volume forms 
on Batyrev's mirrors can be expressed in terms of our mirrors (Y q , JF 9 , u q ) as 
the formal Laplace transform 



u q 



of the stationary phase integrals. f\ 

3 By the way, this observation suggests a formulation of a "quantum Lefschetz hyper- 
plane section theorem" relating the quantum cohomology 2?-module of a Fano manifold 
X with that of the anti-canonical hypersurfaces X' C X via such a Laplace transform, i.e. 
without any mentioning mirror manifolds. 



14 



In || we proved the mirror conjecture for Fano (Kx < 0) and Calabi - 
Yau (Kx = 0) projective complete intersections. Namely, the solutions Sa 
of the quantum cohomology differential equation for X given in CP N ~ l by r 
equations of degrees l\ + ... + l r < N are described by the following integrals 
J FcY exp^g/h) uj q : partition the variables Qi,...,Qn into r + 1 groups of 
lengths lo + h + ... + l r = N and denote Go, ...,G r the total sums Q a in 
each group (for example, Go = Q\ + ... + Qi , etc.). Then 

Y q = {(Qi, Qn) I Qx-Qn = q, Gx(Q) = ... = G r (Q) = 1}, 
_ _ rflogQi A ... AdlogQ N 

J- q -l* \Y q , U q - d]ogqAdGlA _ Ad Q r ■ 

These formulas include the traditional Calabi - Yau mirror phenomenon as 
a degenerate particular case with l = and G = 0. 

The very idea that the mirror phenomenon exists beyond the class of 
Calabi - Yau manifolds has not attracted much attention of specialists. One 
of the causes is that the results mentioned in this section do not go further 
than toric complete intersections. It was the actual purpose of the project 



[12] on flag manifolds started in 1993 by the author and B. Kim to improve 
this situation and enlarge the supply of examples confirming the conjecture. 
Although the discovered relation with Toda lattices has been analyzed in the 
literature on quantum cohomology of flag manifolds (see e. g. |L7], 0, |13|), 
their mirrors have escaped us so far. 

In the recent paper T. Eguchi, K. Hori and C.-S. Xiong, independently 
on our lecture , have arrived to a similar idea of extending the mirror con- 
jecture to Fano manifolds. They illustrate the idea with the examples of 
complex projective spaces, several rational surfaces, Grassmannians G^i and 
G§2 and extrapolate formulas from the latter examples to general Grass- 
mannians. These formulas served us as the starting point for the present 
paper; suitably modified, they give rise to a construction of mirrors for the 
flag manifolds. Indeed, the construction of (Y q , T q , uj q ) in Section 2 provides 
a stationary phase integral representation for the solutions Sa of the dif- 
ferential equations defined by the quantum cohomology algebra of the flag 
manifold. 

I would like to thank M. Kontsevich who brought the paper to my 
attention and B. Kim for communicating his results |13| based on quantum 



Toda lattices. I am also thankful to B. Kostant who explained to me that 



15 



generalizations of the present paper to arbitrary semi-simple Lie algebras 
should intertwine mirror manifolds with Whittaker modules |[16| . 



References 

V.I. Arnold. Sur un propriete topologique des applications canoniques de 
la mecanique classique. C. R. Acad. Sci. Paris 261 (1965), 3719 - 3722. 

V.V. Batyrev. Dual polyhedra and mirror symmetry for Calabi - Yau 
hyper surfaces in toric manifolds. Preprint, |alg-geom/93 10003 . 



K. Behrend, Yu. Manin. Stacks of stable maps and Gromov - Witten 
invariants. Preprint, 1995. 

R. Dijkgraaf, E. Verlinde, H. Verlinde. Notes on topological string theory 
and 2D quantum gravity. Proc. of the Trieste Spring School, 1990, M. 
Green et al., eds., World Sci., Singapore, 1991. 

B. Dubrovin. Geometry of 2D topological field theories. In: Springer 
Lecture Notes in Math., 1620 (1996), 120 - 348. 

T. Eguchi, K. Hori, C.-S. Xiong. Gravitational quantum cohomology. 
Preprint, 1996. 

S. Fomin, S. Gelfand, A. Postnikov. Quantum Schubert polynomials. 
Preprint, 1996. 

A. Givental. Equivariant Gromov - Witten invariants. Intern. Math. 
Res. Notices, 1996, No. 13, 1 - 63. 

A. Givental. Homological geometry and mirror symmetry. In: Proceed- 
ings of the International Congress of Mathematicians, Zurich, 1994, 
Birkhauser, 1995, v. 1, pp. 472 - 480. 

A. Givental. Homological geometry I: projective hyper surf aces. Selecta 
Math., New Series, 1 (1995), No. 2, 325 - 345. 

A. Givental. A simplectic fixed point theorem for toric manifolds. In: 
The Floer memorial volume. H. Hofer, C. H. Taubes, A. Weinstein, E. 
Zehnder (eds.), Progress in Math. 133, Birkhauser, 1995, pp. 445 - 481. 



16 



A. Givental, B. Kim. Quantum cohomology of flag manifolds and Toda 
lattices. Commun. Math. Phys. 168 (1995), 609 - 641. 

B. Kim. Quantum cohomology of flag manifolds G/B and Toda lattices. 
Preprint, |alg-geom/960700l| . 

M. Kontsevich. Enumeration of rational curves via toric actions. In: 
The moduli space of curves, R. Dijkgraaf, C. Faber, van der Geer (eds.), 
Progress in Math. 129, Birkhauser, 1995, pp. 335 - 368. 

M. Kontsevich. Homological algebra of mirror symmetry. In: Proceed- 
ings of the International Congress of Mathematicians, Zurich, 1994, 
Birkhauser, 1995, v. 1, pp. 120 - 139. 

B. Kostant. On Whittaker vectors and representation theory. Invent. 
Math. 48 (1978), 101-184. 

B. Kostant. Flag manifold quantum cohomology, the Toda lattice, and 
the representation with the highest weight p. Selecta Math. New Series 
2 (1996), 43 - 91. 

D. Morrison. Mirror symmetry and moduli spaces. In: Proceedings of 
the International Congress of Mathematicians, Zurich, 1994, Birkhauser, 
1995, v. 2, pp. 1304 - 1314. 

E. Witten. Phases of N = 2 theories in two dimensions. Preprint, 
IASSNS-HEP-93/3. 

S.-T. Yau (ed.). Essays on mirror manifolds. International Press, Hong 
Kong, 1992. 



17