[논문 리뷰] Stable and Unstable operations in Algebraic Cobordism

Alexander Vishik|arXiv (Cornell University)|2012. 09. 25.

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

한 줄 요약

이 논문은 대수적 코바르던스의 가역 불안정 연산과 무한 프로젝티브 공간의 곱에 대한 호모모르피즘의 가족 사이에 1대1 대응을 수립하여, 이러한 연산의 체계적인 구성 가능성을 보장한다. 불안정한 덧셈 연산은 정수 값을 프로젝티브 공간의 곱에서 취하는 Landweber-Novikov 연산의 유리수 계수 선형 조합과 정확히 일치하며, 안정한 연산은 이러한 연산의 ℤ-계수 선형 조합과 정확히 일치한다. 또한 모든 소수에 대해 정수 계수 아담스 연산과 대칭 연산을 구성한다.

ABSTRACT

We describe additive (unstable) operations from a theory A^* obtained from Algebraic Cobordism of M.Levine-F.Morel by change of coefficients to any oriented cohomology theory B^*. We prove that there is 1-to-1 correspondence between the set of operations, and the set of transformations: A^n((P^{\infty})^{ imes r}) ---> B^m((P^{\infty})^{ imes r}) satisfying certain simple properties. This provides an effective tool of constructing such operations. As an application, we prove that (unstable) additive operations in Algebraic Cobordism are in 1-to-1 correspondence with the L\otimes_Z Q-linear combinations of Landweber-Novikov operations which take integral values on the products of projective spaces. On our way we obtain that stable operations there are exactly L-linear combinations of Landweber-Novikov operations. We also show that multiplicative operations A^* ---> B^* are in 1-to-1 correspondence with the morphisms of the respective formal group laws. We construct Integral (!) Adams Operations in Algebraic Cobordism, and all theories obtained from it by change of coefficients, giving classical Adams operations in the case of K_0. Finally, we construct Symmetric Operations for all primes p (these operations in Algebraic Cobordism, previously known only for p=2, are more subtle than the Landweber-Novikov operations, and have applications to rationality questions), as well as the T.tom Dieck - style Steenrod operations in Algebraic Cobordism. As a bi-product of the proof of our main theorem we get the Riemann-Roch Theorem for additive (unstable) operations.

연구 동기 및 목표

• 특성 0인 체 위에서 대수적 코바르던스의 덧셈 불안정 연산을 체계적으로 구성하는 방법을 개발한다.
• 유도된 코호몰로지 이론 간의 불안정 및 안정 연산을 그들이 무한 프로젝티브 공간의 곱에서 나타내는 행동을 통해 분류한다.
• 기존의 구성 방식을 확장하여, 모든 소수에 대해 대수적 코바르던스에서 정수 계수 아담스 연산과 대칭 연산을 구성한다.
• 곱셈적 경우를 일반화하여 덧셈 연산에 대한 리만-로흐 정리를 증명한다.
• 유리수 유형 이론(예: 대수적 코바르던스와 같은)이 낮은 차원의 다양체에서의 값에 의해 완전히 결정됨을 보장한다.

제안 방법

• 저자들은 코호몰로지 값이 낮은 차원 제약 조건으로부터 재구성 가능한 능력을 갖춘 '유리수 유형 이론'의 개념을 도입한다.
• 블로우업과 푸시포워드 작용 하에서의 연산 행동을 분석하기 위해 매끄러운 다양체의 범주에 짧은 이중복합체를 정의한다.
• 히로나카의 특이점 해소와 약한 인수분해 정리들을 활용하여, 연산 연구를 프로젝티브 공간의 곱에서의 작용으로 환원한다.
• 연산 $ A^n \to B^m $ 와 $ (\mathbb{P}^\infty)^{\times r} $ 상의 호모모르피즘의 일관성 있는 가족 사이에 1대1 대응를 수립하며, 특정 일관성 및 안정성 조건을 만족한다.
• 이 프레임워크를 활용하여, 프로젝티브 공간의 곱에서 정수 값을 취하는 Landweber-Novikov 연산의 유리수 계수 선형 조합으로서 불안정 연산을 분류한다.
• 동일한 프레임워크를 사용하여 모든 소수에 대해 대칭 연산과 T. tom Dieck 방식의 스틴로드 연산을 구성하며, 이는 이전의 mod 2 구성 방식을 확장한다.

실험 결과

연구 질문

• RQ1 대수적 코바르던스에서의 덧셈 불안정 연산의 완전한 분류는 무엇인가?
• RQ2 대수적 코바르던스 및 관련 이론에서 정수 계수 아담스 연산을 효과적으로 구성하는 방법은 무엇인가?
• RQ3 모든 소수에 대해 대칭 연산을 구성할 수 있는가, 특히 p=2 이외의 경우에도 가능한가?
• RQ4 유리수 유형 이론은 연산의 귀납적 구성 가능성을 어떻게 보장하는가?
• RQ5 덧셈 연산은 형식적 군 법칙과 어떻게 관련되어 있으며, 곱셈적 경우를 초월하여 리만-로흐 정리를 일반화할 수 있는가?

주요 결과

• 불안정한 덧셈 연산 $ A^n \to B^m $ 는 프로젝티브 공간의 곱에서 정수 값을 취하는 Landweber-Novikov 연산의 $ \mathbb{L} \otimes_\mathbb{Z} \mathbb{Q} $-계수 선형 조합과 1대1 대응된다.
• 안정한 연산은 정확히 Landweber-Novikov 연산의 $ \mathbb{L} $-계수 선형 조합이다.
• 정수 계수 아담스 연산은 대수적 코바르던스와 계수 변경을 통해 얻어진 모든 이론에서 구성되며, 기존의 K-이론 연산을 일반화한다.
• 모든 소수에 대해 대칭 연산과 T. tom Dieck 방식의 스틴로드 연산이 구성되었으며, 이는 이론에서 오랫동안 존재하던 격차를 해결한다.
• 덧셈 연산에 대한 리만-로흐 정리가 수립되었으며, 이는 이전에 [19]에서 알려진 곱셈적 경우를 일반화한다.
• 계수 변경을 통해 얻어진 이론 $ A^* $ 는 유리수 유형 이론임을 보였으며, 이는 낮은 차원의 자료를 통한 연산의 귀납적 구성 가능성을 보장한다.