Local existence of -sets, projective tensor products, and Arens regularity for

Theorem. If are perfect compact subsets of the locally compact metrizable abelian group, then there are pairwise disjoint perfect subsets such that (i) is either a Kronecker set or (ii) for some , is a translate of a -set all of whose elements have order , and (iii) is isomorphic to the projective tensor product .

This extends what was previously known for groups such as or for the case to the general locally compact abelian group. Old results concerning the local existence of Kronecker and -sets are improved.

     

Control of radii of convergence and extension of subanalytic functions

Let : denote a real analytic function on an open subset of , and let denote the points where does not admit a local analytic extension. We show that if is semialgebraic (respectively, globally subanalytic), then is semialgebraic (respectively, subanalytic) and extends to a semialgebraic (respectively, subanalytic) neighbourhood of . (In the general subanalytic case, is not necessarily subanalytic.) Our proof depends on controlling the radii of convergence of power series centred at points in the image of an analytic mapping , in terms of the radii of convergence of at points , where denotes the Taylor expansion of at .

     

Transitive families of projections in factors of type

We introduce a notion of transitive family of subspaces relative to a type factor, and hence a notion of transitive family of projections in such a factor. We show that whenever is a factor of type and is generated by two self-adjoint elements, then contains a transitive family of projections. Finally, we exhibit a free transitive family of projections that generate a factor of type .

     

Strong comparison principle for solutions of quasilinear equations

Let , , be a bounded smooth connected open set and be a map satisfying the hypotheses (H1)-(H4) below. Let with , in and with be two weak solutions of

Suppose that in . Then we show that u_1$"> in under the following assumptions: either u_1$"> on , or on and in . We also show a measure-theoretic version of the Strong Comparison Principle.

     

An extremal problem of quasiconformal mappings

In this paper, the following problem is studied. Let and be two domains in the complex plane with . Suppose that are two quasiconformal mappings satisfying . Let be the mapping in defined by (). If both and are uniquely extremal, is always uniquely extremal? It is shown in this paper that the answer to this problem is no.

     

Conformal metrics and Ricci tensors on the sphere

We consider tensors on the unit sphere , where , is the standard metric and is a differentiable function on . For such tensors, we consider the problems of existence of a Riemannian metric , conformal to , such that , and the existence of such a metric that satisfies , where is the scalar curvature of . We find the restrictions on the Ricci candidate for solvability, and we construct the solutions when they exist. We show that these metrics are unique up to homothety, and we characterize those defined on the whole sphere. As a consequence of these results, we determine the tensors that are rotationally symmetric. Moreover, we obtain the well-known result that a tensor , 0 $">, has no solution on if and only metrics homothetic to admit as a Ricci tensor. We also show that if , then equation has no solution , conformal to on , and only metrics homothetic to are solutions to this equation when . Infinitely many solutions, globally defined on , are obtained for the equation

where . The geometric interpretation of these solutions is given in terms of existence of complete metrics, globally defined on and conformal to the Euclidean metric, for certain bounded scalar curvature functions that vanish at infinity.

     

Asymptotic estimates for a two-dimensional problem with polynomial nonlinearity

In this paper we give asymptotic estimates of the least energy solution of the functional

as goes to infinity. Here is a smooth bounded domain of . Among other results we give a positive answer to a question raised by Chen, Ni, and Zhou (2000) by showing that .

     

Hecke algebras for the basic characters of the unitriangular group

Let denote the unitriangular group of degree over the finite field with elements. In a previous paper we obtained a decomposition of the regular character of as an orthogonal sum of basic characters. In this paper, we study the irreducible constituents of an arbitrary basic character of . We prove that is induced from a linear character of an algebra subgroup of , and we use the Hecke algebra associated with this linear character to describe the irreducible constituents of as characters induced from an algebra subgroup of . Finally, we identify a special irreducible constituent of , which is also induced from a linear character of an algebra subgroup. In particular, we extend a previous result (proved under the assumption where is the characteristic of the field) that gives a necessary and sufficient condition for to have a unique irreducible constituent.

     

The duality theory of a finite dimensional discrete quantum group

Suppose that is a finite dimensional discrete quantum group and is a Hilbert space. This paper shows that if there exists an action of on so that is a modular algebra and the inner product on is -invariant, then there is a unique C*-representation of on supplemented by the The commutant of in is exactly the -invariant subalgebra of . As an application, a new proof of the classical Schur-Weyl duality theory of type A is given.

     

Pseudocompact spaces and -spaces

Let be a completely regular Hausdorff space, and let be the space of continuous real-valued functions on endowed with the compact-open topology. We find various equivalent conditions for to be a -space, resolving an old question of Jarchow and consolidating work by Jarchow, Mazon, McCoy and Todd. Included are analytic characterizations of pseudocompactness and an example that shows that, for , Grothendieck's -spaces do not coincide with Jarchow's -spaces. Any such example necessarily answers a thirty-year-old question on weak barrelledness properties for , our original motivation.

     

Some numerical invariants of local rings

Let be a formal power series ring over a field of characteristic zero and any ideal. The aim of this work is to introduce some numerical invariants of the local rings by using the theory of algebraic -modules. More precisely, we will prove that the multiplicities of the characteristic cycle of the local cohomology modules and , where is any prime ideal that contains , are invariants of .

     

On two problems of Erdos and Hechler: New methods in singular madness

For an infinite cardinal , denotes the set of all cardinalities of nontrivial maximal almost disjoint families over .

Erdos and Hechler proved in 1973 the consistency of for a singular cardinal and asked if it was ever possible for a singular that , and also whether for every singular cardinal .

We introduce a new method for controlling for a singular and, among other new results about the structure of for singular , settle both problems affirmatively.

     

-bounding and -induction

Working in the base theory of , we show that for all , the bounding principle for -formulas ( ) is equivalent to the induction principle for -formulas ( ). This partially answers a question of J. Paris.

     

Mansfield's imprimitivity theorem for arbitrary closed subgroups

Let be a nondegenerate coaction of on a -algebra , and let be a closed subgroup of . The dual action is proper and saturated in the sense of Rieffel, and the generalised fixed-point algebra is the crossed product of by the homogeneous space . The resulting Morita equivalence is a version of Mansfield's imprimitivity theorem which requires neither amenability nor normality of .

     

On the Gelfand-Kirillov conjecture for quantum algebras

Let be a complex not a root of unity and be a semi-simple Lie -algebra. Let be the quantized enveloping algebra of Drinfeld and Jimbo, be its triangular decomposition, and the associated quantum group. We describe explicitly and as a quantum Weyl field. We use for this a quantum analogue of the Taylor lemma.

     

Weak properties of weighted convolution algebras

Suppose that is a weighted convolution algebra on with the weight normalized so that the corresponding space of measures is the dual space of the space of continuous functions. Suppose that is a continuous nonzero homomorphism, where is also a convolution algebra. If is norm dense in , we show that is (relatively) weak dense in , and we identify the norm closure of with the convergence set for a particular semigroup. When is weak continuous it is enough for to be weak dense in . We also give sufficient conditions and characterizations of weak continuity of . In addition, we show that, for all nonzero in , the sequence converges weak to 0. When is regulated, converges to 0 in norm.

     

Tensor products of -weakly closed nest algebra submodules

In this paper we prove that for any unital -weakly closed algebra which is -weakly generated by finite-rank operators in , every -weakly closed -submodule has . In the case of nest algebras, if are nests, we obtain the following -fold tensor product formula:

where each is the -weakly closed Alg -submodule determined by an order homomorphism from into itself.

     

Minimal displacement and retraction problems in infinite-dimensional Hilbert spaces

We give the first constructive example of a Lipschitz mapping with positive minimal displacement in an infinite-dimensional Hilbert space We use this construction to obtain an evaluation from below of the minimal displacement characteristic in the space In the second part we present a simple and constructive proof of existence of a Lipschitz retraction from a unit ball onto a unit sphere in the space , and we improve an evaluation from above of a retraction constant

     

Spectral subspaces of subscalar and related operators

For a bounded linear operator on a complex Banach space and a closed subset of the complex plane this note deals with algebraic representations of the corresponding analytic spectral subspace from local spectral theory. If is the restriction of a generalized scalar operator to a closed invariant subspace, then it is shown that for all sufficiently large integers where denotes the largest linear subspace of for which for all Moreover, for a wide class of operators that satisfy growth conditions of polynomial or Beurling type, it is shown that is closed and equal to

     

Parametric decomposition of powers of ideals versus regularity of sequences

Let be an ideal in a Noetherian local ring . Then the sequence is -regular if every is a non-zerodivisor in and if for all integers , where runs over the elements of the set .