[논문 리뷰] Quotients of bounded homogeneous domains by cyclic groups

Christian Miebach|Osaka City University (Osaka City University)|2008. 03. 31.

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

한 줄 요약

이 논문은 복소수 n차원에서의 유계 동차 도메인 D에 대해, 이산적으로 작용하는 무한 순환 자동형사상군 Γ에 의한 몫공간 D/Γ가 슈테인 공간임을 증명한다. 조르당-셰바레 분해와 분할 가능 부분군의 구조 이론을 이용하여 문제를 낮은 차원의 동차 도메인 위의 유크스러운 복소수 다발로 환원한 후, 귀납적 추론과 오카 원리의 응용을 통해 몫공간의 슈테인성을 확립한다.

ABSTRACT

Let $D$ be a bounded homogeneous domain in $\mbb{C}^n$ and let $Γ$ be a cyclic discrete subgroup of the automorphism group of $D$. It is shown that the complex space $D/Γ$ is Stein.

연구 동기 및 목표

• 유계 동차 도메인에 대해 이산 순환 자동형사상군에 의한 몫공간이 슈테인 공간이 되는 조건을 규명하는 것.
• 단위 구의 경우에 알려진 결과를 임의의 유계 동차 도메인으로 일반화하는 것.
• 자기사상군의 구조 분해와 다발 기법을 이용하여 이러한 몫공간의 슈테인 성질을 확립하는 것.
• 군의 분해와 Γ-불변 다발을 통해 일반적인 경우를 단위 구를 포함하는 기본 사례로 환원하는 것.
• 단위 구 몫공간과 오카 이론에 대한 기존 결과를 활용하여 복소수 차원에 대한 귀납적 추론을 수행하는 것.

제안 방법

• 자기사상 φ를 자동형사상군의 항등성분 내에서 조르당-셰바레 분해를 적용하여 타원형, 쌍곡형, 유니포텐트 성분으로 분해한다.
• 타원형 성분에 의한 몫공간이 슈테인성을 유지함을 보여, 문제를 쌍곡형-유니포텐트 성분으로 환원한다.
• 자기사상군 내의 최대 분할 가능 부분군 S에서 작업하며, S는 도메인 위에서 단순히 전치적으로 작용한다.
• D에서 낮은 차원의 유계 동차 도메인 D′로의 S-불변 복소수 다중사상 π: D → D′를 구성하며, 이의 섬유는 복소수 m차원 단위 구와 복소다양체적으로 동형이다.
• 그로텐디크의 오카 원리를 적용하여 복소화된 작용의 보편 전역화를 자명화한다.
• 매츠시마와 모리모토의 결과(슈테인 기저와 연결된 구조군을 가진 복소수 다발)를 적용하여 몫공간의 슈테인성을 결론짓는다.

실험 결과

연구 질문

• RQ1 유계 동차 도메인에 대해 이산 순환 자동형사상군에 의한 몫공간이 슈테인 공간이 되는 조건은 무엇인가?
• RQ2 단위 구에 대해 알려진 결과를 모든 유계 동차 도메인으로 일반화할 수 있는가?
• RQ3 자기사상의 조르당-셰바레 분해가 몫공간 연구에 어떻게 기여하는가?
• RQ4 단위 구 섬유를 가진 S-불변 복소수 다중사상이 귀납적 증명에서 어떤 역할을 하는가?
• RQ5 오카 원리와 다발 이론을 얼마나 활용하여 복소수 몫공간의 슈테인성을 확립할 수 있는가?

주요 결과

• D가 유계 동차 도메인이고 Γ = ⟨φ⟩가 Aut₀(D)의 무한 순환 이산 부분군일 경우, 몫공간 X = D/Γ는 항상 슈테인 공간이다.
• φ의 조르당-셰바레 분해에서 쌍곡형-유니포텐트 성분으로의 전이에 따라 D/Γ의 슈테인성이 유지된다.
• S-불변 복소수 다중사상 π: D → D′가 존재하고, 이의 섬유가 복소수 m차원 단위 구 ℂᵐ와 동형일 경우, 복소수 차원에 대한 귀납적 환원이 가능하다.
• Γ가 π의 섬유를 보존할 경우, 그로텐디크의 오카 원리를 활용하여 (B′ₘ)ᶜ-주다발이 D′ 위에서 자명화되며, 이에 따라 몫공간이 슈테인임을 보일 수 있다.
• Γ가 D′에서 비자명하게 작용할 경우, (Bₘᶜ·D)/Γ → D′/Γ는 슈테인 기저와 연결된 구조군을 가진 복소수 다발이 되며, 따라서 전체 공간은 슈테인 공간이다.
• 구조 분해와 귀납적 추론을 통해, 단위 구 몫공간의 슈테인성 결과를 모든 유계 동차 도메인으로 일반화한다.