[논문 리뷰] Lens rigidity for manifolds with hyperbolic trapped set

Colin Guillarmou|arXiv (Cornell University)|2014. 12. 04.

Geometric Analysis and Curvature Flows참고 문헌 56인용 수 32

한 줄 요약

이 논문은 초구형 포획 집합을 가진 리만다이니안 다양체와 공액점이 없는 경우에 대해 변형 렌즈 격리성을 확립한다. 이는 엄격한 볼록 경계를 가진 모든 음의 곡률 다양체를 포함한다. 이는 비자명한 위상과 포획된 지오데식선이 존재할 수 있음을 허용한다. 차원 2에서, 산란 데이터가 경계를 고정하는 미분동형사상에 의해 동치되는 등각 구조를 결정함을 증명한다. 이는 이전의 단순 다양체 설정을 넘어서는 격리 결과를 확장하며, 고도로 발전된 마이크로로컬 및 역동계통 기법을 사용한다.

ABSTRACT

For a Riemannian manifold $(M,g)$ with strictly convex boundary $\partial M$, the lens data consists in the set of lengths of geodesics $γ$ with endpoints on $\partial M$, together with their endpoints $(x_-,x_+)\in \partial M imes \partial M$ and tangent exit vectors $(v_-,v_+)\in T_{x_-} M imes T_{x_+} M$. We show deformation lens rigidity for a large class of manifolds which includes all manifolds with negative curvature and strictly convex boundary, possibly with non-trivial topology and trapped geodesics. For the same class of manifolds in dimension $2$, we prove that the set of endpoints and exit vectors of geodesics (ie. the scattering data) determines the topology and the conformal class of the surface.

연구 동기 및 목표

• 초구형 포획 집합을 가진 다양체와 공액점이 없는 경우에 대해 변형 렌즈 격리 문제를 해결한다. 이 클래스는 엄격한 볼록 경계를 가진 모든 음의 곡률 다양체를 포함한다.
• 이전 연구에서 단순 다양체나 비포획 다양체에 국한된 렌즈 및 산란 격리 결과를 비자명한 위상과 포획된 지오데식선이 존재하는 다양체로 확장한다.
• 차원 2에서 산란 데이터가 경계를 고정하는 미분동형사상에 의해 리만 표면의 등각 구조를 결정함을 증명한다.
• 초구형 역동계통에서 유래한 새로운 마이크로로컬 해석 기법을 개발하고 기하 해석의 역문제에 적용한다.
• 포획과 비자명한 위상을 고려하여 단순 다양체 설정을 넘어서 경계 및 렌즈 격리 결과를 일반화한다.

제안 방법

• 논문은 1-매개변수 가중치 가중치를 사용하고, 지오데식 흐름의 마이크로로컬 분석을 통해 렌즈 동치성이 경계에서 항등사상에 등속된 미분동형사상의 가중치 가중치 존재를 유도한다.
• 산란 변환과 산란 연산자 $ S_g^* $ 를 새로운 방식으로 도입하여 경계 데이터를 구면 배ndl의 운반 방정정의 해와 연결한다.
• 이 방법은 구면 배ndl 위의 푸리에 변환 이론과 수평 도함수의 짝수 부분을 코딩하는 연산자 $ H_{\text{ev}} $ 의 사용에 의존한다.
• 유계성과 타원성 성질을 활용하여 $ I $-변환과 $ I_1 $-변환을 적용하여 경계 데이터를 경계 위의 $ L^2 $-함수와 연결한다.
• 파동 앞세트 분석과 특이점의 전파를 사용하여 산란 동치 조건 하에서 $ (M,g) $ 와 $ (M',g') $ 의 해석적 함수의 경계 값이 일치함을 보인다.
• 벨리셰프의 결과를 활용하여 해석적 확장을 산란 데이터와 연결하여, 차원 2에서 등각 미분동형사상의 존재를 결론짓는다.

실험 결과

연구 질문

• RQ1 음의 곡률 다양체에서 포획된 지오데식선과 비자명한 위상을 가진 경우, 단순 다양체 클래스를 넘어서 렌즈 격리성이 성립할 수 있는가?
• RQ2 차원 2에서 산란 데이터가 경계를 고정하는 미분동형사상에 의해 리만 표면의 등각 구조를 결정하는가?
• RQ3 마이크로로컬 및 역동계통 기법을 어떻게 체계적으로 적용하여 포획이 존재하는 기하 해석의 역문제를 해결할 수 있는가?
• RQ4 공액점은 없지만 포획이 존재할 경우, 렌즈 데이터가 등급에 의해 매트릭스를 결정할 수 있는 정도는 어느 정도인가?
• RQ5 두 다양체에서 해석적 함수의 경계 값이 산란 데이터가 일치할 경우에 대해 대응 관계가 존재하는가?

주요 결과

• 초구형 포획 집합, 공액점 없음, 엄격한 볼록 경계를 가진 모든 $ n $-차원 리만다이니안 다양체에서 변형 렌즈 격리성이 성립한다. 이는 모든 음의 곡률 다양체를 포함한다.
• 차원 2에서 산란 동치성은 경계를 고정하고 경계 매트릭스를 유지하는 미분동형사상에 의해 두 리만 표면이 등각적으로 동치임을 의미한다.
• 산란 데이터가 일치할 경우 $ (M,g) $ 와 $ (M',g') $ 의 해석적 함수의 경계 값 공간이 일치하며, 이는 벨리셰프의 결과에 의해 등각 동치를 의미한다.
• 유계성과 파동 앞세트 전파를 이용하여 $ I_1(*dI_0^*\rho + dq) = 0 $ 를 증명함으로써 조화 쌍대 함수의 존재를 보인다.
• 논문은 $ (S_g^* - \text{id})H_{\text{ev}}\rho $ 가 $ L^2 $ 에 속하고 $ \frac{1}{2\tau} I_1(*d{\rm d}\rho) $ 와 같음을 증명하여 경계 데이터와 매트릭스 구조를 연결한다.
• 산란 동치 조건 하에서 차원 2에서 $ \theta: M \to M' $ 이 존재하여 $ \theta^*g' = e^{2\theta}g $ 이고 $ \theta|_{\text{bdry}} = \text{id} $ 를 만족함을 증명한다.