[논문 리뷰] Nullspaces of Conformally Invariant Operators. Applications to $Q_{k}$-curvature

Yaiza Canzani, A. Rod Gover외 2명|arXiv (Cornell University)|2012. 06. 04.

Geometric Analysis and Curvature Flows참고 문헌 12인용 수 3

한 줄 요약

이 논문은 GJMS 연산자의 영공간에서 유도된 등각 불변량을 조사하며, 특히 고유함수의 영점 집합과 등각 불변량에 중점을 둔다. $ n \geq 3 $ 차원의 임의의 컴act 리만다이만다이만에서 이러한 불변량이 비자명한 메트릭이 존재함을 입증하고, 이 결과를 $ Q_k $-곡률 규정 문제에 적용하여, 비자명한 영공간이 존재할 경우 주어진 등각 동류 내에서 가능한 $ Q_k $-곡률의 집합에 강력한 제약 조건이 있음을 보여준다.

ABSTRACT

We study conformal invariants that arise from functions in the nullspace of conformally covariant differential operators. The invariants include nodal sets and the topology of nodal domains of eigenfunctions in the kernel of GJMS operators. We establish that on any manifold of dimension $n\geq 3$, there exist many metrics for which our invariants are nontrivial. We discuss new applications to curvature prescription problems.

연구 동기 및 목표

• 등각적 미분 연산자, 특히 GJMS 연산자에서 유도된 등각 불변량을 규명하고 특성화하는 것.
• 임의의 차원 $ n \geq 3 $ 인 컴팩트 리만다이만다이만에서 이러한 불변량이 비자명한 메트릭이 존재함을 보여주는 것.
• 이러한 불변량을 곡률 규정 문제, 특히 $ Q_k $-곡률에 적용하는 것.
• 주어진 등각 동류 내에서 $ Q_k $-곡률이 될 수 있는 함수들의 집합에 제약 조건을 설정하는 것.
• 주요 결과를 뒷받기기 위해 컴팩트 히센버그 다양체에서 얀라베 및 편아이츠 연산자의 스펙트럼 성질을 분석하는 것.

제안 방법

• 주어진 메트릭 $ g $ 에 대해 $ \Delta_g^k $ 를 주항항으로 가지며 등각적으로 공변하는 미분 연산자인 GJMS 연산자 $ P_{k,g} $ 를 사용한다. 이들은 형식적으로 자기수반이다.
• null-eigenvector를 등각 밀도(중량 $ -\frac{n}{2} + k $)로 간주하고, 그들의 영점 집합과 영점 영역이 등각 불변량임을 분석한다.
• 등각 변화에 따른 불변성은 변환 법칙 $ P_{k,e^{2\Upsilon}g} = e^{-(\frac{n}{2}+k)\Upsilon} P_{k,g} e^{(\frac{n}{2}-k)\Upsilon} $ 을 통해 보여준다.
• 특히 $ k \neq \frac{n}{2} $ 일 때 $ Q_{k,g} = \frac{2}{n-2k} P_{k,g}(1) $ 라는 정의를 사용하여 $ Q_k $-곡률과 $ P_{k,g} $ 가 상수 함수 1에 작용하는 것과 연결한다.
• 히센버그 군의 표현 이론을 활용하여 컴팩트 히센버그 다양체에서 $ P_{1,g_s} $ 와 $ P_{2,g_s} $ 의 고유값과 영공간을 계산하기 위해 스펙트럼 분석을 수행한다.
• 야코비 제타 함수 $ \vartheta(z,\tau) = \sum_{k \in \mathbb{Z}} e^{i\pi k^2 \tau} e^{2i\pi k z} $ 를 사용하여, 특정 메트릭에서 얀라베 연산자의 영공간 함수를 명시적으로 기술한다.

실험 결과

연구 질문

• RQ1 리만다이만다이만에서 GJMS 연산자 $ P_{k,g} $ 의 영공간에서 유도되는 등각 불변량은 무엇인가?
• RQ2 임의의 컴팩트 다양체의 차원이 $ n \geq 3 $ 일 때, $ P_{k,g} $ 의 영공간 불변량이 비자명한 메트릭이 존재하는가?
• RQ3 주어진 등각 동류 내에서 $ P_{k,g} $ 의 영공간이 가능한 $ Q_k $-곡률의 집합에 어떤 제약을 끼치는가?
• RQ4 컴팩트 히센버그 다양체에서 얀라베 및 편아이츠 연산자의 어떤 스펙트럼 성질이 비자명한 영공간 불변량을 갖는 메트릭을 구성하는 데 사용될 수 있는가?
• RQ5 연산자 $ P_{k,g} $ 의 비자명한 영공간이 존재할 경우, 어떤 함수들이 $ Q_k $-곡률이 될 수 없음을 규명할 수 있는가?

주요 결과

• 임의의 컴팩트 리만다이만다이만에서 차원 $ n \geq 3 $ 이면, $ P_{k,g} $ 의 영공간 불변량이 비자명한 메트릭이 존재함을 『정리 3.1』 에서 입증하였다.
• 컴팩트 히센버그 다양체에서 얀라베 연산자 $ P_{1,g_s} $ 에 대해, 큰 $ s $ 에서 음의 고유값의 수는 $ c(d)s^{2d+1} $ 이상이며, 여기서 $ c(d) $ 는 차원 $ d $ 에만 의존한다.
• 특정 조건 하에서 얀라베 연산자 $ P_{1,g_s} $ 의 영공간은 함수 $ u_{\pm}(x,y,t) = e^{\pm 2i\pi t} e^{\mp \pi s |x|^2} \prod_{1 \leq j \leq d} \vartheta(y_j \pm i s x_j, i s) $ 로 생성되며, 이는 야코비 제타 함수를 포함한다.
• 함수 $ u_{\pm} $ 의 영점 집합은 $ \bigcup_{1 \leq j \leq d} \left\{ (x,y,t) \in M \mid x_j = y_j = \frac{1}{2} \right\} $ 이며, 이는 등각 불변량이다.
• 차원 $ d = 1,2,3 $ 에서, $ s \to \infty $ 일 때 편아이츠 연산자 $ P_{2,g_s} $ 의 음의 고유값의 수는 무한히 증가하며, 이는 점점 더 복잡한 스펙트럼을 뜻한다.
• 만약 $ \ker P_{k,g} $ 가 비자명하다면, $ \mathcal{R}(Q_k) $, 즉 $ Q_k $-곡률로 표현 가능한 함수들의 집합은 $ C^\infty(M) $ 의 무한차원 비선형 부분공간과 서로소가 된다. 이는 모든 $ u \in \ker P_{k,g} \setminus \{0\} $ 에 대해 $ \int_M u(x) v(x) dV_{\hat{g}}(x) = 0 $ 이라는 적분 제약 조건 때문이므로.