[논문 리뷰] An necessary condition for isoperimetric inequality in warped product space

Chunhe Li, Zhizhang Wang|arXiv (Cornell University)|2016. 10. 07.

Point processes and geometric inequalities인용 수 4

한 줄 요약

이 논문은 와핑된 곱 공간에서 등주부등식이 성립하기 위해 조건 $(\phi')^2 - \phi''\phi \leq 1$ 가 필수적임을 입증한다. 지오데식 구의 변형을 통한 명시적 반례를 구성함으로써, 이 조건이 만족되지 않을 경우 해당 지오데식 구보다 더 큰 부피를 가진 초표면이 존재함을 보여, 등주부등식이 성립하지 않음을 입증한다. 본 결과는 이러한 공간에서 등주안정성에 대한 필요 및 충분조건의 완전한 특성화를 완성한다.

ABSTRACT

In this note, we show that there is some counterexample for isoperimetric inequality if the condition $(ϕ')^2-ϕ"ϕ\leq 1$ does not hold in warped product space.

연구 동기 및 목표

• 와핑된 곱 공간에서 등주부등식이 성립하기 위해 조건 $(\phi')^2 - \phi''\phi \leq 1$ 가 필수적인지 규명하는 것.
• 이 조건이 위반될 경우 등주부등식이 성립하지 않을 수 있는지 조사하는 것.
• 편향된 초표면의 부피가 해당 지오데식 구의 부피를 초과하는 명시적 반례를 구성하는 것.
• 기존에 알려진 충분조건의 필수성 증명을 통해, 와핑된 곱 공간에서의 등주부등식 특성화를 완성하는 것.

제안 방법

• 저자들은 와핑된 곱 공간의 지오데식 구에 대해 작은 $\epsilon$-변형을 적용한 반경 좌표의 변형 방법을 사용한다.
• 등각 케일링 벡터장 $X = f(r) r \partial_r$ 를 정의하고, 편향된 초표면에서의 지지함수 $\varphi = X \cdot \nu$ 를 계산한다.
• 에프리미어 전개를 $\epsilon$ 에 대해 두 계수까지 수행함으로써, 편향된 볼록체 $M_\epsilon$ 의 부피를 원래 지오데식 구 부피와 $\Phi(r) = \frac{f(r)f'(r)}{r} + \frac{1 - f^2(r)}{r^2}$ 를 포함한 이차 보정항으로 표현한다.
• 핵심 식은 $\text{Vol}(M_\epsilon) = \text{Vol}(\mathbb{B}^n(r)) - \frac{r^{n+1} \epsilon^2 \Phi(r)}{2(n+1)f^3(r)} \text{Area}(\mathbb{S}^n) + o(\epsilon^2)$ 로, 이는 부피 변화가 $\Phi(r)$ 의 부호에 따라 달라짐을 보여준다.
• 특히 $\Phi(r) < 0$ 이면 부피가 증가하므로 등주부등식이 위반됨을 분석한다.
• 이 조건이 $(\phi')^2 - \phi''\phi \leq 1$ 가 만족되지 않을 때 정확히 해당됨을 확인함으로써, 필수성 증명을 완성한다.

실험 결과

연구 질문

• RQ1 와핑된 곱 공간에서 등주부등식이 성립하기 위해 조건 $(\phi')^2 - \phi''\phi \leq 1$ 가 필수적인가?
• RQ2 조건 $(\phi')^2 - \phi''\phi \leq 1$ 가 위반될 경우, 와핑된 곱 공간에서 등주부등식을 위반하는 초표면을 구성할 수 있는가?
• RQ3 곡률 조건이 위반되었을 경우, 편향된 지오데식 구의 부피는 어떻게 변화하는가?
• RQ4 조건이 만족되지 않을 경우, 아디티-데 시터 또는 수정된 데 시터 계량에서 등주부등식이 실패하는가?
• RQ5 반경 방향의 변형에 의한 부피 증가를 통해 등주부등식의 실패 여부를 감지할 수 있는가?

주요 결과

• 만약 $\Phi(r) < 0$ 이면, 편향된 초표면 $M_\epsilon$ 의 부피가 지오데식 구 $\mathbb{B}^n(r)$ 의 부피를 초과하며, 이는 등주부등식 위반을 의미한다.
• 와핑된 곱 공간에서 등주부등식이 성립하기 위해 조건 $(\phi')^2 - \phi''\phi \leq 1$ 가 필수적이다.
• 매개변수 $m > 0$ 에 대해 $f^2 = 1 + \frac{m}{r+1}$ 인 경우 $\Phi(r) < 0$ 이며, 이는 변형에 의해 부피가 증가함을 의미한다.
• 아디티-데 시터 공간에서는 $\Phi(r) > 0$ 이므로 부피가 감소하며, 이는 등주부등식과 일치한다.
• 만약 $\phi'(\tilde{r}) = 0$ 이고 $\phi''(\tilde{r}) < 0$ 이면, $\phi' > 0$ 이면서 조건이 위반되는 근처의 $\tilde{r}'$ 이 존재하므로 부피 증가가 가능하다.
• 반례 구성 결과, $\phi'$, $\phi''$ 가 $(\phi')^2 - \phi''\phi > 1$ 를 만족할 경우, 군-리-왕의 등주부등식이 실패함을 확인할 수 있다.