[논문 리뷰] Geometry of regular Hessenberg varieties

Hiraku Abe, Naoki Fujita외 1명|arXiv (Cornell University)|2017. 12. 26.

Advanced Algebra and Geometry참고 문헌 27인용 수 6

한 줄 요약

이 논문은 복소수 단순 리 군의 기약 정규 헤센베르그 다양체에서의 구조층의 고차 코homology 군이 사라진다는 것을 증명하며, 기존의 정규 측도적 헤센베르그 다양체에 대한 결과를 일반화한다. 또한 이러한 다양체의 평탄한 가속도 가속도에서의 섬유들이 스킴 이론적으로 감소되어 있음을 증명하며, Borel-Weil-Bott 이론과 국소 정의 아이디얼을 통해 코homology, Picard 군, 그리고 프로젝티브 임베딩에 응용한다.

ABSTRACT

Let $\mathfrak{g}$ be a complex semisimple Lie algebra. For a regular element $x$ in $\mathfrak{g}$ and a Hessenberg space $H\subseteq \mathfrak{g}$, we consider a regular Hessenberg variety $X(x,H)$ in the flag variety associated with $\mathfrak{g}$. We take a Hessenberg space so that $X(x,H)$ is irreducible, and show that the higher cohomology groups of the structure sheaf of $X(x,H)$ vanish. We also study the flat family of regular Hessenberg varieties, and prove that the scheme-theoretic fibers over the closed points are reduced. We include applications of these results as well.

연구 동기 및 목표

• 정규 측도적 헤센베르그 다양체에서의 고차 코homology 군의 사라짐을 정규 헤센베르그 다양체로 일반화하며, 적절한 기약성 조건 하에서 수행한다.
• 리 대수 내의 정규 원소로 매개화된 정규 헤센베르그 다양체의 평탄한 가속도를 연구한다.
• 이 가속도의 스킴 이론적 섬유들이 감소되어 있음을 증명하며, A형에서 알려진 결과를 확장한다.
• 이러한 결과를 활용하여 프로젝티브 임베딩의 체적을 계산하고, Picard 군과 두 번째 정수 코homology 군 간의 동형을 확립한다.

제안 방법

• 정규 헤센베르그 다양체를 G/B의 부분다양체로 정의하며, x가 정규이고 H가 보렐 부분대수를 포함하고 그의 수반 작용에 대해 안정적인 헤센베르그 공간일 때, Ad(g⁻¹)x ∈ H 를 조건으로 한다.
• 결과로 얻어지는 정규 헤센베르그 다양체 X(x,H)의 기약성을 확보하기 위해 H에 조건 (†)을 도입한다.
• G/B 내에서 X(x,H)의 국소 정의 아이디얼을 결정하며, [28]과 [1]의 결과를 일반화하여 국소적으로 스킴 구조를 묘사한다.
• G/B 위의 선다발의 코homology를 계산하기 위해 Borel-Weil-Bott 정리를 적용하며, 이는 X(x,H)의 구조층의 코homology를 제어한다.
• G/B × g_reg 에서 조건 Ad(g⁻¹)x ∈ H 에 대한 피보트를 통해 평탄한 가속도 X_reg(H) → g_reg 를 구성하고, 사영 π의 평탄성을 증명한다.
• 국소 정의 아이디얼과 평탄성을 이용하여, 정규 원소와 코너제이션의 성질을 활용해 모든 스킴 이론적 섬유 π⁻¹(x) 가 감소되어 있음을 증명한다.

실험 결과

연구 질문

• RQ1 기본적으로 정규 측도적 헤센베르그 다양체를 초월하여, 기약 정규 헤센베르그 다양체에서의 구조층의 고차 코homology가 사라지는가?
• RQ2 정규 원소의 공간 위에서 정규 헤센베르그 다양체의 가속도는 평탄한가, 그리고 그 섬유들은 감소되어 있는가?
• RQ3 정규 헤센베르그 다양체의 국소 정의 아이디얼은 그들의 K-이론 클래스와 코homological 불변량과 어떻게 관련되어 있는가?
• RQ4 코homological 사라짐과 감소 섬유의 결과로 이 정규 헤센베르그 다양체의 기하학과 프로젝티브 임베딩에 어떤 영향을 미치는가?
• RQ5 일반적인 정규 헤센베르그 다양체에 대해 Picard 군과 두 번째 정수 코homology 군 간의 동형이 확립될 수 있는가?

주요 결과

• X(x,H)의 구조층의 고차 코homology 군이 사라진다: Hⁱ(X,𝒪_X) = 0 for all i > 0.
• X(x,H)의 Picard 군은 그 두 번째 정수 코homology 군과 동형이다: Pic(X(x,H)) ≅ H²(X(x,H);ℤ).
• G/B 위의 코herent sheaf의 K-이론에서 X(x,H)의 클래스는 정규 원소 x의 선택과 무관하다.
• 평탄한 가속도 π: X_reg(H) → g_reg 의 모든 닫힌 점에서의 스킴 이론적 섬유는 감소되어 있다.
• G/B 에서 매우 넓은 선다발을 통해 X(x,H)의 프로젝티브 임베딩의 체적은 평탄한 가속도와 코homological 자료를 이용해 계산된다.
• X(x,H)의 국소 정의 아이디얼이 명시적으로 결정되며, 이는 이전 결과를 일반화하고 Borel-Weil-Bott 이론을 통한 코homological 제어를 가능하게 한다.