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.

     

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 limit-point criterion for a class of Sturm-Liouville operators defined in spaces

Using a recent result of Chernyavskaya and Shuster we show that the maximal operator determined by on , -\infty$">, where and the mean value of computed over all subintervals of of a fixed length is bounded away from zero, shares several standard ``limit-point at " properties of the case. We also show that there is a unique solution of that is in all , .

     

Weak properties of weighted convolution algebras

Suppose that is a weighted convolution algebra on with the weight normalized so that the corresponding space of measures is the dual space of the space of continuous functions. Suppose that is a continuous nonzero homomorphism, where is also a convolution algebra. If is norm dense in , we show that is (relatively) weak dense in , and we identify the norm closure of with the convergence set for a particular semigroup. When is weak continuous it is enough for to be weak dense in . We also give sufficient conditions and characterizations of weak continuity of . In addition, we show that, for all nonzero in , the sequence converges weak to 0. When is regulated, converges to 0 in norm.

     

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.

     

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.

     

Devaney's chaos implies existence of -scrambled sets

Let be a complete metric space without isolated points, and let be a continuous map. In this paper we prove that if is transitive and has a periodic point of period , then has a scrambled set consisting of transitive points such that each is a synchronously proximal Cantor set, and is dense in . Furthermore, if is sensitive (for example, if is chaotic in the sense of Devaney), with being a sensitivity constant, then this is an -scrambled set.

     

Distinguished representations and poles of twisted tensor -functions

Let be a quadratic extension of -adic fields. If is an admissible representation of that is parabolically induced from discrete series representations, then we prove that the space of -invariant linear functionals on has dimension one, where is the mirabolic subgroup. As a corollary, it is deduced that if is distinguished by , then the twisted tensor -function associated to has a pole at . It follows that if is a discrete series representation, then at most one of the representations and is distinguished, where is an extension of the local class field theory character associated to . This is in agreement with a conjecture of Flicker and Rallis that relates the set of distinguished representations with the image of base change from a suitable unitary group.

     

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.

     

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

     

The Russo-Dye Theorem in a weakly closed -module

Suppose that is admissible. It is shown that the convex hull of unitary elements of a weakly closed -module contains the whole unit ball of if and only if and for any 0$">, 0$">.

     

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

     

-spaces and finite unions

This article is a continuation of a recent paper by the author and R. Z. Buzyakova. New results are obtained in the direction of the next natural question: how complex can a space be that is the union of two (of a finite family) ``nice" subspaces? Our approach is based on the notion of a -space introduced by E. van Douwen and on a generalization of this notion, the notion of -space. It is proved that if a space is the union of a finite family of subparacompact subspaces, then is an -space. Under , it follows that if a separable normal -space is the union of a finite number of subparacompact subspaces, then is Lindelöf. It is also established that if a regular space is the union of a finite family of subspaces with a point-countable base, then is a -space. Finally, a certain structure theorem for unions of finite families of spaces with a point-countable base is established, and numerous corollaries are derived from it. Also, many new open problems are formulated.

     

Multiplicative bijections of

Let be a compact Hausdorff space which satisfies the first axiom of countability, let and let , be the set of all continuous functions from to If , ,is a bijective multiplicative map, then there exist a homeomorphism and a continuous map such that for all and for all

     

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 .

     

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.

     

Vector measure Banach spaces containing a complemented copy of

Let a Banach space and a -algebra of subsets of a set . We say that a vector measure Banach space has the bounded Vitaly-Hahn-Sacks Property if it satisfies the following condition: Every vector measure , for which there exists a bounded sequence in verifying for all , must belong to . Among other results, we prove that, if is a vector measure Banach space with the bounded V-H-S Property and containing a complemented copy of , then contains a copy of .

     

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.

     

Normalizers of the congruence subgroups of the Hecke group II

Let . Let be an ideal of and let be the maximal ideal of such that . Then . In particular, if is square free, then is self-normalized in .

     

-function of an operator: A white noise approach

Let be the canonical framework of white noise analysis over the Gel'fand triple and be the space of continuous linear operators from to . Let be a self-adjoint operator in with spectral representation . In this paper, it is proved that under appropriate conditions upon , there exists a unique linear mapping such that for each . The mapping is then naturally used to define as , where is the Dirac -function. Finally, properties of the mapping are investigated and several results are obtained.