{"title":"Families of relatively exact Lagrangians, free loop spaces and generalised homology","authors":"","doi":"10.1007/s00029-023-00910-6","DOIUrl":null,"url":null,"abstract":"<h3>Abstract</h3> <p>We prove that (under appropriate orientation conditions, depending on <em>R</em>) a Hamiltonian isotopy <span> <span>\\(\\psi ^1\\)</span> </span> of a symplectic manifold <span> <span>\\((M, \\omega )\\)</span> </span> fixing a relatively exact Lagrangian <em>L</em> setwise must act trivially on <span> <span>\\(R_*(L)\\)</span> </span>, where <span> <span>\\(R_*\\)</span> </span> is some generalised homology theory. We use a strategy inspired by that of Hu et al. (Geom Topol 15:1617–1650, 2011), who proved an analogous result over <span> <span>\\({\\mathbb {Z}}/2\\)</span> </span> and over <span> <span>\\({\\mathbb {Z}}\\)</span> </span> under stronger orientation assumptions. However the differences in our approaches let us deduce that if <em>L</em> is a homotopy sphere, <span> <span>\\(\\psi ^1|_L\\)</span> </span> is homotopic to the identity. Our technical set-up differs from both theirs and that of Cohen et al. (in: Algebraic topology, Springer, Berlin, 2019) and Cohen (in: The Floer memorial volume, Birkhäuser, Basel). We also prove (under similar conditions) that <span> <span>\\(\\psi ^1|_L\\)</span> </span> acts trivially on <span> <span>\\(R_*({\\mathcal {L}}L)\\)</span> </span>, where <span> <span>\\({\\mathcal {L}}L\\)</span> </span> is the free loop space of <em>L</em>. From this we deduce that when <em>L</em> is a surface or a <span> <span>\\(K(\\pi , 1)\\)</span> </span>, <span> <span>\\(\\psi ^1|_L\\)</span> </span> is homotopic to the identity. Using methods of Lalonde and McDuff (Topology 42:309–347, 2003), we also show that given a family of Lagrangians all of which are Hamiltonian isotopic to <em>L</em> over a sphere or a torus, the associated fibre bundle cohomologically splits over <span> <span>\\({\\mathbb {Z}}/2\\)</span> </span>.</p>","PeriodicalId":501600,"journal":{"name":"Selecta Mathematica","volume":"98 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-02-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Selecta Mathematica","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1007/s00029-023-00910-6","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
We prove that (under appropriate orientation conditions, depending on R) a Hamiltonian isotopy \(\psi ^1\) of a symplectic manifold \((M, \omega )\) fixing a relatively exact Lagrangian L setwise must act trivially on \(R_*(L)\), where \(R_*\) is some generalised homology theory. We use a strategy inspired by that of Hu et al. (Geom Topol 15:1617–1650, 2011), who proved an analogous result over \({\mathbb {Z}}/2\) and over \({\mathbb {Z}}\) under stronger orientation assumptions. However the differences in our approaches let us deduce that if L is a homotopy sphere, \(\psi ^1|_L\) is homotopic to the identity. Our technical set-up differs from both theirs and that of Cohen et al. (in: Algebraic topology, Springer, Berlin, 2019) and Cohen (in: The Floer memorial volume, Birkhäuser, Basel). We also prove (under similar conditions) that \(\psi ^1|_L\) acts trivially on \(R_*({\mathcal {L}}L)\), where \({\mathcal {L}}L\) is the free loop space of L. From this we deduce that when L is a surface or a \(K(\pi , 1)\), \(\psi ^1|_L\) is homotopic to the identity. Using methods of Lalonde and McDuff (Topology 42:309–347, 2003), we also show that given a family of Lagrangians all of which are Hamiltonian isotopic to L over a sphere or a torus, the associated fibre bundle cohomologically splits over \({\mathbb {Z}}/2\).