Given two distinct number fields $K$ and $M$, and finite order Hecke characters $χ$ of $K$ and $η$ of $M$ respectively, we say that the pairs $(χ, K)$ and $(η, M)$ are arithmetically equivalent if the associated L-functions coincide: $$L(s, χ, K) = L(s, η, M) .$$ When the characters are trivial, this reduces to the question of fields with the same Dedekind zeta function, investigated by Gassman in 1926, who found such fields of degree 180, and by Perlis (1977) and others, who showed that there are no nonisomorphic fields of degree less than $7$.
We construct infinitely many such pairs where the fields are quadratic. This gives dihedral automorphic forms induced from characters of different quadratic fields. We also give a classification of such characters of order 2 for the quadratic fields of our examples, all with odd class number.
Building on the works of S. Bochner on equivalence of modular relation with functional equation associated to the Dirichlet series, K. Chandrasekharan and R. Narasimhan obtained new equivalences between the functional equation and some arithmetical identities. Sister Ann M. Heath considered the functional equation in the Hawkins and Knopp context and showed its equivalence to two arithmetical identities associated with entire modular cusp integrals involving rational period functions for the full modular group. In this paper we use techniques of Chandrasekharan and Narasimhan and extend the re…
For rings $\mathcal{O}_K$ of totally real algebraic integers, J. Robinson defined a set which is always $\{+\infty\}$ or of the form $[λ,+\infty)$ or $(λ,+\infty)$ for some real number $λ\ge4$. All known examples give either $\{+\infty\}$ or $[4,+\infty)$. In this paper, we construct infinitely many fields such that the set is an interval, but not equal to $[4,+\infty)$.
The paper presents two arithmetical versions of the Nyman-Beurling equivalence with the Riemann hypothesis, proved by classical, quasi elementary, number-theoretic methods, based on an integrated version of the classical combinatorial identity for Moebius numbers. These proofs also give insight into the troublesome phenomenon that many natural sequences of Beurling functions tending to the indicator function of (0,1) both pointwise and in L1 norm do not converge in L2 norm.
In this paper we present an approach to study arithmetical properties of global function fields by working with Artin L-functions. In particular we recall and then extend a criteria of two function fields to be arithmetically equivalent in terms of Artin L-functions of representations associated to the common normal closure of those fields. We provide few examples of such non-isomorphic fields and also discuss an algorithm to construct many such examples by using torsion points on elliptic curves. Finally, we will show how to apply our results in order to distinguish two global fields by a fin…
Two number fields are called arithmetically equivalent if they have the same Dedekind zeta function. In the 1970's Perlis showed that this is equivalent to the condition that for almost every rational prime $\ell$ the arithmetic type of $\ell$ is the same in each field. In the 1990's Perlis and Stuart gave an unexpected characterization for arithmetic equivalence; they showed that to be arithmetically equivalent it is enough for almost every prime $\ell$ to have the same number of prime factors in each field. Here, using an $\ell-p$ switch trick, we provide an elementary proof of that fact bas…
We consider positional numeration system with negative base $-β$, as introduced by Ito and Sadahiro. In particular, we focus on arithmetical properties of such systems when $β$ is a quadratic Pisot number. We study a class of roots $β>1$ of polynomials $x^2-mx-n$, $m\geq n\geq 1$, and show that in this case the set ${\rm Fin}(-β)$ of finite $(-β)$-expansions is closed under addition, although it is not closed under subtraction. A particular example is $β=τ=\frac12(1+\sqrt5)$, the golden ratio. For such $β$, we determine the exact bound on the number of fractional digits appearing in arithmetic…
It is a classic result that two number fields have equal Dedekind zeta functions if and only if the arithmetic type of a prime $p$ is the same in both fields for almost all prime $p$. Here, almost all means with the possible exception of a set of Dirichlet density zero. One of the results of this paper shows that the condition density zero can be improved to a specific positive density that depends solely in the degree of the fields. More specifically, for every positive $n$ we exhibit a positive constan $c_{n}$ such that any two degree $n$ number fields $K$ and $L$ are arithmetically equivale…
For a congruence subgroup $Γ$, we define the notion of $Γ$-equivalence on binary quadratic forms which is the same as proper equivalence if $Γ= \mathrm{SL}_2(\mathbb Z)$. We develop a theory on $Γ$-equivalence such as the finiteness of $Γ$-reduced forms, the isomorphism between $Γ_0(N)$-form class group and the ideal class group, $N$-representation of integers, and $N$-genus of binary quadratic forms. As an application, we deal with representations of integers by binary quadratic forms under certain congruence condition on variables.
This paper deals with quadratic irrationals of the form $m/q+\sqrt v$ for fixed positive integers $v$ and $q$, $v$ not a square, and varying integers $m$, $(m,q)=1$. Two numbers $m/q+\sqrt v$, $n/q+\sqrt v$ of this kind are equivalent (in a classical sense) if their continued fraction expansions can be written with the same period. We give a necessary and sufficient condition for the equivalence in terms of solutions of Pell's equation. Moreover, we determine the number of equivalence classes to which these quadratic irrationals belong.
Given a pair of regular quadratic forms over $\mathbb{Q}$ which are in the same genus and a finite set of primes $P$, we show that there is an effective way to determine a rational equivalence between these two quadratic forms which are integral over every prime in $P$. This answers one of the principal questions posed by Conway and Sloane in their book {\em Sphere packings, lattices and groups}, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], Vol 290, Springer-Verlag, New York, 1999; page 402.
A positive definite quadratic form is called perfect, if it is uniquely determined by its arithmetical minimum and the integral vectors attaining it. In this self-contained survey we explain how to enumerate perfect forms in $d$ variables up to arithmetical equivalence and scaling. We put an emphasis on practical issues concerning computer assisted enumerations. For the necessary theory of Voronoi we provide complete proofs based on Ryshkov polyhedra. This allows a very natural generalization to $T$-perfect forms, which are perfect with respect to a linear subspace $T$ in the space of quadrati…
In this paper we study couples of finite separable extensions of the function field $\mathbb{F}_q(T)$ which are arithmetically equivalent, i.e. such that prime ideals of $\mathbb{F}_q[T]$ decompose with the same inertia degrees in the two fields, up to finitely many exceptions. In the first part of this work, we extend previous results by Cornelissen, Kontogeorgis and Van der Zalm to the case of non-geometric extensions of $\mathbb{F}_q(T)$, which are fields such that their field of constants may be bigger than $\mathbb{F}_q$. In the second part, we explicitly produce examples of non-geometric…
A (positive definite and integral) quadratic form $f$ is said to be $\textit{universal}$ if it represents all positive integers, and is said to be $\textit{primitively universal}$ if it represents all positive integers primitively. We also say $f$ is $\textit{primitively almost universal}$ if it represents almost all positive integers primitively. Conway and Schneeberger proved (see [1]) that there are exactly $204$ equivalence classes of universal quaternary quadratic forms. Recently, Earnest and Gunawardana proved in [4] that among $204$ equivalence classes of universal quaternary quadratic …
Let $φ$ and $ψ$ be quadratic forms over a field $K$ of characteristic different from 2. In this paper, we give a criterion for isotropy of $φ$ over the function field of $ψ$ in terms of representations and we apply it to stably birational equivalence of $φ$ and $ψ$. Then we use this criterion to investigate the case of stably birational equivalence of multiples of Pfister forms. Finally, we give a a criterion of stably birational equivalence of quadratic forms in terms of isomorphisms of quotients of special Clifford groups by the kernel of the spinor norm.
We develop the relation between hyperbolic geometry and arithmetic equidistribution problems that arises from the action of arithmetic groups on real hyperbolic spaces, especially in dimension up to 5. We prove generalisations of Mertens' formula for quadratic imaginary number fields and definite quaternion algebras over the rational numbers, counting results of quadratic irrationals with respect to two different natural complexities, and counting results of representations of (algebraic) integers by binary quadratic, Hermitian and Hamiltonian forms with error bounds. For each such statement, …
A collection $\mathcal S$ of equivalence classes of positive definite integral quadratic forms in $n$ variables is called an $n$-exceptional set if there exists a positive definite integral quadratic form which represents all equivalence classes of positive definite integral quadratic forms in $n$ variables except those in $\mathcal S$. We show that, among other results, for any given positive integers $m$ and $n$, there is always an $n$-exceptional set of size $m$ and there are only finitely many of them.
We propose a randomized polynomial time algorithm for computing nontrivial zeros of quadratic forms in 4 or more variables over $\mathbb{F}_q(t)$, where $\mathbb{F}_q$ is a finite field of odd characteristic. The algorithm is based on a suitable splitting of the form into two forms and finding a common value they both represent. We make use of an effective formula for the number of fixed degree irreducible polynomials in a given residue class. We apply our algorithms for computing a Witt decomposition of a quadratic form, for computing an explicit isometry between quadratic forms and finding z…
A quadratic form has a one-class spinor genus if its spinor genus consists of a single equivalence class. In this paper, we determine that there is only one primitive quaternary genus which has a one-class spinor genus but not a one-class genus. In all other cases, the genera of primitive quaternary lattices either have a genus and spinor genus which coincide, or the the genus splits into multiple spinor genera, which in turn split into multiple equivalence classes.
Given an S-arithmetic group, we ask how much information on the ambient algebraic group, number field of definition, and set of places S is encoded in the commensurability class of the profinite completion. As a first step, we show that the profinite commensurability class of a higher rank S-arithmetic group determines the number field up to arithmetical equivalence and the places in S above unramified primes. We include applications to profiniteness questions of group invariants.
We relate proper isometry classes of maximal lattices in a totally definite quaternary quadratic space (V,q) with trivial discriminant to certain equivalence classes of ideals in the quaternion algebra representing the Clifford invariant of (V,q). This yields a good algorithm to enumerate a system of representatives of proper isometry classes of lattices in genera of maximal lattices in (V,q).
We compute invariants of quadratic forms associated to orthogonal hypergeometric groups of degree five. This allows us to determine some commensurabilities between these groups, as well as to say when some thin groups cannot be conjugate to each other.
Spectra of suitably chosen Pisot-Vijayaraghavan numbers represent non-trivial examples of self-similar Delone point sets of finite local complexity, indispensable in quasicrystal modeling. For the case of quadratic Pisot units we characterize, dependingly on digits in the corresponding numeration systems, the spectra which are bounded distance to an average lattice. Our method stems in interpretation of the spectra in the frame of the cut-and-project method. Such structures are coded by an infinite word over a finite alphabet which enables us to exploit combinatorial notions such as balancedne…
For an infinite family of monogenic trinomials $P(X) = X^3\pm 3rbX-b$ in $\mathbb{Z}\lbrack X\rbrack$, arithmetical invariants of the cubic number field $L = \mathbb{Q}(θ)$, generated by a zero $θ$ of $P(X)$, and of its Galois closure $N = L(\sqrt{d(L)})$ are determined. The conductor $f$ of the cyclic cubic relative extension $N/K$, where $K = \mathbb{Q}(\sqrt{d(L)})$ denotes the unique quadratic subfield of $N$, is proved to be of the form $3^eb$ with $e\in\lbrace 1,2\rbrace$, which admits statements concerning primitive ambiguous principal ideals, lattice minima, and independent units in $L…
We establish a novel connection between algebraic number theory and knot theory. We show that the number of equivalence classes of integral binary quadratic forms of discriminant $t^2 - 4$ (for $t\neq \pm 2$) is equal to the number of isotopy classes of links in $\mathbb{S}^3$ with prescribed values (depending on $t$) of three classical link invariants. The equality arises from a natural algebraic correspondence between integral binary quadratic forms (of discriminant $t^2 - 4$ for $t\neq \pm 2$) and isotopy classes of links of braid index at most three. In particular, the class numbers of cer…
