[논문 리뷰] Equivariant birational geometry and modular symbols

Maxim Kontsevich, Vasily Pestun외 1명|arXiv (Cornell University)|2019. 02. 26.

Advanced Algebra and Geometry참고 문헌 1인용 수 9

한 줄 요약

이 논문은 유한 아벨 군 $G$에 관련된 기호 모듈 $\mathcal{B}_n(G)$ 및 $\mathcal{M}_n(G)$ 를 사용하여 등변 비유리 기하학에서 새로운 불변량을 도입하며, 매끄럽고 사영적인 다양체 $X$에 대해 클래스 $\beta(X) \in \mathcal{B}_n(G)$ 가 $G$-등변 비유리 변환에 대해 불변임을 보여준다. 주요 기여는 이러한 불변량과 모듈라 기호, 산술군의 코homology 사이의 깊은 연결고리 발견이며, 명시적 계산을 통해 모듈라 형식과 헤크 기호와의 연결 고리가 드러난다.

ABSTRACT

We introduce new invariants in equivariant birational geometry and study their relation to modular symbols and cohomology of arithmetic groups.

연구 동기 및 목표

• 유한 아벨 군 $G$에 대해 기호 모듈 $\mathcal{B}_n(G)$ 와 $\mathcal{M}_n(G)$ 를 사용하여 등변 비유리 기하학에서 새로운 불변량을 정의하고 연구하는 것.
• G-고정점의 위치와 접선 표현으로 구성된 클래스 $\beta(X) \in \mathcal{B}_n(G)$ 가 $G$-등변 비유리 변환에 대해 불변임을 확립하는 것.
• 이러한 기호 모듈과 모듈라 기호, 산술군의 코homology, 모듈라 형식 사이의 관계를 조사하는 것.
• Hecke 기호 $\mathcal{M}_n(G)$ 에서의 작용을 탐색하고, 이 모듈러가 $\mathbb{Q}$ 와 $\mathbb{F}_\ell$ 위에서의 구조를 분석하는 것.
• 기호 모듈 $\mathcal{B}_n(G)$ 와 $\mathcal{M}_n(G)$ 의 정의 관계가 매우 과다 결정되어 있음에도 불구하고 비자명한 해가 존재하는 이유를 이해하는 것.

제안 방법

• 모든 $2 \leq k \leq n$ 에 대해 대칭성 (S) 과 일반화된 베주트 유형의 관계 (B) 를 만족하는 $\mathcal{B}_n(G)$ 를 정의하며, 이는 $A = G^\vee$ 에서의 원소 $a_i$ 를 갖는 기호 $[a_1,\dots,a_n]$ 으로 생성된 $\mathbb{Z}$-모듈러로 정의된다.
• 동일한 관계 (S) 와 (M) 을 갖지만, 합에서 서로 다른 조건이 없어져 반복된 특성에 대해 대칭적으로 다룰 수 있도록 $\mathcal{M}_n(G)$ 를 정의한다.
• 매끄럽고 사영적인 다양체 $X$ 에 대해 $G$-행동이 일반적으로 자유일 경우, $G$-고정점에서의 접선 표현 분해를 사용하여 $G$-등변 비유리 불변량 $\beta(X) \in \mathcal{B}_n(G)$ 를 구성한다.
• Hecke 기호 $T_{\ell,r}$ 를 $\mathcal{M}_n(G) \otimes \overline{\mathbb{Q}}$ 나 $\mathcal{M}_n(G) \otimes \overline{\mathbb{F}}_p$ 에 작용시키며, 그 스펙트럼 성질을 연구한다.
• 컴퓨터 대수를 사용하여 다양한 $G = \mathbb{Z}/N\mathbb{Z}$ 에 대해 $\mathcal{B}_n(G) \otimes \mathbb{Q}$, $\mathcal{M}_n(G) \otimes \mathbb{Q}$, $\mathcal{B}_n(G) \otimes \mathbb{F}_\ell$ 의 차원을 계산하며, 패턴과 토르션을 드러낸다.
• $n=2,3,4,5$ 와 작은 $N$ 에 대해 $\dim(\mathcal{B}_n(G) \otimes \mathbb{Q})$ 와 $\dim(\mathcal{M}_n(G) \otimes \mathbb{Q})$ 를 비교하며, 일치함을 관찰하여 더 깊은 구조적 동형관계를 시사한다.

실험 결과

연구 질문

• RQ1 G-고정점 자료로부터 구성된 클래스 $\beta(X) \in \mathcal{B}_n(G)$ 가 $G$-등변 비유리 변환에 대해 불변인지 여쭤보는 것.
• RQ2 기호 모듈 $\mathcal{B}_n(G)$ 와 $\mathcal{M}_n(G)$ 가 모듈라 기호와 산술군의 코homology와의 관계에서 얼마나 많은 산술적 및 자동형 구조를 반영하는가?
• RQ3 왜 $\mathcal{B}_n(G)$ 와 $\mathcal{M}_n(G)$ 에서는 매우 과다 결정된 관계 시스템이 존재하지만, 특히 $n \geq 3$ 에서도 비자명한 해가 존재하는가?
• RQ4 $\mathcal{B}_n(G) \otimes \mathbb{Q}$ 와 $\mathcal{M}_n(G) \otimes \mathbb{Q}$ 의 차원이 클래스 수나 모듈라 형식의 차원과 같은 알려진 산술 불변량과 어떻게 관련되어 있는가?
• RQ5 Hecke 기호가 $\mathcal{M}_n(G)$ 의 구조에서 어떤 역할을 하는가? 그리고 $\overline{\mathbb{Q}}$ 와 $\overline{\mathbb{F}}_p$ 에서의 스펙트럼이 군 $G$ 의 산술적 성질을 어떻게 반영하는가?

주요 결과

• 소수 $p \geq 5$ 에 대해 $G = \mathbb{Z}/p\mathbb{Z}$ 일 때, $\mathcal{B}_2(G)$ 의 $\mathbb{Q}$-랭크는 $\frac{p^2 + 23}{24}$ 이며, 이는 모듈라 형식과의 연결 고리를 시사한다.
• 특히 $p = 37$ 일 때, 군 $\mathcal{B}_2(\mathbb{Z}/37\mathbb{Z})$ 는 $\ell = 3$ 과 $19$ 에 대해 $\ell$-토르션을 가지며, 불변량 내 비자명한 토르션을 보여준다.
• $G = \mathbb{Z}/27\mathbb{Z}$ 와 $G = \mathbb{Z}/43\mathbb{Z}$ 에 대해 $\mathcal{B}_4(G)$ 의 $\mathbb{Q}$-랭크는 1이며, 이는 고차원에서 비자명한 해가 존재함을 보여준다.
• $n=2,3,4,5$ 와 작은 $N$ 에 대해 $\mathcal{B}_n(G) \otimes \mathbb{Q}$ 와 $\mathcal{M}_n(G) \otimes \mathbb{Q}$ 의 차원이 일치하며, 깊은 구조적 동형관계를 시사한다.
• $n=4$ 에 대해 $\dim(\mathcal{B}_4(\mathbb{Z}/43\mathbb{Z}) \otimes \mathbb{Q}) = 1$ 이며, $\dim(\mathcal{B}_4(\mathbb{Z}/59\mathbb{Z}) \otimes \mathbb{Q}) = 1$ 이므로, 희귀하지만 비자명한 불변량임을 나타낸다.
• $G = \mathbb{Z}/N\mathbb{Z}$ 에 대해 $\mathcal{B}_n(G)$ 와 $\mathcal{M}_n(G)$ 의 $\mathbb{F}_2$-차원은 $N$ 이 증가함에 따라 증가하며, $N=32$ 일 때 $\dim(\mathcal{B}_5(G) \otimes \mathbb{F}_2) = 1$ 이므로, 모듈로 2 코homology 에서 토르션과 비자명한 구조가 존재함을 보여준다.