[논문 리뷰] Moduli Operad over F1

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

Advanced Topics in Algebra참고 문헌 30인용 수 4

한 줄 요약

이 논문은 계수 0 모듈리 공간 $\overline{M}_{0,n}$ 및 그 일반화인 $T_{d,n}$ 가 체적 토리피케이션—그로텐디에크 군에서의 양성 계수를 가지는 토러스 분해의 형식적 차분—을 통해 $\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$ 상에서의 체적 집합과 체적 토리피케이션의 개념을 정의하여 토리피케이션 다양체를 일반화하기 위해.
• $\overline{M}_{0,n}$ 과 고계수 분할 $\overline{M}^0_{g,n}$ 의 모듈리 공간 옵레드로이드에 대해 $\mathbb{F}_1$-기하학을 확장하기 위해.
• $\overline{M}_{0,n}$ 에 대해 토릭 및 옵레드로이드적 구조와 호환되는 블루프린트 구조를 도입하기 위해.

제안 방법

• $\mathbb{F}_1$-구조를 정의하기 위해 그로텐디에크 군에서의 양성 계수를 갖는 토리피케이션을 사용하여 $\overline{M}_{0,n}$ 과 $T_{d,n}$ 에 대해 비음수 계수를 갖는 클래스 분해를 보장한다.
• 체적 토리피케이션을 형식적 차분으로서의 토리피케이션의 차분으로 정의하여 양성 계수를 유지함으로써 $\mathbb{F}_1$-체적 집합을 가능하게 한다.
• 조합과 忽시 사상에서의 내림내림 자료를 유지함으로써 $\mathbb{F}_1$-구조와 호환되는 옵레드로이드 사상을 정의한다.
• $\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$-구조와 체적 토리피케이션과 어떻게 호환되는가?
• RQ4 $\overline{M}_{0,n}$ 의 $\mathbb{F}_1$-구조는 고계수 분할인 $\overline{M}^0_{g,n}$ 로 어떻게 확장될 수 있는가?
• RQ5 알gebra적 자료를 잃지 않고 $\mathbb{F}_1$-기하학에서 몰입 구성 $\overline{M}_{0,2g+n}/G$ 를 어떻게 모델링할 수 있는가?

주요 결과

• $\overline{M}_{0,n}$ 는 체적 토리피케이션을 갖는다. 즉, 그 그로텐디에크 군의 클래스는 음수가 아닌 계수를 갖는 토러스 분해의 형식적 차분으로 분해된다.
• $\{\overline{M}_{0,n+1}\}$ 의 옵레드로이드 구조는 $\mathbb{F}_1$-체적 집합과 호환되며, 옵레드로이드 사상은 $\mathbb{F}_1$-체적 사상으로 유도된다.
• $T_{d,n}$ 도 체적 토리피케이션을 갖는다. 그들의 옵레드로이드 구조는 $\mathbb{F}_1$-기하학과 호환된다.
• $\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)$ 이다.