[논문 리뷰] The computation of the classes of some tori in the Grothendieck ring of varieties

Karl Rökaeus|arXiv (Cornell University)|2007. 08. 31.

Commutative Algebra and Its Applications인용 수 7

한 줄 요약

이 논문은 분리 가능 $ k $-대수 $ L $의 가역 원소들로 이루어진 곱셈군 $ L^* $의 클래스에 대한 공식을 Grothendieck 다양체 환 $ \operatorname{K_0}(\mathsf{Var}_k) $ 에서 유도한다. $ \lambda $-환의 구조와 절대 갈루아 군의 버누즈 환에서 $ \operatorname{K_0}(\mathsf{Var}_k) $ 로의 준동형사상 을 이용하여, $[L^*] = \sum_{i=0}^n (-1)^i \lambda^i([\operatorname{Spec} L]) \mathbb{L}^{n-i}$ 를 증명한다. 여기서 $ \mathbb{L} $ 는 아핀 직선의 클래스이다.

ABSTRACT

We establish a formula for the classes of certain tori in the Grothendieck ring of varieties, in terms of its lambda-structure. More explicitly, we will see that if L* is the torus of invertible elements in the n-dimensional separable k-algebra L, then the class of L* can be expressed as an alternating sum of the images of the spectrum of L under the lambda-operations, multiplied by powers of the Lefschetz class. This formula is suggested from the cohomology of the torus, illustrating a heuristic method that can be used in other situations. To prove the formula will require some rather explicit calculations in the Grothendieck ring. To be able to make these we introduce a homomorphism from the Burnside ring of the absolute Galois group of k, to the Grothendieck ring of varieties over k. In the process we obtain some information about the structure of the subring generated by zero-dimensional varieties.

연구 동기 및 목표

• 분리 가능 $ k $-대수 $ L $ 의 곱셈군 $ L^* $ 의 클래스에 대한 정확한 공식을 Grothendieck 환 $ \operatorname{K_0}(\mathsf{Var}_k) $ 에서 유도하는 것.
• 토르스의 코homological 구조와 그 $ \operatorname{K_0}(\mathsf{Var}_k) $ 에서의 클래스 사이의 연결 고리로서 $ \lambda $-환 연산을 통해 연결하는 것.
• 절대 갈루아 군의 버누즈 환에서 $ \operatorname{K_0}(\mathsf{Var}_k) $ 로의 $ \lambda $-준동형사상을 도입하고 활용하여 명시적 계산을 가능하게 하는 것.
• 영차원 다양체에 의해 생성되는 $ \operatorname{K_0}(\mathsf{Var}_k) $ 의 부분환, 즉 아르틴 클래스 환 $ \operatorname{ArtCl}_k $ 을 특성화하는 것.

제안 방법

• 절대 갈루아 군 $ \mathcal{G} $ 의 버누즈 환 $ \mathcal{B}(\mathcal{G}) $ 에서 $ \operatorname{K_0}(\mathsf{Var}_k) $ 로의 $ \lambda $-준동형사상 $ \operatorname{Art}_k: \mathcal{B}(\mathcal{G}) \to \operatorname{K_0}(\mathsf{Var}_k) $ 를 정의하여 갈루아 표현과 다양체 환의 클래스를 연결하는 것.
• $ \operatorname{K_0}(\mathsf{Var}_k) $ 에 존재하는 $ \lambda $-환의 구조를 이용하여 토르스의 코homological 공식을 클래스 수준으로 올리는 것.
• $ L^* $ 를 아핀 공간 $ \widetilde{L} $ 에 매장하고, 여집합 $ \widetilde{L} \setminus L^* $ 에 대해 귀납법을 적용하여 재귀 관계를 도출하는 것.
• $ \mathbb{F}_q $ 와 같은 유한체 위에서 점 수를 세는 방법을 사용하여 $ L^* $ 의 유리점 수와 제안된 공식을 비교하고, 생성함수를 통해 등식을 검증하는 것.
• 이전 연구에서 얻어진 버누즈 환에서의 $ \lambda $-작용에 대한 보편 공식을 활용하여 $ \lambda^i([\operatorname{Spec} L]) $ 의 계산을 단순화하는 것.
• 콤���트 지지가 있는 오일러 특성은 $ \operatorname{K_0}(\mathsf{Var}_k) $ 를 통과하므로, 코homological 유사성에 기반한 해석적 힌트를 제공하는 것.

실험 결과

연구 질문

• RQ1 분리 가능 $ k $-대수 $ L $ 의 곱셈군 $ L^* $ 이 Grothendieck 다양체 환에서 정확히 어떤 클래스를 가질까?
• RQ2 토르스의 코homological 구조, 특히 그 $ \lambda $-작용은 어떻게 Grothendieck 환으로 올릴 수 있을까?
• RQ3 영차원 스킴에 의해 생성되는 $ \operatorname{K_0}(\mathsf{Var}_k) $ 의 부분환의 구조는 어떠한가? 그리고 갈루아 표현과의 관계는 무엇인가?
• RQ4 $[L^*] = \sum_{i=0}^n (-1)^i \lambda^i([\operatorname{Spec} L]) \mathbb{L}^{n-i}$ 공식은 $ \lambda $-작용에 대한 보편 공식에 의존하지 않고 어떻게 증명할 수 있을까?
• RQ5 $ \mathbb{F}_q $ 위에서의 점 수 계산은 $ \operatorname{K_0}(\mathsf{Var}_k) $ 에서 제안된 공식을 어떻게 검증하는가?

주요 결과

• 토르스 $ L^* $ 의 $ \operatorname{K_0}(\mathsf{Var}_k) $ 에서의 클래스는 $[L^*] = \sum_{i=0}^n (-1)^i \lambda^i([\operatorname{Spec} L]) \mathbb{L}^{n-i}$ 로 주어지며, 여기서 $ \mathbb{L} $ 는 아핀 직선의 클래스이다.
• $ \lambda $-준동형사상 $ \operatorname{Art}_k $ 의 상은 $ \operatorname{K_0}(\mathsf{Var}_k) $ 의 영차원 다양체에 의해 생성되는 부분환 $ \operatorname{ArtCl}_k $ 에 속한다.
• 만약 $ k $ 가 완전체이면서 절대 갈루아 군이 순환군이라면, $ \operatorname{ArtCl}_k $ 는 $ k $ 의 유한 분리 가능 확대체들의 클래스로 생성되는 자유 아벨 군이다.
• 공식은 점 수 계산을 통해 검증된다: $ L = \prod_{j=1}^m \mathbb{F}_{q^{n_j}} $ 일 때, $ L^* $ 의 $ \mathbb{F}_q $-유리점의 수는 $ \prod_{j=1}^m (q^{n_j} - 1) $ 이며, 이는 공식의 평가와 정확히 일치한다.
• 생성함수의 등식 $ \prod_{j=1}^m (X^{n_j} - 1) = \sum_{i=0}^n (-1)^i C_\sigma \operatorname{h}(\ell_i) X^{n-i} $ 는 버누즈 환에서 공식을 확인한다.
• 보편 공식을 피하기 위해 이전 연구에서 얻은 보다 단순한 결과와 점 수 계산을 활용하여, 보편 $ \lambda $-환의 구조에 의존하지 않고 공식을 독립적으로 증명하였다.