# zbMATH — the first resource for mathematics

Poisson brackets and symplectic invariants. (English) Zbl 1242.53099
Let $$(M^{2n},\omega)$$ be a symplectic manifold, $${\mathcal F}$$ the function space $$C^\infty_c(M)\times C^\infty_c(M)$$, $$(X,Y,Z)$$ (resp. $$(X_0, X_1, Y_0, Y_1)$$) a triple (resp. quadruple) of compact subsets of $$M$$, and ${\mathcal F}_3(X,Y,Z)= \{(F,G)|F|_X\leq 0,\,G|_Y\leq 0,\,(F+ G)|_Z\geq 1\},$
${\mathcal F}_4(X_0, X_1, Y_0, Y_1)= \{(F,G)|F|_{X_0}\leq 0,\,F|_{X_1}\geq 1,\,G|_{Y_0}\leq 0,\,G|_{Y_1}\geq 1\},$ where $$F$$, $$G$$ are compactly supported smooth function on $$M$$, be pairs of functions from $${\mathcal F}$$. Then the authors introduce the following Poisson bracket invariants $pb_3(X,Y,Z)= \text{inf}_{(F,G)\in{\mathcal F}_3(X,Y,Z)}\|\{F, G\}\|,$
$pb_4(X_0, X_1, Y_0, Y_1)= \text{inf}_{(F,G)\in{\mathcal F}_4(X_0, X_1, Y_0, Y_1)}\|\{F, G\}\|.$ Here $$\{F, G\}=\omega(\text{sgrad\,}G,\text{sgrad\,}F)$$, $$i_{\text{sgrad\,}F\omega}= -dF$$ is the Poisson bracket of two Hamiltonians $$F$$, $$G$$ and $$\| F\|= \max_{x\in M}|F(x)|$$. One has $${\mathcal F}_3\neq\emptyset$$ if $$X\cap Y\cap Z= \emptyset$$ (cf. §1, Fig.1); if $${\mathcal F}_3=\emptyset$$, the authors put $$pb_3=\infty$$.
In this paper, applications of these invariants to symplectic approximation (§1.3 and §3), Hamiltonian chord (§1.4 and §4), Lagrangian Floer theory (§1.7 and §5) and related topics together with examples are presented. Some of them are as follows:
Let $${\mathcal K}_s$$ be $$\{(H, K)\in{\mathcal F}: \|\{H,K\}\|\leq s\}$$. Then the profile function $$\rho_{F,G}:[0,\infty)\to\mathbb{R}$$ is defined by $\rho_{F,G}(s)= d((F,G),{\mathcal K}_s), \text{where}\;d((F,G),(H,K))=\| F-H\|+\| G-K\|$ (M. Entov, L. Polterovich and D. Rosen, Discrete Contin. Dyn. Syst. 28, No. 4, 1455–1468 (2010; Zbl 1200.53068)). The value $$\rho_{F,G}(0)$$ is responsible for the optimal uniform approximation of $$(F, G)$$ by a pair of Poisson-commuting functions. Let $${\mathcal F}^\flat_k$$ be the subclasses of $${\mathcal F}_k$$ consisting of all pairs $$(F,G)$$ such that at least one of the functions $$F$$, $$G$$ has its range in $$[0,1]$$ ($$k=3$$ or $$4$$). Let $$p$$ be $$pb_k$$, $$k= 3,4$$. Then if $$p=0$$, for every $$s>0$$, there exists $$(F,G)\in{\mathcal F}^\flat_k$$ with $$\rho_{F,G}(s)= 0$$. If $$p> 0$$, then for every $$(F,G)\in{\mathcal F}^\flat_k$$, $$\rho_{F,G}(s)$$ is continuous, $$\rho_{F,G}(0)={1\over 2}$$ and ${1\over 2}- {s\over 2\|\{F, G\}\|}\geq \rho_{F,G}(s),\quad s\in [0,\|\{F, G\}\|],$
$\rho_{F,G}(s)\geq {1\over 2}- {\sqrt{s}\over 2\sqrt{p}},\quad (F,G)\in{\mathcal F}^\flat_3,\;s> 0,$
$\rho_{F,G}(s)\geq {1\over 2}-{s\over 2p},\quad (F,G)\in{\mathcal F}^\flat_4,\;s> 0$ (Th.1.4. proved in §3.2).
Let $$g_t$$ be a Hamiltonian flow of a Hamiltonian $$G$$ such that $$g_Tx\in X_1$$ for some $$x\in X_0$$, then the curve $$\{g_tx\}_{t\in[0,T]}$$ is referred to as Hamiltonian chord of $$G$$. Let $$T(X_0, X_1; G)$$ be the minimal time-length of a Hamiltonian $$G$$ which connects $$X_0$$ and $$X_1$$ and let $T(X_0, X_1, Y_0, Y_1)= \sup\{T(X_0, X_1; G); g\in C^\infty_c(M), G|_{Y_0}\leq 0, G|_{Y_1}\geq 1\}.$ Then $$pb_4(X_0, X_1,Y_0, Y_1)= T(X_0, X_1,Y_0, Y_1)^{-1}$$ (Th.1.11. proved in §4.1).
Let $$M$$ be a closed connected symplectic manifold. A functional $$\zeta: C(M)\to\mathbb{R}$$ is said to be a symplectic quasi state, if $$\zeta(1)= 1$$, $$\zeta(F)\geq 0$$ if $$F\geq 0$$ and linear on every Poisson-commutative subspace of $$C(M)$$. A closed subset $$X$$ of $$M$$ is said to be superheavy with respect to $$\zeta$$ whenever $$\zeta(F)\geq c$$ for any $$F$$, $$F|_X\geq c$$. If there exists $$K>0$$ such that $|\zeta(F+G)- \zeta(F)- \zeta(G)|\leq\sqrt{K\|\{F,G\}\|},$ then $$\zeta$$ is said to satisfy the PB-inequality. Assuming that $$M$$ admits a symplectic quasi state $$\zeta$$ which satisfies the PB-inequality and applying results from M. Entov, I. Polterovich and F. Zapolsky [Pure Appl. Math. Q. 3, No. 4, 1037–1055 (2007; Zbl 1143.53070)], it is shown that if $$X$$, $$Y$$, $$Z$$ are a triple of superheavy closed sets with $$X\cap Y\cap Z= \emptyset$$, then $pb_3(X, Y,Z)\geq{1\over K}.$ If $$X_0$$, $$X_1$$, $$Y_0$$, $$Y_1$$ are a quadruple of closed subsets of $$M$$ such that $$X_0\cap X_1= Y_0\cap Y_1=\emptyset$$ and $$X_0\cup Y_0$$, $$Y_0\cup X_1$$, $$X_1\cup Y_1$$, $$Y_1\cup X_0$$ are all superheavy, then $pb_4(X_0, X_1, Y_0, Y_1)\geq {1\over 4k}.$ If $$X_0\cup Y_0$$, $$Y_0\cup X_1$$, $$Y_1$$ are all superheavy, then $pb_4(X_0, X_1, Y_0, Y_1)\geq {1\over K}$ (Th.1.15. proved in §1.5).
Let $${\mathcal L}= (L_0, L_1,\dots, L_{k-1})$$ be a collection of Lagrangian submanifolds in $$M$$ in general position, $${\mathcal T}_k$$ the set of homotopy classes of $$k$$-gons in $$M$$ whose sides lie in $$L_0,L_1,\dots, L_{k-1}$$, $$m(\alpha)$$ and $$\omega(\alpha)$$ are Maslov index and symplectic area of $$\alpha\in{\mathcal T}_k$$. Then $${\mathcal L}$$ is said to be of finite type if $A(L_0,\dots, L_{k-1}; N)= \sup\{\omega(\alpha): \alpha\in{\mathcal T}_k, m(\alpha)= N\}<+\infty,$ for all $$N\in\mathbb{Z}$$. Then, assuming the Lagrangian Floer homology $$HF(L_0,L_1)$$, etc. and the $$\mu^k$$-operations in the Donaldson-Fukaya category are well defined (for $$k=2$$ and $$k=3$$), the estimates $pb_3(L_0, L_1, L_2)\geq {1\over 2A(L_0, L_1, L_2; 2n)},$
$pb_4(L_0, L_1, L_2, L_3)\geq {1\over A(L_0, L_1, L_2, L_3; 3n-1)}$ hold (Th.1.27, Th.1.30. The proof of Th.1.30 is given in §5.7. Review on Lagarangian Floer homology and the Donaldson-Fukaya $$\mu^k$$-operations are also given in §5. A sketch of the proof of Th.1.27 is given in §1.7 using deformation of the symplectic form studied in §1.6).
There are alternative sets $${\mathcal F}_k'$$ of $${\mathcal F}_k$$ to define $$pb_k$$; $pb_k(X_1,\dots, X_k)= \text{inf}_{(F,G)\in{\mathcal F}_k'}\|\{F, G\}\|$ ($$k=3,4$$. Prop. 1.3). This is useful in later discussions and proved in §2 together with other properties of $$pb_k$$. If $$M$$ is a symplectic surface with finite symplectic area, then there is a simplified formula of $$pb_4$$ (Th.1.20). This formula is simplified for $$M=S^2$$ (Prop.1.22). This is proved by using symplectic field theory in §6. In §7, a vanishing theorem for $$pb_4$$ in the case $$M=T^*S^1$$ is proved. In the last section, an attempt to define $$pb_N$$, $$N\geq 5$$ and some other problems are presented.

##### MSC:
 53D05 Symplectic manifolds (general theory) 37J05 Relations of dynamical systems with symplectic geometry and topology (MSC2010) 53D17 Poisson manifolds; Poisson groupoids and algebroids 53D40 Symplectic aspects of Floer homology and cohomology 53D12 Lagrangian submanifolds; Maslov index
Full Text:
##### References:
  Akveld M., Salamon D.: Loops of Lagrangian submanifolds and pseudo-holomorphic discs. Geom. Funct. Anal. 11, 609–650 (2001) · Zbl 1008.53062  Albers P., Frauenfelder U.: Floer homology for negative line bundles and Reeb chords in prequantization spaces. J. Mod. Dyn. 3, 407–456 (2009) · Zbl 1190.53083  Amorim, L.: PhD thesis, University of Wisconsin at Madison, in progress  Audin, M., Lalonde, F., Polterovich, L.: Symplectic rigidity: Lagrangian submanifolds. In: Audin, M., Lafontaine, J. (eds.), Holomorphic curves in symplectic geometry, Program Math, vol. 117, pp. 271–321. Birkhaüser, Basel (1994)  Bernard P.: The dynamics of pseudographs in convex Hamiltonian systems. J. Am. Math. Soc. 21, 615–669 (2008) · Zbl 1213.37089  Biran P., Cornea O.: Rigidity and uniruling for Lagrangian submanifolds. Geom. Topol. 13, 2881–2989 (2009) · Zbl 1180.53078  Biran P., Polterovich L., Salamon D.: Propagation in Hamiltonian dynamics and relative symplectic homology. Duke Math. J. 119, 65–118 (2003) · Zbl 1034.53089  Bourgeois F., Eliashberg Y., Hofer H., Wysocki K., Zehnder E.: Compactness results in symplectic field theory. Geom. Topol. 7, 799–888 (2003) · Zbl 1131.53312  Buhovsky L.: The 2/3-convergence rate for the Poisson bracket. Geom. Funct. Anal. 19, 1620–1649 (2010) · Zbl 1187.53084  Cardin F., Viterbo C.: Commuting Hamiltonians and Hamilton-Jacobi multi-time equations. Duke Math. J. 144, 235–284 (2008) · Zbl 1153.37029  De Silva, V.: Products in the symplectic Floer homology of Lagrangian intersections. PhD thesis, Oxford (1998)  Eliashberg, Y., Givental, A., Hofer, H.: Introduction to symplectic field theory, GAFA 2000 (Tel Aviv, 1999). Geom. Funct. Anal. Special Volume, Part II, 560–673 (2000) · Zbl 0989.81114  Entov M., Polterovich L.: Quasi-states and symplectic intersections. Commun. Math. Helv. 81, 75–99 (2006) · Zbl 1096.53052  Entov, M., Polterovich, L.: Symplectic quasi-states and semi-simplicity of quantum homology. In: Harada, M., Karshon, Y., Masuda, M., Panov, T. (eds.) Toric Topology. Contemporary Mathematics, vol. 460, pp. 47–70. AMS, Providence, RI (2008) · Zbl 1146.53066  Entov M., Polterovich L.: Rigid subsets of symplectic manifolds. Compositio Mathematica 145, 773–826 (2009) · Zbl 1230.53080  Entov, M., Polterovich, L.: C 0-rigidity of Poisson brackets. In: Fathi, A. Oh, Y.-G., Viterbo, C. (eds.) Proceedings of the Joint Summer Research Conference on Symplectic Topology and Measure-Preserving Dynamical Systems. Contemporary Mathematics vol. 512, pp. 25–32. AMS, Providence, RI (2010) · Zbl 1197.53115  Entov, M., Polterovich, L.: C 0-rigidity of the double Poisson bracket. Int. Math. Res. Notices. vol 2009, pp. 1134–1158 (2009) · Zbl 1163.53049  Entov M., Polterovich L., Rosen D.: Poisson brackets, quasi-states and symplectic integrators. Discrete Continuous Dyn. Syst. 28, 1455–1468 (2010) · Zbl 1200.53068  Entov M., Polterovich L., Zapolsky F.: Quasi-morphisms and the Poisson bracket. Pure Appl. Math. Q. 3, 1037–1055 (2007) · Zbl 1143.53070  Floer A.: The unregularized gradient flow of the symplectic action. Commun. Pure Appl. Math. 41, 775–813 (1988) · Zbl 0633.53058  Floer A.: Morse theory for Lagrangian intersections. J. Diff. Geom. 28, 513–547 (1988) · Zbl 0674.57027  Fukaya K., Oh Y.-G.: Zero-loop open strings in the cotangent bundle and Morse homotopy. Asian J. Math. 1, 96–180 (1997) · Zbl 0938.32009  Fukaya, K., Oh, Y.-G., Ohta, H., Ono, K.: Lagrangian intersection Floer theory: anomaly and obstruction. Parts I, II. AMS, Providence, RI; International Press, Somerville, MA (2009) · Zbl 1181.53003  Gatien D., Lalonde F.: Holomorphic cylinders with Lagrangian boundaries and Hamiltonian dynamics. Duke Math. J. 102, 485–511 (2000) · Zbl 0966.37031  Gromov M.: Pseudoholomorphic curves in symplectic manifolds. Invent. Math. 82, 307–347 (1985) · Zbl 0592.53025  Hastings M.B.: Making almost commuting matrices commute. Commun. Math. Phys. 291, 321–345 (2009) · Zbl 1189.15018  Hofer, H., Zehnder, E.: A new capacity for symplectic manifolds. In: Analysis, et cetera, pp. 405–427. Academic Press, Boston, MA (1990) · Zbl 0702.58021  Ivancevic V.G., Ivancevic T.T.: Applied differential geometry. A modern introduction. World Scientific, Hackensack (2007) · Zbl 1126.53001  Kaloshin V., Levi M.: An example of Arnold diffusion for near-integrable Hamiltonians. Bull. Am. Math. Soc. (N.S.) 45, 409–427 (2008) · Zbl 1141.70009  Loday, J.-L.: The diagonal of the Stasheff polytope. In: Higher structures in geometry and physics, pp. 269–292. Birkhaüser, Boston (2011) · Zbl 1220.18007  Merry, W.: Lagrangian Rabinowitz Floer homology and twisted cotangent bundles, preprint, arXiv:1010.4190 (2010)  Moser J.: On the volume elements on a manifold. Trans. Am. Math. Soc. 120, 288–294 (1965) · Zbl 0141.19407  Nijmeijer H., van der Schaft A.: Nonlinear dynamical control systems. Springer, New York (1990) · Zbl 0701.93001  Ostrover Y.: Calabi quasi-morphisms for some non-monotone symplectic manifolds. Algebr. Geom. Topol. 6, 405–434 (2006) · Zbl 1114.53070  Pearcy C., Shields A.: Almost commuting matrices. J. Funct. Anal. 33, 332–338 (1979) · Zbl 0425.15003  Pontryagin L.S., Boltyanskii V.G., Gamkrelidze R.V., Mishchenko E.F.: The Mathematical Theory of Optimal Processes, A Pergamon Press Book. The Macmillan Co., New York (1964) · Zbl 0117.31702  Seidel P.: A long exact sequence for symplectic Floer cohomology. Topology 42, 1003–1063 (2003) · Zbl 1032.57035  Seidel P.: Fukaya Categories and Picard-Lefschetz Theory. European Mathematical Society (EMS), Zürich (2008) · Zbl 1159.53001  Smith, I.: Floer cohomology and pencils of quadrics. Preprint, arXiv:1006.1099, version 1, 2010 · Zbl 1255.14032  Smith, I.: Private communication, July 2010  Usher M.: Duality in filtered Floer-Novikov complexes. J. Topol. Anal. 2, 233–258 (2010) · Zbl 1196.53051  Usher M.: Deformed Hamiltonian Floer theory, capacity estimates, and Calabi quasimorphisms. Geom. Topol. 15, 1313–1417 (2011) · Zbl 1223.53063  Viterbo C.: Intersection de sous-variétés lagrangiennes, fonctionnelles d’action et indice des systèmes hamiltoniens. Bull. Soc. Math. France 115, 361–390 (1987) · Zbl 0639.58018  Zapolsky F.: Quasi-states and the Poisson bracket on surfaces. J. Modern Dyn. 1, 465–475 (2007) · Zbl 1131.53046  Zapolsky F.: On almost Poisson commutativity in dimension two. Electron. Res. Announc. Math. Sci. 17, 155–160 (2010) · Zbl 1208.53087
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.