Derived categories and the analytic approach to general reciprocity laws. II.
Tout entier algébrique irrationnel a deux conjugués éloignés d’au moins .
Let be any integer and fix an odd prime . Let denote the -fold composition of the Chebyshev polynomial of degree shifted by . If this polynomial is irreducible, let , where is a root of . We use a theorem of Dedekind in conjunction with previous results of the author to give conditions on that ensure is monogenic. For other values of , we apply a result of Guàrdia, Montes, and Nart to obtain a formula for the discriminant of and compute an integral basis for the ring of integers...
We prove that Hilbert’s Tenth Problem for a ring of integers in a number field has a negative answer if satisfies two arithmetical conditions (existence of a so-called division-ample set of integers and of an elliptic curve of rank one over ). We relate division-ample sets to arithmetic of abelian varieties.