[논문 리뷰] Pansu pullback and rigidity of mappings between Carnot groups

Bruce Kleiner, Stefan Müller외 1명|arXiv (Cornell University)|2020. 04. 20.

Geometric Analysis and Curvature Flows참고 문헌 39인용 수 5

한 줄 요약

이 논문은 캐노니컬 군 사이의 소볼레프 사상에 대해 미분 형식의 판수 당김을 도입하며, 특정 가중치 조건 하에서 당김과 외부 도함수 사이의 부분적인 교환 관계를 확립한다. 주요 기여는 판수 당김과 외부 도함수를 포함하는 분포적 항등식으로, 이는 부분 리만 기하학에서 쿼드라컨formal 및 소볼레프 사상에 대한 새로운 강성 및 정규성 결과를 가능하게 한다.

ABSTRACT

This is the first in a series of papers on geometric mapping theory in Carnot groups -- and more generally equiregular manifolds -- in which we prove a number of new structural results for Sobolev (in particular quasisymmetric) mappings, establishing (partial) rigidity or (partial) regularity theorems, depending on the context.

연구 동기 및 목표

• 캐노니컬 군 사이의 소볼레프 사상에 대해 고전적인 미분 형식의 당김을 비가속적이고 메트릭-측도적 환경으로 확장하는 새로운 분석적 도구인 판수 당김을 수립하는 것.
• 쿼드라컨포멀 및 소볼레프 사상의 제한된 정규성 문제를 해결하기 위해, 계층적 리 군의 구조를 유지하는 분포적 형태의 당김을 도입하는 것.
• 유클리드 공간에서의 고전적 당김과 외부 도함수의 교환 법칙의 부분적 일반화를 증명하는 것. 이는 소볼레프 사상에 대해 특정 가중치 조건이 만족될 경우에만 성립한다.
• 판수 당김 항등식에서 유도된 제약 조건을 활용하여, 캐노니컬 군과 등규칙적 다양체 위에서 기하학적 사상 이론의 강성 및 정규성 정리를 설립하는 기초를 마련하는 것.
• 판수의 미분 정리에 기반한 국소 적응 기저와 점근적 스케일링을 사용하여, 이론을 캐노니컬 군을 초월해 일반 등규칙적 부분 리만 다양체로 확장하는 것.

제안 방법

• 캐노니컬 군 G와 G' 사이의 소볼레프 사상 f: G → G'의 근사 판수 미분을 사용하여, 매끄러운 미분 형식 ρ에 대한 판수 당김 f_P^*ρ를 정의한다.
• 캐노니컬 군과 등규칙적 다양체 위의 미분 형식에 대해, 접선 복합체의 필터링과 확대 작용을 통한 가중치의 개념을 정의한다.
• 분포적 항등식을 확립한다: p > ν 이면, 만약 ω ∈ Ω^k(U') 및 η ∈ Ω^{N-k-1}_c(U)가 wt(ω) + wt(dη) ≤ -ν 와 wt(dω) + wt(η) ≤ -ν 를 만족하면, ∫_U (f_P^*dω) ∧ η + (-1)^k ∫_U f_P^*ω ∧ dη = 0 이다.
• 가중치 조건 하에서, ρ → 0 일 때 판수 미분으로 수렴하는 가속화된 사상 ˆf^{x,ρ} = (δ_ρ^{f(x)'})^{-1} ∘ f ∘ δ_ρ^x 를 사용한 모스티피케이션 및 스케일링의 방법으로 항등식을 증명한다.
• 판수 미분과 f의 소볼레프 정규성으로부터 유도된 국소 적분 가능한 상한 함수를 사용하여, 극한으로 넘어가는 데에 도미네이티드 수렴 정리를 적용한다.
• 국소 적응 기저를 사용하고, 판수 미분이 동류 측도에 거의 어디서나 존재한다는 사실을 활용하여 결과를 등규칙적 다양체로 확장한다.

실험 결과

연구 질문

• RQ1 소볼레프 사상이 비가속적일 수 있는 캐노니컬 군 사이에서, 고전적 당김과 외부 도함수의 교환 법칙을 일반화할 수 있는가?
• RQ2 어떤 가중치 조건이 판수 당김이 분포적 의미에서 외부 도함수와 교환되도록 보장하는가?
• RQ3 판수 당김은 부분 리만 기하학에서 쿼드라컨포멀 및 소볼레프 사상에 대해 어떤 강성 또는 정규성 결과를 도출하는 데 사용될 수 있는가?
• RQ4 당김 항등식은 캐노니컬 군에서 일반 등규칙적 부분 리만 다양체로 얼마나 넓게 확장될 수 있는가?
• RQ5 당김 항등식은 판수 미분에 어떤 구조적 제약을 가하며, 특히 진동 행동이나 부분 미분 방정식 측면에서 어떤 영향을 미치는가?

주요 결과

• p > ν 이면, W^{1,p} 사상 f: G → G' 에서의 미분 형식 ω에 대한 판수 당김 f_P^*ω는, ω와 η의 가중치가 wt(ω) + wt(dη) ≤ -ν 와 wt(dω) + wt(η) ≤ -ν 를 만족할 경우, 외부 도함수와 분포적으로 관련된 항등식을 만족한다.
• 모든 컴acts지지된 매끄러운 (N-k-1)-형식 η가 가중치 조건을 만족하면, 항등식 ∫_U (f_P^*dω) ∧ η + (-1)^k ∫_U f_P^*ω ∧ dη = 0 가 성립하며, 이는 사상에 대한 새로운 제약 조건을 제공한다.
• 가속화된 사상 ˆf^{x,ρ}가 판수 미분으로 수렴함을 이용한 극한 근사 방법에 기반하여 결과가 확립되며, 판수 미분으로부터 도출된 적분 가능한 상한 함수의 존재에 의존한다.
• 국소 적응 기저를 사용하고, 판수 미분이 동류 측도에 거의 어디서나 존재한다는 사실을 활용하여, 결과는 등규칙적 부분 리만 다양체로 확장된다.
• 이 방법은 이후 연구에서 강성 및 정규성 정리를 도출할 수 있도록 하며, 항등식이 진동 행동을 배제하고 판수 미분에 PDE 유사 제약 조건을 강제하는 메커니즘을 제공한다.
• 가중치 조건은 당김과 외부 도함수의 상호작용 방식을, 비록 일반적으로 소볼레프 사상에 대해 당김이 d와 교환되지 않더라도, 매끄러운 경우와 유사하게 만든다.