Geometry of generating functions and Lagrangian spectral invariants

Abstract: Partially motivated by the study of topological Hamiltonian dynamics, we prove various

C^{0}

-aspects of the Lagrangian spectral invariants and the basic phase functions

f_{H}

, that is, a natural graph selector constructed by Lagrangian Floer homology of

H

(relative to the zero section

o_{N}

). In particular, we prove that

gamma^{lag}(phi_H^1(o_N)): = ho^{lag}(H;1) - ho^{lag}(H;[pt]^#) o 0

as

p h i_{H}^{1} o i d

, emph{provided}

H

's satisfy

s u p p X_{H} s u b s e t D^{R} (T^{*} N) s e t m i n u s o_{B}

for some

R > 0

and a closed subset

B s u b s e t N

with nonempty interior. We also study the relationship between

f_{H}

and

h o^{l a g} (H; 1)

and prove a structure theorem of the micro-support of the singular locus

S i n g (s i g m a_{H})

of the function

f_{H}

. Based on this structure theorem and a classification theorem of generic Lagrangian singularity in

d i m N = 2

obtained by Arnold's school, we define the notion of cliff-wall surgery when

d i m N = 2

: the surgery replaces a multi-valued Lagrangian graph

p h i_{H}^{1} (o_{N})

by a piecewise-smooth Lagrangian cycle that is canonically constructed out of the single valued branch

S i g m a_{H} : = G r a p h d f_{H} s u b s e t p h i_{H}^{1} (o_{N})

defined on an open dense subset of

N s e t m i n u s S i n g (s i g m a_{H})

of codimension 1.

This page was built for publication: Geometry of generating functions and Lagrangian spectral invariants