[논문 리뷰] $sl_2$ conformal block divisors and the nef cone of $\bar{M}_{0,n}$

David Swinarski|arXiv (Cornell University)|2011. 07. 26.

Algebraic Geometry and Number Theory참고 문헌 7인용 수 10

한 줄 요약

이 논문은 $ \mathfrak{sl}_2 $ 등각 블록 분할자(divisor)가 $ \overline{M}_{0,6} $의 전체 네프 콘 또는 $ \overline{M}_{0,9} $의 $ S_9 $-대칭 네프 콘을 생성하지 않음을, F-곡선과 다각형의 비어 있지 않은 조건을 이용한 교차 이론을 통해 보여준다. 주요 결과는 이러한 콘의 일부 극단적 반직선(extremal rays)이 광범위한 계산적 및 이론적 분석에도 불구하고 $ \mathfrak{sl}_2 $ 등각 블록 분할자의 스트레스에 속하지 않는다는 것이다.

ABSTRACT

We show that $sl_2$ conformal block divisors do not cover the nef cone of $\bar{M}_{0,6}$, or the $S_9$-invariant nef cone of $\bar{M}_{0,9}$. A key point is to relate the nonvanishing of intersection numbers between these divisors and F-curves to the nonemptiness of some explicitly defined polytopes. Several experimental results and some open problems are also included.

연구 동기 및 목표

• 모든 $ \overline{M}_{0,n} $의 네프 분할자가 $ \mathfrak{sl}_2 $ 등각 블록의 결정선다발로 유도되는지 여부를 규명하는 것.
• $ \overline{M}_{0,n} $의 $ S_n $-대칭 네프 분할자가 대칭화된 등각 블록 분할자에 의해 생성되는지 조사하는 것.
• 교차 이론적 및 다각형 방법을 통해 어떤 네프 분할자가 등각 블록 분할자인지 특성화하는 열린 문제를 해결하는 것.
• $ \mathfrak{sl}_2 $의 경우, 작은 $ n $을 초월해 등각 블록 분할자 콘의 유한 생성 여부가 아닌 근거를 제공하는 것.

제안 방법

• 등각 블록 분할자와 $ \overline{M}_{0,n} $의 효율적 곡선 사이의 교차 수를 계산하기 위해 F-곡선을 시험 곡선으로 사용한다.
• 비영 교차 수가 융합 규칙를 코딩하는 명시적으로 정의된 다각형의 비어 있지 않은 조건과 관련이 있음을 규명한다.
• Fakhruddin의 공식을 이용해 F-곡선에서의 콘넥션 기울기와 결정선다발 차수를 계산하여 교차 수를 산출한다.
• Macaulay2, ConformalBlocks, NefWiz, polymake와 같은 계산 도구를 활용해 분할자 콘을 분석하고 다각형 조건을 검증한다.
• 문제를 특정 기하학적 성질을 가진 정수 격점의 존재성으로 환원하며, Rasmussen-Walton 형식의 부등식을 활용한다.
• 대칭성 감소와 궤도 분석을 통해 $ \overline{M}_{0,6} $의 네프 콘에서 $ S_n $-궤도의 수가 많아지는 문제를 다룬다.

실험 결과

연구 질문

• RQ1 $ \mathfrak{sl}_2 $ 등각 블록 분할자가 $ \overline{M}_{0,6} $의 전체 네프 콘을 생성하는가?
• RQ2 $ S_9 $-대칭 등각 블록 분할자가 $ \overline{M}_{0,9} $의 $ S_9 $-대칭 네프 콘 전체를 커버하는가?
• RQ3 등각 블록 분할자와 F-곡선 사이의 비영 교차 수는 다각형의 비어 있지 않은 조건으로 특성화될 수 있는가?
• RQ4 모든 수준과 가중치에서 $ \mathfrak{sl}_2 $ 등각 블록 분할자 콘의 유한 생성 집합이 존재하는가?
• RQ5 일반적인 $ \mathfrak{g} $에 대해 등각 블록 번들의 질량과 차수를 다각형 내 정수 격점의 수로 표현할 수 있는가?

주요 결과

• $ \overline{M}_{0,6} $의 전체 네프 콘을 $ \mathfrak{sl}_2 $ 등각 블록 분할자가 커버하지 못함을, $ S_6 $-궤도 구조 내 비등각 블록 극단적 반직선의 존재로 입증한다.
• $ \overline{M}_{0,9} $의 경우, $ S_9 $-대칭 네프 콘은 네 개의 극단적 반직선을 가지며, 그 중 세 개는 등각 블록 분할자에 의해 스트레스되지만, 네 번째 반직선($ B_2 + B_3 + 2B_4 $에 의해 스트레스됨)은 어떤 $ \mathfrak{sl}_2 $ 등각 블록 분할자에 의해도 생성되지 않는다.
• F-곡선과의 비영 교차 수는 가중치 및 수준 제약 조건에 의해 정의된 특정 다각형의 비어 있지 않은 조건과 동치이다.
• $ \overline{M}_{0,9} $의 극단적 반직선 $ B_2 + B_3 + 2B_4 $는 $ F_{5,2,1,1} $-곡선과의 교차 수가 0이므로, 어떤 $ \mathfrak{sl}_2 $ 등각 블록 분할자에 대한 배수일 수 없다.
• 논문은 $ n=9 $에서 $ \mathfrak{sl}_2 $ 등각 블록 분할자 콘의 유한 생성 여부에 대한 계산적 증거를 제공하며, 누락된 반직선을 생성할 수 있는 유한 수준 또는 대수는 존재하지 않음을 보여준다.
• 저자들은 일반적인 알고리즘으로 주어진 네프 분할자가 등각 블록 분할자인지 여부를 결정하는 것은 여전히 불가능할 것이라 추측한다. 이는 리 대수와 수준의 무한한 매개변수 공간 때문이기 때문이다.