[논문 리뷰] Potential theory in several quaternionic variables

Dongrui Wan|arXiv (Cornell University)|2015. 02. 10.

Geometry and complex manifolds참고 문헌 18인용 수 9

한 줄 요약

이 논문은 $ℝ^n$에서 허니온 함수 잠재이론을 도입함으로써, 복소수 잠재이론의 핵심 결과들을 허니온 설정으로 확장한다. 특히, 허니온 몽에-아프레 연산자 $(\triangle u)^n$를 기반으로 한 허니온 용적량 $C^*(E,\Omega)$를 정의하여, 허니온 전하함수의 $(-\infty)$-집합을 용적량이 0인 집합으로 특성화한다. 이는 무시 가능성을 의미하며, 베드포드-타일러 방법을 통해 조지프슨의 정리를 증명한다. 이 정리는 국소적 및 전역적 허니온 극점 집합의 동치성을 보장한다.

ABSTRACT

In this paper, we establish the quaternionic versions of the potential description of various "small" sets related to the quaternionic plurisubharmonic functions in $\mathbb{H}^n$. We use the quaternionic capacity introduced in \cite{wan4} to characterize the $(-\infty)$-sets of plurisubharmonic functions, as the sets of the vanishing capacity. The latter requirement is also equivalent to the negligibility of the set. We also prove the Josefson's theorem on the equivalence of the locally and globally quaternionic polar sets in $\mathbb{H}^n$, following the method of Bedford-Taylor.

연구 동기 및 목표

• 허니온 전하함수 이론에서의 소규모 집합을 위한 잠재이론 프레임워크를 개발하는 것.
• 새로 정의된 허니온 용적량을 통해 허니온 전하함수의 $(-\infty)$-집합을 특성화하는 것.
• 베드포드-타일러의 접근 방식을 따르며, $ℝ^n$에서 국소적 및 전역적 허니온 극점 집합의 동치성을 증명하는 조지프슨의 정리를 증명하는 것.
• 상한 폐쇄를 통해 정의된 $ℝ^n$ 내의 무시 가능한 집합이 정확히 허니온 극점 집합과 일치함을 보이는 것.

제안 방법

• 허니온 몽에-아프레 연산자 $(\triangle u)^n$를 기반으로 한 허니온 용적량 $C^*(E,\Omega)$를 도입한다.
• 다양체형식 $d_0, d_1$를 통해 정의된 바스턴 연산자 $\triangle$를 통한 허니온 헤시안과 무어 행렬식을 사용한다.
• 용적량 정의 및 연속성과 하향합성 성질 분석을 위해 상한 연속 정규화 $u^*$ 개념을 적용한다.
• 용적량 행동 분석을 위해 허니온 전하함수의 비교 원리 및 준연속성 성질을 활용한다.
• 쇼케의 용적량 가능 이론을 적용하여 모든 수스린 집합이 용적량 가능하다는 것을 보이며, 즉 $C^*(E,\Omega) = C(E,\Omega)$임을 증명한다.
• 용적량이 0이면 집합이 무시 가능하며, 이는 극점 집합과 동치임을 증명한다.

실험 결과

연구 질문

• RQ1 허니온 전하함수의 $(-\infty)$-집합은 $ℝ^n$에서 용적량 이론 프레임워크를 통해 특성화될 수 있는가?
• RQ2 복소수의 경우와 마찬가지로, $ℝ^n$에서 국소적 허니온 극점 집합의 개념이 전역적 허니온 극점 집합의 개념과 동치인가?
• RQ3 강한 슈퍼컨벡스 도메인에서 허니온 용적량 $C^*(E,\Omega)$는 일반화된 용적량의 공리계를 만족하는가?
• RQ4 상한 폐쇄를 통해 정의된 $ℝ^n$ 내의 무시 가능한 집합이 정확히 0인 허니온 용적량을 가진 집합인가?

주요 결과

• 허니온 전하함수의 $(-\infty)$-집합은 정확히 허니온 용적량이 0인 집합들이다.
• 집합 $P \subseteq \mathbb{H}^n$이 전역적 허니온 극점 집합일 조건은 $C^*(P,\mathbb{H}^n) = 0$임을 보이며, 이는 용적량 기반의 특성화를 확립한다.
• 논문은 조지프슨의 정리를 증명한다: $ℝ^n$에서 모든 국소적 허니온 극점 집합은 전역적 허니온 극점 집합이다. 이는 베드포드-타일러 스타일의 추론을 통해 이루어진다.
• 상한 폐쇄 $u = \sup u_\alpha$에 의해 정의된 $ℝ^n$ 내의 무시 가능한 집합 $">\{q \in \Omega : u(q) < u^*(q)\}$는 정확히 0인 허니온 용적량을 가진 집합들이다.
• 함수 $E \mapsto C^*(E,\Omega)$는 강한 슈퍼컨벡스 도메인에서 일반화된 용적량이며, 연속성과 단조성 성질을 만족한다.
• 모든 수스린 집합(특히 보렐 집합)은 용적량 가능하며, 즉 $C^*(E,\Omega) = C(E,\Omega)$임을 보장하여, 측도 가능 집합에 대해 용적량이 잘 정의됨을 보장한다.