$\mathcal D$-$Ω$ duality on the contra side
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866916973883949056 |
|---|---|
| author | Positselski, Leonid |
| author_facet | Positselski, Leonid |
| contents | Given a smooth morphism of schemes $X\rightarrow T$, denote by $\mathcal D_{X/T}^{\mathsf{cr}}$ the sheaf of rings of fiberwise crystalline differential operators on $X$ relative to $T$ and by $Ω^\bullet_{X/T}$ the de Rham sheaf of DG-algebras of relative differential forms on $X$ over $T$. Assume that the scheme $X$ is quasi-compact and semi-separated. We construct a commutative square diagram of triangulated equivalences between four triangulated categories: the derived category of quasi-coherent sheaves of $\mathcal D_{X/T}^{\mathsf{cr}}$-modules, the reduced coderived category of quasi-coherent DG-modules over $Ω_{X/T}^\bullet$, the derived category of contraherent cosheaves of $\mathcal D_{X/T}^{\mathsf{cr}}$-modules, and the reduced contraderived category of contraherent DG-modules over $Ω_{X/T}^\bullet$. The equivalence involving the contraderived category was previously known for affine varieties only; we use contraherent cosheaves in order to obtain a nonaffine generalization of the "contra side" of the story. The exposition is written in the generality of finite locally free twisted Lie algebroids $(\mathfrak g,\widetilde{\mathfrak g})$ over quasi-compact semi-separated schemes $X$, the quasi-coherent twisted universal enveloping quasi-algebras of $(\mathfrak g,\widetilde{\mathfrak g})$, and the Chevalley-Eilenberg quasi-coherent CDG-quasi-algebras of $(\mathfrak g,\widetilde{\mathfrak g})$. The equivalence between the derived categories of quasi-coherent and contraherent $\mathcal A$-modules, called the "naive co-contra correspondence", is proved quite generally for any quasi-coherent quasi-algebra $\mathcal A$ over $X$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2504_18460 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | $\mathcal D$-$Ω$ duality on the contra side Positselski, Leonid Algebraic Geometry Category Theory Rings and Algebras Given a smooth morphism of schemes $X\rightarrow T$, denote by $\mathcal D_{X/T}^{\mathsf{cr}}$ the sheaf of rings of fiberwise crystalline differential operators on $X$ relative to $T$ and by $Ω^\bullet_{X/T}$ the de Rham sheaf of DG-algebras of relative differential forms on $X$ over $T$. Assume that the scheme $X$ is quasi-compact and semi-separated. We construct a commutative square diagram of triangulated equivalences between four triangulated categories: the derived category of quasi-coherent sheaves of $\mathcal D_{X/T}^{\mathsf{cr}}$-modules, the reduced coderived category of quasi-coherent DG-modules over $Ω_{X/T}^\bullet$, the derived category of contraherent cosheaves of $\mathcal D_{X/T}^{\mathsf{cr}}$-modules, and the reduced contraderived category of contraherent DG-modules over $Ω_{X/T}^\bullet$. The equivalence involving the contraderived category was previously known for affine varieties only; we use contraherent cosheaves in order to obtain a nonaffine generalization of the "contra side" of the story. The exposition is written in the generality of finite locally free twisted Lie algebroids $(\mathfrak g,\widetilde{\mathfrak g})$ over quasi-compact semi-separated schemes $X$, the quasi-coherent twisted universal enveloping quasi-algebras of $(\mathfrak g,\widetilde{\mathfrak g})$, and the Chevalley-Eilenberg quasi-coherent CDG-quasi-algebras of $(\mathfrak g,\widetilde{\mathfrak g})$. The equivalence between the derived categories of quasi-coherent and contraherent $\mathcal A$-modules, called the "naive co-contra correspondence", is proved quite generally for any quasi-coherent quasi-algebra $\mathcal A$ over $X$. |
| title | $\mathcal D$-$Ω$ duality on the contra side |
| topic | Algebraic Geometry Category Theory Rings and Algebras |
| url | https://arxiv.org/abs/2504.18460 |