[논문 리뷰] Essential p-dimension of algebraic tori

Roland Lötscher, Mark L. MacDonald외 2명|ArXiv.org|2009. 10. 29.

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

한 줄 요약

이 논문은 특성 $ \neq p $인 체 위에서 대수적 토르스의 본질적 $ p $-차원에 대한 명시적 공식을 수립하며, 카르펜코와 메르쿠르제프의 유한 $ p $-군에 대한 결과를 확장한다. 토르스의 캐릭터 랏과 $ \mathbb{Z}G $-락스를 통한 표현 이론 분석을 통해 본질적 $ p $-차원을 $ p $-충실 표현의 최소 랭크로 계산하며, $ p^2 $의 차수를 가지는 순환 확장에 의해 분할되는 토르스에 대한 정확한 값을 제공한다.

ABSTRACT

The essential dimension is a numerical invariant of an algebraic group G which may be thought of as a measure of complexity of G-torsors over fields. A recent theorem of N. Karpenko and A. Merkurjev gives a simple formula for the essential dimension of a finite p-group. We obtain similar formulas for the essential p-dimension of a broader class of groups, which includes all algebraic tori.

연구 동기 및 목표

• 유한 $ p $-군에 대한 카르펜코와 메르쿠르제프의 본질적 $ p $-차원 공식을 더 넓은 대수적 군의 범주로 확장한다. 특히 대수적 토르스를 대상으로 한다.
• 순환 확장의 차수가 $ p^2 $를 나누는 토르스의 본질적 $ p $-차원을 표현 이론적 및 코homological 방법을 사용하여 결정한다.
• 특성군 $ G $가 $ p $-군인 $ k $ 위에서 분해 가능한 분해 불가능한 토르스를 분류하고, $ p $-국소화 이후 $ \mathbb{Z}G $-락스를 통해 그들의 본질적 $ p $-차원을 계산한다.
• 토르스의 본질적 $ p $-차원과 그 캐릭터 랏의 $ p $-충실 표현의 최소 랭크 사이의 연결 고리를 설정한다.
• 순환 확장의 갈루아 군이 $ p^2 $의 차수를 가지는 $ G $에 의해 분해되는 모든 분해 불가능한 토르스에 대한 본질적 $ p $-차원의 완전한 표를 제공한다.

제안 방법

• 특히 갈루아 코hom로지 함자 $ H^1(*, G) $에 대해, 함수자에 대한 본질적 $ p $-차원의 개념을 사용하여 $ \operatorname{ed}_k(G; p) $를 정의한다.
• $ \mathbb{Z}G $-락스 이론과 그들의 $ p $-국소화를 적용하여, $ p $-군 $ G $에 의해 분해되는 $ k $ 위의 분해 불가능한 토르스를 분류한다.
• $ p $-충실 표현의 개념과 캐릭터 랏 $ M $에 사상되는 순열 $ \mathbb{Z}G $-락스의 최소 랭크를 사용하며, $ \operatorname{ed}(T; p) = \operatorname{rk}P - \operatorname{rk}M $로 표현한다.
• 고정점의 상수군인 $ C = \operatorname{Split}_k(T[p]) $를 사용하여 순열 랙스 $ P $의 분해 불가능한 합성의 수를 결정한다.
• 코homological 도구, 특히 $ H^0(G, M) $를 적용하여, 특정 랙스에서 비자명한 $ G $-불변 캐릭터가 $ C $에 비자명하게 제약되지 않는다는 것을 보이며, 더 높은 랭크 표현을 배제한다.
• 가성의 정리(정리 8.1)와 변형된 유한군의 구조를 적용하여 본질적 $ p $-차원의 계산을 랙스 이론적 불변량으로 환원한다.

실험 결과

연구 질문

• RQ1 순환 확장의 차수가 $ p^2 $를 나누는 토르스에 대해 본질적 $ p $-차원은 무엇인가?
• RQ2 캐릭터 랙스를 $ \mathbb{Z}G $-모듈로 간주할 때, 토르스의 본질적 $ p $-차원은 어떻게 계산할 수 있는가?
• RQ3 $ p $-군 $ G $에 의해 분해되는 분해 불가능한 토르스의 캐릭터 랙스로 나타나는 $ \mathbb{Z}G $-락스는 무엇이며, 그들의 본질적 $ p $-차원은 무엇인가?
• RQ4 토르스의 캐릭터 랙스의 구조와 갈루아 군의 작용으로부터 그의 최소 랭크의 $ p $-충실 표현을 결정할 수 있는가?
• RQ5 $ \mathbb{Z}G $-락스의 $ G $-불변 캐릭터가 상수군 $ C = \operatorname{Split}_k(T[p]) $에 비자명하게 제약되는 조건은 무엇인가?

주요 결과

• 캐릭터 랙스가 $ M_1, M_2, M_4 $와 동형인 토르스 $ T $의 본질적 $ p $-차원은 0이며, 이는 그들이 그로텐디크의 의미에서 특별한 성질을 가짐을 나타낸다.
• 캐릭터 랙스가 $ M_3 $ 또는 $ M_5 $인 토르스의 본질적 $ p $-차원은 1이다. 이 랙스들은 랭크가 $ p $ 이하인 비자명한 $ p $-충실 표현을 갖지 않기 때문이다.
• $ M_7 $과 $ M_8 $의 경우 본질적 $ p $-차원은 $ p $이다. 최소 $ p $-충실 표현의 랭크가 $ p^2 $이므로 $ \operatorname{ed}(T; p) = p^2 - (p^2 - p) = p $이다.
• $ M_9, M_{10}, M_{11}, M_{12} $의 경우 본질적 $ p $-차원은 $ p $이다. 최소 $ p $-충실 표현의 랭크가 $ p^2 + p $이므로 $ \operatorname{ed}(T; p) = (p^2 + p) - p^2 = p $이며, 더 높은 랭크 표현의 가능성에도 불구하고 그렇다.
• 저자들은 $ M_{9,r}, M_{10,r}, M_{11,r}, M_{12,r} $에서 $ G $-불변 캐릭터가 $ C $에 비자명하게 제약되지 않음을 증명하며, 이는 $ p^2 + 1 $ 랭크 표현을 배제함으로써 $ p^2 + p $의 최소성 확인한다.
• 모든 $ G $에 의해 분해되는 분해 불가능한 토르스에 대한 본질적 $ p $-차원의 완전한 목록은 표로 정리되어 있으며, 캐릭터 랙스의 랭크와 구조에 따라 0에서 $ p $까지의 값을 가진다.