On the regularity of products and intersections of complete intersections

This paper proves the formulae

for arbitrary monomial complete intersections and , and provides examples showing that these inequalities do not hold for general complete intersections.

     

Minkowski valuations

Centroid and difference bodies define equivariant operators on convex bodies and these operators are valuations with respect to Minkowski addition. We derive a classification of equivariant Minkowski valuations and give a characterization of these operators. We also derive a classification of contravariant Minkowski valuations and of -Minkowski valuations.

     

Bases for some reciprocity algebras I

For a complex vector space , let be the algebra of polynomial functions on . In this paper, we construct bases for the algebra of all highest weight vectors in , where and for all , and the algebra of highest weight vectors in .

     

Hopf algebroids and H-separable extensions

Since an H-separable extension is of depth two, we associate to it dual bialgebroids and over the centralizer as in Kadison-Szlachányi. We show that has an antipode and is a Hopf algebroid. is also Hopf algebroid under the condition that the centralizer is an Azumaya algebra over the center of . For depth two extension , we show that .

     

G-structure on the cohomology of Hopf algebras

We prove that is a Gerstenhaber algebra, where is a Hopf algebra. In case is the Drinfeld double of a finite-dimensional Hopf algebra , our results imply the existence of a Gerstenhaber bracket on . This fact was conjectured by R. Taillefer. The method consists of identifying as a Gerstenhaber subalgebra of (the Hochschild cohomology of ).

     

Extensions of Hopf Algebras and Lie Bialgebras

Let , be finite-dimensional Lie algebras over a field of characteristic zero. Regard and , the dual Lie coalgebra of , as Lie bialgebras with zero cobracket and zero bracket, respectively. Suppose that a matched pair of Lie bialgebras is given, which has structure maps . Then it induces a matched pair of Hopf algebras, where is the universal envelope of and is the Hopf dual of . We show that the group of cleft Hopf algebra extensions associated with is naturally isomorphic to the group of Lie bialgebra extensions associated with . An exact sequence involving either of these groups is obtained, which is a variation of the exact sequence due to G.I. Kac. If , there follows a bijection between the set of all cleft Hopf algebra extensions of by and the set of all Lie bialgebra extensions of by .

     

An analogue of minimal surface theory in

We shall discuss the class of surfaces with holomorphic right Gauss maps in non-compact duals of compact semi-simple Lie groups (e.g. ), which contains minimal surfaces in and constant mean curvature surfaces in . A Weierstrass type representation formula and a Chern-Osserman type inequality for such surfaces are given.

     

Hyperelliptic jacobians and simple groups

In a previous paper, the author proved that in characteristic zero the jacobian of a hyperelliptic curve has only trivial endomorphisms over an algebraic closure of the ground field if the Galois group of the irreducible polynomial is either the symmetric group or the alternating group . Here 4$"> is the degree of . In another paper by the author this result was extended to the case of certain ``smaller' Galois groups. In particular, the infinite series and were treated. In this paper the case of and is treated.

     

Combinatorics of rank jumps in simplicial hypergeometric systems

Let be an integer matrix, and assume that the convex hull of its columns is a simplex of dimension  not containing the origin. It is known that the semigroup ring is Cohen-Macaulay if and only if the rank of the GKZ hypergeometric system equals the normalized volume of for all complex parameters (Saito, 2002). Our refinement here shows that has rank strictly larger than the volume of if and only if lies in the Zariski closure (in  ) of all -graded degrees where the local cohomology is nonzero. We conjecture that the same statement holds even when is not a simplex.

     

Semi-invariants of quivers and saturation for Littlewood-Richardson coefficients

Let be a quiver without oriented cycles. For a dimension vector let be the set of representations of with dimension vector . The group acts on . In this paper we show that the ring of semi-invariants is spanned by special semi-invariants associated to representations of . From this we show that the set of weights appearing in is saturated. In the case of triple flag quiver this reduces to the results of Knutson and Tao on the saturation of the set of triples of partitions for which the Littlewood-Richardson coefficient is nonzero.

     

Asymptotic cones and Assouad-Nagata dimension

We prove that the dimension of any asymptotic cone over a metric space does not exceed the asymptotic Assouad-Nagata dimension of . This improves a result of Dranishnikov and Smith (2007), who showed for all separable subsets of special asymptotic cones , where is an exponential ultrafilter on natural numbers.

We also show that the Assouad-Nagata dimension of the discrete Heisenberg group equals its asymptotic dimension.

     

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

     

Note on the stability of principal bundles

We compare various notions of stability for principal bundles, and show that over a compact Riemann surface of genus greater than 2, there exist principal -bundles that are Ad-stable.

     

A Connes-amenable, dual Banach algebra need not have a normal, virtual diagonal

Let be a locally compact group, and let denote the space of weakly almost periodic functions on . We show that, if is a -group, but not compact, then the dual Banach algebra does not have a normal, virtual diagonal. Consequently, whenever is an amenable, non-compact -group, is an example of a Connes-amenable, dual Banach algebra without a normal, virtual diagonal. On the other hand, there are amenable, non-compact, locally compact groups such that does have a normal, virtual diagonal.

     

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 .

     

Maximal families of Gorenstein algebras

The purpose of this paper is to study maximal irreducible families of Gorenstein quotients of a polynomial ring . Let be the scheme parametrizing graded quotients of with Hilbert function . We prove there is a close relationship between the irreducible components of , whose general member is a Gorenstein codimension quotient, and the irreducible components of , whose general member is a codimension Cohen-Macaulay algebra of Hilbert function related to . If the Castelnuovo-Mumford regularity of the Gorenstein quotient is large compared to the Castelnuovo-Mumford regularity of , this relationship actually determines a well-defined injective mapping from such ``Cohen-Macaulay' components of to ``Gorenstein' components of , in which generically smooth components correspond. Moreover the dimension of the ``Gorenstein' components is computed in terms of the dimension of the corresponding ``Cohen-Macaulay' component and a sum of two invariants of . Using linkage by a complete intersection we show how to compute these invariants. Linkage also turns out to be quite effective in verifying the assumptions which appear in a generalization of the main theorem.

     

Simple derivations of differentiably simple Noetherian commutative rings in prime characteristic

Let be a differentiably simple Noetherian commutative ring of characteristic (then is local with ). A short proof is given of the Theorem of Harper (1961) on classification of differentiably simple Noetherian commutative rings in prime characteristic. The main result of the paper is that there exists a nilpotent simple derivation of the ring such that if , then for some . The derivation is given explicitly, and it is unique up to the action of the group of ring automorphisms of . Let be the set of all such derivations. Then . The proof is based on existence and uniqueness of an iterative -descent (for each ), i.e., a sequence in such that , and for all . For each , and .

     

The equivariant Brauer group of a group

We consider the Brauer group of a group (finite or infinite) over a commutative ring with identity. A split exact sequence

is obtained. This generalizes the Fröhlich-Wall exact sequence from the case of a field to the case of a commutative ring, and generalizes the Picco-Platzeck exact sequence from the finite case of to the infinite case of . Here is the Brauer-Taylor group of Azumaya algebras (not necessarily with unit). The method developed in this paper might provide a key to computing the equivariant Brauer group of an infinite quantum group.