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 .

     

Geometry of chain complexes and outer automorphisms under derived equivalence

The two main theorems proved here are as follows: If is a finite dimensional algebra over an algebraically closed field, the identity component of the algebraic group of outer automorphisms of is invariant under derived equivalence. This invariance is obtained as a consequence of the following generalization of a result of Voigt. Namely, given an appropriate geometrization of the family of finite -module complexes with fixed sequence of dimensions and an ``almost projective' complex , there exists a canonical vector space embedding

where is the pertinent product of general linear groups acting on , tangent spaces at are denoted by , and is identified with its image in the derived category .

     

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.

     

The zero set of semi-invariants for extended Dynkin quivers

We show that the set of common zeros of all semi-invariants vanishing at 0 on the variety of all representations with dimension vector of an extended Dynkin quiver under the group is a complete intersection if is ``big enough'. In case does not contain an open -orbit, which is the case not considered so far, the number of irreducible components of grows with , except if is an oriented cycle.

     

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 .

     

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

     

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.

     

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.

     

Quantum -space

The prime and primitive spectra of , the multiparameter quantized coordinate ring of affine -space over an algebraically closed field , are shown to be topological quotients of the corresponding classical spectra, and , provided the multiplicative group generated by the entries of avoids .

     

On orbital partitions and exceptionality of primitive permutation groups

Let and be transitive permutation groups on a set such that is a normal subgroup of . The overgroup induces a natural action on the set of non-trivial orbitals of on . In the study of Galois groups of exceptional covers of curves, one is led to characterizing the triples where fixes no elements of ; such triples are called exceptional. In the study of homogeneous factorizations of complete graphs, one is led to characterizing quadruples where is a partition of such that is transitive on ; such a quadruple is called a TOD (transitive orbital decomposition). It follows easily that the triple in a TOD is exceptional; conversely if an exceptional triple is such that is cyclic of prime-power order, then there exists a partition of such that is a TOD. This paper characterizes TODs such that is primitive and is cyclic of prime-power order. An application is given to the classification of self-complementary vertex-transitive graphs.