The Beilinson equivalence for differential operators (Q989067): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 21:13, 30 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The Beilinson equivalence for differential operators |
scientific article |
Statements
The Beilinson equivalence for differential operators (English)
0 references
27 August 2010
0 references
Let \(X\) be a smooth irreducible affine variety over \(\mathbb C\) and \({\mathcal T}_X\) the tangent sheaf of \(X\), i.e., the sheaf of \(\mathbb C\)-linear derivations on \({\mathcal O}_X\). An (algebraic) \textit{Lie algebroid} on \(X\) is a coherent \({\mathcal O}_X\)-module \(L\) endowed with a \(\mathbb C\)-bilinear Lie bracket making it into a Lie algebra and with an \({\mathcal O}_X\)-module \textit{anchor map} \(\tau : L \rightarrow {\mathcal T}_X\) such that: \[ [l,fl^{\prime}] = f[l,l^{\prime}] + \tau (l)(f)l^{\prime},\;\forall l, l^{\prime} \in L, \;\forall f \in {\mathcal O}_X\, . \] Assume that \(L\) is locally free of rank \(n\). One deduces that \(\tau ([l,l^{\prime}]) = [\tau (l),\tau (l^{\prime})]\) hence \({\mathcal O}_X \oplus L\) becomes a Lie algebra by the bracket \([(f,l),(f^{\prime},l^{\prime})] := (\tau (l)(f^{\prime}) - \tau (l^{\prime})(f), [l,l^{\prime}])\). The \textit{universal enveloping algebra} of the Lie algebroid \(L\) is the quotient \(\mathcal U\) of the universal enveloping algebra of the Lie algebra \({\mathcal O}_X \oplus L\) obtained by identifying \((1,0) \in {\mathcal O}_X \oplus L\) with \(1 \in {\mathcal O}_X\) and \((f,0) \otimes (f^{\prime},l)\) with \((ff^{\prime},fl)\). If \(L = {\mathcal T}_X\) with anchor map \(\tau = \text{id}\) then \({\mathcal U} = {\mathcal D}\) the ring of (algebraic) differential operators on \(X\). In the paper under review, the author develops, first, a right notion of compactifying the algebra \(\mathcal U\) and then he shows that there is an analogue of the Beilinson equivalence. If one forgets the Lie algebroid structure, the fiberwise compactification of the geometric vector bundle \(\text{Spec}(\text{Sym}_XL)\) associated to \(L\) is \(\text{Proj}(\widetilde{\text{Sym}_XL})\), where \(\widetilde{\text{Sym}_XL}\) is the Rees algebra \(\bigoplus_{i\geq 0}(\text{Sym}_X^{\leq i}L)t^i\). Now, \(\mathcal U\) is naturally filtered by letting the image of \({\mathcal O}_X\) be degree 0 and the image of \(L\) be degree 1, and one may consider the \textit{Rees algebra} \(\widetilde{\mathcal U} := \bigoplus_{i\geq 0}{\mathcal U}^it^i\), where \({\mathcal U}^i\) consists of the elements of \(\mathcal U\) of degree \(\leq i\). There is no \(\text{Proj}(\widetilde{\mathcal U})\) since \(\widetilde{\mathcal U}\) is non-commutative but, according to \textit{M. Artin} and \textit{J. J. Zhang} [Adv. Math. 109, No. 2, 228--287 (1994; Zbl 0833.14002)], there is an analogue \({\mathbb P}_{\mathcal U}\) of the abelian category \(\text{Coh}(\text{Proj}(\widetilde{\mathcal U}))\). More precisely, if \(\text{gr}(\widetilde{\mathcal U})\) is the category of finitely generated graded left \(\widetilde{\mathcal U}\)-modules and \(\text{tors}(\widetilde{\mathcal U})\) is the subcategory of graded modules non-zero in only finitely many degrees then \({\mathbb P}_{\mathcal U}\) is the quotient abelian category \(\text{gr}(\widetilde{\mathcal U})/\text{tors}(\widetilde{\mathcal U})\), with quotient functor \(\pi\). As for the second aim of the paper, the author shows that \(T := \bigoplus_{i=0}^n\pi \widetilde{\mathcal U}(-i) \in {\mathbb P}_{\mathcal U}\) is a tilting object for this category which implies that, putting \(E := \text{Hom}_{{\mathbb P}_{\mathcal U}}(T,T)^{\text{op}}\), \({\mathbf R}\text{Hom}_{{\mathbb P}_{\mathcal U}}(T,-) : \text{D}^b({\mathbb P}_{\mathcal U}) \rightarrow \text{D}^b(\text{mod}(E))\) is an equivalence of triangulated categories. The proof of this fact is based on a careful study of the \textit{left Koszul dual algebra} \(\widetilde{\mathcal U}^\perp\) which is defined as follows: \({\mathcal U}^1 \simeq {\mathcal O}_X \oplus L\) has an \({\mathcal O}_X\)-bimodule structure given by \(g \cdot (f,l) = (gf,gl)\) and \((f,l) \cdot g = (fg + \tau (l)(g),gl)\). It follows that the sheaf \(^{\ast}({\mathcal U}^1)\) of morphisms of left \({\mathcal O}_X\)-modules: \({\mathcal U}^1 \rightarrow {\mathcal O}_X\) is an \({\mathcal O}_X\)-bimodule, too. \(\widetilde{\mathcal U}^\perp\) is, by definition, the quotient of the tensor algebra \(T_X(^{\ast}({\mathcal U}^1))\) by the two-sided ideal generated by the image of \(^{\ast}({\mathcal U}^1 \otimes_X {\mathcal U}^1/ (\partial \otimes \partial^\prime - \partial^\prime \otimes \partial - [\partial,\partial^\prime] \otimes (1,0)))\) into \(^{\ast}({\mathcal U}^1) \otimes_X {^{\ast}({\mathcal U}^1)}\). The results of the paper under review generalize the Beilinson equivalence for differential operators on a smooth curve used by \textit{D. Ben-Zvi} and \textit{T. Nevins} [Compos. Math. 144, No. 6, 1403--1428 (2008; Zbl 1171.14001)] to describe the moduli space of left ideals in \(\mathcal D\).
0 references
non-commutative projective scheme
0 references
Lie algebroid
0 references
ring of differential operators
0 references
Koszul duality
0 references
tilting theory
0 references