Sur un problème de dualité lié aux sphères en géométrie des nombres. (On a duality problem related to spheres in geometry of numbers)
type: Item
instance of: scholarly article
title: Sur un problème de dualité lié aux sphères en géométrie des nombres. (On a duality problem related to spheres in geometry of numbers)
zbMATH Open document ID: 0677.10022
DOI: 10.1016/0022-314X(89)90095-4
author: Anne-Marie Bergé
author: Jacques Martinet
published in: Journal of Number Theory
publication date: 1989-01-01T00:00:00Z
review text: Let L be a lattice in \({\mathbb{R}}^ n\) and \(L^*=\{y\in {\mathbb{R}}^ n:\) \(x\cdot y\) integer for all \(x\in L\}\) its dual lattice. Let \(\| L\| =\min \{\| x\|:\) \(x\in L\setminus \{0\}\}\) and \(S(L)=\{x\in L:\) \(\| x\| =\| L\| \}\). Call L dually extreme if among all lattices M sufficiently close to L the expression \(\| M \| \cdot\) \(\| M^*\|\) attains its maximum for \(M=L\). In order to define the concepts of dually perfect and dually eutactic lattices let End be the space of all real symmetric \(n\times n\)-matrices. For \(x\in {\mathbb{R}}^ n\) let \(\phi_ x\) be the linear form on End defined by \(\phi_ x(u)=x^{tr}ux\) for \(u\in End\). The lattice L is dually perfect if the linear forms \(\phi_ x: x\in S(L)\cup S(L^*)\) generate all linear forms on End. It is dually eutactic if there are positive numbers \(\rho_ x: x\in S(L)\), \(\rho_ y: y\in S(L^*)\) such that \(\sum \{\rho_ x\phi_ x: x\in S(L)\}=\sum \{\rho_ y\phi_ y: y\in S(L^*)\}.\) In the first part of this article the authors give some results on constants introduced by \textit{R. A. Rankin} [J. Lond. Math. Soc. 28, 309- 314 (1953; Zbl 0050.274)] and related to Hermite's constant. Then the following analogs of classical theorems due to Korkine and Zolotareff and Voronoi, respectively, are proved: (i) A lattice L is dually extreme if and only if the system of inequalities \(\phi_ x(u)\geq 0: x\in S(L)\), \(\phi_ y(u)\leq 0: y\in S(L^*)\) has only the trivial solution \(u=0\) in End. (ii) A lattice is dually extreme if and only if it is dually perfect and dually eutactic. In the final part of the paper classical lattices introduced by Korkine and Zolotareff, Coxeter, Barnes and others are investigated. For \(n\leq 4\) all dually extreme lattices are determined. (For additional references consult the reviewer and \textit{C. G. Lekkerkerker} [Geometry of Numbers (North-Holland (1987; Zbl 0611.10017 and Zbl 0198.380)].)
Mathematics Subject Classification ID: 11H55
Mathematics Subject Classification ID: 11H06
Mathematics Subject Classification ID: 11H60
zbMATH DE Number: 4108866
zbMATH Keywords: extreme lattice
zbMATH Keywords: extremal pairs of polar lattices
zbMATH Keywords: product of norms of minimal vectors
zbMATH Keywords: dual lattice
zbMATH Keywords: dually eutactic lattices
zbMATH Keywords: dually perfect
zbMATH Keywords: Hermite's constant
zbMATH Keywords: dually extreme lattices
reviewed by: Peter M. Gruber
MaRDI profile type: Publication
cites work: Note On Extreme Forms
cites work: Q3243376
cites work: The Perfect and Extreme Senary Forms
cites work: The construction of perfect and extreme forms I
cites work: The construction of perfect and extreme forms II
cites work: Criteria for extreme forms
cites work: The minimum values of positive quadratic forms in six, seven and eight variables
cites work: An Introduction to the Geometry of Numbers
cites work: THE ARITHMETIC MINIMA OF POSITIVE QUADRATIC FORMS (I)
cites work: Extreme Forms
cites work: An Extreme Duodenary Form
cites work: Q5620636
cites work: Notes on Sphere Packings
cites work: Q3686791
cites work: On Positive Definite Quadratic Forms
cites work: On perfect and extreme forms
cites work: The Construction of Perfect and Extreme Forms
cites work: The Enumeration of Perfect Septenary Forms
cites work: Q4096998
cites work: Ideale kleiner Norm in Idealklassen und eine Regulatorabschätzung
Recommended article: A set of dual-extreme lattices
Recommended article: Réseaux k -Extrêmes
Recommended article: Higher-dimensional analogs of Hermite's constant
Recommended article: Dual vectors and lower bounds for the nearest lattice point problem
Recommended article: Minimal vectors of pairs of dual lattices
Recommended article: A NEW INEQUALITY FOR THE HERMITE CONSTANTS
Recommended article: A survey on Voronoï's theorem
Recommended article: Successive minima and best simultaneous Diophantine approximations
Recommended article: Korkin-Zolotarev bases and successive minima of a lattice and its reciprocal lattice
Recommended article: An irrational dual-extreme form
description: scientific article; zbMATH DE number 4108866