On the dimension of infinite covers

We prove the following theorem and some generalizations. . Let be a connected CW complex which satisfies Poincaré duality of dimension . For any subgroup of , let denote the cover of corresponding to . If has infinite index in , then is homotopy equivalent to an -dimensional CW complex.

     

Banach spaces in which every -weakly summable sequence lies in the range of a vector measure

Let be a Banach space. For we prove that the identity map is -summing if and only if the operator is nuclear for every unconditionally summable sequence in , where is the conjugate number for . Using this result we find a characterization of Banach spaces in which every -weakly summable sequence lies inside the range of an -valued measure (equivalently, every -weakly summable sequence in , satisfying that the operator is compact, lies in the range of an -valued measure) with bounded variation. They are those Banach spaces such that the identity operator is -summing.

     

The local cohomology modules of Matlis reflexive modules are almost cofinite

We show that if and are Matlis reflexive modules over a complete Gorenstein local domain and is an ideal of such that the dimension of is one, then the modules are Matlis reflexive for all and if . It follows that the Bass numbers of are finite. If is not a domain, then the same results hold for .

     

On contravariant finiteness of subcategories of modules of projective dimension

Let be an artin algebra. This paper presents a sufficient condition for the subcategory of to be contravariantly finite in , where is the subcategory of consisting of --modules of projective dimension less than or equal to . As an application of this condition it is shown that is contravariantly finite in for each when is stably equivalent to a hereditary algebra.

     

-Fréchet-Urysohn property of Franklin compact spaces

Franklin compact spaces defined by maximal almost disjoint families of subsets of are considered from the view of its -sequentiality and -Fréchet-Urysohn-property for ultrafilters . Our principal results are the following: CH implies that for every -point there are a Franklin compact -Fréchet-Urysohn space and a Franklin compact space which is not -Fréchet-Urysohn; and, assuming CH, for every Franklin compact space there is a -point such that it is not -Fréchet-Urysohn. Some new problems are raised.

     

Compact operators and the geometric structure of -algebras

Given a -algebra and an element , we give necessary and sufficient geometric conditions equivalent to the existence of a representation of so that is a compact or a finite-rank operator. The implications of these criteria on the geometric structure of -algebras are also discussed.

     

Differences of vector-valued functions on topological groups

Let be a locally compact group equipped with right Haar measure. The right differences of functions on are defined by for . Let and suppose for some and all . We prove that is a right uniformly continuous function of . If is abelian and the Beurling spectrum does not contain the unit of the dual group , then we show . These results have analogues for functions , where is a separable or reflexive Banach space. Finally, we apply our methods to vector-valued right uniformly continuous differences and to absolutely continuous elements of left Banach -modules.

     

-analyticity

Let be a finite-dimensional commutative algebra over and let , and be the ring of -differentiable functions of class , the ring of real analytic mappings with values in and the ring of -analytic functions, respectively, defined on an open subset of . We prove two basic results concerning -differentiability and -analyticity: ) , ) if and only if is defined over .

     

Transformations conjugate to their inverses have even essential values

Let be an ergodic automorphism defined on a standard Borel probability space for which and are isomorphic. We study the structure of the conjugating automorphisms and attempt to gain information about the structure of . It was shown in Ergodic transformations conjugate to their inverses by involutions by Goodson et al. (Ergodic Theory and Dynamical Systems 16 (1996), 97--124) that if is ergodic having simple spectrum and isomorphic to its inverse, and if is a conjugation between and (i.e. satisfies ), then , the identity automorphism. We give a new proof of this result which shows even more, namely that for such a conjugation , the unitary operator induced by on must have a multiplicity function whose essential values on the ortho-complement of the subspace are always even. In particular, we see that can be weakly mixing, so the corresponding must have even maximal spectral multiplicity (regarding as an even number).

     

On spread and condensations

A space has a property strictly if every finite power of has . A condensation is a one-to-one continuous mapping onto. For Tychonoff spaces, the following results are established. If the strict spread of is countable, then can be condensed onto a strictly hereditarily separable space. If , then can be condensed onto a strictly hereditarily separable space, and therefore, every compact subspace of is strictly hereditarily separable. Under , if is a topological group such that , then is strictly hereditarily Lindelöf and strictly hereditarily separable.

     

On purely inseparable extensions and their generators

Let be a field of characteristic and a polynomial algebra in two variables. By a -generator of we mean an element of for which there exist and such that . We also define a -line of to mean any element of whose coordinate ring is that of a -generator. Then we prove that if is such that is a -line of (where is an indeterminate over ), then is a -generator of . This is analogous to the well-known fact that if is such that is a line of , then is a variable of . We also prove that if is a -line of for which there exist and such that , then is in fact a -generator of .

     

Tate cohomology lowers chromatic Bousfield classes

Let be a finite group. We use recent results of J. P. C. Greenlees and H. Sadofsky to show that the Tate homology of local spectra with respect to produces local spectra. We also show that the Bousfield class of the Tate homology of (for finite) is the same as that of . To be precise, recall that Tate homology is a functor from -spectra to -spectra. To produce a functor from spectra to spectra, we look at a spectrum as a naive -spectrum on which acts trivially, apply Tate homology, and take -fixed points. This composite is the functor we shall actually study, and we'll prove that when is finite. When , the symmetric group on letters, this is related to a conjecture of Hopkins and Mahowald (usually framed in terms of Mahowald's functor ).

     

Vanishing of the leading term in Harish-Chandra's local character expansion

Harish-Chandra's formula for the character of an irreducible smooth representation of a reductive -adic group expresses near as a linear combination of the Fourier transforms of nilpotent -orbits in the Lie algebra of . In this note, we prove that if is tempered but not in the discrete series, then the coefficient attached to the zero nilpotent orbit vanishes.

     

Rational nodal curves with no smooth Weierstrass points

Let denote the rational curve with nodes obtained from the Riemann sphere by identifying 0 with and with for , where is a primitive th root of unity. We show that if is even, then has no smooth Weierstrass points, while if is odd, then has smooth Weierstrass points.

     

Correspondences of closed submodules

If is an -faithful -module, then there is an order-preserving correspondence between the closed -submodules of and the closed -submodules of , where .

     

sets of unbounded Loeb measure

For every and non-Borel subset of an internal set in a saturated nonstandard universe there exists an internal, unbounded, non-atomic measure so that is not finite for any Borel set in

     

On fully invariant ideals of the free group algebra

Let be the group algebra of a free noncyclic group over an integral domain . It is proved that if is not a field, then there exists a fully invariant ideal of such is torsion-free but not projective as an -module. In other words, there exists a pure nonprojective variety of group representations over .

     

-regular maps on smooth manifolds

A continuous map is said to be -regular if whenever are distinct points of , then are linearly independent over . For smooth manifolds we obtain new lower bounds on the minimum for which a -regular map can exist in terms of the dual Stiefel-Whitney classes of .