[논문 리뷰] Automorphism Groups and Invariant Theory on PN

João Alberto de Faria, Benjamin Hutz|arXiv (Cornell University)|2015. 09. 22.

Advanced Differential Equations and Dynamical Systems참고 문헌 21인용 수 3

한 줄 요약

이 논문은 프로젝트브 공간 $\mathbb{P}^N$ 상의 엔도모르피즘의 자동형사상 군을 연구하기 위해 불변론의 계산적 방법을 개발한다. 이는 $\mathbb{P}^1$ 에서의 Faber-Manes-Viray 알고리즘을 $\mathbb{P}^2$ 로 확장한 것으로, 모든 유한부분군이 $\mathrm{PGL}_{N+1}$ 에서 무한히 반복적으로 나타나며, 그 크기에 대한 명시적 상한을 제공함으로써 고도에 따라 자동형사상 군의 알고리즘적 결정이 고정점 분석을 통해 가능해진다.

ABSTRACT

Let $K$ be a field and $f:\mathbb{P}^N o \mathbb{P}^N$ a morphism. There is a natural conjugation action on the space of such morphisms by elements of the projective linear group $ ext{PGL}_{N+1}$. The group of automorphisms, or stabilizer group, of a given $f$ for this action is known to be a finite group. In this article, we address two mainly computational problems concerning automorphism groups. Given a finite subgroup of $ ext{PGL}_{N+1}$ determine endomorphisms of $\mathbb{P}^N$ with that group as subgroup of its automorphism group. In particular, we show that every finite subgroup occurs infinitely often and discuss some associated rationality problems. Inversely, given an endomorphism determine its automorphism group. In particular, we extended the Faber-Manes-Viray fixed-point algorithm for $\mathbb{P}^1$ to endomorphisms of $\mathbb{P}^2$. A key component is an explicit bound on the size of the automorphism group depending on the degree of the endomorphism.

연구 동기 및 목표

• 주어진 유한부분군을 자동형사상 군으로 갖는 $\mathbb{P}^N$ 상의 엔도모르피즘을 구성하는 역문제를 해결하기 위해.
• Faber-Manes-Viray 고정점 알고리즘을 $\mathbb{P}^1$ 에서 $\mathbb{P}^2$ 로 확장하여 사상의 자동형사상 군을 계산하기 위해.
• 사상의 차수에 따라 자동형사상 군 크기에 대한 명시적 상한을 확립하기 위해.
• 동적 시스템에서 정의체와 모듈스체 사이의 관계와 관련된 유리점과 모듈리 문제를 조사하기 위해.

제안 방법

• 고전적 불변론을 활용하여 $\mathrm{PGL}_{N+1}$ 의 주어진 유한부분군을 포함하는 자동형사상 군을 갖는 사상을 구성하기 위해.
• $\mathrm{PGL}_{N+1}$ 이 사상에 작용하는 코너지션 작용을 적용하여 모듈리 공간 $M_d^N$ 을 정의하고 자동형사상 군을 안정화시키기 위해.
• Sage에서 고정점 알고리즘을 구현하여 유리수 주기점과 후보 자동형사상에 대한 코너지션 불변성을 테스트하기 위해.
• 직접 계산이 불가능할 경우 소수 모듈로로 환원하여 주기점(예: 3주기점)이 존재하지 않음을 검증하기 위해.
• 비자명한 자동형사상과 비자명한 유리수 변형 사이의 등가성을 활용하여 정의체 문제를 분석하기 위해.
• 컴퓨터 대수계산 시스템(예: Magma, Sage)을 사용하여 동차다항식에 대한 행렬 코너지션 검사를 통해 자동형사상 군 소속 여부를 검증하기 위해.

실험 결과

연구 질문

• RQ1 모든 $\mathrm{PGL}_{N+1}$ 의 유한부분군은 $\mathbb{P}^N$ 상의 어떤 사상의 자동형사상 군의 부분군으로서 실현될 수 있는가?
• RQ2 $\mathbb{P}^2$ 상의 사상 자동형사상 군은 $\mathbb{P}^1$ 경우를 일반화하여 어떻게 알고리즘적으로 결정할 수 있는가?
• RQ3 $\mathbb{P}^N$ 상의 차수 $d$ 의 사상에 대해 자동형사상 군 크기에 대한 명시적 상한은 무엇인가?
• RQ4 유리수 주기점과 그 사이클이 수체에서 특정 주기 궤도가 존재하지 않음을 검증하는 데 어떻게 기여하는가?
• RQ5 비자명한 자동형사상이 있는 사상의 경우, 정의체와 모듈스체 사이의 관계는 어떠한가?

주요 결과

• 모든 $\mathrm{PGL}_{N+1}$ 의 유한부분군은 $\mathbb{P}^N$ 상의 어떤 사상의 자동형사상 군의 부분군으로서 무한히 반복적으로 나타난다.
• 사상의 차수에만 의존하는, $\mathbb{P}^N$ 상의 사상 자동형사상 군 크기에 대한 명시적 상한이 확립되었다.
• Faber-Manes-Viray 고정점 알고리즘이 성공적으로 $\mathbb{P}^2$ 로 확장되었으며, 실행시간 예제를 통해 차수 3 및 4 사상에 대해 실현 가능함을 보였다.
• 자기자신이 자명한 자동형사상 군을 갖는 사상의 경우 알고리즘이 2.5초 이내에 완료되었고, 비자명한 대칭(예: 정팔면체군, 정사면체군)을 갖는 사상의 경우 최대 54초가 소요되었다.
• 직접 계산이 불가능한 경우 소수 모듈로로 환원하여 3주기점이 존재하지 않음을 검증함으로써, 이전에는 수행이 불가능했던 계산을 완료할 수 있었다.
• 정팔면체군(크기 24), 정사면체군(크기 12), 이면체군(크기 6)과 동형인 자동형사상 군을 갖는 명시적 사상을 구성하고 계산적으로 검증하였다.