Related papers: Binary Quadratic Forms and Counterexamples to Hass…

Fix a number field k. We prove that k* - k*^2 is diophantine over k. This is deduced from a theorem that for a nonconstant separable polynomial P(x) in k[x], there are at most finitely many a in k* modulo squares such that there is a…

Let $p$ be a prime number and $n$ a positive integer. Let $E$ be an elliptic curve defined over a number field $k$. It is known that the local-global divisibility by $p$ holds in $E/k$, but for powers of $p^n$ counterexamples may appear.…

For any nonzero $h\in\mathbb{Z}$, we prove that a positive proportion of integral binary cubic forms $F$ do locally everywhere represent $h$ but do not globally represent $h$; that is, a positive proportion of cubic Thue equations…

We study the integral Brauer--Manin obstruction for affine diagonal cubic surfaces, which we employ to construct the first counterexamples to the integral Hasse principle in this setting. We then count in three natural ways how such…

In this paper we investigate the quantity of diagonal quartic surfaces $a_0 X_0^4 + a_1 X_1^4 + a_2 X_2^4 +a_3 X_3^4 = 0$ which have a Brauer-Manin obstruction to the Hasse principle. We are able to find an asymptotic formula for the…

In this work we prove a prime number type theorem involving the normalised Fourier coefficients of holomorphic and Maass cusp forms, using the classical circle method. A key point is in a recent paper of Fouvry and Ganguly, based on…

We prove that for any t in Q, the curve 5 x^3 + 9 y^3 + 10 z^3 + 12((t^12-t^4-1)/(t^12-t^8-1))^3 (x+y+z)^3 = 0 in P^2 is a genus 1 curve violating the Hasse principle. An explicit Weierstrass model for its Jacobian E_t is given. The…

Using the circle method in combination with lattice point counting arguments, we show that for almost all homogeneous diophantine equations of additive type and degree $k$ in more than $4k$ variables, the Local-Global principle holds true.…

In response to a question of B. Poonen, we exhibit for each global field k an algebraic curve over k which violates the Hasse Principle. In fact we can find such examples among Atkin-Lehner twists of certain elliptic modular curves and --…

We propose a conjecture, similar to Skolem's conjecture, on a Hasse-type principle for exponential diophantine equations. We prove that in a sense the principle is valid for "almost all" equations. Based upon this we propose a general…

We use composition of binary quadratic forms to systematically create pairs of Seifert surfaces that are non-isotopic in the four-ball. Our main topological result employs Gauss composition to classify the pairs of binary quadratic forms…

In this paper we provide criteria for the insolvability of the Diophantine equation $x^2+D=y^n$. This result is then used to determine the class number of the quadratic field $\mathbb{Q}(\sqrt{-D})$. We also determine some criteria for the…

Counting integral binary quadratic forms with certain restrictions is a classical problem. In this paper, we count binary quadratic forms of fixed discriminant given restrictions on the size of their coefficients. We accomplish this by…

We define noncommutative binary forms. Using the typical representation of Hermite we prove the fundamental theorem of algebra and we derive a noncommutative Cardano formula for cubic forms. We define quantized elliptic and hyperelliptic…

Working on Berkovich analytic curves, we propose a geometric approach to the study of the Hasse principle over function fields of curves defined over a complete discretely valued field. Using it, we show the Hasse principle to be verified…

We establish a quantitative version of Oppenheim's conjecture for generic ternary indefinite quadratic forms using an analytic number theory approach. The statements come with power gains and in some cases are essentially optimal

We study functions introduced by Knopp and complete them to non-holomorphic bimodular forms of positive integral weight related to indefinite binary quadratic forms. We investigate further properties of our completions, which in turn…

We discuss multiplicative properties of the binary quadratic form $a x^2 + b x y + c y^2$ by considering a ring of matrices which is closed under a triple product. We prove that the ring forms a ternary algebra in the sense of Hestenes, and…

A positive definite and integral quadratic form $f$ is called irrecoverable if there is a quadratic form $F$ such that it represents all proper subforms of $f$, whereas it does not represent $f$ itself. In this case, $F$ is called an…

Let k be a global field of characteristic not 2. The classical Hasse-Minkowski theorem states that if two quadratic forms become isomorphic over all the completions of k, then they are isomorphic over k as well. It is natural to ask whether…