Bivariant Chern character and longitudinal index

In this paper we consider a family of Dirac-type operators on fibration P→B equivariant with respect to an action of an étale groupoid. Such a family defines an element in the bivariant K theory. We compute the action of the bivariant Chern character of this element on the image of Connes' map Φ in the cyclic cohomology. A particular case of this result is Connes' index theorem for étale groupoids [A. Connes, Noncommutative Geometry, Academic Press, 1994] in the case of fibrations.     

The Bott-Borel-Weil Theorem for direct limit groups

We show how highest weight representations of certain infinite dimensional Lie groups can be realized on cohomology spaces of holomorphic vector bundles. This extends the classical Bott-Borel-Weil Theorem for finite-dimensional compact and complex Lie groups. Our approach is geometric in nature, in the spirit of Bott's original generalization of the Borel-Weil Theorem. The groups for which we prove this theorem are strict direct limits of compact Lie groups, or their complexifications. We previously proved that such groups have an analytic structure. Our result applies to most of the familiar examples of direct limits of classical groups. We also introduce new examples involving iterated embeddings of the classical groups and see exactly how our results hold in those cases. One of the technical problems here is that, in general, the limit Lie algebras will have root systems but need not have root spaces, so we need to develop machinery to handle this somewhat delicate situation.

     

Free Resolution Invariants for Finite Groups

Given a finite group G and a G-free resolution F _* of Z, then d _G (Im(F _m+1F _m ))–(–1) ^m–i d _G (F _i ) is almost always an invariant of G.     

Track Extensions of Categories and Cohomology

We introduce the notion of n-fold track extensions of a category C by a natural system D and prove that such extensions represent classes in the cohomology of C with coefficients in D introduced by Baues–Wirsching. This generalizes a result of Huebschmann on the cohomology of groups.     

Hilbert schemes, polygraphs and the Macdonald positivity conjecture

We study the isospectral Hilbert scheme , defined as the reduced fiber product of with the Hilbert scheme of points in the plane , over the symmetric power . By a theorem of Fogarty, is smooth. We prove that is normal, Cohen-Macaulay and Gorenstein, and hence flat over . We derive two important consequences.

(1) We prove the strong form of the conjecture of Garsia and the author, giving a representation-theoretic interpretation of the Kostka-Macdonald coefficients . This establishes the Macdonald positivity conjecture, namely that .

(2) We show that the Hilbert scheme is isomorphic to the -Hilbert scheme of Nakamura, in such a way that is identified with the universal family over . From this point of view, describes the fiber of a character sheaf at a torus-fixed point of corresponding to .

The proofs rely on a study of certain subspace arrangements , called polygraphs, whose coordinate rings carry geometric information about . The key result is that is a free module over the polynomial ring in one set of coordinates on . This is proven by an intricate inductive argument based on elementary commutative algebra.

     

On a conjecture of Lynch

Abstract

We comment on a conjecture of Lynch on annihilators of local cohomology.

Communicated by Lawrence Ein     

On Hom-Lie antialgebra

Abstract

In this paper, we introduced the notion of Hom-Lie antialgebras. The representations and cohomology theory of Hom-Lie antialgebras are investigated. We prove that the equivalent classes of abelian extensions of Hom-Lie antialgebras are in one-to-one correspondence to elements of the second cohomology group. We also prove that 1-parameter infinitesimal deformation of a Hom-Lie antialgebra are characterized by 2-cocycles of this Hom-Lie antialgebra with adjoint representation in itself. The notion of Nijenhuis operators of Hom-Lie antialgebra is introduced to describe trivial deformations.

Communicated by Dr. Pavel Kolesnikov     

Totally acyclic complexes over noetherian schemes

We define a notion of total acyclicity for complexes of flat quasi-coherent sheaves on a semi-separated noetherian scheme, and study these complexes using the pure derived category of flat quasi-coherent sheaves. We prove that a scheme is Gorenstein if and only if every acyclic complex of flat quasi-coherent sheaves is totally acyclic. Our formalism also removes the need for a dualising complex in several known results for rings, including Jørgensen's proof of the existence of Gorenstein projective precovers.