[논문 리뷰] Singularities of Richardson varieties

Allen Knutson, Alexander Woo외 1명|arXiv (Cornell University)|2012. 09. 19.

Advanced Algebra and Geometry참고 문헌 9인용 수 5

한 줄 요약

이 논문은 리처드슨 다양체 — 슈베르트 다양체와 반대 슈베르트 다양체의 교차 — 의 국소 특이성 성질이 해당 슈베르트 다양체가 특정 슈베르트 세포와 반대 슈베르트 세포에서 가지는 국소 기하학에 의해 완전히 결정됨을 증명한다. 이는 국소 불변량이 곱 조건을 만족할 경우 각 개별 슈베르트 다양체의 불변량에 대한 함수로 행동함을 보여주는 인수분해 정리이다. 이는 리처드슨 다양체의 특이성 연구를 슈베르트 다양체의 특이성 연구로 환원한다.

ABSTRACT

We give a short proof that essentially all questions concerning singularities of Richardson varieties reduce to corresponding questions about Schubert varieties. Consequently, we quickly deduce some new and previously known results.

연구 동기 및 목표

• 일반화된 플라그 다양체 내 리처드슨 다양체의 국소 특이성 구조를 이해하기 위해.
• 리처드슨 다양체의 특이성에 관한 질문들을 해당 슈베르트 다양체에 대한 질문들로 환원하기 위해.
• 슈베르트 다양체와 반대 슈베르트 다양체에서의 행동에 기반하여 리처드슨 다양체의 국소 불변량에 대한 일반적 인수분해 원리를 수립하기 위해.
• 리처드슨 다양체에 대해 매끄러움, 정규성, 코hen–맥컬레이성, 유리 특이성 등의 성질을 유일한 프레임워크로 유추하기 위한 틀을 제공하기 위해.
• 국소 동형과 T-불변성을 이용하여 기존의 리처드슨 다양체 특이성 결과에 대한 새로운 짧은 증명을 제공하기 위해.

제안 방법

• 점 xP ∈ X_w^v 가 특정 슈베르트 세포 BσP/P 와 반대 슈베르트 세포 B_-τP/P 의 교차에 있을 때, xP 근방의 리처드슨 다양체와 슈베르트 다양체 및 반대 슈베르트 다양체의 국소 차트의 곱 사이에 국소 T-불변 동형사상(아핀 공간과의 곱을 제외하고)을 도입한다.
• 아핀 공간과의 곱을 유지하면서, 곱 조건 f_P(X×Y) = f_P(P(x,X), P(y,Y)) 를 만족하는 국소 불변량의 클래스 P 를 정의한다.
• 모든 점 xP ∈ X_w^v 가 슈베르트 세포 BσP/P 와 반대 슈베르트 세포 B_-τP/P 의 교차에 있을 때, xP 에서의 불변량 P 는 X_w 에서 σP 에서의 불변량과 X^v 에서 τP 에서의 불변량에 f_P 를 적용한 결과와 같다.
• 행렬 표현과 행 연산(상향 및 하향 스위핑)을 사용하여, B 와 B_- 작용에 의한 이미지인 η₁(x) 과 η₂(x) 에서의 원소들로부터 일반적인 행렬 원소들을 재구성한다.
• 열에 대해 귀납법을 사용하고 1의 위치 상대적 위치에 기반한 케이스 분석을 통해, 행렬 x 의 원소들이 η₁(x) 과 η₂(x) 의 원소들에 대한 다항식으로 복원 가능하다는 것을 증명한다.
• 인수분해 결과를 적용하여 리처드슨 다양체의 매끄러움, 정규성, 코hen–맥컬레이성, 유리 특이성에 대한 결과를 도출한다.

실험 결과

연구 질문

• RQ1 리처드슨 다양체 X_w^v 의 점 xP 에서의 국소 특이성 성질은 슈베르트 다양체 X_w 와 반대 슈베르트 다양체 X^v 의 국소 기하학에 어떻게 의존하는가?
• RQ2 리처드슨 다양체의 특이성은 국소 인수분해 원리를 통해 슈베르트 다양체의 특이성으로 완전히 환원될 수 있는가?
• RQ3 리처드슨 다양체의 어떤 불변량들이 해당 슈베르트 다양체와 반대 슈베르트 다양체의 불변량들에 의해 결정되는가?
• RQ4 리처드슨 다양체의 국소 불변량이 구성 요소 슈베르트 다양체의 불변량을 통해 분해되는 조건은 무엇인가?
• RQ5 비 T-고정점 근처의 리처드슨 다양체의 국소 구조는 슈베르트 다양체와 반대 슈베르트 다양체의 국소 구조만으로 기술될 수 있는가?

주요 결과

• 리처드슨 다양체 X_w^v 의 점 xP 에서의 국소 특이성 유형은 xP 를 포함하는 슈베르트 세포에서의 슈베르트 다양체 X_w 의 국소 불변량과 xP 를 포함하는 반대 슈베르트 세포에서의 반대 슈베르트 다양체 X^v 의 국소 불변량에 의해 완전히 결정된다.
• X_w^v 의 특이점 집합은 X_w 와 X^v 의 특이점 집합의 교차인 X_w ∩ X^v 와 X^v 와 X_w 의 특이점 집합의 교차인 X^v ∩ X_w 의 합집합이다.
• 리처드슨 다양체는 슈베르트 다양체에서 유도된 불변량의 인수분해 결과로 인해 정규이고 코헨–맥컬레이이며 유리 특이성을 가진다.
• 리처드슨 다양체의 점에서의 국소 링의 힐버트–샘플 곱과 H다항식은 슈베르트 다양체와 반대 슈베르트 다양체에서의 해당 불변량에 대한 함수로 분해된다.
• 증명 과정에서, X_w^v 의 점 xP 근방과 X_w 와 X^v 의 국소 차트의 곱 사이에 T-불변 국소 동형사상(아핀 공간과의 곱을 제외하고)이 존재함을 보여, 불변량의 인수분해를 설명한다.
• 이 결과는 순수 특이성 이론을 넘어서 상대 불변량, 예를 들어 국소 T-불변 코homology 클래스 등에도 적용 가능하여 적용 범위를 넓힌다.