볼록체 계층에서 엄격한 포함 관계에 관한 연구

초록

본 논문은 Koldobsky가 정의한 $k$-교차체(convex $k$‑intersection bodies)의 계층 구조를 조사한다. $ \mathcal I_k$ 를 $k$‑교차체들의 집합, $ \mathcal I_k^m$ 을 모든 $m$‑차원 중심 단면이 $k$‑교차체인 원점 대칭 볼록체들의 집합이라 두었다. 저자는 (1) $k+3\le m<n$ 인 경우 $\mathcal I_k^m\not\subset\mathcal I_k^{m+1}$ 임을, (2) $1\le k<l<n-3$ 일 때 $\mathcal I_l\not\subset\mathcal I_k$ 임을 증명한다. 이를 위해 Fourier 변환과 구면조화함수 기법을 이용한 정밀한 반례 구성을 제시한다.

상세 분석

논문은 먼저 Koldobsky의 $k$‑교차체 이론을 간략히 정리한다. $k$‑교차체는 $k$‑차원 선형 부분공간에 대한 부피 함수가 원점 대칭 볼록체의 라디얼 함수의 $(-k)$‑차원 Riesz 잠재함수와 일치하도록 정의된다. 이 정의는 Fourier 변환을 통해 등가적으로 표현될 수 있는데, 구체적으로는 $K\in\mathcal I_k$ 이면 $|x|_K^{-k}$ 의 Fourier 변환이 비음수인 분포가 된다. 이러한 관점은 교차체 계층의 포함 관계를 분석하는 데 핵심 도구가 된다.

첫 번째 주요 결과는 $\mathcal I_k^m\not\subset\mathcal I_k^{m+1}$ 를 보이는 것이다. 저자는 $m$‑차원 중심 단면이 모두 $k$‑교차체인 볼록체 $K$ 를 구성한다. 이를 위해 $K$ 를 유클리드 단위 구 $B_2^n$ 에 작은 비대칭적인 고조파 변형을 가한다. 구면조화함수 $\Phi$ 를 선택해 라디얼 함수 $ \rho_K(\theta)=1+\varepsilon \Phi(\theta)$ 로 정의하고, $\varepsilon>0$ 를 충분히 작게 잡는다. Fourier 변환을 이용하면 $m$‑차원 단면에 대한 라디얼 함수는 $(-k)$‑차원 Riesz 잠재함수와 일치하지만, $m+1$ 차원 단면에서는 부호가 바뀌어 비음성이 깨진다. 이때 $k+3\le m$ 라는 조건은 고조파 차수가 충분히 높아야 $\Phi$ 가 $m$‑차원 단면에만 영향을 주고 $m+1$ 차원에서는 새로운 고조파가 나타나게 하는 기술적 요구조건이다. 따라서 $K\in\mathcal I_k^m$ 이면서 $K\notin\mathcal I_k^{m+1}$ 임을 얻는다.

두 번째 결과는 $\mathcal I_l\not\subset\mathcal I_k$ (단 $1\le k<l<n-3$) 를 증명한다. 여기서는 $l$‑교차체이지만 $k$‑교차체가 아닌 구체를 만든다. 핵심 아이디어는 $l$‑교차체 조건은 $|x|_K^{-l}$ 의 Fourier 변환이 비음수이면 충분하지만, $k$‑교차체 조건은 더 강한 제약을 요구한다는 점이다. 저자는 $K$ 를 다시 $B_2^n$ 에 고조파 변형을 가하되, 변형 함수 $\Psi$ 를 선택해 $|x|_K^{-l}$ 의 Fourier 변환은 비음수이지만 $|x|_K^{-k}$ 의 Fourier 변환은 특정 방향에서 음수가 되도록 만든다. 이때 $n-3$ 이상의 차원에서는 고조파 차수와 차원 사이의 관계가 복잡해져서 반례 구성이 어려워지므로 $l<n-3$ 라는 제한이 필요하다. 결과적으로 $K\in\mathcal I_l$ 이면서 $K\notin\mathcal I_k$ 가 된다.

논문 전반에 걸쳐 저자는 Fourier 분석, 구면조화, 그리고 고조파 전개를 정교하게 결합해 반례를 명시적으로 구성한다. 또한, 기존 문헌에서 알려진 포함 관계들의 “엄격성”을 확인하는 데 필요한 기술적 한계들을 명확히 제시한다. 이러한 방법론은 $k$‑교차체 계층뿐 아니라, Busemann‑Petty 문제와 같은 체적 비교 문제에도 적용 가능성을 시사한다.