Modular group algebras of -separable -groups

Under the assumptions of MA and CH, it is proved that if is a field of prime characteristic and is an -separable abelian -group of cardinality , then an isomorphism of the group algebras and implies an isomorphism of and .

     

-theory of -pseudo-differential algebras

We are concerned with the so-called -pseudo-differential calculus. We describe the spectrum of the unital and commutative -algebra given by the norm closure of the space of -order pseudo-differential operators modulo compact operators; other related algebras are also considered. Finally, their -theory is computed.

     

A note on -bases of a regular affine domain extension

Let be a tower of commutative rings where is a regular affine domain over an algebraically closed field of prime characteristic and is a regular domain. Suppose has a -basis over and . For a subset of whose elements satisfy a certain condition on linear independence, let be a set of maximal ideals of such that is a -basis of over . We shall characterize this set in a geometrical aspect.

     

-hyponormal operators are subscalar

We prove that if are injective, then is subscalar if and only if is subscalar. As corollaries, it is shown that -hyponormal operators and log-hyponormal operators are subscalar; also w-hyponormal operators with Ker Kerand their generalized Aluthge transformations are subscalar.

     

-injective rings and -stable primes

The notion of stability of the highest local cohomology module with respect to the Frobenius functor originates in the work of R. Hartshorne and R. Speiser. R. Fedder and K.-i. Watanabe examined this concept for isolated singularities by relating it to -rationality. The purpose of this note is to study what happens in the case of non-isolated singularities and to show how this stability concept encapsulates a few of the subtleties of tight closure theory. Our study can be seen as a generalization of the work by Fedder and Watanabe. We introduce two new ring invariants, the -stability number and the set of -stable primes. We associate to every ideal generated by a system of parameters and an ideal of multipliers denoted and obtain a family of ideals . The set is independent of and consists of finitely many prime ideals. It also equals prime ideal such that is -stable. The maximal height of such primes defines the -stability number.

     

On the best possible character of the norm in some a priori estimates for non-divergence form equations in Carnot groups

Let be a group of Heisenberg type with homogeneous dimension . For every we construct a non-divergence form operator and a non-trivial solution to the Dirichlet problem: in , on . This non-uniqueness result shows the impossibility of controlling the maximum of with an norm of when . Another consequence is the impossiblity of an Alexandrov-Bakelman type estimate such as

where is the dimension of the horizontal layer of the Lie algebra and is the symmetrized horizontal Hessian of .

     

On an approximate automorphism on a -algebra

It is shown that for an approximate algebra homomorphism on a Banach -algebra , there exists a unique algebra -homomorphism near the approximate algebra homomorphism. This is applied to show that for an approximate automorphism on a unital -algebra , there exists a unique automorphism near the approximate automorphism. In fact, we show that the approximate automorphism is an automorphism.

     

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).

     

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 .

     

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 .

     

Discrete spectra of -algebras and complemented submodules in Hilbert -modules

Let be a -algebra and let be a full (right) Hilbert -module. It is shown that if the spectrum of is discrete, then every closed --submodule of is complemented in , and conversely that if is a -space and if every closed --submodule of is complemented in , then is discrete.

     

A note on the support of a Sobolev function on a -cell

It is shown that a -cell (the homeomorphic image of a closed ball in ) in , , cannot support a function in if [\frac{k+1}{2}]$">, the greatest integer in .

     

-inner automorphisms of finite groups

We refer to an automorphism of a group as -inner if given any subset of with cardinality less than , there exists an inner automorphism of agreeing with on . Hence is 2-inner if it sends every element of to a conjugate. New examples are given of outer -inner automorphisms of finite groups for all natural numbers .

     

Lifts of - and -morphisms to -morphisms

Let be the Hochschild complex of cochains on and let be the space of multivector fields on . In this paper we prove that given any -structure (i.e. Gerstenhaber algebra up to homotopy structure) on , and any -morphism (i.e. morphism of a commutative, associative algebra up to homotopy) between and , there exists a -morphism between and that restricts to . We also show that any -morphism (i.e. morphism of a Lie algebra up to homotopy), in particular the one constructed by Kontsevich, can be deformed into a -morphism, using Tamarkin's method for any -structure on . We also show that any two of such -morphisms are homotopic.

     

(APD)-property of -algebras by extensions of -algebras with (APD)

A unital -algebra is said to have the (APD)-property if every nonzero element in has the approximate polar decomposition. Let be a closed ideal of . Suppose that and have (APD). In this paper, we give a necessary and sufficient condition that makes have (APD). Furthermore, we show that if and or is a simple purely infinite -algebra, then has (APD).

     

Principal eigenvalues for indefinite weight problems in all of

We show the existence of principal eigenvalues of the problem in where is an indefinite weight function. The existence of a continuous family of principal eigenvalues is demonstrated. Also, we prove the existence of a principal eigenvalue for which the principal eigenfunction at .

     

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 .

     

Functions -orthogonal with respect to their own zeros

In 1939, G. H. Hardy proved that, under certain conditions, the only functions satisfying

where the are the zeros of , are the Bessel functions. We replace the above integral by the Jackson -integral and give the -analogue of Hardy's result.

     

Real -flats tangent to quadrics in

Let and denote the dimension and the degree of the Grassmannian , respectively. For each there are (a priori complex) -planes in tangent to general quadratic hypersurfaces in . We show that this class of enumerative problems is fully real, i.e., for there exists a configuration of real quadrics in (affine) real space so that all the mutually tangent -flats are real.