We prove the local-global principle holds for the problem of representations of quadratic forms by quadratic forms, in codimension $\geq 7$. The proof uses the ergodic theory of $p$-adic groups, together with a fairly general observation on the structure of orbits of an arithmetic group acting on integral points of a variety.
Employing Brüdern's and Wooley's new complification method, we establish an asymptotic Hasse principle for the number of solutions to a system of r_3 cubic and r_2 quadratic diagonal forms, when the number of cubic equations is at least double the number of quadratic forms. The number of variables required is lower than in earlier work. In particular, we achieve essentially square root cancellation for systems of one quadratic and arbitrarily many cubic equations.
After a brief introduction to the classical theory of binary quadratic forms we use these results for proving (most of) the claims made by Pépin in a series of articles on unsolvable quartic diophantine equations, and for constructing families of counterexamples to the Hasse Principle for curves of genus 1 defined by equations of the form $ax^4 + by^4 = z^2$.
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 this is also true for G-quadratic forms, where G is a finite group. In the case of number fields the Hasse principle for G-quadratic forms does not hold in general, as shown by Jorge Morales. The aim of this paper is to study this question when k is a global field of positive characteristic. We give a sufficient criterion for the Hasse principle to hold, an…
This paper presents an adaptation of recently developed algorithms for quadratic forms over number fields in arXiv:1304.0708 to global function fields of odd characteristics. First, we present algorithm for checking if a given non-degenerate quadratic form is isotropic or hyperbolic. Next we devise a method for computing the dimension of the anisotropic part of a quadratic form. Finally we present algorithms computing two field invariants: the level and the Pythagoras number.
Let $K$ be a number field, $f\in K[x]$ a quadratic polynomial, and $n\in\{1,2,3\}$. We show that if $f$ has a point of period $n$ in every non-archimedean completion of $K$, then $f$ has a point of period $n$ in $K$. For $n\in\{4,5\}$ we show that there exist at most finitely many linear conjugacy classes of quadratic polynomials over $K$ for which this local-global principle fails. By considering a stronger form of this principle, we strengthen global results obtained by Morton and Flynn-Poonen-Schaefer in the case $K=\mathbf Q$. More precisely, we show that for every quadratic polynomial $f\…
We show that the theorem of Ellenberg and Venkatesh on representation of integral quadratic forms by integral positive definite quadratic forms is valid under weaker conditions on the represented form.
Let $ K $ be a global function field of characteristic $ 2 $. For each non-trivial place $ v $ of $ K $, let $ K_{v} $ be the completion of $ K $ at $ v $. We show that if two non-degenerate quadratic forms are similar over every $ K_{v} $, then they are similar over $ K $. This provides an analogue of the version for characteristic not $ 2 $ previously obtained by T.Ono.
Let $q$ be a unimodular quadratic form over a field $K$. Pfister's famous local--global principle asserts that $q$ represents a torsion class in the Witt group of $K$ if and only if it has signature $0$, and that in this case, the order of Witt class of $q$ is a power of $2$. We give two analogues of this result to systems of quadratic forms, the second of which applying only to nonsingular pairs. We also prove a counterpart of Pfister's theorem for finite-dimensional $K$-algebras with involution, generalizing a result of Lewis and Unger.
Let $A$ and $A'$ be abelian varieties defined over a number field $k$ of dimension $g\geq 1$. For $g\leq 3$, we show that the following local-global principle holds: $A$ and $A'$ are quadratic twists of each other if and only if, for almost all primes $\mathfrak p$ of $k$ of good reduction for $A$ and $A'$, the reductions $A_{\mathfrak p}$ and $A'_{\mathfrak p}$ are quadratic twists of each other. This result is known when $g=1$, in which case it has appeared in works by Kings, Rajan, Ramakrishnan, and Serre. We provide an example that violates this local-global principle in dimension $g=4$.
In this paper, I use Siegel-Weil formula and Kudla matching principle to prove some interesting identities between representation number (of ternary quadratic space) and the degree of Heegner divisors.
We study the failure of a local-global principle for the existence of $l$-isogenies for elliptic curves over number fields $K$. Sutherland has shown that over $\mathbb{Q}$ there is just one failure, which occurs for $l=7$ and a unique $j$-invariant, and has given a classification of such failures when $K$ does not contain the quadratic subfield of the $l$'th cyclotomic field. In this paper we provide a classification of failures for number fields which do contain this quadratic field, and we find a new `exceptional' source of such failures arising from the exceptional subgroups of $\mbox{PGL}_…
We prove the Hasse principle and weak approximation for varieties defined over number fields by the nonsingular intersection of pairs of quadratic forms in 8 variables. The argument develops work of Colliot-Thelene, Sansuc and Swinnerton-Dyer, and centres on a purely local problem about forms which split off 3 hyperbolic planes.
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 tha…
The goal of this note is to provide an analysis of the positive integers that are represented everywhere locally, but not globally, by each of the 29 spinor regular positive definite integral ternary quadratic forms that are not regular.
Let $R$ be a 2-dimensional normal excellent henselian local domain in which 2 is invertible and let $L$ and $k$ be respectively its fraction field and residue field. Let $Ω_R$ be the set of rank 1 discrete valuations of $L$ corresponding to codimension 1 points of regular proper models of $\Spec R$. We prove that a quadratic form $q$ over $L$ satisfies the local-global principle with respect to $Ω_R$ in the following two cases: (1) $q$ has rank 3 or 4; (2) $q$ has rank $\ge 5$ and $R=A[y]$, where $A$ is a complete discrete valuation ring with a not too restrictive condition on the residue fiel…
Let $L$ be a separable quadratic extension of either $\mathbb{Q}$ or $\mathbb{F}_q(t)$. We propose efficient algorithms for finding isomorphisms between quaternion algebras over $L$. Our techniques are based on computing maximal one-sided ideals of the corestriction of a central simple $L$-algebra.
For quadratic forms in $4$ variables defined over the rational function field in one variable over $\mathbb C(\!(t)\!)$, the validity of the local-global principle for isotropy with respect to different sets of discrete valuations is examined.
Let $K/k$ be an extension of number fields, and let $P(t)$ be a quadratic polynomial over $k$. Let $X$ be the affine variety defined by $P(t) = N_{K/k}(\mathbf{z})$. We study the Hasse principle and weak approximation for $X$ in three cases. For $[K:k]=4$ and $P(t)$ irreducible over $k$ and split in $K$, we prove the Hasse principle and weak approximation. For $k=\mathbb{Q}$ with arbitrary $K$, we show that the Brauer-Manin obstruction to the Hasse principle and weak approximation is the only one. For $[K:k]=4$ and $P(t)$ irreducible over $k$, we determine the Brauer group of smooth proper mod…
Hardy and Littlewood's approximate functional equation for quadratic Weyl sums (theta sums) provides, by iterative application, a powerful tool for the asymptotic analysis of such sums. The classical Jacobi theta function, on the other hand, satisfies an exact functional equation, and extends to an automorphic function on the Jacobi group. In the present study we construct a related, almost everywhere non-differentiable automorphic function, which approximates quadratic Weyl sums up to an error of order one, uniformly in the summation range. This not only implies the approximate functional equ…
We investigate local-global principles for Galois cohomology, in the context of function fields of curves over semi-global fields. This extends work of Kato's on the case of function fields of curves over global fields.
Let $K$ be a global field of positive characteristic. We prove that the Brauer-Manin obstructions to the Hasse principle, to weak approximation and to strong approximation are the only ones for homogeneous spaces of reductive groups with reductive stabilizers. The methods involve abelianization techniques and arithmetic duality theorems for complexes of tori over K.