Reduction theory of binary forms

Lubjana Beshaj

DOI: https://doi.org/10.48550/arXiv.1502.06289

2015-02-23

Abstract:In these lectures we give an introduction to the reduction theory of binary forms starting with quadratic forms with real coefficients, Hermitian forms, and then define the Julia quadratic for any degree $n$ binary form. A survey of a reduction algorithm over $\mathbb Z$ is described based on recent work of Cremona and Stoll.

Number Theory

What problem does this paper attempt to address?

Binary forms with covariant points close to the real axis

Eugenia Rosu

2024-09-21

Abstract:For a real binary form $F(X, Z)$, Stoll and Cremona have defined a reduction theory using the action of the modular group $SL_2(\mathbb{Z})$, and associated to each binary form a covariant point $z(F)$ located in the upper half plane. When the point $z(F)$ is close to the real axis, then at least half of the roots will be on a circle of small radius $r$. Conversely, we find conditions depending on the radius $r$ such that the covariant point $z(F)$ to be close to the real axis. The results have further applications to improving the reduction algorithm for binary forms of Stoll and Cremona.

Number Theory
Composition of Binary Quadratic Forms over Number Fields

Kristýna Zemková

2023-07-15

Abstract:In this article, the standard correspondence between the ideal class group of a quadratic number field and the equivalence classes of binary quadratic forms of given discriminant is generalized to any base number field of narrow class number one. The article contains an explicit description of the correspondence. In the case of totally negative discriminants, equivalent conditions are given for a binary quadratic form to be totally positive definite.

Number Theory
Completely Reducible Ternary Cubic Forms

Gary Brookfield

DOI: https://doi.org/10.48550/arXiv.2107.02325

2021-07-06

Abstract:We discuss various necessary and sufficient conditions for the complete reducibility of a ternary cubic form. In doing so, we prove the claim made in the 19th century that such a form is completely reducible if and only if its Hessian is a multiple of itself.

Commutative Algebra
Reduction theory for stably graded Lie algebras

Jack A. Thorne

2024-05-17

Abstract:We define a reduction covariant for the representations a la Vinberg associated to stably graded Lie algebras. We then give an analogue of the LLL algorithm for the odd split special orthogonal group and show how this can be combined with our theory to effectively reduce the coefficients of vectors in a representation connected to 2-descent for odd hyperelliptic curves.

Number Theory,Representation Theory
Hasse-Minkowski theorem for quadratic forms on groups

Stefan Barańczuk

2024-05-17

Abstract:Consider groups such as Mordell-Weil groups of abelian varieties over number fields, odd algebraic $K$-theory groups of number fields, or finitely generated subgroups of the multiplicative groups of number fields. They are all equipped with systems of reduction maps; thus, one can investigate the Hasse-Minkowski theorem for quadratic forms with coefficients in such groups. In this paper, we prove that the theorem holds for the forms whose rank equals $2$ or $3$, and we demonstrate that it does not hold for higher ranks by providing a counterexample. We also show that our results constitute a generalization of the classic Hasse-Minkowski theorem for binary and ternary integral forms.

Number Theory
Topographs for binary quadratic forms and class numbers

Cormac O'Sullivan

2024-09-01

Abstract:In this work we study, in greater detail than before, J.H. Conway's topographs for integral binary quadratic forms. These are trees in the plane with regions labeled by integers following a simple pattern. Each topograph can display the values of a single form, or represent an equivalence class of forms. We give a new treatment of reduction of forms to canonical equivalence class representatives by employing topographs and a novel continued fraction for complex numbers. This allows uniform reduction for any positive, negative, square or non-square discriminant. Topograph geometry also provides new class number formulas, and short proofs of results of Gauss relating to sums of three squares. Generalizations of the series of Hurwitz for class numbers give evaluations of certain infinite series, summed over the regions or edges of a topograph.

Number Theory,Combinatorics
On the analytic theory of isotropic ternary quadratic forms II

William Duke

2024-07-08

Abstract:In the first part of this work \cite{Du}, a quantitative supplement to the Hasse principle was given for the count of the number of automorphic orbits of primitive zeros of a genus of ternary quadratic forms. This sequel contains, for certain special forms, an independent and elementary proof of this result. When combined with other results of \cite{Du}, this proof also leads to a refinement of an asymptotic result of \cite{Du} and some corollaries for these special forms.

Number Theory
On Binary Quadratic Forms Modulo N

Yang Liu,Yi Ouyang

DOI: https://doi.org/10.1007/s40304-018-0141-1

2018-01-01

Communications in Mathematics and Statistics

Abstract:Given a binary quadratic polynomial $f(x_1,x_2)=\alpha x_1^2+\beta x_1x_2+\gamma x_2^2\in \mathbb {Z}[x_1,x_2]$, for every $c\in \mathbb Z$ and $n\ge 2$, we study the number of solutions $\mathrm {N}_J(f;c,n)$ of the congruence equation $f(x_1,x_2)\equiv c\bmod {n}$ in $(\mathbb {Z}/n\mathbb {Z})^2$ such that $x_i\in (\mathbb {Z}/n\mathbb {Z})^\times $ for $i\in J\subseteq \{1,2\}$.
On Generalised Albert Forms over Discretely Valued Fields

Nico Lorenz

2024-04-22

Abstract:For a discrete valuation ring $R$ with quotient field $K$ and residue field $F$ both of characteristic not 2, we study low-dimensional quadratic forms with Witt class in the $n$-th power of the fundamental ideal of $F$ resp. $K$ and point out connections between forms over these fields. We analyse the minimal number of Pfister forms such that a given form is Witt equivalent to the sum of these and study forms congruent modulo a higher power of the fundamental ideal towards similarity.

Number Theory
Symmetric rank of some reducible forms

Liena Colarte-Gómez,Francesco Galuppi

2024-10-27

Abstract:In this paper, we study the symmetric rank of products of linear forms and an irreducible quadratic form. The main result presents a new, non-trivial lower bound for the rank, and the arguments rely on the apolarity lemma. In the special case of degree 4, we give a list of normal forms for such quartics, and we apply our general result to compute the rank of almost all of them. These families of quartics provide examples of polynomials of generic, supergeneric and even maximal rank, as well as an unexpected number of decompositions.

Algebraic Geometry
A note on quadratic forms

Fabian Hebestreit,Achim Krause,Maxime Ramzi

2024-02-06

Abstract:For a field extension $L/K$ we consider maps that are quadratic over $L$ but whose polarisation is only bilinear over $K$. Our main result is that all such are automatically quadratic forms over $L$ in the usual sense if and only if $L/K$ is formally unramified. In particular, this shows that over finite and number fields, one of the axioms in the standard definition of quadratic forms is superfluous.

Commutative Algebra,K-Theory and Homology
On the Representation of Integers by Binary Forms Defined by Means of the Relation $(x + yi)^n = R_n(x, y) + J_n(x, y)i$

A. Mosunov

DOI: https://doi.org/10.2140/moscow.2022.11.71

2022-03-07

Abstract:Let $F$ be a binary form with integer coefficients, non-zero discriminant and degree $d \geq 3$. Let $R_F(Z)$ denote the number of integers of absolute value at most $Z$ which are represented by $F$. In 2019 Stewart and Xiao proved that $R_F(Z) \sim C_FZ^{2/d}$ for some positive number $C_F$. We compute $C_{R_n}$ and $C_{J_n}$ for the binary forms $R_n(x, y)$ and $J_n(x, y)$ defined by means of the relation $ (x + yi)^n = R_n(x, y) + J_n(x, y)i$, where the variables $x$ and $y$ are real.

Number Theory
Computational Arithmetic of Modular Forms (Course notes)

Gabor Wiese

DOI: https://doi.org/10.48550/arXiv.1809.04645

2018-09-12

Number Theory

Abstract:These course notes are about computing modular forms and some of their arithmetic properties. Their aim is to explain and prove the modular symbols algorithm in as elementary and as explicit terms as possible, and to enable the devoted student to implement it over any ring (such that a sufficient linear algebra theory is available in the chosen computer algebra system). The chosen approach is based on group cohomology and along the way the needed tools from homological algebra are provided.
Overpartitions and class numbers of binary quadratic forms

Kathrin Bringmann,Jeremy Lovejoy

DOI: https://doi.org/10.1073/pnas.0900783106

2009-04-07

Abstract:We show that the Zagier-Eisenstein series shares its nonholomorphic part with certain weak Maass forms whose holomorphic parts are generating functions for overpartition rank differences. This has a number of consequences, including exact formulas, asymptotics, and congruences for the rank differences as well as q-series identities of the mock theta type.
General effective reduction theory of integral polynomials of given non-zero discriminant and its applications

Jan-Hendrik Evertse,Kálmán Győry

2024-09-04

Abstract:We give a survey on the general effective reduction theory of integral polynomials and its applications. We concentrate on results providing the finiteness for the number of `$\mathbb{Z}$-equivalence classes' and `$GL_2(\mathbb{Z})$-equivalence classes' of polynomials of given discriminant. We present the effective finiteness results of Lagrange from 1773 and Hermite from 1848, 1851 for quadratic resp. cubic polynomials. Then we formulate the general ineffective finiteness result of Birch and Merriman from 1972, the general effective finiteness theorems of Győry from 1973, obtained independently, and of Evertse and Győry from 1991, and a result of Hermite from 1857 not discussed in the literature before 2023. We briefly outline our effective proofs which depend on Győry's effective results on unit equations, whose proofs involve Baker's theory of logarithmic forms. Then we focus on our recent joint paper with Bhargava, Remete and Swaminathan from 2023, where Hermite's finiteness result from 1857 involving `Hermite equivalence classes' is compared with the above-mentioned modern results involving $\mathbb{Z}$-equivalence and $GL_2(\mathbb{Z})$-equivalence, and where it is confirmed that Hermite's result from 1857 is much weaker than the modern results mentioned. The results of Győry from 1973 and Evertse and Győry from 1991 together established a general effective reduction theory of integral polynomials with given non-zero discriminant, which has significant consequences and applications, including Győry's effective finiteness theorems from the 1970's on monogenic orders and number fields. We give an overview of these in our paper. In the Appendix we discuss related topics not strictly belonging to the reduction theory of integral polynomials.

Number Theory
Quantitative reduction theory and unlikely intersections

Christopher Daw,Martin Orr

DOI: https://doi.org/10.1093/imrn/rnab173

2021-10-06

Abstract:We prove quantitative versions of Borel and Harish-Chandra's theorems on reduction theory for arithmetic groups. Firstly, we obtain polynomial bounds on the lengths of reduced integral vectors in any rational representation of a reductive group. Secondly, we obtain polynomial bounds in the construction of fundamental sets for arithmetic subgroups of reductive groups, as the latter vary in a real conjugacy class of subgroups of a fixed reductive group. Our results allow us to apply the Pila--Zannier strategy to the Zilber--Pink conjecture for the moduli space of principally polarised abelian surfaces. Building on our previous paper, we prove this conjecture under a Galois orbits hypothesis. Finally, we establish the Galois orbits hypothesis for points corresponding to abelian surfaces with quaternionic multiplication, under certain geometric conditions.

Number Theory,Algebraic Geometry,Logic
Solution-free sets for sums of binary forms

Sean Prendiville

DOI: https://doi.org/10.1112/plms/pds083

2011-10-10

Abstract:We obtain quantitative estimates for the asymptotic density of subsets of the two-dimensional integer lattice which contain only trivial solutions to an additive equation involving binary forms. In the process we develop an analogue of Vinogradov's mean value theorem applicable to binary forms.

Number Theory
Laws of inertia in higher degree binary forms

Bruce Reznick

DOI: https://doi.org/10.48550/arXiv.0906.5559

2009-06-30

Abstract:We consider representations of real forms of even degree as a linear combination of powers of real linear forms, counting the number of positive and negative coefficients. We show that the natural generalization of Sylvester's Law of Inertia holds for binary quartics, but fails for binary sextics.

Number Theory,Algebraic Geometry
On indefinite and potentially universal quadratic forms over number fields

Fei Xu,Yang Zhang

DOI: https://doi.org/10.48550/arXiv.2004.02090

2021-11-01

Abstract:A number field $k$ admits a binary integral quadratic form which represents all integers locally but not globally if and only if the class number of $k$ is bigger than one. In this case, there are only finitely many classes of such binary integral quadratic forms over $k$. A number field $k$ admits a ternary integral quadratic form which represents all integers locally but not globally if and only if the class number of $k$ is even. In this case, there are infinitely many classes of such ternary integral quadratic forms over $k$. An integral quadratic form over a number field $k$ with more than one variables represents all integers of $k$ over the ring of integers of a finite extension of $k$ if and only if this quadratic form represents $1$ over the ring of integers of a finite extension of $k$.

Number Theory

Reduction theory of binary forms

Binary forms with covariant points close to the real axis

Composition of Binary Quadratic Forms over Number Fields

Completely Reducible Ternary Cubic Forms

Reduction theory for stably graded Lie algebras

Hasse-Minkowski theorem for quadratic forms on groups

Topographs for binary quadratic forms and class numbers

On the analytic theory of isotropic ternary quadratic forms II

On Binary Quadratic Forms Modulo N

On Generalised Albert Forms over Discretely Valued Fields

Symmetric rank of some reducible forms

A note on quadratic forms

On the Representation of Integers by Binary Forms Defined by Means of the Relation $(x + yi)^n = R_n(x, y) + J_n(x, y)i$

Computational Arithmetic of Modular Forms (Course notes)

Overpartitions and class numbers of binary quadratic forms

General effective reduction theory of integral polynomials of given non-zero discriminant and its applications

Quantitative reduction theory and unlikely intersections

Solution-free sets for sums of binary forms

Laws of inertia in higher degree binary forms

On indefinite and potentially universal quadratic forms over number fields