Quartic residues and binary quadratic forms

Let be a prime, m∈Z and . In this paper we obtain a general criterion for m to be a quartic residue in terms of appropriate binary quadratic forms. Let d>1 be a squarefree integer such that , where is the Legendre symbol, and let ε_d be the fundamental unit of the quadratic field . Since 1942 many mathematicians tried to characterize those primes p so that ε_d is a quadratic or quartic residue . In this paper we will completely solve these open problems by determining the value of , where p is an odd prime, and . As an application we also obtain a general criterion for , where {u_n(a,b)} is the Lucas sequence defined by and .     

When subset-sums do not cover all the residues modulo p

Let . We prove that a subset of , where p is a prime number, with cardinality larger than such that its subset sums do not cover has an automorphic image which is rather concentrated; more precisely, there exists s prime to p such that

     

Rationality of exponential functions at integer arguments

Whereas exponential equations have been widely studied, we will deal with integer arguments where an exponential function assumes rational values.     

Uniform bounds on the number of rational points of a family of curves of genus 2

We exhibit a genus-2 curve defined over which admits two independent morphisms to a rank-1 elliptic curve defined over . We describe completely the set of -rational points of the curve and obtain a uniform bound on the number of -rational points of a rational specialization of the curve for a certain (possibly infinite) set of values . Furthermore, for this set of values we describe completely the set of -rational points of the curve . Finally, we show how these results can be strengthened assuming a height conjecture of Lang.     

Enumeration of isomorphism classes of extensions of p-adic fields

Let Ω be an algebraic closure of and let F be a finite extension of contained in Ω. Given positive integers f and e, the number of extensions K/F contained in Ω with residue degree f and ramification index e was computed by Krasner. This paper is concerned with the number of F-isomorphism classes of such extensions. We determine completely when p2?e and get partial results when p2||e. When s is large, is equal to the number of isomorphism classes of finite commutative chain rings with residue field , ramification index e, and length s.     

Congruences involving Bernoulli and Euler numbers

Let [x] be the integral part of x. Let p>5 be a prime. In the paper we mainly determine , , and in terms of Euler and Bernoulli numbers. For example, we have

     

Realizable classes of tetrahedral extensions

Let k be a number field and O_k its ring of integers. Let Γ be the alternating group A₄. Let be a maximal O_k-order in k[Γ] containing O_k[Γ] and its class group. We denote by the set of realizable classes, that is the set of classes such that there exists a Galois extension N/k at most tamely ramified, with Galois group isomorphic to Γ, for which the class of is equal to c, where O_N is the ring of integers of N. In this article we determine and we prove that it is a subgroup of provided that k and the 3rd cyclotomic field of are linearly disjoint, and the class number of k is odd.     

The structure of analytic τ-sheaves

Let R be a complete discrete valuation -algebra whose residue field is algebraic over , and let K denote its fraction field. In this paper, we study the structure of τ-sheaves M without good reduction on the curve , seen as a rigid analytic space. One motivation is the Tate uniformization theorem for t-motives of Drinfeld modules, which we want to extend to general τ-sheaves. On the other hand, we are interested in the action of inertia on a generic Tate module T_?(M) of M.For a given τ-sheaf M on , we prove the existence of a maximal model for M on , an R-model of , and, over a finite separable extension R′ of R, of nondegenerate models for M.We prove the following ‘semistability’ theorem: there exists a finite extension K′ of K, a nonempty open subscheme C′⊂C, and a filtration

     

Quadratic addition rules for quantum integers

For every positive integer n, the quantum integer [n]_q is the polynomial [n]_q=1+q+q²+?+q^n-1. A quadratic addition rule for quantum integers consists of sequences of polynomials , , and such that for all m and n. This paper gives a complete classification of quadratic addition rules, and also considers sequences of polynomials that satisfy the associated functional equation .     

An alternate proof of Cohn's four squares theorem

While various techniques have been used to demonstrate the classical four squares theorem for the rational integers, the method of modular forms of two variables has been the standard way of dealing with sums of squares problems for integers in quadratic fields. The case of representations by sums of four squares in was resolved by Götzky, while those of and were resolved by Cohn. These efforts utilized modular forms. In previous work, the author was able to demonstrate Götzky's theorem by means of the geometry of numbers. Here Cohn's theorem on representation by the sum of four squares for is proven by a combination of geometry of numbers and quaternionic techniques.     

The density of 0's in recurrence double sequences

Let be a double sequence over a finite field satisfying a linear recurrence with constant coefficients, with at most finitely many nonzero elements on each row. Given a nonzero element g of , we show how to obtain an explicit formula for the number of g's in the first qⁿ rows of A. We also characterize the cases when the density of 0's is 1.     

The distribution of prime ideals in a real quadratic field with units having a given index in the residue class field

Let k be a real quadratic number field and the ring of integers and the group of units in k. Denote by the subgroup represented by elements of E of for a prime ideal in k. We show that for a given positive rational integer a, the set of prime numbers p for which the residual index of for lying above p is equal to a has a natural density c under the Generalized Riemann Hypothesis. Moreover, we give the explicit formula of c and conditions to c=0.     

Kloosterman's uniformly distributed sequence

Applying the theory of uniform distribution, especially the Erdös-Turán-Koksma inequality and the Koksma-Hlawka inequality, to the two-dimensional Kloosterman sequence , j=1,2,…,?(n) (where , and ?(n) is the Euler function) we find an estimation for the discrepancy of this sequence and an error term for the Kth moment, K=1,2,…, of the sequence of distances as

     

On a theorem of Chowla

Let be a finite field with q=p^felements, where p is a prime number and f is a positive integer. For a nonprincipal multiplicative character χ and a nontrivial additive character ψ on , it is well known that Gauss sum has absolute value . In this paper, we investigate when is a root of unity.