Block representation type of reduced enveloping algebras

Let be an algebraically closed field of characteristic , a connected, reductive -group, , and the reduced enveloping algebra of associated with . Assume that is simply-connected, is good for and has a non-degenerate -invariant bilinear form. All blocks of having finite and tame representation type are determined.

     

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.

     

Finely -harmonic functions of a Markov process

Let be a Borel right process and a fixed excessive measure. Given a finely open nearly Borel set we define an operator which we regard as an extension of the restriction to of the generator of . It maps functions on to (locally) signed measures on not charging -semipolars. Given a locally smooth signed measure we define to be (finely) -harmonic on provided on and denote the class of such by . Under mild conditions on we show that is equivalent to a local ``Poisson' representation of . We characterize by an analog of the mean value property under secondary assumptions. We obtain global Poisson type representations and study the Dirichlet problem for elements of under suitable finiteness hypotheses. The results take their nicest form when specialized to Hunt processes.

     

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.

     

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.

     

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

     

Topological dynamics on moduli spaces II

Let be an orientable genus 0$"> surface with boundary . Let be the mapping class group of fixing . The group acts on the space of -gauge equivalence classes of flat -connections on with fixed holonomy on . We study the topological dynamics of the -action and give conditions for the individual -orbits to be dense in .

     

Coloring

If and , then define the graph to be the graph whose vertex set is with two vertices being adjacent iff there are distinct such that . For various and and various , typically or , the graph can be properly colored with colors. It is shown that in some cases such a coloring can also have the additional property that if is an isometric embedding, then the restriction of to is a bijection onto .

     

Milnor classes of local complete intersections

Let be a compact local complete intersection defined as the zero set of a section of a holomorphic vector bundle over the ambient space. For each connected component of the singular set of , we define the Milnor class in the homology of . The difference between the Schwartz-MacPherson class and the Fulton-Johnson class of is shown to be equal to the sum of over the connected components of . This is done by proving Poincaré-Hopf type theorems for these classes with respect to suitable tangent frames. The -degree component coincides with the Milnor numbers already defined by various authors in particular situations. We also give an explicit formula for when is a non-singular component and satisfies the Whitney condition along .

     

On the structure of

We show that for with its geometrically induced structure maps is not an Hopf algebroid because neither the augmentation nor the coproduct are multiplicative. As a consequence the algebra structure of is slightly different from what was supposed to be the case. We give formulas for and and show that the inversion of the formal group of is induced by an antimultiplicative involution . Some consequences for multiplicative and antimultiplicative automorphisms of for are also discussed.

     

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.

     

Sufficient conditions for zero-one laws

We generalize a result of Bateman and Erdos concerning partitions, thereby answering a question of Compton. From this result it follows that if is a class of finite relational structures that is closed under the formation of disjoint unions and the extraction of components, and if it has the property that the number of indecomposables of size is bounded above by a polynomial in , then has a monadic second order - law. Moreover, we show that if a class of finite structures with the unique factorization property is closed under the formation of direct products and the extraction of indecomposable factors, and if it has the property that the number of indecomposables of size at most is bounded above by a polynomial in , then this class has a first order - law. These results cover all known natural examples of classes of structures that have been proved to have a logical - law by Compton's method of analyzing generating functions.

     

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.

     

Automorphisms of finite order on Gorenstein del Pezzo surfaces

In this paper we shall determine all actions of groups of prime order with on Gorenstein del Pezzo (singular) surfaces of Picard number 1. We show that every order- element in ( , being the minimal resolution of ) is lifted from a projective transformation of . We also determine when is finite in terms of , and the number of singular members in . In particular, we show that either for some , or for every prime , there is at least one element of order in (hence is infinite).

     

Trees and branches in Banach spaces

An infinite dimensional notion of asymptotic structure is considered. This notion is developed in terms of trees and branches on Banach spaces. Every countably infinite countably branching tree of a certain type on a space is presumed to have a branch with some property. It is shown that then can be embedded into a space with an FDD so that all normalized sequences in which are almost a skipped blocking of have that property. As an application of our work we prove that if is a separable reflexive Banach space and for some and every weakly null tree on the sphere of has a branch -equivalent to the unit vector basis of , then for all 0$">, there exists a subspace of having finite codimension which embeds into the sum of finite dimensional spaces.

     

Rational -equivariant homotopy theory

We give an algebraicization of rational -equivariant homotopy theory. There is an algebraic category of `` -systems' which is equivalent to the homotopy category of rational -simply connected -spaces. There is also a theory of ``minimal models' for -systems, analogous to Sullivan's minimal algebras. Each -space has an associated minimal -system which encodes all of its rational homotopy information, including its rational equivariant cohomology and Postnikov decomposition.

     

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.

     

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