Composed varieties and reflection theorems of Ohno-Nakagawa type

Abstract

The Ohno-Nakagawa (O-N) reflection theorem is an unexpectedly simple identity relating the number of ${\mathrm{GL}}_2\mathbb{Z}$-classes of binary cubic forms (equivalently, cubic rings) of two different discriminants $D$, $-27D$; it generalizes cubic reciprocity and the Scholz reflection theorem. In this paper, we present a new approach to proving and generalizing this theorem using Fourier analysis on the adelic cohomology $H^1({\mathbb{A}}_K,M)$ of a finite Galois module, modeled after the celebrated Fourier analysis on ${\mathbb{A}}_K$ used in Tate's thesis. This method produces reflection theorems of O-N type from identities of lattice counts over local fields and yields new reflection theorems of O-N type for cubic forms and rings over arbitrary number fields, quartic forms and rings, and also quadratic forms counting by a peculiar invariant, the \emph{superdiscriminant} $a(b^2-4ac)$. O-N-type theorems are valuable both for their intrinsic beauty and for analytic applications, which include discriminant-reducing identities, symmetrization of functional equations, and subconvexity for Shintani zeta functions.

59 pages, 2 figures, 2 tables. A condensed and revised version of the first part of arxiv:2107.04727

References in corpus (2)

• Gauss composition over an arbitrary base
• Harmonic Analysis and Statistics of the First Galois Cohomology Group