[논문 리뷰] The universal Euler characteristic for varieties of characteristic zero

Franziska Bittner|ArXiv.org|2001. 11. 06.

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

한 줄 요약

이 논문은 특성 0인 체 위의 다양체의 그로텐디크 군에 대해 매끄럽고 사영적인 다양체와 블로우업 관계를 사용하여 단순한 표현을 제공한다. 이는 약한 인수분해 정리를 활용한 것이다. 이는 컴actsupport을 가지는 유일한 오일러 특성 값이 이 군에 속함을 증명하며, 상대적 및 등변 설정으로 이 프레임워크를 확장하여 모티브(cohomology)에서의 딜레마와 여섯 가지 연산을 정의할 수 있게 한다.

ABSTRACT

Using the weak factorization theorem we give a simple presentation for the value group of the universal Euler characteristic with compact support for varieties of characteristic zero and describe the value group of the universal Euler characteristic of pairs. This gives a new proof for the existence of natural Euler characteristics with values in the Grothendieck group of Chow motives. A generalization of the presentation to the relative setting allows us to define duality and the six operations.

연구 동기 및 목표

• 특성 0인 체 위의 다양체에 대한 컴팩트 서포트를 가지는 유일한 오일러 특성의 단순하고 명시적인 표현을 제공한다.
• 쌍에 대한 유일한 오일러 특성의 값 군이 다양체의 그로텐디크 군과 동형임을 보인다.
• 기초 스킴 위의 상대 다양체 및 유한군 작용을 가진 등변 다양체에 대한 프레임워크를 확장한다.
• 차우 모티프의 그로텐디크 군에 값을 가지는 유일한 오일러 특성이 존재함을 확립한다.
• 새로운 표현을 사용하여 모티브 설정에서 딜레마와 여섯 가지 연산(f*, f!, f*, f!, ⊗, Hom)을 정의한다.

제안 방법

• 약한 인수분해 정리를 사용하여 비라시오널 사상들을 매끄러운 중심에 沿한 블로우업과 블로우다운의 순서로 분해한다.
• K₀(Varₖ)를 매끄럽고 사영적인 다양체의 동형류에 대한 자유 아벨 군으로서, 블로우업 관계와 공집합 관계에 모odulo한 것으로 표현한다.
• 컴팩트 서포트를 가지는 유일한 오일러 특성을 K₀(Varₖ) 군을 통해 정의하며, 닫힌 부분다양체에 대해 [X] = [X−Y] + [Y] 관계를 사용한다.
• X를 매끄럽고 사영 완비 X̄에 매장함으로써 쌍 (X,Y)에 대한 유일한 오일러 특성을 정의한다. 이 경우 [X]는 K₀(Varₖ)에서 ⟨X̄, X̄−X⟩로 대응된다.
• 기초 스킴 S 위의 상대 다양체로 표현을 일반화한다. K₀ᴳ(Var_S)는 양호한 G-작용을 가진 S-다양체의 군의 몫으로 정의한다.
• 등변 설정으로의 확장을 위해, 비자명한 G-작용을 가진 사영 공간의 계열이 생성하는 부분군 Iᴳ를 도입하고, 이를 이상으로 나누어 등변 그로텐디크 군을 정의한다.

실험 결과

연구 질문

• RQ1 특성 0인 체 위의 다양체에 대한 컴팩트 서포트를 가지는 유일한 오일러 특성은 매끄럽고 사영적인 다양체와 블로우업 관계만을 사용하여 표현될 수 있는가?
• RQ2 쌍에 대한 유일한 오일러 특성의 값 군은 컴팩트 서포트를 가지는 유일한 오일러 특성의 값 군과 동형인가?
• RQ3 새로운 그로텐디크 군 표현을 사용하여 모티브 코hom로지에서 여섯 가지 연산과 딜레마를 체계적으로 정의할 수 있는가?
• RQ4 그룹 작용을 가진 기초 스킴 S 위의 상대 다양체로 이 이론을 어떻게 확장할 수 있는가?
• RQ5 약한 인수분해 정리는 K₀(Varₖ)의 구조를 단순화하고 모티브 구성 가능하게 하는 데 어떤 역할을 하는가?

주요 결과

• 그로텐디크 군 K₀(Varₖ)는 매끄럽고 사영적인 다양체의 동형류에 대한 자유 아벨 군으로서, [∅] = 0 및 [X] − [Y] = [Bl_Y X] − [E] 관계(여기서 E는 Y에 대한 블로우업의 예외적 인자)에 모odulo한 것으로 동형이다.
• 컴팩트 서포트를 가지는 유일한 오일러 특성은 K₀(Varₖ)에 값을 가지며, 이 군은 이러한 모든 불변량의 유일한 목표군으로 기능한다.
• 쌍에 대한 유일한 오일러 특성의 값 군은 K₀(Varₖ)와 동형이므로, 모든 쌍 (X,Y)는 이 군 내에 잘 정의된 계열 ⟨X,Y⟩를 유도한다.
• 차우 모티프의 그로텐디크 군에 값을 가지는 유일한 오일러 특성이 존재하며, 이는 매끄럽고 사영적인 다양체에 대해 그 차우 모티프를 할당한다.
• 이론은 기초 스킴 S 위의 상대 다양체로 확장되며, K₀ᴳ(Var_S)는 양호한 G-작용을 가진 S-다양체의 군을 이상 Iᴳ으로 나눈 몫으로 정의된다.
• 이 프레임워크는 모티브 설정에서 딜레마와 여섯 가지 연산(f*, f!, f*, f!, ⊗, Hom)의 구축을 지원하며, 고전적 그로텐디크 딜레마를 일반화한다.