[논문 리뷰] Lifting mappings over invariants of finite groups

Andreas Kriegl, Mark Losik외 2명|ArXiv.org|2003. 12. 01.

Advanced Algebra and Geometry참고 문헌 15인용 수 5

한 줄 요약

이 논문은 복소유한군 표현의 궤도 공간 $V/G$ 에서 표현 공간 $V$ 로의 정칙, 해석적 또는 형식적 사상의 올림 조건을 제시한다. 잔여 공간과 루나의 등급형 타입 분할을 사용하여, 불변량에서 유도된 텐서장에 의한 올림 장애의 완전한 특성화를 제공하며, 이중군과 같은 복소 반사군에 대한 명시적 계산을 포함한다.

ABSTRACT

We characterize those regular, holomorphic or formal maps into the orbit space $V/G$ of a complex representation of a finite group $G$ which admit a regular, holomorphic or formal lift to the representation space $V$. In particular, the case of complex reflection groups is investigated.

연구 동기 및 목표

• 유한군 작용에 의한 복소벡터공간 $V$ 의 궤도 공간 $V/G$ 에 대한 정칙, 해석적 또는 형식적 사상이 $V$ 로 올릴 수 있는지의 조건을 규명하는 것.
• 특히 복소 해석적 맥락에서 루나의 등급형 타입 분할이 올림 문제에 미치는 영향을 이해하는 것.
• 원점에서의 올림 조건을 분석하기 위해 잔여 공간 $J^q_0(\bbC^p, Z)$ 와 $J^\fz_0(\bbC^p, Z)$ 를 사용하는 일반적 프레임워크를 개발하는 것.
• 이중군 및 $\mathfrak{D}_l$-모듈 $\bbC^2$ 와 같은 복소 반사군에 대해 올림 장애를 명시적으로 계산하는 것.
• 복소수 위에서 정의된 대수적 올림 조건이 레프셰츠의 원리에 의해 특성 0인 임의의 체로 일반화될 수 있음을 보여주는 것.

제안 방법

• 유한군 $G$ 의 작용에 의한 궤도 공간 $Z = V/G$ 가 등급형 타입에 따라 유한군의 등급부분군 $K \leq G$ 에 따라 인덱싱된 국소적으로 닫힌, 미분가능하고 기약인 부분다양체 $Z_{(K)}$ 로 분할됨을 이용한다.
• 원점에서의 사상의 고차 미분 정보를 코딩하기 위해 잔여 공간 $J^q_0(\bbC^p, Z)$ 와 $J^\fz_0(\bbC^p, Z)$ 를 도입한다.
• 불변량의 도함수를 통해 올림 장애를 코딩하는 텐서장 $\tilde{T}(A_1,\dots,A_d)$ 와 $\tilde{\frak{T}}(A_1,\dots,A_d)$ 를 정의한다.
• 불변다항식 이론과 대칭 텐서 이론을 적용하여 $\sigma_{1,2}$, $\sigma_{2,s}$ 및 관련 잔여 텐서의 명시적 표현을 계산한다.
• 불변다항식의 기본 기저 $\sigma_1, \sigma_2, \dots, \sigma_m$ 를 사용하여 국소좌표계에서 장애 텐서를 구성한다.
• 특히 $\mathfrak{D}_l$-불변 모듈의 경우, $\tilde{\Delta} = (\operatorname{I}z^l)^2$ 와 $z^l = \operatorname{R}z^l + i\operatorname{I}z^l$ 를 사용하여 올림 조건을 잔여 연장의 대수적 제약 조건으로 환원한다.

실험 결과

연구 질문

• RQ1 복소벡터공간 $\bbC^p \to Z = V/G$ 에 대한 해석적, 정칙 또는 형식적 사상의 원점에서의 꼬리 조건이 $V$ 로의 올림 가능성을 보장하기 위한 조건은 무엇인가?
• RQ2 궤도 공간 $Z = V/G$ 의 등급형 타입 분할이 올림 가능성에 어떤 영향을 미치는가?
• RQ3 복소 반사군의 경우, 올림에 대한 명시적 대수적 및 미분적 장애는 무엇인가?
• RQ4 올림 문제는 유한 차수의 잔여 공간 조건으로 환원될 수 있는가? 만약 가능하면 어느 차수의 잔여 공간이 충분한가?
• RQ5 이중군의 경우 텐서장 $\sigma_{1,2}$ 와 $\sigma_{2,s}$ 는 올림 장애를 어떻게 코딩하는가?

주요 결과

• 해석적 또는 정칙 사상 $\bbC^p \to Z = V/G$ 의 올림 가능성은 그 원점에서의 잔여 연장이 불변량에서 유도된 특정 텐서 조건을 만족할 때이고, 그때에만 가능하다.
• $\mathfrak{D}_l$-모듈 $\bbC^2$ 의 경우, 첫 번째 차수 올림 장애는 텐서장 $\sigma_{1,2} = \frac{1}{\tilde{\Delta}}(2^{l-1}y_1^{l-1}dy_1^2 - 2ly_2 dy_1 dy_2 + 2y_1 dy_2^2)$ 에 의해 코딩되며, 여기서 $\tilde{\Delta} = (\operatorname{I}z^l)^2$ 이다.
• $s = 2r$ 인 경우, $2r$-번째 차수 장애 텐서 $\sigma_{2,2r}$ 는 $\frac{(-1)^r}{\tilde{\Delta}^r} \Bigl( y_2 dy_2^{2r} + \sum_{t=1}^{2r} \cdots \Bigr)$ 로 주어지며, 이는 이항계수와 $y_1, y_2, \tilde{\Delta}$ 의 거듭제곱을 포함한다.
• $s = 2r+1$ 인 경우, 장애 텐서 $\sigma_{2,2r+1}$ 는 $\frac{(-1)^r}{l \tilde{\Delta}^r} \Bigl( dy_2^{2r+1} + \sum_{t=2}^{2r+1} \cdots \Bigr)$ 로 주어지며, $\tilde{\Delta}^{u-1}$ 과 $\operatorname{R}z^l, \operatorname{I}z^l$ 의 대칭 조합을 포함한다.
• $\mathfrak{D}_l$ 의 올림 문제는 항등식 $\tilde{\Delta} = (\operatorname{I}z^l)^2$, $z^l = \operatorname{R}z^l + i\operatorname{I}z^l$, 그리고 $\widehat{z}^l = \operatorname{R}z^l - i\operatorname{I}z^l$ 를 통해 논문의 첫 번째 예제로 환원된다.
• 결과는 올림 조건이 대수적이며 $\bbQ$ 위에서 정의되므로 레프셰츠의 원리에 의해 특성 0인 임의의 체로 일반화된다.