Non-abelian Hodge theory for positive characteristic and crystalline structures

2007 Fiscal Year Final Research Report Summary

• 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
• 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.