[論文レビュー] Moduli Operad over F1

Yuri I. Manin, Matilde Marcolli|CaltechAUTHORS (California Institute of Technology)|Feb 26, 2013

Advanced Topics in Algebra参考文献 30被引用数 4

ひとこと要約

本稿では、種数0のモジュライ空間 $\overline{M}_{0,n}$ 及びその一般化 $T_{d,n}$ が、Grothendieck環における正性を保つ可 constructible なトーラス分解の差として実現される自然な $\mathbb{F}_1$-下り構造を有することを確立する。これらの空間上のオペラッド構造は $\mathbb{F}_1$-幾何と整合的であり、著者らは $\overline{M}_{0,n}$ 上にブループリント構造を導入し、交差積ブループリントを用いて $\mathbb{F}_1$-幾何を高種数のストラトゥムへ拡張する。

ABSTRACT

In this paper we answer a question raised in [25], Sec. 4, by showing that the genus zero moduli operad $\{\bar{M}_{0,n+1}\}$ can be endowed with natural descent data that allow it to be considered as the lift to ${ m Spec}\,\Z$ of an operad over $\F_1$. The relevant descent data are based on a notion of constructible sets and constructible functions over $\F_1$, which describes suitable differences of torifications with a positivity condition on the class in the Grothendieck ring. More generally, we do the same for the operads $\{T_{d,n+1}\}$ (whose components were) introduced in [5]. Finally, we describe a blueprint structure on $\{\bar{M}_{0,n}\}$ and we discuss from this perspective the genus zero boundary modular operad $\{\bar{M}_{g,n+1}^0\}$.

研究の動機と目的

• 【[25]における質問を解決する：$\overline{M}_{0,n+1}$ は $\mathbb{F}_1$ 上のオペラッドへ上昇可能か。
• 【$\mathbb{F}_1$ 上での可 constructible 集合および可 constructible なトーライゼーションの概念を定義し、トーライズド多様体の一般化を実現する。
• 【$\mathbb{F}_1$-幾何を $T_{d,n}$ のモジュライ空間および高種数ストラトゥム $\overline{M}^0_{g,n}$ へ拡張する。
• 【$\overline{M}_{0,n}$ 上にトーリック構造およびオペラッド構造と整合的なブループリント構造を導入する。

提案手法

• 【Grothendieck環における正性を保つトーライゼーションを用いて、$\overline{M}_{0,n}$ および $T_{d,n}$ 上の $\mathbb{F}_1$-構造を定義し、クラス分解における非負の係数を保証する。
• 【正性を保つ形式的差分としての可 constructible なトーライゼーションを導入し、$\mathbb{F}_1$-可 constructible 集合を可能にする。
• 【合成および忘却写像の下で降下データが保存されることを保証することで、$\mathbb{F}_1$-構造と整合的なオペラッド準同型を定義する。
• 【Plücker座標および対称群作用から得られるモノイド生成子と関係式を用いて、$\overline{M}_{0,n}$ 上にブループリント構造を構成する。
• 【$\overline{M}_{0,2g+n}$ 上に群作用（例：$G \subset S_{2g}$）を導入し、交差積ブループリントを用いて $\overline{M}^0_{g,n}$ の商をモデル化する。
• 【非可換幾何学的手法を用いて、商構成を交差積ブループリントに置き換え、$\mathbb{F}_1$-データを損なわずに保つ。

実験結果

リサーチクエスチョン

• RQ1 【モジュライ空間 $\overline{M}_{0,n+1}$ に、$\mathbb{F}_1$ 上のオペラッドを定義するための降下データを備えることは可能か。
• RQ2 【$\mathbb{F}_1$-幾何において、補集合や形式的差分を許容するトーライズド多様体の一般化として適切な概念は何か。
• RQ3 【$\overline{M}_{0,n}$ および $T_{d,n}$ 上のオペラッド構造は、$\mathbb{F}_1$-構造および可 constructible なトーライゼーションと整合的か。
• RQ4 【$\overline{M}_{0,n}$ 上の $\mathbb{F}_1$-構造は、$\overline{M}^0_{g,n}$ のような高種数ストラトゥムへ拡張可能か。
• RQ5 【$\overline{M}_{0,2g+n}/G$ のような商構成は、代数的データを失うことなく $\mathbb{F}_1$-幾何でどのようにモデル化可能か。

主な発見

• 【モジュライ空間 $\overline{M}_{0,n}$ は可 constructible なトーライゼーションを有し、Grothendieck類が非負の係数を持つトーラス分解の形式的差分として分解可能である。
• 【$\{\overline{M}_{0,n+1}\}$ 上のオペラッド構造は $\mathbb{F}_1$-可 constructible 集合と整合的であり、オペラッド準同型が $\mathbb{F}_1$-可 constructible 準同型を誘導する。
• 【$T_{d,n}$ も可 constructible なトーライゼーションを有し、そのオペラッド構造は $\mathbb{F}_1$-幾何と整合的である。
• 【モノイド生成子とPlücker関係式を用いて、トーリック構造および対称群作用と整合的なブループリント構造が $\overline{M}_{0,n}$ 上に構成された。
• 【有理曲線の局所 $\overline{M}^0_{g,n}$ の正規化は、$G$ を転置の積の固定部分群とする交差積ブループリント ${\mathcal{O}}_{\mathbb{F}_1}(\overline{M}_{0,2g+n}) \rtimes G$ でモデル化される。
• 【対称群 $S_n$ は $\overline{M}_{0,n}$ 上のマークド点の置換により作用し、関連するブループリント上に自己同型を誘導する。また $S_n \cong \mathrm{GL}_n(\mathbb{F}_1)$ が成り立つ。