-sequences

A sequence of positive integers is called a -sequence if every integer has at most representations with all in and . A -sequence is also called a -sequence or Sidon sequence. The main result is the following

Theorem. Let be a -sequence and for an integer . Then there is a -sequence of size , where .

Corollary. Let . The interval then contains a -sequence of size , when .

     

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.

     

Surfaces with pg=q=3

 In this paper it is proved that a complete algebraic surface of general type with p _g =q=3, without irrational pencil of genus bigger than one is birationally equivalent to the two-symmetric product of a curve of genus 3. This result completes the classification of the surfaces with p _g =q=3. The main tools are the Lefschetz theorem and the use of the paracanonical system on the surface. Received 14 August 2001 / Revised version: 17 January 2002     

Decomposing a -manifold

A splitting of a manifold in Kirby's problem list (no. 4.97) is given.

     

A Threefold of General Type with q 1=q 2=p g =P 2=0

One of the problems in classifying nonsingular threefolds of general type with p _g =0 lies in finding the range of the bigenus P ₂ (surfaces of general type with p _g =0 have 2P ₂10). Another problem involves finding the minimum integer m such that the m-canonical map _|mK| is birational for any threefold (m=5 in the case of surfaces). An example of a nonsingular threefold X of general type with q ₁=q ₂=0, p _g =P ₂=0,P ₃=1 is presented. In addition, the m-canonical map of X is birational if and only if m14. The threefold is obtained as a nonsingular model of a degree ten hypersurface in P ⁴ _C with the affine equation t ²=f ₁₀(x,y,z).     

Every -regular

We prove the following: Theorem A. If is a -regular ultrafilter, then either

(a)

is -regular, or

(b)

the cofinality of the linear order is , and is -regular for all .

Corollary B. Suppose that is singular, and either is regular, or . Then every -regular ultrafilter is -regular.

We also discuss some consequences and variations.

     

coefficients

Let be a system of real smooth vector fields, satisfying Hörmander's condition in some bounded domain (). We consider the differential operator

where the coefficients are real valued, bounded measurable functions, satisfying the uniform ellipticity condition:

for a.e. , every , some constant . Moreover, we assume that the coefficients belong to the space VMO (``Vanishing Mean Oscillation'), defined with respect to the subelliptic metric induced by the vector fields . We prove the following local -estimate:

for every , . We also prove the local Hölder continuity for solutions to for any with large enough. Finally, we prove -estimates for higher order derivatives of , whenever and the coefficients are more regular.

     

The

ROSSER and SCHOENFELD have used the fact that the first 3,500,000 zeros of the RIEMANN zeta function lie on the critical line to give estimates on and . With an improvement of the above result by BRENTet al., we are able to improve these estimates and to show that the prime is greater than for . We give further results without proof.

     

关于算子方程AX=XAX与AX=XA=XAX

用A的不变子空间作参数，给出了算子方程AX＝XAX的全部解。当A是单射或稠值域时，或者当A是正规算子时，给出了算子方程AX＝XA＝XAX的全部解。我们还给出正规算子X是算子方程AX＝XZ＝XAX的解的充分必要条件。     

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 .

     

Willmore Functionals

We prove some integral inequalities for immersed tori in the three sphere. The functionals considered are generalizations of the Willmore functional.

     

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.

     

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.

     

Order -adic field

Let be an algebraically closed field of characteristic the ring of Witt vectors and a complete discrete valuation ring dominating and containing a primitive -th root of unity. Let denote a uniformizing parameter for We study order automorphisms of the formal power series ring which are defined by a series

The set of fixed points of is denoted by and we suppose that they are -rational and that for Let be the minimal semi-stable model of the -adic open disc over in which specializes to distinct smooth points. We study the differential data that can be associated to each irreducible component of the special fibre of Using this data we show that if , then the fixed points are equidistant, and that there are only a finite number of conjugacy classes of order automorphisms in which are not the identity

     

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 , .

     

The Pontryagin -form

The unit -planes on which the first Pontryagin form of the Grassmann manifolds achieves its maximum are determined. This is a shorter and unified proof of results first obtained in 1995 by H. Gluck et al. and in 1998 by W. Gu.