[논문 리뷰] An obstruction to asymptotic semistability and approximate critical metrics

Toshiki Mabuchi|ArXiv.org|2004. 04. 10.

Geometry and complex manifolds참고 문헌 9인용 수 11

한 줄 요약

이 논문은 다항식적 분할 다중체 $(M,L)$ 가 복소구면에서 약한 초등적 안정성(Chow-semistable)이 되기 위해 만족해야 할 코homological 장벽을 규명한다. 이 장벽은 자동형사군의 최대 토러스에서의 리 대칭대수 위에서 정의된 특정 곡률 함수 $\mathcal{C}\{c_1^{n+1};L^m\}$ 의 영함수성에 기반한다. 이 장벽 조건이 만족될 경우, 다항식적 초등적 안정성(Chow-stability)이 성립하며, $c_1(L)_{\mathbb{R}}$ 에 속하는 일정 스칼라 곡률 켈러 메트릭은 군 작용에 대해 유일하다. 이는 도널드슨의 근사 임계 메트릭 구축 방법을 일반화한 결과이다.

ABSTRACT

In this paper, we consider an obstruction to asymptotic Chow-semistability of a polarized Kaehler algebraic manifold. Even when a linear algebraic group of positive dimension acts nontrivially and holomorphically on a polarized Kaehler algebraic manifold with constant scalar curvature, the vanishing of the obstruction allows us to generalize Donaldson's construction of approximate solutions for equations of balanced metrics.

연구 동기 및 목표

• 다양체 $(M,L)$ 가 비자명한 헬름홀로픽 군 작용을 가지는 경우, 다항식적 초등적 안정성(Chow-semistable)이 되기 위해 만족해야 할 장벽을 규명하는 것.
• 자동형사군의 차원이 양수인 경우에도 도널드슨의 임계 메트릭 방정식에 대한 근사해를 구하는 방법을 일반화하는 것.
• 특히 $L$ 의 고차 텐서 거듭제곱에서의 이sov러시 행위가 안정화되는 조건 하에서 다항식적 초등적 안정성이 성립하는 조건을 설정하는 것.
• 다항식적 초등적 안정성 조건 하에서 $c_1(L)_{\mathbb{R}}$ 에 속하는 일정 스칼라 곡률 켈러 메트릭이 군 작용에 대해 유일함을 증명하는 것.
• 자동형사군이 자명할 경우 다항식적 초등적 안정성이 힐베르트 스킴의 안정성과 동치임을 보이는 것.

제안 방법

• 자동형사군의 최대 토러스 $Z$ 의 리 대칭대수 $\mathfrak{z}$ 에서 정의된 곡률 함수 $\mathcal{C}\{c_1^{n+1};L^m\}$ 을 도입하며, 이는 곡률 형식의 가중 추적 적분을 통해 정의된다.
• 등변 코homology와 $L^m$ 에 대한 $Z_m$-불변 헤르미트 메트릭을 사용하여 함수 $\mathcal{C}\{c_1^{n+1};L^m\}$ 을 정의하며, 이는 메트릭 $h$ 의 선택과 무관하다.
• 함수 $\mathcal{C}\{c_1^{n+1};L^m\}$ 이 수열 $m(k)\to\infty$ 에 대해 영이면, 이sov러시 작용 $\rho_m$ 이 큰 $m$ 에서 안정화됨을 보이며, 이는 장벽이 군 작용의 승강과 연결됨을 보여준다.
• 켈러 메트릭 $\omega(\ell)$ 과 $L$ 에 대한 메트릭 $h(\ell)$ 에 대해 $q$ 에 대한 형식적 멱급수 전개를 적용하며, 베르그만 메트릭의 점근 전개를 활용한다.
• 조건 $\rho_{m(k)} = \rho_{m(k_0)}$ 가 $k \geq k_0$ 에 대해 성립함을 이용하여, 큰 $m$ 에서 함수 $\mathcal{C}\{c_1^{n+1};L^m\}$ 이 영이 됨을 보이며, 이는 근사해의 구축을 가능하게 한다.
• 메트릭 전개에서 오차 항 $v_\ell$ 이 $q$-adic 전개에서 재귀적 방법으로 영이 되어야 함을 보여, 근사해 수열의 수렴성을 증명한다.

실험 결과

연구 질문

• RQ1 다양체 $(M,L)$ 가 양의 차원의 헬름홀로픽 군 작용을 가지는 경우, 다항식적 초등적 안정성(Chow-semistable)이 되기 위해 만족해야 할 장벽은 무엇인가?
• RQ2 자동형사군 $\operatorname{Aut}^0(M)$ 의 차원이 양수인 경우에도 도널드슨의 근사 임계 메트릭 구축 방법을 확장할 수 있는가?
• RQ3 이sov러시 작용 $\rho_m$ 이 안정화되면, 어떤 조건에서 다항식적 초등적 안정성이 성립하는가?
• RQ4 곡률 함수 $\mathcal{C}\{c_1^{n+1};L^m\}$ 이 영이 되는 것은 일정 스칼라 곡률 켈러 메트릭의 존재성과 어떻게 관련되는가?
• RQ5 $L^m$ 에 대한 $Z_m$-작용이 헬름홀로픽 벡터 장을 승강하고 장벽을 정의하는 데 어떤 역할을 하는가?

주요 결과

• 다양체 $(M,L)$ 가 다항식적 초등적 안정성(Chow-semistable)이면, 충분히 큰 $m(k)$ 에 대해 함수 $\mathcal{C}\{c_1^{n+1};L^m\}$ 이 영이 되며, 이는 必要한 장벽 조건이 된다.
• 함수 $\mathcal{C}\{c_1^{n+1};L^m\}$ 이 영이면, 큰 $m$ 에서 이sov러시 작용 $\rho_m$ 이 안정화되며, 즉 $\rho_{m(k)} = \rho_{m(k_0)}$ for all $k \geq k_0$ 가 성립한다.
• 이sov러시 작용의 안정화 조건 하에서, 도널드슨의 방법을 일반화하여 근사 임계 메트릭을 구축할 수 있다.
• 큰 $m$ 에서 $\mathcal{C}\{c_1^{n+1};L^m\}$ 이 영이면, 메트릭의 $q$-adic 전개에서 오차 항 $v_\ell$ 이 반드시 영이 되며, 이는 수렴성을 보장한다.
• 이sov러시 작용이 안정화되고 $c_1(L)_{\mathbb{R}}$ 가 일정 스칼라 곡률 켈러 메트릭을 포함하면, 다항식적 초등적 안정성이 성립한다.
• 이sov러시 작용의 안정화 조건과 장벽의 영함수성에 기반하여, $c_1(L)_{\mathbb{R}}$ 에 속하는 일정 스칼라 곡률 켈러 메트릭이 군 $G$ 의 작용에 대해 유일하다.