Surfaces with

We classify minimal complex surfaces of general type with . More precisely, we show that such a surface is either the symmetric product of a curve of genus or a free quotient of the product of a curve of genus and a curve of genus . Our main tools are the generic vanishing theorems of Green and Lazarsfeld and the characterization of theta divisors given by Hacon in Corollary 3.4 of Fourier transforms, generic vanishing theorems and polarizations of abelian varieties.

     

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.

     

Self-tilting complexes yield unstable modules

Let be a group and a commutative ring. Let be the group of isomorphism classes of standard self-equivalences of the derived category of bounded complexes of -modules. The subgroup of consisting of self-equivalences fixing the trivial -module acts on the cohomology ring . The action is functorial with respect to . The self-equivalences which are 'splendid' in a sense defined by J. Rickard act naturally with respect to transfer and restriction to centralizers of -subgroups in case is a field of characteristic . In the present paper we prove that this action of self-equivalences on commutes with the action of the Steenrod algebra, and study the behaviour of the action of splendid self-equivalences with respect to Lannes' -functor.

     

Representations of exceptional simple alternative superalgebras of characteristic 3

We study representations of simple alternative superalgebras and . The irreducible bimodules and bimodules with superinvolution over these superalgebras are classified, and some analogues of the Kronecker factorization theorem are proved for alternative superalgebras that contain and .

     

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.

     

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 .

     

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

     

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.

     

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

     

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.

     

Transition Probabilities for Symmetric Jump Processes

We consider symmetric Markov chains on the integer lattice in dimensions, where and the conductance between and is comparable to . We establish upper and lower bounds for the transition probabilities that are sharp up to constants.

     

Applications of Langlands' functorial lift of odd orthogonal groups

Together with Cogdell, Piatetski-Shapiro and Shahidi, we proved earlier the existence of a weak functorial lift of a generic cuspidal representation of to . Recently, Ginzburg, Rallis and Soudry obtained a more precise form of the lift using their integral representation technique, namely, the lift is an isobaric sum of cuspidal representations of (more precisely, cuspidal representations of such that the exterior square -functions have a pole at ). One purpose of this paper is to give a simpler proof of this fact in the case that a cuspidal representation has one supercuspidal component. In a separate paper, we prove it without any condition using a result on spherical unitary dual due to Barbasch and Moy. We give several applications of the functorial lift: First, we parametrize square integrable representations with generic supercuspidal support, which have been classified by Moeglin and Tadic. Second, we give a criterion for cuspidal reducibility of supercuspidal representations of . Third, we obtain a functorial lift from generic cuspidal representations of to automorphic representations of , corresponding to the -group homomorphism , given by the second fundamental weight.

     

A Markov partition that reflects the geometry of a hyperbolic toral automorphism

We show how to construct a Markov partition that reflects the geometrical action of a hyperbolic automorphism of the -torus. The transition matrix is the transpose of the matrix induced by the automorphism in -dimensional homology, provided this is non-negative. (Here denotes the expanding dimension.) That condition is satisfied, at least for some power of the original automorphism, under a certain non-degeneracy condition on the Galois group of the characteristic polynomial. The rectangles are constructed by an iterated function system, and they resemble the product of the projection of a -dimensional face of the unit cube onto the unstable subspace and the projection of minus the orthogonal -dimensional face onto the stable subspace.

     

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.

     

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.

     

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.

     

Cotensor products of modules

Let be a coalgebra over a field and its dual algebra. The category of -comodules is equivalent to a category of -modules. We use this to interpret the cotensor product of two comodules in terms of the appropriate Hochschild cohomology of the -bimodule , when is finite-dimensional, profinite, graded or differential-graded. The main applications are to Galois cohomology, comodules over the Steenrod algebra, and the homology of induced fibrations.