[논문 리뷰] Hilbert series and obstructions to asymptotic semistability

Akito Futaki, Hajime Ono외 1명|arXiv (Cornell University)|2008. 11. 09.

Geometry and complex manifolds참고 문헌 26인용 수 5

한 줄 요약

이 논문은 토릭 팔로만드에서 점근적 준안정성의 장애와 하일베르트 시리즈의 로랑 급수의 도함수 사이에 정확한 연결을 설정한다. 선형 공간으로서의 장애 인자들인 리 대칭의 특성들이 하일베르트 시리즈의 로랑 전개 도함수들에 의해 생성되는 공간과 정확히 일치함을 증명하며, 이는 토릭 기하학에서 안정성 장애의 생성함수 해석을 제공한다.

ABSTRACT

Given a polarized manifold there are obstructions for asymptotic Chow semistability described as integral invariants. One of them is an obstruction to the existence for the first Chern class of the polarization to admit a constant scalar curvature Kähler (cscK) metric. A natural question is whether or not the other obstructions are linearly dependent on the obstruction to the existence of a cscK metric. The purpose of this paper is to see that this is not the case by exhibiting toric Fano threefolds in which these obstructions span at least two dimension. To see this we show that on toric Fano manifolds these obstructions are obtained as derivatives of the Hilbert series. This last observation should be regarded as an extension of the volume minimization of Martelli, Sparks and Yau.

연구 동기 및 목표

• 편재된 다양체에서 점근적 준안정성의 장애의 대수적·기하학적 성격을 이해하는 것.
• 토릭 팔로만드에서 정수 불변량(장애)과 하일베르트 시리즈 사이의 관계를 조사하는 것.
• 하일베르트 시리즈의 로랑 전개 도함수가 장애 특성의 전체 공간을 포괄하는지 확인하는 것.
• 토릭 기하학에서 안정성 장애에 대한 생성함수 이론적 해석을 제공하는 것.

제안 방법

• 저자들은 점근적 준안정성을 방해하는 헬름홀로직 벡터장 $X \in \mathfrak{h}_0(M)$ 와 관련된 적분 불변량 $\mathcal{F}_{\phi}(X)$ 를 분석한다.
• 토릭 팔로만드 $M$ 의 하일베르트 시리즈를 계산하고 원점 주변에서 로랑 급수로 전개한다.
• 이 로랑 급수의 도함수들이 $\mathfrak{h}_0(M)$ 위의 특성 공간을 생성함을 보인다.
• 하일베르트 시리즈 도함수들이 생성하는 공간과 장애 특성 $\mathcal{F}_{\phi}(X)$ 가 생성하는 공간을 비교함으로써, 두 공간의 선형 스트레스가 정확히 일치함을 증명한다.
• 증명은 팔로만드 다면체와 그 쌍대 다면체의 조합 구조에 기반하며, $C_i(a,b)$ 와 체적 최소화 Reeb 벡터장에 대한 명시적 공식을 사용한다.
• 저자들은 컴퓨터 보조 계산을 통해 $\mathcal{F}_{\mathrm{Td}^1}$ 이 0이지만, $C_{-1}(\mathbf{b})$ 의 첫 번째 변위가 체적 최소화 Reeb 장에서 0이 아니라는 것을 검증한다.

실험 결과

연구 질문

• RQ1 하일베르트 시리즈의 로랑 급수 도함수들의 선형 스트레스가 점근적 준안정성 장애의 특성 공간과 일치하는가?
• RQ2 토릭 팔로만드에서 적분 불변량 $\mathcal{F}_{\phi}(X)$ 는 하일베르트 시리즈와 어떻게 관련이 있는가?
• RQ3 하일베르트 시리즈는 토릭 설정에서 장애 특성의 생성함수로 기능할 수 있는가?
• RQ4 체적 최소화 Reeb 장에서 $C_{-1}(\mathbf{b})$ 의 첫 번째 변위는 어떻게 행동하며, Sasaki-Futaki 불변량과 어떤 관계가 있는가?

주요 결과

• 토릭 팔로만드의 하일베르트 시리즈 로랑 급수 도함수들의 선형 스트레스는 장애 특성 $\mathcal{F}_{\phi}(X)$ 의 선형 스트레스와 정확히 일치한다.
• $\mathbb{C}P^2\#\overline{\mathbb{C}P^2}$ 다면체의 경우, 체적 최소화 Reeb 장에서 Sasaki-Futaki 불변량 $\mathcal{F}_{\mathrm{Td}^1}$ 이 0이 되며, Sasaki-Einstein 구조에 따라 예상되는 바이다.
• $\mathcal{F}_{\mathrm{Td}^1}$ 이 0이지만, 체적 최소화 Reeb 장에서 $C_{-1}(\mathbf{b})$ 의 첫 번째 변위는 0이 아니며, 이는 안정성에 대한 비자명한 장애를 시사한다.
• 임계점 $(a_0, b_0) = (0, \sqrt{13} - 4)$ 는 $3P^\circ_M$ 의 내부에 위치하여 체적 최소화 Reeb 장임을 확인한다.
• $C_{-1}(a,b)$ 의 명시적 공식은 $(a_0, b_0)$ 에서 기울기가 0이 아니며, $\partial C_{-1}/\partial a$ 와 $\partial C_{-1}/\partial b$ 가 모두 0이 아님을 보여준다.
• 결과적으로, 하일베르트 시리즈의 해석적 구조와 토릭 켈러 기하학에서의 대수적 장애 이론 사이에 직접적인 대응 관계가 확립된다.