[논문 리뷰] Poincar{é} and Sobolev inequalities for differential forms in Heisenberg groups

Annalisa Baldi, Bruno Franchi외 1명|arXiv (Cornell University)|2017. 11. 27.

Geometric and Algebraic Topology참고 문헌 4인용 수 3

한 줄 요약

이 논문은 비등방성 확대에 대한 척도 불변성을 복원하기 위해 de Rham 복합체를 대체하는 Rumin의 복합체를 사용하여 히젠베르크 군 위의 미분형식에 대해 날카로운 Poincaré 및 Sobolev 부등식을 수립한다. 주요 기여는 유계 기하학적 접촉다양체 위에서 Rumin의 복합체에 대한 전역 호모토피 공식을 제시하여 해의 정(regularity)을 향상시키고, $d_c$-닫힌 형식에 대해 최적의 $L^p$ 추정치를 가능하게 한다.

ABSTRACT

Poincar{é} and Sobolev inequalities for differential forms on Heisenberg balls, involving Rumin's differentials, are given. Furthermore, a global homotopy of Rumin's complex which improves differentiability of Rumin forms is provided on any bounded geometry contact manifold.

연구 동기 및 목표

• 표준 de Rham 복합체의 척도 불변성 결여 문제를 해결하면서, 히젠베르크 군 위의 미분형식에 대해 $L^p$-Poincaré 및 Sobolev 부등식을 수립하기 위해.
• 비유클리드 기하학과 비등방성 스케일링으로 인해 일반적인 Sobolev 및 Poincaré 부등식이 붕괴되는 하위리만다양체에서의 문제를 해결하기 위해.
• 유계 기하학적 접촉다양체 위에서 Rumin의 복합체에 대한 전역 호모토피 공식을 구성하여 $d_c\phi = \omega$의 해의 미분 가능성을 향상시키기 위해.
• 해 연산자 $T_M$ 및 오차항 $S_M$의 양적 추정치를 Sobolev 노름에 따라 제시하여 $L^p$ 및 Sobolev 공간 간의 연속성을 보장하기 위해.
• 호모토피 연산자의 정규화 성질을 증명함으로써, 하위리만다양체의 접촉다양체에 대해 $L^p$-코homological 도구의 적용 범위를 확장하기 위해.

제안 방법

• 접촉다양체 위에서 정의된 두 번째 차수 미분복합체인 Rumin의 복합체를 활용하며, 몫 및 영수(bundle)의 조합을 통해 비등방성 확대 $\delta_t$에 대한 척도 불변성을 복원한다.
• 유한한 커버에 대해 접촉차트에 국한된 파artition of unity를 적용하여 문제를 국소화한다. 각 차트는 히젠베르크 구역과 미분동형이다.
• 각 히젠베르크 차트에서 Rumin의 미분법에 의해 정의된 연산자 $T$ 및 $S$의 역상에 기반한 국소 호모토피 공식을 구성하여 $d_c T + T d_c + S = I$를 확보한다.
• 국소 연산자를 파artition of unity를 통해 결합하여 전역 호모토피 연산자 $T_M = \sum_{i=0}^{k-1} S^i T$ 와 오차항 $S_M = S^k$를 정의함으로써 정규화 성질을 확보한다.
• 히젠베르크 차트에서의 국소 추정치와 다양체의 유계 기하학 조건을 이용하여 $T_M$ 및 $S_M$ 이 $L^p$와 Sobolev 공간 $W^{m,p}$ 사이에서 연속임을 증명한다.
• 모델 공간에서 $\phi_j^\# \alpha$ 와 $\|\alpha\|_{W^{m,p}}$ 가 $-k \leq m \leq k$ 에 대해 동치임을 이용하여, Sobolev 노름 추정치를 모델 공간으로 이행할 수 있음을 이용한다.

실험 결과

연구 질문

• RQ1 표준 de Rham 복합체 대신 Rumin의 복합체를 사용하여 히젠베르크 군 위의 미분형식에 대해 Poincaré 및 Sobolev 부등식을 수립할 수 있는가?
• RQ2 유계 기하학적 접촉다양체 위에서 Rumin의 복합체에 대한 전역 호모토피 공식을 어떻게 구성할 수 있으며, 이는 $d_c\phi = \omega$의 해의 정(regularity)을 향상시키는가?
• RQ3 호모토피 분해 $I = d_c T_M + T_M d_c + S_M$ 에서 해 연산자 $T_M$ 및 오차항 $S_M$ 에 대한 최적의 $L^p$-Sobolev 추정치는 무엇인가?
• RQ4 $S_M = S^k$ 의 정규화 성질이 Sobolev 공간에서 해의 미분 가능성에 얼마나 기여하는가?
• RQ5 $T_M$ 및 $S_M$ 의 연속성 특성은 형식 차수 $h$ 와 임계 차수 $h = n$ 및 $h = n+1$ 에 따라 어떻게 달라지는가?

주요 결과

• 모든 유계 $C^k$-기하학적 하위리만다양체(단, $k \geq 2$)에 대해 항등연산자가 $I = d_c T_M + T_M d_c + S_M$ 로 분해되며, 여기서 $T_M = \sum_{i=0}^{k-1} S^i T$ 이고 $S_M = S^k$ 이다.
• 해 연산자 $T_M$ 는 $h \neq n$ 일 때 $W^{-1,p}(M,E_0^{h+1})$ 에서 $L^p(M,E_0^h)$ 로 사상하며, $h = n$ 일 때는 $W^{-2,p}(M,E_0^{n+1})$ 에서 $L^p(M,E_0^n)$ 으로 사상하여 약한 해에 대한 통제를 보장한다.
• $h \neq n+1$ 일 경우 $T_M$ 는 $L^p(M,E_0^h)$ 에서 $W^{1,p}(M,E_0^{h-1})$ 로 사상하며, $h = n+1$ 일 경우 $L^p(M,E_0^{n+1})$ 에서 $W^{2,p}(M,E_0^n)$ 으로 사상하여 정(regularity) 향상을 보여준다.
• 오차항 $S_M$ 는 $L^p(M,E_0^h)$ 에서 $W^{k,p}(M,E_0^h)$ 로 사영되며, 다양체의 $C^k$-정규성과 호환되는 최대의 정규화 성질을 제공한다.
• $T_M$ 및 $S_M$ 의 연속성은 히젠베르크 차트에서의 국소 추정치와 유계 기하학 가정을 이용하여 증명되었으며, 역상에 의한 Sobolev 노름의 동치성 덕분이다.
• 결과는 해의 $d_c$-닫힘성 조건을 만족하는 전역 $L^p$-Sobolev 및 Poincaré 부등식으로 확장되며, 호모토피 공식 덕분에 영역 크기와 무관한 상수를 갖는다.