コンテンツにスキップ

英文维基 | 中文维基 | 日文维基 | 草榴社区

フロベニオイド

出典: フリー百科事典『ウィキペディア(Wikipedia)』

数論幾何学では、フロベニオイドは、大域体の有限拡張のモデルでの線束の理論を一般化する追加の構造を持つである。フロベニオイドは望月新一(2008)によって導入された。「フロベニオイド」という言葉は、フロベニウスモノイドを合わせたものである。フロベニオイド間の特定のフロベニウス射は、通常のフロベニウス射の類似物であり、フロベニオイドの最も単純な例のいくつかは、本質的にモノイドである。

モノイドのフロベニオイド

[編集]

Mが可換モノイドである場合、それは乗算の下で正の整数のモノイドNによって自然に作用され、Nの要素nはMの要素にnを乗算する。Mのフロベニオイドは、MとNの半直接積である。このフロベニオイドの基になるは、モノイドのであり、1つの対象とモノイドの各要素のが含まれる。Mが非負整数の加法モノイドである場合、標準のフロベニオイドはこの構造の特殊なケースである。

初等フロベニオイド

[編集]

初等フロベニオイドは、可換モノイドのフロベニオイドの一般化であり、基本のD上の可換モノイドのファミリーΦによる正の整数のモノイドの一種の半直接積によって与えられる。アプリケーションでは、Dは大域体の有限分離可能な拡張のモデルのである場合があり、Φはこれらのモデルの線束に対応し、Nの正の整数nの作用はaの線束のn乗をとることによって与えられる。

フロベニオイド

[編集]

フロベニオイドは、圏Cと初等フロベニオイドへの関手で構成され、大域体のモデルの直線束と除数の動作に関連するいくつかの複雑な条件を満たす。望月の基本定理の1つは、さまざまな条件下で圏Cからフロベニオイドを再構築できると述べている。

参考文献

[編集]
  • 望月, 新一 (2008), “The geometry of Frobenioids. I. The general theory”, Kyushu Journal of Mathematics 62 (2): 293–400, doi:10.2206/kyushujm.62.293, ISSN 1340-6116, MR2464528 
  • 望月, 新一 (2008), “The geometry of Frobenioids. II. Poly-Frobenioids”, Kyushu Journal of Mathematics 62 (2): 401–460, doi:10.2206/kyushujm.62.401, ISSN 1340-6116, MR2464529 
  • 望月, 新一 (2009), “The étale theta function and its Frobenioid-theoretic manifestations”, Kyoto University. Research Institute for Mathematical Sciences. Publications 45 (1): 227–349, doi:10.2977/prims/1234361159, ISSN 0034-5318, MR2512782  Mochizuki, Shinichi (2011), Comments, http://www.kurims.kyoto-u.ac.jp/~motizuki/The%20Etale%20Theta%20Function%20and%20its%20Frobenioid-theoretic%20Manifestations%20(comments).pdf 

外部リンク

[編集]