[논문 리뷰] Images of Rational Maps of Projective Spaces

Binglin Li|arXiv (Cornell University)|2013. 10. 31.

Advanced Combinatorial Mathematics참고 문헌 6인용 수 7

한 줄 요약

이 논문은 벡터 공간의 부분공간에 대한 몫에 대한 선형 사영 사상에 의해 유도되는 프로젝티브 공간에서 프로젝티브 공간들의 곱으로의 유리 함수 사상의 폐포를 연구한다. 모듈리 함자와 초기 분해를 사용하여 다중도를 계산하고, 이미지 다양체가 코hen-맥컬레이임을 증명하며, 부분공간의 교차 차원에서 유도되는 조합론적 자료를 통해 그 힐베르트 다항식을 유도한다.

ABSTRACT

Consider a rational map from a projective space to a product of projective spaces, induced by a collection of linear projections. Motivated by the the theory of limit linear series and Abel-Jacobi maps, we study the basic properties of the closure of the image of the rational map using a combination of techniques of moduli functors and initial degenerations. We first give a formula of multi-degree in terms of the dimensions of intersections of linear subspaces and then prove that it is Cohen-Macaulay. Finally, we compute its Hilbert polynomials.

연구 동기 및 목표

• 프로젝티브 공간에서 프로젝티브 공간들의 곱으로의 유리 함수 사상의 폐포의 기하적 성질을 체계적으로 연구하는 것.
• 이전의 극한 선형 계열 및 무스타핀 분해에 대한 연구를 일반화하기 위해, 전체 교차가 비자명한 경우를 초월한 부분공간의 교차 제약 조건을 제거하는 것.
• 이미지 다양체의 다중도, 힐베르트 다항식, 그리고 코헨-맥컬레이 성질을 일반적으로 계산하는 것.
• 알gebraic geometry, 컴퓨터 비전, 그리고 algebraic statistics 분야에서 이러한 다양체를 통합적으로 이해할 수 있는 프레임워크를 제공하는 것.

제안 방법

• 요구되는 교차 조건을 만족하는 선형 부분공간의 구성의 존재성과 변형 성질을 확립하기 위해 모듈리 함자를 사용한다.
• 지정된 항 순서에 따라 초기 분해 기법을 적용하여 이미지 다양체의 초기 아이디얼을 분석한다.
• 다중도를 부분공간의 교차 차원의 차원들 $d_I = \dim(\bigcap_{i\in I} V_i)$를 포함하는 조합론적 공식을 통해 유도한다.
• 단순한 단항식 아이디얼과 그 교차를 이용한 포함-배제 원리를 통해 유한한 구성의 합집합의 힐베르트 다항식을 직접 계산함으로써, 단항식 수를 세는 방식이 아닌 방식으로 힐베르트 다항식을 계산한다.
• 세 개의 스킴인 $\mathcal{Z}_1$, $\mathcal{Z}_2$, 그리고 $X(V_1,\dots,V_n)$ 사이의 동형을 증명함으로써 스킴 이론적 등식과 코헨-맥컬레이 성질을 확립한다.

실험 결과

연구 질문

• RQ1 선형 사영 사상에 의해 유도되는 $\mathbb{P}(V)$ 에서 $\prod_{i=1}^n \mathbb{P}(V/V_i)$ 로의 유리 함수 사상의 폐포의 다중도는 무엇인가?
• RQ2 이미지 다양체 $X(V_1,\dots,V_n)$ 가 언제 코헨-맥컬레이인가?
• RQ3 이미지 다양체 $X(V_1,\dots,V_n)$ 의 힐베르트 다항식은 부분공간의 교차 조합론적 자료로 어떻게 표현할 수 있는가?
• RQ4 초기 분해의 구조는 무엇이며, 다중도와 어떻게 관련되는가?
• RQ5 이미지 다양체 $X(V_1,\dots,V_n)$ 의 기하적 성질은 극한 선형 계열, 컴퓨터 비전, 무스타핀 분해의 구성들을 어떻게 통합하는가?

주요 결과

• 다양체 $X(V_1,\dots,V_n)$ 의 차원은 $p = \max\{h : M(h) \neq \emptyset\}$ 이며, 여기서 $M(p)$ 는 교차 차원 제약 조건을 만족하는 정수 벡터의 집합이다.
• 다중도 함수는 $M(p)$ 에 속하는 정수 벡터에서만 1을 취하고, 그 외에는 0이다.
• 다양체 $X(V_1,\dots,V_n)$ 의 힐베르트 다항식은 $\sum_{S\subset M(p)}(-1)^{|S|-1}\prod_{i=1}^n \binom{u_i + \ell_{S,i}}{\ell_{S,i}}$ 로 주어지며, 여기서 $\ell_{S,i}$ 는 집합 $S$ 에서의 가장 작은 $i$-번째 성분이다.
• 다양체 $X(V_1,\dots,V_n)$ 는 $\mathcal{Z}_1$, $\mathcal{Z}_2$, 그리고 $X(V_1,\dots,V_n)$ 사이의 스킴 이론적 동형과 다중도 없는 초기 분해로의 환원을 통해 코헨-맥컬레이임을 증명하였다.
• 다양체 $X(V_1,\dots,V_n)$ 의 초기 분해는 $M(p)$ 에 따라 인덱싱된 프로젝티브 공간들의 곱 $\prod_{i=1}^n \mathbb{P}^{m_i}$ 의 합집합이며, 이들의 교차 역시 프로젝티브 공간들의 곱이다.
• 평탄한 분해에 따라 힐베르트 다항식이 보존되며, 이는 단항식 아이디얼의 성질을 이용하여 초기 분해의 구성요소에 포함-배제 원리를 적용함으로써 달성된다.