代数曲面上の高次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の非可換空間においてベクトル束や, 何を以って分類とみなすのか等の定式化を行うことによりグラスマン多様体を定式化できるであろうという目処を立てることが出来た.

もともとThe finite generation of the solid body on the algebraic polyhedral body のHigh-order K group における, Beilinson-Tate preconception equal number theory と, Surface におけるHigh-order K group のproperty について,それらがK group のどのpartにreflect されているのかをinvestigation する research を行っていた. Neron-Severi Group of Neron-Severi Group,あるいはPicard group などそのgenerated element となるサイクルの目星 があるdegree pay くsurface に対し, その上で2时のK集团に対するレギュレーターWRITING IMAGE や realm quasi-identical の全radiation The purpose of the test is the purpose of the test. The purpose of the year is the method of the test. eron-Severi group のgenerator があるdegree かっているsurface でコホモロジーtheory のdirection からNeron-Severi group のサイクルをinvestigationし,また一时のK-コホモロジーに, it is composed of することであったが without decomposing the elements.コホモロジーTheoretical directionからhis surfaceにおけるNeron-Severi groupや, Picard groupのサイクルをinvestigation methodするについて, The K-group に关しては is derived from the algebraic geometry いて, the complete に特徴づけが行われたので, the current year はそちらの区からアプローチした. Derive algebraic geometry は1-圏や2-圏のgeneralizationであるinfinite 圏をutility, and high-order のホモトピー theoryをinvestigation of algebraic するdifferentiation field である.これらはJoyalによって初めて Import された. Specific にはまず, A1-ホモトピー同値という Concept をエタールトポスの入った道来スムーズスキームの圏において成をestablishedし, Quillen's K-theory of algebra, Weibel's K-theory and its comparison. Quillen algebra's K-theory はQ composition から got られるものでありWeibel's K-theory はグラスマニアンmultiple body いてDefinition される. また,トポスの入った成な义来スキームの圏で両者が同であるかどうかをトポスの性でscribeする. Robalo's non-replaceable space, How to classify and classify とみなすのか, etc. を行うことによりグラスマできるであろうという目地を立てることが出た.

项目成果

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;小原まり子;小原まり子;小原まり子
• 通讯作者: 小原まり子