On the diophantine equation

One of the purposes of this note is to correct the proof of a recent result of Y. Guo & M. Le on the equation . Moreover, we prove that the diophantine equation , , , , , gcd, , has only finitely many solutions, all of which satisfying .

     

New facts

We use ``iterated square sequences' to show that there is an -definable partition such that if is an inner model not containing :

(a)

For some is stationary.

(b)

For each there is a generic extension of in which does not exist and is non-stationary.

This result is then applied to show that if is an inner model without , then some sentence not true in can be forced over .

     

On the recursive sequence

We show that every positive solution of the equation

where , converges to a period two solution.

     

On integers of the form

In this paper we prove that the set of positive odd integers which have no representation of the form , where , are distinct odd primes and are nonnegative integers, has positive lower asymptotic density in the set of all positive odd integers.

     

The Diophantine equation

If and are given positive integers with , then we show that the equation of the title possesses at most one solution in positive integers . Moreover, we give an explicit characterization of this solution, when it exists, in terms of fundamental units of associated quadratic fields. The proof utilizes estimates for linear forms in logarithms of algebraic numbers in conjunction with properties of Pellian equations and the Jacobi symbol and explicit determination of the integer points on certain elliptic curves.

     

Infinite families of solutions of the equation

We give explicit formulas providing two new infinite families of couples of binomial coefficients whose ratio is 2.

     

Free

It has been conjectured that every free algebraic action of the additive group of complex numbers on complex affine three space is conjugate to a global translation. The main result lends support to this conjecture by showing that the morphism to the variety defined by the ring of invariants of the associated action on the coordinate ring is smooth. As a consequence, the graph morphism is an open immersion, and simple proofs of certain cases of the conjecture are obtained.

     

Intersections of and enumerative geometry

The theory of -Cartier divisors on the space of -pointed, genus 0, stable maps to projective space is considered. Generators and Picard numbers are computed. A recursive algorithm computing all top intersection products of -divisors is established. As a corollary, an algorithm computing all characteristic numbers of rational curves in is proven (including simple tangency conditions). Computations of these characteristic numbers are carried out in many examples. The degree of the 1-cuspidal rational locus in the linear system of degree plane curves is explicitly evaluated.

     

Computing

Let denote the Von Mangoldt function and . We describe an elementary method for computing isolated values of . The complexity of the algorithm is time and space. A table of values of for up to is included, and some times of computation are given.

     

On the modular curves

Let denote an elliptic curve over and the modular curve classifying the elliptic curves over such that the representations of in the 7-torsion points of and of are symplectically isomorphic. In case is given by a Weierstraß equation such that the invariant is a square, we exhibit here nontrivial points of . From this we deduce an infinite family of curves for which has at least four nontrivial points.

     

Decomposition of

For any locally compact group , let and be the Fourier and the Fourier-Stieltjes algebras of , respectively. is decomposed as a direct sum of and , where is a subspace of consisting of all elements that satisfy the property: for any and any compact subset , there is an with and such that is characterized by the following: an element is in if and only if, for any there is a compact subset such that for all with and . Note that we do not assume the amenability of . Consequently, we have for all if is noncompact. We will apply this characterization of to investigate the general properties of and we will see that is not a subalgebra of even for abelian locally compact groups. If is an amenable locally compact group, then is the subspace of consisting of all elements with the property that for any compact subset , .

     

Involutions with

Let be a smooth involution on a closed -dimensional manifold such that all Stiefel-Whitney classes of the tangent bundle to each component of the fixed point set of vanish in positive dimension. In this paper, we estimate the least possible lower bound of dim if does not bound.

     

A Fatou theorem for the equation

In one space dimension and for a given function (say such that in some interval), the equation can be thought of as describing the energy per unit volume in a Stefan-type problem where the latent heat of the phase change is given by . Given a solution to this equation, we prove that for a.e. , there exists where is the Radon-Nikodym derivative of the initial trace with respect to Lebesgue measure and are the parabolic ``non-tangential" approach regions. Since only is continuous, while is usually not, does not hold in general.

     

On Eisenstein series and

In this paper, we derive some new identities satisfied by the series using Ramanujan's identities for , and . Our work is motivated by an attempt to develop a theory of elliptic functions to the septic base.

     

The number of primes is finite

For a positive integer let and let . The number of primes of the form is finite, because if , then is divisible by . The heuristic argument is given by which there exists a prime such that for all large ; a computer check however shows that this prime has to be greater than . The conjecture that the numbers are squarefree is not true because .

     

On the Normal Subgroups of

We give a characterization theorem for the -normalized subgroups of , where is any commutative ring. This is the last of the simple Chevalley-Demazure group-schemes for which such a theorem is lacking.

     

Projections from

Let and be two infinite dimensional real Banach spaces. The following question is classical and long-standing. Are the following properties equivalent?

a) There exists a projection from the space of continuous linear operators onto the space of compact linear operators.

b) .

The answer is positive in certain cases, in particular if or has an unconditional basis. It seems that there are few results in the direction of a general solution. For example, suppose that and are reflexive and that or has the approximation property. Then, if , there is no projection of norm 1, from onto . In this paper, one obtains, in particular, the following result:

Theorem. Let be a real Banach space which is reflexive (resp. with a separable dual), of infinite dimension, and such that has the approximation property. Let be a real scalar with . Then can be equivalently renormed such that, for any projection from onto , one has . One gives also various results with two spaces and .

     

Relative completions of linear groups over

We compute the completion of the groups and
relative to the obvious homomorphisms to ; this is a generalization of the classical Malcev completion. We also make partial computations of the rational second cohomology of these groups.