Binary forms with the same value set II. The case of ${\bf D}_4$

Étienne Fouvry,Peter Koymans

2024-04-22

Abstract:Let $F, G \in \mathbb{Z}[X, Y]$ be binary forms of degree $\geq 3$, non-zero discriminant and with automorphism group isomorphic to $D_4$. If $F(\mathbb{Z}^2) = G(\mathbb{Z}^2)$, we show that $F$ and $G$ are ${\rm GL}(2, \mathbb{Z})$--equivalent.

Number Theory

What problem does this paper attempt to address?

Binary forms with the same value set III. The case of ${\bf D}_3$ and ${\bf D_6}$

Étienne Fouvry,Peter Koymans

2024-04-29

Abstract:Let $F, G \in \mathbb{Z}[X, Y]$ be binary forms of degree $\geq 3$ with automorphism groups isomorphic to the dihedral group of cardinality $6$ or $12$. We characterize exactly when $F$ and $G$ have the same value set, i.e. $F(\mathbb{Z}^2) = G(\mathbb{Z}^2)$.

Number Theory
Binary forms with the same value set I

Étienne Fouvry,Peter Koymans

2024-04-17

Abstract:Given a binary form $F \in \mathbb{Z}[X, Y]$, we define its value set to be $\{F(x, y) : (x, y) \in \mathbb{Z}^2\}$. Let $F, G \in \mathbb{Z}[X, Y]$ be two binary forms of degree $d \geq 3$ and with non-zero discriminant. In a series of three papers, we will give necessary and sufficient conditions on $F$ and $G$ to have the same value set. These conditions will be entirely in terms of the automorphism groups of the forms.

Number Theory
Binary quadratic forms with the same value set

Étienne Fouvry,Peter Koymans

2024-04-29

Abstract:Given a binary quadratic form $F \in \mathbb{Z}[X, Y]$, we define its value set $F(\mathbb{Z}^2)$ to be $\{F(x, y) : (x, y) \in \mathbb{Z}^2\}$. If $F$ and $G$ are two binary quadratic forms with integer coefficients, we give necessary and sufficient conditions on $F$ and $G$ for $F(\mathbb{Z}^2) = G(\mathbb{Z}^2)$.

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
On the equivalence of binary cubic forms

J E Cremona

2023-11-09

Abstract:We consider the question of determining whether two binary cubic forms over an arbitrary field $K$ whose characteristic is not $2$ or $3$ are equivalent under the actions of either GL$(2,K)$ or SL$(2,K)$, deriving two necessary and sufficient criteria for such equivalence in each case. One of these involves an algebraic invariant of binary cubic forms which we call the Cardano invariant, which is closely connected to classical formulas and also appears in the work of Bhargava et al. The second criterion is expressed in terms of the base field itself, and also gives explicit matrices in SL$(2,K)$ or GL$(2,K)$ transforming one cubic into the other, if any exist, in terms of the coefficients of bilinear factors of a bicovariant of the two cubics. We also consider automorphisms of a single binary cubic form, show how to use our results to test equivalence of binary cubic forms over an integral domain such as~$\mathbb{Z}$, and briefly recall some connections between binary cubic forms and the arithmetic of elliptic curves. The methods used are elementary, and similar to those used in our earlier work with Fisher concerning equivalences between binary quartic forms.

Number Theory
Dual Pairs and Contragredients of Irreducible Representations

Binyong Sun

DOI: https://doi.org/10.2140/pjm.2011.249.485

2011-01-01

Pacific Journal of Mathematics

Abstract:Let G be one of the classical groups GL(n), U(n), O(n) or Sp(2n), over a nonarchimedean local field of characteristic zero. It is well known that the contragredient of an irreducible admissible smooth representation of G is isomorphic to a twist of it by an automorphism of G. We prove that similar results hold for double covers of G that occur in the study of local theta correspondences.
Binary quadratic forms of odd class number

Amir Akbary,Yash Totani

2024-08-01

Abstract:Let $-D$ be a fundamental discriminant. We express the number of representations of an integer by a positive definite binary quadratic form of discriminant $-D$ with an odd class number $h(-D)$ as a rational linear expression involving the Kronecker symbol $\left(\frac{-D}{.}\right)$ and the Fourier coefficients of certain cusp forms. We prove these cusp forms have eta quotient representations only if $D=23$. This provides, using theta functions, a generalization of a result of F. van der Blij from 1952 for binary quadratic forms of discriminant $-23$ to the case of forms of discriminant $-D$ with odd $h(-D)$. We also study the eta quotient representations of some related theta functions.

Number Theory
On the typical rank of real binary forms

Pierre Comon,Giorgio Ottaviani

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

2009-09-26

Abstract:We determine the rank of a general real binary form of degree d=4 and d=5. In the case d=5, the possible values of the rank of such general forms are 3,4,5. The existence of three typical ranks was unexpected. We prove that a real binary form of degree d with d real roots has rank d.

Algebraic Geometry,Statistics Theory
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
Stress transmission in granular matter

Tomaso Aste,Tiziana Di Matteo,Enrico Galleani d'Agliano

DOI: https://doi.org/10.1088/0953-8984/14/9/328

2001-12-17

Abstract:The transmission of forces through a disordered granular system is studied by means of a geometrical-topological approach that reduces the granular packing into a set of layers. This layered structure constitutes the skeleton through which the force chains set up. Given the granular packing, and the region where the force is applied, such a skeleton is uniquely defined. Within this framework, we write an equation for the transmission of the vertical forces that can be solved recursively layer by layer. We find that a special class of analytical solutions for this equation are Lévi-stable distributions. We discuss the link between criticality and fragility and we show how the disordered packing naturally induces the formation of force-chains and arches. We point out that critical regimes, with power law distributions, are associated with the roughness of the topological layers. Whereas, fragility is associated with local changes in the force network induced by local granular rearrangements or by changes in the applied force. The results are compared with recent experimental observations in particulate matter and with computer simulations.

Soft Condensed Matter,Disordered Systems and Neural Networks
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
Number of integers represented by families of binary forms II: binomial forms

Étienne Fouvry,Michel Waldschmidt

2023-06-05

Abstract:We consider some families of binary binomial forms $aX^d+bY^d$, with $a$ and $b$ integers. Under suitable assumptions, we prove that every rational integer $m$ with $|m|\ge 2$ is only represented by a finite number of the forms of this family (with varying $d,a,b$). Furthermore {the number of such forms of degree $\ge d_0$ representing $m$ is bounded by $O(|m|^{(1/d_0)+\epsilon})$} uniformly for $\vert m \vert \geq 2$. We also prove that the integers in the interval $[-N,N]$ represented by one of the form of the family with degree $d\geq d_0$ are almost all represented by some form of the family with degree $d=d_0$. In a previous {paper} we investigated the particular case where the binary binomial forms are positive definite. We now treat the general case by using a lower bound for linear forms of logarithms.

Number Theory
Geometric Gauss-Dedekind

Rony A. Bitan

2023-12-18

Abstract:Gauss and Dedekind have shown a bijection between the set of $\mathrm{SL}_2(\mathbb{Z})$-equivalence classes of primitive positive definite binary quadratic $\mathbb{Z}$-forms of the discriminant of $\mathbb{Q}(\sqrt{\Delta<0})$ and the class group of its ring of integers. Using étale cohomology we show an analogue of this correspondence in the positive characteristic. This leads to the description of the set of genera and to another result analogous to Gauss' one by which any form composed with itself belongs to the principal genus.

Algebraic Geometry
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
Introduction to Automorphic Forms for $GL(n,\BZ)\ltimes \BZ^{(m,n)}$

Jae-Hyun Yang

2024-01-23

Abstract:In this paper, we introduce the notion of automorphic forms for $GL(n,\BZ)\ltimes \BZ^{(m,n)}$ and discuss invariant differential operators on the Minkowski-Euclid space. The group $GL{n,\BR}\ltimes \BR^{(m,n)}$ is the semidirect product of $GL(n,\BR)$ and the additive group $\BR^{(m,n)}$ and is {\it not} a reductive group. The Minkowski-Euclid space is the quotient space of $GL(n,\BR)\ltimes \BR^{(m,n)}$ by $O(n,\BR)$. The Minkowski-Euclid space is an important non-symmetric homogeneous space geometrically and number theoretically. We present some open problems to be solved in the future.

Number Theory
Equivariant D-modules on 2x2xn hypermatrices

András C. Lőrincz,Michael Perlman

2023-09-14

Abstract:We study D-modules and related invariants on the space of 2 x 2 x n hypermatrices for n >= 3, which has finitely many orbits under the action of G = GL_2 x GL_2 x GL_n. We describe the category of coherent G-equivariant D-modules as the category of representations of a quiver with relations. We classify the simple equivariant D-modules, determine their characteristic cycles and find special representations that appear in their G-structures. We determine the explicit D-module structure of the local cohomology groups with supports given by orbit closures. As a consequence, we calculate the Lyubeznik numbers and intersection cohomology groups of the orbit closures. All but one of the orbit closures have rational singularities: we use local cohomology to prove that the one exception is neither normal nor Cohen--Macaulay. While our results display special behavior in the cases n=3 and n=4, they are completely uniform for n >= 5.

Algebraic Geometry,Commutative Algebra,Representation Theory
On the Waring rank of binary forms: The binomial formula and a dihedral cover of rank two forms

Laura Brustenga i Moncusí,Shreedevi K. Masuti

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

2019-01-24

Abstract:Waring problem for forms is important and classical in mathematics. It has been widely investigated because of its wide applications in several areas. In this paper, we consider the Waring problem for binary forms with complex coefficients. Firstly, we give an explicit formula for the Waring rank of any binary binomial and several examples to illustrating it. Secondly, we prove that, up to scalar multiplication, there are exactly $\binom{d-1}{2}$ binary forms of degree $d$ with Waring rank two and multiple of three fixed distinct linear forms.

Algebraic Geometry
Forms in prime variables and differing degrees

Jianya Liu,Sizhe Xie

2024-05-10

Abstract:Let $F_1,\ldots,F_R$ be homogeneous polynomials with integer coefficients in $n$ variables with differing degrees. Write $\boldsymbol{F}=(F_1,\ldots,F_R)$ with $D$ being the maximal degree. Suppose that $\boldsymbol{F}$ is a nonsingular system and $n\ge D^2 4^{D+6}R^5$. We prove an asymptotic formula for the number of prime solutions to $\boldsymbol{F}(\boldsymbol{x})=\boldsymbol{0}$, whose main term is positive if (i) $\boldsymbol{F}(\boldsymbol{x})=\boldsymbol{0}$ has a nonsingular solution over the $p$-adic units $\mathbb{U}_p$ for all primes $p$, and (ii) $\boldsymbol{F}(\boldsymbol{x})=\boldsymbol{0}$ has a nonsingular solution in the open cube $(0,1)^n$. This can be viewed as a smooth local-global principle for $\boldsymbol{F}(\boldsymbol{x})=\boldsymbol{0}$ with differing degrees. It follows that, under (i) and (ii), the set of prime solutions to $\boldsymbol{F}(\boldsymbol{x})=\boldsymbol{0}$ is Zariski dense in the set of its solutions.

Number Theory
The Geometry of Drinfeld Modular Forms

Jesse Franklin

2024-10-12

Abstract:We give a geometric perspective on the algebra of Drinfeld modular forms for congruence subgroups $\Gamma\leq \GL_2(\bbF_q[T]).$ In particular, we describe an isomorphism between the section ring of a line bundle on the stacky modular curve for $\Gamma_2$ and the algebra of Drinfeld modular forms for $\Gamma_2,$ where $\Gamma_2$ is the subgroup of square-determinant matrices in $\Gamma.$ This allows one to compute the latter ring by geometric invariants using the techniques of Voight, Zureick-Brown and O'Dorney. We also show how to decompose the algebra of modular forms for $\Gamma_2$ into a direct sum of two algebras of modular forms for $\Gamma$ and generalize this result to a larger class of congruence subgroups.

Number Theory,Algebraic Geometry
Double Eisenstein series and modular forms of level $4$

Katsumi Kina

2024-07-11

Abstract:We study the $\mthbb{Q}$-vector space generated by the double zeta values with character of conductor $4$. For this purpose, we define associated double Eisenstein series and investigate their relation with modular forms of level $4$.

Number Theory

Binary forms with the same value set II. The case of ${\bf D}_4$

Binary forms with the same value set III. The case of ${\bf D}_3$ and ${\bf D_6}$

Binary forms with the same value set I

Binary quadratic forms with the same value set

Composition of Binary Quadratic Forms over Number Fields

On the equivalence of binary cubic forms

Dual Pairs and Contragredients of Irreducible Representations

Binary quadratic forms of odd class number

On the typical rank of real binary 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$

Stress transmission in granular matter

Binary forms with covariant points close to the real axis

Number of integers represented by families of binary forms II: binomial forms

Geometric Gauss-Dedekind

On Generalised Albert Forms over Discretely Valued Fields

Introduction to Automorphic Forms for $GL(n,\BZ)\ltimes \BZ^{(m,n)}$

Equivariant D-modules on 2x2xn hypermatrices

On the Waring rank of binary forms: The binomial formula and a dihedral cover of rank two forms

Forms in prime variables and differing degrees

The Geometry of Drinfeld Modular Forms

Double Eisenstein series and modular forms of level $4$