A note on branching theorems

Let be a complex, simply connected semisimple analytic group with a closed connected reductive subgroup. Suppose is an irreducible holomorphic -module and an irreducible holomorphic -module. We prove that Hom possesses the structure of an irreducible -module whenever is . Moreover, for all and if and only if is commutative.

     

The gap between probability and prevalence: Loneliness in vector spaces

The best available definition of a subset of an infinite dimensional, complete, metric vector space being ``small' is Christensen's Haar zero sets, equivalently, Hunt, Sauer, and Yorke's shy sets. The complement of a shy set is a prevalent set. There is a gap between prevalence and likelihood. For any probability on , there is a shy set with . Further, when is locally convex, any i.i.d. sequence with law repeatedly visits neighborhoods of only a shy set of points if the neighborhoods shrink to at any rate.

     

A dichotomy theorem for subsets of the power set of the natural numbers

The following dichotomy is established for any pair , of hereditary families of finite subsets of : Given , an infinite subset of , there exists an infinite subset of so that either , or , where denotes the set of all finite subsets of .

     

Compact range property and operators on -algebras

We prove that a Banach space has the compact range property (CRP) if and only if, for any given -algebra , every absolutely summing operator from into is compact. Related results for -summing operators () are also discussed as well as operators on non-commutative -spaces and -summing operators.

     

Cohomology of symplectic reductions of generic coadjoint orbits

Let be a generic coadjoint orbit of a compact semi-simple Lie group . Weight varieties are the symplectic reductions of by the maximal torus in . We use a theorem of Tolman and Weitsman to compute the cohomology ring of these varieties. Our formula relies on a Schubert basis of the equivariant cohomology of , and it makes explicit the dependence on and a parameter in .

     

Holomorphic perturbation of Fourier coefficients

Let be the unit circle, let be a Banach space continuously embedded in and suppose that is a Banach -module under convolution. We show that if and is holomorphic in a neighbourhood of with and then

     

Les transformations de Cremona stellaires

On construit explicitement toutes les transformations de Cremona de qui satisfont à la propriété suivante: il existe tels que les droites par sont envoyées sur les droites par . On caractérise de plusieurs manières ces transformations et pour chaque entier non-négatif on donne des formules pour la dimension de l'ensemble constitué de celles qui ont degré .

ABSTRACT. We construct the Cremona transformations of satisfying the following property: there exist such that the image of all straight lines through are straight lines through . We characterise these transformations, and for all non-negative integer we give a formula for the dimension of the set of those whose degree is .

     

Serial subalgebras of finitary Lie algebras

A Lie subalgebra of is said to be finitary if it consists of elements of finite rank. We show that, if acts irreducibly on , and if is infinite-dimensional, then every non-trivial ascendant Lie subalgebra of acts irreducibly on too. When , it follows that the locally solvable radical of such is trivial. In general, locally solvable finitary Lie algebras over fields of characteristic are hyperabelian.

     

Almost periodic hyperfunctions

We characterize the almost periodic hyperfunctions by showing that the following statements are equivalent for any bounded hyperfunction . (i) is almost periodic. (ii) for every . (iii) There are two functions and an infinite order differential operator such that (iv) The Gauss transform of is almost periodic for every 0$">. Here is the space of almost periodic continuous functions, is the Sato space of test functions for the Fourier hyperfunctions, and is the heat kernel. This generalizes the result of Schwartz on almost periodic distributions and that of Cioranescu on almost periodic (non-quasianalytic) ultradistributions to the case of hyperfunctions.

     

Types in reductive -adic groups: The Hecke algebra of a cover

In this paper, is a non-Archimedean local field and is the group of -points of a connected reductive algebraic group defined over . Also, is an irreducible representation of a compact open subgroup of , the pair being a type in . The pair is assumed to be a cover of a type in a Levi subgroup of . We give conditions, generalizing those of earlier work, under which the Hecke algebra is the tensor product of a canonical image of and a sub-algebra , for a compact open subgroup of containing .

     

Strongly meager sets and their uniformly continuous images

We prove the following theorems:

(1) Suppose that is a continuous function and is a Sierpinski set. Then

(A)

for any strongly measure zero set , the image is an -set,

(B)

is a perfectly meager set in the transitive sense.

(2) Every strongly meager set is completely Ramsey null.

     

Sobolev spaces and the Cayley transform

The generalised Cayley transform  from an Iwasawa -group into the corresponding real unit sphere  induces isomorphisms between suitable Sobolev spaces and . We study the differential of  , and we obtain a criterion for a function to be in  .

     

A matrix-valued Choquet-Deny theorem

Let be a positive matrix-valued measure on a locally compact abelian group such that is the identity matrix. We give a necessary and sufficient condition on for the absence of a bounded non-constant matrix-valued function on satisfying the convolution equation . This extends Choquet and Deny's theorem for real-valued functions on .

     

Open covers and partition relations

An open cover of a topological space is said to be an -cover if there is for each finite subset of the space a member of the cover which contains the finite set, but the space itself is not a member of the cover. We prove theorems which imply that a set of real numbers has Rothberger's property if, and only if, for each positive integer , for each -cover of , and for each function from the two-element subsets of , there is a subset of such that is constant on , and each element of belongs to infinitely many elements of (Theorem 1). A similar characterization is given of Menger's property for sets of real numbers (Theorem 6).

     

Composition operators on Dirichlet-type spaces

The Dirichlet-type space ) is the Banach space of functions analytic in the unit disc with derivatives belonging to the Bergman space . Let be an analytic self-map of the disc and define for . The operator is bounded (respectively, compact) if and only if a related measure is Carleson (respectively, compact Carleson). If is bounded (or compact) on , then the same behavior holds on ) and on the weighted Dirichlet space . Compactness on implies that is compact on the Hardy spaces and the angular derivative exists nowhere on the unit circle. Conditions are given which, together with the angular derivative condition, imply compactness on the space . Inner functions which induce bounded composition operators on are discussed briefly.

     

A two-dimensional Hahn-Banach theorem

Let , where and is a Banach space. Let be an extension of to all of (i.e., ) such that has minimal (operator) norm. In this paper we show in particular that, in the case and the field is R, there exists a rank- such that for all if and only if the unit ball of is either not smooth or not strictly convex. In this case we show, furthermore, that, for some , there exists a choice of basis such that ; i.e., each is a Hahn-Banach extension of .

     

Minimal index of a -crossed product by a finite group

Let be the -crossed product of a simple unital -algebra by a finite group . In this paper we show that the canonical conditional expectation from to has the minimal index if is simple. It is also proved that if is an outer action, then the canonical one is the unique conditional expectation of index-finite type from to , while there are infinitely many conditional expectations when a nontrivial subgroup of acts innerly on .

     

Polynomial solutions to Dirichlet problems

The Dirichlet problem

is considered where the functions and are polynomials. The authors study the problem of determining which functions will admit polynomial solutions for any polynomial . When one additionally requires the classical condition , this forces , and a complete classification is obtained. Some necessary conditions are obtained for the case 2$">.

     

Minimal sufficiency of order statistics in convex models

Let be a convex and dominated statistical model on the measurable space , with minimal sufficient, and let . Then , the -algebra of all permutation invariant sets belonging to the -fold product -algebra , is shown to be minimal sufficient for the corresponding model for independent observations, .

The main technical tool provided and used is a functional analogue of a theorem of Grzegorek (1982) concerning generators of .

     

The Postnikov Tower and the Steenrod problem

The Steenrod problem asks: given a -module, when does there exist a Moore space realizing the module? By using the equivariant Postnikov Tower, it is shown that a -module is -realizable if and only if it is -realizable for all -Sylow subgroups , for all primes .