Skip to main content

We're fighting for the future of our library in court. Show your support now!

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

See other formats



Antti J. Niemi 

Department of Theoretical Physics, Uppsala University 
P.O. Box 803, S-75108, Uppsala, Sweden^ 


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 


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) 


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. 


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\\} 


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 


[d4>] [dp] [dc] [dc] exp{z J Par- Ca(f ' Pa^H ' CaObX^c'} 

Furthermore, if we define the following nilpotent BRST operator 

^ ^ dr ~'~ '^^dca 
we find that this integral can be represented in the topological form 



[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 } > 



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 


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) 


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 


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 


rd ja 
cb^ d 


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 






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 







(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 


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) 


or in components 

-R = dr + TAT 

- -^DI\DI\)5p'' + ^( I\R\ - I\R\ )e/ 

which is the Riemann curvature 2-form corresponding to the connection f 

ab ■ 



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} 


Such actions are automatically invariant under the BRST-transformation generated by 
Q and consequently the partition function 


should remain invariant under arbitrary local variations of 9. If we select 


e = {p,s)~-{p.F) 


PadabV '^Sf^ - -PaQabV i' p 

where is a section of £ and A is a parameter, we get 
S = 



-zp'^Mgabs'-'W + F^gabS^' - '-e%DJ\r9ads"' - ^F^F: 

+ ^^Dj\Dj\ri^<'py'^ - ^R\,,ri^<'pyi 


specializing to s^[0] = and A = 1 then gives the usual action of topological 

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[] : 


s = /J^« + 6/n4)(5: + eVa'^D-^p:^c(s: + e/n4)^^ 




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) 


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) 


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 


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'^. 


Using the (formal) invariance of ([ISD under local variations of 9, we introduce the 

= 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. 








V.I. Arnold, C.R. Acad. Paris 261 (1965) 3719; and Uspeki Math. Nauk. 18 (1963) 

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) 

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