Abstract
Minkowski’s second theorem can be stated as an inequality for n-dimensional flat Finsler tori relating the volume and the minimal product of the lengths of closed geodesics which form a homology basis. In this paper we show how this fundamental result can be promoted to a principle holding for a larger class of Finsler manifolds. This includes manifolds for which first Betti number and dimension do no necessarily coincide, a prime example being the case of surfaces. This class of manifolds is described by a non-vanishing condition for the hyperdeterminant reduced modulo 2 of the multilinear map induced by the fundamental class of the manifold on its first \(\mathbb {Z}_2\)-cohomology group using the cup product.
Similar content being viewed by others
Notes
The notion of almost minimality is that \(Z_2\) is minimal for area among hypersurfaces in its cohomological class up to some chosen small additive constant. Because this constant can be fixed as small as wanted, the proof remains the same if we actually suppose that \(Z_2\) is minimal. We do so and refer the reader to the original proof in [6] for more details.
References
Alpert, H.: Macroscopic stability and simplicial norms of hypersurfaces. Commun. Anal. Geom. Preprint arXiv:1712.04545(to appear)
Álvarez Paiva, J.C., Balacheff, F., Tzanev, K.: Isosystolic inequalities for optical hypersurfaces. Adv. Math. 301, 934–972 (2016)
Babenko, I.: Asymptotic invariants of smooth manifolds. Izv. Ross. Akad. Nauk Ser. Mat. 56, 07–751 (1992) [translation in Russian Acad. Sci. Izv. Math. 41, 1–38 (1993)]
Babenko, I., Balacheff, F.: Sur la forme de la boule unité de la norme stable unidimensionnelle. Manuscr. Math. 119, 347–358 (2006)
Balacheff, F., Parlier, H., Sabourau, S.: Short loop decompositions of surfaces and the geometry of Jacobians. Geom. Funct. Anal. 22, 37–73 (2012)
Balacheff, F., Karam, S.: Length product of homologically independent loops for tori. J. Topol. Anal. 8, 497–500 (2016)
Bollobás, B., Szemerédi, E.: Girth of sparse graphs. J. Graph Theory 39, 194–200 (2002)
Bollobás, B., Thomason, A.: On the girth of Hamiltonian weakly pancyclic graphs. J. Graph Theory 26, 165–173 (1997)
Burago, D.: Periodic metrics. Adv. Sov. Math. 9, 205–210 (1992)
Buser, P.: Geometry and Spectra of Compact Riemann Surfaces. Reprint of the 1992 edition. Modern Birkhäuser Classics. Birkhäuser, Boston (2010)
Buser, P., Sarnak, P.: On the period matrix of a Riemann surface of large genus. With an appendix by J. H. Conway and N. J. A. Sloane. Invent. Math. 117, 27–56 (1994)
Cayley, A.: On the theory of linear transformations. Camb. Math. J. 4, 193–209 (1845) [reprinted in “Collected papers” 1, 80–94. Cambridge University Press, London (1889)]
Cerocchi, F., Sambusetti, A.: Quantitative bounded distance theorem and Margulis’ for \(Z^n\)-actions, with applications to homology. Groups Geom. Dyn. 10, 1227–1247 (2016)
Cramlet, C.M.: The derivation of algebraic invariants by tensor algebra. Bull. Am. Math. Soc. 34, 334–342 (1928)
Feller, W.: An Introduction to Probability Theory and Its Applications, vol. I, 2nd edn. Wiley, New York (1957)
Gelfand, I., Kapranov, M., Zelevinsky, A.: Hyperdeterminants. Adv. Math. 96, 226–263 (1992)
Gromov, M.: Systoles and intersystolic inequalities. Actes de la Table Ronde de Géométrie Différentielle, Collection SMF 1, 291–362 (1996)
Guth, L.: Systolic inequalities and minimal hypersurfaces. Geom. Funct. Anal. 19, 1688–1692 (2010)
Hatcher, A.: Algebraic Topology. Cambridge University Press, Cambridge (2002)
Keen, L.: An extremal length on a torus. J. Anal. Math. 19, 203–206 (1967)
Lubotzky, A., Phillips, R., Sarnak, P.: Ramanujan graphs. Combinatorica 8, 261–277 (1988)
Milnor, J.: Symmetric inner products in characteristic \(2\) Prospects in Mathematics (Proc. Sympos., Princeton Univ., Princeton, NJ, 1970), pp. 59–75
Weiss, A.: Girths of bipartite sextet graphs. Combinatorica 4, 241–245 (1984)
Acknowledgements
We are grateful to A. Abdesselam, I. Babenko, B. Kahn and J. Milnor for valuable exchanges. We are also indebted to J. Gutt whose proof of a symplectic analog of Minkowski’s first theorem (see Lemma 3.10) inspired a mechanism used in the proof of Theorem 2.5. Finally we would like to thank the referee for valuable comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by F. C. Marques.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Florent Balacheff acknowledges support from the European Social Fund and the Agencia Estatal de Investigación through the Ramón y Cajal grant RYC-2016-19334 “Local and global systolic geometry and topology”, as well as from the grant ANR-12-BS01-0009-02. Steve Karam acknowledges support from grant ANR CEMPI (ANR-11-LABX-0007-01). Hugo Parlier acknowledges support from the ANR/FNR project SoS, INTER/ANR/16/11554412/SoS, ANR-17-CE40-0033.
Rights and permissions
About this article
Cite this article
Balacheff, F., Karam, S. & Parlier, H. The minimal length product over homology bases of manifolds. Math. Ann. 380, 825–854 (2021). https://doi.org/10.1007/s00208-021-02150-5
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-021-02150-5