Higher modularity of elliptic curves over function fields

기술적 요약: 함수체 위의 타원곡선에 대한 고차 모듈라성

문제 제기
본 논문은 함수체 $K = \mathbb{F}_q(t)$ 위에 정의된 비등방성 (nonisotrivial) 타원곡선 $E$에 대한 "고차 모듈라성"의 개념을 연구한다. $\mathbb{Q}$ 위의 타원곡선에 대한 고전적인 모듈라성 (시무라 - 타니야마) 은 $E$와 모듈라 곡선 $X_0(N)$ 사이의 대응을 확립하고, 함수체 아날로그 (드린펠트) 는 드린펠트 모듈라 곡선 (1-모듈라성) 과의 대응을 확립하지만, 이 연구는 이를 "고차" 수준으로 일반화하고자 한다. 구체적으로, 저자들은 정수 $r \ge 1$에 대해 타원곡선 $E$가 $r$-모듈라적인지 여부를 묻는다.

타원곡선 $E/K$가 $r$-모듈라적이라고 정의되는 것은 $G = \mathrm{PGL}_2$에 대한 $r$-다리 쉬투카 (shtuka) 의 모듈라이 스택 (기호: $\mathrm{Sht}^r_G$) 과 $r$중 곱 $E^r$ 사이에 대수적 대응 (차수 0 사이클) 이 존재하는 경우이다. 이 대응은 관련 $\ell$-진 코호몰로지 군 위에 전사 사상을 유도하여, 쉐트카 스택의 코호몰로지의 몫으로서 모티브 $h^1(E)^{\otimes r}$을 실현해야 한다.

방법론
저자들은 고차원 스택 위의 대응을 직접 구성하는 문제에서 벗어나 특정 대수적 곡면과 3-다양체를 연구하는 기하학적 전략을 채택한다.

1. 우연성 사상 (Coincidence Map): 핵심 도구는 "우연성 사상"인 유리 사상 $c: \mathrm{Sht}^r_G \dashrightarrow \mathrm{Sht}^1_G$ ($r$-다리 쉬투카를 1-다리 쉬투카와 관련짓는) 이다. 이 사상은 벡터 다발의 프뢰베니우스 없는 수정 (modifications) 인 "우연성"의 모듈라이 공간을 통해 인수분해된다. $r=2$인 경우, 이를 통해 스택 $\mathrm{Sht}^2_G$를 드린펠트 모듈라 곡선 ($r=1$ 경우) 과 우연성 공간을 포함하는 섬유곱으로 구성된 타원 곡선들의 가변 $Z_2(E)$와 연관시킬 수 있다.
2. K3 곡면으로의 축소: $Z_2(E) \to U^2$ (여기서 $U$는 지지자를 제외한 기본 곡선) 가 K3 곡선들의 가변임을 보인다. 2-모듈라성 증명 문제는 $Z_2(E)$에서 타원곡선들의 곱 $E_1 \times E_2$와 관련된 커머 곡면 $K_m(E_1 \times E_2)$로의 유한 사상을 찾는 문제로 축소된다.
3. 격자 이론과 동형 (Isogenies): 저자들은 K3 곡면 이론, 특히 피카르 격자와 유한 사상의 존재성 사이의 관계를 활용한다. K3 곡면 $S$의 피카르 격자가 비동형인 타원곡선 $E_1, E_2$에 대한 커머 곡면 $K_m(E_1 \times E_2)$의 피카르 격자와 유리적으로 등거리 (rationally isometric) 라면, 유한 사상 $S \to K_m(E_1 \times E_2)$가 존재함을 증명한다. 이는 시오다 - 이노세 구조와 격자 임베딩 정리에 의존한다.
4. 명시적 계산: 특정 타원 섬유화 클래스에 대해 저자들은 명시적인 대수기하학적 계산을 수행한다. 그들은 구성된 K3 곡면 $Z_2(E)$ 위의 타원 섬유화 중 특정 특이 섬유 구성 (예: 두 개의 $I^*_0$ 섬유) 을 가진 것을 식별하여, 커머 곡면이나 이노세 곡면으로 필요한 동형을 구성할 수 있게 한다.
5. 칼라비 - 야우 3-다양체: $r=3$인 경우, 저자들은 타원 섬유화의 섬유곱을 연구하여 칼라비 - 야우 3-다양체를 얻는다. 그들은 섬유곱 $Z_3(E)$와 유한군에 의한 $E^3$의 몫의 분해 (resolution) 인 "커머 3-다양체" 사이의 쌍유리 동치를 확립함으로써 특정 경우에 대한 3-모듈라성을 증명한다.

주요 기여 및 결과

• 고차 모듈라성의 정의: 본 논문은 쉬투카 스택과 타원곡선의 거듭제곱 사이의 대수적 대응을 통해 $r$-모듈라성 개념을 형식화하여, 테이트 추측과 전역 랭글랜즈 대응과 연결한다.
• 정리 1.2.4 (주요 결과): 유한체 위에서 정의된 (차수 4 의 지지자를 가진) 모든 비등방성 온화한 극단적 유리 타원 섬유화 $E \to \mathbb{P}^1$은 2-모듈라적이다.
  • 증명 과정은 이러한 섬유화들을 분류 (준안정 및 불안정 경우) 하고, 연관된 K3 곡면 $Z_2(E)$와 커머 곡면 $K_m(E_1 \times E_2)$ 사이의 명시적 동형을 구성하는 것을 포함한다.
  • 준안정 경우의 경우, 큰 $q$에 대한 동형류의 유일성과 작은 $q$에 대한 명시적 계산으로부터 결과가 도출된다.
  • 불안정 경우의 경우, 저자들은 시오다 - 이노세 구조와 이노세 곡면 이론을 사용하여 필요한 유한 사상을 구성한다.
• 정리 1.4.3: 레전드 타원곡선 $y^2 = x(x-1)(x-t)$는 3-모듈라적이다. 이는 섬유곱 $Z_3(E)$와 커머 3-다양체 $K_m(E^3)$ 사이의 쌍유리 사상을 확립함으로써 증명된다.
• K3 곡면에 대한 독립적 결과 (정리 1.4.1 / 3.3.6): 저자들은 K3 곡면 $S$가 비동형인 타원곡선 $E_1, E_2$에 대한 커머 곡면 $K_m(E_1 \times E_2)$로 유한 사상을 허용할 필요충분조건이 $S$의 피카르 격자가 그러한 커머 곡면의 피카르 격자와 유리적으로 등거리라는 것임을 증명한다. 이는 버스킨과 무카이의 이전 결과를 확장하여 그러한 사상의 존재에 대한 유효한 기준을 제공한다.
• 명시적 방정식: 논문은 $r=2$ 및 $r=3$에 대한 쉬투카 공간과 우연성 공간의 명시적 방정식을 제공하며, 다양한 극단적 섬유화 (예: $I^*_2 I_2 I_2$, $II^* I_1 I_1$ 등) 에 대한 동형 구성의 세부 사항을 다룬다.

의의
본 논문은 $r > 1$에 대해 $r$-모듈라적인 함수체 위의 타원곡선에 대한 최초의 구체적인 예시를 제공한다. 함수체에 대한 해석적 모듈라성 (자모픽 형태의 존재) 은 알려져 있지만, $r > 1$에 대한 기하학적 모듈라성 (대수적 대응의 존재) 은 이전까지 증명되지 않았다.

저자들은 자신의 연구를 모든 비등방성 타원곡선이 모든 $r$에 대해 $r$-모듈라적이라는 추측 (추측 1.2.3) 을 검증하는 한 걸음으로 제시한다. 그들의 결과는 테이트 추측과 랭글랜즈 프로그램이 예측한 기하학적 대응이 곡선의 중요한 클래스에 대해 존재함을 보여준다. 또한 이 작업은 서로 다른 다리 수를 가진 쉬투카 공간을 관련짓는 "우연성 사상"의 유용성을 강조하여, 임의의 $r$에 대한 $r$-모듈라성 증명에 대한 잠재적 경로를 제공한다.

이 논문은 범위가 제한적이며, 모드 - 웰 계수가 0 이고 지지자 차수가 4 인 극단적 유리 타원 섬유화에 초점을 맞춘다. 모든 타원곡선이나 모든 $r$에 대한 일반적 추측을 증명한다고 주장하지는 않지만, 기초 메커니즘을 확립하고 고차 모듈라성의 첫 번째 비자명한 사례를 제공한다. 헤그너 - 드린펠트 사이클과 버치 - 스윈너턴 - 다이어 추측과의 연결은 동기로 논의되며, $r$-모듈라성이 셀머 군의 행렬식을 spanning 하는 대수적 사이클의 구성을 가능하게 한다는 점이 지적된다.