[논문 리뷰] Multigraded Apolarity

Maciej Gałązka|arXiv (Cornell University)|2016. 01. 23.

Algebraic Geometry and Number Theory인용 수 3

한 줄 요약

이 논문은 아폴로지아 이론을 토릭 다양체로 일반화하며, 매우 충분한 선다발의 단항식의 질량, 경계 질량, 카투스 질량을 계산하기 위해 다중층 구조의 아폴로지아 프레임워크를 도입한다. 타원형화를 통해 카투스 질량에 대한 새로운 상한을 확립하고, 이 상한이 세그레-베로네제 임bedding에 대해 명시적인 공식을 도출함을 증명한다. 주요 기여는 P¹×P¹, F₁, P(1,1,4), 그리고 가짜 가중 프로젝티브 평면에서 단항식의 이러한 질량을 체계적으로 계산할 수 있는 방법을 제공하며, 카투스 질량이 경계 질량과 다를 수 있는 경우를 드러낸다.

ABSTRACT

We generalize methods to compute various kinds of rank to the case of a toric variety $X$ embedded into projective space using a very ample line bundle $\mathcal{L}$. We find an upper bound on the cactus rank. We use this to compute rank, border rank, and cactus rank of monomials in $H^0(X,\mathcal{L})^*$ when $X$ is $\mathbb{P}^1 imes \mathbb{P}^1$, the Hirzebruch surface $\mathbb{F}_1$, the weighted projective plane $\mathbb{P}(1,1,4)$, or a fake weighted projective plane.

연구 동기 및 목표

• 매우 충분한 선다발을 통해 임bed된 토릭 다양체로 고전적 아폴로지아 이론을 확장하기.
• 동차 다항식의 질량 불변량을 계산하기 위한 다중층 아폴로지아 프레임워크를 개발하기.
• 특정 토릭 표면에서 단항식의 카투스 질량, 경계 질량, 워링 질량에 대해 명시적인 상한과 하한을 제공하기.
• 특히 특이점이 있거나 가중치가 있는 설정에서 카투스 질량이 경계 질량과 부드러운 질량과 다를 수 있는 경우를 규명하기.

제안 방법

• 코크 링과 그 쌍대를 통해 선다발의 단면과 다항식 사이의 다중층 쌍대성을 도입한다.
• 코크 링 변수와 쌍대 좌표 사이의 ⌟-곱을 사용하여 다중층 아폴로지아 작용을 정의한다.
• 다중층 아폴로지아 보조정리 수립: 다항식 F가 부분다양체 R의 선형 스펜 안에 있을 때, R의 아이디얼이 F의 영수공간에 포함되어야 한다.
• 아폴로지아 작용에 의해 유도된 선형사상 Cβ_F: Sβ → Tα−β의 질량을 통해 질량 상한을 유도한다.
• 최대 콘에 대해 F를 타원형화하고, 몐레드 S/f⊥의 차원을 유계함으로써 카투스 질량에 대한 상한을 증명한다.
• 이 상한을 세그레-베로네제 임bedding에 적용하고, 힐베르트 함수와 스킴 길이 분석을 통해 정확한 질량을 계산한다.

실험 결과

연구 질문

• RQ1 고전적 아폴로지아 이론은 어떻게 다중층 구조를 가진 토릭 다양체로 일반화될 수 있는가?
• RQ2 매우 충분한 선다발에 대해 토릭 다양체의 좌표 링에서 단항식의 카투스 질량은 무엇인가?
• RQ3 코크 링의 구조를 활용하여 타원형화와 함께 카투스 질량를 유계로 제시할 수 있는가?
• RQ4 토릭 표면에서 단항식의 카투스 질량, 경계 질량, 워링 질량이 서로 다를 수 있는 경우는 언제인가?
• RQ5 P¹×P¹, 히르체브루흐 표면 F₁, P(1,1,4), 그리고 가짜 가중 프로젝티브 평면에서 단항식의 정확한 질량은 무엇인가?

주요 결과

• P¹×P¹에서 단항식의 질량은 (k₀+1)(l₁+1) + (k₁+1)(l₀+1) − (k₁+1)(l₁+1) 이하로 유계지며, 이는 이전의 유계보다 향상된 것이다.
• k₀ > k₁ 이고 l₀ > l₁ 이면, 질량은 최소 (k₁+2)(l₁+2)−1 이상이며, 특히 k₀ = k₁+1 이고 l₀ = l₁+1 이면 등호가 성립하는 경우가 있다.
• 히르체브루흐 표면 F₁에서는 경계 질량이 카투스 질량보다 엄격히 작은 단항식이 존재하여, 이 두 불변량 사이에 엄격한 분리가 일어남을 보였다.
• 가중 프로젝티브 평면 P(1,1,4)에서는 카투스 질량이 경계 질량보다 엄격히 작은 단항식이 존재하여, 특이한 토릭 다양체에서 새로운 현상을 보였다.
• 가짜 가중 프로젝티브 평면에서는 x⁴₀x₁x₂의 카투스 질량은 2이며, 그 질량은 최대 5이고 경계 질량은 2이다. 이는 카투스 질량이 질량보다 엄격히 작을 수 있음을 보여준다.