On a class of jointly hyponormal Toeplitz operators

We characterize when a pair of Toeplitz operators is jointly hyponormal under various assumptions--for example, is analytic or is a trigonometric polynomial or is analytic. A typical characterization states that is jointly hyponormal if and only if an algebraic relation of and holds and the single Toeplitz operator is hyponormal, where is a combination of and . More general results for an -tuple of Toeplitz operators are also obtained.

     

Invariant ideals and polynomial forms

Let denote the group algebra of an infinite locally finite group . In recent years, the lattice of ideals of has been extensively studied under the assumption that is simple. From these many results, it appears that such group algebras tend to have very few ideals. While some work still remains to be done in the simple group case, we nevertheless move on to the next stage of this program by considering certain abelian-by-(quasi-simple) groups. Standard arguments reduce this problem to that of characterizing the ideals of an abelian group algebra stable under the action of an appropriate automorphism group of . Specifically, in this paper, we let be a quasi-simple group of Lie type defined over an infinite locally finite field , and we let be a finite-dimensional vector space over a field of the same characteristic . If acts nontrivially on by way of the homomorphism , and if has no proper -stable subgroups, then we show that the augmentation ideal is the unique proper -stable ideal of when . The proof of this result requires, among other things, that we study characteristic division rings , certain multiplicative subgroups of , and the action of on the group algebra , where is the additive group . In particular, properties of the quasi-simple group come into play only in the final section of this paper.

     

Sets of uniqueness for spherically convergent multiple trigonometric series

A subset of the -dimensional torus is called a set of uniqueness, or -set, if every multiple trigonometric series spherically converging to outside vanishes identically. We show that all countable sets are -sets and also that sets are -sets for every . In particular, , where is the Cantor set, is an set and hence a -set. We will say that is a -set if every multiple trigonometric series spherically Abel summable to outside and having certain growth restrictions on its coefficients vanishes identically. The above-mentioned results hold also for sets. In addition, every -set has measure , and a countable union of closed -sets is a -set.

     

Algebraic structure in the loop space homology Bockstein spectral sequence

Let be a finite, -dimensional, -connected CW complex. We prove the following theorem:

If is an odd prime, then the loop space homology Bockstein spectral sequence modulo is a spectral sequence of universal enveloping algebras over differential graded Lie algebras.

     

On the Glauberman and Watanabe correspondences for blocks of finite -solvable groups

If is a finite -solvable group for some prime , a solvable subgroup of the automorphism group of of order prime to such that stabilises a -block of and acts trivially on a defect group of , then there is a Morita equivalence between the block and its Watanabe correspondent of , given by a bimodule with vertex and an endo-permutation module as source, which on the character level induces the Glauberman correspondence (and which is an isotypy by Watanabe's results).

     

Solvable groups with polynomial Dehn functions

Given a finitely presented group , finitely generated subgroup of , and a monomorphism , we obtain an upper bound of the Dehn function of the corresponding HNN-extension in terms of the Dehn function of and the distortion of in . Using such a bound, we construct first examples of non-polycyclic solvable groups with polynomial Dehn functions. The constructed groups are metabelian and contain the solvable Baumslag-Solitar groups. In particular, this answers a question posed by Birget, Ol'shanskii, Rips, and Sapir.

     

Uniform and Lipschitz homotopy classes of maps

If is a compact connected polyhedron, we associate with each uniform homotopy class of uniformly continuous mappings from the real line into an element of where is the space of uniformly continuous functions from to and is the subspace of bounded uniformly continuous functions. This map from uniform homotopy classes of functions to is surjective. If is the -dimensional torus, it is bijective, while if is a compact orientable surface of genus 1$">, it is not injective.

In higher dimensions we have to consider smooth Lipschitz homotopy classes of smooth Lipschitz maps from suitable Riemannian manifolds to compact smooth manifolds With each such Lipschitz homotopy class we associate an element of where is the dimension of is the space of bounded continuous functions from the positive real axis to and is the set of all such that

     

Degenerate fibres in the Stone-Cech compactification of the universal bundle of a finite group

Applied to a continuous surjection of completely regular Hausdorff spaces and , the Stone-Cech compactification functor yields a surjection . For an -fold covering map , we show that the fibres of , while never containing more than points, may degenerate to sets of cardinality properly dividing . In the special case of the universal bundle of a -group , we show more precisely that every possible type of -orbit occurs among the fibres of . To prove this, we use a weak form of the so-called generalized Sullivan conjecture.

     

Vertices for characters of -solvable groups

Suppose that is a finite -solvable group. We associate to every irreducible complex character of a canonical pair , where is a -subgroup of and , uniquely determined by up to -conjugacy. This pair behaves as a Green vertex and partitions into ``families" of characters. Using the pair , we give a canonical choice of a certain -radical subgroup of and a character associated to which was predicted by some conjecture of G. R. Robinson.

     

Summing inclusion maps between symmetric sequence spaces

In 1973/74 Bennett and (independently) Carl proved that for the identity map id: is absolutely -summing, i.e., for every unconditionally summable sequence in the scalar sequence is contained in , which improved upon well-known results of Littlewood and Orlicz. The following substantial extension is our main result: For a -concave symmetric Banach sequence space the identity map is absolutely -summing, i.e., for every unconditionally summable sequence in the scalar sequence is contained in . Various applications are given, e.g., to the theory of eigenvalue distribution of compact operators, where we show that the sequence of eigenvalues of an operator on with values in a -concave symmetric Banach sequence space is a multiplier from into . Furthermore, we prove an asymptotic formula for the -th approximation number of the identity map , where denotes the linear span of the first standard unit vectors in , and apply it to Lorentz and Orlicz sequence spaces.

     

Transfer functions of regular linear systems Part II: The system operator and the Lax-Phillips semigroup

This paper is a sequel to a paper by the second author on regular linear systems (1994), referred to here as ``Part I'. We introduce the system operator of a well-posed linear system, which for a finite-dimensional system described by , would be the -dependent matrix . In the general case, is an unbounded operator, and we show that it can be split into four blocks, as in the finite-dimensional case, but the splitting is not unique (the upper row consists of the uniquely determined blocks and , as in the finite-dimensional case, but the lower row is more problematic). For weakly regular systems (which are introduced and studied here), there exists a special splitting of where the right lower block is the feedthrough operator of the system. Using , we give representation theorems which generalize those from Part I to well-posed linear systems and also to the situation when the ``initial time' is . We also introduce the Lax-Phillips semigroup induced by a well-posed linear system, which is in fact an alternative representation of a system, used in scattering theory. Our concept of a Lax-Phillips semigroup differs in several respects from the classical one, for example, by allowing an index which determines an exponential weight in the input and output spaces. This index allows us to characterize the spectrum of and also the points where is not invertible, in terms of the spectrum of the generator of (for various values of ). The system is dissipative if and only if (with index zero) is a contraction semigroup.

     

Sums of squares in real analytic rings

Let be an analytic ring. We show: (1) has finite Pythagoras number if and only if its real dimension is , and (2) if every positive semidefinite element of is a sum of squares, then is real and has real dimension .

     

Extensions for finite Chevalley groups II

Let be a semisimple simply connected algebraic group defined and split over the field with elements, let be the finite Chevalley group consisting of the -rational points of where , and let be the th Frobenius kernel. The purpose of this paper is to relate extensions between modules in and with extensions between modules in . Among the results obtained are the following: for 2$"> and , the -extensions between two simple -modules are isomorphic to the -extensions between two simple -restricted -modules with suitably ``twisted" highest weights. For , we provide a complete characterization of where and is -restricted. Furthermore, for , necessary and sufficient bounds on the size of the highest weight of a -module are given to insure that the restriction map is an isomorphism. Finally, it is shown that the extensions between two simple -restricted -modules coincide in all three categories provided the highest weights are ``close" together.

     

Involutions fixing , I

This paper studies the equivariant cobordism classification of all involutions fixing a disjoint union of an odd-dimensional real projective space with its normal bundle nonbounding and a Dold manifold with 0$"> and 0$">. For odd , the complete analysis of the equivariant cobordism classes of such involutions is given except that the upper and lower bounds on codimension of may not be best possible; for even , the problem may be reduced to the problem for even projective spaces.

     

Solutions of fully nonlinear elliptic equations with patches of zero gradient: Existence, regularity and convexity of level curves

In this paper, we first construct ``viscosity' solutions (in the Crandall-Lions sense) of fully nonlinear elliptic equations of the form

In fact, viscosity solutions are surprisingly weak. Since candidates for solutions are just continuous, we only require that the ``test' polynomials (those tangent from above or below to the graph of at a point ) satisfy the correct inequality only if . That is, we simply disregard those test polynomials for which .

Nevertheless, this is enough, by an appropriate use of the Alexandroff-Bakelman technique, to prove existence, regularity and, in two dimensions, for , (0$">) and constant boundary conditions on a convex domain, to prove that there is only one convex patch.

     

Compactness of the solution operator for a linear evolution equation with distributed measures

The main goal of the present paper is to define the solution operator associated to the evolution equation , , where generates a -semigroup in a Banach space , , , and to study its main properties, such as regularity, compactness, and continuity. Some necessary and/or sufficient conditions for the compactness of the solution operator extending some earlier results due to the author and to BARAS, HASSAN, VERON, as well as some applications to the existence of certain generalized solutions to a semilinear equation involving distributed, or even spatial, measures, are also included. Two concrete examples of elliptic and parabolic partial differential equations subjected to impulsive dynamic conditions on the boundary illustrate the effectiveness of the abstract results.     

Small rational model of subspace complement

This paper concerns the rational cohomology ring of the complement of a complex subspace arrangement. We start with the De Concini-Procesi differential graded algebra that is a rational model for . Inside it we find a much smaller subalgebra quasi-isomorphic to the whole algebra. is described by defining a natural multiplication on a chain complex whose homology is the local homology of the intersection lattice whence connecting the De Concini-Procesi model with the Goresky-MacPherson formula for the additive structure of . The algebra has a natural integral version that is a good candidate for an integral model of . If the rational local homology of can be computed explicitly we obtain an explicit presentation of the ring . For example, this is done for the cases where is a geometric lattice and where is a -equal manifold.