[논문 리뷰] Characteristic class and the epsilon factor of an étale sheaf

Naoya Umezaki, Enlin Yang외 1명|arXiv (Cornell University)|2017. 01. 11.

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

한 줄 요약

이 논문은 유한체 위의 프로젝티브이고 스무스한 다양체 위의 에탈 층의 에psilon 인자의 특성류와의 전역 테이블 공식을 증명하여 카토와 사이토의 추측을 해결한다. 핵심 결과는 표현에 대해 텐서곱을 취할 때 에psilon 인자의 비율이 그 표현의 디터미낸트가 특성류에 적용된 것과 일치한다는 것이다. 이는 특성류의 적절한 푸시포워드에 대한 호환성과 표면에서 두 개의 스완 클래스의 동치성을 응용한다.

ABSTRACT

We prove a twist formula for the epsilon factor of a constructible sheaf on a projective smooth variety over a finite field in terms of characteristic class of the sheaf. This formula is a modified version of the formula conjectured by Kato and Saito in [Ann. Math., 168 (2008):33-96, Conjecture 4.3.11]. We give two applications of the twist formula. Firstly, we prove that the characteristic classes of constructible étale sheaves on projective smooth varieties over a finite field are compatible with proper push-forward. Secondly, we show that the two Swan classes in the literature are the same on proper smooth surfaces over a finite field.

연구 동기 및 목표

• 유한체 위의 프로젝티브이고 스무스한 다양체 위의 에탈 층에 대한 에psilon 인자의 전역 테이블 공식을 증명한다.
• 카토와 사이토의 에psilon 인자와 층의 특성류 사이의 관계에 관한 추측을 해결한다.
• 구성 가능 층에 대해 프로젝티브 스무스 다양체 위에서 적절한 푸시포워드와 특성류의 호환성을 확립한다.
• 유한체 위의 적절하고 스무스한 표면에서 두 개의 기존 스완 클래스 정의 — $\mathrm{Sw}^{ks}$와 $\mathrm{Sw}^{cc}$ — 가 동치임을 보인다.

제안 방법

• 타카시 사이토가 개발한 층 $\mathcal{F}$의 특성 사이클을 통해 정의된 특성류 $cc_X\mathcal{F} \in CH_0(X)$를 사용한다.
• 에일러 지표 공식 $\chi(X_{\bar{k}}, \mathcal{F}) = \deg(cc_X\mathcal{F})$를 사용하여 에일러 지표와 특성류를 연결한다.
• 베일린슨와 사이토의 최신 분기 이론을 응용하여, 제한 없이 야생 및 임의의 분기 문제를 다룬다.
• 대칭성과 추적 공식을 통해 $\Lambda^\times$에서의 테이블 공식 $\det\rho(-cc_X\mathcal{F}) = \varepsilon(X, \mathcal{F} \otimes \rho) / \varepsilon(X, \mathcal{F})^{\dim \rho}$를 유도한다.
• 이 공식을 적용하여 특성류의 적절한 푸시포워드에 대한 호환성을 증명한다: $f_*(cc_X\mathcal{F}) = cc_Y Rf_*\mathcal{F}$ in $CH_0(Y)$.
• 아벨 층의 경우로 감소시켜 테이블 공식을 사용함으로써, 적절하고 스무스한 표면에서 두 스완 클래스($\mathrm{Sw}^{ks}$와 $\mathrm{Sw}^{cc}$)의 동치성을 증명한다.

실험 결과

연구 질문

• RQ1 유한체 위의 전역 L-함수의 맥락에서, 에탈 층의 에psilon 인자는 그 특성류와 어떻게 관련이 있는가?
• RQ2 카토-사이토의 추측이 분기 제한 없이 성립하는가?
• RQ3 구성 가능 층의 특성류는 프로젝티브 스무스 다양체 위에서 적절한 푸시포워드와 호환되는가?
• RQ4 유한체 위의 적절하고 스무스한 표면에서 두 개의 기존 스완 클래스 정의 — $\mathrm{Sw}^{ks}$와 $\mathrm{Sw}^{cc}$ — 는 동치인가?

주요 결과

• 모든 구성 가능 층 $\mathcal{F}$에 대해, 프로젝티브 스무스 다양체 위의 유한체 위에서 $\Lambda^\times$에서 테이블 공식 $\det\rho(-cc_X\mathcal{F}) = \varepsilon(X, \mathcal{F} \otimes \rho) / \varepsilon(X, \mathcal{F})^{\dim \rho}$ 가 성립한다.
• 특성류 $cc_X\mathcal{F}$ 는 적절한 푸시포워드와 호환된다: $f: X \to Y$ 가 적절한 사상일 때 $f_*(cc_X\mathcal{F}) = cc_Y Rf_*\mathcal{F}$ in $CH_0(Y)$.
• 이 공식은 $Y = \mathrm{Spec}(k)$ 일 때, 곡선에 대한 그로텐디크-오그-샤페레비치 공식을 특수한 경우로 복원한다.
• 유한체 위의 적절하고 스무스한 표면에서 두 스완 클래스 $\mathrm{Sw}^{ks}$와 $\mathrm{Sw}^{cc}$ 는 일치한다: $\mathrm{Sw}_X^{ks}(\mathcal{F}) = -\mathrm{Sw}_X^{cc}(\mathcal{F})$ in $CH_0(X)$.
• 이 증명은 야생 분기 불변량이 특성에 대해 텐서곱을 취할 때 보존됨을 보여주며, 순서 $p$ 표현의 경우로 감소시킬 수 있음을 보장한다.
• 결과적으로 특성류의 푸시포워드에 대한 추측적 호환성과 표면의 경우 스완 클래스 정의의 동치성을 확인한다.