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 .

     

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 .

     

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.

     

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.

     

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.

     

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.

     

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.

     

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.

     

Weakly defective varieties

A projective variety is `-weakly defective' when its intersection with a general -tangent hyperplane has no isolated singularities at the points of tangency. If is -defective, i.e. if the -secant variety of has dimension smaller than expected, then is also -weakly defective. The converse does not hold in general. A classification of weakly defective varieties seems to be a basic step in the study of defective varieties of higher dimension. We start this classification here, describing all weakly defective irreducible surfaces. Our method also provides a new proof of the classical Terracini's classification of -defective surfaces.

     

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

     

Nonradial solvability structure of super-diffusive nonlinear parabolic equations

We study the solvability of the Cauchy problem for the nonlinear parabolic equation

when in , with a given nonnegative function. It is known from earlier works of the authors that the asymptotic radial growth , for the spherical averages of is critical for local solvability, in particular ensuring it if is radially symmetric. We show that if the initial data behaves in polar coordinates like , for large with nonnegative and -periodic, then the following holds: If vanishes on some interval of length 0$">, then there is no local solution of the initial value problem. On the other hand, if such an interval does not exist, then the initial value problem is locally solvable and the time of existence can be estimated explicitly.

     

New bases for Triebel-Lizorkin and Besov spaces

We give a new method for construction of unconditional bases for general classes of Triebel-Lizorkin and Besov spaces. These include the , , potential, and Sobolev spaces. The main feature of our method is that the character of the basis functions can be prescribed in a very general way. In particular, if is any sufficiently smooth and rapidly decaying function, then our method constructs a basis whose elements are linear combinations of a fixed (small) number of shifts and dilates of the single function . Typical examples of such 's are the rational function and the Gaussian function This paper also shows how the new bases can be utilized in nonlinear approximation.

     

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.

     

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 .

     

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 .