Related papers: Explicit composition identities for higher composi…
Over 200 years ago, Gauss discovered a composition law on the $SL_2({\mathbb Z})$-equivalence classes of primitive binary quadratic forms. Since then, bijections of classes of binary forms have been found with ideal class groups of…
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…
We give a parametrization of square roots of the ideal class of the inverse different of rings defined by binary forms in terms of the orbits of a coregular representation. This parametrization, which can be construed as a new integral…
The classical theorems relating integral binary quadratic forms and ideal classes of quadratic orders have been of tremendous importance in mathematics, and many authors have given extensions of these theorems to rings other than the…
We use composition of binary quadratic forms to systematically create pairs of Seifert surfaces that are non-isotopic in the four-ball. Our main topological result employs Gauss composition to classify the pairs of binary quadratic forms…
We consider an integral version of the Freudenthal construction relating Jordan algebras and exceptional algebraic groups. We show how this construction is related to higher composition laws of M.Bhargava in number theory. We propose an…
We give a parametrization of the ideal classes of rings associated to integral binary forms by classes of tensors in $\mathbb Z^2\tensor \mathbb Z^n\tensor \mathbb Z^n$. This generalizes Bhargava's work on Higher Composition Laws, which…
In 1997, Y. Ohno empirically stumbled on an astoundingly simple identity relating the number of cubic rings $h(D)$ of a given discriminant $D$, over the integers, to the number of cubic rings $h'(D)$ of discriminant $-27D$ in which every…
We revisit Gauss composition over a general base scheme, with a focus on orthogonal groups. We show that the Clifford and norm functors provide a discriminant-preserving equivalence of categories between binary quadratic modules and…
In 2012 the first named author conjectured that totally real quartic fields of fundamental discriminant are determined by the isometry class of the integral trace zero form; such conjecture was based on computational evidence and the analog…
Let $1 \le k \le n,$ and let $v_1,\ldots,v_k$ be integral vectors in $\mathbb{Z}^n$. We consider the wedge map $\alpha_{n,k} : (\mathbb{Z}^n)^k /SL_k(\mathbb{Z}) \rightarrow \wedge^k(\mathbb{Z}^n)$, $(v_1,\ldots,v_k) \rightarrow v_1 \wedge…
Given a nonzero integer $d$, we know by Hermite's Theorem that there exist only finitely many cubic number fields of discriminant $d$. However, it can happen that two non-isomorphic cubic fields have the same discriminant. It is thus…
In this paper, the composition of Bhargava's cubes is generalized to the ring of integers of a number field of narrow class number one, excluding the case of totally imaginary number fields.
The association of algebraic objects to forms has had many important applications in number theory. Gauss, over two centuries ago, studied quadratic rings and ideals associated to binary quadratic forms, and found that ideal classes of…
In Disquisitiones Arithmeticae, Gauss studied binary quadratic forms and introduced a very general version of a composition operator that allows composing even forms of different discriminants and imprimitive forms. Section V of…
There is a classical geometric construction which uses a binary quadratic form to define an involution on the space of binary d-ics. We give a complete characterization of a general class of such involutions which are definable using…
In this note, we establish an equivalence of categories between the category of all eight-dimensional composition algebras with any given quadratic form $n$ over a field $k$ of characteristic not two, and a category arising from an action…
A positive definite and integral quadratic form $f$ is called irrecoverable if there is a quadratic form $F$ such that it represents all proper subforms of $f$, whereas it does not represent $f$ itself. In this case, $F$ is called an…
This dissertation builds a compositional cyber-physical systems theory to develop concrete semantics relating the above diverse views necessary for safety and security assurance. In this sense, composition can take two forms. The first is…
We parametrize quartic commutative algebras over any base ring or scheme (equivalently finite, flat degree four $S$-schemes), with their cubic resolvents, by pairs of ternary quadratic forms over the base. This generalizes Bhargava's…