[논문 리뷰] Polynomial automorphisms over finite fields: Mimicking non-tame and tame maps by the Derksen group

Stefan Maubach, Roel M. Willems|ArXiv.org|2009. 12. 17.

Advanced Differential Equations and Dynamical Systems참고 문헌 9인용 수 6

한 줄 요약

이 논문은 유한체 위에서 다항식 자기동형사상의 성질을 조사하며, 비틀어진(tame) 및 비틀어지지 않은(non-tame) 자기동형사상이 Derksen 군의 원소에 의해 모의될 수 있는지에 초점을 맞춘다. 다항식 자기동형사상의 모든 비틀어진 사상이 $\mathbb{F}_q$ 위에서 Derksen 군에 의해 모의됨을 보이며, 비틀어진 군이 유한체 확장 $\mathbb{F}_q$ 위에서 유도하는 전단사 사상이 전체 자기동형사상 군과 일치함을 보인다. 유일한 예외는 특성 2인 경우이며, 이 경우 $\mathrm{GLIN}_n(\mathbb{F}_2) \subsetneq \mathrm{GTAM}_n(\mathbb{F}_2)$로 나타나 중요한 차이점이 드러난다.

ABSTRACT

If $F$ is a polynomial automorphism over a finite field $\F_q$ in dimension $n$, then it induces a bijection $π_{q^r}(F)$ of $(\F_{q^r})^n$ for every $r\in \N^*$. We say that $F$ can be `mimicked' by elements of a certain group of automorphisms $\mathcal{G}$ if there are $g_r\in \mathcal{G}$ such that $π_{q^r}(g_r)=π_{q^r}(F)$. We show that the Nagata automorphism (and any other automorphism in three variables fixing one variable) can be mimicked by tame automorphisms. This on the one hand removes the hope of showing that such an automorphism is non-tame by studying one bijection it induces, but on the other hand indicates that the bijections of tame automorphisms coincide with bijections of all automorphisms. In section 5 we show that the whole tame group $\TA_n(\F_q)$ in turn can be mimicked by the Derksen subgroup $\DA_n(\F_q)$, which is the subgroup generated by affine maps and one particular element. It is known that if a field $k$ has characteristic zero, then $\TA_n(k)=\DA_n(k)$, which is not expected to be true for characteristic $p$. In section 6 we consider the subgroups $\GLIN_n(k)$ and $\GTAM_n(k)$ of the polynomial automorphism group (which are candidates to equal the entire automorphism group). We show that $\GLIN_n(\F_q)=\GTAM_n(\F_q)$ if $q ot = 2$, and $\GLIN_n(\F_2)\subsetneq \GTAM_n(\F_2)$.

연구 동기 및 목표

• 비틀어지지 않은 자기동형사상이 유한체 확장 $\mathbb{F}_{q^r}$ 위에서 유도하는 전단사 사상에 의해 비틀어진 사상과 구별될 수 있는지 확인하는 것.
• 비틀어진 자기동형사상 군 $\mathrm{TA}_n(\mathbb{F}_q)$이 더 작은 군, 특히 Derksen 군에 의해 완전히 모의될 수 있는지 조사하는 것.
• $\mathrm{GLIN}_n(k)$와 $\mathrm{GTAM}_n(k)$ 사이의 관계를 규명하며, 특히 특성 2인 경우에 초점을 맞추는 것.
• 이러한 모의 결과가 유한체 동역학 및 계산 대수학 분야의 실용적 응용에 미치는 영향을 탐색하는 것.

제안 방법

• 다항식 자기동형사상 $F$ 가 $\mathbb{F}_{q^r}$ 위에서 유도하는 전단사 사상 $\pi_{q^r}(F)$ 를 정의하고, 이러한 사상들이 목표 군 $\mathcal{G}$ 의 원소에 의해 언제 모의될 수 있는지 분석하는 것.
• 모의 개념을 사용하여 비틀어진 군 $\mathrm{TA}_n(\mathbb{F}_q)$ 와 Derksen 군 $\mathrm{DA}_n(\mathbb{F}_q)$ 이 $\pi_{q^r}$ 에서 유도하는 이미지 간의 비교를 수행하는 것.
• 군론적 도구를 사용하여 $\mathbb{F}_2^n$ 과 $\mathbb{F}_{2^2}^n$ 에서 자기동형사상의 작용을 분석하며, 순열의 기수성과 코너지션(conjugation)을 고려하는 것.
• MAGMA와 같은 계산 대수 시스템을 활용하여 인덱스 $[\pi_4(\mathrm{GLIN}_2(\mathbb{F}_2)):\pi_4(\mathrm{GA}_2(\mathbb{F}_2))] = 2$ 를 계산함으로써 엄밀한 포함 관계를 확인하는 것.
• 모든 $r$ 에 대해 $\pi_{q^r}(\mathrm{DA}_n(\mathbb{F}_q)) = \pi_{q^r}(\mathrm{TA}_n(\mathbb{F}_q))$ 를 증명함으로써 Derksen 군이 모든 비틀어진 전단사 사상을 포괄함을 보이는 것.
• 순열 순환의 기수성에 기반한 추론을 사용하여 $\pi_2(\mathrm{GLIN}_n(\mathbb{F}_2)) \subseteq \mathcal{A}_{2^n}$ (대칭군의 교대군) 이며, $\pi_2(\mathrm{GTAM}_n(\mathbb{F}_2)) = \mathrm{Bij}(\mathbb{F}_2^n)$ 이며, 이는 엄밀한 포함 관계를 확인하는 것.

실험 결과

연구 질문

• RQ1 비틀어지지 않은 자기동형사상이 $\mathbb{F}_{q^r}^n$ 에서 유도하는 전단사 사상에 의해 검출될 수 있는가?
• RQ2 Derksen 군 $\mathrm{DA}_n(\mathbb{F}_q)$ 는 $\mathbb{F}_q$ 위에서 비틀어진 자기동형사상이 유도하는 모든 전단사 사상을 모의할 수 있는가?
• RQ3 모든 $q$ 에 대해 $\mathrm{GLIN}_n(\mathbb{F}_q) = \mathrm{GTAM}_n(\mathbb{F}_q)$ 가 성립하는가?
• RQ4 $\mathrm{GLIN}_n(\mathbb{F}_2)$ 와 $\mathrm{GTAM}_n(\mathbb{F}_2)$ 사이의 관계는 무엇이며, $q \neq 2$ 인 경우와 어떻게 다를까?
• RQ5 비틀어진 군 $\mathrm{TA}_n(\mathbb{F}_q)$ 는 아핀 사상과 유한 집합 $E$ 로 생성될 수 있는가?

주요 결과

• Derksen 군 $\mathrm{DA}_n(\mathbb{F}_q)$ 는 $\mathbb{F}_{q^r}^n$ 에서 비틀어진 군 $\mathrm{TA}_n(\mathbb{F}_q)$ 와 동일한 전단사 사상 집합을 유도한다. 즉, 모든 $r \in \mathbb{N}^*$ 에 대해 $\pi_{q^r}(\mathrm{DA}_n(\mathbb{F}_q)) = \pi_{q^r}(\mathrm{TA}_n(\mathbb{F}_q))$ 이다.
• 모든 $q \neq 2$ 에 대해 $\mathrm{GLIN}_n(\mathbb{F}_q) = \mathrm{GTAM}_n(\mathbb{F}_q)$ 이지만, $q = 2$ 일 경우 $\mathrm{GLIN}_n(\mathbb{F}_2) \subsetneq \mathrm{GTAM}_n(\mathbb{F}_2)$ 로 나타나 특성 2인 경우에 구조적 차이가 존재함을 보여준다.
• $\pi_2(\mathrm{GLIN}_n(\mathbb{F}_2))$ 는 전체 교대군 $\mathcal{A}_{2^n}$ 에 속해 있으며, $\pi_2(\mathrm{GTAM}_n(\mathbb{F}_2))$ 는 전체 대칭군 $\mathrm{Bij}(\mathbb{F}_2^n)$ 이므로 엄밀한 포함 관계가 확인된다.
• MAGMA 를 사용하여 계산한 결과, 인덱스 $[\pi_4(\mathrm{GLIN}_2(\mathbb{F}_2)):\pi_4(\mathrm{GA}_2(\mathbb{F}_2))] = 2$ 이며, 이는 $\mathrm{GLIN}_2(\mathbb{F}_2)$ 가 $\mathrm{GA}_2(\mathbb{F}_2)$ 의 진부분군임을 확인한다.
• 한 변수를 고정하는 모든 자기동형사상(예: Nagata 자기동형사상)이 비틀어진 자기동형사상에 의해 모의됨을 보이며, 이는 이러한 사상들이 전단사 사상에 의해 비틀어지지 않았음을 증명할 수 없음을 시사한다.
• 논문은 $n \geq 3$ 에 대해 $\mathrm{DA}_n(\mathbb{F}_q) \neq \mathrm{TA}_n(\mathbb{F}_q)$ 인지 여부를 열어두고 있으나, 양의 특성에서 이는 기대되지 않는다.