# Full text of "Topological Sigma-model, Hamiltonian Dynamics and Loop Space Lefschetz Number"

## See other formats

hep-th/9508067 TOPOLOGICAL a-MODEL, HAMILTONIAN DYNAMICS AND LOOP SPACE LEFSCHETZ NUMBER Antti J. Niemi Department of Theoretical Physics, Uppsala University P.O. Box 803, S-75108, Uppsala, Sweden^ and Research Institute for Theoretical Physics P.O.Box 9, FIN-OOOI4 University of Helsinki, Finland Pirjo Pasanen ** Research Institute for Theoretical Physics P.O. Box 9, FIN-OOOI4 University of Helsinki, Finland We use path integral methods and topological quantum field theory techniques to in- vestigate a generic classical Hamiltonian system. In particular, we show that Floer's in- stanton equation is related to a functional Euler character in the quantum cohomology defined by the topological nonlinear a-model. This relation is an infinite dimensional analog of the relation between Poincare-Hopf and Gauss-Bonnet-Chern formulae in classical Morse theory, and can also be viewed as a loop space generalization of the Lefschetz fixed point theorem. By applying localization techniques to path integrals we then show that for a Kahler manifold our functional Euler character coincides with the Euler character determined by the finite dimensional de Rham cohomology of the phase space. Our results are consistent with the Arnold conjecture which estimates periodic solutions to classical Hamilton's equations in terms of de Rham cohomology of the phase space. "f permanent address ^ Supported by Goran Gustafsson Foundation for Science and Medicine and by NFR Grant F-AA/FU 06821-308 * E-mail: NIEMI@TETHIS.TEORFYS.UU.SE ** E-mail: PIRJO. PAS ANEN@HELSINKI.FI The methods of quantum field theory were originally developed to understand par- ticle physics, but have since proven useful also in statistical physics. Recently there have been various indications that these methods might be successfully applied even in the study of classical Hamiltonian dynamics. One of the intriguing open problems there is the Arnold conjecture P| which states that on a compact phase space the number of periodic solutions to Hamilton's equations is bounded from below by the sum of Betti numbers on the phase space. In the present Letter we shall argue that topological quantum field theories and path integral localization techniques are indeed potentially effective tools in the study of classical dynamical systems. Furthermore, by applying such methods to investigate classical structures one might also gain valuable insight to the nonpertur- bative structure of quantum dynamics. We shall consider Hamilton's equations on a phase space which is a compact sym- plectic manifold X with local coordinates We are interested in T-periodic trajec- tories that solve Hamilton's equations, i.e. are critical points of the classical action 5cl= r dT{dar -H{(j),T)) (1) Here 'da are components of the symplectic potential corresponding to the symplectic two-form uj = d"!?. We assume that the Hamiltonian depends explicitly on time r in a T-periodic manner H{(f),0) = H{(f),T), so that energy is not necessarily conserved. Hamilton's equations are '^^ -u^^dbH{(j);T) = (j)''-X^ = (2) with T-periodic boundary condition 0(0) = (/>(T). We are particularly interested in the case where the periodic solutions are nondegenerate. When energy is conserved so that H does not have explicit dependence on r each critical point dH{(p) = of if generates trivially a T-periodic trajectory. According to the classical Morse theory the number of these critical points is bounded from below by the sum of Betti numbers on X and consequently Arnold's conjecture is valid: #{ T-periodic trajectories } > J2Bk = Yl ^im H\X, R) (3) But if H depends explicitly on time so that energy is not conserved, the critical points of H do not solve (0) and the methods of finite dimensional Morse theory are no longer applicable. Instead, we need to estimate directly the quantity #{ T-periodic trajectories } = J - X^) |det 116% + daX^\\ \ (4) <t>{T)=m and for this we need an infinite dimensional generalization of Morse theory. Unfor- tunately this is not very easy. There is no minimum for (|1]), and periodic solutions of (H) are saddle points of (|I]) with an infinite Morse indexQ. Due to such difficulties, ^In the following we shall define all determinants using C- function regularization. 1 for explicitly r-dependent Hamiltonians the conjecture has only been proven in certain special cases p[. An important special case is governed by the Lefschetz fixed point theorem : We first estimate the integral in (^) by > [#]5(0"-A'^)det||5^<9t + a„A'^| J2 sign{det\\S% + daK\\} (5) where on the r.h.s. we identify an infinite dimensional version of the sum that appears in finite dimensional Poincare-Hopf theorem with 5 as a Morse function. If we introduce a commuting variable pa and two anticommuting variables c", Ca, we can write the integral in (RT) as /I [d4>] [dp] [dc] [dc] exp{z J Par- Ca(f ' Pa^H ' CaObX^c'} o Furthermore, if we define the following nilpotent BRST operator ^ ^ dr ~'~ '^^dca we find that this integral can be represented in the topological form (6) (7) [d(P][dp][dc][dc] exp{ I / Par - CaC" ' Q{X^HCa) } According to standard BRST arguments, this integral depends only on the cohomology of the BRST operator Q. In particular we can replace Q by its canonical conjugation Q — > e~^Qe^ where we select 9 = —T^f^c'^Ccir'', with F^^ the connection for some metric gab on the phase space X and ir^pb = 6^. Furthermore, if we generalize [1 - \)X^Ca + Xg^'paCb where AG [0, 1] is a parameter, BRST invariance implies that the ensuing path integral (H) is independent of A. Selecting A = 1 we then conclude that (|]) localizes to the Euler characteristic of the phase space X 0, 0. Consequently T— periodic trajectories } > k (9) and for manifolds with vanishing odd Betti numbers i.e. H2k+i = this establishes the validity of Arnold's conjecture. This result can be viewed as a path integral proof of the Lefschetz fixed point theorem li F : X ^ X is a smooth map which is homotopic to the identity and admits only isolated fixed points F[(p] = (p, according 2 to this theorem the number of these fixed points is bounded from below by the Euler character of X. In the present context, Hamihon's equations determine such a smooth map F : X ^ X hy = F[(f>{t = 0)] —>■ 0(T) and the time evolution determined by Hamilton's equations ensures that this map is homotopic to the identity. The fixed point condition F[(f)] = (f) then selects T-periodic classical trajectories 0(0) = 4>{T). In spite of very extensive work in the general case when the odd Betti-numbers are non-vanishing the Arnold conjecture remains unproven. However, recent attempts have led to interesting approaches, including topological nonlinear cr-models. In the approach originating from Floer |^, 0] one starts by defining a gradient fiow in the space of closed loops 0(0) = 0(T) da where gab is a Riemannian metric on X. Using this metric and the symplectic two- form ojab we set J- b — g ^cb Since I'^J^b = —^^b this defines an almost complex structure on the manifold X and (|10|) becomes 9.0'^ + jW = a"i/(0,r). (11) This is Floer's instanton equation, defined on a cylinder x R with local coordinates r e [0, T] and a G (— oo, oo). It describes the fiow of loops 0(r) on X, and the bounded orbits in a tend asymptotically to the periodic solutions of Hamilton's equation (^. Using (|lTD Floer constructs a complex with the solutions to (0) being the vertices and the trajectories (pJ]), so-called pseudo-holomorphic instantons, connecting them as the edges. He proves the important result that the cohomology of this complex is independent of the Hamiltonian H{(f), r). Subsequently Witten p found that this Floer cohomology can actually be related to a quantum cohomology which is generated by the quantum ground states of a topological cr-model. Using the more general Novikov ring structure Sadov then argued that these two cohomologies in fact coincide. Witten's topological nonlinear cr-model [§ is based on solutions of Cauchy-Riemann equations for holomorphic curves + I\dr<p'' = (12) His approach has led to interesting developments in quantum field theories and string theory [lO| , but unfortunately from the point of view of Hamiltonian dynamics it cor- responds to the non-generic, denegerate special case of ([TT|) with H = 0. Consequently it is not clear how the topological cr-model, even if it describes Floer's cohomology, could be applied to understand Arnold's conjecture. For this, one needs to extend the topological cr-model so that it accounts for a generic nontrivial Hamiltonian H{(j),T), for which the solutions to (|^) are non-degenerate. In the present Letter we shall explain how path integrals and localization techniques, when applied to the topological cr-model, can be used to derive Morse-theoretic rela- tions for classical trajectories in a generic Hamiltonian system. In particular, we shall 3 explain how the standard, finite dimensional de Rham cohomology relates to quantum cohomology by studying an infinite dimensional version of Poincare-Hopf and Gauss- Bonnet-Chern formula for and by an exact evaluation of the partition function of the topological cr-model we also derive an extension of the Lefschetz fixed point theorem for Floer's instanton equation ([lO|) , ([TT|) on the cylinder. Topological nonlinear cr-model p is a theory of maps from a Riemann surface S with metric 77^^ and almost complex structure to a manifold X with Riemannian metric Qah and almost complex structure /"fe. We assume that the almost complex structures are both compatible with the metrics, so that for example on X we have -- PJ'^bgcd- Moreover, if 9> rd ja cb^ d (13) 1°"}, is an integrable complex structure and gab is Kahler. However, in the following we do not necessarily assume (|T3|). The fields are the space of maps 0" : S — > X, a = 1 ... dim X. Anticommuting fields ip"- are sections of (f)*TX, the pullback of the tangent bundle of X. Anticommuting fields p'^, (a = 1, 2), and commuting auxiliary fields are one-forms on S with values on (f)*TX, so they are sections of the bundle (f)*TX (8>T*S. Let S denote a bundle over the space of maps from S to X, whose fibers are sections of cffTX ®T*Tj. Because the rank of £ is infinitely bigger than dimension of its base space we must restrict to a sub-bundle, the self-dual part 8^ . This means that p'^ and F° both satisfy the self-duality constraint Po /3 r bPf3 (14) The fields have a grading, which at the classical level corresponds to a bosonic symmetry with charges 0,1,-1,0 for , ip"- , p'^ and F^, respectively. The action of topological a-model can be constructed in the following way: Con- sider a nilpotent operator Q of degree —1 constructed from the fields of the theory Q (fx (a;) 6 Sp%{x) (15) (In the following summation over a always implies an integration over S.) This we identify as a differential operator d$>>l + l®5 in the superspace defined on the complex VL{£) ® VtiJlE). Here HE means that the coordinates anticommute. Now introduce a canonical conjugation Q — > e~^Qe^ so that the cohomologies defined by the operators Q and Q are the same. A suitable conjugation is defined by e = trp'pKiSjTl - -ej where now vr^F^ = 5^. In a coordinate free language 9 = —i{p, Ftt), with tf, = ® F/ = 5jV\ - ^ejnn 4 a connection 1-form and ^jj"" ~ d(f)"' denoting the basis of 1-forms on the space of maps S — > X. A straightforward calculation gives Q = d) + {F + tpT, i) - t{FT, vr) - -{pR, -ir) where or in components 2 -R = dr + TAT - -^DI\DI\)5p'' + ^( I\R\ - I\R\ )e/ which is the Riemann curvature 2-form corresponding to the connection f ab ■ (16) This operator Q is exactly the same as in when we take into account the self-duality condition (p!4D for and F^. We shall be interested in cohomological actions of the form s = {Q,e} (17) Such actions are automatically invariant under the BRST-transformation generated by Q and consequently the partition function Z should remain invariant under arbitrary local variations of 9. If we select A e = {p,s)~-{p.F) A PadabV '^Sf^ - -PaQabV i' p where is a section of £ and A is a parameter, we get S = :i8) (19) -zp'^Mgabs'-'W + F^gabS^' - '-e%DJ\r9ads"' - ^F^F: + ^^Dj\Dj\ri^<'py'^ - ^R\,,ri^<'pyi (20) specializing to s^[0] = and A = 1 then gives the usual action of topological (T-model. Since the partition function ([T8|) is (formally) invariant under local variations of 6 we conclude that it must be independent of A. Indeed, if we eliminate the auxiliary field F^, the partition function yields an infinite dimensional version of the Mathai-Quillen formalism [[lT| , p!0[] : 1 s = /J^« + 6/n4)(5: + eVa'^D-^p:^c(s: + e/n4)^^ A (21) 5 the relevant bundle being £^ and the section K = sl + ejl\s'f, (22) Thus we may view ([ISD as an infinite dimensional version of the integral of the universal Thom class ||T0(| . Since (|18|) is independent of A, we can consider its A ^ oo limit. For this, we specialize the world-sheet S to be a torus with a and r local coordinates such that the metric rjap is a unit matrix with compatible complex structure eo-^ = — e^^^ = 1- In the A ^ oo limit we then find that the partition function evaluates to Zx^oo = y'[d0"][d^'^]Pfaff(i?%). (23) This we identify as the Euler character of the infinite dimensional bundle £^ . Formally, this infinite dimensional quantity is a topological invariant and as such does not depend on how we choose the connection. It is the Euler character in the quantum cohomology defined by the quantum ground states of the topological cr-model, and by construction it counts the Witten index i.e. the difference in the number of bosonic vacua (even forms) and fermionic vacua (odd forms) in the quantum theory. In analogy with finite dimensional Morse theory, we next relate the infinite dimen- sional Euler character ( p3D to an alternating sum over critical points of a functional $ describing the Floer cohomology. For this we consider the limit A 0, again on a torus S with local coordinates a, r. As A — i> 0, the integral obviously concentrates around the zeroes of (22). For simplicity we shall assume that these zeroes are non-degenerate. (A generalization to the degenerate case is straightforward, see for example 0].) Let 0o be such that $^[0o] = and write cj)'^ = (pQ + (p"". In the absence of degeneracies, the first term in the expansion $^^a,($^)<^^ + o(<^2) does not vanish. Using the self-duality of and the fact that near (pQ we have $^ = -/''fc^^ this gives for the action -tplQatdcmr + ^d,mg,MK)H' + 0{^')\ . (24) Q J \ "''""•^"""'^^ ' ' 2A As A 0, we can then evaluate the partition function which yields Zx^o = J [ d^o] [ dr] [ dr] [P^r] [P^] det -^jg) exp[zS] ^S] det -^g) det [[d,{<^''^)g,,d,{<^'^))] det (gabdc<l>'a = J2 sign det \\dtK\\ (25) In particular, if we select s° = da4>"' — Xa ^^nd take Xa be a self-dual Hamiltonian vector field, i.e. Xa = Id'^H^irA) (26) 6 where Ha{4>) are two a priori arbitrary Hamiltonian functions on X related by the self-duahty condition for x^, we find that the integral localizes to K = d^r + ndr<p'-d''H^{T,<P) = (27) which coincides with Floer's instanton equation (|11|). Thus we have established that for this equation J2 signdet ||a,<l>:|| = f[dr][dr]Pi^S{R\) (28) This is a (formal) infinite dimensional analogue of the familiar Morse theoretic relation between the Gauss- Bonnet- Cher n and Poincare-Hopf formulae. Note that demanding Xa's to be self-dual together with (|26|) implies that /'^f, must be complex structure so that X is now a Kahler manifold. In analogy with (|^), the present result can be viewed as an infinite dimensional loop space version of the Lefschetz fixed point theorem. For this, we remind that Floer's instanton equation (|lT]) is defined on the cylinder x R with coordinates r G [0,T] and a G (— oo,cxd). For a fixed a the r-dependence defines a closed loop on X, and the (T-dependence parameterizes a smooth flow i. e. homotopy mapping of these loops. When a ±oo the bounded orbits of ( [Tl]) tend asymptotically to periodic solutions of d^), implying that we have a flow between periodic classical trajectories only. The additional requirement of periodic boundary condition 0(+oo,r) = 0(— cx),r) then identifies the periodic solutions of (0) with the fixed points of the cr-fiow in the loop space. This generalizes the setting of the conventional Lefschetz fixed point theorem that we have discussed in connection of (pi) to the loop space. In particular, if we specialize Ha in (28) to coincide with our original Hamiltonian we obtain a lower bound for the number of periodic solutions to (0) in terms of the Witten index of the topological (T-model, #{ T— periodic trajectories } > b''][dilj^] Pfaff(i?"fc (29) The underlying idea in Floer's approach to the Arnold conjecture is that the quan- tum cohomology of the topological cr-model should coincide with the de Rham coho- mology of the original symplectic manifold i.e. the target manifold of the cr-model. Such a relation would then provide a natural regularization of the infinite dimensional Euler character in (pSf ), (|29|) and in particular explains why an estimate such as (^ makes sense as a Morse inequality. We shall now proceed to evaluate our path integral using localization methods to establish that the Euler character ( p3D of quantum co- homology indeed coincides with the Euler character of the de Rham cohomology over the symplectic manifold X. For this, we specialize to a symplectic manifold which is Kahler. We select local coordinates so that = id"'b and /"g = —iS°'i. Self-duality then implies that = -Fj = so that the only surviving components are and F^, and similarly for p'^. 7 Using the (formal) invariance of ([ISD under local variations of 9, we introduce the functional = v'^^gabF^p'f, + tigabV'"'darp'/3 (30) and consider the pertinent action {^i7\) . Explicitly (we set F| = F°- etc.), + ^^p\-^9al^, - igadd-z4>'Ti)^' + pp\-ig-abd. - igMd.<i)'Tt)^'' (31) We evaluate the corresponding path integral in the p, oo limit, by separating the z, z independent constant modes (for example in a Fourier decomposition) and scale the non-constant modes by e.g. and similarly for the other fields. Supersymmetry ensures that the Jacobian for this change of variables in (|18D is trivial, and evaluating the integrals in the p —>■ oo limit using the (^-function regularization we end up with the Euler character of the phase space X in the form Z = I dcPld<Kdrodi^l Pfaff (i?^,,-^^^f)Pfaff (i?^-,,,-^:^f) (32) which also exhibits the underlying complex structure on X. As a consequence, we have shown that the Euler characters in quantum cohomology and de Rham cohomology coincide and Floer's instanton equation defined over our torus obeys 5: signdet ||a,<l>^|| = Y.(-fB, *J=0 k with the Betti numbers of the symplectic manifold X. Obviously this is fully consistent with (^ and relates our infinite dimensional version of the Lefschetz fixed point formula for Floer's equation ( pSf ) directly with its finite dimensional counterpart. In conclusion, we have studied three a priori different cohomologies: Floer's co- homology which describes periodic solutions to Hamilton's equations, Witten's quan- tum cohomology which describes the quantum ground state structure of a topological nonlinear a-model, and standard finite dimensional de Rham cohomology. By in- vestigating an infinite dimensional generalization of the familiar Poincare-Hopf and Gauss-Bonnet-Chern formulae together with the Lefschetz fixed point theorem, we have shown that these three cohomologies are intimately related. This is consistent with the Arnold conjecture. In particular, our results indicate that topological field theories and functional localization methods appear to be useful tools also in the study of classical dynamical systems. 8 References [1 [2 [3 [4 [5 [6 [7: [9 V.I. Arnold, C.R. Acad. Paris 261 (1965) 3719; and Uspeki Math. Nauk. 18 (1963) 91 H. Hofer and E. Zehnder, Symplectic Invariants and Hamiltonian Dynamics (Birkhauser Verlag, 1994) D. Birmingham, M. Blau, M. Rakowski and G. Thompson, Phys. Kept. 209 (1991) 129 M. Blau, E. Keski-Vakkuri and A.J. Niemi, Phys. Lett. B246 (1990) 92; A.J. Niemi and O. Tirkkonen, Phys. Lett. B293 (1992) 339 T. Eguchi, P. Gilkey and A. Hanson, Phys. Repts. 66 (1980) 213 A. Niemi, Phys. Lett. B355 (1995) 501 A. Floer, Commun. Math. Phys. 120 (1989) 575 E. Witten, Commun. Math. Phys. 118 (1990) 411 V. Sadov, Commun. Math. Phys. 173 (1995) 77-100 [10] S. Cordes, G. Moore and S. Ramgoolam, |hep-th/94112T0| ; S. Wu, |hep-th/9406103 [11] V. Mathai and D. Quillen, Topology 25 (1986) 85 [12] A.J. Niemi and K. Palo, |hep-th/940606g 9