Cohomology of line bundles on Schubert varieties: The rank two case

In this paper we describe vanishing and non-vanishing of cohomology of “most” line bundles over Schubert subvarieties of flag varieties for rank 2 semisimple algebraic groups.     

Support Varieties for Selfinjective Algebras

Support varieties for any finite dimensional algebra over a field were introduced in (Proc. London Math. Soc. 88 (3) (2004) 705–732) using graded subalgebras of the Hochschild cohomology ring. We mainly study these varieties for selfinjective algebras under appropriate finite generation hypotheses. Then many of the standard results from the theory of support varieties for finite groups generalize to this situation. In particular, the complexity of the module equals the dimension of its corresponding variety, all closed homogeneous varieties occur as the variety of some module, the variety of an indecomposable module is connected, the variety of periodic modules are lines and for symmetric algebras a generalization of Webbs theorem is true. As a corollary of a more general result we show that Webbs theorem generalizes to finite dimensional cocommutative Hopf algebras.Received November 2003Mathematics Subject Classifications (2000) Primary: 16E40, 16G10, 16P10, 16P20; Secondary: 16G70.     

Batalin-Vilkovisky Algebras and Cyclic Cohomology of Hopf Algebras

We show that the Connes–Moscovici negative cyclic cohomology of a Hopf algebra equipped with a character has a Lie bracket of degree -2. More generally, we show that a cyclic operad with multiplication is a cocyclic module whose simplicial cohomology is a Batalin–Vilkovisky algebra and whose negative cyclic cohomology is a graded Lie algebra of degree -2. This generalizes the fact that the Hochschild cohomology algebra of a symmetric algebra is a Batalin–Vilkovisky algebra.     

Exponential sums on , II

We prove a vanishing theorem for the -adic cohomology of exponential sums on . In particular, we obtain new classes of exponential sums on that have a single nonvanishing -adic cohomology group. The dimension of this cohomology group equals a sum of Milnor numbers.

     

Para-Hopf Algebroids and their Cyclic Cohomology

We introduce the concept of para-Hopf algebroid and define their cyclic cohomology in the spirit of Connes–Moscovici cyclic cohomology for Hopf algebras. Para-Hopf algebroids are closely related to, but different from, Hopf algebroids. Their definition is motivated by attempting to define a cyclic cohomology theory for Hopf algebroids in general. We show that many of Hopf algebraic structures, including the Connes–Moscovici algebra , are para-Hopf algebroids     

Lie Groupoids, Gerbes, and Non-Abelian Cohomology

We observe that any regular Lie groupoid G over a manifold M fits into an extension K G E of a foliation groupoid E by a bundle of connected Lie groups K. If F is the foliation on M given by the orbits of E and T is a complete transversal to F , this extension restricts to T, as an extension K _T G _T E _T of an étale groupoid E _T by a bundle of connected groups K _T . We break up the classification problem for regular Lie groupoids into two parts. On the one hand, we classify the latter extensions of étale groupoids by (non-Abelian) cohomology classes in a new ech cohomology of étale groupoids. On the other hand, given K and E and an extension K _T G _T E _T over T, we present a cohomological obstruction to the problem of whether this is the restriction of an extension K G E over M; if this obstruction vanishes, all extensions K G E over M which restrict to a given extension over the transversal together form a principal bundle over a group of bitorsors under K.     

Structure of Degenerate Block Algebras

Given a non-trivial torsion-free abelian group (A,+,Q), a field F of characteristic 0, and a non-degenerate bi-additive skew-symmetric map : A A F, we define a Lie algebra = (A, ) over F with basis {e_x | x A/{0}} and Lie product [e_x,e_y] = (x,y)e_x+y. We show that is endowed uniquely with a non-degenerate symmetric invariant bilinear form and the derivation algebra Der of is a complete Lie algebra. We describe the double extension D( , T) of by T, where T is spanned by the locally finite derivations of , and determine the second cohomology group H²(D( , T),F) using anti-derivations related to the form on D( , T). Finally, we compute the second Leibniz cohomology groups HL²( , F) and HL²(D( , T), F).2000 Mathematics Subject Classification: 17B05, 17B30This work was supported by the NNSF of China (19971044), the Doctoral Programme Foundation of Institution of Higher Education (97005511), and the Foundation of Jiangsu Educational Committee.     

Intersection Cohomology on Nonrational Polytopes⋆

We consider a fan as a ringed space (with finitely many points). We develop the corresponding sheaf theory and functors, such as direct image R_* ( is a subdivision of a fan), Verdier duality, etc. The distinguished sheaf , called the minimal sheaf plays the role of an equivariant intersection cohomology complex on the corresponding toric variety (which exists if is rational). Using we define the intersection cohomology space IH(). It is conjectured that a strictly convex piecewise linear function on acts as a Lefschetz operator on IH(). We show that this conjecture implies Stanley's conjecture on the unimodality of the generalized h-vector of a convex polytope.     

-injective rings and -stable primes

The notion of stability of the highest local cohomology module with respect to the Frobenius functor originates in the work of R. Hartshorne and R. Speiser. R. Fedder and K.-i. Watanabe examined this concept for isolated singularities by relating it to -rationality. The purpose of this note is to study what happens in the case of non-isolated singularities and to show how this stability concept encapsulates a few of the subtleties of tight closure theory. Our study can be seen as a generalization of the work by Fedder and Watanabe. We introduce two new ring invariants, the -stability number and the set of -stable primes. We associate to every ideal generated by a system of parameters and an ideal of multipliers denoted and obtain a family of ideals . The set is independent of and consists of finitely many prime ideals. It also equals prime ideal such that is -stable. The maximal height of such primes defines the -stability number.