Gauss composition over an arbitrary base

Abstract

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 integers. However, such extensions have always included hypotheses on the rings, and the theorems involve only binary quadratic forms satisfying further hypotheses. We give a complete statement of the relationship between binary quadratic forms and modules for quadratic algebras over any base ring, or in fact base scheme. The result includes all binary quadratic forms, and commutes with base change. We give global geometric as well as local explicit descriptions of the relationship between forms and modules.

submitted

Cited by in corpus (11)

• Fibrations in complete intersections of quadrics, Clifford algebras, derived categories, and rationality problems
• Quadric surface bundles over surfaces
• Quartic rings associated to binary quartic forms
• Discriminants and the monoid of quadratic rings
• Rings of small rank over a Dedekind domain and their ideals
• Gauss Composition for P^1, and the universal Jacobian of the Hurwitz space of double covers
• Two lives: Compositions of unimodular rows
• An Analogue of Gauss Composition for Binary Cubic Forms
• Geometric Gauss-Dedekind
• Quintic algebras over Dedekind domains and their sextic resolvents
• Composed varieties and reflection theorems of Ohno-Nakagawa type