[논문 리뷰] Rationality problem for algebraic tori

Akinari Hoshi, Aiichi Yamasaki|arXiv (Cornell University)|2012. 10. 16.

Algebraic Geometry and Number Theory참고 문헌 70인용 수 19

한 줄 요약

이 논문은 GAP 컴퓨터 대수 체계를 사용하여 $G$-격자에 대한 플라비 해석을 효과적으로 계산하는 방법을 통해, 체 $k$ 위에서 차원 4 및 5인 대수적 토러스의 완전한 안정적으로 유리적 분류를 제공한다. 이는 차원 4에 대해 정확히 487개의 안정적으로 유리적, 7개의 재접근 가능하지만 안정적으로 유리적이지 않은, 216개의 재접근 불가능한 토러스가 존재하며, 차원 5에 대해선 각각 3051개, 25개, 3003개가 존재함을 입증한다. 또한, 랭크 5 및 6인 $G$-격자에 대해 크룰-슈마이트 정리가 성립하지 않음을 증명한다.

ABSTRACT

We give the complete stably rational classification of algebraic tori of dimensions $4$ and $5$ over a field $k$. In particular, the stably rational classification of norm one tori whose Chevalley modules are of rank $4$ and $5$ is given. We show that there exist exactly $487$ (resp. $7$, resp. $216$) stably rational (resp. not stably but retract rational, resp. not retract rational) algebraic tori of dimension $4$, and there exist exactly $3051$ (resp. $25$, resp. $3003$) stably rational (resp. not stably but retract rational, resp. not retract rational) algebraic tori of dimension $5$. We make a procedure to compute a flabby resolution of a $G$-lattice effectively by using the computer algebra system GAP. Some algorithms may determine whether the flabby class of a $G$-lattice is invertible (resp. zero) or not. Using the algorithms, we determine all the flabby and coflabby $G$-lattices of rank up to $6$ and verify that they are stably permutation. We also show that the Krull-Schmidt theorem for $G$-lattices holds when the rank $\leq 4$, and fails when the rank is $5$. Indeed, there exist exactly $11$ (resp. $131$) $G$-lattices of rank $5$ (resp. $6$) which are decomposable into two different ranks. Moreover, when the rank is $6$, there exist exactly $18$ $G$-lattices which are decomposable into the same ranks but the direct summands are not isomorphic. We confirm that $H^1(G,F)=0$ for any Bravais group $G$ of dimension $n\leq 6$ where $F$ is the flabby class of the corresponding $G$-lattice of rank $n$. In particular, $H^1(G,F)=0$ for any maximal finite subgroup $G\leq { m GL}(n,\mathbb{Z})$ where $n\leq 6$. As an application of the methods developed, some examples of not retract (stably) rational fields over $k$ are given.

연구 동기 및 목표

• 체 $k$ 위에서 차원 4 및 5인 안정적으로 유리적, 재접근 가능하지만 안정적으로 유리적이지 않은, 그리고 재접근 불가능한 대수적 토러스의 완전한 분류를 제공하는 것.
• GAP 컴퓨터 대수 체계를 사용하여 $G$-격자의 플라비 해석을 효과적으로 계산하는 알고리즘을 개발하는 것.
• 랭크 최대 6인 $G$-격자에 대해 크룰-슈마이트 정리의 타당성을 판단하고, 실패하는 경우를 규명하는 것.
• 모든 브라바이스 군 $G$에 대해 $n \leq 6$인 차원에서, 그리고 $\mathrm{GL}(n,\mathbb{Z})$의 모든 최대 유한부분군에 대해 $H^1(G, [M_G]^{fl}) = 0$임을 확인하는 것.
• 개발된 방법을 적용하여 $k$ 위에서 재접근(안정적으로) 유리적이지 않은 체의 구체적 예를 생성하는 것.

제안 방법

• 저자들은 $G$-격자와 대수적 $k$-토러스 사이의 대칭성을 활용하여, 유리성 문제를 플라비 해석을 포함하는 격자 이론 문제로 변환한다.
• GAP 시스템 내에서 $G$-격자 $M_G$의 플라비 클래스 $[M_G]^{fl}$를 계산하고, 이것이 가역적 또는 0인지 여부를 판단하는 알고리즘을 구현한다.
• 플라비 클래스 $[M_G]^{fl}$가 자명한지 확인하기 위해 세 가지 별도의 검증 기법(방법 I~III)을 사용하며, 코hom로지적 기준과 격자 분해 기준을 활용한다.
• 분류 작업은 랭크 6 이하의 $G$-격자 계산에 기반하며, 플라비 및 코플라비 격자를 식별하고 안정적 순열 가능성을 검증하는 데 중점을 둔다.
• 저자들은 $n \leq 6$인 경우 $\mathrm{GL}(n,\mathbb{Z})$의 최대 유한부분군 $G$를 분석하고, 해당 Bravais 군과 관련된 이차형식을 계산한다.
• 테이트 코hom로지 계산을 통해 모든 이러한 군에 대해 $H^1(G, [M_G]^{fl}) = 0$임을 확인하며, 이는 유리성의 핵심 조건이다.

실험 결과

연구 질문

• RQ1 체 $k$ 위에서 차원 4인 안정적으로 유리적, 재접근 가능하지만 안정적으로 유리적이지 않은, 그리고 재접근 불가능한 대수적 토러스는 각각 몇 개인가?
• RQ2 체 $k$ 위에서 차원 5인 안정적으로 유리적, 재접근 가능하지만 안정적으로 유리적이지 않은, 그리고 재접근 불가능한 대수적 토러스는 각각 몇 개인가?
• RQ3 랭크 5 및 6인 $G$-격자에 대해 크룰-슈마이트 정리가 성립하는가? 만약 그렇지 않다면, 여러 방식으로 분해 가능한 격자는 몇 개인가?
• RQ4 모든 브라바이스 군 $G$에 대해 $n \leq 6$인 차원에서, 그리고 $\mathrm{GL}(n,\mathbb{Z})$의 모든 최대 유한부분군에 대해 $H^1(G, [M_G]^{fl}) = 0$인가?
• RQ5 개발된 알고리즘이 $k$ 위에서 재접근(안정적으로) 유리적이지 않은 체의 구체적 예를 생성할 수 있는가?

주요 결과

• 체 $k$ 위에서 차원 4인 안정적으로 유리적, 재접근 가능하지만 안정적으로 유리적이지 않은, 그리고 재접근 불가능한 대수적 토러스는 각각 정확히 487개, 7개, 216개 존재한다.
• 체 $k$ 위에서 차원 5인 안정적으로 유리적, 재접근 가능하지만 안정적으로 유리적이지 않은, 그리고 재접근 불가능한 대수적 토러스는 각각 정확히 3051개, 25개, 3003개 존재한다.
• 랭크 5 및 6인 $G$-격자에 대해 크룰-슈마이트 정리가 실패한다: 랭크 5인 경우 11개, 랭크 6인 경우 131개의 $G$-격자가 서로 다른 랭크로 분해 가능한 경우가 존재한다.
• 랭크 6인 경우, 동일한 랭크로 분해되지만 비이sov모르픽인 직접합성분을 가지는 $G$-격자가 정확히 18개 존재하여, 유일성의 더 강한 실패를 보여준다.
• 브라바이스 군에 대응하는 모든 랭크 $n \leq 6$인 $G$-격자에 대해 플라비 클래스 $[M_G]^{fl}$가 자명하다(즉, $[M_G]^{fl} = 0$)며, 이는 $H^1(G, [M_G]^{fl}) = 0$임을 의미한다.
• 개발된 GAP 알고리즘은 랭크 최대 6인 모든 플라비 및 코플라비 $G$-격자를 성공적으로 식별하며, 이러한 모든 격자가 안정적으로 순열 가능하다는 것을 확인한다.