[논문 리뷰] An example of asymptotically Chow unstable manifolds with constant scalar curvature

Hajime Ono, Yuji Sano외 1명|arXiv (Cornell University)|2009. 06. 20.

Geometry and complex manifolds참고 문헌 17인용 수 23

한 줄 요약

이 논문은 등각적으로 초록된 다변량체에 대해 다니엘슨의 정리에 대한 반례를 구성한다. 이는 상수 스칼라 곡률 켈러(cscK) 메트릭을 지닌 다변량체이지만 자동형군이 이산적이지 않은 경우, 점점 더 안정성이 떨어지는 초록 안정성(Asymptotic Chow instability)을 보이는 반례를 제시한다. 토릭 팔레오 만델라에서 푸타키 불변량이 0이 아닌 경우를 이용하여, 자동형군의 이산성 부재가 cscK 메트릭 존재에도 불구하고 점점 더 안정성의 반정도를 방해함을 보여주며, 안정성-메트릭 대응에서 자동형군의 이산성 필요성을 도전한다.

ABSTRACT

Donaldson proved that if a polarized manifold $(V,L)$ has constant scalar curvature Kähler metrics in $c_1(L)$ and its automorphism group Aut$(M,L)$ is discrete, $(V,L)$ is asymptotically Chow stable. In this paper, we shall show an example which implies that the above result does not hold in the case when Aut$(V,L)$ is not discrete.

연구 동기 및 목표

• 등각적으로 초록된 다변량체에서 상수 스칼라 곡률 켈러(cscK) 메트릭을 지닌 다변량체에 대해 다니엘슨의 점점 더 안정성 정리에서 자동형군의 이산성 조건이 필수적인지 도전하기.
• cscK 메트릭을 지닌 다변량체의 구체적 예를 제시하여 점점 더 안정성이 떨어지는 초록 안정성임을 보여주며, 다니엘슨 정리의 자동형군 조건이 본질적임을 입증하기.
• 자기형군이 이산적이지 않을 경우 점점 더 안정성의 반정도를 방해하는 푸타키 불변량 및 그 일반화된 형태의 역할 분석하기.
• 토릭 팔레오 만델라에서 일반화된 푸타키 불변량의 명시적 계산을 통해 점점 더 안정성의 반정도 실패를 검증하기.
• 마부치와 그 일반화된 푸타키에 의해 정의된 점점 더 안정성의 반정도 장애물이 이 경우에 여전히 0이 아니며, cscK 메트릭 존재에도 불구하고 그러한 장애물이 존재함을 보여주기.

제안 방법

• 저자들은 다니엘슨 정리의 반례로 특정 토릭 팔레오 만델라를 구성하며, 특정 팬 구조를 지닌 4차원 다변량체에 초점을 맞춘다.
• 특정 다항식 $ \phi = \mathrm{Td}^1 $에 대해 일반화된 푸타키 불변량 $ \mathcal{F}_{\phi} $를 계산하며, 이는 첫 번째 토드 다항식에 해당한다. 이는 토르 작용의 고정점들을 이용하여 수행된다.
• 이 방법은 토르 고정점 각각이 헬로모르픽 벡터장의 가중치와 곡률 형식을 사용하여 기여도를 평가하는 것을 포함한다.
• 총 불변량을 계산하기 위해 공식 $ \sum_{\mathbf{q}} \frac{(c_2 c_1^6)(L(X)_{\mathbf{q}})}{\det(L(X)_{\mathbf{q}})} $ 를 사용하며, 이는 비영임이 입증된다.
• 계산은 네 개의 고정점 집합(라벨 1–4)으로 나뉘며, 각 집합이 별개의 대수적 합 기여를 하며, 총합은 $-143,616$로 평가된다. 이는 비영임을 확인한다.
• 일반화된 푸타키 불변량의 비영임은 다변량체가 점점 더 안정성의 반정도를 갖지 못함을 의미하며, cscK 메트릭이 존재하더라도 그렇다.

실험 결과

연구 질문

• RQ1 자기형군이 이산적이지 않은 다변량체에서 상수 스칼라 곡률 켈러(cscK) 메트릭이 존재할 경우, 점점 더 안정성이 성립하는가?
• RQ2 비영인 일반화된 푸타키 불변량을 지닌 토릭 팔레오 만델라가 cscK 메트릭을 지닐 수는 있지만 점점 더 안정성의 반정도에 실패할 수 있는가?
• RQ3 자기형군의 이산성은 cscK 메트릭과 점점 더 안정성의 등가성에 있어 필수 조건인가?
• RQ4 토릭 팔레오 만델라에서 고정점들의 정확한 대수적 기여는 일반화된 푸타키 불변량에 어떤가?
• RQ5 cscK 메트릭이 존재하는 상황에서 일반화된 푸타키 불변량이 비영일 경우, 점점 더 안정성의 반정도는 어떻게 방해되는가?

주요 결과

• 일반화된 푸타키 불변량 $ \mathcal{F}_{\mathrm{Td}^1} $ 는 $-143,616$ 로 계산되며, 이는 비영임을 의미하며 점점 더 안정성의 반정도를 방해함을 나타낸다.
• 고정점에 대한 항 $ \frac{(c_2 c_1^6)(L(X)_{\mathbf{q}})}{\det(L(X)_{\mathbf{q}})} $ 의 합은 $-143,616$ 로 평가되며, 이는 장애물의 비영임을 확인한다.
• cscK 메트릭을 지닌 다변량체이지만 점점 더 안정성이 떨어지므로, 자동형군이 이산적이지 않은 경우 다니엘슨 정리의 반례가 된다.
• 반례는 특정 팬을 지닌 4차원 토릭 팔레오 만델라에서 실현되며, 비어 있지 않은 영역을 가진 헬로모르픽 벡터장의 비자명한 작용으로 인해 불안정성이 발생한다.
• 점점 더 안정성의 반정도 실패는 일반화된 푸타키 불변량의 비영임과 직접적으로 연결되며, 마부치와 푸타키의 의미에서 장애물로 작용한다.
• 결과적으로 다니엘슨 정리에서 자동형군의 이산성 조건은 필수적이며 일반적으로 완화될 수 없다.