Properly -realizable groups

A finitely presented group is said to be properly -realizable if there exists a compact -polyhedron with and whose universal cover has the proper homotopy type of a (p.l.) -manifold with boundary. In this paper we show that, after taking wedge with a -sphere, this property does not depend on the choice of the compact -polyhedron with . We also show that (i) all -ended and -ended groups are properly -realizable, and (ii) the class of properly -realizable groups is closed under amalgamated free products (HNN-extensions) over a finite cyclic group (as a step towards proving that -ended groups are properly -realizable, assuming -ended groups are).

     

Semi-continuity of metric projections in -direct sums

Let be a proximinal subspace of finite codimension of . We show that is proximinal in and the metric projection from onto is Hausdorff metric continuous. In particular, this implies that the metric projection from onto is both lower Hausdorff semi-continuous and upper Hausdorff semi-continuous.

     

Spectrally bounded -derivations on Banach algebras

Applying the density theorem on algebras with -derivations, we show that if a -derivation of a unital Banach algebra is spectrally bounded, then . Also, if and only if , where denotes the spectral radius of .

     

-invariant subspaces of

In this note, we give a new proof of the characterization of the -invariant subspaces of for in using ideas from approximation theory.     

Tensor products of -weakly closed nest algebra submodules

In this paper we prove that for any unital -weakly closed algebra which is -weakly generated by finite-rank operators in , every -weakly closed -submodule has . In the case of nest algebras, if are nests, we obtain the following -fold tensor product formula:

where each is the -weakly closed Alg -submodule determined by an order homomorphism from into itself.

     

Examples of non-formal closed -connected manifolds of dimensions

We construct closed -connected manifolds of dimensions that possess non-trivial rational Massey triple products. We also construct examples of manifolds such that all the cup-products of elements of vanish, while the group is generated by Massey products: such examples are useful for the theory of systols.

     

Measures of concordance determined by -invariant measures on

A measure, , on is said to be -invariant if its value for any Borel set is invariant with respect to the symmetries of the unit square. A function, , generated in a certain way by a measure, , on is shown to be a measure of concordance if and only if the generating measure is positive, regular, -invariant, and satisfies certain inequalities. The construction examined here includes Blomqvist's beta as a special case.

     

Hopf algebras of dimension

Let be a finite-dimensional Hopf algebra over an algebraically closed field of characteristic 0. If is not semisimple and for some odd integer , then or is not unimodular. Using this result, we prove that if for some odd prime , then is semisimple. This completes the classification of Hopf algebras of dimension .

     

Purely periodic -expansions with Pisot unit base

Let 1$"> be a Pisot unit. A family of sets defined by a -numeration system has been extensively studied as an atomic surface or Rauzy fractal. For the purpose of constructing a Markov partition, a domain constructed by an atomic surface has appeared in several papers. In this paper we show that the domain completely characterizes the set of purely periodic -expansions.

     

Finite -arc transitive Cayley graphs and flag-transitive projective planes

In this paper, a characterisation is given of finite -arc transitive Cayley graphs with . In particular, it is shown that, for any given integer with and , there exists a finite set (maybe empty) of -transitive Cayley graphs with such that all -transitive Cayley graphs of valency are their normal covers. This indicates that -arc transitive Cayley graphs with are very rare. However, it is proved that there exist 4-arc transitive Cayley graphs for each admissible valency (a prime power plus one). It is then shown that the existence of a flag-transitive non-Desarguesian projective plane is equivalent to the existence of a very special arc transitive normal Cayley graph of a dihedral group.

     

Distinguished representations and poles of twisted tensor -functions

Let be a quadratic extension of -adic fields. If is an admissible representation of that is parabolically induced from discrete series representations, then we prove that the space of -invariant linear functionals on has dimension one, where is the mirabolic subgroup. As a corollary, it is deduced that if is distinguished by , then the twisted tensor -function associated to has a pole at . It follows that if is a discrete series representation, then at most one of the representations and is distinguished, where is an extension of the local class field theory character associated to . This is in agreement with a conjecture of Flicker and Rallis that relates the set of distinguished representations with the image of base change from a suitable unitary group.

     

Discrete spectra of -algebras and orthogonally closed submodules in Hilbert -modules

Let and be -algebras and let be an --imprimitivity bimodule. Then it is shown that if the spectrum of (resp. of ) is discrete, then every closed --submodule of is orthogonally closed in , and conversely that if (resp. ) is a -space and if every closed --submodule of is orthogonally closed in , then (resp. ) is discrete.

     

Blocks with -power character degrees

Let be a -block of a finite group . If is a -power for all , then is nilpotent.

     

Lifts of - and -morphisms to -morphisms

Let be the Hochschild complex of cochains on and let be the space of multivector fields on . In this paper we prove that given any -structure (i.e. Gerstenhaber algebra up to homotopy structure) on , and any -morphism (i.e. morphism of a commutative, associative algebra up to homotopy) between and , there exists a -morphism between and that restricts to . We also show that any -morphism (i.e. morphism of a Lie algebra up to homotopy), in particular the one constructed by Kontsevich, can be deformed into a -morphism, using Tamarkin's method for any -structure on . We also show that any two of such -morphisms are homotopic.

     

Tietze extension theorem for Hilbert -modules

We prove the following generalization of the noncommutative Tietze extension theorem: if is a countably generated Hilbert -module over a -unital -algebra, then the canonical extension of a surjective morphism of Hilbert -modules to extended (multiplier) modules, , is also surjective.

     

The vanishing of implies that is regular

Let be an excellent local ring of positive prime characteristic. We show that if , then is regular. This improves a result of Schoutens, in which the additional hypothesis that was an isolated singularity was required for the proof.

     

Linear series over real and -adic fields

We note that the degeneration arguments given by the author in 2003 to derive a formula for the number of maps from a general curve of genus to with prescribed ramification also yields weaker results when working over the real numbers or -adic fields. Specifically, let be such a field: we see that given , , , and satisfying , there exists smooth curves of genus together with points such that all maps from to can, up to automorphism of the image, be defined over . We also note that the analagous result will follow from maps to higher-dimensional projective spaces if it is proven in the case , , and that thanks to work of Sottile, unconditional results may be obtained for special ramification conditions.

     

Vector measure Banach spaces containing a complemented copy of

Let a Banach space and a -algebra of subsets of a set . We say that a vector measure Banach space has the bounded Vitaly-Hahn-Sacks Property if it satisfies the following condition: Every vector measure , for which there exists a bounded sequence in verifying for all , must belong to . Among other results, we prove that, if is a vector measure Banach space with the bounded V-H-S Property and containing a complemented copy of , then contains a copy of .

     

-additive families and the invariance of Borel classes

We prove that any -additive family of sets in an absolutely Souslin metric space has a -discrete refinement provided every partial selector set for is -discrete. As a corollary we obtain that every mapping of a metric space onto an absolutely Souslin metric space, which maps -sets to -sets and has complete fibers, admits a section of the first class. The invariance of Borel and Souslin sets under mappings with complete fibers, which preserves -sets, is shown as an application of the previous result.

     

New properties of Mrowka's space

We extend the technique of Mrowka to show that his space has the property that dim while ind , assuming his extra set-theoretic hypothesis. We also show that is compact, so assuming the extra axiom, there is an compact metric space with no compact completion.