Counting algebraic integers of fixed degree and bounded height (Q405731): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Import240304020342 (talk | contribs)
Set profile property.
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Revision as of 00:11, 5 March 2024

scientific article
Language Label Description Also known as
English
Counting algebraic integers of fixed degree and bounded height
scientific article

    Statements

    Counting algebraic integers of fixed degree and bounded height (English)
    0 references
    0 references
    5 September 2014
    0 references
    Let \(k\) be a number field and define, for positive integers \(n\) and \(e\), \[ k(n,e) = \{\boldsymbol{\beta}\in \overline{k}^n\, :\, [k(\boldsymbol{\beta}):k] = e\}. \] By a theorem of \textit{D. G. Northcott} [Proc. Camb. Philos. Soc. 45, 502--509, 510--518 (1949; Zbl 0035.30701)], any subset of \(k(n,e)\) of uniformly bounded height is finite. Let \(S\) be any subset of \(k(n,e)\) and \(H\) be the multiplicative Weil height. Asymptotic estimates for the counting function \[ N(S,{\mathcal H}) = |\{\boldsymbol{\beta}\in S\,:\, H(\boldsymbol{\beta}) \leq \mathcal H\}| \] have been found by Schanuel, Schmidt, Gao, Masser and Vaaler, Widmer for \(S=k(n,e)\) in many special cases. For \(S={\mathcal O}_k(n,e) := k(n,e)\cap{\mathcal O}_{\bar k}^n\), there are again results of Lang and Widmer for special cases and, in particular, there is a result of \textit{S. J. Chern} and \textit{J. D. Vaaler} [J. Reine Angew. Math. 540, 1--47 (2001; Zbl 0986.11017)] for the case \(S={\mathcal O}_{\mathbb Q}(1,e)\). The present paper is devoted to generalize the result of Chern and Vaaler [loc. cit.] to an arbitrary ground number field \(k\). Let \([k:{\mathbb Q}]=m=r+2s\), where \(r\) and \(2s\) are the number of real and complex embeddings of \(k\), respectively, and let \(q=r+s-1\). The main theorem states that \[ N({\mathcal O}_k(1,e),{\mathcal H}) = C_k^{(e)} {\mathcal H}^{me^2} (\log {\mathcal H})^{q-1} + \;\begin{cases} O({\mathcal H}^{me^2} (\log {\mathcal H})^{q-1}) & \text{if } q\geq 1, \\ O({\mathcal H}^{e(me-1)} {\mathcal L}) &\text{if } q=0, \end{cases} \] where \(C_k^{(e)}\) is an explicit constant and \({\mathcal L}= \log {\mathcal H}\) if \((m,e)=(1,2)\) and \({\mathcal L}=1\) otherwise.
    0 references
    heights
    0 references
    algebraic integers
    0 references
    counting
    0 references

    Identifiers