[논문 리뷰] Richardson Varieties in the Grassmannian

Victor Kreiman, V. Lakshmibai|ArXiv.org|2002. 03. 27.

Advanced Combinatorial Mathematics참고 문헌 14인용 수 11

한 줄 요약

이 논문은 그라스만이안 내의 리처드슨 다양체에 대한 표준 단항식 이론을 수립하여 고차 코homology의 퇰오리움을 증명하고, T고정점에서의 중복도에 대한 재귀적 공식을 유도하며, 리처드슨 다양체의 T고정점에서의 중복도가 해당 슈부르트 다양체와 반대 슈부르트 다양체의 중복도의 곱임을 보여준다. 이는 플루커 좌표와 고전적 피에리 공식을 사용하여 로젠탈-제레브린스키 행렬식 공식을 리처드슨 다양체로 일반화하는 데로 이어진다.

ABSTRACT

The Richardson variety $X_w^v$ is defined to be the intersection of the Schubert variety $X_w$ and the opposite Schubert variety $X^v$. For $X_w^v$ in the Grassmannian, we obtain a standard monomial basis for the homogeneous coordinate ring of $X_w^v$. We use this basis first to prove the vanishing of $H^i(X_w^v,L^m)$, $i > 0 $, $m \geq 0$, where $L$ is the restriction to $X_w^v$ of the ample generator of the Picard group of the Grassmannian; then to determine a basis for the tangent space and a criterion for smoothness for $X_w^v$ at any $T$-fixed point $e_ $; and finally to derive a recursive formula for the multiplicity of $X_w^v$ at any $T$-fixed point $e_ $. Using the recursive formula, we show that the multiplicity of $X_w^v$ at $e_ $ is the product of the multiplicity of $X_w$ at $e_ $ and the multiplicity of $X^v$ at $e_ $. This result allows us to generalize the Rosenthal-Zelevinsky determinantal formula for multiplicities at $T$-fixed points of Schubert varieties to the case of Richardson varieties.

연구 동기 및 목표

• 플루커 좌표를 사용하여 그라스만이안 내의 리처드슨 다양체에 대한 표준 단항식 이론을 개발하기.
• 리처드슨 다양체 위의 선다발에 대한 고차 코hom로지 그룹의 퇴적을 증명하기.
• 접선 공간의 기저와 T고정점에서의 매끄러움 조건을 결정하기.
• 리처드슨 다양체의 T고정점에서의 중복도에 대한 재귀적 공식을 도출하기.
• 스슈브르트 다양체 중복도에 대한 로젠탈-제레브린스키 행렬식 공식을 리처드슨 다양체로 일반화하기.

제안 방법

• 플루커 좌표를 사용하여 그라스만이안 내의 리처드슨 다양체 $X_w^v$의 동차 좌표환에 대한 표준 단항식 기저를 구성하기.
• 표준 단항식 기저를 사용하여 고전적 피에리 공식을 통해 $H^i(X_w^v, L^m) = 0$ ($i > 0$, $m \geq 0$)임을 증명하기.
• 반대 세포 $\mathcal{O}^{-}_\tau \cong \mathbb{A}^{d(n-d)}$에서 국소 구조를 분석함으로써 T고정점 $e_\tau$에서의 접선 공간을 분석하기.
• 스슈브르트 다양체와 반대 슈부르트 다양체가 스칼라 곱에 대해 불변임을 이용하여 $e_\tau$에서 $X_w^v$의 중복도에 대한 재귀적 공식을 도출하기.
• 베주 정리를 적용하여 $X_w^v$의 $e_\tau$에서의 중복도가 $X_w$와 $X^v$의 $e_\tau$에서의 중복도의 곱과 같음을 보이며, 교차 성질을 활용하기.
• 로젠탈-제레브린스키 행렬식 공식을 일반화하기 위해 $X_w^v$의 $e_\tau$에서의 중복도를 $X_w$와 $X^v$에 해당하는 두 행렬식의 곱으로 표현하기.

실험 결과

연구 질문

• RQ1 그라스만이안 내의 리처드슨 다양체의 좌표환에 대한 표준 단항식 기저는 어떻게 구성할 수 있는가?
• RQ2 리처드슨 다양체 위의 선다발의 코hom로지적 성질은 어떠한가, 특히 고차 코hom로지의 퇰오리움은 무엇인가?
• RQ3 T고정점에서 리처드슨 다양체의 접선 공간의 구조는 어떠한가, 그리고 매끄러움의 조건은 무엇인가?
• RQ4 T고정점에서 리처드슨 다양체의 중복도는 재귀적으로 계산할 수 있는가, 만약 그렇다면 그 구성 요소인 슈부르트 다양체와 반대 슈부르트 다양체의 중복도와의 관계는 어떠한가?
• RQ5 스슈브르트 다양체 중복도에 대한 로젠탈-제레브린스키 행렬식 공식은 리처드슨 다양체로 확장될 수 있는가?

주요 결과

• 그라스만이안 내의 리처드슨 다양체 $X_w^v$의 동차 좌표환은 플루커 좌표로부터 구성된 표준 단항식 기저를 갖는다.
• 선다발 $L$이 피카르 군의 앰플 생성자인 경우, 모든 $i > 0$ 및 $m \geq 0$에 대해 고차 코hom로지 그룹 $H^i(X_w^v, L^m)$이 퇴적된다.
• T고정점 $e_\tau$에서 $X_w^v$의 중복도는 반대 세포 내 국소 구조에 기반한 재귀적 공식으로 주어진다.
• T고정점 $e_\tau$에서 $X_w^v$의 중복도는 $X_w$와 $X^v$의 $e_\tau$에서의 중복도의 곱과 같으며, 즉 $\operatorname{mult}_{\tau}(X_w^v) = \operatorname{mult}_{\tau}(X_w) \cdot \operatorname{mult}_{\tau}(X^v)$이다.
• 표준 중복도 $\operatorname{mult}_{\tau}(X_w^v)$에 대한 일반화된 행렬식 공식이 유도되며, 이는 $X_w$와 $X^v$에 해당하는 두 행렬식의 곱으로 표현된다. 이 행렬식의 항은 이항계수와 조합적 가중치 $\kappa_q$ 및 $\gamma_q$를 포함한다.
• 공식은 로젠탈-제레브린스키 결과를 리처드슨 다양체로 확장하며, 행렬식 표현은 명시적으로 $i_q$, $j_q$, $\kappa_q = \#\{\tau_p \mid \tau_p > i_q\}$, 및 $\gamma_q = \#\{\tau_p \mid \tau_p < j_q\}$를 포함한다.