[논문 리뷰] Porosity of the branch set of discrete open mappings with controlled linear dilatation

Chang‐Yu Guo, Marshall Williams|arXiv (Cornell University)|2015. 09. 09.

Geometric Analysis and Curvature Flows참고 문헌 32인용 수 3

한 줄 요약

이 논문은 일반화된 $n$-다양체에서 선형 변형률이 제어된 이산 개방 사상에 대해, 국소적으로 선형적으로 $n$-연결되고 유계 전방위 조건을 만족하는 기하적 가정 하에 분기 집합과 그 이미지의 가산 조밀성(Countable porosity)을 확립한다. 핵심 결과는 분기 집합과 그 이미지가 국소적으로 두 배되는 측도에 대해 영집합임을 보이며, 선형 변형률에 대한 균일한 유계 조건이 성립할 경우 계산 가능한 조밀성 상수를 갖는 양적 $\delta$-조밀성임을 보인다. 이는 고전적 정리들을 일반화하고 널리 적용 가능한 바이살라의 부등식을 도출한다.

ABSTRACT

Assume that $X$ and $Y$ are locally compact and locally doubling metric spaces, which are also generalized $n$-manifolds, that $X$ is locally linearly locally $n$-connected, and that $Y$ has bounded turning. In this paper, addressing Heinonen's ICM 02 talk, we study the geometry of the branch set $\mathcal{B}_f$ of a quasiregular mapping between metric $n$-manifolds. In particular, we show that $\mathcal{B}_f\cap \{x\in X:H_f(x)

연구 동기 및 목표

• 메트릭 $n$-다양체 간의 정칙 사상의 분기 집합 기하학적 구조를 기술함으로써 헤인넨이 2002년 ICM 연설에서 제기한 질문에 응답함.
• 제어된 선형 변형률을 갖는 이산 개방 사상 하에서 분기 집합과 그 이미지에 대한 양적 조밀성 결과를 확립함.
• 보통의 정칙 사상 정리들인 본크–헤인넨과 사르바스 정리를 최소한의 해석적 가정으로도 넓은 범위의 메트릭 공간으로 일반화함.
• 유계된 선형 변형률을 갖는 일반 메트릭 측도 공간에서 바이살라의 부등식을 최대한 일반적으로 도출함으로써 유클리드 공간 외부의 값 분포 이론을 가능하게 함.
• 헤인넨–리카먼과 헤인넨–세미스의 열린 문제를 주요 결과를 특수한 경우에 적용하여 해결함.

제안 방법

• 저자들은 선형 변형률 $H_f(x)$의 개념을 사용하여 왜곡을 제어하고, $H_f$의 점별 유계성으로 정칙 사상 정의함.
• 분기 집합의 '작음'을 수량화하기 위해 구 내 구멍의 상대 밀도를 통한 가산 조밀성 정의를 활용함.
• 모듈러스의 왜곡에 대한 정량적 한계를 도출하기 위해 로에너 조건과 곡선 가족의 모듈러스 추정을 활용함.
• 선형적으로 국소 $n$-연결된 공간에 대한 정량적 ENR 이론을 적용하여 국소 기하학을 제어하고 국소 결과를 전역적으로 확장함.
• 환영 왜곡 추정과 $K_O$-부등식을 사용하여 도메인과 이미지 내 곡선 가족의 모듈러스를 연결함.
• 바이살라의 부등식 유도는 파올레츠키의 부등식과 이중 측도 하에서 분기 집합의 이미지의 영집합 성질을 결합함.

실험 결과

연구 질문

• RQ1 메트릭 $n$-다양체 간의 정칙 사상의 분기 집합 기하학적 구조는 조밀성의 관점에서 기술할 수 있는가?
• RQ2 어떤 기하학적 가정 하에서 분기 집합과 그 이미지는 가산 조밀성이 되는가?
• RQ3 제어된 선형 변형률을 갖는 일반 메트릭 측도 공간에서 바이살라의 부등식을 일반적으로 확립할 수 있는가?
• RQ4 선형 변형률 $H_f(x) \leq H$ 가 균일하게 성립할 경우 분기 집합의 조밀성은 양적으로 제어되는가?
• RQ5 본크–헤인넨과 사르바스 정리와 같은 고전적 정리들이 비스무스 메트릭 공간으로 일반화될 수 있는가?

주요 결과

• 집합 $\mathcal{B}_f \cap \{x \in X : H_f(x) < \infty\}$ 는 $X$ 에서 가산 조밀성이며, $f$ 에 의한 그 이미지는 $Y$ 에서 가산 조밀성임.
• 균일 유계 조건 $H_f(x) \leq H$ 가 성립할 경우, $\mathcal{B}_f$ 와 $f(\mathcal{B}_f)$ 는 계산 가능한 조밀성 상수 $\delta$ 를 갖는 가산 $\delta$-조밀성임. $\delta$ 는 $H$ 와 $X$, $Y$ 의 기하 데이터에 의존함.
• 분기 집합과 그 이미지는 각각 $X$ 와 $Y$ 에서 국소적으로 두 배되는 측도에 대해 영집합임.
• 결과들은 제어된 기하적 구조를 갖는 광범위한 일반화된 $n$-다양체 클래스에 대해 본크–헤인넨 정리와 사르바스 정리를 일반화함.
• 이산 개방 사상에서 선형 변형률이 유한하고 $H_f$ 가 균일하게 유계일 경우 바이살라의 부등식이 전반적으로 성립하며, 상수 $K_I$ 는 $H$ 와 공간 데이터에만 의존함.
• 주요 결과들은 헤인넨–리카먼의 열린 문제와 헤인넨–세미스의 열린 질문을 특수한 경우에 일반 정리 적용을 통해 해결함.