[논문 리뷰] On multilinearity and skew-symmetry of certain symbols in motivic cohomology of fields

Sung Myung|ArXiv.org|2008. 01. 09.

Advanced Algebra and Geometry참고 문헌 14인용 수 3

한 줄 요약

이 논문은 체의 Goodwillie-Lichtenbaum 모티브 코hom로지 복합체에서 기호의 다중선형성과 반대칭성을 확립하며, 차수-무게가 동일한 경우 모티브 코호몰로지와 밀너 K-이론 사이에 명시적인 동형사상을 제공한다. 이 성질들은 $ H^{l-1}_{\mathcal{M}}(\operatorname{Spec} k, \mathbb{Z}(l)) $ 내의 기약 기호에 대해 성립함을 증명하며, 행렬식 공식 $ \det(AB) = \det A \cdot \det B $를 고차 모티브 기호로 일반화한다.

ABSTRACT

The purpose of the present article is to show the multilinearity for symbols in Goodwillie-Lichtenbaum complex in two cases. The first case shown is where the degree is equal to the weight. In this case, the motivic cohomology groups of a field are isomorphic to the Milnor's K-groups as shown by Nesterenko-Suslin, Totaro and Suslin-Voevodsky for various motivic complexes, but we give an explicit isomorphism for Goodwillie-Lichtenbaum complex in a form which visibly carries multilinearity of Milnor's symbols to our multilinearity of motivic symbols. Next, we establish multilinearity and skew-symmetry for irreducible Goodwillie-Lichtenbaum symbols in H^{l-1} (Spec k, Z(l)). These properties have been expected to hold from the author's construction of a bilinear form of dilogarithm in case k is a subfield of the field of complex numbers and l=2. Next, we establish multilinearity and skew-symmetry for Goodwillie-Lichtenbaum symbols in H^{l-1} (Spec k, Z(l)). These properties have been expected to hold from the author's construction of a bilinear form of dilogarithm in case k is a subfield of the field of complex numbers and l=2. The multilinearity of symbols may be viewed as a generalization of the well-known formula det(AB) = det(A) det(B) for tuples of commuting matrices.

연구 동기 및 목표

• 체에 대한 Goodwillie-Lichtenbaum 모티브 코호몰로지 복합체에서 기호의 다중선형성과 반대칭성을 확립하기 위해.
• 모티브 코호몰로지 $ H^n_{\mathcal{M}}(\operatorname{Spec} k, \mathbb{Z}(n)) $ 와 밀너 K-이론 $ K^M_n(k) $ 사이에 직접적이고 명시적인 동형사상을 제공하여 다중선형성을 명백히 유지하기 위해.
• 특히 $ l=2 $ 인 경우에 $ H^{l-1}_{\mathcal{M}}(\operatorname{Spec} k, \mathbb{Z}(l)) $ 내의 기약 기호에 이러한 성질을 일반화하여, 조건부 사상에서 기대되는 행동과 일치시키기 위해.
• Goodwillie-Lichtenbaum 복합체에 대한 네스테렌코-수스린 정리의 새로운 증명을 제공하여, 이 복합체가 모티브 코호몰로지 이론에서 기본적인 역할을 한다는 것을 강화하기 위해.

제안 방법

• 단순환 링 $ R\Delta^\bullet $ 에 대해 $ K_0(R\Delta^d, \mathbb{G}_m^{\wedge l}) $ 의 코호몰로지 군을 이용하여 Goodwillie-Lichtenbaum 모티브 복합체를 구성하며, 모든 자동형사상이 항등사상인 경우의 클래스를 몫으로 취한다.
• $ R\Delta^\bullet $ 의 단순환 구조를 이용하여, 체의 모티브 코호몰로지를 계산하는 하이퍼코호몰로지를 갖는 체인 복합체를 정의한다.
• $ GL_n(k[t]) $ 내의 명시적 행렬 구성법을 사용하여 기호를 표현하고, 특히 $ t=0 $ 과 $ t=1 $ 에서의 호모토피에 따른 행동을 추적한다.
• $ K_0 $-군에서의 항등식 $ (A(t)B(t)) = (A(0)B(0)) $ 를 적용하여, 모티브 코호몰로지에서의 표현 가능성 테스트를 수행하며, 다중선형성이 실패할 경우에 실패함을 보여준다.
• 블록 행렬에 관한 핵심 항등식을 사용하여 반대칭성을 도출하며, $ \theta_2(t) $ 를 $ \theta_1(t) $ 의 복제본으로 대체하여 상쇄 효과를 유도한다.
• 기약성 조건을 이용하여 자동형사상의 순열에 대해 비퇴화된 행동을 보장하고, $ K_0 $ 에서의 상쇄를 통한 반대칭성 증명을 가능하게 한다.

실험 결과

연구 질문

• RQ1 Goodwillie-Lichtenbaum 모티브 복합체는 $ H^n_{\mathcal{M}}(\operatorname{Spec} k, \mathbb{Z}(n)) $ 내의 기호에 대해 다중선형성을 보이며, 만약 그렇다면 밀너 K-이론과 어떻게 호환되는가?
• RQ2 기약 기호 $ H^{l-1}_{\mathcal{M}}(\operatorname{Spec} k, \mathbb{Z}(l)) $ 에 대해 다중선형성과 반대칭성을 확립할 수 있으며, 특히 $ l=2 $ 인 경우에 대해 조건부 사상과의 관계는 어떠한가?
• RQ3 Goodwillie-Lichtenbaum 복합체를 통해 $ H^n_{\mathcal{M}}(\operatorname{Spec} k, \mathbb{Z}(n)) $ 와 $ K^M_n(k) $ 사이에 다중선형성을 명백히 유지하는 직접적인 동형사상이 존재하는가?
• RQ4 기호 $ (\theta_1(t), \dots, \theta_l(t)) $ 가 모티브 코호몰로지에 잘 정의된 클래스를 나타내기 위한 조건은 무엇이며, 기약성은 이에 어떻게 영향을 미치는가?

주요 결과

• 논문은 $ H^n_{\mathcal{M}}(\operatorname{Spec} k, \mathbb{Z}(n)) $ 내의 기호에 대해 다중선형성을 증명하며, 기호 사상이 행렬 곱셈에 대해 덧셈적 행동을 유지함을 보여주며, $ \det(AB) = \det A \cdot \det B $ 를 일반화한다.
• Goodwillie-Lichtenbaum 복합체에 대한 네스테렌코-수스린 정리의 직접적 증명을 제공하며, 다중선형성을 명백히 유지하는 $ H^n_{\mathcal{M}}(\operatorname{Spec} k, \mathbb{Z}(n)) \cong K^M_n(k) $ 의 동형사상을 확립한다.
• 블록 행렬과 $ K_0 $ 에서의 상쇄를 이용한 행렬 항등식을 통해 $ H^{l-1}_{\mathcal{M}}(\operatorname{Spec} k, \mathbb{Z}(l)) $ 내의 기약 기호에 대해 반대칭성을 확립하며, 인덱스 교환에 대해 $ (\theta_1, \dots, \theta_l) = - (\theta_j, \dots, \theta_i, \dots) $ 를 증명한다.
• 특히 $ k \subset \mathbb{C} $, $ l=2 $ 인 경우 이중로그 함수의 이중형 이차형식 구성이 논문에서 증명된 반대칭성과 다중선형성 성질과 일관됨을 보여준다.
• 다중선형성의 실패는 반례를 통해 입증된다: $ A(0)B(0) \neq A(1)B(1) $ 인 호모토피 $ A(t)B(t) $ 는 $ K_0(k, \mathbb{G}_m^{\wedge 1}) $ 에서 성립하지 않으며, 이는 $ (A(t)B(t)) $ 가 $ H^0_{\mathcal{M}}(\operatorname{Spec} k, \mathbb{Z}(1)) $ 에서 클래스를 정의하지 못함을 보여준다.
• 반대칭성 증명에서 기약성 조건은 특성 0 조건으로 대체될 수 있으며, 이는 자동형사상의 순열에 대해 기호가 여전히 비퇴화된 상태를 유지함을 보장한다.