Legendrian persistance modules and dynamics
Chekanov-Eliashberg algebracontact interlinkingHamiltonian chordshomologically bonded pairsLegendrian cobordismsLegendrian contact homologypersistence modulePoisson bracketssymplectic Hamiltonians
Relations of finite-dimensional Hamiltonian and Lagrangian systems with topology, geometry and differential geometry (symplectic geometry, Poisson geometry, etc.) (37J39) Contact systems (37J55) Contact manifolds (general theory) (53D10) Poisson manifolds; Poisson groupoids and algebroids (53D17) Symplectic field theory; contact homology (53D42) Symplectic and contact topology in high or arbitrary dimension (57R17)
From the authors' abstract: ``We relate the machinery of persistence modules to the Legendrian contact homology theory and to Poisson bracket invariants, and use it to show the existence of connecting trajectories of contact and symplectic Hamiltonian flows.\N\NLet \((M,\omega)\) be a connected symletctic manifold. The symplectic gradient \(\mathrm{sgrad}\,H\) of a Hamiltonian \(H\) is defined via \(i_{\mathrm{sgrad}\, H}\omega=-dH\), and the Poisson bracket of two Hamiltonians \(F,G\) is given by \[\{F,G\}:=\omega(\mathrm{sgrad}\,G,\mathrm{sgrad}\,F)=dF(\mathrm{sgrad}\,G)=-dG(\mathrm{sgrad}\,F)=L_{\mathrm{sgrad}\,G}F=-L_{\mathrm{sgrad}\,F}G.\] Assume \(X_0,X_1,Y_0,Y_1\) are closed subsets of \(M\) such that \(X_0\cap X_1=Y_0\cap Y_1=\emptyset\). Such a collection of sets is called an admissible quadruple. For a pair \((F,G)\in C^\infty(M)\times C^\infty(M)\) and an admissible quadruple the authors prove four propositions (``Monotonicity, ``Semi-continuity, Prop. 2.6 and 2.7). Let \(\mathbb{I}:=(a,+\infty)\). A persistence module over \(\mathbb{I}\) is given by a pair \[(V=\{V_t\}_{t\in \mathbb{I}},\pi =\{\pi_{s.t}\in \mathbb{I },s\leq t\}),\] where all \(V_t,t\in \mathbb{I}\), are finite-dimensional \(\mathbb{Z}_2\)-vector space and \(\pi_{s,t}:V_s\rightarrow V_t\) are linear maps, so that:\N\begin{itemize}\N\item[(i)] (Persistence) \(\pi_{t,t}=Id, \pi_{s,r}=\pi_{t,r}\circ \pi{s,t}\), for \(s,t,r\in I,s\leq t\leq r\).\N\item[(ii)] (Discrete spectrum and semi-continuity). There exists a (finite or countable) discrete closed set of points\N\(\mathrm{spec}(V)=\{l_{\min}(V):=t_0<t_1<t_2<...<+\infty\}\subset \mathbb{I}\), called the spectrum of \(V\), so that\N\begin{itemize}\N\item[--] for any \(r\in \mathbb{I}\backslash \mathrm{spec}(V)\) , there exists a neughborhood \(U\) of \(r\in \mathbb{I}\) such that \(\pi_{s,t}\) is an isomorphism for all \(s,t\in U, s\leq t\);\N\item[--] for any \(r\in \mathrm{spec}(V)\), there exists \(\epsilon >0\) , such that \(\pi_{s,t}\) is an isomorphism of vector spaces for all \(s,t\in (r-\epsilon,r]\cap \mathbb{I}\).\N\end{itemize}\N\item[(iii)] (Semi-bounded support) For the smallest element \(l_{\min}:=t_0\) of \(\mathrm{spec}(V)\), one has \(l_{\min}(V)>a\) and \(V_t=0\) for all \(t\leq l_{\min}(V)\).\N\end{itemize}\NIn Section 3 the main result is the following.\N\NTheorem 3.4. For every persistence module \((V,\pi)\) over \(\mathbb{I}\) , there exists a unique (finite or countable) collection of intervals \(\mathbb{J}_j\subset \mathbb{I}\) - where intervals may not be distinct, but each interval appears in the collection only finitely many times - so that \((V,\pi)\) is isomorphic to \(\bigoplus_jQ(\mathbb{J}_j)\).\N\NThe collection \(\mathbb{J}_j\) of intervals is called the barcode of \(V\). The intervals are called the bars of \(V\).\N\NThe barcode of the trivial persistence module is empty. Set \(V_\infty=(\mathbb{Z}_2)^k\), where \(k\in \mathbb{N}\cup \{0,+\infty\}\) are the infinite bars in the barcode of \(V\). Other examples are also given.\N\NAnother method used in the article is a variant of a homology theory called Legendrian contact homology for which the authors cite papers of \textit{Y. Eliasberg}, \textit{M. Gromov}, \textit{Y. Chekanov}, and some papers by the authors themselves in preprint or in preparation. The statements of the theorems related to this theory (Theorems 4.9 and 4.10) are difficult to reproduce in this review. Section 5 entitled ``Applications to contact dynamics as well as the last two sections require their reading by specialists or well anchored in the field.\N\NFor the entire collection see [Zbl 1515.53004].
- A homotopical viewpoint at the Poisson bracket invariants for tuples of sets
- An energy-capacity inequality for Legendrian submanifolds
- An Introduction to Contact Topology
- An Urysohn-type theorem under a dynamical constraint
- Autonomous Hamiltonian flows, Hofer's geometry and persistence modules
- Compactness results in symplectic field theory
- Computational topology. An introduction
- Computing persistent homology
- Contact homology and virtual fundamental cycles
- Convexité en topologie de contact. (Convexity in contact topology)
- Corrections and Supplementaries to My Paper concerning Krull-Remak-Schmidt’s Theorem
- Decomposition of Graded Modules
- Decomposition of pointwise finite-dimensional persistence modules.
- Differential algebra of Legendrian links
- Holomorphic curves in symplectic geometry
- scientific article; zbMATH DE number 1643843 (Why is no real title available?)
- scientific article; zbMATH DE number 18774 (Why is no real title available?)
- scientific article; zbMATH DE number 3498090 (Why is no real title available?)
- scientific article; zbMATH DE number 638756 (Why is no real title available?)
- scientific article; zbMATH DE number 732198 (Why is no real title available?)
- scientific article; zbMATH DE number 194356 (Why is no real title available?)
- Invariants in contact topology
- Isotopies of Legendrian 1-knots and Legendrian 2-tori
- Lagrangian tetragons and instabilities in Hamiltonian dynamics
- Legendrian contact homology in 𝑃×ℝ
- Legendrian knots and exact Lagrangian cobordisms
- Legendrian persistence modules and dynamics
- Lifting pseudo-holomorphic polygons to the symplectisation of \(P \times \mathbb{R}\) and applications
- Morse theory for Lagrangian intersections
- Non-negative Legendrian isotopy in \(ST^{\ast}M\)
- On the Volume Elements on a Manifold
- Persistence theory. From quiver representations to data analysis
- Poisson brackets and symplectic invariants
- Positive Isotopies of Legendrian Submanifolds and Applications
- Positive Legendrian isotopies and Floer theory
- Rational symplectic field theory over \(\mathbb Z_{2}\) for exact Lagrangian cobordisms
- Representation Theory of Artin Algebras II
- The persistence of the Chekanov-Eliashberg algebra
- The structure and stability of persistence modules
- Topological persistence in geometry and analysis
- Unzerlegbare Darstellungen. I. (Indecomposable representations. I)
This page was built for publication: Legendrian persistance modules and dynamics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6601741)
