Abstract:In 1977, Lenstra provided a criterion for norm-Euclideanity of number fields and noted that this criterion becomes ineffective for number fields of large enough degrees under the Generalised Riemann Hypothesis (GRH) for the Dedekind zeta-functions. In the first part of the paper, we provide an explicit version of this statement: the Lenstra criterion becomes ineffective under GRH for all number fields $K$ of degrees $n \geq 62238$. This follows from combining the criterion assumption with the explicit lower bound for the discriminant of $K$ under GRH, and the (trivial) upper bound for the minimal proper ideal norm in $\mathcal{O}_K$. Unconditionally, the lower bound for the discriminant is too weak to lead to such a contradiction. However, GRH can be replaced by another condition on the Dedekind zeta functions $\zeta_K$, a (potential) lower bound for $\zeta_K$ at a point on the right of $s = 1$. This condition combined with Zimmert's approach imply stronger upper bounds for the minimal proper ideal norm and again, contradicts to Lenstra's criterion for all $n$ large enough. The advantage of the new potential condition on $\zeta_K$ is that it can be computationally checked for number fields of not too large degrees.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is the validity of norm - Euclideanity in number fields, especially whether the Lenstra criterion is still valid for high - degree number fields under the Generalised Riemann Hypothesis (GRH). Specifically: 1. **Validity of the Lenstra criterion**: Lenstra proposed a criterion for determining whether a number field is norm - Euclidean in 1977. However, he pointed out that under GRH, for a sufficiently large degree $n$, this criterion becomes invalid. By combining the criterion hypothesis with the lower bound of the discriminant under GRH and the upper bound of the ideal minimum norm, this paper gives an explicit result: for all number fields $K$ with degree $n\geq62238$, the Lenstra criterion fails under GRH. 2. **Lower bound of the discriminant in the unconditional case**: The unconditional lower bound of the discriminant is too weak to draw a similar contradictory conclusion. However, a (potential) lower bound of the Dedekind zeta function $\zeta_K(s)$ at the point $s > 1$ can be used to replace the GRH condition, which can derive a stricter upper bound of the ideal minimum norm and again be in contradiction with the Lenstra criterion. 3. **Application of the new condition**: The advantage of the new potential condition $\zeta_K$ is that it can be computationally verified for number fields with not particularly large degrees, thus providing a new method to study norm - Euclideanity. 4. **Specific results**: - Theorem 1.2 shows that under the GRH hypothesis, for all number fields $K$ with degree $n\geq62238$, the Lenstra criterion fails. - Theorem 1.3 further explores that under certain conditions, almost all number field sequences $(K_m)_{m\in\mathbb{N}}$ will make the Lenstra criterion fail. In summary, the main purpose of this paper is to explore and clarify the validity limitations of the Lenstra criterion in high - degree number fields, and propose new conditions and methods to improve the research in this area.

On Lenstra's criterion for norm-Euclideanity of number fields and properties of Dedekind zeta-functions

Integrality of the higher Rademacher symbols

Quantitative upper bounds related to an isogeny criterion for elliptic curves

On Littlewood's estimate for the modulus of the zeta function on the critical line

Moments of non-normal number fields -- II

Explicit upper bounds on the average of Euler-Kronecker constants of narrow ray class fields

The $1$-Level Density for Zeros of Hecke $L$-Functions of Imaginary Quadratic Number Fields of Class Number $1$

Mean values related to the Dedekind zeta-function

A note on simple zeros related to Dedekind zeta functions

On a theorem of Bertolini-Darmon about rationality of Stark-Heegner points over genus fields of real quadratic fields

Polynomials represented by norm forms via the beta sieve

Harder's denominator problem for $\mathrm{SL}_2(\mathbb{Z})$ and its applications

A modular relation involving non-trivial zeros of the Dedekind zeta function, and the generalized Riemann hypothesis

A number field analogue of Weil's theorem on congruent zeta functions

Eisenstein integers and equilateral ideal triangles

Primitive normal Values of rational functions with one prescribed norm and trace over finite fields

Number of prime ideals in short intervals

Extreme values of the Dedekind zeta function on the critical line

On the irrationality of certain [math]-adic zeta values

A Remark on K-2 of the Rings of Integers of Totally Real Number Fields