[논문 리뷰] Five Lectures on Projective Invariants

Giorgio Ottaviani|arXiv (Cornell University)|2013. 05. 13.

Advanced Topics in Algebra참고 문헌 47인용 수 3

한 줄 요약

이 논문은 표현 이론을 활용하여 사영 공간 내에서 형식과 점의 구성에 대한 프로젝티브 불변량에 대한 종합적인 소개를 제시한다. 힐버트 급수와 불변환의 생성자들을 계산하기 위해 그래픽 알제브라, 표준 함수, 모리엔 급수와 같은 계산 도구를 개발하였으며, 주요 결과로는 $\mathbb{P}^2$ 상의 여섯 개의 순서 없는 점에 대한 $\mathrm{Alt}(6)$ 및 $\Sigma_6$-불변환의 급수와 아론홀드 불변량이 펄라프안으로서, 모르리 리 cubic이 기하학적 코바리언트로서 식별됨을 포함한다.

ABSTRACT

We introduce invariant rings for forms (homogeneous polynomials) and for d points on the projective space, from the point of view of representation theory. We discuss several examples, addressing some computational issues. We introduce the graphical algebra for the invariants of d points on the line. This is an expanded version of the notes for the School on Invariant Theory and Projective Geometry, Trento, September 17-22, 2012.

연구 동기 및 목표

• 형식과 점 구성의 고전적 사영 불변량을 이해하기 위한 현대적 표현 이론적 프레임워크를 제공하기 위해.
• 그래픽 알제브라와 표준 기반 방법을 도입하여 불변량 이론의 계산적 과제를 해결하기 위해.
• $\mathbb{P}^1$ 및 $\mathbb{P}^2$ 상의 여섯 개의 순서 없는 점에 대한 불변환의 힐버트 급수와 생성자 집합을 명시적으로 유도하고, 생성자 간의 관계를 포함하기 위해.
• 루로트 4차 곡선과 입체 표면 상의 6점 구성의 맥락에서 아론홀드 불변량과 모르리 리 cubic의 기하학적 의미를 명확히 하기 위해.
• 고차원 점 구성에서 켐페의 보조정리가 실패함을 보여주고, 선형 불변량 외에 추가 생성자가 필요함을 입증하기 위해.

제안 방법

• 형식과 점 집합의 불변량을 분석하기 위해 $GL(n+1)$, $SL(n+1)$, $\Sigma_d$ 의 표현 이론과 슈어-웨일 이중성을 활용한다.
• 요우 다이어그램과 대칭화자를 사용하여 불변 부분공간의 차원을 계산하고 표준 함수를 구성한다.
• 특히 $\mathrm{Alt}(6)$ 및 $\Sigma_6$ 작용에 대한 여섯 점에 대한 불변환의 힐버트 급수를 계산하기 위해 모리엔 공식을 적용한다.
• $\mathbb{P}^1$ 상의 $d$개 점의 불변량을 위한 그래픽 알제브라를 도입하여 켐페의 보조정리를 통한 조합적 불변량 계산을 가능하게 한다.
• 기호 표현과 불변량의 두 번째 기본 정리를 활용하여 기본 블록에서 모든 불변량을 구성한다.
• 레인솔드 작용자와 플레티즘 기법을 사용하여 대칭 텐서의 대칭 거듭제곱을 기약 표현으로 분해한다.

실험 결과

연구 질문

• RQ1 여섯 개의 순서 없는 점에 대한 $\mathbb{P}^1$ 상의 불변환의 구조는 어떻게 되며, 그래픽 알제브라를 통해 어떻게 기술할 수 있는가?
• RQ2 $\mathrm{Alt}(6)$ 및 $\Sigma_6$-불변환의 여섯 점에 대한 $\mathbb{P}^2$ 상의 힐버트 급수는 어떻게 다를 수 있으며, 그 생성자와 관계는 입체 표면의 기하학적 성질을 어떻게 드러내는가?
• RQ3 루로트 4차 곡선과 입체 표면 상의 6점 구성의 맥락에서 아론홀드 불변량과 모르리 리 cubic의 기하학적 의미는 무엇인가?
• RQ4 왜 켐페의 보조정리는 $\mathbb{P}^2$ 상의 점들에 대해 실패하는가? 그리고 전체 불변환을 기술하기 위해 어떤 새로운 생성자가 필요한가?
• RQ5 크레모나의 6면체 방정식는 어떻게 $\mathbb{P}^2$ 상의 여섯 점의 불변량으로부터 유도될 수 있으며, 이는 입체 표면의 기하학적 성질을 어떻게 드러내는가?

주요 결과

• $\mathbb{P}^2$ 상의 여섯 개의 순서 없는 점에 대한 $\mathrm{Alt}(6)$-불변환의 힐버트 급수는 $\frac{1+t^{15}}{(1-t^2)^2(1-t^3)(1-t^5)(1-t^6)}$이며, 생성자 $a_2, d_2, a_3, a_5, a_6, \Delta$ 와 $\Delta^2$ 가 나머지 생성자들의 다항식으로 표현되는 관계를 포함한다.
• $\mathbb{P}^2$ 상의 여섯 개의 순서 없는 점에 대한 $\Sigma_6$-불변환의 힐버트 급수는 $\frac{1+t^{17}}{(1-t^2)(1-t^3)(1-t^4)(1-t^5)(1-t^6)}$이며, 생성자 $a_2, a_3, a_4, a_5, a_6, d_2\Delta$ 로 생성되며 $(d_2\Delta)^2$ 는 나머지 생성자들로 표현 가능하다.
• 평면 4차 곡선의 아론홀드 불변량은 반대칭 행렬의 펄라프안으로 표현되어 이 기본 불변량의 기하학적 구성법을 제공한다.
• 모르리 리 cubic은 $\sum \overline{a}^2 a$ 로 주어지며, 7개의 점을 통과하는 6차 곡선의 분열 4차 곡선이 루로트 4차 곡선인지 여부를 탐지하는 삼차 코바리언트이다.
• 크레모나의 6면체 방정식 — $a+b+c+d+e+f=0$, $\sum \overline{a}a=0$, $\sum a^3=0$ — 는 세그레 3차 초구의 초평면 절단으로서 입체 표면을 정의하며, $a+b=c+d=e+f=0$ 형태의 15개의 직선은 입체 표면 상의 15개의 직선에 대응한다.
• $\mathbb{P}^2$ 상의 여섯 점에 대한 불변량 $d_2$ 는 선형 불변량 $\overline{a},\ldots,\overline{f}$ 의 다항식으로 표현될 수 없으며, 이는 켐페의 보조정리가 이 맥락에서 실패하고, $d_2$ 가 차수 2의 독립적 생성자가 되어야 함을 보여준다.