Oppenheim's algebraicity conjecture for linear forms

About 23 years old · traced to

Let n≥3n\geq 3, and let ⟨L1, ⋅ ⟩,…,⟨Ln, ⋅ ⟩\langle\mathbf{L}_1,\,\cdot\,\rangle,\dots,\langle\mathbf{L}_n,\,\cdot\,\rangle be nn linearly independent linear forms on Rn\mathbb{R}^n satisfying

inf⁡x∈Zn∖{0}∣⟨L1,x⟩…⟨Ln,x⟩∣>0.\inf_{\mathbf{x}\in\mathbb{Z}^n\setminus\{\boldsymbol{0}\}}\left|\langle\mathbf{L}_1,\mathbf{x}\rangle\dots\langle\mathbf{L}_n,\mathbf{x}\rangle\right|>0.

Oppenheim's conjecture. The lattice

{(⟨L1,x⟩,…,⟨Ln,x⟩)∣x∈Zn}\left\{(\langle\mathbf{L}_1,\mathbf{x}\rangle,\dots,\langle\mathbf{L}_n,\mathbf{x}\rangle)\mid\mathbf{x}\in\mathbb{Z}^n\right\}

is algebraic, meaning that it is similar, modulo the action of the group of diagonal n×nn\times n matrices, to the lattice of a complete module of a totally real algebraic number field of degree nn. The source presents this as a classical conjecture and states that it remains unproved.

References

Primary source

Oleg N. German and Evgeniy L. Lakshtanov, “On multidimensional generalization of the Lagrange theorem on continued fractions”, arXiv:math/0607084 (2008).

Additional references

2 papers in this index state this conjecture (2003–2006). The statement above is taken from the most recent of them; the others are arXiv:math/0310231.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.