| Project/Area Number |
15540040
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Algebra
|
|---|
| Research Institution | Osaka City University |
|---|
Principal Investigator |
KANEDA Masaharu Osaka City University, Graduate School of Science, Professor, 大学院理学研究科, 教授 (60204575)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
TANISAKI Toshiyuki Osaka City University, Graduate School of Science, Professor, 大学院理学研究科, 教授 (70142916)
YAGITA Nobuakl Ibaraki University, Department of Education, Professor, 教育学部, 教授 (20130768)
HASHIMOTO Yoshitake Osaka City University, Graduate School of Science, Associate Professor, 大学院理学研究科, 助教授 (20271182)
手塚 康誠 琉球大学, 理学部, 教授 (20197784)
河田 成人 大阪市立大学, 大学院・理学研究科, 助教授 (50195103)
古澤 昌秋 大阪市立大学, 大学院・理学研究科, 教授 (50294525)
津島 行男 大阪市立大学, 大学院・理学研究科, 教授 (80047240)
|
|---|
| Project Period (FY) |
2004 – 2006
|
| Project Status |
Completed (Fiscal Year 2006)
|
| Budget Amount *help |
¥3,600,000 (Direct Cost: ¥3,600,000)
Fiscal Year 2006: ¥700,000 (Direct Cost: ¥700,000)
Fiscal Year 2005: ¥700,000 (Direct Cost: ¥700,000)
Fiscal Year 2004: ¥700,000 (Direct Cost: ¥700,000)
Fiscal Year 2003: ¥1,500,000 (Direct Cost: ¥1,500,000)
|
|---|
| Keywords | localization / triangulated localization / tilting / Beilinson's lemma / tilting sheaf / positive characteristic / D-modules / fkag variety / Beilinson-Bernstein localization theorem / Bezrukavnikov-Mirkovic-Rumynin derived localization theorem / arithmetic differential operators / direct image functors / Kashiwara's equivalence / Humphreys-Verma modules / 量子群 / infinitesimal Verma modules / root of unity / PD-differential operators / crystalline differential operators |
|---|
| Research Abstract |
After the spectacular success of Bezrukavnikov, Mirkovic and Rumynin, BMR for short in what follows, in extending the localization theorem of D-modules on the flag variety to positive characteristic, we started to investigate the localization of ＼bar D-modules.
On a smooth variety X in positive characteristic BMR's ＼mathcal{D}, which they call the sheaf of crystalline differential operators, is Berthelot's sheaf of arithmetic differential operators of level 0. In "Localization of ＼bar D-modules" written with Hashimoto and Rumynin we first gave a simple presentation of ＼mathcal{D}-{(m)} the sheaf of arithmetic differential operators of level m. After BMR we proved that each＼mathcal{D}"{(m)} is Azumaya. ＼bar ＼mathcal{D"{(m)}} is the endomorphism ring of the structure sheaf of X over its (m+1)-st Probenius twist, and is a central reduction of ＼mathcal{D"{(m)}}. We observed that the triangulated localization theorem for ＼bar＼mathcal{D}-{(m)} holds almost iff the direct image F"{m+1}_* ＼mathcal{O}_X of the structure sheaf under the (m+1)-st Frobenius morphism is tilting, and verified that on the projective space F"{m+1}_*＼mathcal{O}_X is tilting if the characteristic is large enough. On the flag variety, as the direct image of the ＼bar＼mathcal{D*{(m)}} is the whole of the sheaf of classical differential operators ＼mathcal {Diff} and as the cohomology vanishing of ＼mathcal {Diff} fails in the case of SL_5 by Kashiwara-Lauritzen, one cannot expect the triangulated localization theorem holds for all ＼bar＼mathcal{D-{(m)}1. Nevertheless, in view of BMR there may something special happening when m-0, and indeed, we found that F_*＼mathcal{O}_{G/B} is tilting in the case of SL 3 in sufficiently large characteristic.
In a joint paper with Ye "Equivariant localization of ＼bar D modules on the flag variety of the symplectic group of degree 4" we also verified that F_*＼mathcal{O}_{G/B} is tilting insufficiently large characteristic in case Sp_4 also.
|
