<p>In this paper, on the one hand, we prove that for <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3722_Article_IEq3.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="TEX">\(n \ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> any subbundle of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3722_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="39" /> </InlineMediaObject> <EquationSource Format="TEX">\(T^*\mathbb {T}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>T</mi> <mo>∗</mo> </msup> <msup> <mrow> <mi mathvariant="double-struck">T</mi> </mrow> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> with bounded fibers symplectically embeds into a trivial subbundle of <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3722_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="39" /> </InlineMediaObject> <EquationSource Format="TEX">\(T^*\mathbb {T}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>T</mi> <mo>∗</mo> </msup> <msup> <mrow> <mi mathvariant="double-struck">T</mi> </mrow> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> where the fiber is an irrational cylinder. This not only resolves an open problem in Gong and Xue (Nonlinearity 33:6297–6348, 2020) (which was stated for the 4-dimension case, that is, <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3722_Article_IEq6.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(n =2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>) and also generalizes to any higher-dimensional situation. The proof is based on some version of Dirichlet’s approximation theorem. On the other hand, we generalize a main result in Gong and Xue (Nonlinearity 33:6297–6348, 2020), showing that any <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3722_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="48" /> </InlineMediaObject> <EquationSource Format="TEX">\({\widetilde{\pi }}_1(M)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mover accent="true"> <mi>π</mi> <mo stretchy="true">~</mo> </mover> <mn>1</mn> </msub> <mrow> <mo stretchy="false">(</mo> <mi>M</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>-trivial Liouville diffeomorphism on <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3722_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\(T^*M\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>T</mi> <mo>∗</mo> </msup> <mi>M</mi> </mrow> </math></EquationSource> </InlineEquation> (for instance, a diffeomorphism induced by an isometry on <i>M</i>) does not change the full marked length spectrum of a Finsler metric <i>F</i> on <i>M</i>, up to a lifting of the Finsler metric <i>F</i> to the unit codisk bundle <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="209_2025_3722_Article_IEq9.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(D^*_FM\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>D</mi> <mi>F</mi> <mo>∗</mo> </msubsup> <mi>M</mi> </mrow> </math></EquationSource> </InlineEquation>. The proof is based on persistence module theory.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Notes on symplectic squeezing in \(T^*\mathbb {T}^n\) and spectra of Finsler dynamics

  • Qi Feng,
  • Jun Zhang

摘要

In this paper, on the one hand, we prove that for \(n \ge 2\) n 2 any subbundle of \(T^*\mathbb {T}^n\) T T n with bounded fibers symplectically embeds into a trivial subbundle of \(T^*\mathbb {T}^n\) T T n where the fiber is an irrational cylinder. This not only resolves an open problem in Gong and Xue (Nonlinearity 33:6297–6348, 2020) (which was stated for the 4-dimension case, that is, \(n =2\) n = 2 ) and also generalizes to any higher-dimensional situation. The proof is based on some version of Dirichlet’s approximation theorem. On the other hand, we generalize a main result in Gong and Xue (Nonlinearity 33:6297–6348, 2020), showing that any \({\widetilde{\pi }}_1(M)\) π ~ 1 ( M ) -trivial Liouville diffeomorphism on \(T^*M\) T M (for instance, a diffeomorphism induced by an isometry on M) does not change the full marked length spectrum of a Finsler metric F on M, up to a lifting of the Finsler metric F to the unit codisk bundle \(D^*_FM\) D F M . The proof is based on persistence module theory.