A criterion for splitting -algebras in tensor products

The goal of the paper is to prove the following theorem: if , are unital -algebras, simple and nuclear, then any -subalgebra of the -tensor product of and , which contains the tensor product of with the scalar multiples of the unit of , splits in the -tensor product of with some -subalgebra of .

     

A bound on the reduction number of a primary ideal

Let be a local ring of positive dimension and let be an -primary ideal. We denote the reduction number of by , which is the smallest integer such that for some reduction of In this paper we give an upper bound on in terms of numerical invariants which are related with the Hilbert coefficients of when is Cohen-Macaulay. If , it is known that where denotes the multiplicity of If in Corollary 1.5 we prove where is the first Hilbert coefficient of From this bound several results follow. Theorem 1.3 gives an upper bound on in a more general setting.

     

Reflection and uniqueness theorems for harmonic functions

Suppose that is harmonic on an open half-ball in such that the origin 0 is the centre of the flat part of the boundary . If has non-negative lower limit at each point of and tends to 0 sufficiently rapidly on the normal to at 0, then has a harmonic continuation by reflection across . Under somewhat stronger hypotheses, the conclusion is that . These results strengthen recent theorems of Baouendi and Rothschild. While the flat boundary set can be replaced by a spherical surface, it cannot in general be replaced by a smooth -dimensional manifold.

     

An uncertainty principle for convolution operators on discrete groups

Consider a discrete group and a bounded self-adjoint convolution operator on ; let be the spectrum of . The spectral theorem gives a unitary isomorphism between and a direct sum , where , and is a regular Borel measure supported on . Through this isomorphism corresponds to multiplication by the identity function on each summand. We prove that a nonzero function and its transform cannot be simultaneously concentrated on sets , such that and the cardinality of are both small. This can be regarded as an extension to this context of Heisenberg's classical uncertainty principle.

     

The globally irreducible representations of symmetric groups

Let be an algebraic number field and be the ring of integers of . Let be a finite group and be a finitely generated torsion free -module. We say that is a globally irreducible -module if, for every maximal ideal of , the -module is irreducible, where stands for the residue field .

Answering a question of Pham Huu Tiep, we prove that the symmetric group does not have non-trivial globally irreducible modules. More precisely we establish that if is a globally irreducible -module, then is an -module of rank with the trivial or sign action of .

     

Generalized Matlis duality

Let be a commutative noetherian ring and let be the minimal injective cogenerator of the category of -modules. A module is said to be reflexive with respect to if the natural evaluation map from to is an isomorphism. We give a classification of modules which are reflexive with respect to . A module is reflexive with respect to if and only if has a finitely generated submodule such that is artinian and is a complete semi-local ring.

     

On semisimple Hopf algebras of dimension

We consider the problem of the classification of semisimple Hopf algebras of dimension where are two prime numbers. First we prove that the order of the group of grouplike elements of is not , and that if it is , then . We use it to prove that if and its dual Hopf algebra are of Frobenius type, then is either a group algebra or a dual of a group algebra. Finally, we give a complete classification in dimension , and a partial classification in dimensions and .

     

The number of knot group representations is not a Vassiliev invariant

For a finite group and a knot in the -sphere, let be the number of representations of the knot group into . In answer to a question of D.Altschuler we show that is either constant or not of finite type. Moreover, is constant if and only if is nilpotent. We prove the following, more general boundedness theorem: If a knot invariant is bounded by some function of the braid index, the genus, or the unknotting number, then is either constant or not of finite type.

     

Schreier theorem on groups which split over free abelian groups

Let be either a free product with amalgamation or an HNN group where is isomorphic to a free abelian group of finite rank. Suppose that both and have no nontrivial, finitely generated, normal subgroups of infinite indices. We show that if contains a finitely generated normal subgroup which is neither contained in nor free, then the index of in is finite. Further, as an application of this result, we show that the fundamental group of a torus sum of -manifolds and , the interiors of which admit hyperbolic structures, have no nontrivial, finitely generated, nonfree, normal subgroup of infinite index if each of and has at least one nontorus boundary.

     

Hilbert coefficients and the associated graded rings

Let be a -dimensional Cohen-Macaulay local ring with infinite residue field. Let be an -primary ideal of . In this paper, we prove that if for some minimal reduction of , then depth .

     

Extensions of holomorphic maps through hypersurfaces and relations to the Hartogs extensions in infinite dimension

A generalization of Kwack's theorem to the infinite dimensional case is obtained. We consider a holomorphic map from into , where is a hypersurface in a complex Banach manifold and is a hyperbolic Banach space. Under various assumptions on , and we show that can be extended to a holomorphic map from into . Moreover, it is proved that an increasing union of pseudoconvex domains containing no complex lines has the Hartogs extension property.

     

An extension of a non-commutative Choquet-Deny theorem

Let be a discrete group, and let be a normal subgroup of . Then the quotient map induces a group algebra homomorphism . It is shown that the kernel of this map may be decomposed as , where is a closed right ideal with a bounded left approximate identity and is a closed left ideal with a bounded right approximate identity. It follows from this fact that, if is a closed two-sided ideal in , then is closed in . This answers a question of Reiter.

     

Finite generation properties for fuchsian group von Neumann algebras tensor

We prove that the algebra , a free group with finitely many generators, contains a subnormal operator such that the linear span of the set is weakly dense in . This is the analogue for the factor , finite, of a well known fact about the unilateral shift on a Hilbert space : the linear span of all the monomials is weakly dense in .

We also show that for a suitable space of square summable analytic functions, if is the projection from the Hilbert space of all square summable functions onto and is the unbounded operator of multiplication by on , then the (unbounded) operator is nonzero (with nonzero domain).

     

Annihilating a subspace of with the sign of a continuous function

Let be a -finite, nonatomic, Baire measure space. Let be a finite dimensional subspace of . There is a bounded, continuous function, , defined on , such that

(1) for all , and (2) almost everywhere.

     

An existence theorem for systems of boundary value problems

We prove an existence theorem for , , in , using the shooting method. The function is supposed to be asymptotically linear.

     

Oscillating global continua of positive solutions of semilinear elliptic problems

Let be a bounded domain in , , with boundary , and consider the semilinear elliptic boundary value problem

where is a uniformly elliptic operator on , , is strictly positive in , and the function is continuously differentiable, with , . A well known result of Rabinowitz shows that an unbounded continuum of positive solutions of this problem bifurcates from the principal eigenvalue of the linear problem. We show that under certain oscillation conditions on the nonlinearity , this continuum oscillates about , in a certain sense, as it approaches infinity. Hence, in particular, the equation has infinitely many positive solutions for each in an open interval containing .

     

Sharper changes in topologies

Let be a Polish group, a Polish topology on a space , acting continuously on , with -invariant and in the Borel algebra generated by . Then there is a larger Polish topology on so that is open with respect to , still acts continuously on , and has a basis consisting of sets that are of the same Borel rank as relative to .

     

A generalization of a theorem of Heins

Let be the family of holomorphic selfmaps of the unit disk in the complex plane . Heins established the continuity of the functional which assigns to ( denotes the identity map) either (i) the fixed point of or (ii) the limit of its iterations or (iii) if ( represents the boundary of ). Using an Abate extension of the Denjoy-Wolff lemma to strongly convex domains, we extend this result of Heins to selfmaps of strongly convex domains in with boundary.

     

On Tate-Shafarevich groups of abelian varieties

Let be a finite Galois extension of number fields with Galois group , let be an abelian variety defined over , and let and denote, respectively, the Tate-Shafarevich groups of over and of over . Assuming that these groups are finite, we derive, under certain restrictions on and , a formula for the order of the subgroup of of -invariant elements. As a corollary, we obtain a simple formula relating the orders of , and when is a quadratic extension and is the twist of by the non-trivial character of .

     

Tunnel numbers of small knots do not go down under connected sum

Let and be two knots in and , the tunnel numbers of them. In this paper, we show that if both and are small, then . Moreover we show that for any small knots .