arXiv ScienceSearch

arXiv · 1508.02777

Rings of small rank over a Dedekind domain and their ideals

Abstract

In 2001, M. Bhargava stunned the mathematical world by extending Gauss's 200-year-old group law on integral binary quadratic forms, now familiar as the ideal class group of a quadratic ring, to yield group laws on a vast assortment of analogous objects. His method yields parametrizations of rings of degree up to 5 over the integers, as well as aspects of their ideal structure, and can be employed to yield statistical information about such rings and the associated number fields. In this paper, we extend a selection of Bhargava's most striking parametrizations to cases where the base ring is not Z but an arbitrary Dedekind domain R. We find that, once the ideal classes of R are properly included, we readily get bijections parametrizing quadratic, cubic, and quartic rings, as well as an analogue of the 2x2x2 cube law reinterpreting Gauss composition for which Bhargava is famous. We expect that our results will shed light on the analytic distribution of extensions of degree up to 4 of a fixed number field and their ideal structure.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Evan O'Dorney. 2020-12-14. Rings of small rank over a Dedekind domain and their ideals. https://doi.org/10.1186/s40687-016-0054-0

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

On the factorisation of the $p$-adic Rankin-Selberg $L$-function in the supersingular case

Given a cusp form $f$ which is supersingular at a fixed prime $p$ away from the level, and a Coleman family $F$ through one of its $p$-stabilisations, we construct a $2$-variable meromorphic $p$-adic $L$-function for the symmetric square of $F$. We prove that this new $p$-adic $L$-function interpolates values of complex imprimitive symmetric square $L$-functions, for the various specialisations of the family $F$. We use this $p$-adic $L$-function to prove a $p$-adic factorisation formula, expressing the geometric $p$-adic $L$-function attached to the Rankin--Selberg convolution of $f$ with itself as a the product of the $p$-adic symmetric square $L$-function of $f$ and a Kubota-Leopoldt $L$-function. This extends a result of Dasgupta in the ordinary case.

math.NT

Exceptional poles of archimedean Rankin-Selberg L-functions for irreducible generic representations of GL(n,R)

For irreducible generic representations $π_1$ and $π_2$ of $\operatorname{GL}_n(\mathbb R)$, we prove that the notions of exceptional pole of type $1$ and type $2$ coincide at every level. When both representations are in general position, we use this identification to express the Rankin--Selberg $L$-function $L(s,π_1\timesπ_2)$ in terms of the exceptional $L$-factors attached to the irreducible constituents of their derivatives.

math.NT