[논문 리뷰] The Scattering Relation on Asymptotically Hyperbolic Manifolds

Antônio Sá Barreto, Yiran Wang|arXiv (Cornell University)|2014. 10. 24.

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

한 줄 요약

이 논문은 비흡수성 점점 비유클리드 기하학적 다양체(비흡수성 비유클리드 기하학적 다양체, AHM)에서 산산이 흩어지는 관계의 매끄럽고 구조적인 성질을 확립한다. 이를 통해 체류 시간과 기하학적 흐름이 무한대 경계에까지 매끄럽게 연장됨을 증명한다. 또한 기하학적으로 볼록한 AHM에서의 거리 함수의 점근적 전개를 유도하여, 거리 함수가 매끄럽고 그 미분이 기하학 벡터장의 라그랑주 흐름으로 기술됨을 보이며, 체류 시간이 무한대 근처에서 주요 행동을 기술함을 밝힌다.

ABSTRACT

We study the scattering relation and the sojourn times on non-trapping asymptotically hyperbolic manifolds and use it to obtain the asymptotics of the distance function on geodesically convex asymptotically hyperbolic manifolds.

연구 동기 및 목표

• 비흡수성 점점 비유클리드 기하학적 다양체(AHM)에서 산산이 흩어지는 관계를 정의하고 분석하여, 유클리드 공간에서의 고전적 산산이 흩어지는 틀을 일반화한다.
• 두 경계점 사이를 연결하는 기하학적 흐름에 대해 체류 시간 기능을 확장하여, 이전 연구에서 한 경계 접근만 고려한 결과를 일반화한다.
• 산산이 흩어지는 관계의 매끄러움과 기하학 벡터장의 라그랑주 흐름이 코탄젠트 번들의 위상에서의 관계를 확립한다.
• 산산이 흩어지는 관계와 체류 시간을 사용하여 기하학적으로 볼록한 AHM에서의 거리 함수의 점근적 전개를 도출한다.
• 체류 시간 $ s = r(z,z') + \log \rho_L + \log \rho_R $ 가 $ X \times_0 X \setminus \text{Diag}_0 $ 에서 매끄러운 함수임을 보이며, 기하학적 기하선의 기하학적 성질과 산산이 흩어지는 자료를 연결한다.

제안 방법

• 기하학적 흐름 $ \exp(tH_p) $ 를 코구면다양체 $ S^*\text{Diag} $ 에서 정의하여 단위 속도 기하선을 매개하는 라그랑주 부분다양체 $ \Lambda $ 를 정의한다.
• 미세국소 해석학과 $ C^\infty $-매끄러운 구조 이론을 사용하여, 섬유곱 $ X \times_0 X $ 에서의 산산이 흩어지는 관계를 무한대 경계를 넘어 확장한다.
• 기하선 길이 $ t $ 와 경계 정의 함수 $ \rho_L, \rho_R $ 를 사용하여 체류 시간 $ s = t + \log \rho_L + \log \rho_R $ 를 도입하여 산산이 흩어지는 자료의 매끄러운 확장을 정의한다.
• 메트릭이 점점 비유클리드 기하학적임을 보장하기 위해 매끄러운 정의 함수 $ x $ 가 존재함을 가정하며, $ g = \frac{dx^2}{x^2} + \frac{h(x)}{x^2} $ 이고 $ h(0) = h_0 $ 임을 보장한다.
• 기하학적으로 볼록한 다양체일 경우, 정규좌표계에서 지수사상으로 기하선을 전역적으로 매개하여 전역 라그랑주 구조를 구성한다.
• Sá Barreto와 Wunsch(2012)의 결과를 응용하여, 극한 $ s_\gamma(z',y) = \lim_{t\to\infty}(t + \log \rho(\gamma(t))) $ 가 존재함을 보이며, 이를 양쪽 경계에 접근하는 경우로 일반화한다.

실험 결과

연구 질문

• RQ1 비흡수성 점점 비유클리드 기하학적 다양체에서 산산이 흩어지는 관계는 어떻게 정의되고, 무한대 경계에까지 매끄럽게 연장될 수 있는가?
• RQ2 두 내부 점 간의 거리 함수가 둘 다 경계에 수렴할 때의 점근적 행동은 무엇인가?
• RQ3 체류 시간 $ s = r(z,z') + \log \rho_L + \log \rho_R $ 는 기하선의 기하학적 성질과 산산이 흩어지는 자료와 어떻게 관련이 있는가?
• RQ4 기하학적 흐름으로 생성된 라그랑주 $ \Lambda $ 가 매끄러운 임베딩 부분다양체가 되는 조건은 무엇인가?
• RQ5 거리 함수의 미분은 코탄젠트 번들의 매끄러운 라그랑주 대응의 그래프로 기술될 수 있는가?

주요 결과

• 비흡수성 AHM에서 산산이 흩어지는 관계는 무한대 경계에까지 매끄럽게 연장되며, $ T^*({\mathbb{R}}_s \times X \times_0 X) $ 에서 $ C^\infty $-임베딩 라그랑주 부분다양체를 이룬다.
• 체류 시간 $ s = r(z,z') + \log \rho_L + \log \rho_R $ 는 $ X \times_0 X \setminus \text{Diag}_0 $ 에서 매끄러운 함수이며, 무한대 근처에서 기하선 길이의 주요 점근적 행동을 기술한다.
• 기하학적으로 볼록한 AHM에서, $ \Lambda \setminus S^*\text{Diag} $ 는 거리 함수 $ r(z,z') $ 의 미분의 그래프이다. 즉, $ \zeta = d_z r(z,z'), \zeta' = -d_{z'} r(z,z') $.
• 산산이 흩어지는 관계는 흐름 $ \exp(tH_p)S^*\text{Diag} $ 를 무한대 경계로 제한한 것으로, $ t $ 가 $ s = t + \log \rho_L + \log \rho_R $ 로 대체된 것이다.
• $ \partial({\mathbb{R}}_s \times X \times_0 X) $ 로의 산산이 흩어지는 관계의 확장은 매끄럽고 잘 정의되어 있으며, $ s $ 는 기저 변수들에 대한 매끄러운 함수이다.
• 결과는 산산이 흩어지는 행렬의 스웨츠 커널의 주요 특이항이 $ R^{-2i\lambda}H|_{\{\rho_L=\rho_R=0\}} $ 와 관련이 있음을 확인하며, 여기서 $ H $ 는 $ X \times_0 X $ 에서 매끄럽고, 미세국소 해석학과 산산이 흩어지는 이론을 연결한다.