Linear maps preserving ideals of -algebras

We show that unital self-adjoint linear bijections of matrix algebras, type factors and abelian -algebras preserving maximal left ideals are isomorphisms and we show that a unital continuous linear map of a -algebra that maps the minimal left ideal into itself is the identity map.     

Quasitilted extensions of algebras I

Let be a connected finite dimensional -algebra, and let be a nonzero decomposable -module such that the one-point extension is quasitilted. We show here that every nonzero indecomposable direct summand of is directing and is a tilted algebra.

     

Irreducible restriction and zeros of characters

Let be a finite group, let be normal in and suppose that is an irreducible complex character of . Then is not irreducible if and only if vanishes on some coset of in .

     

Line bundles for which a projectivized jet bundle is a product

We characterize the triples , consisting of line bundles and on a complex projective manifold , such that for some positive integer , the -th holomorphic jet bundle of , , is isomorphic to a direct sum .

     

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 .

     

A characterization of algebras with polynomial growth of the codimensions

Let be an associative algebras over a field of characteristic zero. We prove that the codimensions of are polynomially bounded if and only if any finite dimensional algebra with has an explicit decomposition into suitable subalgebras; we also give a decomposition of the -th cocharacter of into suitable -characters.

We give similar characterizations of finite dimensional algebras with involution whose -codimension sequence is polynomially bounded. In this case we exploit the representation theory of the hyperoctahedral group.

     

Integer solutions to interval linear equations and unique measurement

Every system of linearly independent homogeneous linear equations in unknowns with coefficients in has a unique (up to multiplication by ) non-zero solution vector in which the 's are integers with no common divisor greater than 1. It is known that, for large , can be arbitrarily greater than . We prove that if every equation, written as , is such that and are intervals of contiguous indices, then . This confirms conjectures of the author and Fred Roberts that arose in the theory of unique finite measurement.

     

On absorbing extensions

Building on the work of Kasparov we show that there always exists a trivial absorbing extension of by , provided only that and are separable. If is unital there is a unital trivial extension which is unitally absorbing.

     

Subsemivarieties of -algebras

A variety is a class of Banach algebras , for which there exists a family of laws such that is precisely the class of all Banach algebras which satisfies all of the laws (i.e. for all , . We say that is an -variety if all of the laws are homogeneous. A semivariety is a class of Banach algebras , for which there exists a family of homogeneous laws such that is precisely the class of all Banach algebras , for which there exists 0$"> such that for all homogeneous polynomials , , where . However, there is no variety between the variety of all -algebras and the variety of all -algebras, which can be defined by homogeneous laws alone. So the theory of semivarieties and the theory of varieties differ significantly. In this paper we shall construct uncountable chains and antichains of semivarieties which are not varieties.

     

FS-property for -algebras

A -algebra is said to have the FS-property if the set of all self-adjoint elements in has a dense subset of elements with finite spectrum. We shall show that this property is not stable under taking the minimal -tensor products even in case of separable nuclear -algebras.

     

Lifting wreath product extensions

Let and be finite groups and let be a hilbertian field. We show that if has a generic extension over and satisfies the arithmetic lifting property over , then the wreath product of and also satisfies the arithmetic lifting property over . Moreover, if the orders of and are relatively prime and is abelian, then any extension of by (which is necessarily a semidirect product) has the arithmetic lifting property.

     

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 .

     

Convex curves, Radon transforms and convolution operators defined by singular measures

Let be a convex curve in the plane and let be the arc-length measure of Let us rotate by an angle and let be the corresponding measure. Let . Then This is optimal for an arbitrary . Depending on the curvature of , this estimate can be improved by introducing mixed-norm estimates of the form where and are conjugate exponents.     

Approximating discrete valuation rings by regular local rings

Let be a field of characteristic zero and let be a discrete rank-one valuation domain containing with . Assume that the fraction field of has finite transcendence degree over . For every positive integer , we prove that can be realized as a directed union of regular local -subalgebras of of dimension .

     

Le degré de Lindelöf est -invariant

Two Tychonoff spaces and are said to be -equivalent if and are linearly homeomorphic. It is shown that if and are -equivalent, then the Lindelöf numbers of and are the same. The proof given is a strengthening of the one given by N.V. Velichko to show that the Lindelöf property is -invariant.

     

On function and operator modules

Let be a unital Banach algebra. We give a characterization of the left Banach -modules for which there exists a commutative unital -algebra , a linear isometry , and a contractive unital homomorphism such that for any . We then deduce a ``commutative" version of the Christensen-Effros-Sinclair characterization of operator bimodules. In the last section of the paper, we prove a -version of the latter characterization, which generalizes some previous work of Effros and Ruan.

     

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 .

     

Menger curvature and regularity of fractals

We show that if is an -regular set in for which the triple integral of the Menger curvature is finite and if , then almost all of can be covered with countably many curves. We give an example to show that this is false for .

     

Relative boundedness and relative compactness for linear operators in Banach spaces

If and are linear operators acting between Banach spaces, we show that compactness of relative to does not in general imply that has -bound zero. We do, however, give conditions under which the above implication is valid.

     

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.