[논문 리뷰] Hyperkahler analogues of Kahler quotients

Nicholas James Proudfoot|ArXiv.org|2004. 05. 12.

Algebraic Geometry and Number Theory참고 문헌 39인용 수 11

한 줄 요약

이 논문은 컴팩트 군 작용을 가진 복소 벡공간의 코탄젠트 배럴에서 초카이러 복합체 몫을 구성함으로써 카이러 복합체 몫의 초카이러 복합체 대응을 제안한다. 원환면 등변 코homology와 적분을 통해 마틴의 정리의 초카이러 복합체 대응을 확립하여, 퀼러 변형과 하이퍼토릭 변형의 코homology 링을 계산할 수 있게 하며, 초카이러 다양체의 핵심은 원래의 카이러 복합체 몫을 성분으로 포함한다.

ABSTRACT

Let X be a Kahler manifold that is presented as a Kahler quotient of C^n by the linear action of a compact group G. We define the hyperkahler analogue M of X as a hyperkahler quotient of the cotangent bundle T^*C^n by the induced G-action. Special instances of this construction include hypertoric varieties and quiver varieties. Our aim is to provide a unified treatment of these two previously studied examples, with specific attention to the geometry and topology of the circle action on M that descends from the scalar action on the fibers of the cotangent bundle. We provide a detailed study of this action in the cases where M is a hypertoric variety or a hyperpolygon space. Most of this document consists of material from the papers math.DG/0207012, math.AG/0308218, and math.SG/0310141. Sections 2.2 and 3.5 contain previously unannounced results.

연구 동기 및 목표

• 초다형 변형과 퀄러 변형을 초카이러 복합체 몫의 초카이러 복합체 대응으로 통합적으로 다루는 것.
• T*ℂⁿ에서의 초카이러 축약을 통해 카이러 복합체 몫 X의 초카이러 복합체 대응 M을 정의하는 것.
• 적절한 순간 맵을 가진 원환면 등변 코homology에 대한 적분 이론을 개발하는 것.
• 카이러 복합체 몫의 코homology를 그 최대 원환면 몫으로 기술하는 마틴 정리의 초카이러 복합체 대응을 증명하는 것.
• 모든 퀄러 변형을 포함하는 초카이러 복합체 대응의 등변 코homology 링에 대한 계산 방법을 제공하는 것.

제안 방법

• G에 의한 T*ℂⁿ의 초카이러 몫으로서 M을 구성하며, μ₁⁻¹(α) ∩ μ₂⁻¹(0) ∩ μ₃⁻¹(0) / G로 정의한다.
• T*ℂⁿ 위의 ℂ×-작용을 이용해 M 위에 원환면 작용을 정의하고, 비콤팩트성에 대한 제어를 위해 적절한 순간 맵을 확보한다.
• M의 핵심을 원환면 작용에 의한 변형 수축이 가능한 컴팩트하고 분해 가능한 부분다양체로 정의하며, 그 중 하나의 성분은 원래의 카이러 복합체 몫 X와 동형이다.
• 아티야-보트와 바움-브릴린스키의 영감을 받아 원환면 등변 코homology에서 국소화 기법을 적용하여 적분을 정의한다.
• 초카이러 아벨리안화 정리를 사용하여 M의 코homology를 그 최대 원환면 몫의 코homology와 연결한다.
• 특히 하이퍼토릭 변형의 경우 오르릭-솔로몬 대수와 코생성자들을 통해 등변 코homology 링을 분석한다.

실험 결과

연구 질문

• RQ1 초다형 변형과 퀄러 변형은 어떻게 초카이러 복합체 몫의 초카이러 복합체 대응으로 통합적으로 이해될 수 있는가?
• RQ2 초카이러 복합체 대응 M의 핵심의 구조는 어떠한가? 그리고 원래의 카이러 복합체 몫 X와의 관계는 무엇인가?
• RQ3 적절한 순간 맵을 가진 초카이러 몫에 대해 원환면 등변 코homology에서 적분 이론을 개발할 수 있는가?
• RQ4 카이러 복합체 몫의 코homology를 그 최대 원환면 몫으로 기술하는 마틴 정리의 초카이러 복합체 대응이 성립하는가?
• RQ5 특히 퀄러 변형의 경우 초카이러 복합체 대응의 등변 코homology 링의 명시적 구조는 무엇인가?

주요 결과

• 초카이러 복합체 대응 M은 T*X를 밀집 열부분집합으로 포함하는 완비 초카이러 다양체이다.
• M의 핵심은 원환면 작용에 의한 변형 수축이 가능한 컴팩트하고 분해 가능한 부분다양체이다.
• 핵심의 성분 중 하나는 원래의 카이러 복합체 몫 X와 동형이다.
• 논문은 카이러 복합체 몫의 코homology를 그 최대 원환면 몫으로 기술하는 마틴 정리의 초카이러 복합체 대응을 증명한다.
• 하이퍼토릭 변형의 경우, 등변 코homology 링은 오르릭-솔로몬 대수와 코생성자들을 통해 계산되며, 짧은 부분집합으로 색인된 기저를 제공한다.
• M의 핵심 성분들의 코homology 링은 명시적으로 묘사되며, 예시로 U_S는 ℂP^{n-3} 또는 ℂP²의 점들에서의 블로우업과 동형임을 보여준다.