クリスタリン非可換ホッジ理論の研究

晶体非交换Hodge理论研究

• 批准号: 14654004
• 负责人: 横川 光司
• 金额: $ 2.11万
• 依托单位: Ochanomizu University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Exploratory Research
• 财政年份: 2002
• 资助国家: 日本
• 起止时间: 2002 至 2004
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-14654004/
• 关键词: 非可換ホッジ理論; クリスタリンホモトピー; 代数幾何学; モジュライ; 高次元圏; モデル理論; 非可換コホモロジー; 単体的ホモトピー; クリスタリン; ベクトル束; ホモトピー

平成16年度は、京都大学の原田氏とトーエンの理論の分析を中心に研究してきた。その中ではドワイヤー・カンの単体的ホモトピー論の手法が効果的に用いられており、そのため前半ではそれらの理論の研究にかなりの時間を要した。これは本研究のクリスタリン非可換ホッジ理論に不可欠であるクリスタリン非可換コホモロジーの理論の構築に向けて重要な手法を提供するものと思われる。実質的な意味でどこにどのようにその理論を用いるかがわかったという意味で前半のこの研究成果は実りのあるものであった。後半の研究では高次元トポスと数理論理学の関係の研究にもかなりの時間を割いた。これは本研究と一見したところ無関係のように見えるが、そうではなく実はこのような関係があるから、高次元カテゴリーや高次元トポスを導入するのが有効だということが見えてきた。これは数理論理学の分野でのモデル理論をカテゴリー論的に展開するカテゴリー的モデル理論の研究と密接な関係があり、モデル理論の手法を高次元トポスに応用したある種のコンパクト性定理を導くことが、高次元トポスを利用したモジュライの理論の研究に役に立つという可能性が見えてきた。これはまだ発表できる段階のものではないが、さらに研究を進めることが全体の理論の中で重要な意味を持つと思われる。正標数の代数幾何での有界性の問題などは高次元クリスタリントポスのこのような理解の上で自然に解かれる問題となるのではないかという予想が得られた。

In the 16th year of the Heisei era, エ, the に research of the <s:1> Harada family とト とト エ エ エ <s:1> <s:1> the Center for <s:1> Theoretical <e:1> Analysis を at Kyoto University に conducted <s:1> て た た た た た た た た た た た た た. In そ の で は ド ワ イ ヤ ー · カ ン の 単 body ホ モ ト ピ ー theory の gimmick が unseen fruit に with い ら れ て お り, そ の た め first half で は そ れ ら の の theory research に か な り の time を to し た. こ れ は this study の ク リ ス タ リ ン non replaceable ホ ッ に ジ theory cannot owe で あ る ク リ ス タ リ ン non replaceable コ ホ モ ロ ジ ー の の theory to construct に to け て important な を hence providing す る も の と think わ れ る. To be qualitative な mean で ど こ に ど の よ う に そ を の theory with い る か が わ か っ た と い う mean で first half の こ の research は be り の あ る も の で あ っ た. The second half of the research will focus on で で high-dimensional トポスと mathematical and physical theory <s:1> relations <e:1>, に な な <s:1>, <s:1> time を and cut た た. こ れ は と saw this study し た と こ ろ no masato is の よ う に see え る が, そ う で は な く be は こ の よ う な masato is が あ る か ら, high dimensional カ テ ゴ リ ー や high dimensional ト ポ ス を import す る の が have sharper だ と い う こ と が see え て き た. こ れ は mathematical logic の eset で の モ デ ル theory を カ テ ゴ リ ー theory of に す る カ テ ゴ リ ー of モ デ ル theory の と contact な masato is が あ り, モ デ ル theory の gimmick を high dimensional ト ポ ス に 応 with し た あ る kind の コ ン パ ク ト theorems を guide く こ と が, high dimensional ト ポ ス を using し た モ ジ ュ ラ イ に に の の theory research service Youdaoplaceholder0 と う possibilities が see えて た た た. こ れ は ま だ 発 table で き る Duan Jie の も の で は な い が, さ ら を に research into め る こ と が all の theory の で important な mean を hold つ と think わ れ る. Is the number of algebraic geometry の で の boundedness の problem な ど は high dimensional ク リ ス タ リ ン ト ポ ス の こ の よ う な understanding の で natural に solution か れ る problem と な る の で は な い か と い う to want a が ら れ た.

项目成果

横川 光司: "Pre-Tango structures on curves"The Tohoku Mathematical Journal. 54. 227-237 (2002)

横河浩二：“曲线上的前探戈结构”东北数学杂志 54. 227-237 (2002)。