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

We prove smoothness in the dg sense of the bounded derived category of finitely generated modules over any finite-dimensional algebra over a perfect field, hereby answering a question of Iyama. More generally, we prove this statement for any algebra over a perfect field that is finite over its center and whose center is finitely generated as an algebra. These results are deduced from a general sufficient criterion for smoothness.

Smoothness of Derived Categories of Algebras

Given a variety with a finite group action, we compare its equivariant categorical measure, that is, the categorical measure of the corresponding quotient stack, and the categorical measure of the extended quotient. Using weak factorization for orbifolds, we show that for a wide range of cases, these two measures coincide. This implies, in particular, a conjecture of Galkin and Shinder on categorical and motivic zeta-functions of varieties. We provide examples showing that, in general, these two measures are not equal. We also give an example related to a conjecture of Polishchuk and Van den Bergh, showing that a certain condition in this conjecture is indeed necessary.

Categorical measures for finite group actions

We introduce the notion of a poset scheme and study the categories of quasi-coherent sheaves on such spaces. We then show that smooth poset schemes may be used to obtain categorical resolutions of singularities for usual singular schemes. We prove that a singular variety $X$ possesses such a resolution if and only if $X$ has Du Bois singularities. Finally we show that the de Rham-Du Bois complex for an algebraic variety $Y$ may be defined using any smooth poset scheme which satisfies the descent over $Y$ in the classical topology.

Categorical Resolutions, Poset Schemes, and Du Bois Singularities

In this note we discuss three notions of dimension for triangulated categories: Rouquier dimension, diagonal dimension and Serre dimension. We prove some basic properties of these dimensions, compare them and discuss open problems.

Three notions of dimension for triangulated categories

Let $X_N$ be the second infinitesimal neighborhood of a closed point in $N$-dimensional affine space. In this note we study $D^b(coh\, X_N)$, the bounded derived category of coherent sheaves on $X_N$. We show that for $N\geq 2$ the lattice of triangulated subcategories in $D^b(coh\, X_N)$ has a rich structure (which is probably wild), in contrast to the case of zero-dimensional complete intersections. We also establish a relation between triangulated subcategories in $D^b(coh\, X_N)$ and universal localizations of a free graded associative algebra in $N$ variables. Our homological methods produce some applications to the structure of such universal localizations.

Valery A. Lunts

Papers

Smoothness of Derived Categories of Algebras

Categorical measures for finite group actions

Categorical Resolutions, Poset Schemes, and Du Bois Singularities

Three notions of dimension for triangulated categories

Derived categories of coherent sheaves on some zero-dimensional schemes