[논문 리뷰] An Inequality for Mixed Monge-Ampère measures

Sławomir Dinew|arXiv (Cornell University)|2007. 05. 07.

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

한 줄 요약

이 논문은 일반화된 혼합 몽헤-암페르 부등식이 특이 복소볼록하중함수와 임의의 양측측도에 대해 성립하기 위한 날카로운 조건—다중극집합에서의 영함—을 확립한다. 만약 측도 $\mu$ 가 다중극집합에서 영이면, 두 복소볼록하중함수의 혼합 몽헤-암페르 곱은 그 각각의 $\mu$ 에 대한 밀도 함수의 기하평균을 지배함을 증명한다. 이는 고전적 부등식을 매끄럽고 르베그 측도의 설정을 넘어서 일반화한 것이다. 결과는 또한 가능하면 서로 다른 켈러 형식을 가진 컴act 켈러 다양체로 일반화된다.

ABSTRACT

We generalize an inequality for mixed Monge-Ampère measures. We also give an example that shows that our assumptions are sharp. The corresponding result in the setting of compact Kähler manifold is also discussed.

연구 동기 및 목표

• 매끄러운 함수와 르베그 측도에서의 고전적 혼합 몽헤-암페르 부등식을 특이 복소볼록하중함수와 임의의 양측측도로 일반화하기 위해.
• 특이 설정에서 혼합 몽헤-암페르 부등식의 유효성을 보장하는 측도 $\mu$ 에 대한 최소 조건을 규명하기 위해.
• 다중극집합에서의 영함 조건이 날카로운지 여부를 반례를 통해 입증하기 위해.
• 서로 다른 켈러 형식을 가진 컴act 켈러 다양체 설정으로 결과를 확장하기 위해.

제안 방법

• 증명은 복소볼록하중함수의 국소적 매끄러운 근사와 감소하는 수열에서 몽헤-암페르 측도의 수렴을 이용한다.
• 핵심 부등식은 양의 정부호 행렬 위에서 행렬식의 볼록성과 산술-기하평균 부등식을 통해 유도된다.
• 복소평면 $ℂ^2$ 에서 조각별 선형 함수의 최댓값을 이용한 반례를 구성하여, 측도가 다중극집합에서 영이 아니면 부등식이 성립하지 않음을 보였다.
• 기울기 영역 방법을 적용하여 면적 공식을 통해 몽헤-암페르 질량을 계산하고 원점에서의 집중을 보였다.
• 문제를 국소 좌표계로 환원하고 $ℂ^n$ 에서의 결과를 적용하여 컴act 켈러 다양체로 결과를 확장하였다.
• 동일한 측도 조건 하에서 같은 다양체 위의 서로 다른 켈러 형식 $\alpha$ 와 $\beta$ 에 대한 일반화를 제공하였다.

실험 결과

연구 질문

• RQ1 측도 $\mu$ 가 특이 복소볼록하중함수에 대해 혼합 몽헤-암페르 부등식이 성립하기 위한 조건은 무엇인가?
• RQ2 부등식이 성립하기 위해 $\mu$ 가 다중극집합에서 영이어야 하는 것이 필수적인가?
• RQ3 원래 매끄러운 함수와 르베그 측도에서만 유효했던 고전적 혼합 몽헤-암페르 부등식을 일반 측도와 특이 함수로 확장할 수 있는가?
• RQ4 부등식은 컴act 켈러 다양체에서도 유효한가, 그리고 서로 다른 켈러 형식으로 일반화할 수 있는가?
• RQ5 다중극집합은 복소 몽헤-암페르 방정식의 해의 유일성에 어떤 정확한 역할을 하는가?

주요 결과

• 복소볼록하중함수 $u,v$ 와 측도 $\mu$ 에 대해 부등식 $(\operatorname{dd^{c}}u)^k \wedge (\operatorname{dd^{c}}v)^{n-k} \geq f^{k/n}g^{(n-k)/n} d\mu$ 는 $\mu$ 가 모든 다중극집합에서 영이면 오직 그 때에만 성립한다.
• 다중극집합을 포함하는 측도 $\mu$ 를 구성한 반례를 통해 부등식이 실패함을 보여, 조건이 날카로운 것을 입증하였다.
• $u_k$ 와 $v_k$ 의 총 몽헤-암페르 질량이 원점에 집중되어 $(2\pi)^2 \frac{k}{2} \delta_0$ 와 같음을 보여 특이 집중을 입증하였다.
• 혼합 곱 $\operatorname{dd^{c}}u_k \wedge \operatorname{dd^{c}}v_k$ 가 $(2\pi)^2 \frac{1}{2k^2} \delta_0$ 와 같음을 보여, 극한에서 기하평균 행동을 확인하였다.
• 컴act 켈러 다양체에서는 동일한 측도 조건 하에 부등식 $(\omega + \operatorname{dd^{c}}u)^k \wedge (\omega + \operatorname{dd^{c}}v)^{n-k} \geq f^{k/n}g^{(n-k)/n} d\mu$ 가 성립한다.
• 서로 다른 켈러 형식 $\alpha$ 와 $\beta$ 에 대해서도 결과가 일반화되어, $\mu$ 가 다중극집합에서 영이면 $(\alpha + \operatorname{dd^{c}}u)^k \wedge (\beta + \operatorname{dd^{c}}v)^{n-k} \geq f^{k/n}g^{(n-k)/n} d\mu$ 가 성립한다.