[논문 리뷰] Toric Hyperkahler Varieties

Tamás Hausel, Bernd Sturmfels|ArXiv.org|2002. 03. 11.

Algebraic structures and combinatorial models참고 문헌 16인용 수 76

한 줄 요약

이 논문은 리만-라이프슈츠 링과 선형 매개변수 시스템의 몫인 매트로이드의 스탠리-라이프슈츠 링과 동형인 코homology 링을 가진 토릭 하이퍼카일러 다양체를 완전교차로 정의하는 조합론적이고 기하학적인 이론을 개발한다. 주요 기여는 고전적인 토릭 결과(예: 하드 레프슈츠 정리, 볼륨 다항식)를 하이퍼카일러 설정으로 확장하는 통합된 코homological 기술을 제공하는 것으로, 퀼레 다양체와 ALE 공간에의 응용을 포함한다.

ABSTRACT

Extending work of Bielawski-Dancer and Konno, we develop a theory of toric hyperkahler varieties, which involves toric geometry, matroid theory and convex polyhedra. The framework is a detailed study of semi-projective toric varieties, meaning GIT quotients of affine spaces by torus actions, and specifically, of Lawrence toric varieties, meaning GIT quotients of even-dimensional affine spaces by symplectic torus actions. A toric hyperkahler variety is a complete intersection in a Lawrence toric variety. Both varieties are non-compact, and they share the same cohomology ring, namely, the Stanley-Reisner ring of a matroid modulo a linear system of parameters. Familiar applications of toric geometry to combinatorics, including the Hard Lefschetz Theorem and the volume polynomials of Khovanskii-Pukhlikov, are extended to the hyperkahler setting. When the matroid is graphic, our construction gives the toric quiver varieties, in the sense of Nakajima.

연구 동기 및 목표

• 토릭 기하학, 매트로이드 이론, 볼록 다면체를 이용하여 토릭 하이퍼카일러 다양체에 대한 종합적인 이론을 개발하는 것.
• 토릭 하이퍼카일러 다양체의 코homology 링을 특성화하고, 이가 코어와 로렌스 토릭 다양체의 것과 일치함을 보이는 것.
• 고전적인 토릭 기하학 결과(예: 하드 레프슈츠 정리, 호반스키-푸크리코프의 볼륨 다항식)를 하이퍼카일러 설정으로 확장하는 것.
• 토릭 하이퍼카일러 다양체가 스스로 토릭 다양체가 되는 조건을 명확히 하고, 이와 퀄레 다양체 및 ALE 공간과 연결하는 것.

제안 방법

• 반사적 토릭 다양체를 기반으로 하며, 아벨 군 작용에 의한 복소 벡터 공간의 GIT 몫으로 정의된다.
• 로렌스 토릭 다양체는 심플렉틱 토르스 작용에 의한 짝수차원 아핀 공간의 GIT 몫으로 정의되며, 하이퍼카일러 다양체의 배경 공간으로 기능한다.
• 토릭 하이퍼카일러 다양체는 하이퍼카일러 몫 구성에서 유도된 이항식을 통해 로렌스 토릭 다양체 내의 완전교차로 정의된다.
• 코homology 링은 매트로이드의 스탠리-라이프슈츠 링을 매트로이드 이상수와 선형 매개변수 시스템의 몫으로 계산한다.
• 코생성자(co-generators)를 이용한 이중 표현을 개발하여, 이들이 비유계 다면체의 유계 면의 볼륨 다항식과 일치함을 밝힌다.
• 이론을 적용하여 하드 레프슈츠 사상의 단사성을 보이고, 토릭 하이퍼카일러 다양체가 이의 로렌스 토릭 다양체의 토릭 부분다양체가 되는 조건을 이항 이상수를 통해 특성화한다.

실험 결과

연구 질문

• RQ1 토릭 하이퍼카일러 다양체가 스스로 토릭 다양체가 되는 조건은 무엇인가?
• RQ2 토릭 하이퍼카일러 다양체, 로렌스 토릭 다양체, 그리고 그 코어의 코homology 링은 어떻게 관련이 있는가?
• RQ3 고전적인 토릭 결과(예: 하드 레프슈츠 정리)는 하이퍼카일러 설정으로 확장될 수 있는가?
• RQ4 매트로이드 이론과 초평면 배열은 이러한 다양체의 위상에 어떤 역할을 하는가?
• RQ5 토릭 하이퍼카일러 다양체가 언제 퀄레 다양체가 되며, 그 기하학적 구조는 무엇인가?

주요 결과

• 토릭 하이퍼카일러 다양체의 코homology 링은 매트로이드의 스탠리-라이프슈츠 링을 매트로이드 이상수와 선형 매개변수 시스템의 몫으로 동형이다.
• 토릭 하이퍼카일러 다양체, 그 배경인 로렌스 토릭 다양체, 그리고 코어의 코homology 링은 모두 서로 동형이다.
• 행렬 $ A $ 가 유니모듈라일 경우, 코homology 링은 $ \mathbb{Z}[x_1,\dots,x_n]/(M^*(\mathcal{A}) + \mathrm{Circ}(\mathcal{A})) $ 와 동형이며, 이 경우 다양체는 매끄럽다.
• 코어 $ C(A^\pm,\theta) $ 는 사영적이고 일반적으로는 기약가능하지 않으며, 기약 성분은 사영적 토릭 오비폴드이다.
• 토릭 하이퍼카일러 다양체가 그 배경인 로렌스 토릭 다양체의 토릭 부분다양체가 되는 것은, 갈레 쌍대 구성이 원점을 통과하는 $ n-d $ 개의 일차 독립 직선 위에 놓여 있을 때이고, 그 때에만 성립한다.
• 행렬 $ A: \mathbb{Z}^3 \to \mathbb{Z}, (u_1,u_2,u_3) \mapsto u_1+u_2+u_3 $ 이고 $ \theta \neq 0 $ 일 경우, 다양체 $ Y(A,\theta) $ 는 $ \mathbb{P}^2 $ 의 코탄젠트 벡터 장과 동형이다.