Bounded Hochschild cohomology of Banach algebras with a matrix-like structure

Let be a unital Banach algebra. A projection in which is equivalent to the identitity may give rise to a matrix-like structure on any two-sided ideal in . In this set-up we prove a theorem to the effect that the bounded cohomology vanishes for all . The hypotheses of this theorem involve (i) strong H-unitality of , (ii) a growth condition on diagonal matrices in , and (iii) an extension of in by an amenable Banach algebra. As a corollary we show that if is an infinite dimensional Banach space with the bounded approximation property, is an infinite dimensional -space, and is the Banach algebra of approximable operators on , then for all .

     

Length, multiplicity, and multiplier ideals

Let be an -dimensional regular local ring, essentially of finite type over a field of characteristic zero. Given an -primary ideal of , the relationship between the singularities of the scheme defined by and those defined by the multiplier ideals , with varying in , are quantified in this paper by showing that the Samuel multiplicity of satisfies whenever . This formula generalizes an inequality on log canonical thresholds previously obtained by Ein, Mustata and the author of this paper. A refined inequality is also shown to hold for small dimensions, and similar results valid for a generalization of test ideals in positive characteristics are presented.

     

Invariance in and

We define , a substructure of (the lattice of classes), and show that a quotient structure of , , is isomorphic to . The result builds on the isomorphism machinery, and allows us to transfer invariant classes from to , though not, in general, orbits. Further properties of and ramifications of the isomorphism are explored, including degrees of equivalence classes and degree invariance.

     

On the shape of the moduli of spherical minimal immersions

The DoCarmo-Wallach moduli space parametrizing spherical minimal immersions of a Riemannian manifold is a compact convex body in a linear space of tracefree symmetric endomorphisms of an eigenspace of . In this paper we define and study a sequence of metric invariants , , associated to a compact convex body with base point in the interior of . The invariant measures how lopsided is in dimension with respect to . The results are then appplied to the DoCarmo-Wallach moduli space. We also give an efficient algorithm to calculate for convex polytopes.

     

Invariant distributions supported on the nilpotent cone of a semisimple Lie algebra

Let be a semisimple complex Lie algebra with adjoint group and be the algebra of differential operators with polynomial coefficients on . If is a real form of , we give the decomposition of the semisimple -module of invariant distributions on supported on the nilpotent cone.

     

Open loci of graded modules

Let be an excellent homogeneous Noetherian graded ring and let be a finitely generated graded -module. We consider as a module over and show that the -loci of are open in . In particular, the Cohen-Macaulay locus    is Cohen-Macaulay is an open subset of . We also show that the -loci on the homogeneous parts of are eventually stable. As an application we obtain that for a finitely generated Cohen-Macaulay module over an excellent ring and for an ideal which is not contained in any minimal prime of , the -loci for the modules are eventually stable.

     

Effective cones of quotients of moduli spaces of stable -pointed curves of genus zero

Let , the moduli space of -pointed stable genus zero curves, and let be the quotient of by the action of on the last marked points. The cones of effective divisors , , are calculated. Using this, upper bounds for the cones generated by divisors with moving linear systems are calculated, , along with the induced bounds on the cones of ample divisors of and . As an application, the cone is analyzed in detail.

     

Decomposition numbers for weight three blocks of symmetric groups and Iwahori-Hecke algebras

Let be a field, a non-zero element of and the Iwahori-Hecke algebra of the symmetric group . If is a block of of -weight and the characteristic of is at least , we prove that the decomposition numbers for are all at most . In particular, the decomposition numbers for a -block of of defect are all at most .

     

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.

     

An application of the Littlewood restriction formula to the Kostant-Rallis Theorem

Consider a symmetric pair of linear algebraic groups with , where and are defined as the +1 and -1 eigenspaces of the involution defining . We view the ring of polynomial functions on as a representation of . Moreover, set , where is the space of homogeneous polynomial functions on of degree . This decomposition provides a graded -module structure on . A decomposition of is provided for some classical families when is within a certain stable range.

The stable range is defined so that the spaces are within the hypothesis of the classical Littlewood restriction formula. The Littlewood restriction formula provides a branching rule from the general linear group to the standard embedding of the symplectic or orthogonal subgroup. Inside the stable range the decomposition of is interpreted as a -analog of the Kostant-Rallis theorem.