Polynomials generated by linear operators

We study the class of Banach algebra-valued -homogeneous polynomials generated by the powers of linear operators. We compare it with the finite type polynomials. We introduce a topology on similar to the weak topology, to clarify the features of these polynomials.

     

The Hochschild cohomology ring of a cyclic block

Suppose is a block of a group algebra with cyclic defect group. We calculate the Hochschild cohomology ring of , giving a complete set of generators and relations. We then show that if is the principal block, the canonical map from to the Hochschild cohomology ring of induces an isomorphism modulo radicals.     

Root closed function algebras on compacta of large dimension

Let be a Hausdorff compact space and let be the algebra of all continuous complex-valued functions on , endowed with the supremum norm. We say that is (approximately) -th root closed if any function from is (approximately) equal to the -th power of another function. We characterize the approximate -th root closedness of in terms of -divisibility of the first Cech cohomology groups of closed subsets of . Next, for each positive integer we construct an -dimensional metrizable compactum such that is approximately -th root closed for any . Also, for each positive integer we construct an -dimensional compact Hausdorff space such that is -th root closed for any .

     

groups and quasi-equivalence

A torsion-free abelian group is if every map from a pure subgroup of into lifts to an endomorphism of The class of groups has been extensively studied, resulting in a number of nice characterizations. We obtain some characterizations for the class of homogeneous groups, those homogeneous groups such that, for pure in every has a lifting to a quasi-endomorphism of An irreducible group is if and only if every pure subgroup of each of its strongly indecomposable quasi-summands is strongly indecomposable. A group is if and only if every endomorphism of is an integral multiple of an automorphism. A group has minimal test for quasi-equivalence ( if whenever and are quasi-isomorphic pure subgroups of then and are equivalent via a quasi-automorphism of For homogeneous groups, we show that in almost all cases the and properties coincide.

     

Generalized little -difference operators

We consider the polynomials obtained from the little -Jacobi polynomials by inserting a discrete mass at in the orthogonality measure. We show that for , the polynomials are eigensolutions of a linear -difference operator of order with polynomial coefficients. This provides a -analog of results recently obtained for the Krall polynomials.

     

On the extensions of homogeneous polynomials

We investigate the problem of the uniqueness of the extension of -homogeneous polynomials in Banach spaces. We show in particular that in a nonreflexive Banach space that admits contractive projection of finite rank of at least dimension 2, for every there exists an -homogeneous polynomial on that has infinitely many extensions to . We also prove that under some geometric conditions imposed on the norm of a complex Banach lattice , for instance when satisfies an upper -estimate with constant one for some , any -homogeneous polynomial on attaining its norm at with a finite rank band projection , has a unique extension to its bidual . We apply these results in a class of Orlicz sequence spaces.

     

-ideals of compact operators are separably determined

We prove that the space of compact operators on a Banach space is an -ideal in the space of bounded operators if and only if has the metric compact approximation property (MCAP), and is an -ideal in for all separable subspaces of having the MCAP. It follows that the Kalton-Werner theorem characterizing -ideals of compact operators on separable Banach spaces is also valid for non-separable spaces: for a Banach space is an -ideal in if and only if has the MCAP, contains no subspace isomorphic to and has property It also follows that is an -ideal in for all Banach spaces if and only if has the MCAP, and is an -ideal in .

     

On covering multiplicity

Let be a system of arithmetic sequences which forms an -cover of (i.e. every integer belongs at least to members of ). In this paper we show the following surprising properties of : (a) For each there exist at least subsets of with such that . (b) If forms a minimal -cover of , then for any there is an such that for every there exists an for which and

     

Codimension theorems for complete toric varieties

Let be a complete toric variety with homogeneous coordinate ring . In this article, we compute upper and lower bounds for the codimension in the critical degree of ideals of generated by homogeneous polynomials that do not vanish simultaneously on .

     

LCM-splitting sets in some ring extensions

Let be a saturated multiplicative set of an integral domain . Call an lcm splitting set if and are principal ideals for every and . We show that if is an -stable overring of (that is, if whenever and is principal, it follows that and if is an lcm splitting set of , then the saturation of in is an lcm splitting set in . Consequently, if is Noetherian and is a (nonzero) prime element, then is also a prime element of the integral closure of . Also, if is Noetherian, is generated by prime elements of and if the integral closure of is a UFD, then so is the integral closure of .

     

Topological entropy and AF subalgebras of graph -algebras

Let be the canonical AF subalgebra of a graph -algebra associated with a locally finite directed graph . For Brown and Voiculescu's topological entropy of the canonical completely positive map on , is known to hold for a finite graph , where is the loop entropy of Gurevic and is the block entropy of Salama. For an irreducible infinite graph , the inequality has recently been known. It is shown in this paper that

where is the graph with the direction of the edges reversed. Some irreducible infinite graphs 1)$"> with are also examined.

     

Free submodules for the central representation in the cohomology of Lie algebras

If is the centre of the Lie algebra , its cohomology is naturally a module over the exterior algebra . Under suitable hypotheses on , motivated by recent work by Pouseele and Tirao, we find free summands in for this module structure, thus establishing the Toral Rank Conjecture for a new class of Lie algebras.

     

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.

     

A generalization of the non-triviality theorem of Serre

We generalize the classical theorem of Serre on the non-triviality of infinitely many homotopy groups of -connected finite CW-complexes to CW-complexes where the cohomology groups either grow too fast or do not grow faster than a certain rate given by connectivity. For example, this result can be applied to iterated suspensions of finite Postnikov systems and certain spaces with finitely generated cohomology ring. In particular, we obtain an independent, short proof of a theorem of R. Levi on the non-triviality of -invariants associated to finite perfect groups. Another application concerns spaces where the cohomology grows like a polynomial algebra on generators in dimension , , for a fixed number . We also consider spectra where we prove a non-triviality result in the case of fast growing cohomology groups.

     

Simple algebras of Weyl type, II

Over a field of any characteristic, for a commutative associative algebra , and for a commutative subalgebra of , the vector space which consists of polynomials of elements in with coefficients in and which is regarded as operators on forms naturally an associative algebra. It is proved that, as an associative algebra, is simple if and only if is -simple. Suppose is -simple. Then, (a) is a free left -module; (b) as a Lie algebra, the subquotient is simple (except for one case), where is the center of . The structure of this subquotient is explicitly described. This extends the results obtained by Su and Zhao.

     

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 .

     

A note on commutativity up to a factor of bounded operators

In this note, we explore commutativity up to a factor for bounded operators and in a complex Hilbert space. Conditions on possible values of the factor are formulated and shown to depend on spectral properties of the operators. Commutativity up to a unitary factor is considered. In some cases, we obtain some properties of the solution space of the operator equation and explore the structures of and that satisfy for some A quantum effect is an operator on a complex Hilbert space that satisfies The sequential product of quantum effects and is defined by We also obtain properties of the sequential product.

     

Actions of pointed Hopf algebras with reduced pi invariants

Let be an -module algebra, where is a pointed Hopf algebra acting on finitely of dimension . Suppose that for every nonzero -stable left ideal of . It is proved that if satisfies a polynomial identity of degree , then satisfies a polynomial identity of degree provided at least one of the following additional conditions is fulfilled:

1. is semiprime and is almost central in ,
2. is reduced.

If we also assume that is central, then satisfies the standard polynomial identity of degree , where is the greatest integer in .

     

Coprime packedness and set theoretic complete intersections of ideals in polynomial rings

A ring is said to be coprimely packed if whenever is an ideal of and is a set of maximal ideals of with , then for some . Let be a ring and be the localization of at its set of monic polynomials. We prove that if is a Noetherian normal domain, then the ring is coprimely packed if and only if is a Dedekind domain with torsion ideal class group. Moreover, this is also equivalent to the condition that each proper prime ideal of is a set theoretic complete intersection. A similar result is also proved when is either a Noetherian arithmetical ring or a Bézout domain of dimension one.

     

Remarks concerning linear characters of reflection groups

Let be a finite group generated by unitary reflections in a Hermitian space , and let be a root of unity. Let be a subspace of , maximal with respect to the property of being a -eigenspace of an element of , and let be the parabolic subgroup of elements fixing pointwise. If is any linear character of , we give a condition for the restriction of to to be trivial in terms of the invariant theory of , and give a formula for the polynomial , where is the dimension of the -eigenspace of . Applications include criteria for regularity, and new connections between the invariant theory and the structure of .