[논문 리뷰] A general construction of partial Grothendieck transformations

Joerg Schuermann|ArXiv.org|2002. 09. 23.

Algebraic Geometry and Number Theory참고 문헌 30인용 수 10

한 줄 요약

이 논문은 이변형 이론에서 부분 그로텐디크 변환에 대한 일반적 프레임워크를 제안하며, 공변 이론 간의 자연스러운 변환이 외부 곱과 가환할 경우, 대상 공간이 매끄럽거나 호모로지 다양체일 때 유일하게 부분 그로텐디크 변환으로 확장됨을 보여준다. 주요 기여는 특성류, 코homology 연산자 및 동차 이론을 포괄하는 알려진 리만-로흐 정리들을 일반화하는 통합 정리이다.

ABSTRACT

Fulton and MacPherson introduced the notion of bivariant theories and Grothendieck transformations related to Riemann-Roch-theorems. But there are many situations, where such a bivariant theory or a corresponding Grothendieck transformation is only partially known: characteristic classes of singular spaces (e.g. Stiefel-Whitney or Chern classes), cohomology operations (e.g. singular Adams Riemann-Roch and Steenrod operations for Chow groups) or equivariant theories (e.g. Lefschetz Riemann-Roch). We introduce in this paper a simpler notion of partial (weak) bivariant theories and partial Grothendieck transformations, which applies to all these examples. Our main theorem shows, that a natural transformation of covariant theories, which commutes with exterior products, automatically extends (uniquely) to such a partial Grothendieck transformation of suitable partial (weak) bivariant theories ! In the above geometric situations one has for example to consider only morphisms, whose target is a smooth manifold, or more generally, a suitable homology manifold.

연구 동기 및 목표

• 기하학적 맥락에서 특이 공간, 특성류, 동차 이론 등에서 많은 이변형 이론과 그로텐디크 변환이 부분적으로 정의되는 데 기인한 제한점을 다루기 위해.
• 이 incomplete한 설정에 적용 가능한 부분(약한) 이변형 이론과 부분 그로텐디크 변환의 개념을 체계화하기 위해.
• 주요 정리 수립: 외부 곱과 가환하는 공변 이론 간의 자연스러운 변환이, 대상이 매끄럽거나 호모로지 다양체일 경우 유일하게 부분 그로텐디크 변환으로 확장됨을 보장하기 위해.
• 창세류, 스티펠-블라인 클래스, 애덤스 연산자 등 다양한 기하학적 및 코homological 설정에서 알려진 리만-로흐 정리를 통합하고 일반화하기 위해.
• 동차 K-이론, 초군집합, 보렐-무어 호모로지 등에서 부분 이변형 이론을 구성하기 위한 기초 프레임워크를 제공하며, 리만-로흐 공식에의 응용을 포함한다.

제안 방법

• 이론의 정의를 제한하여, 대상이 매끄럽거나 호모로지 다양체일 경우에만 이변형 사상의 도메인을 제한하는 부분(약한) 이변형 이론의 개념을 도입한다.
• 이러한 부분 이변형 이론 간의 자연스러운 변환으로서 부분 그로텐디크 변환을 정의한다.
• 주요 정리 수립: 공변 이론 간의 자연스러운 변환이 외부 곱과 가환할 경우, 대상이 매끄럽거나 호모로지 다양체일 때 유일하게 부분 그로텐디크 변환으로 확장됨을 보장한다.
• 플라타르와 맥퍼슨의 이변형 형식체계를 사용하여, 곱, 내림, 당김 연산을 포함하고, 조건(A1–A123)을 만족하도록 한다.
• 기본 조건을 특정 예시에 적용: 창세류, 스티펠-블라인 클래스, 애덤스 연산자, 레프셰츠 리만-로흐 정리. 기저 변경 사상 g가 매끄럽다는 조건을 사용한다.
• 정확한 조건(10)과 (11)을 만족하는 매끄러운 사상 f:X→Y에 대해, e_f = 1_X인 표준 클래스가 확장 정리의 조건을 충족함을 보이며, 버디에르 리만-로흐 공식에 기반한다.

실험 결과

연구 질문

• RQ1 대상 공간이 매끄럽거나 호모로지 다양체로 제한된 경우, 외부 곱과 가환하는 공변 이론 간의 자연스러운 변환이 부분 그로텐디크 변환으로 유일하게 확장될 수 있는가?
• RQ2 완전한 이변형 이론이 확보되지 않은 상황, 예를 들어 특이 공간의 특성류의 경우, 이변형 형식체계가 어떻게 수정되어야 하는가?
• RQ3 주어진 클래스(예: 오일러 클래스 또는 상수층)가 필요한 가환성 공리(axioms)를 만족하는 부분 이변형 클래스로 올라가는 데 필요한 조건은 무엇인가?
• RQ4 동차 K-이론, 초군집합, 보렐-무어 호모로지 등의 기하학적 맥락에서 주요 확장 정리가 적용되는지, 그리고 알려진 리만-로흐 정리를 어떻게 회복하는가?
• RQ5 매끄러운 사상에 대한 버디에르 리만-로흐 공식이 부분 이변형 설정에서 자연스러운 변환의 확장을 위해 요구되는 조건과 어떻게 관련되는가?

주요 결과

• 외부 곱과 가환하는 공변 이론 간의 자연스러운 변환 γ_* 는 대상이 매끄럽거나 호모로지 다양체일 경우, 부분 그로텐디크 변환으로 유일하게 확장된다.
• 매끄러운 사상 f:X→Y에 대해 e_f = 1_X 는 확장 정리의 조건(10)과 (11)을 만족하며, 부분 이변형 클래스로 올라간다.
• 확장은 이변형 곱과 당김과 호환되며, 결과로 얻어진 변환은 이변형 프로젝션 공식을 만족한다.
• 표준 클래스 e_f 는 γ_* 에서 c^*(T_f) ⌢ [f] 로 매핑되며, 여기서 c^* 는 특성류(창세류 또는 스티펠-블라인)이고 [f] 는 상대 방향성 클래스이다.
• 버디에르 리만-로흐 공식은 매끄러운 사상에 대해 성립하며, 이는 조건(10)을 확인하고, 알려진 기하학적 맥락에서 확장의 일관성을 입증한다.
• 이 프레임워크는 이변형 창세류, 애덤스 연산자, 레프셰츠 리만-로흐 정리 등 알려진 리만-로흐 정리를 하나의 추상적 구성에 통합하고 일반화한다.