[논문 리뷰] A New Definition of the Steenrod Operations in Algebraic Geometry

Alex Boisvert|ArXiv.org|2008. 05. 09.

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

한 줄 요약

이 논문은 임의의 소수 p와 p를 법으로 하는 체의 특성과 다른 체에서 대수기하학의 차우 이론에 대해 mod p 스틴로드 연산의 새로운 직접적 정의를 μp의 작용과 로스트의 구성 방식을 사용하여 제시한다. 주요 기여는 동치 차우 군이나 모티브 코homology에 의존하지 않고, 몫 스킴과 토르서를 통해 직접적으로 연산을 정의하는 공식을 제공하는 것으로, 이는 브로스난의 이전 정의와 일치하며 카르탕 공식과 투영 공식과 같은 기본 성질을 확립한다.

ABSTRACT

The Steenrod operations (mod p) in Chow theory are defined for any prime p for a quasi-projective scheme, without appealing to the results of any domain but Milnor's K-theory. The new definition also gives a direct formula that depends only on the scheme itself. Additionally, basic properties of the operations are proved from the new definition. The idea is based on a construction of M. Rost.

연구 동기 및 목표

• 모티브 코hom로지나 동치 차우 군에 의존하지 않는, 임의의 소수 p에 대해 차우 이론에서 스틴로드 연산의 직접적이고 초등적인 정의를 제공하기 위해.
• 이전의 구성에서 애초에 문제시되었던 매끄러운 다양체에의 임bedding과 p제곱근의 단위를 포함하는 체 확장에 의존하는 것을 제거하기 위해.
• 스킴의 구조와 μp군 작용에만 의존하여 연산을 정의함으로써 자연성과 함의성(함수적 성질)을 확보하기 위해.
• 새로운 정의가 카르탕 공식, 투영 공식, 그리고 곱과의 호환성과 같은 핵심 성질을 만족함을 증명하기 위해.
• 브로스난의 구성과 동치이면서 계산 가능한 공식을 확립하기 위해.

제안 방법

• 스킴 X에 대한 좌표환의 Z/pZ-중복분할을 통해 μp 작용을 정의함으로써 고정점 스킴 X^G와 몫 스킴 X/G를 구성할 수 있도록 한다.
• Rost의 연산 ρ_i^W를 기본 요소로 사용하며, 이는 경계 사상과 W∖W^G에 관련된 토르서를 통해 정의되며, 몫 위의 표준 선다발을 계수로 사용한다.
• 임의의 스킴 X에 대해 R^p(X) 구성 방식을 사용하여 Brosnan의 P^n_G를 모방하는 맵 P_X: CH(X) → CH((R^p(X)∖X)/G)를 구성한다.
• 스킴 X에 대한 스틴로드 연산 S_k^X를 Rost 연산 ρ_{(p-1)(n+k)}와 맵 P_X의 복합으로 정의하며, 부호 보정을 포함한다.
• R^p(X)^G = X 임을 이용하여 연산이 CH_*(X)/p에 값이 들어가도록 하여 정의가 X에 대해 내재적임을 보장한다.
• 변형 기법과 동치 차우 이론에서의 전이 사상들을 사용하여 함의성과 곱과의 호환성을 증명한다.

실험 결과

연구 질문

• RQ1 차우 이론에서의 스틴로드 연산은 모티브 코hom로지나 동치 차우 군에 의존하지 않고 정의될 수 있는가?
• RQ2 스킴의 구조와 μp 작용에만 의존하는 스틴로드 연산에 대한 직접적 공식이 존재하는가?
• RQ3 새로운 연산들이 카르탕 공식과 투영 공식을 만족하는가?
• RQ4 새로운 연산들이 브로스난의 구성과 동치인가, 그리고 만약 그렇다면 어떤 조건에서 그런가?
• RQ5 특히 매끄러운 다양체의 경우에 연산을 명시적으로 계산할 수 있는가?

주요 결과

• 새로운 스틴로드 연산의 정의는 매끄러운 다양체에의 임베딩에 의존하지 않으며, 기저 체에 p제곱근이 존재하지 않아도 된다.
• 연산은 Rost 연산과 스킴 X와 그 μp 작용에만 의존하는 맵 P_X의 복합으로 정의된다.
• 카르탕 공식이 성립한다: 모든 γ, δ ∈ Ch(X)에 대해 S_X(γ·δ) = S_X(γ)·S_X(δ)이다.
• 투영 공식이 성립한다: 임의의 매끄러운 스킴 사이의 사상 f:Y→X에 대해 f^*∘S_X = S_Y∘f^*이다.
• 매끄러운 스킴 X와 δ∈Ch^k(X)에 대해 S_X^r(δ)는 r=0이면 δ, r=k이면 δ^p, 그 외에는 0이다.
• 정리 6.5의 명시적 계산을 통해 새로운 연산이 브로스난의 구성과 일치함을 확인하여 일관성을 입증한다.