Skip to main content
Log in

On the graph theorem for Lagrangian invariant tori with totally irrational invariant sets

  • Published:
manuscripta mathematica Aims and scope Submit manuscript

Abstract

We show that every \(C^{2}\) Lagrangian invariant torus W of a Tonelli Hamiltonian containing a uniformly continuous curve whose canonical projection has totally irrational homology is a graph, namely, the canonical projection restricted to W is a diffeomorphism. This result extends the graph property obtained by Bangert and Bialy–Polterovich for Lagrangian minimizing tori, invariant by the geodesic flow of a Riemannian metric in the 2-torus, without periodic orbits. Motivated by the famous Hedlund’s examples of Riemannian metrics in the n-torus with n closed, homology independent, minimizing geodesics having minimizing tunnels, we also show that Lagrangian, invariant tori with“large” homology (in the sense of Proposition 4.1) must be graphs. Moreover, we show the \(C^{1}\)-generic nonexistence of Lagrangian invariant tori with“large”homology.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Abouzaid, M.: A cotangent fiber generates the Fukaya category. Adv. Math. 228, 894–939 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  2. Amorim, L., Oh, Y.-G., Dos Santos, J.O.: Exact Lagrangian submanifolds, Lagrangian spectral invariants and Aubry–Mather theory. Math. Proc. Camb. Philos. Soc. 165(03), 411–434 (2018)

    Article  MathSciNet  MATH  Google Scholar 

  3. Arnaud, M.-C.: On a theorem due to Birkhoff. Geom. Funct. Anal. 20, 1307–1316 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  4. Arnold, V.I.: Mathematical Methods of Classical Mechanics. Graduate Texts in Mathematics, vol. 60. Springer, Berlin (2013)

    Google Scholar 

  5. Bangert, V.: Mather sets for twist maps and geodesics on tori. Dynamics reported 1, 1–56

  6. Contreras, G., Iurriaga, R., Paternain, G., Paternain, M.: Lagrangian graphs, minimizing measures and Man̄e’s critical values. Geom. Funct. Anal. 8(5), 788–809 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  7. Bernard, P., Dos Santos, J.O.: A geometric definition of the Mane–Mather set and a theorem of Marie-Claude Arnaud. Math. Proc. Camb. Philos. Soc. 152, 167–178 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  8. Bialy, M., Polterovich, L.: Geodesic flows on the two-dimensional torus and phase transitions,commensurability-incommensurability. Funct. Anal. Appl. 20, 260–266 (1986)

    Article  Google Scholar 

  9. Burago, D., Ivanov, S., Kleiner, B.: On the structure of the stable norm of periodic metrics. Math. Res. Lett. 4, 791–808 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  10. Dias Carneiro, M.J., Ruggiero, R.O.: On Birkhoff theorems for Lagrangian invariant tori with closed orbits. Manuscr. Math. 119, 411–432 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  11. Dias Carneiro, M.J., Ruggiero, R.O.: On the graph theorem for Lagrangian minimizing tori. Discrete Contin. Dyn. Syst. 38(12), 6029–6045 (2018)

    Article  MathSciNet  Google Scholar 

  12. Fathi, A.: Weak KAM theorem in Lagrangian dynamics. Preliminary version n. 10. (2008)

  13. Fukaya, K., Oh, Y.-G., Ohta, H., Ono, K.: Lagrangian Intersection Floer Theory Anomaly and Obstruction I, II. Studies in Advanced Mathematics, vol. 46. American Mathematical Society International Press (2009)

  14. Mañé, R.: Lagrangian flows: the dynamics of globally minimizing orbits. Bul. Braz. Math. Soc. 28, 141–153 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  15. Mather, J.: Action minimizing invariant measures for positive definite Lagrangian systems. Math. Zeitschrift 207, 169–207 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  16. Polterovich, L.: The second Birkhoff theorem for optical Hamiltonian systems. Proc. Am. Math. Soc. 113(2), 513–516 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  17. Ruggiero, R.: The set of smooth metrics in the torus without continuous invariant graphs is open and dense in the \(C^{1}\) topology. Bull. Braz. Math. Soc. 35(3), 377–385 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  18. Schwartzman, S.: Asymptotic cycles. Ann. Math. 66, 270–284 (1957)

    Article  MathSciNet  MATH  Google Scholar 

  19. Viterbo, C.: A new obstruction to embedding Lagrangian tori. Invent. Math. 100, 301–320 (1990)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Rafael O. Ruggiero.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Partially supported by PRONEX de Geometria, FAPERJ (Grant No. Pronex/E-26/010.001249/2016)

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Dias Carneiro, M.J., Ruggiero, R.O. On the graph theorem for Lagrangian invariant tori with totally irrational invariant sets. manuscripta math. 171, 423–436 (2023). https://doi.org/10.1007/s00229-022-01391-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00229-022-01391-1

Mathematics Subject Classification

Navigation