[논문 리뷰] The deformation of symplectic critical surfaces in a Kähler surface-I

Xiaoli Han, Jiayu Li외 1명|arXiv (Cornell University)|2015. 04. 16.

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

한 줄 요약

이 논문은 켈러 다양체 내의 심플렉틱 표면에서 기능적 $L_{\beta} = \int_\Sigma \frac{1}{\cos^\beta \alpha} \, d\mu$ 의 임계점으로서 $\beta$-심플렉틱 임계 표면을 정의하고 연구한다. 오일러-라그랑주 방정식 $\cos^3\alpha \, \mathbf{H} = \beta (J(J\nabla\cos\alpha)^\top)^\bot$ 를 유도하고, 엄격한 안정해가 존재하는 $\beta$ 의 집합이 열려 있음을 증명하며, 회전대칭 예제에 대한 존재성과 유일성 결과 및 정적 면적 성장 조건 하에서 리우빌 유형 정리를 확립한다.

ABSTRACT

In this paper we derive the Euler-Lagrange equation of the functional $L_β=\int_Σ\frac{1}{\cos^βα}dμ, ~~β eq -1$ in the class of symplectic surfaces. It is $\cos^3α{\bf{H}}=β(J(J abla\cosα)^ op)^\bot$, which is an elliptic equation when $β\geq 0$. We call such a surface a $β$-symplectic critical surface. We first study the properties for each fixed $β$-symplectic critical surface and then prove that the set of $β$ where there is a stable $β$-symplectic critical surface is open. We believe it should be also closed. As a precise example, we study rotationally symmetric $β$-symplectic critical surfaces in ${\mathbb C}^2$ carefully .

연구 동기 및 목표

• 켈러 다양체 내 심플렉틱 표면의 클래스에서 기능적 $L_\beta = \int_\Sigma \cos^{-\beta}\alpha \, d\mu$ 의 임계점으로서 $\beta$-심플렉틱 임계 표면을 정의하고 분석한다.
• 기능적 $L_\beta$ 의 오일러-라그랑주 방정식을 유도하여 $\beta \geq 0$ 에서 타원적이며, 이러한 표면의 기하학적 및 해석적 성질을 연구한다.
• 최소 표면($\beta = 0$)에서 헬름홀트릭 곡면($\beta \to \infty$)으로의 변형을 $\beta$-심플렉틱 임계 표면을 통해 연속성 방법 프로그램을 시작한다.
• 회전대칭 $\beta$-심플렉틱 임계 표면에 대한 존재성 및 유일성 결과를 $\mathbb{C}^2$ 에서 확립하고, 정적 면적 성장 조건 하에서 리우빌 유형 정리를 증명한다.

제안 방법

• 기능적 변분을 사용하여 $L_\beta$ 의 오일러-라그랑주 방정식을 유도하여 $\cos^3\alpha \, \mathbf{H} = \beta (J(J\nabla\cos\alpha)^\top)^\bot$ 를 얻으며, $\beta = 0$ 일 때 최소 표면 방정식으로 줄어든다.
• $\beta \geq 0$ 에서 탄성 변형에 대해 타원적이며, 좋은 해석적 행동을 보임을 증명한다.
• $L_\beta$ 의 제2차 변분 공식을 확립하여 해의 안정성을 분석하고, 양의 스칼라 곡률 및 위상적 조건 하에서 헬름홀트릭성의 기준을 도출한다.
• 화이트의 정리(자코비 연산자의 프레드홀름 성질)와 은직함수정리(implicit function theorem)를 사용하여, 엄격한 안정해를 갖는 $\beta$ 의 집합이 $[0, \infty)$ 에서 열려 있음을 증명한다.
• $\mathbb{C}^2$ 내에서의 회전대칭 해를 분석하기 위해 반지름 함수 $f(r), g(r)$ 에 대한 상미분방정식계로 문제를 축소하고, 그 점근적 행동을 연구한다.
• 유계성 $1/\cos\alpha$ 와 정적 면적 성장 조건이 $\cos\alpha$ 가 일정함을 의미함을 보여, 따라서 헬름홀트릭성을 증명함으로써 리우빌 정리를 증명한다.

실험 결과

연구 질문

• RQ1 켈러 다양체 내 심플렉틱 표면에서 기능적 $L_\beta = \int_\Sigma \cos^{-\beta}\alpha \, d\mu$ 의 오일러-라그랑주 방정식은 무엇이며, 어떤 $\beta$ 에서 타원적일까?
• RQ2 엄격한 안정해를 갖는 $\beta$ 의 집합이 $[0, \infty)$ 에서 열려 있음을 증명할 수 있는가?
• RQ3 $\mathbb{C}^2$ 내에서의 회전대칭 $\beta$-심플렉틱 임계 표면은 존재하는가? 그리고 $\beta \to 0$ 일 때는 어떻게 행동하는가?
• RQ4 $\mathbb{C}^2$ 내에서 완전한 $\beta$-심플렉틱 임계 표면이 헬름홀트릭이 되는 기하학적 및 해석적 조건은 무엇인가?
• RQ5 정적 면적 성장 조건과 $\cos\alpha$ 의 균일한 유계성은 $\mathbb{C}^2$ 내에서 완전한 $\beta$-심플렉틱 임계 표면이 헬름홀트릭이 되게 하는가?

주요 결과

• 기능적 $L_\beta$ 의 오일러-라그랑주 방정식은 $\cos^3\alpha \, \mathbf{H} = \beta (J(J\nabla\cos\alpha)^\top)^\bot$ 이며, $\beta \geq 0$ 에서 타원적이며, 심플렉틱 임계 표면의 경우($\beta = 1$)를 일반화한다.
• 엄격한 안정해를 갖는 $\beta$ 의 집합 $S = \{ \beta \in [0, \infty) \mid \text{엄격한 안정해를 갖는 } \beta\text{-심플렉틱 임계 표면이 존재함} \}$ 는 $[0, \infty)$ 에서 열려 있으며, 프레드홀름 이론과 은직함수정리를 통해 증명되었다.
• $\mathbb{C}^2$ 내에서의 회전대칭 $\beta$-심플렉틱 임계 표면에 대해, 해 가우스 $\Sigma_\beta^\pm$ 는 $\beta \to 0$ 일 때 국소 균일 수렴으로 반개구대(半-catenoid)로 수렴하며, 불안정한 개구대 근처에 두 개의 표면이 존재한다.
• 만일 $\mathbb{C}^2$ 내에서 완전한 회전대칭 $\beta$-심플렉틱 임계 표면이 $\cos\alpha \geq \delta > 0$ 를 만족한다면, 그 표면은 평면이어야 하며, 否면 원점에서 $\cos\alpha \to 0$ 이다.
• 정적 면적 성장 조건과 $\cos\alpha \geq \delta > 0$ 조건 하에서, $\mathbb{C}^2$ 내에서 완전한 $\beta$-심플렉틱 임계 표면은 어떤 적합한 복소構조에 대해 헬름홀트릭이 되며, 이는 조화함수 성질과 포물선성에 기인한다.