Counting algebraic integers of fixed degree and bounded height
type: Item
instance of: scholarly article
title: Counting algebraic integers of fixed degree and bounded height
zbMATH Open document ID: 1301.11057
author: Fabrizio Barroero
published in: Monatshefte für Mathematik
publication date: 2014-09-05T00:00:00Z
full work available at URL: https://arxiv.org/abs/1305.0482
review text: 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.
reviewed by: Roberto Dvornicich
Mathematics Subject Classification ID: 11G50
Mathematics Subject Classification ID: 11R04
zbMATH DE Number: 6340806
zbMATH Keywords: heights
zbMATH Keywords: algebraic integers
zbMATH Keywords: counting
MaRDI profile type: Publication
OpenAlex ID: W2031226907
arXiv ID: 1305.0482
cites work: Counting lattice points and O-minimal structures
cites work: Semianalytic and subanalytic sets
cites work: Q5719099
cites work: The distribution of values of Mahler's measure
cites work: On a Principle of Lipschitz
cites work: Q5793398
cites work: Q3309989
cites work: On the zeros of the derivative of a polynomial
cites work: Counting algebraic numbers with large height II
cites work: Q5516901
cites work: Heights in number fields
cites work: Northcott's theorem on heights. I: A general estimate
cites work: Northcott's theorem on heights II. The quadratic case
cites work: Counting points of fixed degree and bounded height
DOI: 10.1007/S00605-013-0599-6
Recommended article: Schanuel's theorem for heights defined via extension fields
Recommended article: Counting points of fixed degree and bounded height on linear varieties
Recommended article: Counting primitive points of bounded height
Recommended article: Counting the values taken by sums of \(S\)-units
Recommended article: Counting algebraic units with bounded height
Recommended article: Quick lower bounds for regulators of number fields
Recommended article: Counting points of bounded relative height
Recommended article: On the frequency of height values
Recommended article: Counting Algebraic Numbers with Large Height I
description: scientific article; zbMATH DE number 6340806