[논문 리뷰] Hessenberg varieties and hyperplane arrangements

Takuro Abe, Tatsuya Horiguchi외 3명|Osaka City University (Osaka City University)|2016. 11. 01.

Advanced Combinatorial Mathematics참고 문헌 28인용 수 16

한 줄 요약

이 논문은 복소 단순 리 군의 양근에서 내림 아이디얼을 갖는 초평면 배치의 로그 도함수 모듈과 관련된 계수화된 링과 정규 노름형 및 정규 단순형 허센베르그 다양체의 코homology 사이에 깊은 동형관계를 수립한다. 주요 결과는 보렐의 정리 일반화 및 특이 허센베르그 다양체에 대한 하드 레프셰츠 성질과 호지-리만 관계를 증명하며, 오랫동안 남아 있던 추측을 해결하고, B, C, G 유형에서의 명시적 표현을 제공한다.

ABSTRACT

Given a semisimple complex linear algebraic group $G$ and a lower ideal $I$ in positive roots of $G$, three objects arise: the ideal arrangement $\mathcal{A}_I$, the regular nilpotent Hessenberg variety $\mbox{Hess}(N,I)$, and the regular semisimple Hessenberg variety $\mbox{Hess}(S,I)$. We show that a certain graded ring derived from the logarithmic derivation module of $\mathcal{A}_I$ is isomorphic to $H^*(\mbox{Hess}(N,I))$ and $H^*(\mbox{Hess}(S,I))^W$, the invariants in $H^*(\mbox{Hess}(S,I))$ under an action of the Weyl group $W$ of $G$. This isomorphism is shown for general Lie type, and generalizes Borel's celebrated theorem showing that the coinvariant algebra of $W$ is isomorphic to the cohomology ring of the flag variety $G/B$. This surprising connection between Hessenberg varieties and hyperplane arrangements enables us to produce a number of interesting consequences. For instance, the surjectivity of the restriction map $H^*(G/B) o H^*(\mbox{Hess}(N,I))$ announced by Dale Peterson and an affirmative answer to a conjecture of Sommers-Tymoczko are immediate consequences. We also give an explicit ring presentation of $H^*(\mbox{Hess}(N,I))$ in types $B$, $C$, and $G$. Such a presentation was already known in type $A$ or when $\mbox{Hess}(N,I)$ is the Peterson variety. Moreover, we find the volume polynomial of $\mbox{Hess}(N,I)$ and see that the hard Lefschetz property and the Hodge-Riemann relations hold for $\mbox{Hess}(N,I)$, despite the fact that it is a singular variety in general.

연구 동기 및 목표

• 허센베르그 다양체와 초평면 배치 사이의 코homology 링을 통한 구조적 연결을 수립하기 위해.
• 플래그 다양체의 코homology에 관한 보렐의 정리를 허센베르그 다양체로 일반화하기 위해.
• Dale Peterson가 이전에 추측한 제약 사상 $ H^*(G/B) \to H^*(\operatorname{Hess}(N,I)) $ 의 상사상성 문제를 해결하기 위해.
• 특이성이 있는 정규 노름형 허센베르그 다양체에 대해 하드 레프셰츠 성질과 호지-리만 관계를 증명하기 위해.
• B, C, G 유형에서 $ H^*(\operatorname{Hess}(N,I)) $ 의 명시적 링 표현을 제공하여 A 유형에서 알려진 결과를 확장하기 위해.

제안 방법

• 복소 단순 리 군 $ G $ 의 양근에서 내림 아이디얼 $ I $ 를 정의하여 관련된 아이디얼 배치 $ \mathcal{A}_I $ 를 도출한다.
• 로그 도함수 모듈 $ D(\mathcal{A}_I) $ 를 구성하고, $ \theta \in D(\mathcal{A}_I) $ 와 $ Q $ 가 $ W $-불변 이차형식일 때 $ \theta(Q) $ 에 의해 생성되는 $ \mathcal{R} $ 내의 아이디얼 $ \mathfrak{a}(I) \subset \mathcal{R} $ 를 정의한다.
• 계수화된 링 $ \mathcal{R}/\mathfrak{a}(I) $ 와 $ H^*(\operatorname{Hess}(N,I)) $ 사이의 동형관계, 그리고 $ \mathcal{R}/\mathfrak{a}(I) $ 와 $ H^*(\operatorname{Hess}(S,I))^W $ (정규 단순형 허센베르그 다양체의 $ W $-불변 코homology) 사이의 동형관계를 수립한다.
• 다항식 링 $ \mathcal{R} = \operatorname{Sym}(\hat{T} \otimes \mathbb{R}) $ 와 와일 군 $ W $ 의 작용을 이용하여 불변량과 코homology 관계를 분석한다.
• 뉴턴-오쿠누코프 체와 체적 다항식 이론을 적용하여, 미분 연산자에 의해 유도된 판별식의 상 $ P_I $ 를 해석한다.
• 특이성이 없는 콤���트 프로젝티브 다양체인 $ \operatorname{Hess}(S,I) $ 는 카일러 구조를 지니므로 하드 레프셰츠 성질과 호지-리만 관계를 유추할 수 있고, 이를 동형관계를 통해 $ \operatorname{Hess}(N,I) $ 로 전이시킨다.

실험 결과

연구 질문

• RQ1 초평면 배치의 로그 도함수 모듈과 허센베르그 다양체의 코homology 사이에 코homological 동형관계가 존재하는가?
• RQ2 특이적인 정규 노름형 허센베르그 다양체에 대해 하드 레프셰츠 성질이 성립하는가?
• RQ3 $ \operatorname{Hess}(N,I) $ 의 코homology 링은 B, C, G 유형에서 명시적으로 표현될 수 있는가?
• RQ4 Dale Peterson의 추측에 따르면 제약 사상 $ H^*(G/B) \to H^*(\operatorname{Hess}(N,I)) $ 는 상사상인가?
• RQ5 일반적으로 특이성을 지닌 $ \operatorname{Hess}(N,I) $ 에 대해 호지-리만 관계가 성립하는가?

주요 결과

• 코homology 링 $ H^*(\operatorname{Hess}(N,I)) $ 는 $ \mathcal{R}/\mathfrak{a}(I) $ 와 동형이며, 이는 허센베르그 다양체로 보렐의 정리를 일반화한다.
• 제약 사상 $ H^*(G/B) \to H^*(\operatorname{Hess}(N,I)) $ 의 상사상성은 주요 동형관계의 직접적 결과로 도출된다.
• 모든 내림 아이디얼 $ I $ 에 대해 $ H^*(\operatorname{Hess}(N,I)) \cong H^*(\operatorname{Hess}(S,I))^W $ 의 동형관계가 성립하며, 이는 이전에 알려진 A 유형 결과를 확장한다.
• B, C, G 유형에서 $ H^*(\operatorname{Hess}(N,I)) $ 의 명시적 링 표현이 구성되었으며, 이는 이전에 알려지지 않은 결과이다.
• 체적 다항식 $ P_I $ 를 통해 $ \operatorname{Hess}(N,I) $ 의 체적 다항식이 식별되었으며, 이는 판별식에 대한 미분 연산자로부터 유도된다.
• 특이성에도 불구하고 $ \operatorname{Hess}(N,I) $ 는 $ \operatorname{Hess}(S,I) $ 로부터 유도된 카일러 구조를 통해 양의 차원에서 하드 레프셰츠 성질과 호지-리만 관계를 유지한다.