[논문 리뷰] Quasi-monomial actions and some 4-dimensional rationality problems

Akinari Hoshi, Ming-chang Kang외 1명|arXiv (Cornell University)|2012. 01. 06.

Advanced Algebra and Geometry참고 문헌 16인용 수 4

한 줄 요약

이 논문은 유리 함수체 위에서의 준단항군 작용의 개념을 도입하여 단항 작용을 일반화하고, 작용이 분해 가능할 경우 고정체 $ k(x_1,x_2,x_3,x_4)^G $ 가 $ k $ 위에서 유리적임을 증명한다. 주요 기여는 4차원에서 순수 준단항 작용의 유리성 문제를 격자 분해 및 재조정 유리성 기법을 활용하여 해결한 데 있다.

ABSTRACT

Let $G$ be a finite group acting on $k(x_1,...,x_n)$, the rational function field of $n$ variables over a field $k$. The action is called a purely monomial action if $σ...x_j=\prod_{1\le i\le n} x_i^{a_{ij}}$ for all $σ\in G$, for $1\le j\le n$ where $(a_{ij})_{1\le i,j\le n} \in GL_n(\bm{Z})$. The main question is that, under what situations, the fixed field $k(x_1,...,x_n)^G$ is rational (= purely transcendental) over $k$. This rationality problem has been studied by Hajja, Kang, Hoshi, Rikuna when $n\le 3$. In this paper we will prove that $k(x_1,x_2,x_3,x_4)^G$ is rational over $k$ provided that the purely monomial action is decomposable. To prove this result, we introduce a new notion, the quasi-monomial action, which is a generalization of previous notions of multiplicative group actions. Moreover, we determine the rationality problem of purely quasi-monomial actions of $K(x, y)^G$ over $k$ where $k= K^G$.

연구 동기 및 목표

• 유리 함수체 위에서의 단항군 작용을 더 넓은 범주인 준단항 작용으로 일반화한다.
• 특히 작용이 분해 가능할 경우 4차원 순수 준단항 작용에 대한 유리성 문제를 조사한다.
• 고정체 $ K(x_1,x_2,x_3,x_4)^G $ 가 $ k $ 위에서 유리적일 조건을 규명한다. 여기서 $ k = K^G $ 이다.
• 2차원 및 3차원에서 알려진 대수적 토러스의 유리성 결과를 격자 분해 기법을 통해 4차원으로 확장한다.

제안 방법

• 유한 갈루아 확장 $ K $ 의 계수를 갖는 왜곡된 단항식을 통한 군 원소의 작용을 정의하는 준단항 작용의 개념을 도입한다.
• 계수 $ c_j(\sigma) = 1 $ 인 특수한 경우로 순수 준단항 작용을 정의하며, $ k = K $ 일 때는 단항 작용으로 축소된다.
• 대수적 토러스와 $ \mathbb{Z}[G] $-격자 사이의 반대동치를 이용해 유리성 문제를 격자 이론 문제로 변환한다.
• 군 격자 $ M = M_1 \oplus M_2 $ 의 분해를 적용하여 고정체 $ K(M)^G $ 를 $ K(M_1)^G $ 와 $ K(M_2)^G $ 의 자유 복합체로 분석한다.
• Saltman의 플라비 해법 이론과 재조정 유리성 이론을 활용하여 $ K(M)^G $ 가 $ k $ 위에서 유리적일 조건을 규명하며, 특히 $ \text{rank}_{\mathbb{Z}} M_i \leq 3 $ 일 경우를 중심으로 분석한다.
• Yamasaki의 결과를 활용하여 일부 고정체가 재조정 유리적이지 않음을 보여, 예외적인 경우의 비유리성을 입증한다.

실험 결과

연구 질문

• RQ1 군 $ G $ 가 준단항 $ k $-자기동형사상으로 작용할 때, 고정체 $ K(x_1,x_2,x_3,x_4)^G $ 가 $ k $ 위에서 유리적일 조건은 무엇인가?
• RQ2 분해 가능한 준단항 작용 하에서 고정체 $ K(x_1,x_2,x_3,x_4)^G $ 가 $ k $ 위에서 유리적일 조건은 무엇인가?
• RQ3 $ M = M_1 \oplus M_2 $ 일 때, $ K(M)^G $ 의 유리성이 그 성분들인 $ K(M_1)^G $ 와 $ K(M_2)^G $ 의 유리성으로 줄일 수 있는가?
• RQ4 $ K(M_1)^G $ 와 $ K(M_2)^G $ 가 유리적이라 해도, $ K(M)^G $ 가 재조정 유리적이지 않은 경우는 존재하는가?
• RQ5 특히 격자의 분해가 고정체의 유리성에 미치는 영향을 고려할 때, 군 격자 $ M $ 의 구조는 어떻게 작용하는가?

주요 결과

• 순수 준단항 작용이 분해 가능할 경우 고정체 $ k(x_1,x_2,x_3,x_4)^G $ 는 $ k $ 위에서 유리적이다.
• 유한군 $ G $ 가 $ G \simeq \text{Gal}(K/k) $ 를 만족할 경우, $ K(M)^G $ 는 $ k $-재조정 유리적일 필요충분조건으로 $ K(M_1)^G $ 와 $ K(M_2)^G $ 가 모두 $ k $-재조정 유리적일 때이다.
• 만약 $ K(M_1)^G $ 와 $ K(M_2)^G $ 가 $ k $-유리적이라면, $ M = M_1 \oplus M_2 $ 가 $ \mathbb{Z}[G] $-모듈로 분해될 경우 $ K(M)^G $ 도 $ k $-유리적이다.
• 만약 $ \text{rank}_{\mathbb{Z}} M_i \leq 3 $ 이라면, $ K(M)^G $ 는 $ k $-유리적일 필요충분조건으로 $ K(M_1)^G $ 와 $ K(M_2)^G $ 가 모두 $ k $-유리적일 때이다.
• $ k(x_1,x_2,x_3,x_4)^{\langle \tau \rangle} $ 는 $ k(x_4) $ 위에서 재조정 유리적이지 않으며, 따라서 $ k $-재조정 유리적이지 않다. 이는 Yamasaki의 보조정리에 의해 입증된다.
• $ K(M)^G $ 의 유리성은 플라비 클래스 $ [M]^{fl} $ 의 가역성과 동치이며, $ [M_1 \oplus M_2]^{fl} = [M_1]^{fl} \oplus [M_2]^{fl} $ 이므로 분해 기반 분석이 가능하다.