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.

     

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.

     

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.

     

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

     

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.

     

Characterizations of elements with compact support in the dual spaces of -modules of

For a locally compact group and , let be the Figà-Talamanca-Herz algebra and let be its dual Banach space. For a Banach -module of , we denote the norm closure of the subspace of the elements in with compact support by . We prove that an element of is in if and only if for any 0$">, there exists a compact subset of such that for all with and . In particular, we have that an element of is in if and only if for any 0$">, there exists a compact subset of such that for all with . If has an orthogonal complement in , we characterize by the following condition: is in if and only if for any 0$"> and any compact subset of , there exists some with and such that \Vert u\Vert - \epsilon $">. Some results of Flory (1971) and Miao (1999) can be obtained from our main theorems by taking and as some -subalgebras of .

     

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 .

     

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

     

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.

     

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 .

     

A -sampling theorem related to the -Hankel transform

A -version of the sampling theorem is derived using the -Hankel transform introduced by Koornwinder and Swarttouw. The sampling points are the zeros of the third Jackson -Bessel function.

     

Morava -theory of extraspecial -groups

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

     

There are many -degrees in the random reals

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

     

-hypergeometric functions associated to character algebras

In this paper, we obtain certain discrete orthogonal polynomials expressed in terms of the -hypergeometric functions, from the eigenmatrices of character algebras.

     

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.

     

Simple corona -algebras

Let be a non-unital and -unital simple -algebra. We show that if is simple, then is purely infinite. We also show that is simple if and only if has a continuous scale provided that is not isomorphic to the compact operators.

     

Covering by graphs of -ary functions and long linear orderings of Turing degrees

A point is covered by a function iff there is a permutation of such that .

By a theorem of Kuratowski, for every infinite cardinal exactly -ary functions are needed to cover all of . We show that for arbitrarily large uncountable it is consistent that the size of the continuum is and is covered by -ary continuous functions.

We study other cardinal invariants of the -ideal on generated by continuous -ary functions and finally relate the question of how many continuous functions are necessary to cover to the least size of a set of parameters such that the Turing degrees relative to this set of parameters are linearly ordered.

     

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.

     

``Beurling type' subspaces of and

In this note we extend the ``Beurling type' characterizations of subspaces of and to and , respectively.