Carnot 군의 좌측 몫에서의 테일러 다항식

초록

본 논문은 Carnot 군을 좌측 코셋으로 나눈 뒤 얻어지는 서브리만니안 다양체에 대해, 기존 Carnot 군에서 성립하는 테일러 다항식 정리를 서브미터리 구조를 이용해 전이하고, 실해석성 조건 및 L‑조화성 결과를 확장한다.

상세 분석

논문은 먼저 Rothschild‑Stein의 벡터장 리프트 이론을 언급하며, Carnot 군의 자유 리프대수 구조를 최소 차원으로 구현하는 필요성을 제시한다. 저자는 이러한 리프트를 직접 수행하기보다, 이미 존재하는 Carnot 군 G와 그 닫힌 부분군 H 사이의 좌측 코셋 H\G를 고려한다. 핵심은 투사 π:G→H\G가 서브미터리(submetry)라는 사실이다. 즉, G의 반경 ρ 볼이 π에 의해 정확히 같은 반경 ρ 볼로 사상된다. 이 성질은 거리와 스케일링(δλ) 모두에 대해 보존되며, 따라서 G에서 정의된 수평 미분 연산자 ˜X_j를 π‑푸시포워드 X_j=Π_*˜X_j 로 옮겨도 동차성 및 리프대수 구조가 유지된다.

이러한 전이 메커니즘을 바탕으로 저자는 Carnot 군에서 알려진 테일러 다항식 정리(라그랑주 평균값 정리, 테일러 정리, 라그랑주 및 페아노 잔여식)를 그대로 H\G, 나아가 그와 동형인 매끄러운 전단면 M에 적용한다. 핵심 정리 4.1·4.2는 G에서의 수평 C^k 함수에 대해 다항식 ˜P_k가 존재하고, 오차는 거리 d_G와 k차 수평 미분의 최대값으로 제어된다는 내용이다. 이를 π를 통해 M에 끌어오면 동일한 형태의 오차 추정이 성립한다. 특히, Lemma 4.1과 Proposition 4.1은 M에서 정의된 테일러 다항식이 대표점 선택에 무관함을 보이며, 이는 H‑불변성에 기인한다.

논문은 또한 실해석성 조건과 L‑조화성(즉, L‑하모닉 함수의 테일러 다항식이 다시 L‑하모닉함) 결과를 확장한다. 여기서 L은 수평 벡터장으로 생성된 서브라플라시안이다. Carnot 군에서의 충분조건(예: 수평 미분이 모든 차수에 대해 연속)과 동일한 조건이 M에서도 성립함을 보인다.

마지막으로 두 구체적 예시를 제시한다. 첫 번째는 Grushin 평면으로, H가 수평 방향을 제외한 부분을 차지해 비정규(rank가 변하는) 구조를 만든다. 두 번째는 3차원 CR 구조를 갖는 예시로, 성장 벡터가 점에 따라 달라지는 비균일(equiregular이 아닌) 상황을 다룬다. 두 경우 모두 서브미터리와 동질성(dilatation) 덕분에 거리와 미분 연산이 보존되어 테일러 정리가 그대로 적용된다.

전체적으로 이 연구는 Carnot 군의 풍부한 대수·기하학적 구조를 서브리만니안 다양체에 효과적으로 전달하는 프레임워크를 제공하며, 비정규 혹은 비균일 서브리만니안 공간에서도 고전적인 테일러 전개와 그 응용을 가능하게 만든다.