[논문 리뷰] Cohomology of large semiprojective hyperkaehler varieties

Tamás Hausel, Fernando Rodríguez Villegas|arXiv (Cornell University)|2013. 09. 19.

Algebraic Geometry and Number Theory참고 문헌 49인용 수 7

한 줄 요약

이 논문은 나카지마 퀼러 다양체, 토릭 허미션 다양체, 허그스 봉제 모듈리 공간과 같은 반완전형 히퍼카일러 다양체의 코homology를 계산하기 위해 기하학적 및 산술적 기법을 개발한다. 이들 다양체의 베티 수가 조합론적이고 순수하며 차원이 증가함에 따라 정규, 구불, 에이리 분포와 같은 연속적 극한으로 수렴함을 보여준다.

ABSTRACT

In this paper we survey geometric and arithmetic techniques to study the cohomology of semiprojective hyperkaehler manifolds including toric hyperkaehler varieties, Nakajima quiver varieties and moduli spaces of Higgs bundles on Riemann surfaces. The resulting formulae for their Poincare polynomials are combinatorial and representation theoretical in nature. In particular we will look at their Betti numbers and will establish some results and expectations on their asymptotic shape.

연구 동기 및 목표

• 반완전형 히퍼카일러 다양체, 특히 퀄러 다양체와 허그스 봉제 모듈리 공간의 코homology 구조를 이해하는 것.
• 이러한 다양체의 코homology가 C*-작용에 대한 고정점 집합의 코homology와 동형이며, 코homological shift를 거쳐 순수하다는 것을 입증하는 것.
• 이러한 다양체의 큰 차원 가중치 가중족에서의 베티 수의 점근적 행동을 분석하는 것.
• 유한체 위에서의 산술 조화 분석을 적용하여 베티 수를 조합론적으로 계산하는 것.
• 베티 수의 극한 분포—예를 들어 정규, 구불, 또는 에이리 분포—가 큰 차원 극한에서 나타나는지 조사하는 것.

제안 방법

• Bialinycki-Birula 분할과 완벽한 모스 분할을 사용하여 반완전형 다양체의 코homology를 고정점 집합의 코homology와 연결한다.
• 역방향 Bialinycki-Birula 분할을 적용하여 코어를 식별하고, 이는 위상적으로 변형 수축 가능한 프로젝티브 부분다양체이므로 코homological 순수성을 증명한다.
• 다양체를 보완하여 오비폴드 보완을 형성함으로써 핵심 코homological 성질을 유지한다.
• 반완전형 다양체에 대해 약한 형태의 하드 레프셰츠 정리를 적용하여 코homological 구조를 제약한다.
• 산술 조화 분석을 사용하여 유한체 위에서 유리점의 수를 세고, 이로써 제타 함수를 통해 베티 수를 계산한다.
• 석점 방법과 점근적 분석을 적용하여 베티 수 수열의 극한 형태를 연구하고, 이를 알려진 연속 분포와 연결한다.

실험 결과

연구 질문

• RQ1 반완전형 히퍼카일러 다양체의 베티 수는 차원이 증가함에 따라 어떻게 점근적으로 행동하는가?
• RQ2 이러한 다양체의 코homology는 C*-작용의 고정점 집합과 그 작용 구조를 통해 완전히 결정될 수 있는가?
• RQ3 큰 차원 극한에서 정규화된 베티 수 수열이 어떤 연속적 극한 분포로 수렴하는가? (예: 정규, 구불, 또는 에이리 분포)
• RQ4 산술 조화 분석을 통해 유한체 위에서의 베티 수에 대한 정확한 또는 추측적 공식을 얻을 수 있는 정도는 어느 정도인가?
• RQ5 많은 예시에서 관찰되는 베티 수 수열의 단모양 대칭 패턴은 하드 레프셰츠 정리나 순수성과 같은 더 깊은 기하학적 또는 산술적 원리의 결과인가?

주요 결과

• 반완전형 히퍼카일러 다양체의 코homology는 C*-작용에 대한 고정점 집합의 코homology와 코homological shift를 제외하고 동형이다.
• 다양체의 코어—위상적으로 변형 수축 가능한 부분다양체—는 매끄러운 프로젝티브 부분다양체이므로 코homology가 순수하다.
• 토릭 히퍼카일러 다양체와 나카지마 퀄러 다양체의 베티 수는 체 위에서의 산술 조화 분석을 통해 정확히 계산할 수 있다.
• 큰 차원 극한에서, 특정 가중족(예: C² 위의 점들의 힐베르트 스킴, 완전 그래프 위의 퀄러 다양체)의 정규화된 베티 수 수열은 정규, 구불, 또는 에이리 분포와 같은 연속적 분포로 수렴한다.
• 다양한 예시에서 관찰되는 짝수 베티 수의 단모양 행동은 하드 레프셰츠 정리와 일치하지만, 본 논문은 이것이 현재 증명된 것보다 더 일반적으로 성립할 수 있음을 언급한다.
• 석점 방법을 통한 히ュ리스티컬 및 점근적 분석은 허그스 봉제 모듈리 공간의 베티 수가 랭크가 증가함에 따라 정규 또는 에이리 분포와 같은 연속적 극한 분포로 수렴할 가능성이 있음을 시사한다.