[논문 리뷰] On piecewise pluriharmonic functions

Boris Kazarnovskii|arXiv (Cornell University)|2012. 06. 17.

Geometry and complex manifolds참고 문헌 3인용 수 5

한 줄 요약

이 논문은 복소다양체 위의 조각별 플루리하모닉(PPH) 함수로 조각별 선형 함수 이론을 확장한다. PPH 함수와 그 $dd^c$-이미지로 생성된 전류의 링을 구성하고, $ \delta(h) = dd^c h$ 및 $ \delta(dd^c h) = 0$ 를 만족하는 유도자 $ \delta$ 가 존재함을 증명한다. 이로 인해 혼합 몽체-암페르 전류 $dd^c h_1 \wedge \cdots \wedge dd^c h_k$ 가 곱 $h_1 \cdots h_k$ 에만 의존한다는 핵심 추론을 이끌어내며, 기존의 볼록기하학 및 복소기하학 이론을 일반화한다.

ABSTRACT

We extend some results on piecewise linear functions on $\C^n$ to piecewise pluriharmonic functions on any complex manifold. We construct a ring generated by currents $h$ and $dd^ch$, where $\{h\}$ is a finite set of piecewise pluriharmonic functions. We prove that, with some restrictions on the set $\{h\}$, the map $\{h\mapsto dd^ch,\ dd^ch\mapsto0\}$ can be continued to the derivation on the ring. As a corollary, the current $dd^cg_1\wedge...\wedge dd^cg_k$ depends on the product of piecewise pluriharmonic functions $g_1,...,g_k$ only.

연구 동기 및 목표

• 복소다양체 위의 일반적인 복소다양체에서 $\mathbb{C}^n$ 에서의 조각별 선형 함수 이론을 조각별 플루리하모닉(PPH) 함수로 일반화한다.
• PPH 함수 $h$ 와 그 $dd^c h$ 이미지로 생성된 전류의 링 $\mathcal{A}$ 를 구성한다.
• 모든 $h \in A$ 에 대해 $\delta(h) = dd^c h$ 와 $\delta(dd^c h) = 0$ 를 만족하는 링 $\mathcal{A}$ 위의 유도자 $\delta$ 를 확립하여, PPH 함수로의 미분 구조를 확장한다.
• 혼합 몽체-암페르 전류 $dd^c h_1 \wedge \cdots \wedge dd^c h_k$ 가 곱 $h_1 \cdots h_k$ 에만 의존함을 증명하며, 볼록기하학에서 알려진 핵심 성질을 일반화한다.

제안 방법

• 복소다양체의 국소 유한 삼등분에 대해 각 단체에서 플루리하모닉인 연속 함수로 PPH 함수를 정의한다.
• 공통 삼등분이 존재하는 PPH 함수의 구조적 공간 $A$ 의 개념을 도입한다. 이 경우 각 함수는 각 단체에서 플루리하모닉이다.
• 함수 $h \in A$ 에 대해 $h$ 와 $dd^c h$ 로 생성된 전류의 링 $\mathcal{A}$ 를 구성하고, $\delta(h) = dd^c h$ 와 $\delta(dd^c h) = 0$ 를 통해 유도자 $\delta$ 를 정의한다.
• $k$-번째 모서리 위치 구조와 전류 이론적 스토크스 유사 항등식을 사용하여, 링 $\mathcal{A}$ 의 몫환에서 유도자 $\delta$ 가 잘 정의되어 있음을 증명한다.
• 전류 $ \mathcal{T}$ 와 PPH-사이클 사이의 대응 $ \iota$ 를 정의하고, $D_c$ 연산자를 사용하여 $ \delta$-작용과 사이클의 경계 작용 간의 관계를 설정한다.
• $ \iota \pi \delta' = D_c \iota \pi$ 를 증명하여, 유도자와 사이클 이론적 작용 간의 호환성을 보여준다.

실험 결과

연구 질문

• RQ1 복소다양체 위의 일반적인 복소다양체에서 $\mathbb{C}^n$ 에서의 조각별 선형 함수 이론을 조각별 플루리하모닉 함수로 확장할 수 있는가?
• RQ2 PPH 함수와 그 $dd^c$-이미지로 생성된 전류 링 위에 $\delta(h) = dd^c h$ 와 $\delta(dd^c h) = 0$ 를 만족하는 잘 정의된 유도자 $\delta$ 가 존재하는가?
• RQ3 PPH 함수에 대해 혼합 몽체-암페르 전류 $dd^c h_1 \wedge \cdots \wedge dd^c h_k$ 가 곱 $h_1 \cdots h_k$ 에만 의존하는가?
• RQ4 PPH 함수의 최댓값이 구조적 공간에 유지되는 조건은 무엇이며, 이는 전류 $dd^c(h - h_1) \wedge \cdots \wedge dd^c(h - h_k)$ 에 어떤 영향을 미치는가?

주요 결과

• PPH 함수와 그 $dd^c$-이미지로 생성된 전류 링 $\mathcal{A}$ 에서의 유도자 $\delta$ 는 잘 정의되어 있으며, 모든 $h \in A$ 에 대해 $\delta(h) = dd^c h$ 와 $\delta(dd^c h) = 0$ 를 만족한다.
• 혼합 몽체-암페르 전류 $dd^c h_1 \wedge \cdots \wedge dd^c h_k$ 는 곱 $h_1 \cdots h_k$ 에만 의존하며, 항등식 $\delta^k(h_1 \cdots h_k) = k! \, dd^c h_1 \wedge \cdots \wedge dd^c h_k$ 를 통해 이를 보여준다.
• 차수 $2k$ 를 가진 모든 $\tau \in \mathcal{T}$ 에 대해, 관련된 PPH-사이클 $\iota(\tau)$ 는 차수 0인 $(2n - k)$-차원 사이클이다.
• 만약 $h = \max(h_1, \dots, h_k)$ 이고 $h \in A$ 이면, $dd^c(h - h_1) \wedge \cdots \wedge dd^c(h - h_k) = 0$ 이다. 이는 사이클 이론적 구조의 결과이다.
• 전류와 PPH-사이클 사이의 대응 $ \iota$ 는 잘 정의되어 있으며, 유도자 $ \delta$ 와 호환되며, $ \iota \pi \delta' = D_c \iota \pi$ 를 통해 이를 증명한다.
• 이 구성은 $k$-번째 모서리 위치의 존재성과 $d^c$ 및 체인의 경계 연산자와 관련된 전류 이론적 스토크스 공식에 의존한다.