Groupes et algébres de lie

(1.1) This paper concerns three aspects of the action of a compact group K on a space X . The ®rst is concrete and the others are rather abstract. (1) Equivariantly formal spaces. These have the property that their cohomology may be computed from the structure of the zero and one dimensional orbits of the action of a maximal torus in K. (2) Koszul duality. This enables one to translate facts about equivariant cohomology into facts about its ordinary cohomology, and back. (3) Equivariant derived category. Many of the results in this paper apply not only to equivariant cohomology, but also to equivariant intersection cohomology. The equivariant derived category provides a framework in both of these may be considered simultaneously, as examples of ``equivariant sheaves''. We treat singular spaces on an equal footing with nonsingular ones. Along the way, we give a description of equivariant homology and equivariant intersection homology in terms of equivariant geometric cycles. Most of the themes in this paper have been considered by other authors in some context. In Sect. 1.7 we sketch the precursors that we know about. For most of the constructions in this paper, we consider an action of a compact connected Lie group K on a space X , however for the purposes of the introduction we will take K  S1 to be a torus. Invent. math. 131, 25±83 (1998)

/pdf/equivariant-cohomology-koszul-duality-and-the-localization-2973jtaovy.pdf

Equivariant cohomology, Koszul duality, and the localization theorem

Let G be an inner form of a general linear group over a non-archimedean local field. We prove that the local Langlands correspondence for G preserves depths. We also show that the local Langlands correspondence for inner forms of special linear groups preserves the depths of essentially tame Langlands parameters.

Progress in Mathematics

The classical McKay correspondence relates representations of a finite subgroup
G ⊂ SL(2,C) to the cohomology of the well-known minimal resolution of the
Kleinian singularity C2/G. Gonzalez-Sprinberg and Verdier [10] interpreted the
McKay correspondence as an isomorphism on K theory, observing that the representation
ring of G is equal to the G-equivariant K theory of C2. More precisely,
they identify a basis of the K theory of the resolution consisting of the classes of
certain tautological sheaves associated to the irreducible representations of G.

/pdf/the-mckay-correspondence-as-an-equivalence-of-derived-xltjrz6292.pdf

The McKay correspondence as an equivalence of derived categories

This paper gives a construction of braid group actions on the derived category of coherent sheaves on a variety $X$. The motivation for this is M. Kontsevich's homological mirror conjecture, together with the occurrence of certain braid group actions in symplectic geometry. One of the main results is that when dim $X\geq 2$, our braid group actions are always faithful. We describe conjectural mirror symmetries between smoothings and resolutions of singularities which lead us to find examples of braid group actions arising from crepant resolutions of various singularities. Relations with the McKay correspondence and with exceptional sheaves on Fano manifolds are given. Moreover, the case of an elliptic curve is worked out in some detail.

/pdf/braid-group-actions-on-derived-categories-of-coherent-3ys299b3e8.pdf

Braid group actions on derived categories of coherent sheaves

Deformation theory of objects in homotopy and derived categories II: pro-representability of the deformation functor

The Hard Lefschetz theorem for intersection cohomology of nonrational polytopes was recently proved by K. Karu [Ka]. This theorem implies the conjecture of R. Stanley on the unimodularity of the generalized $h$-vector. In this paper we strengthen Karu's theorem by introducing a canonical bilinear form $(\cdot ,\cdot)_{\Phi}$ on the intersection cohomology $IH(\Phi)$ of a complete fan $\Phi$ and proving the Hodge-Riemann bilinear relations for $(\cdot ,\cdot)_{\Phi}$.

Hard Lefschetz theorem and Hodge-Riemann relations for intersection cohomology of nonrational polytopes

We show that the derived category of any singularity over a field of characteristic 0 can be embedded fully and faithfully into a smooth triangulated category which has a semiorthogonal decomposition with components equivalent to derived categories of smooth varieties. This provides a categorical resolution of the singularity.

/pdf/categorical-resolutions-of-irrational-singularities-vvschqcf8g.pdf

Valery A. Lunts

Papers

Deformation theory of objects in homotopy and derived categories II: pro-representability of the deformation functor

Hard Lefschetz theorem and Hodge-Riemann relations for intersection cohomology of nonrational polytopes

Categorical resolutions of irrational singularities

Three notions of dimension for triangulated categories

Lefschetz fixed point theorems for Fourier-Mukai functors and DG algebras