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.

     

The range of a ring homomorphism from a commutative -algebra

We prove that if a commutative semi-simple Banach algebra is the range of a ring homomorphism from a commutative -algebra, then is -equivalent, i.e. there are a commutative -algebra and a bicontinuous algebra isomorphism between and . In particular, it is shown that the group algebras , and the disc algebra are not ring homomorphic images of -algebras.

     

Asymptotic behaviour of certain sets of prime ideals

Let be ideals of the commutative ring , let be a Noetherian -module and let be a submodule of ; also let be an Artinian -module and let be a submodule of . It is shown that, whenever is a sequence of -tuples of non-negative integers which is non-decreasing in the sense that for all and all , then Ass is independent of for all large , and also Att is independent of for all large . These results are proved without any regularity conditions on the ideals , and so (a special case of) the first answers in the affirmative a question raised by S. McAdam.

     

Discrete valuation overrings of Noetherian domains

We show that, given a chain of prime ideals in a Noetherian domain , there exist a finitely generated overring of and a saturated chain of primes in contracting term by term to the given chain. We further show that there is a discrete rank valuation overring of whose primes contract to those of the given chain.

     

Almost disjoint permutation groups

A permutation group on a set of (infinite) cardinality is almost disjoint if no element of except the identity has fixed points, i.e., if is an almost disjoint family of subsets of . We show how almost disjoint permutation groups can be constructed from almost disjoint families of sets.

     

Approximation from locally finite-dimensional shift-invariant spaces

After exploring some topological properties of locally finite-dimensional shift-invariant subspaces of , we show that if provides approximation order , then it provides the corresponding simultaneous approximation order. In the case is generated by a compactly supported function in , it is proved that provides approximation order in the -norm with if and only if the generator is a derivative of a compactly supported function that satisfies the Strang-Fix conditions.

     

Hereditarily aspherical compacta

The notion of (strongly) hereditarily aspherical compacta introduced by Daverman (1991) is modified. The main results are: Theorem. If is a hereditarily aspherical compactum, then ANR. In particular, is strongly hereditarily aspherical.

Theorem. Suppose is a cell-like map of compacta and is shape aspherical for each closed subset of . Then

1.

Y is hereditarily shape aspherical,

2.

is a hereditary shape equivalence,

3.

.

Theorem. Suppose is a group containing integers. Then the following conditions are equivalent:

1.

and ,

2.

.

Theorem. Suppose is a group containing integers. If and , then is hereditarily shape aspherical.

Theorem. Let be a two-dimensional, locally connected and semilocally simply connected compactum. Then, for any compactum

     

Generalized rational identities of subnormal subgroups of skew fields

Let be a skew field with infinite center such that , and let be a non-central subnormal subgroup of the multiplicative group of . Then there are no non-trivial generalized rational identities of . This generalizes a theorem proved by Makar-Limanov.

     

On the perturbation theory of -accretive operators in Banach spaces

Let be a real Banach space. Let be -accretive with compact. Let be such that is condensing for some Let and assume that there exists a bounded open set and such that is bounded and

for all Then A basic homotopy result of the degree theory for with condensing and possibly unbounded, is used to improve and/or extend recent results by Hirano and Kalinde.

     

A reciprocity law for certain Frobenius extensions

Let be a finite Galois extension of algebraic number fields with Galois group . Assume that is a Frobenius group and is a Frobenius complement of . Let be the maximal normal nilpotent subgroup of . If is nilpotent, then every Artin L-function attached to an irreducible representation of arises from an automorphic representation over , i.e., the Langlands' reciprocity conjecture is true for such Galois extensions.

     

Isometries of certain operator algebras

To a given basis on an -dimensional Hilbert space , we associate the algebra of all linear operators on having every as an eigenvector. So, is commutative, semisimple, and -dimensional. Given two algebras of this type, and , there is a natural algebraic isomorphism of and . We study the question: When does preserve the operator norm?

     

On Voiculescu's double commutant theorem

For a separable infinite-dimensional Hilbert space , we consider the full algebra of bounded linear transformations and the unique non-trivial norm-closed two-sided ideal of compact operators . We also consider the quotient -algebra with quotient map

For any -subalgebra of , the relative commutant is given by for all in . It was shown by D. Voiculescu that, for any separable unital -subalgebra of ,

In this note, we exhibit a non-separable unital -subalgebra of for which (VDCT) fails.

     

Cohomological detection and regular elements in group cohomology

Suppose that is a compact Lie group or a discrete group of finite virtual cohomological dimension and that is a field of characteristic . Suppose that is a set of elementary abelian -subgroups such that the cohomology is detected on the centralizers of the elements of . Assume also that is closed under conjugation and that is in whenever some subgroup of is in . Then there exists a regular element in the cohomology ring such that the restriction of to an elementary abelian -subgroup is not nilpotent if and only if is in . The converse of the result is a theorem of Lannes, Schwartz and the second author. The results have several implications for the depth and associated primes of the cohomology rings.

     

Almost linearity of -bi-Lipschitz maps between real Banach spaces

Let and be real Banach spaces. A map between and is called an -bi-Lipschitz map if for all . In this note we show that if is an -bi-Lipschitz map with from onto , then is almost linear. We also show that if is a surjective -bi-Lipschitz map with , then there exists a linear isomorphism such that

where as and .

     

-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 .

     

and the associated line bundles

Let be a compact semi-simple Lie group, and let be a maximal unipotent subgroup of the complexified group . In this paper, we classify all the -invariant Kaehler structures on . For each Kaehler structure , let be the line bundle with connection whose curvature is . We then study the holomorphic sections of , which constitute a -representation space.

     

Representations at fixed points of smooth actions of compact connected Lie groups

Let be a compact connected Lie group acting smoothly on a connected closed manifold with nonempty fixed point set . In this paper, we study the relation between the cohomology of or and the equivalent representations of at fixed points.

     

Invariant subspaces of the harmonic Dirichlet space with large co-dimension

In this paper, we comment on the complexity of the invariant subspaces (under the bilateral Dirichlet shift ) of the harmonic Dirichlet space . Using the sampling theory of Seip and some work on invariant subspaces of Bergman spaces, we will give examples of invariant subspaces with , . We will also generalize this to the Dirichlet classes , , as well as the Besov classes , , .

     

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.