[논문 리뷰] Complex Monge-Ampère equation for measures supported on real submanifolds

Duc‐Viet Vu|arXiv (Cornell University)|2016. 08. 09.

Geometry and complex manifolds참고 문헌 13인용 수 4

한 줄 요약

이 논문은 콤파クト 카플러 다양체 $X$ 의 일반적인 $\mathcal{C}^3$ 실부다양체 $K$ 에 지지된 측도 $\mu$ 가 $L^p$ 밀도를 가지며 $p > 1$ 를 만족할 경우, 복소 멩게-암페르 방정식 $(dd^c\varphi + \omega)^n = \mu$ 에 허들러 연속 해가 존재함을 확립한다. 주요 기여는 이러한 측도가 허들러 연속 초위력(super-potential)을 가짐을 증명한 것으로, 이는 알려진 안정성 결과를 통해 해의 허들러 연속성과 관련된 명시적인 허들러 지수(해의 허들러 연속성 지수)를 유도한다. 이 지수는 $p$, $d$, $n$ 에 따라 결정된다.

ABSTRACT

Let $(X,ω)$ be a compact $n$-dimensional Kähler manifold on which the integral of $ω^n$ is $1$. Let $K$ be an immersed real $\mathcal{C}^3$ submanifold of $X$ such that the tangent space at any point of $K$ is not contained in any complex hyperplane of the (real) tangent space at that point of $X.$ Let $μ$ be a probability measure compactly supported on $K$ with $L^p$ density for some $p>1.$ We prove that the complex Monge-Ampère equation $(dd^c φ+ ω)^n=μ$ has a Hölder continuous solution.

연구 동기 및 목표

• 측도 $\mu$ 가 일반적인 실부다양체에 지지될 경우 복소 멩게-암페르 방정식 $(dd^c\varphi + \omega)^n = \mu$ 의 해의 정규성을 다룬다.
• 특히, 일반적인 $\mathcal{C}^3$ 부다양체 위에 지지되고 $L^p$ 밀도를 가진 확률 측도의 클래스를 식별하여, 이들에 대해 해가 허들러 연속임을 보인다.
• 이러한 측도의 초위력이 허들러 연속임을 증명함으로써, 알려진 안정성 결과를 통해 해의 허들러 정규성을 유도한다.
• 해의 허들러 지수를 $p$, 실부다양체의 실코디멘션 $d$, 그리고 환경 다양체의 복소코디멘션 $n$ 에 따라 명시적으로 기술한다.
• 기존에 알려진 복소 멩게-암페르 방정식의 해가 허들러 연속이 되는 측도의 범주를, 볼륨 형태에 대한 밀도가 있는 경우를 초월하여 양의 코디멘션을 가진 부다양체 위에 지지된 측도로 확장한다.

제안 방법

• 해의 증명은 매개변수 $t$ 를 가진 벨트라미 유형 방정식의 수정된 해를 사용하여, 일반적인 부다양체 $K$ 에 부분적으로 부착된 해석적 디스크의 가닥을 구성하는 데 기반한다.
• 해석적 디스크는 조화 연장과 성질이 제어된 참조 함수 $u_0$ 의 변형을 통해 구성되며, 이는 경계 근처에서 디스크가 $K$ 에 가까워지도록 보장한다.
• 이 구성은 디스크 사상의 자코비안 행렬식이 $(1 - |z|)^{d-1}$ 과 비례하는 하한을 가지며, 이는 왜곡을 제어하고 측도 추정에 기여한다.
• 초위력의 정규성은 $\omega$-p.s.h. 함수들 간의 $L^1$-거리 추정과 해석적 디스크의 기하학적 성질을 이용하여 초위력 변동을 유계화함으로써 확립된다.
• 초위력의 허들러 연속성은 해 사상에 의한 디스크의 영상의 측도에 대한 균일한 제어로부터 유도된다.
• 마지막으로, 알려진 안정성 및 정규성 정리(Demailly, Dinew, Guedj 등)를 결합하여 해 $\varphi$ 의 허들러 연속성을 도출한다.

실험 결과

연구 질문

• RQ1 측도 $\mu$ 가 일반적인 실부다양체에 지지되고 $L^p$ 밀도를 가질 경우, 복소 멩게-암페르 방정식의 해에 대한 최적의 허들러 정규성은 무엇인가?
• RQ2 일반적인 $\mathcal{C}^3$ 부다양체 위에 지지된 측도의 초위력이 허들러 연속임을 보일 수 있으며, 만약 그렇다면 어떤 지수로 허들러 연속인가?
• RQ3 일반적인 부다양체에 부분적으로 부착된 해석적 디스크의 기하학은 초위력 추정 및 정규성 증명에 어떻게 기여하는가?
• RQ4 복소 멩게-암페르 방정식의 해가 허들러 연속이 되는 측도의 범주에 양의 코디멘션을 가진 부다양체 위에 지지된 $L^p$ 밀도를 가진 측도가 포함되는가?
• RQ5 해의 허들러 지수는 코디멘션 $d$, 차원 $n$, 그리고 밀도의 적분 가능성 지수 $p$ 에 따라 명시적으로 기술할 수 있는가?

주요 결과

• 복소 멩게-암페르 방정식 $(dd^c\varphi + \omega)^n = \mu$ 는 고유한 $\omega$-p.s.h. 해 $\varphi$ 를 가지며, 이 해는 지수 $\alpha < \frac{2(p-1)}{3d(n+1)p}$ 를 가진 허들러 연속이다. 여기서 $p > 1$ 은 $\mu$ 의 밀도의 적분 가능성 지수이다.
• 측도 $\mu = \mathbf{1}_{\tilde{K}} \cdot \mathrm{vol}_K$ 의 초위력은 지수 $\alpha < \frac{1}{3d}$ 를 가진 허들러 연속이다. 여기서 $\tilde{K}$ 는 일반적인 $\mathcal{C}^3$ 부다양체 $K$ 의 컴acts한 부분집합이다.
• 보조정리 1.2 는 지수적 적분 추정을 확립한다: 모든 $\omega$-p.s.h. 함수 $\varphi$ 에 대해 $\sup_X \varphi = 0$ 를 만족할 때, 상수 $\alpha > 0$ 과 $c > 0$ 가 존재하여 $\int_{\tilde{K}} e^{-\alpha \varphi} \, d\mathrm{vol}_K \leq c$ 를 만족한다.
• 만약 $K$ 가 어떤 $\beta \in (0,1)$ 에 대해 $\mathcal{C}^{2,\beta}$ 라면, 증명은 그대로 유지되며, 허들러 지수는 $\mathcal{C}^{2,1/2}$ 정규성 대신 $\beta' < \beta$ 인 $\mathcal{C}^{2,\beta'}$ 정규성으로 조정된다.
• 결과는 기존에 알려진 복소 멩게-암페르 방정식의 해가 허들러 연속이 되는 측도의 범주를, 환경 볼륨 형태에 대한 밀도가 있는 경우를 초월하여 양의 코디멘션을 가진 부다양체 위에 지지된 측도로 확장한다.
• 부다양체 $K$ 에 부분적으로 부착된 해석적 디스크의 구성은 초위력을 제어하는 기하학적 메커니즘을 제공하며, 이는 측도론적 및 포텐셜 이론적 추론을 통해 허들러 추정을 도출하는 데 기여한다.