Leray's quantization of projective duality
type: Item
instance of: scholarly article
title: Leray's quantization of projective duality
zbMATH Open document ID: 0879.32011
DOI: 10.1215/S0012-7094-96-08415-X
author: Andrea D'Agnolo
author: Pierre Schapira
published in: Duke Mathematical Journal
publication date: 1998-01-04T00:00:00Z
review text: Let \({\mathbf P}\) be a complex \(n\)-dimensional projective space, \({\mathbf P}^*\) its dual space and \({\mathbf A}:=\{(z,\zeta)\in {\mathbf P}\times{\mathbf P}^* |z\in\zeta\}\). The symbol \({\mathcal D}_{{\mathbf P}}\) denote the sheaf of linear differential operators on \({\mathbf P}\). For \(k\in{\mathbf Z}\) denote by \({\mathcal D}_{\mathbf P}(k)\) the sheaf \({\mathcal D}_{\mathbf P}\otimes_{{\mathcal O}_{\mathbf P}}{\mathcal O}_{\mathbf P}(k)\). For each coherent \({\mathcal D}_{\mathbf P}\)-module \({\mathcal M}\) let define \({\underline{\Phi}}_{{\mathbf A}}{\mathcal M} = {\underline{g}}_*{\underline{f}}^{-1} {\mathcal M}\) where \({\mathbf P} \buildrel{f}\over{\leftarrow} {\mathbf A} \buildrel{g}\over{\rightarrow} {\mathbf P}^*\) is the correspondence defined by the projections and \({\underline{g}}_*, {\underline{f}}^{-1}\) are the direct image and the inverse image functors respectively, in the sense of \({\mathcal D}\)-modules. The main result of the article is that for \(-n-1<k<0\) there is a natural isomorphism \({\mathcal D}_{{\mathbf P}^*}(-k^*) \rightarrow {\underline{\Phi}}_{\mathbf A}({\mathcal D}_{\mathbf P}(k))\) where \(k^* = -n-1-k\). The paper contains two proofs of the main result. The first one uses globally defined contact transformations and the second one uses kernels of sheaves generalising classical results of Leray about differential and integral calculus on complex varieties. The proofs use previous results of the authors on general correspondences of complex varieties. As applications they generalize a theorem of Martineau [\textit{A. Martineau}, C. R. Acad. Sci., Paris Sér. I 255, 2888-2890; (1962; Zbl 0195.36603)] and give an alternative approach to the results of Gelfand, Gindikin and Graev on real Radon transform [\textit{I. M. Gelfand, S.G. Gindikin} and \textit{M. I. Graev}, J. Sov. Math. 18, 39-167 (1982; Zbl 0474.52010)].
Mathematics Subject Classification ID: 32C38
zbMATH DE Number: 926954
zbMATH Keywords: differential system
zbMATH Keywords: \({\mathcal D}\)--module
reviewed by: Francisco J. Castro-Jiménez
MaRDI profile type: Publication
cites work: Q5542938
cites work: Microlocalisation tempérée
cites work: Q3993373
cites work: Q3320507
cites work: Q3762606
cites work: Q4317310
cites work: Correspondence for \({\mathcal D}\)-modules and Penrose transform
cites work: Q4315746
cites work: Sur la topologie de certaines variétés algébriques réelles
cites work: Integral geometry in affine and projective spaces
cites work: Integral geometry for \(\overline\partial\)-cohomology in \(q\)-linear concave domains in \(\mathbb CP^n\)
cites work: Q4869197
cites work: Andreotti-Grauert theory by integral formulas. (Licensed ed. of the Akademie Verlag, Berlin)
cites work: Systems of microdifferential equations. Notes and transl. by Teresa Monteiro Fernandes. Introd. by Jean-Luc Brylinski
cites work: The Riemann-Hilbert problem for holonomic systems
cites work: On holonomic systems of microdifferential equations. III: Systems with regular singularities
cites work: Q3743663
cites work: Q3717382
cites work: Q3999005
cites work: Moderate and formal cohomology associated with constructible sheaves
cites work: Kazhdan-Lusztig conjecture for affine Lie algebras with negative level
cites work: Le calcul différentiel et intégral sur une variété analytique complexe. (Problème de Cauchy. III.)
cites work: Q5591654
cites work: Équations différentielles d'ordre infini
cites work: Q4403324
cites work: Q3216881
cites work: Q4896035
cites work: Q4304755
cites work: Q4293511
cites work: Legendre transformation and pseudoconvexity with lag
cites work: Q3864177
Recommended article: Induced ${\cal D}$-modules and differential complexes
Recommended article: \({\mathcal D}\)-modules on smooth toric varieties
Recommended article: Residues and filtered \(D\)-modules
Recommended article: Non-holonomic \({\mathcal D}\)-modules and non-constructible perverse sheaves
Recommended article: Q3344309
Recommended article: Q3743403
Recommended article: Q4006648
Recommended article: Bezoutians and Tate resolutions
Recommended article: Q3136285
Recommended article: Differential operators on rational projective curves
description: scientific article; zbMATH DE number 926954