| Project/Area Number |
17540015
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
Algebra
|
|---|
| Research Institution | Ochanomizu University |
|---|
Principal Investigator |
YOKOGAWA Koji Ochanomizu University, Graduate School of Humanities and Sciences, Professor (40240189)
|
|---|
| Project Period (FY) |
2005 – 2007
|
| Project Status |
Completed (Fiscal Year 2007)
|
| Budget Amount *help |
¥3,530,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥330,000)
Fiscal Year 2007: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2006: ¥900,000 (Direct Cost: ¥900,000)
Fiscal Year 2005: ¥1,200,000 (Direct Cost: ¥1,200,000)
|
|---|
| Keywords | Algebra / Topology / Non-abelian Hodge theory / Homotopy Mathematics / Crystalline / Positive characteristic / Algebraic Geometry / Vector bundle |
|---|
| Research Abstract |
The purpose of this project is to extend non-abelian Hodge theory to algebraic varieties for positive characteristic or arithmetic varieties. For this purpose I have been studying general theories for some construction of crystalline topos using higher category theory. It seems that higher topos theory is a suitable language to describe real crystalline topoi. Various higher category theories (even higher topos theories) have been constructed in these ten twenty years by many researchers (C. Simson, B. Then, J. Lurie). Until last year I used mainly Simpson's methods, but after reading recent work of J. Lurie I realized that it is suitable to use Lurie's higher topos theory for our constructions. This project will be important for arithmetic geometry and mathematical physics in the near future. On the other hand, to describe higher crystalline structure, it seems that formulations of the structure over the ring of ratioinal integers are not adequate. A recent work of N. Durov construes the field with one element F_1 which has been expected to exist. If higher crystalline topos theory could be constructed over the field F_1, it should be useful. A construction of such theory is the next theme for this project.
|
