[논문 리뷰] A theory of base motives

Jack Morava|ArXiv.org|2009. 08. 21.

Advanced Topics in Algebra참고 문헌 23인용 수 4

한 줄 요약

이 논문은 아대수적 위상수학에서 기본 동기의 이론을 제안하며, ℤ 위의 델리뉴의 혼합 타원 동기( mixed Tate motives)를 스펙트럼의 구조체 𝕊 위의 동기로 일반화함으로써, A-이론과 TC(𝕊)를 산술환의 유사체로 사용한다. 아담스 유형의 스펙트럼 수열을 수립하고, 링 스펙트럼의 유도 범주에서 리 대수를 특정하며, 유리수화 과정을 통해 모티브 이론 및 재정규화 이론에서의 자유 리 대수와 동형임을 밝힌다.

ABSTRACT

A category of correspondences based on Waldhausen A-theory has interesting analogies, in the context of differential topology, to categories of mixed Tate motives studied in arithmetic geometry. In particular, the Hopf object S \wedge_A S (regarding A(*) as a kind of local ring over the sphere spectrum) has some similarities to a motivic group for this category; its associated rational Lie algebra is free, on odd-degree generators...

연구 동기 및 목표

• ℤ 위의 혼합 타원 동기 이론을 스펙트럼의 구조체 𝕊 위의 기하적 설정으로 확장함으로써, 아대수적 K-이론의 대체로 월드하우젠 A-이론을 사용한다.
• 델리뉴의 MTM 범주와 유사한 𝕊 위의 동기 범주를 구성하며, 산술 동기에서 A-이론적 유사체로의 사이클 맵을 제공한다.
• 이 기본 동기의 모티브 갈루아 군을 링 스펙트럼의 유도 자기동형사상 군과 동일시하며, 특히 TC(𝕊)와 𝕊 ∧_A 𝕊 를 통해 기술한다.
• 결과적으로 도출된 리 대수들이 다중 리만 제타값과 재정규화 이론의 리 대수들과 어떻게 관련되는지, 특히 유리수화를 통해 밝힌다.
• 재트랙션 구조를 가진 공간을 위한 이중형 K-이론 프레임워크를 수립하여, 고전적 대응관계를 안정 호모토피 이론으로 일반화한다.

제안 방법

• 유도 텐서곱 −⊗^L_A k: D(A) → k-Mod 를 RHom^*_A(k,k) 위의 모듈러스 값으로 올리는 함자를 정의하며, 이는 계량화된 리 대수의 보편 포장 대수이다.
• 지역환 A → k 위에서 Tor 및 Ext 군을 연결하는 아담스(또는 보크슈타인) 유형의 스펙트럼 수열을 사용하며, 특히 유한성 조건 하에서 적용한다.
• 교환 법칙이 성립하는 환의 맵 A → k 를 링 스펙트럼의 유사체로 대체하여, A(*) → 𝕊 또는 TC(𝕊) → 𝕊 와 같이 '새로운 신뢰할 수 있는 국소환'으로 간주한다.
• 유한적으로 지배되는 재트랙션 구조를 가진 공간의 월드하우젠 K-이론을 이용해 X × Y → X 위의 공간에 대한 A-Corr 범주를 구성한다.
• A-Corr 에서 그 삼각형 외곽으로의 모나이드 안정화 함자를 정의하며, 테이트 모티브를 역전하거나 디스스펜션을 도입하는 것과 유사하다.
• 상대 코어어셈블리 맵과 표준 어셈블리를 사용하여, 대수적 대응관계 SmCorr(V,W) 에서 A-이론 스펙트럼 A(X × Y → X) 의 π₀ 로 가는 사이클 클래스 호모모르피즘을 정의한다.

실험 결과

연구 질문

• RQ1 A-이론을 사용하여 ℤ 위의 혼합 타원 동기 범주를 스펙트럼의 구조체 𝕊 위의 동기 범주로 일반화할 수 있는가?
• RQ2 이 일반화된 설정에서 모티브 갈루아 군의 구조는 어떠한가? 그리고 이는 모티브 이론 및 재정규화 이론의 리 대수와 어떻게 관련되는가?
• RQ3 링 스펙트럼 위의 유도 범주에서 아담스 유형의 스펙트럼 수열은 미분 위상수학의 제타값과 조정자와 어떻게 관련되는가?
• RQ4 산술 동기에서 A-이론적 동기로 가는 사이클 맵을 구성할 수 있으며, 이는 두 이론의 모티브 군을 식별하는가?
• RQ5 TC(𝕊) 와 링 스펙트럼 𝕊 ∧_A 𝕊 는 기본 동기의 유도 자기동형사상 군을 실현하는 데 어떤 역할을 하는가?

주요 결과

• 유도 텐서곱 −⊗^L_A k 는 RHom^*_A(k,k) 위의 모듈러스 값으로 올라가며, 이는 계량화된 리 대수의 보편 포장 대수이다.
• 유한성 조건 하에서, 호모로지 군 Tor^A_*(k,k) 와 코호모로지 군 Ext^*_A(k,k) 는 서로 쌍대 호프 대수이며, 후자는 리 대수의 보편 포장 대수이다.
• 합리적인 조건 하에서 아담스 유형의 스펙트럼 수열은 분해되며, 이는 유도 함수를 코homological 불변량과 연결한다.
• 링 스펙트럼의 맥락에서, A(*) → 𝕊 와 TC(𝕊) → 𝕊 의 사상은 호프 대상들을 유도하며, 그 유리수화는 델리뉴–콘느–마르콜리 동기에서의 것과 유사한 자유 리 대수이다.
• SmCorr(V,W) 에서 π₀ 의 A(X × Y → X) 로 가는 사이클 클래스 사상은 잘 정의되어 있으며, 합성과 호환되며, 대수적 대응관계에서 A-이론적 대응관계로 가는 함자를 시사한다.
• 혼합 타원 동기의 모티브 군은 𝕊 ∧_A 𝕊 의 유도 자기동형사상 군과 동형일 것이라 추측되며, 이는 재정규화 이론에서 관찰되는 군과 유리수화 시 일치한다.