[논문 리뷰] Incidence relations among the Schubert cells of equivariant Hilbert Schemes

Laurent Evain|ArXiv.org|2000. 05. 23.

Matrix Theory and Algorithms인용 수 5

한 줄 요약

이 논문은 아핀 평면에서 토르 작용 하에서의 등변 Hilbert 스킴 내의 슈부르트 세포 간의 인cidenc에 대한 필수 조건을 수립한다. 각 세포에 계단형과 화살표 시스템을 부여함으로써, 한 세포의 닫힘과 다른 세포가 만날 수 있는 조건은 원래 계단형과 그 이중 계단형에 대해 호환 가능한 화살표 시스템이 존재할 때에만 성립하며, 이 조건은 고전적 그라스만이 인cidenc 규칙을 일반화하며, 작은 Hilbert 함수의 경우 충분함을 증명한다.

ABSTRACT

Let HH_{ab}(H) be the equivariant Hilbert scheme parametrizing the zero dimensional subschemes of the affine plane k^2, fixed under the one dimensional torus T_{ab}={(t^{-b},t^a), t\in k^*} and whose Hilbert function is H. This Hilbert scheme admits a natural stratification in Schubert cells which extends the notion of Schubert cells on Grassmannians. However, the incidence relations between the cells become more complicated than in the case of Grassmannians. In this paper, we give a necessary condition for the closure of a cell to meet another cell. In the particular case of Grassmannians, it coincides with the well known necessary and sufficient incidence condition. There is no known example showing that the condition wouldn't be sufficient.

연구 동기 및 목표

• 등변 Hilbert 스킴 내의 슈부르트 세포 간의 인cidenc 관계를 이해함. 이는 그라스만을 일반화하지만 더 복잡한 분할을 가짐.
• 약한 인cidenc 문제 해결: 한 슈부르트 세포의 닫힘과 다른 세포가 만날 조건은 무엇인가?
• 고전적 그라스만에서의 슈부르트 인cidenc 조건을 비-그라스만 등변 Hilbert 스킴으로 일반화함.
• 제안된 조건이 충분한지, 특히 이전 조건이 실패하는 저복잡도의 경우에서 확인함.

제안 방법

• 각 슈부르트 세포를 단항 이상과 그에 대응하는 계단형 $E \subset \mathbb{N}^2$로 표현함. 여기서 여집합은 덧셈에 대해 안정함.
• 계단형 $E$ 위에 화살표 시스템 $S$를 정의함. 각 원소 $p \in E$는 호환 조건을 만족하는 $f_p \in \mathbb{N}^2$로 매핑됨.
• 화살표 시스템의 이미지 $S(E)$를 정의함. 이는 각 $p$를 $f_p$로 대체함으로써 형성되며, 호환성 조건을 통해 계단형의 구조를 유지함.
• 이중 계단형 $E^\nu$를 도입하고, $E^\nu$ 위에 이중 화살표 시스템 $S^\nu$를 정의함. 이때 $S^\nu(E^\nu) = F^\nu$가 성립하여 $F$와의 인cidenc를 보장함.
• 조건을 사용: $\overline{C(E)} \cap C(F) \neq \emptyset$ 는 오직 $E$ 위에 $S(E) = F$를 만족하는 호환 가능한 화살표 시스템 $S$와 $E^\nu$ 위에 $S^\nu(E^\nu) = F^\nu$를 만족하는 $S^\nu$가 존재할 때에만 성립함.
• 직접적인 평탄한 가족 구성(예: $k[t]$ 위)을 통해 조건을 검증함. 인cidenc 관계를 실현하기 위해 $T_3, T_4, P_{\geq 5}$ 등의 이상을 사용함.

실험 결과

연구 질문

• RQ1 등변 Hilbert 스킴 내에서 슈부르트 세포의 닫힘과 다른 세포가 만날 수 있는 조건은 어떤 조합론적 조건인가?
• RQ2 등변 Hilbert 스킴 내의 인cidenc 조건은 고전적 그라스만에서의 슈부르트 조건과 어떻게 관련이 있는가?
• RQ3 제안된 인cidenc의 필수 조건은 특히 작은 Hilbert 함수의 경우에도 충분한가?
• RQ4 인cidenc 관계는 $k[t]$ 위의 평탄한 가족을 통해 기하학적으로 실현 가능한가?
• RQ5 계단형과 그 여집합 사이의 이중성은 인cidenc를 결정하는 데 어떤 역할을 하는가?

주요 결과

• 논문은 인cidenc에 대한 필수 조건을 수립함: $\overline{C(E)} \cap C(F) \neq \emptyset$ 는 오직 $E$ 위에 $S(E) = F$를 만족하는 호환 가능한 화살표 시스템 $S$와 $E^\nu$ 위에 $S^\nu(E^\nu) = F^\nu$를 만족하는 $S^\nu$가 존재할 때에만 성립함.
• 그라스만의 경우 이 조건은 고전적 필수 및 충분 조건으로 축소되며, 일관성을 보임.
• 작은 Hilbert 함수, 예를 들어 $H = (1,2,3,2,1,0,\dots)$ 이고 $(a,b) = (1,-1)$ 인 경우, 이 조건은 필수이자 충분하여 전체 인cidenc 관계를 완전히 해소할 수 있음.
• 직접적인 평탄한 가족을 $k[t]$ 위에 구성함으로써, $T_3, T_4, P_{\geq 5}$ 등의 이상을 사용해 $(a,e)$, $(b,d)$, $(d,f)$ 등의 인cidenc 관계를 실현함으로써 조건의 기하학적 실현 가능성을 확인함.
• 반례를 통해 $E$와 $E^\nu$ 위의 두 조건이 일반적으로 동치가 아니지만, 각각 Yameogo(2000)의 조건을 함의함을 보여, 그 중요성을 입증함.
• 특히 $H = (1,2,3,2,1,0,\dots)$ 인 경우 인cidenc 다이어그램은 완전히 결정됨: $(E,F)$가 성립하는 것은 $E$와 $F$ 사이에 얇은 화살표 또는 두꺼운 화살표의 연속이 존재할 때에만 성립함을 확인함으로써, 이 조건이 이 경우에 효과적임을 입증함.