[논문 리뷰] Rigidity for the spectral gap on $RCD(K,\infty)$-spaces

Nicola Gigli, C. Ketterer외 2명|arXiv (Cornell University)|2017. 09. 12.

Geometric Analysis and Curvature Flows참고 문헌 43인용 수 9

한 줄 요약

이 논문은 K > 0 인 RCD(K,∞)-공간에서 스펙트럼 간격의 강성 정리를 수립한다. 만약 라플라스 연산자의 첫 k개 고유값이 최적 하한 K에 도달하면, 해당 공간은 k차원 가우시안 공간으로 등距적으로 분리된다. 증명은 올린 고유함수, 정규 라그랑주 흐름, 그리고 합성 곡률-차원 이론을 결합하여 체앙–โจ우의 강성 결과를 미분 가능하지 않은 미터 측도 공간으로 일반화한다.

ABSTRACT

We consider a rigidity problem for the spectral gap of the Laplacian on an $RCD(K,\infty)$-space (a metric measure space satisfying the Riemannian curvature-dimension condition) for positive $K$. For a weighted Riemannian manifold, Cheng--Zhou showed that the sharp spectral gap is achieved only when a $1$-dimensional Gaussian space is split off. This can be regarded as an infinite-dimensional counterpart to Obata's rigidity theorem. Generalizing to $RCD(K,\infty)$-spaces is not straightforward due to the lack of smooth structure and doubling condition. We employ the lift of an eigenfunction to the Wasserstein space and the theory of regular Lagrangian flows recently developed by Ambrosio--Trevisan to overcome this difficulty.

연구 동기 및 목표

• K > 0 인 RCD(K,∞)-공간에서 스펙트럼 간격의 강성 결과를 수립하여, 체앙–조우의 결과를 미분 가능한 가중 리만 다양체에서 비미분 가능한 미터 측도 공간으로 확장한다.
• RCD(K,∞)-공간에서 미분 구조와 두배 조건이 부족한 문제를 최적 운반 이론과 미터 측도 공간 위의 미적분학에서 발전된 도구를 활용하여 해결한다.
• 첫 번째 스펙트럼 간격 λ₁ = K 가 중복도 k로 도달하면, 기저 공간과 ℝᵏ에 표준 가우시안 측도를 갖는 유클리드 거리로 이루어진 곱공간으로의 전역 등거리 분리가 성립함을 증명한다.
• 합성 기하학과 유동 기반 분석을 이용하여 무한차원 곡률-차원 조건으로의 오바타 유형 강성 정리들을 일반화한다.

제안 방법

• λ₁ = K 와 관련된 고유함수 u 를 워샤르슈타인 공간으로 올려, 최적 운반 하에서의 행동을 분석한다.
• 암브로시오–트레비산이 개발한 정규 라그랑주 흐름 이론을 적용하여 u 의 기울기 흐름과 그가 미터 구조에 미치는 영향을 분석한다.
• 에너지 항등식과 소볼레프-리프슐리츠 성질을 사용하여, 올린 흐름이 거리를 거의 모든 곳에서 유지함을 증명함으로써 등거리 분리를 유도한다.
• 분포 도함수 항등식과 컷오프 기법을 통해 측도가 기저 공간 측도와 ℝᵏ 상의 표준 가우시안 측도의 곱으로 분리됨을 확립한다.
• 고유함수의 헤시안이 거의 모든 곳에서 0임을 이용하여, ∇u 가 평행 벡터 장임을 유추하고, 이를 합성 기하학적 추론을 통해 분리로 이끈다.
• 중복도 k ≥ 2 에 대해 이론을 반복 적용하여, 유클리드 공간 ℝᵏ 와 가우시안 측도를 갖는 k차원의 분리를 확장한다.

실험 결과

연구 질문

• RQ1 RCD(K,∞)-공간에서 최적 스펙트럼 간격 λ₁ = K 가 성립할 조건은 무엇인가? 이는 기저 공간의 기하학적 분리를 이끌어내는가?
• RQ2 가중 리만 다양체에서 λ₁ = K 이면 가우시안 인자가 존재한다는 강성 결과가, 비미분 가능한 미터 측도 공간으로 확장될 수 있는가?
• RQ3 RCD(K,∞)-공간에서의 미분 구조 부족과 두배 조건의 결여를 어떻게 극복하여 스펙트럼 간격의 강성을 증명할 수 있는가?
• RQ4 고유함수의 정규 라그랑주 흐름이 등거리 분리를 확립하는 데 어떤 역할을 하는가?
• RQ5 스펙트럼 간격에서의 등호가, 유한차원 리히너플리츠 또는 오바타 정리에서와 동일한 분리 구조를 유도하는가?

주요 결과

• RCD(K,∞)-공간에서 라플라스 연산자의 첫 k개 고유값이 최적 하한 K에 도달하면, 기저 RCD(K,∞)-공간과 유클리드 거리로 이루어진 ℝᵏ 로의 등거리 분리가 성립한다.
• 곱공간 상의 기준 측도는 기저 측도와 ℝᵏ 상의 표준 가우시안 측도의 곱과 일치한다. 즉, e^{-K|x|²/2}dx 이다.
• 고유함수의 올림과 그 기울기의 정규 라그랑주 흐름을 통해 등거리 분리가 확립되며, 이 흐름이 거의 모든 곳에서 거리를 유지함을 보였다.
• 고유함수의 헤시안이 식별적으로 0이 되어, 기울기 벡터장이 평행임을 유추하고, 이를 합성 기하학적 추론을 통해 분리를 이끌어낸다.
• 이 결과는 임의의 중복도 k ≥ 1 에 대해 성립하며, 증명은 반복을 통해 k차원의 경우를 1차원의 경우로 환원한다.
• 경계가 있는 공간, 예를 들어 Y × [0,∞) 와 같은 공간에서는 강성이 실패한다. 이는 고유함수 u(y,t) = t 가 t = 0 에서 측도의 특이성로 인해 W^{1,2} 에 속하지 않기 때문이다.