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 .

     

No submaximal topology on a countable set is -complementary

Two -topologies and given on the same set , are called transversal if their union generates the discrete topology on . The topologies and are -complementary if they are transversal and their intersection is the cofinite topology on . We establish that for any connected Tychonoff topology there exists a connected Tychonoff transversal one. Another result is that no -complementary topology exists for the maximal topology constructed by van Douwen on the rational numbers. This gives a negative answer to Problem 162 from Open Problems in Topology (1990).

     

Inequalities for the gamma function

We prove the following two theorems:

(i) Let be the th power mean of and . The inequality

holds for all if and only if , where denotes Euler's constant. This refines results established by W. Gautschi (1974) and the author (1997).

(ii) The inequalities

are valid for all if and only if and , while holds for all if and only if and . These bounds for improve those given by G. D. Anderson an S.-L. Qiu (1997).

     

Noncontinuity of spectrum for the adjoint of an operator

This paper deals with the connection between continuity of spectrum at an element of the Banach algebra of all bounded linear operators on a Banach space and at the adjoint of . In particular, we show that, if is not reflexive, the spectrum function may be continuous at and discontinuous at .

     

On the extremality of quasiconformal mappings and quasiconformal deformations

Given a family of quasiconformal deformations such that has a uniform bound , the solution of the Löwner-type differential equation

is an -quasiconformal mapping. An open question is to determine, for each fixed , whether the extremality of is equivalent to that of . The note gives this a negative approach in both directions.

     

Yang index of the deleted product

For any a -dimensional polyhedron is constructed such that the Yang index of its deleted product equals . This answers a question of Izydorek and Jaworowski (1995). For any a -dimensional closed manifold with involution is constructed such that , but can be mapped into a -dimensional polyhedron without antipodal coincidence.

     

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.

     

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 .

     

Abstract blowing down

Assume that is a surface over an algebraically closed field . Let be obtained from by blowing up a smooth point and let be the exceptional curve. Let be the category of coherent sheaves on . In this note we show how to recover from , if we know the object .

     

A characterization of total reflection orders

Let be a Coxeter system with set of reflections . It is known that if is a total reflection order for , then, for each , and its complement are stable under conjugation by . Moreover the upper and lower -conjugates of are still total reflection orders. For any total order on , say that is stable if is stable under conjugation by for each . We prove that if and all orders obtained from by successive lower or upper -conjugations are stable, then is a total reflection order.

     

Asymptotic behaviour of Castelnuovo-Mumford regularity

Let be a polynomial ring over a field. For a graded -module generated in degree at most , the Castelnuovo-Mumford regularity of each of (i) its symmetric power, (ii) its torsion-free symmetric power and (iii) the integral closure of its torsion-free symmetric power is bounded above by a linear function in with leading coefficient at most . For a graded ideal of , the regularity of is given by a linear function of for all sufficiently large . The leading coefficient of this function is identified.

     

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.

     

Higher order symmetric spaces and the roots of the identity in a Lie group

Let denote the set of all -roots of the identity in a Lie group . We show that is always an embedded submanifold of , having the conjugacy classes of its elements as open submanifolds. These conjugacy classes are examples of -symmetric spaces and we show, more generally, that every -symmetric space of a Lie group is a covering manifold of an embedded submanifold of . We compute also the Hessian of the inclusions of and into , relative to the natural connection on the domain and to the symmetric connection on .

     

-identities on associative algebras

Let be an algebra over a field and a finite group of automorphisms and anti-automorphisms of . We prove that if satisfies an essential -polynomial identity of degree , then the -codimensions of are exponentially bounded and satisfies a polynomial identity whose degree is bounded by an explicit function of . As a consequence we show that if is an algebra with involution satisfying a -polynomial identity of degree , then the -codimensions of are exponentially bounded; this gives a new proof of a theorem of Amitsur stating that in this case must satisfy a polynomial identity and we can now give an upper bound on the degree of this identity.

     

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 .

     

-sequences

A sequence of positive integers is called a -sequence if every integer has at most representations with all in and . A -sequence is also called a -sequence or Sidon sequence. The main result is the following

Theorem. Let be a -sequence and for an integer . Then there is a -sequence of size , where .

Corollary. Let . The interval then contains a -sequence of size , when .

     

Lipschitz continuity of oblique projections

Let and be complementary spaces of a finite dimensional unitary space and let denote the projection of on parallel to . Estimates for the norm of are derived which involve the norm of the restriction of to or the gap between and .

     

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 .

     

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 .

     

A Liouville-type theorem on halfspaces for the Kohn Laplacian

Let be the Kohn Laplacian on the Heisenberg group and let be a halfspace of whose boundary is parallel to the center of . In this paper we prove that if is a non-negative -superharmonic function such that

then in .