[논문 리뷰] Homotopy classes of Newtonian spaces

Elefterios Soultanis|arXiv (Cornell University)|2013. 09. 25.

Geometric Analysis and Curvature Flows참고 문헌 27인용 수 4

한 줄 요약

이 논문은 거리 공간 간 뉴턴 맵에 대한 두 가지 호모토피 개념—경로 호모토피와 p-준호모토피—를 도입하고 비교하며, Ohta 위상에서 p-준호모토피인 맵들은 경로 호모토피임을 증명한다. 주요 기여는 제어된 호모토피 하에서 p-준호모토피류에 대한 약한 컴팩트니스 결과로, 뉴턴 공간 내 기하학적 구조와 해석적 성질을 연결한다.

ABSTRACT

We study notions of homotopy in the Newtonian space $N^{1,p}(X;Y)$ of Sobolev type maps between metric spaces. After studying the properties and relations of two different notions we prove a compactness result for sequences in homotopy classes with controlled homotopies.

연구 동기 및 목표

• 거리 공간 간 뉴턴 맵에 대한 호모토피 이론을 개발하며, 특히 소볼레프 유사 맵의 맥락에서 다룬다.
• 디리클레 및 뉴턴 클래스 맥락에서 두 개별 호모토피 개념—경로 호모토피와 p-준호모토피—간의 관계를 명확히 한다.
• 제어된 호모토피 조건 하에서 p-준호모토피류 내 수열의 컴팩트니스 성질을 확립한다.
• 특히 에너지 최소화자와 호모토피류와의 관계에서, 뉴턴 공간 $N^{1,p}(X;Y)$ 의 기하학적 및 해석적 구조를 조사한다.
• 호모토피류의 컴팩트니스와 관련된 $H^v_M / G_v$ 의 몫공간이 컴팩트가 되는 조건을 탐구한다.

제안 방법

• 디리클레 클래스 $D^{1,p}(X;Y)$ 에 두 가지 위상을 도입한다: 맵과 그 상한 기울기의 $L^p$-노름을 통한 표준 위상, 그리고 $L^1$-거리와 상한 기울기의 $L^p$-차이를 포함하는 편의적 거리 함수를 통한 Ohta 위상.
• p-준호모토피를 정의한다. 이는 임의로 작은 p-용적을 가진 집합 외부에서의 호모토피로, 경로 호모토피를 Ohta 위상 내 연속 경로로 정의한다.
• 특히 국소 기하학적 호모토피 맥락에서 p-준호모토피의 구조를 분석하기 위해 올리기와 대각 커버의 개념을 사용한다.
• Rellich-Kondrakov 컴팩트니스 정리를 적용하여 $H^v_M$ 이 올바른 거리 공간임을 보이며, 이는 몫공간 $H^v_M / G_v$ 의 컴팩트니스 추론을 뒷받침한다.
• 기하학적 및 해석적 구조를 연결하기 위해, 맵 $\overline{\phi}_M$ 을 통한 몫공간 $H^v_M / G_v$ 와 p-준호모토피류 $[v]_{p,M}$ 간의 위상동형을 확립한다.
• 호모토피의 속도의 $L^p$-노름을 사용하여 $[v]_{p,M}$ 에 길이 구조를 정의하며, 길이 함수는 $\ell(H) = \left(\int_X l_H^p \, d\mu\right)^{1/p}$ 로 주어지고, 이는 공간의 위상과 관련이 있다.

실험 결과

연구 질문

• RQ1 거리 공간 간 뉴턴 맵 맥락에서 경로 호모토피와 p-준호모토피 개념은 어떻게 관련되어 있는가?
• RQ2 Ohta 위상 내에서 두 맵 $D^{1,p}(X;Y)$ 간의 연속 경로가 p-준호모토피와 동치가 되는 조건은 무엇인가?
• RQ3 언제 몰입공간 $H^v_M / G_v$ 가 컴팩트해지며, 이는 $N^{1,p}(X;Y)$ 내 p-준호모토피류의 컴팩트니스에 어떤 의미를 갖는가?
• RQ4 뉴턴 공간 $N^{1,p}(X;Y)$ 에서 $L^p$-거리에 의해 유도된 위상이 p-준호모토피의 길이 구조에 의해 유도된 위상과 동치일 수 있는가?
• RQ5 주어진 p-준호모토피류 내에서 $\int_X l_H^p \, d\mu$ 의 최소값이 $u$ 에 대해 일관되게 유계일 조건은 무엇인가?

주요 결과

• 두 맵이 $D^{1,p}(X;Y)$ 내에서 p-준호모토피일 경우, Ohta 위상 내에서 연속 경로로 연결되며, 이는 해석적 및 위상적 호모토피 개념 간의 연결 고리를 확립한다.
• 속도에 대한 $L^p$-균일 유계성과 이미지 간 $L^1$-유계성 조건을 만족하는 연속 경로 $h: [0,1] \to D^{1,p}(X;Y)$ 는 양 끝점이 p-준호모토피임을 의미한다.
• 몰입공간 $H^v_M / G_v$ 가 컴팩트일 필요충분조건은 그 직경이 유한한 것이며, 이는 $u \in [v]_M$ 에 대해 모든 p-준호모토피 $H: v \simeq u$ 에 대해 $\int_X l_H^p \, d\mu$ 의 최소값이 일관되게 유계일 때 정확히 성립한다.
• $\overline{\phi}_M: H^v_M / G_v \to [v]_{p,M}$ 는 잘 정의된 전단사이며, $H^v_M / G_v$ 가 컴팩트일 경우 위상동형이 되며, 이는 $[v]_{p,M}$ 이 컴팩트임을 의미한다.
• $H^v_M / G_v$ 에 정의된 거리 $\overline{d}$ 는 p-준호모토피의 속도의 $L^p$-노름과 대응하며, 이 구조는 $[v]_{p,M}$ 에 길이 공간의 구조를 유도한다.
• $[v]_{p,M}$ 의 컴팩트니스는 $H^v_M / G_v$ 의 컴팩트니스와 동치이며, 이는 $u \in [v]_M$ 에 대해 모든 p-준호모토피 $H: v \simeq u$ 에 대해 $\int_X l_H^p \, d\mu$ 가 일관되게 유계임과 동치이다.