[논문 리뷰] Hodge-index type inequalities, hyperbolic polynomials and complex Hessian equations

Jian Xiao|arXiv (Cornell University)|2018. 10. 10.

Geometry and complex manifolds참고 문헌 7인용 수 7

한 줄 요약

이 논문은 복소 켈러 다양체 위의 $(1,1)$-류에 대해 가우딩의 초구면 다항식 이론과 복소 헤시안 방정식의 해법을 이용하여 일반화된 호지-지수 유형 정리를 수립한다. 혼합 극화를 통한 정의된 이차형식이, 일부 클래스가 비가역적이거나 특정 방향으로 음수일 경우에도, 원시 부분공간에서 음의 정부호임을 증명하며, 이는 고전적 호지 지수 정리가 켈러 양성 조건을 초월하여 일반화됨을 의미한다.

ABSTRACT

It is noted that using complex Hessian equations and the concavity inequalities for elementary symmetric polynomials implies a generalized form of Hodge index inequality. Inspired by this result, using Gårding's theory for hyperbolic polynomials, we obtain a mixed Hodge-index type theorem for classes of type $(1,1)$. The new feature is that this Hodge-index type theorem holds with respect to mixed polarizations in which some satisfy particular positivity condition, but could be degenerate and even negative along some directions.

연구 동기 및 목표

• 곡률류의 양성 조건을 약화시켜 고전적 호지 지수 정리를 켈러 메트릭을 초월해 일반화하기.
• 초구면 다항식 이론을 이용해 $m$-양성 조건 하에서 혼합 호지-지수 유형 정리를 수립하기.
• 복소 헤시안 방정식, 기본 대칭 다항식의 볼록성, 호지 이론적 부등식을 통합하기.
• 코반스키-테이셔 및 알렉산드로프-펜첼 유형 부등식을 $m$-양성 류로 일반화하기.
• $dd^c$-방정식, 라플라스 방정식의 해법, 코homology 형식의 부호 성질 간의 관계 탐색하기.

제안 방법

• 코homology 류에 대한 부호 부등식을 유도하기 위해 가우딩의 초구면 다항식 이론을 적용한다.
• 복소 헤시안 방정식(일종의 $dd^c$-방정식)의 해법을 이용해 전역 코homology 문제를 국소 분석으로 환원한다.
• 혼합 극화 $\omega^{n-m} \cdot \Omega \cdot \alpha_{m-1}$를 통해 원시 부분공간 $P^{1,1}(X,\mathbb{C})$를 정의한다. 여기서 $\Omega = \alpha_1 \cdots \alpha_{m-2}$이다.
• 이차형식 $Q(\beta,\gamma) = \beta \cdot \overline{\gamma} \cdot \Omega \cdot \omega^{n-m}$을 정의하고, 이가 원시 공간에서 음의 정부호임을 증명한다.
• 대칭 다항식의 로그-볼록성과 기본 대칭 함수의 성질을 이용해 코반스키-테이셔 유형 부등식을 유도한다.
• 코homology에서 단사성과 분해 정리의 수립을 위해 $L^2$ 방법과 $dd^c$-방정식의 해법에 의존한다.

실험 결과

연구 질문

• RQ1 고전적 호지 지수 정리는 $m$-양성 조건으로 양성 조건이 약화된 경우에도 일반화될 수 있는가?
• RQ2 초구면 다항식과 복소 헤시안 방정식은 어떻게 상호작용하여 새로운 코homological 부호 부등식을 도출하는가?
• RQ3 비가역적이거나 음수 방향을 포함하는 혼합 극화 조건 하에서 호지-라우만 이중형식은 어느 정도까지 일반화될 수 있는가?
• RQ4 일부 해법이 일반화된 호지-지수 부등식을 유도하는 혼합 헤시안 방정식이 존재하는가?
• RQ5 교차 수의 로그-볼록성은 호지-지수 부등식과 같은 프레임워크에서 유도될 수 있는가?

주요 결과

• 이차형식 $Q(\beta,\gamma) = \beta \cdot \overline{\gamma} \cdot \Omega \cdot \omega^{n-m}$은 $\omega^{n-m} \cdot \Omega \cdot \alpha_{m-1} \cdot \gamma = 0$로 정의된 원시 부분공간 $P^{1,1}(X,\mathbb{C})$에서 음의 정부호이다.
• $H^{1,1}(X,\mathbb{C})$는 고전적 호지 분해를 일반화한 직합 $P^{1,1}(X,\mathbb{C}) \oplus \mathbb{C}\alpha_{m-1}$로 분해된다.
• 주어진 $m$-양성 조건 하에서 $\omega^{n-m} \cdot \Omega: H^{1,1}(X,\mathbb{C}) \to H^{n-1,n-1}(X,\mathbb{C})$는 단사적이다.
• 다항식 $Q(\beta) = \beta^2 \cdot \Omega \cdot \omega^{n-m}$은 $H^{1,1}(X,\mathbb{R})$에서 완전하고 초구면이 되며, 이는 교차 수의 로그-볼록성을 함의한다.
• $m$-양성 류 $\alpha, \beta$에 대해 수열 $a_k = \alpha^k \cdot \beta^{m-k} \cdot \omega^{n-m}$은 로그-볼록하며, $a_k^2 \geq a_{k+1}a_{k-1}$에서 등호가 성립하는 것은 $\alpha$와 $\beta$가 비례할 때에 한한다.
• 증명에서 사용된 라플라스 방정식은 [DN06]에서 사용된 $dd^c$-방정식의 특수한 경우이며, PDE의 해법이 코homological 부호와 연결됨을 보여준다.