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 .

     

Sharp Sobolev-Poincaré inequalities on compact Riemannian manifolds

Given a smooth compact Riemannian -manifold, , we return in this article to the study of the sharp Sobolev-Poincaré type inequality

where is the critical Sobolev exponent, and is the sharp Euclidean Sobolev constant. Druet, Hebey and Vaugon proved that is true if , that is true if and the sectional curvature of is a nonpositive constant, or the Cartan-Hadamard conjecture in dimension is true and the sectional curvature of is nonpositive, but that is false if and the scalar curvature of is positive somewhere. When is true, we define as the smallest in . The saturated form of reads as

We assume in this article that , and complete the study by Druet, Hebey and Vaugon of the sharp Sobolev-Poincaré inequality . We prove that is true, and that possesses extremal functions when the scalar curvature of is negative. A fairly complete answer to the question of the validity of under the assumption that the scalar curvature is not necessarily negative, but only nonpositive, is also given.

     

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.

     

Topological mixing in -spaces

If is a proper -space and a non-elementary discrete group of isometries acting properly discontinuously on it is shown that the geodesic flow on the quotient space is topologically mixing, provided that the generalized Busemann function has zeros on the boundary and the non-wandering set of the flow equals the whole quotient space of geodesics (the latter being redundant when is compact). Applications include the proof of topological mixing for (A) compact negatively curved polyhedra, (B) compact quotients of proper geodesically complete -spaces by a one-ended group of isometries and (C) finite -dimensional ideal polyhedra.

     

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.

     

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.

     

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 .

     

Composite Bank-Laine functions and a question of Rubel

A Bank-Laine function is an entire function satisfying at every zero of . We determine all Bank-Laine functions of form , with entire. Further, we prove that if is a transcendental entire function of finite order, then there exists a path tending to infinity on which and all its derivatives tend to infinity, thus establishing for finite order a conjecture of Rubel.

     

The extraspecial case of the problem

Let be an extraspecial-type group and a faithful, absolutely irreducible -module, where is a finite field. Let be the normalizer in of . We show that, with few exceptions, there exists a such that the restriction of to is self-dual whenever and .

     

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.

     

Dual decompositions of 4-manifolds

This paper concerns decompositions of smooth 4-manifolds as the union of two handlebodies, each with handles of index . In dimensions results of Smale (trivial ) and Wall (general ) describe analogous decompositions up to diffeomorphism in terms of homotopy type of skeleta or chain complexes. In dimension 4 we show the same data determines decompositions up to 2-deformation of their spines. In higher dimensions spine 2-deformation implies diffeomorphism, but in dimension 4 the fundamental group of the boundary is not determined. Sample results: (1.5) Two 2-complexes are (up to 2-deformation) spines of a dual decomposition of the 4-sphere if and only if they satisfy the conclusions of Alexander-Lefshetz duality ( and ). (3.3) If is 1-connected then there is a ``pseudo' handle decomposition without 1-handles, in the sense that there is a pseudo collar (a relative 2-handlebody with spine that 2-deforms to ) and is obtained from this by attaching handles of index .

     

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.

     

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

     

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.

     

Associated primes of graded components of local cohomology modules

The -th local cohomology module of a finitely generated graded module over a standard positively graded commutative Noetherian ring , with respect to the irrelevant ideal , is itself graded; all its graded components are finitely generated modules over , the component of of degree . It is known that the -th component of this local cohomology module is zero for all > 0$">. This paper is concerned with the asymptotic behaviour of as .

The smallest for which such study is interesting is the finiteness dimension of relative to , defined as the least integer for which is not finitely generated. Brodmann and Hellus have shown that is constant for all (that is, in their terminology, is asymptotically stable for ). The first main aim of this paper is to identify the ultimate constant value (under the mild assumption that is a homomorphic image of a regular ring): our answer is precisely the set of contractions to of certain relevant primes of whose existence is confirmed by Grothendieck's Finiteness Theorem for local cohomology.

Brodmann and Hellus raised various questions about such asymptotic behaviour when f$">. They noted that Singh's study of a particular example (in which ) shows that need not be asymptotically stable for . The second main aim of this paper is to determine, for Singh's example, quite precisely for every integer , and, thereby, answer one of the questions raised by Brodmann and Hellus.

     

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 Fano manifolds with Nef tangent bundles admitting 1-dimensional varieties of minimal rational tangents

Let be a Fano manifold of Picard number 1 with numerically effective tangent bundle. According to the principal case of a conjecture of Campana-Peternell's, should be biholomorphic to a rational homogeneous manifold , where is a simple Lie group, and is a maximal parabolic subgroup.

In our opinion there is no overriding evidence for the Campana-Peternell Conjecture for the case of Picard number 1 to be valid in its full generality. As part of a general programme that the author has undertaken with Jun-Muk Hwang to study uniruled projective manifolds via their varieties of minimal rational tangents, a new geometric approach is adopted in the current article in a special case, consisting of (a) recovering the generic variety of minimal rational tangents , and (b) recovering the structure of a rational homogeneous manifold from . The author proves that, when and the generic variety of minimal rational tangents is 1-dimensional, is biholomorphic to the projective plane , the 3-dimensional hyperquadric , or the 5-dimensional Fano homogeneous contact manifold of type , to be denoted by .

The principal difficulty is part (a) of the scheme. We prove that is a rational curve of degrees , and show that resp. 2 resp. 3 corresponds precisely to the cases of resp. resp. . Let be the normalization of a choice of a Chow component of minimal rational curves on . Nefness of the tangent bundle implies that is smooth. Furthermore, it implies that at any point , the normalization of the corresponding Chow space of minimal rational curves marked at is smooth. After proving that is a rational curve, our principal object of study is the universal family of , giving a double fibration , which gives -bundles. There is a rank-2 holomorphic vector bundle on whose projectivization is isomorphic to . We prove that is stable, and deduce the inequality from the inequality resulting from stability and the existence theorem on Hermitian-Einstein metrics. The case of is ruled out by studying the structure of the curvature tensor of the Hermitian-Einstein metric on in the special case where .

     

Induced operators on symmetry classes of tensors

Let be an -dimensional Hilbert space. Suppose is a subgroup of the symmetric group of degree , and is a character of degree 1 on . Consider the symmetrizer on the tensor space

defined by and . The vector space

is a subspace of , called the symmetry class of tensors over associated with and . The elements in of the form are called decomposable tensors and are denoted by . For any linear operator acting on , there is a (unique) induced operator acting on satisfying

In this paper, several basic problems on induced operators are studied.

     

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.