BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
This is the first in a series of two papers that study monogenicity of number rings from a moduli-theoretic perspective. Given an extension of algebras B/A, when is B generated by a single element θ∈B over A? In this paper, we show there is a scheme MB/A parameterizing the choice of a generator θ∈B, a "moduli space" of generators. This scheme relates naturally to Hilbert schemes and configuration spaces. We give explicit equations and ample examples.
We call a polynomial monogenic if a root θ has the property that Z[θ] is the full ring of integers in Q(θ). Consider the two families of trinomials xn+ax+b and xn+cxn−1+d. For any n>2, we show that these families are monogenic infinitely often and give some positive densities in terms of the coefficients. When n=5 or 6 and when a certain factor of the discriminant is square-free, we use the Montes algorithm to establish necessary and sufficient conditions for monogeneity, illuminating more general criteria given by Jakhar, Khanduja, and Sangwan using other methods. Along the way we remark on the equivalence of certain aspects of the Montes algorithm and Dedekind's index criterion.
We give a formula for divisors of modular units on X1(N) and use it to prove that the Q-gonality of the modular curve X1(N) is bounded above by [84011N2], where [∙] denotes the nearest integer.
For various positive integers n, we show the existence of infinite families of elliptic curves over Q with n-division fields, Q(E[n]), that are not monogenic, i.e., the ring of integers does not admit a power integral basis. We parametrize some of these families explicitly. Moreover, we show that every E/Q without CM has infinitely many non-monogenic division fields. Our main technique combines a global description of the Frobenius obtained by Duke and Tóth with a simple algorithm based on ideas of Dedekind.
We give necessary and sufficient conditions for the Kummer extension K:=Q(ζn,nα) to be monogenic over Q(ζn) with nα as a generator, i.e., for OK=Z[ζn][nα]. We generalize these ideas to radical extensions of an arbitrary number field L and provide necessary and sufficient conditions for nα to generate a power OL-basis for OL(nα). We also give sufficient conditions for K to be non-monogenic over Q and establish a general criterion relating ramification and relative monogeneity. Using this criterion, we find a necessary and sufficient condition for a relative cyclotomic extension of degree ϕ(n) to have ζn as a monogenic generator.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.