-bounding and -induction

Working in the base theory of , we show that for all , the bounding principle for -formulas ( ) is equivalent to the induction principle for -formulas ( ). This partially answers a question of J. Paris.

     

Local existence of -sets, projective tensor products, and Arens regularity for

Theorem. If are perfect compact subsets of the locally compact metrizable abelian group, then there are pairwise disjoint perfect subsets such that (i) is either a Kronecker set or (ii) for some , is a translate of a -set all of whose elements have order , and (iii) is isomorphic to the projective tensor product .

This extends what was previously known for groups such as or for the case to the general locally compact abelian group. Old results concerning the local existence of Kronecker and -sets are improved.

     

-adic -basis and regular local ring

We introduce the concept of -adic -basis as an extension of the concept of -basis. Let be a regular local ring of prime characteristic and a ring such that . Then we prove that is a regular local ring if and only if there exists an -adic -basis of and is Noetherian.

     

Pseudocompact spaces and -spaces

Let be a completely regular Hausdorff space, and let be the space of continuous real-valued functions on endowed with the compact-open topology. We find various equivalent conditions for to be a -space, resolving an old question of Jarchow and consolidating work by Jarchow, Mazon, McCoy and Todd. Included are analytic characterizations of pseudocompactness and an example that shows that, for , Grothendieck's -spaces do not coincide with Jarchow's -spaces. Any such example necessarily answers a thirty-year-old question on weak barrelledness properties for , our original motivation.

     

Morava -theory of extraspecial -groups

We compute the Morava -theory of some extraspecial 2-groups and associated compact groups.

     

On -extensions in characteristic

We study the relationship between generic polynomials and generic extensions over a finite ground field, using dihedral extensions as an example.

     

Triangular actions on

Every locally trivial action of the additive group of complex numbers on four-dimensional complex affine space that is given by a triangular derivation is conjugate to a translation. A criterion for a proper action on complex affine -space to be locally trivial is given, along with an example showing that the hypotheses of the criterion are sharp.

     

On the elliptic equation on

In this paper we consider the existence problem for the elliptic equation on , which arises in the study of conformal deformation of the hyperbolic disc. We prove an existence result for the above equation.

     

Interpolation between and

We show that if is a rearrangement invariant space on that is an interpolation space between and and for which we have only a one-sided estimate of the Boyd index 1/p, 1 < p < \infty$">, then is an interpolation space between and . This gives a positive answer for a question posed by Semenov. We also present the one-sided interpolation theorem about operators of strong type and weak type .

     

A remark on the homomorphism on

Let be a real compact space. Without using the axiom of choice we present a simple and direct proof that a non-zero homomorphism on is determined by a point.

     

The number of Hall -subgroups of a -separable group

We observe a simple formula to compute the number of Hall -subgroups of a -separable finite group in terms of only the action of a fixed Hall -subgroup of on a set of normal -sections of . As a consequence, we obtain that divides whenever is a subgroup of a finite -separable group . This generalizes a recent result of Navarro. In addition, our method gives an alternative proof of Navarro's result.

     

A uniform Fourier restriction theorem for surfaces in

We establish a uniform Fourier restriction estimate for certain hypersurfaces in .

     

Subspaces of

The relationship of the Hardy space and the space of integrable functions is examined in terms of intermediate spaces of functions that are described as sums of atoms. It is proved that these spaces have dual spaces that lie between the space of functions of bounded mean oscillation, , and . Furthermore, the spaces intermediate to and are shown to be dual to spaces similar to the space of functions of vanishing mean oscillation. The proofs are extensions of classical proofs.

     

Contact structures on elliptic -manifolds

We show that an oriented elliptic -manifold admits a universally tight positive contact structure if and only if the corresponding group of deck transformations on (after possibly conjugating by an isometry) preserves the standard contact structure.

We also relate universally tight contact structures on -manifolds covered by to the isomorphism .

The main tool used is equivariant framings of -manifolds.

     

On extension of isometries between unit spheres of -spaces

In this paper, we study the extension of isometries between unit spheres of atomic -spaces . We find a condition under which an isometry between unit spheres can be linearly isometrically extended. Moreover, we prove that every onto isometry between unit spheres of atomic -spaces can be linearly isometrically extended to the whole space.

     

There are many -degrees in the random reals

We prove that there are many -degrees in the random reals.

     

Class numbers of quadratic fields and

Let be a square free integer. We shall show that there exist infinitely many positive fundamental discriminants 0$"> with a positive density such that the class numbers of quadratic fields and are both not divisible by 3.

     

Spectrally bounded -derivations on Banach algebras

Applying the density theorem on algebras with -derivations, we show that if a -derivation of a unital Banach algebra is spectrally bounded, then . Also, if and only if , where denotes the spectral radius of .

     

Total curvatures of a closed curve in Euclidean -space

A classical result by J. W. Milnor states that the total curvature of a closed curve in the Euclidean -space is the limit of the total curvatures of polygons inscribed in . In the present paper a similar geometric interpretation is given for all total curvatures , .

     

interval maps not Borel conjugate to any map

We show that there exist interval maps that are not Borel conjugate to any map. These examples can be chosen to be topologically mixing and , for any finite, arbitrarily large .