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 .

     

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.

     

On injective or dense-range operators leaving a given chain of subspaces invariant

In this paper we prove the existence of dense-range or one-to-one compact operators on a separable Banach space leaving a given finite chain of subspaces invariant. We use this result to prove that a semigroup of bounded operators is reducible if and only if there exists an appropriate one-to-one compact operator such that the collection of compact operators is reducible.

     

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 criteria for extremality of Teichmüller mappings

Let be a Teichmüller self-mapping of the unit disk corresponding to a holomorphic quadratic differential . If satisfies the growth condition (as ), for any given 0$">, then is extremal, and for any given , there exists a subsequence of such that

is a Hamilton sequence. In addition, it is shown that there exists with bounded Bers norm such that the corresponding Teichmüller mapping is not extremal, which gives a negative answer to a conjecture by Huang in 1995.

     

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 .

     

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

     

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.

     

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.

     

Notes on the largest irreducible character degree of a finite group

Let be a finite group and the largest irreducible character degree of . In this note, we show the following results: if , then ; if and, in addition, is -solvable with abelian Sylow -subgroup, then .

     

Hochschild cohomology of Frobenius algebras

Let be a field, a finite-dimensional Frobenius -algebra and , the Nakayama automorphism of with respect to a Frobenius homomorphism . Assume that has finite order and that has a primitive -th root of unity . Consider the decomposition of , obtained by defining , and the decomposition of the Hochschild cohomology of , obtained from the decomposition of . In this paper we prove that and that if the decomposition of is strongly -graded, then acts on and .

     

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.

     

A classification of rapidly growing Ramsey functions

Let be a number-theoretic function. A finite set of natural numbers is called -large if . Let be the Paris Harrington statement where we replace the largeness condition by a corresponding -largeness condition. We classify those functions for which the statement is independent of first order (Peano) arithmetic . If is a fixed iteration of the binary length function, then is independent. On the other hand is provable in . More precisely let where denotes the -times iterated binary length of and denotes the inverse function of the -th member of the Hardy hierarchy. Then is independent of (for ) iff .

     

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.

     

Bordism groups of special generic mappings

The Pontrjagin-Thom construction expresses a relation between the oriented bordism groups of framed immersions , and the stable homotopy groups of spheres. We apply the Pontrjagin-Thom construction to the oriented bordism groups of mappings n$">, with mildest singularities. Recently, O. Saeki showed that for , the group is isomorphic to the group of smooth structures on the sphere of dimension . Generalizing, we prove that is isomorphic to the -th stable homotopy group , , where is the group of oriented auto-diffeomorphisms of the sphere and is the group of rotations of .

     

Devaney's chaos implies existence of -scrambled sets

Let be a complete metric space without isolated points, and let be a continuous map. In this paper we prove that if is transitive and has a periodic point of period , then has a scrambled set consisting of transitive points such that each is a synchronously proximal Cantor set, and is dense in . Furthermore, if is sensitive (for example, if is chaotic in the sense of Devaney), with being a sensitivity constant, then this is an -scrambled set.

     

Symmetric word equations in two positive definite letters

For every symmetric (``palindromic") word in two positive definite letters and for each fixed -by- positive definite and , it is shown that the symmetric word equation has an -by- positive definite solution . Moreover, if and are real, there is a real solution . The notion of symmetric word is generalized to allow non-integer exponents, with certain limitations. In some cases, the solution is unique, but, in general, uniqueness is an open question. Applications and methods for finding solutions are also discussed.

     

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.

     

Continuous-trace groupoid crossed products

Let be a second countable, locally compact groupoid with Haar system, and let be a bundle of -algebras defined over the unit space of on which acts continuously. We determine conditions under which the associated crossed product is a continuous trace -algebra.

     

Birational morphisms of the plane

Let be the affine plane over a field of characteristic . Birational morphisms of are mappings given by polynomial mappings of the polynomial algebra such that for the quotient fields, one has . Polynomial automorphisms are obvious examples of such mappings. Another obvious example is the mapping given by . For a while, it was an open question whether every birational morphism is a product of polynomial automorphisms and copies of . This question was answered in the negative by P. Russell (in an informal communication). In this paper, we give a simple combinatorial solution of the same problem. More importantly, our method yields an algorithm for deciding whether a given birational morphism can be factored that way.