Let be a Banach function algebra on a compact space , and let be such that for any scalar the element is not a divisor of zero. We show that any complete norm topology on that makes the multiplication by continuous is automatically equivalent to the original norm topology of . Related results for general Banach spaces are also discussed.
Generalized Eilenberg-Borsuk Theorem. Let be a countable CW complex. If is a separable metrizable space and is an absolute extensor of for some CW complex , then for any map , closed in , there is an extension of over an open set such that .
Theorem. Let be countable CW complexes. If is a separable metrizable space and is an absolute extensor of , then there is a subset of such that and .
Theorem. Suppose are countable, non-trivial, abelian groups and 0$">. For any separable metrizable space of finite dimension 0$">, there is a closed subset of with for .
Theorem. Suppose is a separable metrizable space of finite dimension and is a compactum of finite dimension. Then, for any , , there is a closed subset of such that and .
Theorem. Suppose is a metrizable space of finite dimension and is a compactum of finite dimension. If and are connected CW complexes, then
Inspired by a paper of S. Popa and the classification theory of nuclear -algebras, we introduce a class of -algebras which we call tracially approximately finite dimensional (TAF). A TAF -algebra is not an AF-algebra in general, but a ``large' part of it can be approximated by finite dimensional subalgebras. We show that if a unital simple -algebra is TAF then it is quasidiagonal, and has real rank zero, stable rank one and weakly unperforated -group. All nuclear simple -algebras of real rank zero, stable rank one, with weakly unperforated -group classified so far by their -theoretical data are TAF. We provide examples of nonnuclear simple TAF -algebras. A sufficient condition for unital nuclear separable quasidiagonal -algebras to be TAF is also given. The main results include a characterization of simple rational AF-algebras. We show that a separable nuclear simple TAF -algebra satisfying the Universal Coefficient Theorem and having and is isomorphic to a simple AF-algebra with the same -theory.
The main result of this paper is that the variety of presentations of a general cubic form in variables as a sum of cubes is isomorphic to the Fano variety of lines of a cubic -fold , in general different from .
A general surface of genus determines uniquely a pair of cubic -folds: the apolar cubic and the dual Pfaffian cubic (or for simplicity and ). As Beauville and Donagi have shown, the Fano variety of lines on the cubic is isomorphic to the Hilbert scheme of length two subschemes of . The first main result of this paper is that parametrizes the variety of presentations of the cubic form , with , as a sum of cubes, which yields an isomorphism between and . Furthermore, we show that sets up a correspondence between and . The main result follows by a deformation argument.
Let be the group of automorphisms of a homogeneous tree and let be the tensor product of two spherical irreducible unitary representations of . We complete the explicit decomposition of commenced in part I of this paper, by describing the discrete series representations of which appear as subrepresentations of .
Let be the group of automorphisms of a homogeneous tree , and let be a lattice subgroup of . Let be the tensor product of two spherical irreducible unitary representations of . We give an explicit decomposition of the restriction of to . We also describe the spherical component of explicitly, and this decomposition is interpreted as a multiplication formula for associated orthogonal polynomials.
Peter Jones' theorem on the factorization of weights is sharpened for weights with bounds near , allowing the factorization to be performed continuously near the limiting, unweighted case. When and is an weight with bound , it is shown that there exist weights such that both the formula and the estimates hold. The square root in these estimates is also proven to be the correct asymptotic power as .
Let be an odd prime number and let be an extraspecial -group. The purpose of the paper is to show that has no non-zero essential mod- cohomology (and in fact that is Cohen-Macaulay) if and only if and .
We show that a simply connected homotopy associative and homotopy commutative mod -space with finitely generated mod cohomology is homotopy equivalent to a finite product of , , the three-connected cover and the homotopy fiber of the map for . Our result also shows that a connected -space in the sense of Sugawara with finitely generated mod cohomology has the homotopy type of a finite product of , and for .
Let be a smooth projective curve over a field . For each closed point of let be the coordinate ring of the affine curve obtained by removing from . Serre has proved that is isomorphic to the fundamental group, , of a graph of groups , where is a tree with at most one non-terminal vertex. Moreover the subgroups of attached to the terminal vertices of are in one-one correspondence with the elements of , the ideal class group of . This extends an earlier result of Nagao for the simplest case .
Serre's proof is based on applying the theory of groups acting on trees to the quotient graph , where is the associated Bruhat-Tits building. To determine he makes extensive use of the theory of vector bundles (of rank 2) over . In this paper we determine using a more elementary approach which involves substantially less algebraic geometry.
The subgroups attached to the edges of are determined (in part) by a set of positive integers , say. In this paper we prove that is bounded, even when Cl is infinite. This leads, for example, to new free product decomposition results for certain principal congruence subgroups of , involving unipotent and elementary matrices.
The distance from the origin in the word metric for generalizations of Thompson's group is quasi-isometric to the number of carets in the reduced rooted tree diagrams representing the elements of . This interpretation of the metric is used to prove that every admits a quasi-isometric embedding into every , and also to study the behavior of the shift maps under these embeddings.
For an nonnegative matrix , an isomorphism is obtained between the lattice of initial subsets (of ) for and the lattice of -invariant faces of the nonnegative orthant . Motivated by this isomorphism, we generalize some of the known combinatorial spectral results on a nonnegative matrix that are given in terms of its classes to results for a cone-preserving map on a polyhedral cone, formulated in terms of its invariant faces. In particular, we obtain the following extension of the famous Rothblum index theorem for a nonnegative matrix: If leaves invariant a polyhedral cone , then for each distinguished eigenvalue of for , there is a chain of distinct -invariant join-irreducible faces of , each containing in its relative interior a generalized eigenvector of corresponding to (referred to as semi-distinguished -invariant faces associated with ), where is the maximal order of distinguished generalized eigenvectors of corresponding to , but there is no such chain with more than members. We introduce the important new concepts of semi-distinguished -invariant faces, and of spectral pairs of faces associated with a cone-preserving map, and obtain several properties of a cone-preserving map that mostly involve these two concepts, when the underlying cone is polyhedral, perfect, or strictly convex and/or smooth, or is the cone of all real polynomials of degree not exceeding that are nonnegative on a closed interval. Plentiful illustrative examples are provided. Some open problems are posed at the end.
Let be a commutative ring and an ideal in which is locally generated by a regular sequence of length . Then, each f. g. projective -module has an -projective resolution of length . In this paper, we compute the homology of the -th Koszul complex associated with the homomorphism for all , if . This computation yields a new proof of the classical Adams-Riemann-Roch formula for regular closed immersions which does not use the deformation to the normal cone any longer. Furthermore, if , we compute the homology of the complex where and denote the functors occurring in the Dold-Kan correspondence.