[논문 리뷰] On the relative K-group in the ETNC

Oliver Bräunling|arXiv (Cornell University)|2018. 06. 28.

Homotopy and Cohomology in Algebraic Topology참고 문헌 41인용 수 5

한 줄 요약

이 논문은 정규 순서 $ \frak{A} $ 에 대해 등변 타마가와 수의 추측(Equivalent Tamagawa number conjecture, ETNC)에서 사용되는 상대 K-군 $ K_0(\frak{A}, \bbR) $ 과 국소적으로 컴act한 위상 $ \frak{A} $-모듈의 범주 $ K_1(\text{LCA}_{\frak{A}}) $ 사이의 표준적 동형사상을 수립한다. 이는 타마가와 수를 자연스러운 하르 측도 구조를 지닌 범주 속의 가상의 대상으로 해석함으로써, 절대 K-이론의 관점에서 ETNC를 새롭게 해석할 수 있도록 한다.

ABSTRACT

We consider the Burns-Flach formulation of the equivariant Tamagawa number conjecture (ETNC). In their setup, a Tamagawa number is an element of a relative K-group. We show that this relative group agrees with an ordinary K-group, namely of the category of locally compact topological modules over the order. Its virtual objects are an equivariant Haar measure in a precise sense. We expect that all relative K-groups in the ETNC will have analoguous interpretations. At present, we need to restrict to regular orders, e.g. hereditary.

연구 동기 및 목표

• Burns–Flach의 ETNC에 사용된 상대 $ K $-군 $ K_0(\frak{A}, \bbR) $ 에 대한 기하학적이고 범주론적인 해석을 제공하기 위해.
• 추상적인 상대 $ K $-군을 구체적인 위상 모듈의 범주에 대한 절대 $ K $-군으로 대체하기 위해.
• 이 범주에서의 유일한 결정 함수(functor)가 정확히 하르 측도와 일치함을 보여, $ K $-이론과 측도론적 불변량을 연결하기 위해.
• 정규 순서 $ \frak{A} $ 에 대해 $ K_1(\text{LCA}_{\frak{A}}) \to K_0(\frak{A}, \bbR) $ 의 표준적 동형사상을 수립하여, 상대 $ K $-군을 포함하지 않는 ETNC의 재형식화를 가능하게 하기 위해.
• 위상 모듈의 $ K $-이론을 이용한 등변 타마가와 측도 이론의 보다 광범위한 체계를 마련하기 위해.

제안 방법

• 모듈 작용과 호환되는 위상을 지닌 국소적으로 컴팩트인 오른쪽 $ \frak{A} $-모듈의 정확한 범주 $ \text{LCA}_{\frak{A}} $ 를 도입하기 위해.
• Clausen [Cla17] 의 결과를 통해 $ \text{LCA}_{\frak{A}} $ 에서 Deligne의 유일한 결정 함수(functor)가 하르 측도와 정확히 일치함을 보여주기 위해.
• 기존의 $ K $-이론 시퀀스를 일반화한 $ K_n(\frak{A}) $, $ K_n(A_{\bbR}) $, $ K_n(\text{LCA}_{\frak{A}}) $, $ K_{n-1}(\frak{A}) $ 를 포함하는 장기 정확한 시퀀스를 구성하기 위해.
• K-이론 스펙트럼의 비교와 결정 함수의 유일성 성질을 이용해 핵심 동형사상 $ K_n(\text{LCA}_{\frak{A}}) \to K_{n-1}(\frak{A}, \bbR) $ 를 증명하기 위해.
• Nenashev의 $ K_1 $-군의 표현을 적용하여 $ K_0(\frak{A}, \bbR) $ 를 $ \text{LCA}_{\frak{A}} $-대상들의 이중 짧은 정확한 시퀀스로 기술하기 위해.
• $ \bbR $ 가 국소적으로 컴팩트한 위상체라는 사실을 이용하여 구조를 구성할 수 있음을 보여주며, 이는 $ p $-진 또는 산술적 경우와의 차이를 부각하기 위함이다.

실험 결과

연구 질문

• RQ1 ETNC에서 사용하는 상대 $ K $-군 $ K_0(\frak{A}, \bbR) $ 은 어떤 구체적인 범주의 절대 $ K $-군으로 해석될 수 있는가?
• RQ2 국소적으로 컴팩트한 $ \frak{A} $-모듈의 범주에서의 유일한 결정 함수(functor)는 등변 하르 측도와 동형인가?
• RQ3 ETNC의 타마가와 수는 $ K_0(\frak{A}, \bbR) $ 가 아닌 $ K_1(\text{LCA}_{\frak{A}}) $ 를 통해 어떻게 표현될 수 있는가?
• RQ4 $ K_0(\frak{A}, \bb{Q}) $ 가 $ K_1(\text{LCA}_{\frak{A}}) $ 안에서 어떤 이미지를 가지며, 이는 ETNC의 유리성과 어떻게 관련되는가?
• RQ5 $ \text{Cl}(\frak{A}, \bbR) \to K_0(\frak{A}, \bbR) $ 의 부분군이 새로운 $ K_1(\text{LCA}_{\frak{A}}) $ 언어로 명시적으로 기술될 수 있는가?

주요 결과

• 유한 차원의 단순 $ \bbQ $-대수에서 정규 순서 $ \frak{A} $ 를 가진 모든 경우에 대해, $ K_1(\text{LCA}_{\frak{A}}) \to K_0(\frak{A}, \bbR) $ 의 표준적 동형사상이 존재하며, 이는 상대 $ K $-군을 절대 $ K $-군으로 실현한다.
• 범주 $ \text{LCA}_{\frak{A}} $ 에서의 유일한 결정 함수(functor)는 자연스럽게 등변 하르 측도와 동형이 되며, 이는 $ K_1(\text{LCA}_{\frak{A}}) $ 의 기하학적 해석을 제공한다.
• 타마가와 수 $ R\tilde{\theta}(M, \frak{A}) \to K_0(\frak{A}, \bbR) $ 는 $ K_1(\text{LCA}_{\frak{A}}) $ 의 원소로 올라갈 수 있으며, 이는 ETNC의 새로운 표현을 가능하게 한다.
• $ K_0(\frak{A}, \bbR) $ 는 $ (3\times 3) $-다이어그램에서 유래한 관계를 모듈로 하는, $ \text{LCA}_{\frak{A}} $-모듈의 이중 짧은 정확한 시퀀스를 통해 표현 가능하다.
• $ K_1(\text{LCA}_{\frak{A}}) \to K_0(\frak{A}, \bbR) $ 의 동형사상은 ETNC가 성립함과 동시에 그 재형식화가 $ K_1(\text{LCA}_{\frak{A}}) $ 에서 성립함과 동치임을 시사한다.
• ETNC의 확장된 경계 사상 $ \tilde{\rho}_{\frak{A}, \bbR}^1 $ 이 $ K_1(\text{LCA}_{\frak{A}}) $ 안의 사상으로 대응함을 보여, 새로운 계산 프레임워크를 제안한다.