, Nous n'avons pas parlé d'orientation dans l'exposition de la théorie classique de Floer, nous suivons la démarche de Floer et Hofer exposée dans [11] dont nous donnons les étapes. (A) Fixer des trivialisations le long des tores d'orbites critiques
, Considérer l'ensemble O des opérateurs de la forme ? s + A(s) : W 1,p,? (R × S 1
V un espace vectoriel de dimension fini représentant les sections induites par l'action de groupe près des extrémités et lim s?±? A(s) représentant un opérateur asymptotique lu dans les trivialisations précédemment choisies. (C) Les arguments avancés en section 6 permettent de montrer que O est constitué d'opérateurs de Fredholm ,
U représente donc un opérateur dans L ? O, s'il est surjectif, orienter son noyau revient à orienter ( max ker L) ?, Dans ces coordonnées ,
,
,
, Soit p = (? , z ) = g.(?, z) ? S p une orbite dans la même variété critique, alors {g * X i |i ? {1,. .. , n}}?{g * Y k |k ? {1. .. n+N } est une base le long de ? (S 1 ) × {z } et, L 2 (S 1 , R 2n+N ) l'opérateur aysmptotique D p dans ces coordonnées
, Il vient, par notre choix de trivialisation pour chaque orbite critique, qu'il correspond un unique opérateur par variété critique S p que nous notons L p : H 1 (S 1
, Lp 2 l'ensemble des opérateurs de la forme L = ? s + A(s) : W 1,p,? (R × S 1 , R 2n+N ) ? V ? L p,? (R × S 1 , R 2n+N ) avec (a) lim s??? A(s) = L p 1 , lim s?+? A(s) = L p 2 , (b) V = V 1 ? V 2 où V 1 (resp. V 2 ) est engendré par ? ? X (resp. ? + X) avec X ? R n × {0 R n+N } et ? ? (resp. ? + ) est une fonction valant 1, nous définissons maintenant O Lp 1
) p?Crit(A H ) de sorte que # : E p 0 ,p × E p,p 0 ? E p 0 ,p 0 préserve l'orientation. Les deux choix d'orientation pour E p 0 ,p 0 coincident. Il suffit de le vérifier pour ? s + D p 0. Or, son noyau étant composé de sections à coordonnées constantes, la projection orthogonale ker(? s + D p 0 ) × ? ker ,
nous choisissons une trivialisation le long de U coincidant avec celles préalablement choisies le long des orbites. L'opérateur (D? J,H ) U induit en coordonnées un élément de L ? O p + ,p ? et l'orientation de (E p + ,p ? ) L induit donc une orientation de ker, Une fois une trivialisation équivariante choisie pour chaque S p , étant donné U ? M(S p + , S p ? ) ,
, Soit M m une variété orientée munie d'une action lisse, libre, propre et préservant l'orientation d'un groupe de Lie G n lui aussi orienté. Nous orientons le quotient comme suit, Convention 1. Nous adoptons les conventions d'orientation suivantes. (I)
, Soit p i ? Crit(A H ), i = 1, 2, 3 trois points critiques préalablement choisis dans les variétés critiques correspondantes S p i avec µ(p i+1 ) ? µ(p i ) = 1, i ? {1, 2}. Ces choix nous permettent d'identifier chaque S p i avec T n et nous orientons les produits fibrés M
,
, où la première flèche désigne l'inclusion et la deuxième ?ev * + ev *
,
, Nous définissons l'homologie symplectique torique en degré N pour la classe a associée à la paire (H, J, g) comme l'homologie du complexe construit précédemment, Les points critiques près de {0}×T n ×{0}×T n correspondent donc à et en passant à limite quand N ? +? SH T n (W, ?, µ) H T n (W, ? ? )
,
, The moment map and equivariant cohomology, Topology, vol.23, pp.1-28, 1982.
DOI : 10.1007/978-1-4612-2564-5_10
, Torus actions on symplectic manifolds, vol.93, 2004.
DOI : 10.1007/978-3-0348-7960-6
URL : https://hal.archives-ouvertes.fr/hal-00135269
, Symplectic geometry of integrable hamiltonian systems, vol.93, 2003.
Théorie de morse et homologie de floer, 2010. ,
The Floer memorial volume, Morse-Bott theory and equivariant cohomology, vol.133, 1995. ,
, Frédéric Bourgeois : A Morse-Bott approach to contact homology, 2002.
Fredholm theory and transversality for the parametrized and for the S 1-invariant symplectic Action, Journal of the European Mathematical Society, vol.12, pp.1181-1229, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00422072
The index of floer moduli problems for parametrized action functionnal, Geometriae Dedicata, vol.165, pp.5-24, 2013. ,
Alexandru Oancea : S 1-equivariant symplectic homology and linearized contact homology, International Mathematics Research Notices, vol.2017, pp.3489-3937, 2017. ,
, Convexity methods in hamiltonian mechanics, 1990.
Coherent orientations for periodic orbit problems in symplectic geometry, Mathematische Zeitschrift, vol.212, pp.13-38, 1993. ,
Symplectic fixed points and holomorphic spheres, Communications in Mathematical Physics, vol.120, pp.575-611, 1989. ,
The unregularized gradient flow of the symplectic action, Communications on Pure and Applied Mathematics, vol.41, pp.775-813, 1988. ,
, Urs Frauenfelder : The Arnold-Givental conjecture and moment Floer homology, International Mathematics Research Notice, vol.42, pp.2179-2269, 2004.
, Introduction to contact topology, vol.109, 2008.
, Pseudoholomorphic curves in symplectic manifolds, Inventiones Mathematicae, vol.82, pp.307-347, 1985.
, The Conley-Zehnder index for a path of symplectic matrices
The Floer memorial volume, Floer homology and Novikov rings, vol.133, pp.483-524, 1995. ,
Introduction to symplectic geometry, 1998. ,
, Morse theory, 1963.
Palais : Foundations of global non-linear analysis, 1968. ,
, The maslov index for paths, Topology, vol.32, pp.827-844, 1993.
The spectral flow and the maslov index, Bulletin of London Mathematical Society, vol.27, pp.1-33, 1995. ,
Notes for lectures held at the IAS/Park city Graduate Summer School on symplectic Geometry and Topology, Lectures on floer homology, 1997. ,
Morse theory for periodic hamiltonian systems, Communication on Pure and Applied mathematics, vol.45, pp.1303-1360, 1992. ,
, Morse homology, vol.111, 1993.
, Hodge theory and complex algebraic geometry, Cambridge Studies in Advanced Mathematics, vol.77, 2007.
, Lectures on holomorphic curves in symplectic and contact geometry
Dynamique Hamiltonienne Résumé : Cette thése établit l'existence d'une variante de l'homologie de Floer de type MorseBott. Étant donnés une variété torique (W 2n , ?, µ) et un hamiltonien H : W ×S 1 ? R invariant par l'action du tore de dimension n T n , les orbites de H sont stables par l'action torique. Cette dernière admettant des points fixes dans W , elle n'est pas libre, pareillement pour celle induit sur les lacets de W et il est, a priori, Titre : Homologie symplectique T n-équivariante pour les variétés toriques hamiltoniennes Mots Clefs : Géométrie symplectique, Géométrie torique ,
, L'homologie obtenue est un invariant pour les variétés symplectiques toriques et nous le calculons dans le cas d'une variété fermée
, Discovery-RD 128-2e ét
, Hamiltonian dynamics Abstract : This thesis establishes the existence of a version of Floer homology in a Morse-Bott context. Given a toric manifold (W n , ?, µ) and a hamiltonian H : W × S 1 ? R invariant by the action of the torus T n , the periodical orbits of H are stable by the toric action. The latter admits fix points in W and hence it not free, neither the one induced on the space of the loops of W and it is, a priori, impossible to establish a equivariant infinite-dimensional Morse-Bott theory on C ? (S 1 , W )/T n. We deal with this problem using Borel's construction : we choose a space contractible E with a free action from the torus and look at the infinite-dimensional Morse-Bott homology of the space, Title : T n-equivariant symplectic homology for toric hamiltonian manifolds Keys words : Symplectic geometry, Toric geometry, Floer homology