Linear equations and heights over division algebras
type: Item
instance of: scholarly article
title: Linear equations and heights over division algebras
zbMATH Open document ID: 1055.11042
author: Christine Liebendörfer
published in: Journal of Number Theory
publication date: 2004-08-06T00:00:00Z
review text: In 1983, \textit{E. Bombieri} and \textit{J. Vaaler} proved a version of Siegel's Lemma for systems of linear equations to be solved in vectors whose coordinates lie in the ring of integers of a given algebraic number field [Invent. Math. 73, 11--32 (1983; Zbl 0533.10030)]. In the present paper, the author suggests to prove a similar result for vectors whose coordinates lie in a given maximal order of a given division algebra \(D\) over \(\mathbb{Q}\), and in fact she obtains such a result in case that \(D\) is a positive definite quaternion algebra over \(\mathbb{Q}\), i.e., \(D=\binom {a~b}{\mathbb{Q}}\) with \(a,b\in\mathbb{Q}_{<0}\). Given a maximal order \({\mathcal O}\) of \(D\), the author introduces norms \(\| X\| \) for vectors \(X\in{\mathcal O}^N\) and heights \(H^{{\mathcal O}}(A)\) for \(M\times N\)-matrices \(A\) with entries in \(D\) where \(M<N\) which are natural analogues of norms and heights used by Bombieri and Vaaler. Here a maximal order of \(D\) is not uniquely determined and so the height depends on \({\mathcal O}\). Then the author's version of Siegel's Lemma is as follows: Let \({\mathcal O}\) be any maximal order of \(D\), and \(A\) and \(M\times N\)-matrix with entries in \(D\), where \(N>M>0\) and \(A\) has left row rank \(M\). Then there exist right-linearly independent vectors \(X_1,\ldots ,X_{N-M}\in {\mathcal O}^N\) satisfying \(AX_i=0\) for \(i=1,\ldots ,N-M\) and \[ \prod_{i=1}^{N-M}\| X_i\| \leq \Big( {2\over\pi^2}\sqrt{\Delta_D}\Big)^{(N-M)/4}H^{{\mathcal O}}(A), \tag \(*\) \] where \(\Delta_D\) is the discriminant of \(D\). The author's proof is based on an argument by \textit{J. L. Thunder} [Number theory for the millennium III. Proceedings of the millennial conference on number theory, Urbana-Champaign, IL, USA, May 21--26, 2000. Natick, MA: A K Peters, 253--259 (2002; Zbl 1042.11044)]. Thus, unlike Bombieri and Vaaler who used geometry of numbers over the adeles, the author deduces her result directly from Minkowski's second …
reviewed by: Jan-Hendrik Evertse
Mathematics Subject Classification ID: 11G50
Mathematics Subject Classification ID: 11D04
Mathematics Subject Classification ID: 16K20
zbMATH DE Number: 2082497
zbMATH Keywords: heights
zbMATH Keywords: division algebras
zbMATH Keywords: quaternion algebras
zbMATH Keywords: Siegel's Lemma
MaRDI profile type: Publication
full work available at URL: j.jnt.2003.09.003
OpenAlex ID: W1999347284
cites work: Q5775371
cites work: Q3241211
cites work: On Siegel's lemma
cites work: Q5521595
cites work: Rational points of bounded height on Fano varieties
cites work: Q5287502
cites work: A note on Siegel's lemma
cites work: Q3961610
cites work: Q4061092
cites work: A note on Siegel's lemma over number fields
cites work: On heights of algebraic subspaces and diophantine approximations
cites work: Diophantine approximations and diophantine equations
cites work: A Gelfand-Beurling type formula for heights on endomorphism rings
cites work: An adelic Minkowski-Hlawka theorem and an application to Siegel's lemma.
cites work: Q4431822
cites work: A geometric inequality with applications to linear forms
cites work: Arithmétique des algèbres de quaternions
DOI: 10.1016/J.JNT.2003.09.003
description: scientific article; zbMATH DE number 2082497