[논문 리뷰] Brill's equations as a GL(V)-module

Yonghui Guan|arXiv (Cornell University)|2015. 08. 10.

Algebraic Geometry and Number Theory참고 문헌 11인용 수 3

한 줄 요약

이 논문은 선형 형식의 곱으로 분해 가능한 차수-$d$ 다항식의 초 Chow 다양체에 대한 Brill의 집합론적 방정식을 $GL(V)$-모듈로로 계산한다. Brill의 다항식 사상의 극화와 표현론적 기법을 사용하여 이 사상의 상에 포함된 기약 $GL(V)$-모듈을 규명하며, $\dim V \geq 3$ 이고 $d \geq 2$ 이면, $d=3$ 일 때는 $S_{(7,3,2)}V^*$ 와 대응하고, 그 외에는 $\bigoplus_{j=2}^{d} S_{(d^2-j,d,j)}V^*$ 와 대응함을 보여준다.

ABSTRACT

The Chow variety of polynomials that decompose as a product of linear forms has been studied for more than 100 years. Brill, Gordon and others obtained set-theoretical equations for the Chow variety. In this article, I compute Brill's equations as a GL(V)-module.

연구 동기 및 목표

• 초 Chow 다양체의 차수-$d$ 다항식에 대한 Brill의 집합론적 방정식의 구조를 $GL(V)$-모듈로로 규명하는 것.
• GL(V) 작용 하에서 초 Chow 다양체를 정의하는 방정식들의 공간의 표현론적 분해를 이해하는 것.
• 초 Chow 다양체의 이상의 차수 $d+1$ 성분에 나타나는 기약 $GL(V)$-모듈이 무엇인지 규명하는 열린 문제를 해결하는 것.
• 초 Chow 다양체가 완전교차가 아님을 증명하기 위해 코드미니멀과 모듈의 차원을 비교하는 것.
• 최고 무게 벡터와 내적 기법을 사용하여 Brill의 방정식을 모듈 이론적으로 명시적으로 기술하는 것.

제안 방법

• Brill의 다항식 사상 $\mathfrak{B}$ 의 극화 $\bar{\mathfrak{B}}$ 를 구성하여, $S^{d+1}(S^dV)$ 에서 $S_{(d,d)}V \otimes S^{d^2 - d}V$ 로 가는 $GL(V)$-모듈 사상으로 전환하는 것.
• Pieri의 규칙을 사용하여 타깃 공간을 기약 $GL(V)$-모듈의 직합 $\bigoplus_{j=0}^d S_{(d^2 - j, d, j)}V$ 로 분해하는 것.
• 최고 무게 벡터를 정의하고 올리는 연산자를 사용하여 $S^{d+1}(S^dV)$ 내의 무게 벡터 $v_j$ 를 구성하는 것.
• $\bar{\mathfrak{B}}$ 에서 $v_j$ 의 상을 계산하고, 힐버트 내적을 사용하여 각 기약 성분 $S_{(d^2 - j, d, j)}V$ 로의 투영을 수행하는 것.
• 동형성 성분 간의 수직성과 명시적 내적 계산을 통해 투영이 비영이 되는 조건을 규명하는 것.
• Proposition 3.15 와 Lemma 3.16 를 적용하여, $\langle \bar{\mathfrak{B}}(v_j), \tilde{v}_j \rangle \neq 0$ 이 되는 것은 $j \geq 2$ 이거나 $j=3$ 이고 $d=3$ 일 때에만 성립함을 보여주며, 최종적인 모듈 분해를 이끌어내는 것.

실험 결과

연구 질문

• RQ1 초 Chow 다양체 $Ch_d(V)$ 의 이상의 차수 $d+1$ 성분에 포함되는 기약 $GL(V)$-모듈은 무엇인가?
• RQ2 Brill의 고전적 집합론적 방정식은 표현론적으로 어떻게 $GL(V)$-모듈로 재해석될 수 있는가?
• RQ3 차수-$d$ 분해 가능한 다항식의 초 Chow 다양체를 정의하는 방정식들의 공간의 정확한 $GL(V)$-모듈 구조는 무엇인가?
• RQ4 왜 초 Chow 다양체는 완전교차가 아니며, 이는 방정식 모듈의 차원과 어떻게 관련이 있는가?
• RQ5 주어진 기약 $GL(V)$-모듈 $S_{(d^2 - j, d, j)}V$ 가 Brill의 사상의 상에 포함되는 조건은 무엇인가?

주요 결과

• 차수 $3$ 일 때, 초 Chow 다양체 $Ch_3(V)$ 의 차수 $4$ 방정식은 $GL(V)$-모듈로서 $S_{(7,3,2)}V^*$ 와 동형이다.
• 차수 $d \neq 3$ 일 때, 차수 $d+1$ 방정식은 $GL(V)$-모듈로서 $\bigoplus_{j=2}^{d} S_{(d^2 - j, d, j)}V^*$ 와 동형이다.
• $S_{(7,3,2)}\mathbb{C}^{*3}$ 의 차원은 $35$ 이고, $Ch_3(\mathbb{C}^3)$ 의 코드미니멀은 $3$ 이므로, 다양체는 완전교차에서 매우 멀리 떨어져 있음을 보여준다.
• 방정식의 차원의 주요 항은 $\frac{d^7}{2}$ 이며, $Ch_d(\mathbb{C}^3)$ 의 코드미니멀은 $\frac{d^2}{2}$ 로 증가하므로, 완전교차가 아님을 확인한다.
• $S_{(d^2, d)}V$ 와 $S_{(d^2 - 1, d, 1)}V$ 는 각각 $j=0$ 과 $j=1$ 에 대응하여 Brill의 사상의 상에 포함되지 않는다.
• $\bar{\mathfrak{B}}(v_j)$ 가 $S_{(d^2 - j, d, j)}V$ 로의 투영이 비영이 되는 것은 $j \geq 2$ 이거나 $j=3$ 이고 $d=3$ 일 때에만 성립하며, 이는 전체 모듈 분해를 결정한다.