日仏数学拠点FJ-LMIセミナー
過去の記録 ~05/01|次回の予定|今後の予定 05/02~
担当者 | 小林俊行, ミカエル ペブズナー |
---|
2025年04月14日(月)
17:00-18:00 数理科学研究科棟(駒場) Main Lecture Hall号室
Pierre SCHAPIRA 氏 (IMJ - Sorbonne University)
Microlocal sheaf theory and elliptic pairs (英語)
https://fj-lmi.cnrs.fr/wp-content/uploads/2025/03/Tokyo25Colloq.pdf
Pierre SCHAPIRA 氏 (IMJ - Sorbonne University)
Microlocal sheaf theory and elliptic pairs (英語)
[ 講演概要 ]
On a complex manifold $X$, an elliptic pair $(\mathcal{M},G)$ is the data of a coherent $\mathcal{D}_X$-module $\mathcal{M}$ and an $\mathbb R$-constructible sheaf $G$ with the property that the characteristic variety $\operatorname{char}(\mathcal{M})$ and the micro-support $\mathrm{SS}(G)$ do not intersect outside the zero-section of $T^*X$. We prove a regularity result which generalizes the classical case of hyperfunction solutions of elliptic systems and a finiteness theorem when assuming that the support of the pair is compact.
Then we introduce the microlocal Euler class of $\mathcal{M}$ and that of $G$ and calculate the Euler-Poincar\'e index of the complex of holomorphic solutions of the pair as the integral over $T^*X$ of the cup product of these two characteristic classes. This construction gives a new approach to the Riemann--Roch or the Atiyah--Singer theorems.
I will start by briefly recalling all necessary notions of microlocal sheaf theory and $\mathcal{D}$-module theory.
[ 講演参考URL ]On a complex manifold $X$, an elliptic pair $(\mathcal{M},G)$ is the data of a coherent $\mathcal{D}_X$-module $\mathcal{M}$ and an $\mathbb R$-constructible sheaf $G$ with the property that the characteristic variety $\operatorname{char}(\mathcal{M})$ and the micro-support $\mathrm{SS}(G)$ do not intersect outside the zero-section of $T^*X$. We prove a regularity result which generalizes the classical case of hyperfunction solutions of elliptic systems and a finiteness theorem when assuming that the support of the pair is compact.
Then we introduce the microlocal Euler class of $\mathcal{M}$ and that of $G$ and calculate the Euler-Poincar\'e index of the complex of holomorphic solutions of the pair as the integral over $T^*X$ of the cup product of these two characteristic classes. This construction gives a new approach to the Riemann--Roch or the Atiyah--Singer theorems.
I will start by briefly recalling all necessary notions of microlocal sheaf theory and $\mathcal{D}$-module theory.
https://fj-lmi.cnrs.fr/wp-content/uploads/2025/03/Tokyo25Colloq.pdf