Topological Sigma-model, Hamiltonian Dynamics and Loop Space Lefschetz Number

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