Related papers: Binary Quadratic Forms and Counterexamples to Hass…
We establish asymptotic formulae for the number of biquadratic number fields of bounded discriminant that can be embedded into a quaternionic or a dihedral extension. To prove these results, we express the solvability of these inverse…
In this paper, the theory of elliptic curves is used for finding the solutions of the quartic Diophantine equation $X^4+Y^4=2(U^4+V^4)$ Keywords: Diophantine equation, Elliptic curve, Congruent number
We study systems of polynomial equations in several classes of finitely generated rings and algebras. For each ring $R$ (or algebra) in one of these classes we obtain an interpretation by systems of equations of a ring of integers $O$ of a…
This article reports the occurrence of binary quadratic forms in primitive Pythagorean triangles and their geometric interpretation. In addition to the well-known fact that the hypotenuse, z, of a right triangle, with sides of integral…
We give criteria of the solvability of the diophantine equation $p=x^2+ny^2$ over some imaginary quadratic fields where $p$ is a prime element. The criteria becomes quite simple in special cases.
An integral quadratic form is called strictly $n$-regular if it primitively represents all quadratic forms in $n$ variables that are primitively represented by its genus. For any $n \geq 2$, it will be shown that there are only finitely…
We first review some invariant theoretic results about the finite subgroups of SU(2) in a quick algebraic way by using the McKay correspondence and quantum affine Cartan matrices. By the way it turns out that some parameters (a,b,h;p,q,r)…
The Heisenberg double of a Hopf algebra may be regarded as a quantum analogue of the cotangent bundle of a Lie group. Quantum duality principle describes relations between a Hopf algebra, its dual, and their Heisenberg double in a way which…
We show that the Burkhardt quartic threefold is rational over any field of characteristic distinct from 3. We compute its zeta function over finite fields. We realize one of its moduli interpretations explicitly by determining a model for…
In this methodological paper, we first review the classic cubic Diophantine equation $a^3 + b^3 + c^3 = d^3$, and consider the specific class of solutions $q_1^3 + q_2^3 + q_3^3 = q_4^3$ with each $q_i$ being a binary quadratic form. Next…
A quadratic form over a non-archimedian local field of characteristic zero $F$ is called universal if it is integral and it represents all non-zero integers of $F$. Xu Fei and Zhang Yang determined all universal quadratic forms in the case…
H. J. S. Smith proved Fermat's two-square theorem using the notion of palindromic continuants. In this paper we extend Smith's approach to proper binary quadratic form representations in some commutative Euclidean rings, including rings of…
Recently, the authors showed that for every irrational number $\alpha$, there exist infinitely many positive integers $n$ represented by any given positive definite binary quadratic form $Q$, satisfying $||\alpha n||<n^{-(1/2-\varepsilon)}$…
We present an alternative account of the problem of classifying and finding normal forms for arbitrary bilinear forms. Beginning from basic results developed by Riehm, our solution to this problem hinges on the classification of…
We study singularities obtained by the contraction of the maximal divisor in compact (non kaehlerian) surfaces which contain global spherical shells. These singularities are of genus 1 or 2, may be Q-Gorenstein, numerically Gorenstein or…
We investigate exponential sums over singular binary quartic forms, proving an explicit formula for the finite field Fourier transform of this set. Our formula shares much in common with analogous formulas proved previously for other vector…
Section 235 of Gauss' fundamental treatise "Disquisitiones Arithmeticae" establishes basic properties that compositions of binary quadratic forms must satisfy. Although this section is very technical, it contains truly important results. We…
Clifford geometric algebras of multivectors are introduced which exhibit a bilinear form which is not necessarily symmetric. Looking at a subset of bi-vectors in CL(K^{2n},B), we proof that theses elements generate the Hecke algebra…
We study the fundamental relationship between stable quotient invariants and the B-model for local CP2 in all genera. Our main result is a direct geometric proof of the holomorphic anomaly equation in the precise form predicted by B-model…
The existence of rational points on Kummer varieties associated to 2-coverings of abelian varieties over number fields can sometimes be proved through the variation of the Selmer group in the family of quadratic twists of the underlying…