[논문 리뷰] Logarithmic singularity of the Szegö kernel and a global invariant of strictly pseudoconvex domains

Kengo Hirachi|ArXiv.org|2003. 09. 10.

Holomorphic and Operator Theory참고 문헌 18인용 수 5

한 줄 요약

이 논문은 엄격한 편평한 볼록 도메인의 숙고 커널의 로그 특이성 계수의 적분이, 접촉 형식의 선택에 관계없이 변하지 않는 복소다양체 불변량임을 입증한다. 또한 이는 부드러운 도메인 변형에 대해서도 불변하며, 베르그만 체적 요소의 체적 전개에서 로그 항의 계수와 일치함을 보여, 미세국소 분석을 통한 커널 특이성의 연구를 통해 CR 기하학과 전역 불변량을 연결한다.

ABSTRACT

The Szego kernel of a strictly pseudoconvex domain admits a singularity on the boundary diagonal, which consists of a pole and logarithmic type singularity. In this paper, we prove that the integral over the boundary of the coefficient of the logarithmic singularity gives a biholomorphic invariant of a domain, or a CR invariant of the boundary. We also show that the same invariant appears as the coefficient of the logarithmic term of the volume expansion of the domain with respect to the Bergman volume element.

연구 동기 및 목표

• 엄격한 편평한 볼록 도메인에서 숙고 커널의 로그 특이성에서 유도된 전역 불변량을 규명하는 것.
• 이 불변량이 경계 위의 편평한 헤르미트 구조의 선택에 관계없이 불변임을 증명하는 것.
• 이 불변량이 도메인의 부드러운 일차 매개변수 변형에 대해 유지됨을 보이는 것.
• 이 불변량을 베르그만 체적 요소의 점근적 체적 전개와 연결하는 것.
• 베르그만 체적 전개에서 로그 항의 계수와 숙고 커널의 로그 특이성 계수의 적분 사이의 대응 관계를 확립하는 것.

제안 방법

• 베르그만 커널의 미세국소 분석을 활용하여, 상수를 제외한 숙고 커널의 특이성을 특징짓는 미세미분방정식의 체계를 유도한다.
• 동일한 미세미분 방식을 숙고 커널에 적용하여, 고전적 해석적 미분형 연산자 맥락에서의 재생 성질을 활용한다.
• 접촉 형식의 변화에 따른 숙고 커널의 변분 공식을, 미세미분 체계에서 유도한다.
• 경계 근처에서 숙고 커널의 점근적 전개를 분석하여, 로그 항의 계수를 CR 불변 밀도로 식별한다.
• 기저 다양체 위에서의 $ S^1 $-작용과 동차 섹션을 이용하여, 기저 다양체 위의 피브레이션 기하학을 통해 베르그만 커널과 숙고 커널을 연결한다.
• 숙고 커널의 라플라스 변환 표현을 사용하여, 그 특이성과 절단에 따른 베르그만 체적의 점근적 행동을 연결한다.

실험 결과

연구 질문

• RQ1 숙고 커널의 로그 특이성 계수의 적분은 도메인의 복소다양체 불변량이 되는가?
• RQ2 이 불변량은 엄격한 편평한 볼록 도메인의 부드러운 일차 매개변수 변형에 대해 유지되는가?
• RQ3 이 불변량은 베르그만 체적 요소의 점근적 전개의 계수로 식별될 수 있는가?
• RQ4 숙고 커널의 미세국소 구조는 CR 기하학의 전역 불변량과 어떻게 관련되는가?
• RQ5 베르그만 체적 전개에서의 로그 항과 숙고 커널에서 유도된 CR 불변 계수 사이의 정확한 관계는 무엇인가?

주요 결과

• 적분 $ L(\bar{\rho}\theta) = \int_{\partial\Omega} \psi_\theta \, \theta \wedge (d\theta)^{n-1} $ 는 도메인 $ \Omega $ 에 대해 잘 정의된 복소다양체 불변량이며, 접촉 형식 $ \theta $ 의 선택에 관계없이 불변이다.
• 이 불변량 $ L(\partial\Omega) $ 는 미세국소 체계에서 유도된 변분 공식을 통해, $ C^\infty $ 수준의 도메인의 부드러운 변형에 대해 유지된다.
• 차원 $ n=2 $ 에서는 피적분함수 $ \psi_\theta|_{\partial\Omega} $ 가 비자명하며, 하위라플라스시안의 스칼라 곡률과 토파스 곡률을 포함하지만, 스토크스 정리에 의해 $ L(\partial\Omega) = 0 $ 이다.
• 고차원에서는 $ \psi_\theta|_{\partial\Omega} $ 가 영이 아닐 수 있으나, 적분 $ L(\partial\Omega) $ 는 여전히 전역 불변량이 되며, 구체적인 비자명한 예는 계산되지 않았다.
• 동일한 불변량 $ L(\partial\Omega) $ 는 $ \varepsilon \to 0^+ $ 일 때 $ \operatorname{Vol}(\Omega_\varepsilon) = \int_{\Omega_\varepsilon} B(z,\bar{z}) \, dv $ 의 체적 전개에서 로그 항의 계수로 나타난다.
• 미크로함수로서의 관계 $ -D_\rho S_x(\rho) = B_x(\rho) $ 가 성립하며, 이는 미분 연산자를 통해 숙고 커널과 베르그만 커널을 연결하고, 체적 전개 분석을 가능하게 한다.