[논문 리뷰] On a rationality question in the Grothendieck ring of varieties

Ene Esnault, Eckart Viehweg|ArXiv.org|2009. 08. 16.

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

한 줄 요약

이 논문은 다양체의 그로텐디크 링에서의 합리성 질문을 조사하며, 유한군 작용에 의한 벡터 공간의 몫을 중심으로 다룬다. 유한 아벨 군 $ G $ 가 $ K $-벡터 공간 $ V $ 에 선형으로 작용할 때, $ K/k $ 가 군 $ \Gamma $ 를 가진 갈루아 확장이고 $ k $ 가 모든 $ |G| $-단위근을 포함하는 조건 하에, 클래스 $[V/G]$ 는 $ K_0(\mathrm{Var}_k) $ 에서 $ \mathbb{L}^{\dim_K V} $ 와 같음을 증명한다. 이는 루이젠자 결과를 일반화하며, 내림내림의 필요성을 부각시킨다.

ABSTRACT

This is a small note meant to be published in a Conference Proceedings. We discuss elementary rationality questions in the Grothendieck ring of varieties for the quotient of a finite dimensional vector space over a characteristic 0 field by a finite group. Part of it reproduces the content of a letter dated September 27, 2008 addressed to Johannes Nicaise

연구 동기 및 목표

• 그로텐디크 링 $ K_0(\mathrm{Var}_k) $ 에서 몫 다양체 $ V/G $ 의 클래스가 합리적일 조건, 즉 레프슈체츠 클래스 $ \mathbb{L} $ 의 거듭제곱과 같을 때를 이해하는 것.
• 기저 체의 비자명한 갈루아 확장으로 일반화된 아벨 군 작용에 대한 루이젠자 결과의 일반화.
• 기저 체에 충분한 단위근이 없을 경우 그로텐디크 링에서의 내림내림 실패를 조사하는 것.
• 군 작용이 체와 벡터 공간에 미치는 영향이 $ K_0(\mathrm{Var}_k) $ 에서 클래스를 결정하는 데 어떤 역할을 하는지 명확히 하는 것.

제안 방법

• 자투리 관계와 곱 구조를 통해 정의된 그로텐디크 링 $ K_0(\mathrm{Var}_k) $ 를 사용하여 몫 다양체의 클래스를 연구한다.
• 약한 인수분해 정리와 동형사상 $ K_0(\mathrm{Var}_k)/\langle \mathbb{L} \rangle \cong \mathbb{Z}[SB] $ 을 적용하여 관계를 분석한다.
• 내림내림 기법과 에테ール 코hom올로지로 $ G $-터소르와 자리스키 국소적으로 자명한 피브레이션을 연구한다.
• 평탄한 내림내림을 사용하여 특정 피브레이션들이 자리스키 국소적으로 자명함을 보이고, 이로 인해 $ K_0(\mathrm{Var}_k) $ 에서 클래스 분해가 가능해진다.
• 표현을 $ G $-모듈로서의 기약 인수의 수에 대한 귀납법을 적용한다.
• 군 $ G $ 가 $ \mathrm{Spec}\,K $ 에 작용하는 방식을 분석하고, $ T = Y/X $ 를 보존하는 순환 행렬을 통해 작용이 자명함을 증명한다.

실험 결과

연구 질문

• RQ1 기본체에 대해 $ k $ 가 모든 $ |G| $-단위근을 포함하고, $ K/k $ 가 군 $ \Gamma $ 를 가진 갈루아 확장이며, 유한 아벨 군 $ G $ 가 $ K $-벡터 공간 $ V $ 에 작용할 때, $ K_0(\mathrm{Var}_k) $ 에서 $[V/G] = \mathbb{L}^{\dim_K V} $ 이 성립하는 조건은 무엇인가?
• RQ2 기본체에서 단위근이 부족할 경우, $[V/G] $ 의 합리성이 기저 체의 더 작은 체로의 전이와 호환되는가?
• RQ3 기본체에 대한 갈루아 작용이 $ V/G $ 의 클래스를 결정하는 데 어떤 역할을 하는가?
• RQ4 기본체 $ k $ 가 모든 $ |G| $-단위근을 포함하지 않을 경우 내림내림의 실패가 어떻게 나타나는가?
• RQ5 기본체에서의 작용이 비자명할 경우, 클래스 $[V/G] $ 는 더 단순한 클래스들의 조합으로 표현될 수 있는가?

주요 결과

• 유한 아벨 군 $ G $ 가 몫 $ G \to \Gamma $ 를 가지며, $ K/k $ 가 군 $ \Gamma $ 를 가진 갈루아 확장이고 $ k $ 가 모든 $ |G| $-단위근을 포함하는 조건 하에, $ K_0(\mathrm{Var}_k) $ 에서 $[V/G] = \mathbb{L}^{\dim_K V} $ 이다.
• 기본체 $ k $ 가 모든 $ |G| $-단위근을 포함한다는 조건은 필수적이다; 이 조건이 없을 경우, 예제 1.2에서 보듯이 $ \mathbb{L}^2 \neq [V/G] $ 이다. $ K_0(\mathrm{Var}_{\mathbb{Q}}) $ 에서.
• 군 $ G $ 가 $ \mathrm{Spec}\,K $ 에 작용할 때, $ T = Y/X $ 를 보존하는 행렬을 통해 작용이 자명함을 증명할 수 있으며, 이는 클래스 분해에 핵심적이다.
• $[V] - [V/G]$ 는 $ (1 + [\mathbb{G}_m] \cdot [\mathrm{Spec}\,K]) \cdot ([W] - [W/G]) $ 로 분해되며, 이는 $ V $ 의 기약 인수의 수에 대한 귀납법을 가능하게 한다.
• $(D^\times \times_k W)/G \to (\mathrm{Spec}\,K \times_k W)/G $ 는 자리스키 국소적으로 자명한 $ \mathbb{G}_m $-피브레이션이다. 따라서 $ [(D^\times \times_k W)/G] = [\mathbb{G}_m] \cdot [\mathrm{Spec}\,K] \cdot [W/G] $ 이다.
• $[U^{(2)}/G] $ 는 $ K_0(\mathrm{Var}_k) $ 에서 $[U^{(2)}] $ 와 같다. 왜냐하면 $ \mathbb{P}(U)/G \cong \mathbb{P}^1_k $ 이고 $ G $ 가 $ \mathrm{Spec}\,K $ 에 자명하게 작용하기 때문이다.