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.

     

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.

     

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

     

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 .

     

On embeddings of full amalgamated free product C-algebras

We examine the question of when the -homomorphism of full amalgamated free product C-algebras, arising from compatible inclusions of C-algebras , and , is an embedding. Results giving sufficient conditions for to be injective, as well as classes of examples where fails to be injective, are obtained. As an application, we give necessary and sufficient conditions for the full amalgamated free product of finite-dimensional C-algebras to be residually finite dimensional.

     

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.

     

Bundles with periodic maps and mod Chern polynomial

Suppose that is a vector bundle with a linear periodic map of period ; the map is assumed free on the outside of the -section. A polynomial , called a mod Chern polynomial of , is defined. It is analogous to the Stiefel-Whitney polynomial defined by Dold for real vector bundles with the antipodal involution. The mod Chern polynomial can be used to measure the size of the periodic coincidence set for fibre preserving maps of the unit sphere bundle of into another vector bundle.

     

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

     

On -supplemented maximal and minimal subgroups of Sylow subgroups of finite groups

This paper proves: Let be a saturated formation containing . Suppose that is a group with a normal subgroup such that .

(1) If all maximal subgroups of any Sylow subgroup of are -supple- mented in , then ;

(2) If all minimal subgroups and all cyclic subgroups with order 4 of are -supplemented in , then .

     

Robust transitivity and topological mixing for -flows

We prove that nontrivial homoclinic classes of -generic flows are topologically mixing. This implies that given , a nontrivial -robustly transitive set of a vector field , there is a -perturbation of such that the continuation of is a topologically mixing set for . In particular, robustly transitive flows become topologically mixing after -perturbations. These results generalize a theorem by Bowen on the basic sets of generic Axiom A flows. We also show that the set of flows whose nontrivial homoclinic classes are topologically mixing is not open and dense, in general.

     

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.

     

``Lebesgue measure' on , II

Let be the set of real numbers, and define . We construct a complete measure space where the -algebra contains the Borel subsets of , and is a translation-invariant measure such that for any measurable rectangle , if , then , where is Lebesgue measure on . The measure is not -finite. We prove three Fubini theorems, namely, the Fubini theorem, the mean Fubini-Jensen theorem, and the pointwise Fubini-Jensen theorem. Finally, as an application of the measure , we construct, via selfadjoint operators on , a ``Schrödinger model' of the canonical commutation relations: , , .

     

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.

     

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 .

     

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.

     

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.

     

Properly embedded least area planes in Gromov hyperbolic -spaces

Let be a Gromov hyperbolic -space with cocompact metric, and the sphere at infinity of . We show that for any simple closed curve in , there exists a properly embedded least area plane in spanning . This gives a positive answer to Gabai's conjecture from 1997. Soma has already proven this conjecture in 2004. Our technique here is simpler and more general, and it can be applied to many similar settings.

     

Discrete spectra of -algebras and complemented submodules in Hilbert -modules

Let be a -algebra and let be a full (right) Hilbert -module. It is shown that if the spectrum of is discrete, then every closed --submodule of is complemented in , and conversely that if is a -space and if every closed --submodule of is complemented in , then is discrete.

     

Stability of -algebras associated to graphs

We characterize stability of graph -algebras by giving five conditions equivalent to their stability. We also show that if is a graph with no sources, then is stable if and only if each vertex in can be reached by an infinite number of vertices. We use this characterization to realize the stabilization of a graph -algebra. Specifically, if is a graph and is the graph formed by adding a head to each vertex of , then is the stabilization of ; that is, .

     

A proof of W. T. Gowers' theorem

W. T. Gowers' theorem asserts that for every Lipschitz function and 0$">, there exists an infinite-dimensional subspace of such that the oscillation of on is at most . The proof of this theorem has been reduced by W. T. Gowers to the proof of a new Ramsey type theorem. Our aim is to present a proof of the last result.