Semigroups and weights for group representations

Let be a finite group. Consider a pair of linear characters of subgroups of with and agreeing on . Naturally associated with is a finite monoid . Semigroup representation theory then yields a representation of . If is irreducible, we say that is a weight for . When the underlying field is the field of complex numbers, we obtain a formula for the character of in terms of and . We go on to construct weights for some familiar group representations.

     

On the pointwise maximum of convex functions

We study the conjugate of the maximum, , of and when and are proper convex lower semicontinuous functions on a Banach space . We show that on the bidual, , of provided that and satisfy the Attouch-Brézis constraint qualification, and we also derive formulae for and for the ``preconjugate' of .

     

The Mardesic factorization theorem for extension theory and c-separation

We shall prove a type of Mardesic factorization theorem for extension theory over an arbitrary stratum of CW-complexes in the class of arbitrary compact Hausdorff spaces. Our result provides that the space through which the factorization occurs will have the same strong countability property (e.g., strong countable dimension) as the original one had. Taking into consideration the class of compact Hausdorff spaces, this result extends all previous ones of its type. Our factorization theorem will simultaneously include factorization for weak infinite-dimensionality and for Property C, that is, for C-spaces.

A corollary to our result will be that for any weight and any finitely homotopy dominated CW-complex , there exists a Hausdorff compactum with weight and which is universal for the property and weight . The condition means that for every closed subset of and every map , there exists a map which is an extension of . The universality means that for every compact Hausdorff space whose weight is and for which is true, there is an embedding of into .

We shall show, on the other hand, that there exists a CW-complex which is not finitely homotopy dominated but which has the property that for each weight , there exists a Hausdorff compactum which is universal for the property and weight .

     

A counterexample for approximable functions

Let be the unit disk. We show that for some relatively closed set there is a function that can be uniformly approximated on by functions of , but such that cannot be written as , with and uniformly continuous on . This answers a question of Stray.

     

Strongly asymptotically stable Frobenius-Perron operators

Let be a -finite measure space and let be a Frobenius-Perron operator.

In 1997 Bartoszek and Brown proved that if overlaps supports and if there exists , 0$"> on , such that , then is (strongly) asymptotically stable.

In the note we prove that instead of assuming that 0$"> on , it is enough to assume that and . More precisely, we prove that is asymptotically stable if and only if overlaps supports and there exists , , , such that .

     

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.

     

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 .

     

Pyramidal vectors and smooth functions on Banach spaces

We prove that if , are Banach spaces such that has nontrivial cotype and has trivial cotype, then smooth functions from into have a kind of ``harmonic" behaviour. More precisely, we show that if is a bounded open subset of and is -smooth with uniformly continuous Fréchet derivative, then is dense in . We also give a short proof of a recent result of P. Hájek.

     

An -dimensional space that admits a Poincaré inequality but has no manifold points

For each integer we construct a compact, geodesic metric space which has topological dimension , is Ahlfors -regular, satisfies the Poincaré inequality, possesses as a unique tangent cone at almost every point, but has no manifold points.

     

On conjugation invariants in the dual Steenrod algebra

We investigate the canonical conjugation, , of the mod dual Steenrod algebra, , with a view to determining the subspace, , of elements invariant under . We give bounds on the dimension of this subspace for each degree and show that, after inverting , it becomes polynomial on a natural set of generators. Finally we note that, without inverting , is far from being polynomial.

     

A classification of prime segments in simple artinian rings

Let be a simple artinian ring. A valuation ring of is a Bézout order of so that is simple artinian, a Goldie prime is a prime ideal of so that is Goldie, and a prime segment of is a pair of neighbouring Goldie primes of A prime segment is archimedean if is equal to it is simple if and it is exceptional if In this last case, is a prime ideal of so that is not Goldie. Using the group of divisorial ideals, these results are applied to classify rank one valuation rings according to the structure of their ideal lattices. The exceptional case splits further into infinitely many cases depending on the minimal so that is not divisorial for

     

Existence and uniqueness theorems for singular anisotropic quasilinear elliptic boundary value problems

On bounded domains we consider the anisotropic problems in with 1$"> and on and in with and on . Moreover, we generalize these boundary value problems to space-dimensions 2$">. Under geometric conditions on and monotonicity assumption on we prove existence and uniqueness of positive solutions.     

Fixed point and selection theorems in hyperconvex spaces

It is shown that a set-valued mapping of a hyperconvex metric space which takes values in the space of nonempty externally hyperconvex subsets of always has a lipschitzian single valued selection which satisfies for all . (Here denotes the usual Hausdorff distance.) This fact is used to show that the space of all bounded -lipschitzian self-mappings of is itself hyperconvex. Several related results are also obtained.

     

On the density of the set of generators of a polynomial algebra

Let be the polynomial algebra over a field of characteristic . We call a polynomial coordinate (or a generator) if for some polynomials . In this note, we give a simple proof of the following interesting fact: for any polynomial of the form where is a polynomial without constant and linear terms, and for any integer , there is a coordinate polynomial such that the polynomial has no monomials of degree . A similar result is valid for coordinate -tuples of polynomials, for any . This contrasts sharply with the situation in other algebraic systems.

On the other hand, we establish (in the two-variable case) a result related to a different kind of density. Namely, we show that given a non-coordinate two-variable polynomial, any sufficiently small perturbation of its non-zero coefficients gives another non-coordinate polynomial.

     

Projective boundedness and convolution of Fréchet measures

Fréchet measures of order ( -measures) are the measure-theoretic analogues of bounded -linear forms on products of spaces. In an LCA setting, convolution of -measures is always defined, while there exist -measures whose convolution cannot be defined. In a three-dimensional setting, we demonstrate the existence of an -measure which cannot be convolved with arbitrary -measures.

     

On sequences of -norm

We study maps and give detailed estimates on in terms of and . These estimates are used to prove a lemma by D. Henry for the case . Here is an open subset and and are Banach spaces.

     

The Lindelöf property and fragmentability

Let be a compact Hausdorff space and the space of continuous real functions on . In this paper we prove that any -Lindelöf subset of which is compact for the topology of pointwise convergence on a dense subset is norm fragmented; i.e., each non-empty subset of it contains a non-empty -relatively open subset of small supremum norm diameter. Several applications are given.     

Elementary proof of Brauer's and Nesbitt's theorem on zeros of characters of finite groups

The following has been proven by Brauer and Nesbitt. Let be a finite group, and let be a prime. Assume is an irreducible complex character of such that the order of a -Sylow subgroup of divides the degree of . Then vanishes on all those elements of whose order is divisible by . The two only known proofs of this theorem use profound methods of representation theory, namely the theory of modular representations or Brauer's characterization of generalized characters. The purpose of this paper is to present a more elementary proof.

     

On the parametrization of self-similar and other fractal sets

We prove for many self-similar, and some more general, sets that if is the Hausdorff dimension of and is Hölder continuous with exponent , then the -dimensional Hausdorff measure of is .