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.

     

An order characterization of commutativity for -algebras

In this paper, we investigate the problem of when a -algebra is commutative through operator-monotonic increasing functions. The principal result is that the function is operator-monotonic increasing on a -algebra if and only if is commutative. Therefore, -algebra is commutative if and only if in for all positive elements in .

     

Normal essential eigenvalues in the boundary of the numerical range

A purely geometric property of a point in the boundary of the numerical range of an operator on Hilbert space is examined which implies that such a point is the value at of a multiplicative linear functional of the -algebra, , generated by and the identity operator. Roughly speaking, such a property means that the boundary of the numerical range (of ) has infinite curvature at that point. Furthermore, it is shown that if such a point is not a sharp linear corner of the numerical range of , then the multiplicative linear functional vanishes on the compact operators in .

     

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.     

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 .

     

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.

     

Une preuve courte du principe de Selberg pour un groupe -adique

In 1992, Blanc and Brylinski showed the following property for a -adic group , called the ``abstract Selberg principle': the orbital integrals on conjugacy classes of non-compact elements of the Hattori rank of a finitely generated projective smooth representation of vanish. The proof is by explicit computations of ``low' level ( and cyclic and Hochschild cohomologies. Here we intend to show that this property is actually a direct consequence of two facts: Clozel's integration formula (which leads us to assume the defining characteristic to be zero) and the triviality of the action of unramified characters on the of (which is also proven here, using a standard -theoretic argument due to Grothendieck).

     

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.

     

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.

     

Exactness of one relator groups

A discrete group is -exact if the reduced crossed product with converts a short exact sequence of --algebras into a short exact sequence of -algebras. A one relator group is a discrete group admitting a presentation where is a countable set and is a single word over . In this short paper we prove that all one relator discrete groups are -exact. Using the Bass-Serre theory we also prove that a countable discrete group acting without inversion on a tree is -exact if the vertex stabilizers of the action are -exact.

     

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 .

     

Single elements of finite CSL algebras

An element of an (abstract) algebra is a single element of if and imply that or . Let be a real or complex reflexive Banach space, and let be a finite atomic Boolean subspace lattice on , with the property that the vector sum is closed, for every . For any subspace lattice the single elements of Alg are characterised in terms of a coordinatisation of involving . (On separable complex Hilbert space the finite distributive subspace lattices which arise in this way are precisely those which are similar to finite commutative subspace lattices. Every distributive subspace lattice on complex, finite-dimensional Hilbert space is of this type.) The result uses a characterisation of the single elements of matrix incidence algebras, recently obtained by the authors.

     

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.

     

Conformal metrics and Ricci tensors in the pseudo-Euclidean space

We consider constant symmetric tensors on , , and we study the problem of finding metrics conformal to the pseudo-Euclidean metric such that . We show that such tensors are determined by the diagonal elements and we obtain explicitly the metrics . As a consequence of these results we get solutions globally defined on for the equation Moreover, we show that for certain unbounded functions defined on , there are metrics conformal to the pseudo-Euclidean metric with scalar curvature .

     

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 .

     

Elements in a commutative Banach algebra determining the norm topology

For an element of a commutative complex Banach algebra we investigate the following property: every complete norm on making the multiplication by from to itself continuous is equivalent 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 .

     

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 .

     

Splitting sets in integral domains

Let be an integral domain. A saturated multiplicatively closed subset of is a splitting set if each nonzero may be written as where and for all . We show that if is a splitting set in , then is a splitting set in , a multiplicatively closed subset of , and that is a splitting set in is an lcm splitting set of , i.e., is a splitting set of with the further property that is principal for all and . Several new characterizations and applications of splitting sets are given.