[논문 리뷰] Rational fixed points for linear group actions

Pietro Corvaja|ArXiv.org|2006. 10. 23.

Advanced Differential Equations and Dynamical Systems인용 수 4

한 줄 요약

이 논문은 특성 0인 유한 생성 체 위의 선형 대수적 군에서 자리지-밀도 부분-반군의 존재성을 기하학적 기준으로 설정한다. 이는 특정한 비분기 커버링과 리프팅 사상이 존재할 경우에만 이러한 반군이 유리 고정점을 갖는 원소들로 이루어진다. 주요 기여는 선형 군 작용에 대한 힐베르트의 기약성 정리의 한 형태를 제시한 것으로, 고전적인 유리 고유값 및 고정점에 관한 결과를 일반화한다.

ABSTRACT

Let $k$ be a finitely generated field, let $X$ be an algebraic variety and $G$ a linear algebraic group, both defined over $k$. Suppose $G$ acts on $X$ and every element of a Zariski-dense semigroup $Γ\subset G(k)$ has a rational fixed point in $X(k)$. We then deduce, under some mild technical assumptions, the existence of a rational map $G o X$, defined over $k$, sending each element $g\in G$ to a fixed point for $g$. The proof makes use of a recent result of Ferretti and Zannier on diophantine equations involving linear recurrences. As a by-product of the proof, we obtain a version of the classical Hilbert Irreducibility Theorem valid for linear algebraic groups.

연구 동기 및 목표

• 유한 생성 체 위의 대수기하학적 다양체 위에서 선형 대수적 군 작용의 맥락으로 힐베르트의 기약성 정리를 일반화하는 것.
• 자리지-밀도 부분-반군이 주어진 다양체 위에서 유리 고정점을 갖는 원소들로 이루어지기 위한 필요 및 충분 조건을 규명하는 것.
• GL_N의 대수적 부분군 중에서 자리지-밀도 부분-반군을 갖는 행렬들로 구성된 것, 이는 적어도 하나의 유리 고유값을 갖는지를 특성화하는 것.
• 유리 고정점의 존재와 군 구조 내에서 비분기 커버링 및 리프팅 사상의 존재 사이의 연결 고리를 설정하는 것.

제안 방법

• 페레티와 자니에르의 최신 디오판틴 결과를 활용하여, 유한 생성 체 위의 다양체에서의 유리점에 관한 것.
• 대수적 군 작용의 구조를 이용하여, 유리 고정점의 존재를 다양체 X로 향하는 군 G에서의 유리 사상 분석을 통해 연구한다.
• 갈루아 커버링과 흡집 집합 이론을 사용하여 군 원소의 특성다항식의 분할체를 연구한다.
• 군 G의 정의역에서 G--equivariant인 유리 사상 w: G → X의 구성은 G(κ)의 모든 원소에 대해 고정점의 존재를 증명하는 데 핵심적이다.
• 논문은 리-콜친 정리와 플래그 다양체의 성질을 적용하여, 추가 가정 하에 특정 대수적 군의 가역성을 도출한다.
• 자리지-밀도 반군에서의 유리 고유값 존재성과, 프로젝션 공간으로의 특성 또는 유리 사상 존재성 간의 동치를 설정한다.

실험 결과

연구 질문

• RQ1 유한 생성 체 위의 선형 대수적 군에서 자리지-밀도 부분-반군이 주어진 다양체 위에서 유리 고정점을 갖는 원소들로 이루어지기 위한 기하학적 조건은 무엇인가?
• RQ2 자리지-밀도 반군의 모든 원소가 유리 고정점을 갖는다는 것은, 군에서 다양체로의 유리 G-equivariant 사상의 존재를 어떻게 암시하는가?
• RQ3 연결된 선형 대수적 군이 유한 생성 체 위에서 정의된 경우, 자리지-밀도 부분-반군에서의 유리 고유값 존재성에 의해 모든 원소가 유리 고유값을 갖는다는 정확한 대수기하학적 조건은 무엇인가?
• RQ4 자리지-밀도 부분-반군을 갖는 행렬들로 구성된 행렬군이 유리 고유값을 갖는다는 사실을, 곱의 곱군으로의 군 준동형사상 존재성으로 특성화할 수 있는가?
• RQ5 유리 고정점 사상의 존재를 위해 어떤 군 원소가 고정점을 유한 개만 갖는다는 가정이 필수적인가?

주요 결과

• 자리지-밀도 부분-반군 Γ ⊂ G(κ)가 다양체 X 위에서 유리 고정점을 갖는 원소들로 이루어져 있을 조건은, G̃ → G의 비분기 커버링 p: G̃ → G와 π∘θ = p를 만족하는 유리 사상 θ: G̃ → V가 존재할 때에만 성립한다. 여기서 π: V → G는 유한 사상이다.
• X가 사영적이고 Γ ⊂ G(κ)가 자리지-밀도이며 각 γ ∈ Γ 가 X에서 유리 고정점을 갖는다면, 모든 g ∈ G(κ)는 X(κ)에서 유리 고정점을 갖는다.
• 유한 생성 체 κ 위에서 정의된 연결 대수적 부분군 G ⊂ GL_N에 대해, 자리지-밀도 부분-반군 Γ ⊂ G(κ)가 적어도 r개의 유리 고유값(중복도 포함)을 갖는다면, 모든 g ∈ G(κ)는 적어도 r개의 유리 고유값을 갖는다.
• κ 위에서 정의된 특성 χ: G → G_m^r 가 존재하여, 모든 g ∈ G에 대해 g의 특성다항식이 (T - χ_1(g))⋯(T - χ_r(g))로 나누어 떨어진다.
• 유리 고정점 사상 w: G → X의 존재는 일반 군 원소의 특성다항식의 분할체의 갈루아 군이 전체 갈루아 군과 동형일 수 없음을 암시한다. 이는 사상 π가 단면을 가져야 한다는 것을 의미한다.
• 최대 플래그 다양체의 경우, 이러한 사상의 존재는 G가 가역적임을 암시하며, 따라서 그 작용 하에 고정된 완전한 플래그를 갖는다.