On the regularity of -Borel ideals

In this paper we prove Pardue's conjecture on the regularity of principal -Borel ideals. As a consequence we obtain an upper bound for the regularity of general -Borel ideals.

     

A remark on a theorem of J. Tits

Let be a rank two Chevalley group and be the corresponding Moufang polygon. J. Tits proved that is the universal completion of the amalgam formed by three subgroups of : the stabilizer of a point of , the stabilizer of a line incident with , and the stabilizer of an apartment passing through and . We prove a slightly stronger result, in which the exact structure of is not required. Our result can be used in conjunction with the ``weak -pair" theorem of Delgado and Stellmacher in order to identify subgroups of finite groups generated by minimal parabolics.

     

On the interpolation constant for Orlicz spaces

In this paper we deal with the interpolation from Lebesgue spaces and , into an Orlicz space , where and for some concave function , with special attention to the interpolation constant . For a bounded linear operator in and , we prove modular inequalities, which allow us to get the estimate for both the Orlicz norm and the Luxemburg norm,

where the interpolation constant depends only on and . We give estimates for , which imply . Moreover, if either or , then . If , then , and, in particular, for the case this gives the classical Orlicz interpolation theorem with the constant .

     

On an asymptotic behavior of elements of order in irreducible representations of the classical algebraic groups with large enough highest weights

The behavior of the images of a fixed element of order in irreducible representations of a classical algebraic group in characteristic with highest weights large enough with respect to and this element is investigated. More precisely, let be a classical algebraic group of rank over an algebraically closed field of characteristic 2$">. Assume that an element of order is conjugate to that of an algebraic group of the same type and rank naturally embedded into . Next, an integer function on the set of dominant weights of and a constant that depend only upon , and a polynomial of degree one are defined. It is proved that the image of in the irreducible representation of with highest weight contains more than Jordan blocks of size if and are not too small and .

     

Convex polytopes all of whose reverse lexicographic initial ideals are squarefree

A compressed polytope is an integral convex polytope any of whose reverse lexicographic initial ideals is squarefree. A sufficient condition for a -polytope to be compressed will be presented. One of its immediate consequences is that the class of compressed -polytopes includes (i) hypersimplices, (ii) order polytopes of finite partially ordered sets, and (iii) stable polytopes of perfect graphs.

     

Low-dimensional unitary representations of

We characterize all simple unitarizable representations of the braid group on complex vector spaces of dimension . In particular, we prove that if and denote the two generating twists of , then a simple representation (for ) is unitarizable if and only if the eigenvalues of are distinct, satisfy and 0$"> for , where the are functions of the eigenvalues, explicitly described in this paper.

     

On minimal lengths of expressions of Coxeter group elements as products of reflections

It is shown that the absolute length of a Coxeter group element (i.e. the minimal length of an expression of as a product of reflections) is equal to the minimal number of simple reflections that must be deleted from a fixed reduced expression of so that the resulting product is equal to , the identity element. Also, is the minimal length of a path in the (directed) Bruhat graph from the identity element to , and is determined by the polynomial of Kazhdan and Lusztig.

     

Automorphisms of Coxeter groups of rank three

If is an infinite rank Coxeter group, whose Coxeter diagram has no infinite bonds, then the automorphism group of is generated by the inner automorphisms and any automorphisms induced from automorphisms of the Coxeter diagram. Indeed is the semi-direct product of and the group of graph automorphisms.

     

Ultrastability of ideals of homogeneous polynomials and multilinear mappings on Banach spaces

Using the theory of full and symmetric tensor norms on normed spaces, a theorem of Kürsten and Heinrich on ultrastability and maximality of normed operator ideals is extended to ideals of -homogeneous polynomials and -linear mappings--scalar-valued and vector-valued. The motivation for these results is the following important special case: the ``uniterated' Aron-Berner extension : of an -homogeneous polynomial to the bidual remains in certain ideals under preservation of the norm. Moreover, Lotz's characterization of maximal normed ideals of linear mappings through appropriate tensor norms is proved for ideals of -homogeneous scalar-valued polynomials and ideals of -linear mappings.

     

On upper bounds of Chalk and Hua for exponential sums

Let be a polynomial of degree with integer coefficients, any prime, any positive integer and the exponential sum . We establish that if is nonconstant when read , then . Let , let be a zero of the congruence of multiplicity and let be the sum with restricted to values congruent to . We obtain for odd, and . If, in addition, , then we obtain the sharp upper bound .

     

On the Lipschitz classification of normed spaces, unit balls, and spheres

For every normed space , we note its closed unit ball and unit sphere by and , respectively. Let and be normed spaces such that is Lipschitz homeomorphic to , and is Lipschitz homeomorphic to .

We prove that the following are equivalent:

1. is Lipschitz homeomorphic to .

2. is Lipschitz homeomorphic to .

3. is Lipschitz homeomorphic to .

This result holds also in the uniform category, except (2 or 3) 1 which is known to be false.

     

Mod Galois representations of solvable image

It is proved that, for a number field and a prime number , there exist only finitely many isomorphism classes of continuous semisimple Galois representations of into of fixed dimension and bounded Artin conductor outside which have solvable images. Some auxiliary results are also proved.

     

-ideals of compact operators are separably determined

We prove that the space of compact operators on a Banach space is an -ideal in the space of bounded operators if and only if has the metric compact approximation property (MCAP), and is an -ideal in for all separable subspaces of having the MCAP. It follows that the Kalton-Werner theorem characterizing -ideals of compact operators on separable Banach spaces is also valid for non-separable spaces: for a Banach space is an -ideal in if and only if has the MCAP, contains no subspace isomorphic to and has property It also follows that is an -ideal in for all Banach spaces if and only if has the MCAP, and is an -ideal in .

     

A new construction of semi-free actions on Menger manifolds

A new construction of semi-free actions on Menger manifolds is presented. As an application we prove a theorem about simultaneous coexistence of countably many semi-free actions of compact metric zero-dimensional groups with the prescribed fixed-point sets: Let be a compact metric zero-dimensional group, represented as the direct product of subgroups , a -manifold and (resp., ) its pseudo-interior (resp., pseudo-boundary). Then, given closed subsets of , there exists a -action on such that (1) and are invariant subsets of ; and (2) each is the fixed point set of any element .

     

Finite groups and the fixed points of coprime automorphisms

Let be a prime, and let be a finite -group acted on by an elementary abelian -group . The following results are proved:

1. If and is nilpotent of class at most for any , then the group is nilpotent of -bounded class.

2. If and is nilpotent of class at most for any , then the derived group is nilpotent of -bounded class.

     

On quasifree profinite groups

Recently, it has been shown by Harbater and Stevenson that a profinite group is free profinite of infinite rank if and only if is projective and -quasifree. The latter condition requires the existence of distinct solutions to certain embedding problems for . In this paper we provide several new non-trivial examples of -quasifree groups, projective and non-projective. Our main result is that open subgroups of -quasifree groups are -quasifree.

     

Unbounded quasi-integrals

Let be a locally compact Hausdorff space. We define a quasi-measure in , a quasi-integral on , and a quasi-integral on . We show that all quasi-integrals on are bounded, continuity properties of the quasi-integral on , representation of quasi-integrals on in terms of quasi-measures, and unique extension of quasi-integrals on to .

     

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 .

     

Positive symmetric quotients and their selfadjoint extensions

We define a quotient of bounded operators and on a Hilbert space with a kernel condition as the mapping , . A quotient is said to be positive symmetric if . In this paper, we give a simple construction of positive selfadjoint extensions of a given positive symmetric quotient .

     

Sufficient conditions for one domain to contain another in a space of constant curvature

As an application of the analogue of C-S. Chen's kinematic formula in the 3-dimensional space of constant curvature , that is, Euclidean space , -sphere , hyperbolic space (, respectively), we obtain sufficient conditions for one domain to contain another domain in either an Euclidean space , or a -sphere or a hyperbolic space .