[논문 리뷰] A remark on hyperplane sections of rational normal scrolls

Aldo Conca, Daniele Faenzi|arXiv (Cornell University)|2017. 09. 25.

graph theory and CDMA systems참고 문헌 4인용 수 7

한 줄 요약

이 논문은 유리 정규 스크롤의 초평면 절단이 저차원의 유리 정규 스크롤이 되는 데 필요한 대수적 및 기하적 조건을 규명함으로써, 유리 정규 스크롤의 비가역적 초평면 절단이 스스로가 낮은 차원의 유리 정규 스크롤이 되는지를 완전히 분류한다. 등급 모듈 이론과 다항식환의 이상 구조를 이용하여, 초평면 절단의 스크롤 매개수 $ b_1, \dots, b_{d-1} $ 가 초평면을 정의하는 일차형식의 싸지미에 의해 결정됨을 보이며, 주요 결과는 절단이 비가역적이고 비퇴화적일 때 $ \sum b_i = \sum a_i $ 임을 밝힌다.

ABSTRACT

We present algebraic and geometric arguments that give a complete classification of the rational normal scrolls that are hyperplane section of a given rational normal scrolls.

연구 동기 및 목표

• 주어진 유리 정규 스크롤 $ S(a_1,\dots,a_d) $ 의 모든 비가역적 초평면 절단이 스스로가 유리 정규 스크롤이 되는지 분류하는 것.
• 원본 스크롤의 매개수 $ a_1,\dots,a_d $ 와 초평면 절단의 매개수 $ b_1,\dots,b_{d-1} $ 사이의 정확한 관계를 규명하는 것.
• 좌표환에서의 선형형식 $ L $ 이 초평면 절단을 다른 유리 정규 스크롤과 동형으로 만드는 데 필요한 완전한 대수적 및 기하적 특성화를 제공하는 것.

제안 방법

• 좌표환 $ R(a_1,\dots,a_d) \subset K[x,y,s_1,\dots,s_d] $ 와 $ \mathbb{Z}^2 $-등급을 사용하여 문제를 대수적으로 기술한다.
• 선형형식 $ L = f_1s_1 + \cdots + f_ds_d $ 를 degree $ (1,0) $ 인 원소로 모델링하며, 여기서 $ f_i \in A_{a_i} $ 이고, 이상 $ I = (f_1,\dots,f_d) \subset A = K[x,y] $ 를 통해 그 소수성을 분석한다.
• $ (L) $ 가 $ R(a_1,\dots,a_d) $ 에서 소 이상이 되는 것은 $ A/I $ 가 아르틴ian이 되는 것과 동치이며, 즉 $ \operatorname{codim}(I) = 2 $ 이므로 초평면 절단이 비가역적이고 최소 차수임을 보장한다.
• 해상도 $ 0 \to G \to F \to A \to 0 $ 를 구성하며, $ F = \bigoplus A(-a_i) $, $ G = \bigoplus A(-b_i) $ 이고, $ A/I $ 의 힐베르트 급수로부터 $ \sum a_i = \sum b_i $ 를 유도한다.
• 모듈 $ \operatorname{Hom}_A(F,A) $ 와 $ \operatorname{Hom}_A(G,A) $ 에 대해 쌍대성과 대칭대수 구성법을 적용하여 등급 대수 사상 $ B/(L) \to C $ 를 유도하고, degree $ (*,0) $ 성분으로 제한하여 동형 $ R(a_1,\dots,a_d)/(L) \cong R(b_1,\dots,b_{d-1}) $ 를 복원한다.
• 정점의 초평면에 대한 위치에 따라 경우를 나누어 콘으로의 확장을 분석함으로써, 콘의 초평면 절단이 기저와 동형이거나 기저 위의 콘, 또는 기저 절단 위의 콘이 되는 것을 보여준다.

실험 결과

연구 질문

• RQ1 유리 정규 스크롤 $ S(a_1,\dots,a_d) $ 의 초평면 절단이 스스로가 유리 정규 스크롤 $ S(b_1,\dots,b_{d-1}) $ 가 되는 조건은 무엇인가?
• RQ2 초평면 절단의 매개수 $ b_1,\dots,b_{d-1} $ 는 원본 스크롤의 매개수 $ a_1,\dots,a_d $ 와 어떻게 관련되어 있는가?
• RQ3 선형형식 $ L $ 에 대한 어떤 대수적 조건이 $ S(a_1,\dots,a_d) \cap H $ 가 비가역 다양체이자 최소 차수를 가지게 하는가?
• RQ4 이deals $ I = (f_1,\dots,f_d) \subset K[x,y] $ 의 싸지미 모듈의 구조가 초평면 절단의 스크롤 매개수를 어떻게 결정하는가?
• RQ5 원본 스크롤이 매끄러운 유리 정규 스크롤 위의 콘일 경우 초평면 절단은 어떻게 되는가?

주요 결과

• 유리 정규 스크롤 $ X = S(a_1,\dots,a_d) $ 의 초평면 절단 $ Y = X \cap H $ 이 $ S(b_1,\dots,b_{d-1}) $ 과 동형이 되는 것은, 선형형식 $ L = f_1s_1 + \cdots + f_ds_d $ 가 $ R(a_1,\dots,a_d) $ 에서 소 이상을 정의할 때이며, 이는 이상 $ I = (f_1,\dots,f_d) \subset K[x,y] $ 의 코드미션이 2일 때 정확히 발생한다.
• 초평면 절단의 매개수 $ b_1,\dots,b_{d-1} $ 는 수열 $ f_1,\dots,f_d $ 의 싸지미 모듈에 의해 결정되며, $ \sum_{i=1}^{d-1} b_i = \sum_{i=1}^{d} a_i $ 를 만족한다.
• 등급 $ K $-대수로서의 동형 $ R(a_1,\dots,a_d)/(L) \cong R(b_1,\dots,b_{d-1}) $ 는 해상도의 쌍대 모듈에 대한 대칭대수 구성법과 쌍대성에 의해 확립된다.
• $ S(4,5,6,9) $ 를 기준으로, 정확히 16개의 서로 다른 3차원 유리 정규 스크롤이 비가역 초평면 절단으로 나타나며, 모두 차수 24를 가진다.
• $ S(4,5,6,9) $ 의 비가역 초평면 절단의 비가역 성분으로서 나타나는 3차원 스크롤은 총 71개이며, 차수는 15에서 23까지 다양하며, 그 분포는 명시적으로 표로 정리되어 있다.
• 원본 스크롤이 콘일 경우, 초평면 절단은 정점과 초평면이 만날 때마다 기저와 동형이거나, 정점이 초평면에 포함되지 않는 경우 정점 위의 콘이나, 정점이 초평면에 포함되는 경우 기저 절단 위의 콘이 되며, 후자의 경우 제약 조건을 통해 주요 정리로 환원된다.