Source author record

Hanson Smith

Hanson Smith appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

5works
2topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

5 published item(s)

preprint2022arXiv

The Scheme of Monogenic Generators I: Representability

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 $θ\in B$ over $A$? In this paper, we show there is a scheme $\mathcal{M}_{B/A}$ parameterizing the choice of a generator $θ\in B$, a "moduli space" of generators. This scheme relates naturally to Hilbert schemes and configuration spaces. We give explicit equations and ample examples.

preprint2021arXiv

Monogenic fields arising from trinomials

We call a polynomial monogenic if a root $θ$ has the property that $\mathbb{Z}[θ]$ is the full ring of integers in $\mathbb{Q}(θ)$. Consider the two families of trinomials $x^n + ax + b$ and $x^n + cx^{n-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.

preprint2020arXiv

Non-monogenic Division Fields of Elliptic Curves

For various positive integers $n$, we show the existence of infinite families of elliptic curves over $\mathbb{Q}$ with $n$-division fields, $\mathbb{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/\mathbb{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.

preprint2020arXiv

The Monogeneity of Kummer Extensions and Radical Extensions

We give necessary and sufficient conditions for the Kummer extension $K:=\mathbb{Q}\left(ζ_n,\sqrt[n]α\right)$ to be monogenic over $\mathbb{Q}(ζ_n)$ with $\sqrt[n]α$ as a generator, i.e., for $\mathcal{O}_K=\mathbb{Z}\left[ζ_n\right]\left[\sqrt[n]α\right]$. We generalize these ideas to radical extensions of an arbitrary number field $L$ and provide necessary and sufficient conditions for $\sqrt[n]α$ to generate a power $\mathcal{O}_L$-basis for $\mathcal{O}_{L\left(\sqrt[n]α\right)}$. We also give sufficient conditions for $K$ to be non-monogenic over $\mathbb{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.