[논문 리뷰] Complete Homogeneous Varieties via Representation Theory

Francesco Cavazzani|arXiv (Cornell University)|2016. 03. 31.

Advanced Combinatorial Mathematics참고 문헌 30인용 수 3

한 줄 요약

이 논문은 표현 이론을 이용하여 동차 다양체의 매개수 공간에 대한 새로운 콪팩티피케이션을 제안하며, 완전 쌍선형성 구성의 일반화를 포함한다. $ SL_{N+1} $의 기약 표현에서 $ H $-불변 부분공간의 차원에 따라 의존하는 딜레이터의 부피 공식을 유도하고, $ SL_2 $-불변성을 $ SL_4 $에서 명시적으로 계산하여 $ \mathbb{P}^3 $에서의 비틀린 삼차 곡선에 대한 명시적 추측 기하학적 결과를 가능하게 한다. 이 작업은 모듈리 공간과 연결되며, 교차 이론과 추측 기하학에의 적용을 제안한다.

ABSTRACT

Given an algebraic variety $X\subset\mathbb{P}^N$ with stabilizer $H$, the quotient $PGL_{N+1}/H$ can be interpreted a parameter space for all $PGL_{N+1}$-translates of $X$. We define $X$ to be a $ extit{homogeneous variety}$ if $H$ acts on it transitively, and satisfies a few other properties, such as $H$ being semisimple. Some examples of homogeneous varieties are quadric hypersurfaces, rational normal curves, and Veronese and Segre embeddings. In this case, we construct new compactifications of the parameter spaces $PGL_{N+1}/H$, obtained compactifying $PGL_{N+1}$ to the classically known space of extit{complete collineations}, and taking the G.I.T. quotient by $H$, and we will call the result space of extit{complete homogeneous varieties}; this extends the same construction for quadric hypersurfaces in [36]. We establish a few properties of these spaces: in particular, we find a formula for the volume of divisors that depends only on the dimension of $H$-invariants in irreducible representations of $SL_{N+1}$. We then develop some tools in invariant theory, combinatorics and spline approximation to calculate such invariants, and carry out the entire calculations for the case of $SL_2$-invariants in irreducible representations of $SL_4$, that gives us explicit values for the volume function in the case of $X$ being a twisted cubic. Afterwards, we focus our attention on the case of twisted cubics, giving a more explicit description of these compactifications, including the relation with the previously known moduli spaces. In the end, we make some conjectures about how the volume function might be used in solving some enumerative problems.

연구 동기 및 목표

• 완전 쌍선형성과 GIT 몫을 이용하여 동차 다양체에 대한 매개수 공간 $ PGL_{N+1}/H $ 의 새로운 콱팩티피케이션을 구성하기.
• SL_{N+1}의 기약 표현에서의 $ H $-불변 부분공간의 차원에 따라 의존하는, 이 콱팩티피케이션된 공간 위의 딜레이터 부피에 대한 공식을 개발하기.
• $ SL_4 $의 표현에서 $ SL_2 $-불변성을 사용하여 $ \mathbb{P}^3 $에서의 비틀린 삼차 곡선의 경우에 부피 함수를 명시적으로 계산하기.
• 콩팩티피케이션을 알려진 모듈리 공간과 연결하고, 모듈러 해석을 제공하기.
• 부피 함수가 추측 문제를 해결하는 데 사용될 수 있는지 탐색하기, 특히 혼합 교차 곱과 고차원 사이클을 포함하여.

제안 방법

• PGL_{N+1}를 완전 쌍선형성의 공간으로 콱팩티피케이션하고, 그 후 $ H $에 대한 GIT 몫을 취하여 완전한 동차 다양체의 공간을 얻기.
• 표현 이론을 사용하여 딜레이터의 부피를 $ SL_{N+1} $의 기약 표현에서의 $ H $-불변 부분공간 차원인 $ \dim (V_\lambda^*)^H $ 의 함수로 표현하기.
• 불변 이론과 생성 함수를 적용하여 $ H $-불변성을 계산하고, 특히 $ SL_4 $-표현에서 $ H = SL_2 $ 가 작용하는 경우에 중점을 두기.
• 벡터 분할 함수와 스플라인 근사 기법을 사용하여 불변성의 渐近적 행동 분석하기.
• 비틀린 삼차 곡선의 경우에 대해 콱팩티피케이션된 공간 $ \Omega_3 $ 의 두 가지 분할을 구성하고, 부피 함수의 칸들 식별하기.
• 좌표환 $ R = \mathbb{C}[G/H]^U $ 의 $ \Lambda_G $-중요한 대수에 대한 평가를 사용하여 경계 딜레이터와 그 기하학적 의미를 연구하기.

실험 결과

연구 질문

• RQ1 표현 이론적 방법을 사용하여 동차 다양체에 대한 매개수 공간 $ PGL_{N+1}/H $ 는 어떻게 콱팩티피케이션할 수 있는가?
• RQ2 콩팩티피케이션된 공간 위의 딜레이터 부피에 대한 정확한 공식은 무엇이며, $ SL_{N+1} $-표현에서의 $ H $-불변 부분공간에 어떻게 의존하는가?
• RQ3 비틀린 삼차 곡선에 대한 경우에 부피 함수는 명시적으로 계산할 수 있는가, 그리고 그것이 어떤 추측 기하학적 정보를 담고 있는가?
• RQ4 부피 함수의 칸들은 콱팩티피케이션된 모듈리 공간의 기하학과 교차 이론과 어떻게 관련되어 있는가?
• RQ5 부피 함수와 관련된 평가를 사용하여 혼합 교차 곱과 고차원 사이클을 계산할 수 있는가?

주요 결과

• 완전한 동차 다양체의 콱팩티피케이션된 공간 위의 딜레이터 부피는 $ SL_{N+1} $의 기약 표현에서의 $ H $-불변 부분공간 차원 $ \dim (V_\lambda^*)^H $ 에만 의존하는 공식으로 주어진다.
• 비틀린 삼차 곡선에 대한 경우, $ SL_4 $-표현에서의 $ SL_2 $-불변성을 사용하여 부피 함수를 명시적으로 계산하였으며, 구체적인 수치 값을 도출하였다.
• 부피 함수는 매개수 공간의 서로 다른 칸에서 서로 다른 표현식을 가지며, 이는 경계 딜레이터의 구조 변화를 반영하고 교차 곱의 계산을 가능하게 한다.
• 좌표환 $ R $ 에 대한 세 개의 중심 평가가 정확히 콱팩티피케이션된 모듈리 공간 $ M_L $ 의 세 경계 딜레이터 $ E_1, E_2, E_3 $ 와 대응되며, 이 딜레이터의 기하학적 의미를 제공한다.
• $ M_L $ 은 비틀린 삼차 곡선의 공간의 콱팩티피케이션으로서 모듈러 해석을 가지며, 부피 함수는 12개의 일반적인 이차 곡면에 접하는 비틀린 삼차 곡선의 수와 같은 추측 기하학적 자료를 담고 있다.
• 표현 이론적 임베딩과 평가를 이해하는 데 핵심적인 $ \Lambda_G $-중요한 대수 $ R = \mathbb{C}[G/H]^U $ 의 잠재적 생성자들에 대한 유한 목록을 식별하였으며, 예를 들어 $ (4,0,0), (3,0,1), (0,3,6) $ 등이 포함된다.