[논문 리뷰] Affine pavings of regular nilpotent Hessenberg varieties and intersection theory of the Peterson variety

Erik Insko, Julianna Tymoczko|arXiv (Cornell University)|2013. 09. 02.

Advanced Combinatorial Mathematics참고 문헌 30인용 수 7

한 줄 요약

이 논문은 모든 리 계열에 대해 정규 불량성 히essen베르그 다양체에 대한 애핀 편법을 수립하여 그의 호모로지 계산을 위한 기하적 도구를 제공한다. 교차 이론을 사용하여 페트슨 다양체의 호모로지가 전체 플래그 다양체로의 포함에 의해 단사임을 증명하며, 이를 스슈베르트 기저 클래스의 선형 조합으로 전개함으로써 이 전개에서 일부 계수를 명시적으로 특정한다. 이는 스슈베르트 계산학과 히essen베르그 다양체의 위상수학에서 핵심적인 결과이다.

ABSTRACT

This paper describes a paving by affines for regular nilpotent Hessenberg varieties in all Lie types, namely a kind of cell decomposition that can be used to compute homology despite its weak closure conditions. Precup recently proved a stronger result; we include ours because we use different methods. We then use this paving to prove that the homology of the Peterson variety injects into the homology of the full flag variety. The proof uses intersection theory and expands the class of the Peterson variety in the homology of the flag variety in terms of the basis of Schubert classes. We explicitly identify some of the coefficients of Schubert classes in this expansion, which is a problem of independent interest in Schubert calculus.

연구 동기 및 목표

• 모든 리 계열에서 정규 불량성 히essen베르그 다양체에 대한 애핀 편법을 구성하여 호모로지 계산을 가능하게 한다.
• 페트슨 다양체가 플래그 다양체에 포함될 때 그 호모로지에 대한 포함 사상이 단사임을 기하학적으로 증명한다.
• 스슈베르트 기저 클래스를 사용하여 플래그 다양체의 호모로지에서 페트슨 다양체의 클래스를 전개하는 문제를 다룬다. 이는 스슈베르트 계산학에서 별개의 관심사이다.
• 페트슨 다양체 클래스의 스슈베르트 전개에서 명시적인 계수를 특정하여 그 기하학적 및 코homological 구조에 대한 이해를 향상시킨다.
• 프리쿠프의 방법과는 다릅니다. 교차 이론과 편법 분해를 사용하여 히essen베르그 다양체의 위상수학을 연구하는 방법을 제공한다.

제안 방법

• 히essen베르그 조건에 적합한 바이알리니키-비르울라 유형의 분해를 사용하여 정규 불량성 히essen베르그 다양체의 애핀 편법을 구성한다.
• 편법을 사용하여 등변 형식성과 호모로지에서 기하학적 기본 클래스의 존재를 증명한다.
• 고전적 교차 이론을 적용하여 스슈베르트 다양체와 페트슨 다양체의 편법 세포의 폐포 사이의 교차에서 점의 수를 세는 데 사용한다.
• 교차 다중도를 통해 페트슨 다양체의 각 편법 세포의 호모로지 클래스를 스슈베르트 기저 클래스로 분해한다.
• 얻어진 전개를 사용하여 페트슨 다양체에서 플래그 다양체로의 호모로지 사상이 단사임을 보인다.
• 편법 세포와 관련된 특정 행렬의 행렬식을 명시적으로 계산하여 교차 수가 0이 아님을 확인한다.

실험 결과

연구 질문

• RQ1 모든 리 계열에서 정규 불량성 히essen베르그 다양체에 대해 애핀 공간의 편법을 구성할 수 있는가?
• RQ2 페트슨 다양체가 전체 플래그 다양체에 포함될 때 호모로지에 대한 포함 사상이 단사인가?
• RQ3 페트슨 다양체의 호모로지 클래스는 플래그 다양체의 스슈베르트 기저 클래스로 어떻게 전개할 수 있는가?
• RQ4 페트슨 다양체 클래스의 스슈베르트 전개에서의 명시적 계수는 무엇인가?
• RQ5 교차 이론을 사용하여 페트슨 다양체에서 플래그 다양체로의 호모로지 사상의 단사성을 기하학적으로 검증할 수 있는가?

주요 결과

• 모든 리 계열에서 정규 불량성 히essen베르그 다양체에 대해 애핀 편법이 구성되었으며, 이는 등변 형식성과 기하학적 기본 클래스의 존재를 증명한다.
• 페트슨 다양체가 플래그 다양체에 포함될 때 호모로지에 대한 포함 사상이 교차 이론적 방법으로 단사임을 증명하였다.
• 페트슨 다양체의 클래스는 플래그 다양체의 호모로지에서 스슈베르트 기저 클래스의 선형 조합으로 전개되며, 일부 항에 대해 명시적인 계수가 계산되었다.
• 항등원에 대응하는 스슈베르트 기저 클래스의 계수는 1이며, 다른 계수는 0이 아닌 교차 수에 의해 결정된다.
• 편법 세포에서 유도된 특정 행렬의 행렬식을 사용하여 교차의 비퇴화성을 검증하였으며, 이는 스슈베르트 전개에 대한 비영 기여를 확인한다.
• 이 방법은 하라다-티모체코의 이전의 조합론적 결과에 대해 기하학적 해석을 제공하며, 위상수학적 및 교차 이론적 기반을 강화한다.