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 .     

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

     

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

     

Volumes and diophantine inequalities associated with decomposable forms

For homogeneous decomposable forms in n variables with real coefficients, we consider the associated volume of all real solutions to the inequality . We relate this to the number of integral solutions to the Diophantine inequality in the case where F has rational coefficients. We find quantities which bound the volume and which yield good upper bounds on the number of solutions to the Diophantine inequality in the rational case.     

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.     

On Wolstenholme's theorem and its converse

For any positive integer n, let . Wolstenholme proved that if p is a prime ?5, then . The converse of Wolstenholme's theorem, which has been conjectured to be true, remains an open problem. In this article, we establish several relations and congruences satisfied by the numbers wn, and we deduce that this converse holds for many infinite families of composite integers n. In passing, we obtain a number of congruences satisfied by certain classes of binomial coefficients, and involving the Bernoulli numbers.     

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.     

The distribution of patterns of inverses modulo a prime

We investigate the distribution of the numbers x∈[1,p] for which all lie in a subset of the set of multiplicative inverses modulo a prime p. Here the a_i are integers coprime to p and the numbers are distinct .     

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.     

Arithmetical properties of wendt's determinant

Wendt's determinant of order n is the circulant determinant W_n whose (i,j)-th entry is the binomial coefficient , for 1?i,j?n, where n is a positive integer. We establish some congruence relations satisfied by these rational integers. Thus, if p is a prime number and k a positive integer, then and . If q is another prime, distinct from p, and h any positive integer, then . Furthermore, if p is odd, then . In particular, if p?5, then . Also, if m and n are relatively prime positive integers, then W_mW_n divides W_mn.     

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

     

The ring of quasimodular forms for a cocompact group

We describe the additive structure of the graded ring of quasimodular forms over any discrete and cocompact group Γ⊂PSL(2,R). We show that this ring is never finitely generated. We calculate the exact number of new generators in each weight k. This number is constant for k sufficiently large and equals where I and are the ideals of modular forms and quasimodular forms, respectively, of positive weight. We show that is contained in some finitely generated ring of meromorphic quasimodular forms with i.e., the same order of growth as      

Complete decomposition of Dickson-type polynomials and related Diophantine equations

We characterize decomposition over C of polynomials defined by the generalized Dickson-type recursive relation (n?1)

     

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 analogue of Hilbert's 10th problem for fields of meromorphic functions over non-Archimedean valued fields

Let K be a complete and algebraically closed valued field of characteristic 0. We prove that the set of rational integers is positive existentially definable in the field of meromorphic functions on K in the language of rings augmented by a constant symbol for the independent variable z and by a symbol for the unary relation “the function x takes the value 0 at 0”. Consequently, we prove that the positive existential theory of in the language is undecidable. In order to obtain these results, we obtain a complete characterization of all analytic projective maps (over K) from an elliptic curve minus a point to , for any elliptic curve defined over the field of constants.