[논문 리뷰] On syntomic regulators I: constructions

Wiesława Nizioł|arXiv (Cornell University)|2016. 07. 18.

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

한 줄 요약

이 논문은 p-진 K-이론에서 로그 심토믹 코hom로의 로그 심토믹 체르누 클래스를 구성하며, 정상 교차 분할을 가진 스킴으로의 고전적 심토믹 조정자를 확장한다. 최근의 심토믹 코호몰로지와 p-진 근처 순환 사이의 비교를 활용하여, 덧셈, 곱셈, λ-작용, Gysin 수열, 그리고 에탈 코호몰로지로의 주기 지도와의 호환성을 확립한다.

ABSTRACT

We show that classical Chern classes from higher ($p$-adic) $K$-theory to syntomic cohomology extend to logarithmic syntomic cohomology. These Chern classes are compatible -- in a suitable sense -- with addition, products, and $λ$-operations. They are also compatible with the canonical Gysin sequences and, via period maps, with logarithmic étale Chern classes. Moreover, they induce logarithmic crystalline Chern classes. This uses as a critical new ingredient the recent comparison of syntomic cohomology with $p$-adic nearby cycles and $p$-adic motivic cohomology.

연구 동기 및 목표

• 정상 교차 분할을 가진 스킴를 위한 고전적 심토믹 조정자를 로그 설정으로 확장하는 것.
• 이 조정자들이 덧셈, 곱셈, λ-작용과 같은 대수적 연산과 호환되도록 보장하는 것.
• 분할과 관련된 Gysin 수열과 에탈 코호몰로지로의 주기 지도와의 호환성을 확립하는 것.
• p^{mi}에 의한 토핑을 통해 고전적 클래스를 보간하는 로그 심토믹 체르누 클래스의 버전을 구성하는 것.
• 향후 연구에서 닫힌 스킴에서 열린 스킴로의 결과를 정상 교차 컴actsification으로 확장하는 데 기초를 마련하는 것.

제안 방법

• 크리스탈린 코호몰로지 위에서 프로베니우스와 p^i 승수의 차이의 콘의 정의를 통해 로그 심토믹 코호몰로지를 정의한다.
• 토션과 딜로지티를 다루기 위해 절단된 심토믹 코호몰로지와 심토믹-에탈 코호몰로지를 구성한다.
• 최근의 심토믹 코호몰로지와 p-진 근처 순환 사이의 비교 동형사상([6]에서 유래)을 핵심적인 기술적 입력으로 사용한다.
• p^{mi}에 의해 스케일된 고전적 심토믹 클래스의 변형을 통해 로그 체르누 클래스를 정의한다 (m ≥ N).
• 심토믹 코호몰로지의 프로젝션 공식과 호모토피 불변성을 활용하여 Gysin 수열과의 호환성을 확립한다.
• 폰타인-메싱 주기 지도와 체르누 클래스의 보편 다항식을 활용하여, 에탈 코호몰로지로의 주기 지도를 포함하는 다이어그램의 교환성을 증명한다.

실험 결과

연구 질문

• RQ1 고전적 심토믹 체르누 클래스를 K-이론에서 심토믹 코호몰로지로 어떻게 로그 설정으로 확장할 수 있는가?
• RQ2 이 로그 심토믹 체르누 클래스가 Gysin 수열과 대수적 연산과 정확히 어떻게 호환되는가?
• RQ3 로그 심토믹 체르누 클래스는 주기 지도를 통해 어떻게 에탈 체르누 클래스와 관련이 있는가?
• RQ4 새로운 클래스는 K-이론의 λ-작용과 곱셈과 어떤 식으로 호환되는가?
• RQ5 심토믹 코호몰로지와 p-진 근처 순환 사이의 비교가 이러한 클래스의 구성에 어떤 역할을 하는가?

주요 결과

• 논문은 j ≥ 2 이고 m ≥ N 인 경우, $\overline{c}^\text{syn}_{ij}: K_j(U, \mathbb{Z}/p^n) \to H^{2i-j}_\text{syn}(X, \mathcal{S}'_n(i)) $ 형태의 함수적이고 호환되는 로그 심토믹 체르누 클래스의 가족을 구성한다.
• 이 체르누 클래스들은 고전적 심토믹 클래스에 비해 p^{mi}로 토핑되어 있으며, 이는 γ-필터링과 λ-작용과의 호환성을 보장한다.
• 체르누 클래스는 분할 D와 관련된 자연스러운 Gysin 수열과 호환되며, i_*, j^*, ∂를 포함하는 다이어그램을 통해 보여진다.
• 폰타인-메싱 주기 지도 $\alpha_{*,*}$ 를 통해 $\overline{c}^\text{syn}_{ij}$ 와 $p^{(m+1)i}\overline{c}^\text{ét}_{ij}$ 를 포함하는 다이어그램은 교환되며, 이는 심토믹 조정자와 에탈 조정자를 연결한다.
• 주기 지도와 p-진 모티브 코호몰로지와의 비교 동형사를 통해, 이 구성은 로그 크리스탈린 체르누 클래스를 유도한다.
• Gysin 수열과의 호환성은 보편 다항식 $P_i$ 와 항등식 $\overline{p}^{\text{syn},m}_{b,2b-a} = (1-b)\overline{c}^{\text{syn},m}_{b-1,2b-a}$ 를 사용한 형식적 계산을 통해 확립되며, 이는 조건 2b-a ≥ 3 이고 p^n > 2 라는 조건 하에서 유효하다.