[논문 리뷰] Tensor fields and connections on holomorphic orbit spaces of finite groups

Andreas Kriegl, Mark Losik외 1명|ArXiv.org|2002. 03. 08.

Advanced Algebra and Geometry참고 문헌 3인용 수 4

한 줄 요약

이 논문은 복소 오비폴드 $V/G$의 정규 스트라툼에서 힐베르트 텐서 장 및 접속이 $G$-불변 힐베르트 텐서 장 및 접속으로 어떻게 올라가야 하는지 조건을 설정한다 (여기서 $G$는 복소 벡터 공간 $V$에 작용하는 유한군이다). 핵심 결과는 이러한 올림이 존재하는 것은 오직 반사 분리자 $D_{V/G}$를 따라 텐서 장 또는 접속의 차수(order)가 음수가 아닐 때에만 가능하며, 이 특성은 복소 오비폴드를 힐베르트 함수의 층, 정규 스트라툼, 반사 분리자로 완전히 결정한다.

ABSTRACT

For a representation of a finite group $G$ on a complex vector space $V$ we determine when a holomorphic $\binom{p}{q}$-tensor field on the principle stratum of the orbit space $V/G$ can be lifted to a holomorphic $G$-invariant tensor field on $V$. This extends also to connections. As a consequence we determine those holomorphic diffeomorphisms on $V/G$ which can be lifted to orbit preserving holomorphic diffeomorphisms on $V$. This in turn is applied to characterize complex orbifolds.

연구 동기 및 목표

• 복소 오비폴드 $V/G$의 정규 스트라툼에서의 힐베르트 텐서 장 및 접속이 $V$에서 $G$-불변 힐베르트 텐서 장으로 올라갈 수 있는 조건을 결정하는 것.
• 오비폴드 $V/G$에서의 힐베르트 미분형사가 $V$에서 $G$-등변 힐베르트 미분형사로 올라가는 조건을 특성화하는 것.
• 복소 오비폴드가 힐베르트 함수의 층 $\mathfrak{F}_X$, 정규 스트라툼 $X_0$, 반사 분리자 $D_X$로 유일하게 결정됨을 보이는 것.

제안 방법

• 오비폴드 $V/G$의 오비트 유형 스트라티피케이션을 분석하고, $Z_1 = Z_0 \cup \bigcup_{\text{codim }1} Z_{(K)}$를 복소 다양체로 식별한다.
• 반사 분리자 $D_{V/G}$를 이용해, 특히 복소 반사에 의해 유도되는, 차원이 1인 스트라툼에서의 정 stabilizer 군의 차수를 기록한다.
• $V$에서의 $G$-불변 힐베르트 텐서 장 및 접속을, $D_{V/G}$를 따라 제어된 극을 가진 $Z_1$ 위의 유리형 텐서 장 및 접속을 통해 특성화한다.
• 접속에 대한 올림 정리를 적용하여, 힐베르트 미분형사 $f: V/G \to V'/G'$이 등변적으로 올라가는 것은 $f(Z_0) \subset Z'_0$ 이고 $f_*(D_{V/G}) \subset D_{V'/G'}$임과 동치임을 보인다.
• $V$에서의 $\mathbb{C}^*$-작용을 이용해, 오비폴드 데이터 $\mathfrak{F}_{V/G}$, $Z_0$, $D_{V/G}$로부터 $G$-모듈러 구조를 복원한다.
• 올림 결과를 적용하여, 복소 오비폴드가 $\mathfrak{F}_X$, $X_0$, $D_X$로 유일하게 재구성됨을 보인다.

실험 결과

연구 질문

• RQ1 복소 오비폴드 $V/G$의 정규 스트라툼에서의 힐베르트 $\binom{p}{q}$-텐서 장이 $V$에서 $G$-불변 힐베르트 텐서 장으로 올라갈 수 있는 조건은 무엇인가?
• RQ2 두 오비폴드 공간 $V/G$와 $V'/G'$ 사이의 힐베르트 미분형사가 $V$와 $V'$ 사이의 등변 힐베르트 미분형사로 올라가는 조건은 무엇인가?
• RQ3 힐베르트 함수의 층 $\mathfrak{F}_X$와 정규 스트라툼 $X_0$ 외에, 복소 오비폴드 $X$를 유일하게 재구성하기 위해 추가로 필요한 데이터는 무엇인가?
• RQ4 오비폴드의 접속은 반사 분리자에 따라 제어된 특이성을 가진 정규 스트라툼 위의 유리형 접속과 어떻게 관련이 있는가?
• RQ5 $\mathbb{C}^*$-작용이 동위상으로 작용할 때, $V$에서의 $G$-모듈러 구조는 오비폴드 데이터 $\mathfrak{F}_{V/G}$, $Z_0$, $D_{V/G}$로부터 재구성될 수 있는가?

주요 결과

• 정규 스트라툼 $Z_0$에서의 힐베르트 $\binom{p}{q}$-텐서 장이 $V$에서 $G$-불변 힐베르트 텐서 장으로 올라가는 것은, $Z_1$ 위의 대응 유리형 텐서 장이 반사 분리자 $D_{V/G}$를 따라 음수가 아닌 차수를 가져야만 가능하며, 이 조건이 유일하게 결정한다.
• 힐베르트 미분형사 $f: V/G \to V'/G'$이 $G$-등변 힐베르트 미분형사 $F: V \to V'$로 올라가는 것은 $f(Z_0) \subset Z'_0$ 이고 $f_*(D_{V/G}) \subset D_{V'/G'}$임과 동치이다.
• 복소 오비폴드 $X = M/G$는 힐베르트 함수의 층 $\mathfrak{F}_X$, 정규 스트라툼 $X_0$, 반사 분리자 $D_X$로 유일하게 결정되며, 이 세 가지 데이터만으로 $X$가 등형사에 대해 유일하게 재구성된다.
• $V$에서의 $G$-모듈러는 $\mathfrak{F}_{V/G}$, 정규 스트라툼 $Z_0$, 반사 분리자 $D_{V/G}$, 그리고 동위상으로 작용하는 $\mathbb{C}^*$-작용에 의해 $V/G$에서 유일하게 결정되며, 선형 동형사에 대해 유일하다.
• 복소 오비폴드의 접속은 $X_1 = X_0 \cup \bigcup_{\text{codim }1} X_{(K)}$ 위의 유리형 접속으로 특성화되며, 이는 $D_X$를 따라 음수가 아닌 차수를 가져야 하며, 소โล몬의 정리를 일반화한다.
• 기본 복상 오비폴드가 단순연결인 복소 오비폴드 $X = M/G$의 경우, $\mathfrak{F}_X$, $X_0$, $D_X$로 유일하게 결정되며, 이러한 데이터를 보존하는 모든 힐베르트 미분형사는 $M$ 위로 등변적으로 올라간다.