[논문 리뷰] On dlog image of K_2 of elliptic surface minus singular fibers

Masanori Asakura|ArXiv.org|2005. 11. 08.

Algebraic Geometry and Number Theory참고 문헌 19인용 수 10

한 줄 요약

이 논문은 특성 0인 대수적으로 닫힌 체 위의 타원 곡면에서 특이 섬유의 여집합에서 $K_2$의 dlog 상의 랭크에 대한 계산 가능한 상계를 확립한다. $p$-진 방법과 승법 섬유에서의 푸리에 전개를 사용하여, dlog 상의 랭크를 제한하는 유한 차원 $
\mathbb{F}_p$-공간 $
\Phi(X_R, D_R)_{\mathbb{F}_p}$를 정의한다. 주요 결과는 특수한 경우, 예를 들어 $n$이 30과 서로소인 $Y^2 = X^3 + X^2 + t^n$ 형태의 타원 곡면에서 이 상계가 정확함을 보이며, 이 경우 $n = 2,3,5,7,11,13,17,19,23,29$일 때 dlog 상의 랭크가 2이며, 블로흐의 고차 호모로지 군에서 분해 불가능한 부분을 구성할 수 있다.

ABSTRACT

Modular section added

연구 동기 및 목표

• 특성 0인 체 위의 타원 곡면에서 특이 섬유의 여집합 $U$에 대해 $K_2(U)$의 dlog 상의 랭크에 대한 상계를 계산하는 것.
• dlog 상의 랭크를 제한하는 계산 가능한 $p$-진 불변량 $\Phi(X_R, D_R)_{\mathbb{F}_p}$를 구성하는 것.
• 이 상계를 활용하여 블로흐의 고차 호모로지 군 $\mathrm{CH}^2(X,1) \otimes \mathbb{Q}$ 내에서 비분해 가능 원소를 구성하는 것, 특히 $K_1^{\mathrm{ind}}(X)^{(2)}$의 맥락에서.
• Beilinson의 추측, 즉 $p$-진 설정에서 dlog 상이 Betti 코hom로와 같다는 것을 검증하기 위한 프레임워크를 제공하는 것.

제안 방법

• 승법 섬유 근처의 2형식에 대한 푸리에 전개로부터 유도된 $\mathbb{Z}_p$-부분모듈 $\Phi(X_R, D_R)_{\mathbb{Z}_p} \subset \Gamma(X_R, \Omega^2_{X_R/R}(\log D_R))$를 도입한다.
• 카토의 명시적 상호법칙을 사용하여 태트 곡선에서 $K_2$의 dlog 상을 분석하고, 2형식이 상에 속하기 위한 기준을 제공한다.
• 문제를 실질적으로 계산 가능한 유한 차원 $
  \mathbb{F}_p$-공간 $\Phi(X_R, D_R)_{\mathbb{F}_p}$로 감소시킨다.
• 일부 조건을 만족하는 $p$에 대해 $\mathrm{rank}_{\mathbb{Z}} \mathrm{dlog} \Gamma(U, \mathcal{K}_2) \leq \dim_{\mathbb{F}_p} \Phi(X_R, D_R)_{\mathbb{F}_p}$ 를 적용한다.
• 국소화 시퀀스와 네론-세베르 군 계산을 사용하여 dlog 상을 $K_1^{\mathrm{ind}}(X)^{(2)}$ 내의 비분해 가능 $K$-이론과 연결한다.

실험 결과

연구 질문

• RQ1 대수적으로 닫힌 체 $\overline{\mathbb{Q}}$ 위의 타원 곡면에서 특이 섬유의 여집합에서 $K_2$의 dlog 상의 정확한 상계는 무엇인가?
• RQ2 특히 승법 섬유에서의 푸리에 전개를 통해 $p$-진 방법을 사용하여 dlog 상을 효과적으로 계산할 수 있는가?
• RQ3 $p$-진 공간 $\Phi(X_R, D_R)_{\mathbb{F}_p}$는 전체 dlog 상을 포괄하는가? 그리고 등호가 성립하는 조건은 무엇인가?
• RQ4 dlog 상을 사용하여 블로흐의 고차 호모로지 군 $\mathrm{CH}^2(X,1) \otimes \mathbb{Q}$ 내에서 비자명한 비분해 가능 원소를 구성할 수 있는가?
• RQ5 Beilinson의 추측에 따르면, $p$-진 설정에서 dlog 상은 Betti 코호몰로지 $H^2_B(U, \mathbb{Q}(2))$와 같아야 하는데, 이것이 참인가?

주요 결과

• 복소수체 위의 타원 곡면 $Y^2 = X^3 + X^2 + t^n$에서 $n$이 30과 서로소일 경우, $n = 2,3,5,7,11,13,17,19,23,29$일 때 $K_2(U)$의 dlog 상의 랭크는 2이며, 명시적인 생성자를 제공한다.
• 이 경우 dlog 상은 $\mathrm{dlog}\left\{\frac{Y-X}{Y+X}, -\frac{t^n}{X^3}\right\}$ 와 $\mathrm{dlog}\left\{\frac{iY - (X+2/3)}{iY + (X+2/3)}, -\frac{t^n + 4/27}{(X+2/3)^3}\right\}$ 로 생성된다.
• 상계 $\mathrm{rank}_{\mathbb{Z}} \mathrm{dlog} \Gamma(U, \mathcal{K}_2) \leq \dim_{\mathbb{F}_p} \Phi(X_R, D_R)_{\mathbb{F}_p}$ 는 효과적이며 실질적으로 계산 가능하며, 모듈라 경우에 등호가 성립한다.
• $7 \leq n \leq 29$ 이며 $n$이 소수일 경우, $\bigoplus_{i=0}^n K_1'(D_i)_{\mathbb{Q}}$ 가 $K_1^{\mathrm{ind}}(X)^{(2)}$ 내에 유도하는 부분공간의 차원은 $n-1$이며, 이는 비자명한 비분해 가능 $K$-이론을 보여준다.
• 이 구성은 $p$-진 푸리에 전개와 $\Phi(X_R, D_R)_{\mathbb{F}_p}$에 의존하며, 이는 고전적 Betti 코호몰로지만으로는 도달할 수 없는 결과를 가능하게 한다.