On embeddings of full amalgamated free product C-algebras

We examine the question of when the -homomorphism of full amalgamated free product C-algebras, arising from compatible inclusions of C-algebras , and , is an embedding. Results giving sufficient conditions for to be injective, as well as classes of examples where fails to be injective, are obtained. As an application, we give necessary and sufficient conditions for the full amalgamated free product of finite-dimensional C-algebras to be residually finite dimensional.

     

The Russo-Dye Theorem in a weakly closed -module

Suppose that is admissible. It is shown that the convex hull of unitary elements of a weakly closed -module contains the whole unit ball of if and only if and for any 0$">, 0$">.

     

Nonexpansive, -continuous antirepresentations have common fixed points

Let be a closed convex subset of a Banach (dual Banach) space . By we denote an antirepresentation of a semitopological semigroup as nonexpansive mappings on . Suppose that the mapping is jointly continuous when has the weak (weak*) topology and the Banach space of bounded right uniformly continuous functions on has a right invariant mean. If is weakly compact (for some the set is weakly* compact) and norm separable, then has a common fixed point in .

     

A short proof of ergodicity of Babillot-Ledrappier measures

Let be a compact manifold, and let be a transitive homologically full Anosov flow on . Let be a -cover for , and let be the lift of to . Babillot and Ledrappier exhibited a family of measures on , which are invariant and ergodic with respect to the strong stable foliation of . We provide a new short proof of ergodicity.

     

Vector measure Banach spaces containing a complemented copy of

Let a Banach space and a -algebra of subsets of a set . We say that a vector measure Banach space has the bounded Vitaly-Hahn-Sacks Property if it satisfies the following condition: Every vector measure , for which there exists a bounded sequence in verifying for all , must belong to . Among other results, we prove that, if is a vector measure Banach space with the bounded V-H-S Property and containing a complemented copy of , then contains a copy of .

     

Approximation of holomorphic maps with a lower bound on the rank

Let be a closed polydisc or ball in , and let be a quasi-projective algebraic manifold which is Zariski locally equivalent to , or a complement of an algebraic subvariety of codimension in such a manifold. If is an integer satisfying , then every holomorphic map from a neighborhood of to with rank at every point of can be approximated uniformly on by entire maps with rank at every point of .

     

-semigroups generated by second order differential operators with general Wentzell boundary conditions

Let us consider the operator where is positive and continuous in and is equipped with the so-called generalized Wentzell boundary condition which is of the form at each boundary point, where This class of boundary conditions strictly includes Dirichlet, Neumann and Robin conditions.

Under suitable assumptions on , we prove that generates a positive -semigroup on and, hence, many previous (linear or nonlinear) results are extended substantially.

     

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.

     

Associated primes of local cohomology modules

Let be an ideal of a commutative Noetherian ring and a finitely generated -module. Let be a natural integer. It is shown that there is a finite subset of , such that is contained in union with the union of the sets , where and . As an immediate consequence, we deduce that the first non- -cofinite local cohomology module of with respect to has only finitely many associated prime ideals.

     

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.

     

Lightface -indescribable cardinals

-absoluteness for forcing means that for any forcing , . `` inaccessible to reals' means that for any real , . To measure the exact consistency strength of `` -absoluteness for forcing and is inaccessible to reals', we introduce a weak version of a weakly compact cardinal, namely, a (lightface) -indescribable cardinal; has this property exactly if it is inaccessible and .

     

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.

     

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.

     

Instability of statistical factor analysis

Factor analysis, a popular method for interpreting multivariate data, models the covariance among variables as being due to a small number (, ) of hidden variables. A factor analysis of can be thought of as an ordered or unordered collection, , of linearly independent lines in . Let be the collection of data sets for which is defined. The ``singularities' of are those data sets, , in the closure, , at which the limit, , does not exist. is unstable near its singularities.

Let be the direct sum of the lines in . determines a -plane bundle, , over a subset, , of . If 1$"> and is rich enough, ordered or, at least if or 3, unordered, must have a singularity at some data set in . The proofs are applications of algebraic topology. Examples are provided.

     

The distribution of solutions of the congruence

For a cube of size , we obtain a lower bound on so that is nonempty, where is the algebraic subset of defined by

a positive integer and an integer not divisible by . For we obtain that is nonempty if , for we obtain that is nonempty if , and for we obtain that is nonempty if . Using the assumption of the Grand Riemann Hypothesis we obtain is nonempty if .

     

Multiplicative bijections of

Let be a compact Hausdorff space which satisfies the first axiom of countability, let and let , be the set of all continuous functions from to If , ,is a bijective multiplicative map, then there exist a homeomorphism and a continuous map such that for all and for all

     

On a theorem of R. Steinberg on rings of coinvariants

Let be a representation of a finite group over the field . Denote by the algebra of polynomial functions on the vector space . The group acts on and hence also on . The algebra of coinvariants is , where is the ideal generated by all the homogeneous -invariant forms of strictly positive degree. If the field has characteristic zero, then R. Steinberg has shown (this is the formulation of R. Kane) that is a Poincaré duality algebra if and only if is a pseudoreflection group. In this note we explore the situation for fields of nonzero characteristic. We prove an analogue of Steinberg's theorem for the case and give a counterexample in the modular case when .

     

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 .

     

Multiplicatively spectrum-preserving maps of function algebras

Let be a compact Hausdorff space and a function algebra. Assume that is the maximal ideal space of . Denoting by the spectrum of an , which in this case coincides with the range of , a result of Molnár is generalized by our Main Theorem: If is a surjective map with the property for every pair of functions , then there exists a homeomorphism such that

for every and every with .

     

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.