HEXAGONbeta

Finite Truncated Lattice-Length Data on Three-Dimensional Flat Tori

Primarily human-written textHuman understanding: all partsmath.MG — Metric Geometry

Contributed by Changxia Lin ↗

Version 1 / Oct 26, 2026 / CC BY 4.0

Abstract

We study what finite truncations of the lattice-length multiset can determine about a three-dimensional flat torus. For a full-rank lattice \Lambda \subset \mathbb{R}^3, let \lambda_1(\Lambda) \leq \lambda_2(\Lambda) \leq \lambda_3(\Lambda) be its successive minima, and let \mathcal{L}_T(\Lambda) record the lengths of all nonzero lattice vectors of norm at most T, counted with vector multiplicity. First, on the class defined by \lambda_1 = a and \lambda_2 > T, we prove an exact volume classification: the set of possible covolumes is (F(a,T), \infty), where F(a,T) = \frac{aT}{2}\sqrt{3T^2 - a^2}. The lower bound uses Oppenheim's classical determinant-minimization theorem for Minkowski-reduced ternary forms; an explicit perturbed basis proves every larger volume is attained. Second, we give a pair of positive-definite Gram matrices with equal diagonal entries and matching two-coordinate data but different determinants. This yields a quantitative obstruction to uniform finite identification and gives the lower bound \sqrt{3} for the worst-case identification-radius constant. Schiemann's finite theta-series determination theorem supplies the complementary upper bound \sqrt{7/2} after conversion from squared lengths to radii. We also record a cubic sign-product identity for the eight signed basis vectors and explain its limitations. All contributions are separated from classical inputs, and the possible optimality of the constant \sqrt{3} and the broader topological question are left open.

References

  1. E. S. Barnes, ``On Minkowski's fundamental inequality for reduced positive quadratic forms (I),'' Journal of the Australian Mathematical Society, Series A , 26 (1978), 46--52.
  2. E. S. Barnes and D. W. Trenerry, ``The minimum determinant of Minkowski-reduced quinary quadratic forms,'' Journal of the Australian Mathematical Society, Series A , 32(3) (1982), 405--411. DOI: 10.1017/S1446788700024964 (https://doi.org/10.1017/S1446788700024964). Although the paper concerns quinary forms, its introduction explicitly records Oppenheim's exact ternary minimum-determinant formula.DOI
  3. J. W. S. Cassels, An Introduction to the Geometry of Numbers , Classics in Mathematics, Springer, Berlin, 1997; reprint of the 1959 edition.
  4. L. S. Charlap, Bieberbach Groups and Flat Manifolds , Universitext, Springer-Verlag, New York, 1986. DOI: 10.1007/978-1-4613-8687-2 (https://doi.org/10.1007/978-1-4613-8687-2).DOI
  5. J. H. Conway and N. J. A. Sloane, Sphere Packings, Lattices and Groups , 3rd ed., Grundlehren der mathematischen Wissenschaften 290, Springer, New York, 1999.
  6. P. M. Gruber and C. G. Lekkerkerker, Geometry of Numbers , 2nd ed., North-Holland Mathematical Library 37, North-Holland, Amsterdam, 1987.
  7. K. Mahler, ``On reduced positive definite ternary quadratic forms,'' Journal of the London Mathematical Society , 15 (1940), 193--195.
  8. J. Martinet, Perfect Lattices in Euclidean Spaces , Grundlehren der mathematischen Wissenschaften 327, Springer, Berlin, 2003.
  9. J. Milnor, ``Eigenvalues of the Laplace operator on certain manifolds,'' Proceedings of the National Academy of Sciences of the United States of America , 51(4) (1964), 542. DOI: 10.1073/pnas.51.4.542 (https://doi.org/10.1073/pnas.51.4.542).DOI
  10. A. Oppenheim, ``A positive definite quadratic form as the sum of two positive definite quadratic forms (I),'' Journal of the London Mathematical Society , 21 (1946), 252--257. DOI: 10.1112/jlms/s1-21.4.252 (https://doi.org/10.1112/jlms/s1-21.4.252).DOI
Show all 14 referencesShow fewer references
  1. A. Oppenheim, ``One-sided inequalities for quadratic forms. I. Ternary forms,'' Proceedings of the London Mathematical Society , Series 3, 3(1) (1953), 328--337. DOI: 10.1112/plms/s3-3.1.328 (https://doi.org/10.1112/plms/s3-3.1.328).DOI
  2. A. Schiemann, ``Ternary positive definite quadratic forms are determined by their theta series,'' Mathematische Annalen , 308(3) (1997), 507--517. DOI: 10.1007/s002080050086 (https://doi.org/10.1007/s002080050086).DOI
  3. B. L. van der Waerden, ``Die Reduktionstheorie der positiven quadratischen Formen,'' Acta Mathematica , 96 (1956), 265--309.
  4. J. A. Wolf, Spaces of Constant Curvature , 6th ed., AMS Chelsea Publishing, Providence, RI, 2011.

Version history

  1. v1Submitted by Changxia LinInitial depositCurrentOct 26, 2026