-identities on associative algebras

Let be an algebra over a field and a finite group of automorphisms and anti-automorphisms of . We prove that if satisfies an essential -polynomial identity of degree , then the -codimensions of are exponentially bounded and satisfies a polynomial identity whose degree is bounded by an explicit function of . As a consequence we show that if is an algebra with involution satisfying a -polynomial identity of degree , then the -codimensions of are exponentially bounded; this gives a new proof of a theorem of Amitsur stating that in this case must satisfy a polynomial identity and we can now give an upper bound on the degree of this identity.

     

New facts

We use ``iterated square sequences' to show that there is an -definable partition such that if is an inner model not containing :

(a)

For some is stationary.

(b)

For each there is a generic extension of in which does not exist and is non-stationary.

This result is then applied to show that if is an inner model without , then some sentence not true in can be forced over .

     

Projections from

Let and be two infinite dimensional real Banach spaces. The following question is classical and long-standing. Are the following properties equivalent?

a) There exists a projection from the space of continuous linear operators onto the space of compact linear operators.

b) .

The answer is positive in certain cases, in particular if or has an unconditional basis. It seems that there are few results in the direction of a general solution. For example, suppose that and are reflexive and that or has the approximation property. Then, if , there is no projection of norm 1, from onto . In this paper, one obtains, in particular, the following result:

Theorem. Let be a real Banach space which is reflexive (resp. with a separable dual), of infinite dimension, and such that has the approximation property. Let be a real scalar with . Then can be equivalently renormed such that, for any projection from onto , one has . One gives also various results with two spaces and .

     

Some corollaries of Frobenius' normal -complement theorem

For a prime divisor of the order of a finite group , we present the set of -subgroups generating . In particular, we present the set of primary subgroups of generating the last member of the lower central series of . The proof is based on the Frobenius Normal -Complement Theorem and basic properties of minimal nonnilpotent groups. Let be a group and a group-theoretic property inherited by subgroups and epimorphic images such that all minimal non--subgroups (-subgroups) of are not nilpotent. Then (see the lemma), if is generated by all -subgroups of it follows that is a -group.

     

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 .

     

On covering multiplicity

Let be a system of arithmetic sequences which forms an -cover of (i.e. every integer belongs at least to members of ). In this paper we show the following surprising properties of : (a) For each there exist at least subsets of with such that . (b) If forms a minimal -cover of , then for any there is an such that for every there exists an for which and

     

The maximal ideal space of with respect to the Hadamard product

It is shown that the space of all regular maximal ideals in the Banach algebra with respect to the Hadamard product is isomorphic to The multiplicative functionals are exactly the evaluations at the -th Taylor coefficient. It is a consequence that for a given function in and for a function holomorphic in a neighborhood of with and for all the function is in

     

A Dauns-Hofmann theorem for TAF-algebras

Let be a TAF-algebra, the centre of the ideal lattice of , and the space of meet-irreducible elements of , equipped with the hull-kernel topology. It is shown that is a compact, locally compact, second countable, -space, that is an algebraic lattice isomorphic to the lattice of open subsets of , and that is isomorphic to the algebra of continuous, complex functions on . If is semisimple, then is isomorphic to the algebra of continuous, complex functions on , the primitive ideal space of . If is strongly maximal, then the sum of two closed ideals of is closed.

     

Degenerations for modules over representation-finite algebras

Let be a representation-finite algebra. We show that a finite dimensional -module degenerates to another -module if and only if the inequalities hold for all -modules . We prove also that if for any indecomposable -module , then any degeneration of -modules is given by a chain of short exact sequences.

     

Positive differentials, theta functions and Hardy kernels

Let be a planar regular region whose Schottky double has genus and set . For fixed we determine the range of the function where is the Riemann theta function on . Also we introduce two weighted Hardy spaces to study the problem when the matrix is positive definite. The proof relies on new theta identities using Fay's trisecants formula.

     

Quadratic base change for as a theta correspondence I: Occurrence

The local theta correspondence is considered for reductive dual pairs where is a -adic field of characteristic zero and is the orthogonal group attached to a quaternary quadratic form with coefficients in and of Witt rank one over . It is shown that certain representations of occur in the correspondence.

     

A description of Hilbert -modules in which all closed submodules are orthogonally closed

Let , be -algebras and a full Hilbert --bimodule such that every closed right submodule is orthogonally closed, i.e., . Then there are families of Hilbert spaces , such that and are isomorphic to -direct sums , resp. , and is isomorphic to the outer direct sum .

     

The holomorphic extension of -CR functions on tube submanifolds

We consider the set of CR functions on a connected tube submanifold of satisfying a uniform bound on the -norm in the tube direction. We show that all such CR functions holomorphically extend to functions on the convex hull of the tube (). The -norm of the extension is shown to be the same as the uniform -norm in the tube direction of the CR function.

     

Normalizers of the congruence subgroups of the Hecke group

Let cos and let be the Hecke group associated to . In this article, we show that for a prime ideal in , the congruence subgroups of are self-normalized in .

     

On the existence of maximal Cohen-Macaulay modules over root extensions

Let be an unramified regular local ring having mixed characteristic and the integral closure of in a th root extension of its quotient field. We show that admits a finite, birational module such that . In other words, admits a maximal Cohen-Macaulay module.

     

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 characterization of

This work is devoted to the relationship between topological properties of a space and those of (= the space of continuous real-valued functions on , with the topology of pointwise convergence). The emphasis is on -compactness of and on location of in . In particular, -compact cosmic spaces are characterized in this way.

     

Sur les -corps

Here we give new examples of fields in characteristic whose -invariant and -invariant are different: or . These fields are also -fields.

RSUM. Nous donnons ici de nouveaux exemples de corps en caractéristique dont le -invariant et le -invariant diffèrent. Plus précisément: et ou . Ces corps sont aussi des -corps.

     

The connected stable rank of the purely infinite simple -algebras

Suppose that is a unital purely infinite simple -algebra. If the class [1] of the unit 1 in has torsion, then ; if [1] is torsion-free in , then . If is a non-unital purely infinite simple -algebra, then .

     

Common fixed points of commuting holomorphic maps in the unit ball of

Let be the unit ball of (). We prove that if are holomorphic self-maps of such that , then and have a common fixed point (possibly at the boundary, in the sense of -limits). Furthermore, if and have no fixed points in , then they have the same Wolff point, unless the restrictions of and to the one-dimensional complex affine subset of determined by the Wolff points of and are commuting hyperbolic automorphisms of that subset.