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.

     

Self-normalizing Sylow subgroups

Using the classification of finite simple groups we prove the following statement: Let 3$"> be a prime, a group of automorphisms of -power order of a finite group , and a -invariant Sylow -subgroup of . If is trivial, then is solvable. An equivalent formulation is that if has a self-normalizing Sylow -subgroup with 3$"> a prime, then is solvable. We also investigate the possibilities 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 .

     

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 .

     

The influence of deterministic noise on empirical measures generated by stationary processes

We consider weak convergence of empirical measures generated by stationary random process perturbed by deterministic noise . We assume that the noise has asymptotic distribution. In particular, we demonstrate that if the process is ergodic, or satisfies some mixing assumptions, then the influence of deterministic noise on is the same as it would be if were stochastic. Such results are of importance when investigating fluctuations and convex rearrangements of stochastic processes.

     

Bundles with periodic maps and mod Chern polynomial

Suppose that is a vector bundle with a linear periodic map of period ; the map is assumed free on the outside of the -section. A polynomial , called a mod Chern polynomial of , is defined. It is analogous to the Stiefel-Whitney polynomial defined by Dold for real vector bundles with the antipodal involution. The mod Chern polynomial can be used to measure the size of the periodic coincidence set for fibre preserving maps of the unit sphere bundle of into another vector bundle.

     

Distinguished representations and poles of twisted tensor -functions

Let be a quadratic extension of -adic fields. If is an admissible representation of that is parabolically induced from discrete series representations, then we prove that the space of -invariant linear functionals on has dimension one, where is the mirabolic subgroup. As a corollary, it is deduced that if is distinguished by , then the twisted tensor -function associated to has a pole at . It follows that if is a discrete series representation, then at most one of the representations and is distinguished, where is an extension of the local class field theory character associated to . This is in agreement with a conjecture of Flicker and Rallis that relates the set of distinguished representations with the image of base change from a suitable unitary group.

     

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.

     

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

     

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 .

     

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.

     

Uncountable categoricity for gross models

A model is said to be gross if all infinite definable sets in have the same cardinality (as ). We prove that if for some uncountable , has a unique gross model of cardinality , then for any uncountable , has a unique gross model of cardinality .

     

The splitting problem for subspaces of tensor products of operator algebras

The main result of this paper is that if is a von Neumann algebra that is a factor and has the weak* operator approximation property (the weak* OAP), and if is a von Neumann algebra, then every -weakly closed subspace of that is an -bimodule (under multiplication) splits, in the sense that there is a -weakly closed subspace of such that . Note that if is a von Neumann subalgebra of , then is an -bimodule if and only if . So this result is a generalization (in the case where has the weak* OAP) of the result of Ge and Kadison that if is a factor, then every von Neumann subalgebra of that contains splits. We also obtain other results concerning the splitting of -weakly closed subspaces of tensor products of von Neumann algebras and the splitting of normed closed subspaces of C*-algebras that generalize results previously obtained for von Neumann subalgebras and C*-subalgebras.

     

Pure Picard-Vessiot extensions with generic properties

Given a connected linear algebraic group over an algebraically closed field of characteristic 0, we construct a pure Picard-Vessiot extension for , namely, a Picard-Vessiot extension , with differential Galois group , such that and are purely differentially transcendental over . The differential field is the quotient field of a -stable proper differential subring with the property that if is any differential field with field of constants and is a Picard-Vessiot extension with differential Galois group a connected subgroup of , then there is a differential homomorphism such that is generated over as a differential field by .

     

Simple corona -algebras

Let be a non-unital and -unital simple -algebra. We show that if is simple, then is purely infinite. We also show that is simple if and only if has a continuous scale provided that is not isomorphic to the compact operators.

     

On the projective-injective modules over cellular algebras

We show that the projective module over a cellular algebra is injective if and only if the socle of coincides with the top of , and this is also equivalent to the condition that the th socle layer of is isomorphic to the th radical layer of for each positive integer . This eases the process of determining the Loewy series of the projective-injective modules over cellular algebras.

     

Eigenvalue estimates for operators on symmetric Banach sequence spaces

Using abstract interpolation theory, we study eigenvalue distribution problems for operators on complex symmetric Banach sequence spaces. More precisely, extending two well-known results due to König on the asymptotic eigenvalue distribution of operators on -spaces, we prove an eigenvalue estimate for Riesz operators on -spaces with , which take values in a -concave symmetric Banach sequence space , as well as a dual version, and show that each operator on a -convex symmetric Banach sequence space , which takes values in a -concave symmetric Banach sequence space , is a Riesz operator with a sequence of eigenvalues that forms a multiplier from into . Examples are presented which among others show that the concavity and convexity assumptions are essential.

     

On -supplemented maximal and minimal subgroups of Sylow subgroups of finite groups

This paper proves: Let be a saturated formation containing . Suppose that is a group with a normal subgroup such that .

(1) If all maximal subgroups of any Sylow subgroup of are -supple- mented in , then ;

(2) If all minimal subgroups and all cyclic subgroups with order 4 of are -supplemented in , then .

     

Coprime packedness and set theoretic complete intersections of ideals in polynomial rings

A ring is said to be coprimely packed if whenever is an ideal of and is a set of maximal ideals of with , then for some . Let be a ring and be the localization of at its set of monic polynomials. We prove that if is a Noetherian normal domain, then the ring is coprimely packed if and only if is a Dedekind domain with torsion ideal class group. Moreover, this is also equivalent to the condition that each proper prime ideal of is a set theoretic complete intersection. A similar result is also proved when is either a Noetherian arithmetical ring or a Bézout domain of dimension one.

     

-adic -basis and regular local ring

We introduce the concept of -adic -basis as an extension of the concept of -basis. Let be a regular local ring of prime characteristic and a ring such that . Then we prove that is a regular local ring if and only if there exists an -adic -basis of and is Noetherian.