[논문 리뷰] Reduced power operations in motivic cohomology

Vladimir Voevodsky|ArXiv.org|2001. 07. 15.

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

한 줄 요약

이 논문은 특성 ≠ l인 체 k에 대해 ℤ/l 계수를 가진 모티빅 코homology에서 감소된 거듭제곱 연산을 구성하며, 카르탕 공식과 아덴 관계의 모티빅 해석을 증명한다. 홀수 l에 대해서는 연산 대수는 상위 토폴로지 스틴로드 대수와 점의 모티빅 코homology의 왜곡된 텐서곱과 동형임을 보이며, l=2일 경우 아덴 관계는 모티빅 코homology 링에서 온 비자명한 계수를 포함한다.

ABSTRACT

In this paper we construct an analog of Steenrod operations in motivic cohomology and prove their basic properties including the Cartan formula, the Adem relations and the realtions to characteristic classes.

연구 동기 및 목표

• 특성 ≠ l인 체 k에 대해 ℤ/l 계수를 가진 모티빅 코homology에서 감소된 거듭제곱 연산을 정의하고 연구한다.
• 이 연산들에 대한 모티빅 해석의 카르탕 공식과 아덴 관계를 확립한다.
• 감소된 거듭제곱 연산, 보크슈타인 호모모르피즘, 그리고 Spec(k)의 모티빅 코homology 클래스에 대한 곱셈으로 생성된 대수의 구조를 묘사한다.
• 특히 l=2일 경우 아덴 관계에서 H^{*,*}에서 온 비자명한 계수들이 나타나는 바탕으로 모티빅 스틴로드 대수와 그 쌍대의 구조를 명확히 한다.
• 특히 √−1가 k에 존재함을 전제로 한 [9]의 주요 결과들(예: Q_i 연산)에 대한 오류를 수정하고 재유도한다.

제안 방법

• 대칭군의 분류 공간을 가진 공간들의 코homology를 통해 총 거듭제곱 연산을 구성하며, [7]의 접근을 영감으로 삼는다.
• 계산의 중심 도구로 모티빅 톰 동형과 벡터 번들의 올리버 클래스를 사용한다.
• 모티빅 쌍대 스틴로드 대수의 대승법 및 대승법적 구조를 이용해 연산을 분석한다.
• Bμ_l와 BS_l의 모티빅 코homology를 사용해 연산 간의 관계를 유도한다.
• 표준적 사영 P(O ⊕ L) → Th(L)를 통해 t_L를 σ 및 e(L)와 연결함으로써, 연산 ϕ에 대해 ϕ(t_L)의 계산을 가능하게 한다.
• 분할 원리와 단항식 기저 분석을 활용해 특성 클래스 c_ρ(E,R)(V)를 계산하고, P(R)(t_{L_1} ∧ ⋯ ∧ t_{L_m})에 대한 공식을 검증한다.

실험 결과

연구 질문

• RQ1 ℤ/l 계수를 가진 모티빅 코homology에서 감소된 거듭제곱 연산 P^i의 모티빅 해석은 무엇인가?
• RQ2 카르탕 공식과 아덴 관계는 모티빅 설정에서 어떻게 일반화되는가?
• RQ3 감소된 거듭제곱 연산, 보크슈타인, 그리고 점의 모티빅 코homology 클래스에 대한 곱셈으로 생성된 대수의 구조는 무엇인가?
• RQ4 왜 l=2일 경우 아덴 관계는 홀수 l의 경우와 달리 H^{*,*}에서 온 비자명한 계수를 포함하는가?
• RQ5 k가 −1의 제곱근을 포함하지 않을 경우, [9]에서 제시된 Q_i 연산의 귀납적 정의는 어떻게 수정할 수 있으며, 올바른 구성은 무엇인가?

주요 결과

• 홀수 l에 대해서는 이중 안정한 코homological 연산 대수는 상위 토폴로지 스틴로드 대수와 H^{*,*}(Spec(k), ℤ/l)의 왜곡된 텐서곱과 동형이며, H^{*,*}에 대한 연산의 작용이 이 왜곡을 정의한다.
• l=2일 경우 아덴 관계는 H^{*,*}에서 온 비자명한 계수를 포함하며, 이는 모티빅 스틴로드 대수의 더 복잡한 구조를 반영한다.
• 연산 q_n은 선다발 L에 대해 q_n(t_L) = e(L)^{l^n - 1} t_L를 만족하며, H^{2,1}(X, ℤ/l)에 속하고 ℤ로 올라가지 못하는 w ∈ H^{2,1}(X, ℤ/l)에 대해 q_n(w) = w^{l^n}이다.
• 연산 ρ(E,R)는 E ≠ 0이면 임의의 벡터 번들 V에 대해 c_ρ(E,R)(V)에 대해 영이 되며, 이 경우 특성 클래스 c_ρ(E,R)(V)는 영이다.
• t_{L_1} ∧ ⋯ ∧ t_{L_m}에 대한 총 거듭제곱 연산 P(R)의 공식은 {1,…,m}에서 ℕ로 가는 함수 f에 대한 합으로 주어지며, f가 값 i를 정확히 r_i번 취하는 조건을 만족하고, 계수로 e(L_j)^{l^{f(j)} - 1}를 포함한다.
• 논문은 [9]의 오류를 수정하여, √−1가 k에 포함되어 있지 않은 한 Q_i의 귀납적 정의는 유효하지 않음을 보이고, 이러한 연산에 대한 새로운 올바른 구성법을 제시한다.