[논문 리뷰] On localizations of characteristic classes of l-adic sheaves of rank 1

Takahiro Tsushima|ArXiv.org|2009. 05. 13.

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

한 줄 요약

이 논문은 경계 분할을 가진 매끄러운 스킴 위의 계수 1 ℓ-adic 층에 대해 두 가지 국소화 특성류를 도입한다: 로그 국소화 특성류와 비청소 국소화 특성류. 청소된 분할에서의 분할에 대해 이 둘의 동치성을 증명하며, 분모를 제거하고 야생 분할에서 카토의 0-사이클 특성류에 대한 코homological 해석을 제공함으로써 아베스-카토-사이토 공식을 보다 정교하게 다룬다.

ABSTRACT

The Grothendieck-Ogg-Shafarevich formula is generalized to any dimensional scheme by Abbes-Kato-Saito. In this paper, we introduce two methods of localization of the characteristic classes for sheaves of rank 1 and compare them. As a corollary of this comparison, we obtain a refinement of a formula proved by Abbes-Saito without denominator for a smooth sheaf of rank 1 which is clean with respect to the boundary.

연구 동기 및 목표

• 특성류 비교에서 분모를 제거함으로써 계수 1 ℓ-adic 층에 대한 아베스-카토-사이토 공식을 정교화하는 것.
• 로깅 블로우업을 통한 국소화(로그 국소화 특성류)와 비퇴화 조건을 통한 국소화(비청소 국소화 특성류)라는 두 가지 다른 국소화 방법을 도입하고 비교하는 것.
• 경계에 대해 청소된 층에 대해 국소화 특성류를 이용해 카토의 0-사이클 특성류에 대한 코homological 정교화를 수립하는 것, 이는 야생 분할에 지지되는 국소화 특성류를 사용한다.
• 양의 특성에서 카토-사이토 군자수 공식을 지지하는 국소화된 아베스-사이토 공식을 제공하는 것.

제안 방법

• 경계 분할 $ D $ 에 따른 로깅 블로우업을 사용하여 $ H_{D^{+}}^{0}(X, ilde{K}_X) $ 안의 코homology 클래스로 로그 국소화 특성류를 정의하며, 이는 야생 분할을 포착한다.
• 비청소 지역에 지지되는 코homology 클래스로 비청소 국소화 특성류를 정의하며, 이는 카토의 청소 개념을 고차원 계수로 일반화하고, T. 사이토의 비퇴화 조건을 통한 국소화를 정교화한다.
• 표준 추적 사상과 찰스 클래스 구성법을 사용하여 국소화 특성류를 로그 곱 $ (X\times X)^{(R)} $ 와 $ (X\times X)\tilde{}_{U'} $ 상의 교차 수와 연결한다.
• 국소화 찰스 클래스 공식 $ (-1)^d c_d(\text{로그 백터 차이}) \bigcap [X] $ 을 적용하여 국소화 특성류를 정규화 백터와 자기교차의 형태로 표현한다.
• 추적과 쌍대성 동형사상으로 두 국소화 특성류의 동치성을 증명하며, $ \tilde{F} $ 가 청소일 때 $ C_{D^+}^{\text{log},0}(j_!\tilde{F}) = C_{T}^{\text{ncl},0}(j_!\tilde{F}) $ 임을 보인다.
• 코어너리카르트 사상 $ H_{D^+}^0(X, \tilde{K}_X) \to H^0(X, \tilde{K}_X) $ 을 사용하여 국소화 특성류를 전역 특성류와 $ (\triangle_X, \triangle_X)_{(X\times X)^{(R)}} $ 의 자기교차와 연결한다.

실험 결과

연구 질문

• RQ1 계수 1 ℓ-adic 층의 특성류는 전역 특성류보다 야생 분할을 더 정확히 포착하기 위해 어떻게 국소화될 수 있는가?
• RQ2 매끄러운 계수 1 층에 대해 로그 국소화 특성류와 비청소 국소화 특성류 사이의 관계는 무엇인가?
• RQ3 국소화 특성류를 사용하여 아베스-카토-사이토 공식을 분모 없이 정교화할 수 있는가?
• RQ4 만약 층이 경계에 대해 청소되어 있다면 비청소 국소화 특성류는 0이 되는가? 이는 카토의 0-사이클 특성류와의 비교에 어떻게 影響을 미치는가?
• RQ5 국소화 특성류를 사용하여 양의 특성에서 카토-사이토 군자수 공식을 증명할 수 있는가?

주요 결과

• 로그 국소화 특성류 $ C_{D^+}^{\text{log},0}(j_!\tilde{F}) $ 는 로깅 블로우업과 추적 사상을 사용하여 $ H_{D^+}^0(X, \tilde{K}_X) $ 안의 코homology 클래스로 정의되며, 이는 야생 분할 $ D^+ $ 에 지지된다.
• 비청소 국소화 특성류 $ C_T^{\text{ncl},0}(j_!\tilde{F}) $ 는 비청소 지역에 지지되는 코homology 클래스로 정의되며, 이는 카토의 청소 개념을 고차원 계수로 일반화한다.
• 주요 정리(정리 3.8)는 $ C_{D^+}^{\text{log},0}(j_!\tilde{F}) = C_T^{\text{ncl},0}(j_!\tilde{F}) $ 의 등식을 증명하여 두 국소화 방법 간의 동치성을 보여준다.
• 만약 $ \tilde{F} $ 가 경계에 대해 청소되어 있다면 비청소 국소화 특성류는 0이 되며, 이에 따라 추론 3.10: $ C_{D^+}^{\text{log},0}(j_!\tilde{F}) - C_{D^+}^{\text{log},0}(j_!\tilde{\nu}_U) = -c_{\tilde{F}} $ 가 $ H_{D^+}^0(X, \tilde{K}_X) $ 에서 성립한다. 여기서 $ c_{\tilde{F}} $ 는 카토의 0-사이클 특성류이다.
• 이 등식은 분모를 제거하고 0-사이클 특성류를 국소화 특성류의 차수로 표현함으로써 아베스-카토-사이토 공식을 정교화한다.
• 결과적으로 이는 이전 연구에서 국소화 특성류를 사용하여 양의 특성에서 카토-사이토 군자수 공식을 증명함으로써, 카토-사이토 군자수 공식의 코homological 정교화를 제공한다.