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

     

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

     

Morava -theory of extraspecial -groups

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

     

An ultrafilter with property

Let be a -supercompact cardinal. We show that carries a normal ultrafilter with a property introduced by Menas. With it we give a transparent proof of Kamo's theorem that carries a normal ultrafilter with the partition property.

     

There is no separable universal -factor

Gromov constructed uncountably many pairwise nonisomorphic discrete groups with Kazhdan's property . We will show that no separable -factor can contain all these groups in its unitary group. In particular, no separable -factor can contain all separable -factors in it. We also show that the full group -algebras of some of these groups fail the lifting property.

     

A separable non-remainder of

We prove that there is a compact separable continuum that (consistently) is not a remainder of the real line.

     

The projective -character bounds the order of a -base

All spaces below are Tychonov. We define the projective - character of a space as the supremum of the values where ranges over all (Tychonov) continuous images of . Our main result says that every space has a -base whose order is ; that is, every point in is contained in at most -many members of the -base. Since for compact , this is a significant generalization of a celebrated result of Shapirovskii.

     

Lie derivations of -subspace lattice algebras

We describe the structure of Lie derivations of -subspace lattice algebras. The results can apply to atomic Boolean subspace lattice algebras and pentagon subspace lattice algebras, respectively.

     

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 .

     

-actions with

Suppose that is a smooth -action on a closed smooth -dimensional manifold such that all Stiefel-Whitney classes of the tangent bundle to each connected component of the fixed point set vanish in positive dimension. This paper shows that if 2^k\dim F$"> and each -dimensional part possesses the linear independence property, then bounds equivariantly, and in particular, is the best possible upper bound of if is nonbounding.

     

Near-symmetry in and refined Jones factorization

We use variants of the Hardy-Littlewood maximal and the Cruz-Uribe-Neugebauer minimal operators to give direct characterizations of and that clarify their near symmetry and yield elementary proofs of various known results, including Cruz-Uribe and Neugebauer's refinement of the Jones factorization theorem.

     

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.

     

Purely periodic -expansions with Pisot unit base

Let 1$"> be a Pisot unit. A family of sets defined by a -numeration system has been extensively studied as an atomic surface or Rauzy fractal. For the purpose of constructing a Markov partition, a domain constructed by an atomic surface has appeared in several papers. In this paper we show that the domain completely characterizes the set of purely periodic -expansions.

     

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.

     

Domaine numérique du produit et de la bimultiplication

In this paper, we present an extension of Bouldin's result (1970) concerning the numerical range of the product of two operators and that are commuting and for which one of the set or consists of positive numbers. We also prove that if or is a subnormal operator on a separable Hilbert space, then

where is the operator bimultiplication and is the convex hull.

RÉSUMÉ. Dans ce travail, nous améliorons un résultat de Bouldin (1970) concernant la localisation de le domaine numérique du produit de deux opérateurs et sur un espace de Hilbert lorsque et commutent et est constitué de réels strictement positifs. Dans le cas où ou est un opérateur sous normal sur un espace de Hilbert séparable, nous montrons que

où est l'opérateur produit ou bimultiplication et est l'enveloppe convexe.

     

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 .

     

Isometric copies of and in Orlicz spaces equipped with the Orlicz norm

Criteria in order that an Orlicz space equipped with the Orlicz norm contains a linearly isometric copy (or an order linearly isometric copy) of (or ) are given.

     

On the algebra of functions -extendable for each finite

For each positive integer we construct a -function of one real variable, the graph of which has the following property: there exists a real function on which is -extendable to , for each finite, but it is not -extendable.

     

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 remark on least energy solutions in

We study a mountain pass characterization of least energy solutions of the following nonlinear scalar field equation in :

where . Without the assumption of the monotonicity of , we show that the mountain pass value gives the least energy level.