[논문 리뷰] Pseudoautomorphisms with invariant elliptic curves

Eric Bedford, Jeffery Diller외 1명|arXiv (Cornell University)|2014. 01. 10.

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

한 줄 요약

이 논문은 유리 복소 다양체 위에서 타원곡선을 보존하는 명시적 의사자명형을 구축하며, 불변 곡선 沿해 블로우업을 통해 비유리 사상의 상향으로 구현한다. 코xeter 군 작용과 동역학 차수 분석을 통해 이러한 사상에 대한 폐쇄형 행렬 공식을 제공하며, 특히 무한 반사군에서 코xeter 원소에 대응할 경우, 양의 엔트로피와 불변 유리 또는 타원곡선을 갖는 자명형을 유도한다.

ABSTRACT

We describe an explicit method for constructing pseudo-automorphisms of a space $X$ which is obtained by blowing up points of $P^k$ (or a product $P^k imes \cdots imes P^k$). The centers of blowup are chosen to lie on an elliptic normal curve and are determined using the arithmetic on the curve. These pseudo-automorphism have dynamical degree greater than $1$.

연구 동기 및 목표

• 유리 복소 다양체 위에서 불변 타원곡선을 갖는 의사자명형의 존재 결과에 대한 구체적이고 구조적인 접근을 제공한다.
• Perroni와 Zhang의 이전 결과를 확장하여 이러한 사상에 대한 명시적 공식을 제시한다.
• Picard 군과 교차 형식에 대한 작용을 통해 이러한 사상의 역학을 특성화한다.
• 무한 반사군에서 코xeter 원소가 특히 단순하고 대칭적인 의사자명형을 유도함을 보여준다.

제안 방법

• 유한한 불변 곡선을 따라 점 블로우업을 통해 P² 위의 비유리 사상을 P²의 블로우업 위의 자명형으로 상향한다.
• Picard 라티스 위의 코xeter 군 구조를 사용하여 고정된 타원곡선을 보존하는 자명형을 정의한다.
• 동역학 차수 δ를 사용하여 사상을 매개화하고, 양의 엔트로피를 보장한다. 여기서 δ는 Salem 수의 Galois 공액원이다.
• 재귀 관계와 대칭 함수를 이용하여 다중 사영 공간에서 자명형에 대한 명시적 행렬 공식을 유도한다.
• 궤도 자료에 순환치환과 k+1로 나누어지는 궤도 길이를 도입하여 코xeter 원소와의 일致를 보장한다.
• (P^k)^m 위에서 성분별 선형 변환을 정의함으로써 f = L∘J 를 구성하며, δ와 m 에서 유도된 매개변수를 사용한다.

실험 결과

연구 질문

• RQ1 유리 다양체 위에서 불변 타원곡선을 갖는 의사자명형에 대한 명시적 공식을 도출할 수 있는가?
• RQ2 Picard 라티스 위의 코xeter 군 작용은 이러한 자명형의 존재와 어떻게 관련되는가?
• RQ3 동역학 차수 δ는 양의 엔트로피와 대수적 안정성을 보장하는 데 어떤 역할을 하는가?
• RQ4 반사군에서 코x터 원소가 어떤 조건에서 불변 곡선을 갖는 의사자명형을 유도하는가?
• RQ5 예외 곡선과 정의되지 않은 점의 궤도 구조는 이러한 사상을 구성하는 데 어떻게 활용될 수 있는가?

주요 결과

• 논문은 정리 4.7과 6.4에서 의사자명형에 대한 명시적 행렬 공식을 제공하며, 특히 사상이 코x터 원소에 대응할 경우에 해당한다.
• 매개변수 t_j^+ 는 δ, k, 궤도 길이를 사용하여 폐쇄형으로 유도되며, 모든 블로우업된 점들이 서로 다를 것을 보장한다.
• n ≥ 8 일 때 F^n(Σ₂) = e₀ 이 성립하며, 이는 양의 엔트로피를 보장하고 표면의 블로우업 위에서 자명형으로 상향됨을 보장한다.
• Pic(X) 위의 작용은 Lorentzian 라티스 위에서 작용하는 코x터 군의 등급을 갖는 등급 변환으로 실현되며, 타원곡선은 유도된 작용 하에 보존된다.
• 구성은 다중 사영 공간 (P^k)^m 으로 일반화되며, 여기서 f = L∘J 는 궤도 자료 {(1,…,1,n(k+1)), σ} 를 갖는다. 여기서 σ 는 순환적이다.
• P^k 내에서 공통선이 존재할 경우, 유도되는 의사자명형은 T형 다인킨 다이어그램의 코x터 원소를 실현하며, 행렬 원소는 α, m, j 를 매개변수로 한다.