[논문 리뷰] Lifting smooth curves over invariants for representations of compact Lie groups, III

Andreas Kriegl, Mark Losik외 2명|ArXiv.org|2005. 04. 06.

Advanced Algebra and Geometry참고 문헌 10인용 수 8

한 줄 요약

이 논문은 실수 유한차원 내적 공간 $V$ 위의 유한군 작용의 궤도 공간 $V/G$ 안에 있는 임의의 충분히 미분 가능한 곡선이, 표현이 특정한 정규성 조건($\mathcal{B}_k$)을 만족할 경우, 국소적으로 유계 도함수를 가진 미분 가능한 올림을 $V$로 가지며, 이 올림이 $C^1$임을 보여준다. 만약 곡선이 $C^{k+d}$이면, 이 올림은 $C^1$이며, 곡선이 $C^{k+2d}$이면 두 번 미분 가능하다. 여기서 $d$는 동차 불변량의 최대 차수이다. 이 결과는 대칭군의 경우에 알려진 결과를 일반 유한군으로 확장하며, 모든 유한 반사군 및 회전군에 적용 가능하다.

ABSTRACT

Any sufficiently often differentiable curve in the orbit space $V/G$ of a real finite-dimensional orthogonal representation $G o O(V)$ of a finite group $G$ admits a differentiable lift into the representation space $V$ with locally bounded derivative. As a consequence any sufficiently often differentiable curve in the orbit space $V/G$ can be lifted twice differentiably. These results can be generalized to arbitrary polar representations. Finite reflection groups and finite rotation groups in dimensions two and three are discussed in detail.

연구 동기 및 목표

• 대칭군의 경우에 국한된 궤도 공간의 매끄러운 곡선에 대한 올림 결과를 일반 유한군으로 확장하기 위해.
• 표현 공간 $V$로의 국소적으로 유계 도함수를 가진 미분 가능 올림이 존재하는 조건을 설정하기 위해.
• 이러한 올림이 곡선이 $C^{k+d}$이면 $C^1$이며, 곡선이 $C^{k+2d}$이면 두 번 미분 가능하다는 것을 증명하기 위해.
• 극좌표 표현 및 모든 유한 반사군 및 회전군이 요구 조건인 $\mathcal{B}_k$ 조건을 만족함을 검증하기 위해.
• 유한군 표현의 부분표현 및 직교 직합에 대해 성질 $\mathcal{B}_k$가 유지됨을 보여주기 위해.

제안 방법

• 표현이 $C^k$-곡선에 대해 국소적으로 미분 가능한 올림과 국소적으로 유계 도함수를 보장하는 성질 $(\mathcal{B}_k)$를 도입하고 분석하기 위해.
• 표현 공간의 다항식 환 $\mathbb{R}[V]^G$의 동차 생성자들의 최대 차수인 $d$를 올림의 정규성 임계값의 핵심 매개변수로 사용하기 위해.
• Bronshtein와 Wakabayashi의 결과를 활용하여 $C^n$-곡선의 다항식의 근을 미분 가능하게 매개변수화하는 방법을 통해 다항식 경우로의 축소를 적용하기 위해.
• 기약 성분의 영이 아닌 벡터들에 대해 $k = \max\{d, |G|/|G_{v_i}|\}$를 계산하여, 모든 유한군 표현에 대해 $\mathcal{B}_k$가 성립함을 증명하기 위해.
• 구체적인 군의 구조와 이소트로피 자료를 사용하여 2차원 및 3차원에서의 유한 반사군 및 회전군에 대해 $\mathcal{B}_k$를 검증하기 위해.
• 표현의 구조적 분해를 통해 유한군 표현의 직교 직합 및 부분표현에 대해 $\mathcal{B}_k$의 안정성을 확립하기 위해.

실험 결과

연구 질문

• RQ1 궤도 공간 $V/G$의 곡선에 대해 어떤 정규성 조건이 성립할 경우, 국소적으로 유계 도함수를 가진 미분 가능 올림이 존재하는가?
• RQ2 $C^{k+d}$-곡선이 궤도 공간 $V/G$에 있을 때, 그에 대한 미분 가능 올림이 항상 $C^1$임을 보장할 수 있는가?
• RQ3 $C^{k+2d}$-곡선이 궤도 공간 $V/G$에 있을 경우 항상 두 번 미분 가능한 올림이 존재하는가? 이는 불변량의 차수 $d$에 어떻게 의존하는가?
• RQ4 모든 유한 반사군 및 회전군이 성질 $(\mathcal{B}_k)$를 만족하는가? 이 성질이 성립하는 최소의 $k$는 무엇인가?
• RQ5 성질 $(\mathcal{B}_k)$는 유한군 표현의 직교 직합 및 부분표현에 대해 안정적인가?

주요 결과

• 표현이 성질 $(\mathcal{B}_k)$를 만족할 경우, $V/G$ 안의 임의의 $C^k$-곡선은 국소적으로 유계 도함수를 가진 미분 가능 올림을 $V$로 가지며 존재한다.
• 성질 $(\mathcal{B}_k)$를 가진 표현에 대해, $V/G$ 안의 $C^{k+d}$-곡선은 $V$로의 $C^1$ 올림을 가진다.
• 성질 $(\mathcal{B}_k)$를 가진 표현에 대해, $V/G$ 안의 $C^{k+2d}$-곡선은 $V$로의 두 번 미분 가능한 올림을 가진다.
• 모든 유한 반사군 및 2차원 및 3차원에서의 유한 회전군은 $k = d$일 때 성질 $(\mathcal{B}_k)$를 만족한다. 여기서 $d$는 동차 불변량의 최대 차수이다.
• 성질 $(\mathcal{B}_k)$는 유한군 표현의 직교 직합 및 부분표현에 대해 안정적이다.
• 미분 가능 올림이 존재하기 위한 최소 정규성은 $C^d$이며, 이는 결과의 경계가 날카로움을 보여줌으로써 입증된다.