代数曲面上の高次K群における整数論

代数曲面上高阶 K 群的数论

• 批准号: 12J03766
• 负责人: 小原 まり子
• 金额: $ 1.15万
• 依托单位: Tohoku University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for JSPS Fellows
• 财政年份: 2012
• 资助国家: 日本
• 起止时间: 2012 至 2013
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-12J03766/
• 关键词: 高次K群; 高次圏; サイクル; 代数曲面; 代数的整数論; 代数的サイクル

もともと素体上有限生成な体上の代数多様体の高次K群における, Beilinson-Tate予想等数論的性質と, 曲面における高次K群の性質について, それらがK群のどの部分に反映されているのかを考察する研究を行っていた. 実際に行った事としては楕円曲面のNeron-Severi群, あるいはPicard群などその生成元となるサイクルの目星がある程度付く曲面に対し, その上で2次のK群に対するレギュレーター写像や境界準同型の全射性を考えることが目的であった.本年度の目的はこの手法をさらに検証しNeron-Severi群の生成元がある程度分かっている曲面でコホモロジー理論の方向からNeron-Severi群のサイクルを考察し, また1次のK-コホモロジーに, 不分解元を構成することであったが. コホモロジー理論の方向から他の曲面におけるNeron-Severi群や, Picard群のサイクルを考察する方法について, K群に関しては導来代数幾何を用いて, 完全に特徴づけが行われたので, 本年度はそちらの方面からアプローチした. 導来代数幾何は1-圏や2-圏の一般化である無限圏を用い, 高次のホモトピー論を代数的に考察する分野である. これらはJoyalによって初めて導入された. 具体的にはまず, A1-ホモトピー同値という概念をエタールトポスの入った導来スムーズスキームの圏において定式化を確立し, Quillenの代数的K理論, WeibelのホモトピーK理論エタールK理論などを比較することを考えた. Quillenの代数的K理論はQ構成から得られるものでありWeibelのK理論はグラスマニアン多様体を用いて定義される. また, トポスの入った適切な導来スキームの圏で両者が同値であるかどうかをトポスの性質で記述する. このことについては, Robaloの非可換空間においてベクトル束や, 何を以って分類とみなすのか等の定式化を行うことによりグラスマン多様体を定式化できるであろうという目処を立てることが出来た.

Finitely generated な も と も と ferrite body の algebra on others body more の high K bunch に お け る, Beilinson - Tate to think と, number theory of properties such as surface に お け る high K bunch の nature に つ い て, そ れ ら が K group の ど の part に reflect さ れ て い る の か を investigation す る を line っ て い た. Line be interstate に っ た matter と し て は 楕 surface has drifted back towards ¥ の Neron - Severi group, あ る い は Picard group な ど そ の generated RMB と な る サ イ ク ル star の mesh が あ る degree pay く surface に し, seaborne そ の の で 2 times K group に す seaborne る レ ギ ュ レ ー タ ー write like や state must with type の the whole shoot sex を exam え る こ と が purpose で あ っ た. This year の purpose は こ の gimmick を さ ら に 検 card し Neron - Severi group の generating yuan が あ る degree points か っ て い る surface で コ ホ モ ロ ジ の ー theory direction か ら Neron - Severi group の サ イ ク ル を し, ま た の K - 1 times コ ホ モ ロ ジ ー に, Regardless of share-win を constitute す る こ と で あ っ た が. コ ホ モ ロ ジ の ー theory direction か ら he の surface に お け る Neron - Severi や, Picard group の サ イ ク ル を investigation す る method に つ い て, K group に masato し て は guide to algebraic geometry を い て, completely に, 徴 づ け が line わ れ た の で, For the current year, the そちら そちら そちら aspect is た らアプロ チ チ た た た. Guide to algebraic geometry は 1 - sha-lu や 2 - sha-lu の generalization で あ る infinite sha-lu を い, high order の ホ モ ト ピ ー に investigation of を algebra す る eset で あ る. こ れ ら は Joyal に よ っ て early め て import さ れ た. Specific に は ま ず, A1 - ホ モ ト ピ ー with numerical と い う concept を エ タ ー ル ト ポ ス の into っ た guide to ス ム ー ズ ス キ ー ム の sha-lu に お い て demean を し, Quillen の K theory of algebra, Weibel の ホ モ ト ピ ー K theory エ タ ー ル K theory な ど を compare す る こ と を exam え た. Quillen の algebra theory of K は Q constitute か ら have ら れ る も の で あ り Weibel の K theory は グ ラ ス マ ニ ア ン を with many others in body い て definition さ れ る. ま た, ト ポ ス の into っ た appropriate な guide to ス キ ー ム の sha-lu で struck the が with numerical で あ る か ど う か を ト ポ ス の account properties で す る. こ の こ と に つ い て は, Robalo の non exchangeable space に お い て ベ ク ト ル や, What を to っ て classification と み な す の か etc. の demean を line う こ と に よ り グ ラ ス マ ン others more body を demean で き る で あ ろ う と い う mesh 処 を made て る こ と が た.

项目成果

A construction of rational elliptic surfaces with the non-surjective boundary map on K_2.

用 K_2 上的非满射边界图构造有理椭圆曲面。

• DOI: 10.1007/s00229-013-0623-0
• 发表时间: 2014
• 期刊: Manuscripta Mathematica
• 影响因子: 0.6
• 作者: 高田真吾;絹川真太郎;平林鑑;横田 卓;菅 唯志;高橋将成;福島 新;本間恒章;正木芳宏;門口智泰;佐藤貴志;森田憲輝;堀内雅弘;沖田孝一;筒井裕之;髙田真吾(1番目);髙田真吾(1番目);髙田真吾(1番目);髙田真吾(1番目);髙田真吾(1番目);Takada S;高田真吾;高田真吾;Takada S;Takada S;Mariko Ohara
• 通讯作者: Mariko Ohara

Brief review of higher algebra

高等代数简述

• 发表时间: 2014
• 作者: 高田真吾;絹川真太郎;平林鑑;横田 卓;菅 唯志;高橋将成;福島 新;本間恒章;正木芳宏;門口智泰;佐藤貴志;森田憲輝;堀内雅弘;沖田孝一;筒井裕之;髙田真吾(1番目);髙田真吾(1番目);髙田真吾(1番目);髙田真吾(1番目);髙田真吾(1番目);Takada S;高田真吾;高田真吾;Takada S;Takada S;Mariko Ohara;小原まり子
• 通讯作者: 小原まり子

Brief review of higher topos theory

高等拓扑理论简述

• 发表时间: 2014
• 作者: 高田真吾;絹川真太郎;平林鑑;横田 卓;菅 唯志;高橋将成;福島 新;本間恒章;正木芳宏;門口智泰;佐藤貴志;森田憲輝;堀内雅弘;沖田孝一;筒井裕之;髙田真吾(1番目);髙田真吾(1番目);髙田真吾(1番目);髙田真吾(1番目);髙田真吾(1番目);Takada S;高田真吾;高田真吾;Takada S;Takada S;Mariko Ohara;小原まり子;小原まり子
• 通讯作者: 小原まり子

Complex Oriented Cohomology and Formal Group Law

复向上同调和形式群律

• 发表时间: 2012
• 作者: 高田真吾;絹川真太郎;平林鑑;横田 卓;菅 唯志;高橋将成;福島 新;本間恒章;正木芳宏;門口智泰;佐藤貴志;森田憲輝;堀内雅弘;沖田孝一;筒井裕之;髙田真吾(1番目);髙田真吾(1番目);髙田真吾(1番目);髙田真吾(1番目);髙田真吾(1番目);Takada S;高田真吾;高田真吾;Takada S;Takada S;Mariko Ohara;小原まり子;小原まり子;小原まり子
• 通讯作者: 小原まり子