On uniqueness of invariant means

The following results on uniqueness of invariant means are shown:

(i) Let be a connected almost simple algebraic group defined over . Assume that , the group of the real points in , is not compact. Let be a prime, and let be the compact -adic Lie group of the -points in . Then the normalized Haar measure on is the unique invariant mean on .

(ii) Let be a semisimple Lie group with finite centre and without compact factors, and let be a lattice in . Then integration against the -invariant probability measure on the homogeneous space is the unique -invariant mean on .

     

Remarks on the results by Koskela concerning the radial uniqueness for Sobolev functions

In this note we aim to complete the results by Koskela concerning the radial uniqueness for Sobolev functions.

Let be a positive nonincreasing function on the interval , and let denote the unit ball of . Consider a -precise function on such that

where . We give conditions on which assure that whenever has vanishing fine boundary limits on a set of positive -capacity.

We are also concerned with the sharpness.

     

Corrected outer functions

Given and a strictly positive continuous function on the unit circle, we construct a bounded analytic function such that a.e., and is in the Besov space on the unit disc.

     

Automorphic-differential identities and actions of pointed coalgebras on rings

In this paper, we prove the following two results which generalize the theorem concerning automorphic-differential endomorphisms asserted by J. Bergen. Let be a ring, its left Martindale quotient ring and a right ideal of having no nonzero left annihilator. (1) Let be a pointed coalgebra which measures such that the group-like elements of act as automorphisms of . If is prime and for , then . Furthermore, if the action of extends to and if such that , then . (2) Let be an endomorphism of given as a sum of composition maps of left multiplications, right multiplications, automorphisms and skew-derivations. If is semiprime and , then .

     

A bound for the nilpotency of a group of self homotopy equivalences

Let be the group of homotopy classes of self-homotopy equivalences of such that . We prove that is a nilpotent group and that .

     

A counterexample to a question of R. Haydon, E. Odell and H. Rosenthal

We give an example of a compact metric space , an open dense subset of , and a sequence in which is pointwise convergent to a non-continuous function on , such that for every there exists with for all , yet is equivalent to the unit vector basis of the James quasi-reflexive space of order 1. Thus does not embed isomorphically in the closed linear span of . This answers in the negative a question asked by H. Haydon, E. Odell and H. Rosenthal.

     

A weak-type inequality of subharmonic functions

We prove the weak-type inequality , , between a non-negative subharmonic function and an -valued smooth function , defined on an open set containing the closure of a bounded domain in a Euclidean space , satisfying , and , where is a constant. Here is the harmonic measure on with respect to 0. This inequality extends Burkholder's inequality in which and , a Euclidean space.

     

On the suspension order of

It is shown that the suspension order of the -fold cartesian product of real projective -space is less than or equal to the suspension order of the -fold symmetric product of and greater than or equal to , where and satisfy and . In particular has suspension order , and for fixed the suspension orders of the spaces are unbounded while their stable suspension orders are constant and equal to .

     

Continuity of K-theory: An example in equal characteristics

If is a perfect field of characteristic , we show that the Quillen K-groups are uniquely -divisible for . In fact, the Milnor K-groups are uniquely -divisible for all . This implies that is -connected after profinite completion for a complete discrete valuation ring with perfect residue field.

     

On the Deleted Product Criterion For Embeddability in

For a space let . Let act on and on by exchanging factors and antipodes respectively. We present a new short proof of the following theorem by Weber: For an -polyhedron and , if there exists an equivariant map , then is embeddable in . We also prove this theorem for a peanian continuum and . We prove that the theorem is not true for the 3-adic solenoid and .

     

Subnormal Subgroups of Group Ring Units

Let be an arbitrary group. If satisfies , , then the units , generate a nonabelian free subgroup of units. As an application we show that if is contained in an almost subnormal subgroup of units in then either contains a nonabelian free subgroup or all finite subgroups of are normal. This was known before to be true for finite groups only.

     

Optimal estimation of shell thickness in Cutland's construction of Wiener measure

In Cutland's construction of Wiener measure, he used the product of Gaussian measures on , where is an infinite integer. It is mentioned by Cutland and Ng that for the product measure ,

where and with any positive infinite number. We prove here that may be replaced by with any positive infinite number. This is the optimal estimation for the shell thickness. It is also proved that . And for the *Lebesgue measure , is finite and not infinitesimal iff with finite, while for the *Lebesgue area of the sphere , should be .

     

Properties of subgenerators of regularized semigroups

We introduce two operations , in the set of subgenerators of a given - regularized semigroup and prove that is a complete partially ordered lattice with respect to , and the operator inclusion . Also presented are some other properties and examples for

     

Degrees of high-dimensional subvarieties of determinantal varieties

Let , where is a prime, and . In , let be the variety defined by . We show that any subvariety of of codimension less than must have degree a multiple of . We also show that the bounds on the codimension in our results are strict by exhibiting subvarieties of the appropriate codimension whose degrees are prime to .

     

Elementary abelian 2-group actions on flag manifolds and applications

Let denote the unoriented cobordism ring. Let and let denote the equivariant cobordism ring of smooth manifolds with smooth -actions having finite stationary points. In this paper we show that the unoriented cobordism class of the (real) flag manifold is in the subalgebra generated by , where , and . We obtain sufficient conditions for indecomposability of an element in . We also obtain a sufficient condition for algebraic independence of any set of elements in . Using our criteria, we construct many indecomposable elements in the kernel of the forgetful map in dimensions , for , and show that they generate a polynomial subalgebra of .

     

A remark on Gelfand-Kirillov dimension

Let be a finitely generated non-PI Ore domain and the quotient division algebra of . If is the center of , then .

     

Every complete doubling metric space carries a doubling measure

We prove that a complete metric space carries a doubling measure if and only if is doubling and that more precisely the infima of the homogeneity exponents of the doubling measures on and of the homogeneity exponents of are equal. We also show that a closed subset of carries a measure of homogeneity exponent . These results are based on the case of compact due to Volberg and Konyagin.

     

A note on the cohomology of finitary modules

Let be a group, a division ring and a -module. is called finitary provided that is finite dimensional for all . We investigate the first and second degree cohomology of finitary modules in terms of a local system for .