Polynomial approximation on real-analytic varieties in

We prove: Let be a compact real-analytic variety in . Assume (i) is polynomially convex and (ii) every point of is a peak point for . Then . This generalizes a previous result of the authors on polynomial approximation on three-dimensional real-analytic submanifolds of .

     

Eventual arm and leg widths in cocharacters of P. I. Algebras

Given a p.i. algebra , we study which partitions correspond to characters with non-zero multiplicities in the cocharacter sequence of . We define the , the eventual arm width to be the maximal so that such can have parts arbitrarily large, and to be the maximum so that the conjugate could have arbitrarily large parts. Our main result is that for any , .

     

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.

     

A concrete description of -spaces as -spaces and its applications

We prove that for a compact Hausdorff space without isolated points, and are isometrically Riesz isomorphic spaces under a certain topology on . Moreover, is a closed subspace of . This provides concrete examples of compact Hausdorff spaces such that the Dedekind completion of is (= the set of all bounded real-valued functions on ) since the Dedekind completion of is ( and spaces as Banach lattices).

     

Rings with finite Gorenstein injective dimension

In this paper we prove that for any associative ring , and for any left -module with finite projective dimension, the Gorenstein injective dimension equals the usual injective dimension . In particular, if is finite, then also is finite, and thus is Gorenstein (provided that is commutative and Noetherian).

     

The free roots of the complete graph

There is a model-completion of the theory of a (reflexive) -coloured graph such that is total, and for all . For 2$">, the theory is not simple, and does not have the strict order property. The theories combine to yield a non-simple theory without the strict order property, which does not eliminate hyperimaginaries.

     

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 .

     

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

     

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.

     

On linear transformations preserving at least one eigenvalue

Let be an algebraically closed field and be a linear transformation. In this paper we show that if preserves at least one eigenvalue of each matrix, then preserves all eigenvalues of each matrix. Moreover, for any infinite field (not necessarily algebraically closed) we prove that if is a linear transformation and for any with at least an eigenvalue in , and have at least one common eigenvalue in , then preserves the characteristic polynomial.

     

Numerical radius distance-preserving maps on

Let be a complex Hilbert space, be the algebra of all bounded linear operators on , be the subset of all selfadjoint operators in and or . Denote by the numerical radius of . We characterize surjective maps that satisfy for all without the linearity assumption.

     

Transferred Chern classes in Morava -theory

Let be a complex -plane bundle over the total space of a cyclic covering of prime index . We show that for the -th Chern class of the transferred bundle differs from a certain transferred class of by a polynomial in the Chern classes of the transferred bundle. The polynomials are defined by the formal group law and certain equalities in .

     

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 .

     

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 .

     

Isometries of certain operator spaces

Let and be Banach spaces, and be the spaces of bounded linear operators from into In this paper we give full characterization of isometric onto operators of for a certain class of Banach spaces, that includes We also characterize the isometric onto operators of and the compact operators on Furthermore, the multiplicative isometric onto operators of , when multiplication on is taken to be the Schur product, are characterized.

     

Stable minimal surfaces in with degenerate Gauss map

A complete oriented stable minimal surface in is a plane, but in , there are many non-flat examples such as holomorphic curves. The Gauss map plays an important role in the theory of minimal surfaces. In this paper, we prove that a complete oriented stable minimal surface in with -degenerate Gauss map (for 1/4$">) is a plane.

     

Second cohomology group of group algebras with coefficients in iterated duals

In this paper we show that the first cohomology group is zero for every odd and for every -set . In the case when is a discrete group, this is a generalization of the following result of Dales et al.: for any locally compact group , is -weakly amenable.

Next we show that the second cohomology group is a Banach space. Finally, for every locally compact group we show that is a Banach space for every odd .

     

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 .

     

Real rank and squaring mappings for unital -algebras

It is proved that if is a compact Hausdorff space of Lebesgue dimension , then the squaring mapping , defined by , is open if and only if . Hence the Lebesgue dimension of can be detected from openness of the squaring maps . In the case it is proved that the map , from the selfadjoint elements of a unital -algebra into its positive elements, is open if and only if is isomorphic to for some compact Hausdorff space with .

     

Approximate fixed point sequences and convergence theorems for Lipschitz pseudocontractive maps

Let be a nonempty closed convex subset of a real Banach space and be a Lipschitz pseudocontractive self-map of with . An iterative sequence is constructed for which as . If, in addition, is assumed to be bounded, this conclusion still holds without the requirement that Moreover, if, in addition, has a uniformly Gâteaux differentiable norm and is such that every closed bounded convex subset of has the fixed point property for nonexpansive self-mappings, then the sequence converges strongly to a fixed point of . Our iteration method is of independent interest.