[논문 리뷰] Addendum to: "Lifting smooth curves over invariants for representations of compact Lie groups, III" [J. Lie Theory 16 (2006), No. 3, 579-600.]

Andreas Kriegl, Mark Losik외 2명|arXiv (Cornell University)|2011. 06. 28.

Advanced Operator Algebra Research참고 문헌 10인용 수 3

한 줄 요약

이 논문은 콪팩트 리 군 표현의 불변량에 대해 부드러운 곡선의 끌어올림 정리들을 향상시키기 위해 보다 정교한 브론슈타인 정리의 버전을 활용한다. $C^k$-정규성의 곡선이 궤도 공간에 존재할 경우 $C^1$-끌어올림이 보장되며, $C^{k+d}$-정규성일 경우 이중 미분 가능한 끌어올림이 보장되는데, 이 두 결과는 가정과 결과 모두 최적임을 입증한다.

ABSTRACT

We improve the main results in the paper from the title using a recent refinement of Bronshtein's theorem due to Colombini, Orrú, and Pernazza. They are then in general best possible both in the hypothesis and in the outcome. As a consequence we obtain a result on lifting smooth mappings in several variables.

연구 동기 및 목표

• 콤팩트 리 군 표현의 불변량에 대해 부드러운 곡선을 끌어올리기 위한 정규성 조건을 개선하는 것.
• 곡선의 정규성에 기반해 끌어올림의 미분 가능성에 대한 날카로운 임계값을 설정하는 것.
• 곡선에서 다변수 함수로의 끌어올림 결과를 확장하는 것.
• 반례를 통해 개선된 가정과 결과가 최적임을 증명하는 것.
• 끌어올림 결과를 펄라 표현과 유한 반사군으로 일반화하는 것.

제안 방법

• 모닉 초항 다항식의 미분 가능성 있는 근 선택에 관해 콜롬비니, 오르루, 페르나짜가 최근에 개선한 브론슈타인 정리의 응용.
• 군 표현으로부터 유도된 불변 다항식 곡선에 이 정리 적용.
• 궤도 구조와 이소트로피 군을 이용한 근을 매개변수화하는 함수의 구성에 기반.
• 개선된 브론슈타인 결과를 통해 계수 함수의 정규성에서 근 함수의 정규성으로의 전환.
• 보만의 정리를 적용하여 부드러운 곡선 沿해 끌어올림의 국소 리프시츠 정규성을 유도.
• Boman의 기준을 활용해 $C^\infty$-곡선을 따라 분석함으로써 곡선에서 다변수 함수로의 결과 확장.

실험 결과

연구 질문

• RQ1 콤팩트 리 군 표현의 궤도 공간에 있는 부드러운 곡선이 미분 가능한 끌어올림을 가질 수 있도록 요구되는 최소 정규성 조건은 무엇인가?
• RQ2 현대적 개선된 고전 정리들을 활용해 $C^1$ 및 이중 미분 가능한 끌어올림에 대한 정규성 임계값을 더욱 날카롭게 만들 수 있는가?
• RQ3 끌어올림 정리에서 개선된 정규성 조건은 가정과 결과 모두 최적인가?
• RQ4 곡선에 대한 끌어올림 결과를 다변수 함수로 확장할 수 있는가?
• RQ5 $C^k$-매핑이 궤도 공간에 값이 있을 때 어떤 조건에서 국소 리프시츠 끌어올림이 존재하는가?

주요 결과

• 유한군 표현에 대해 궤도 공간 내 $C^k$-곡선은 $C^1$-끌어올림을 갖는다. 여기서 $k = \max\{d(\rho), |G|/|G_{v_i}|\}$ 이고, $d(\rho)$ 는 기본 불변량의 최대 차수이다.
• 궤도 공간 내 $C^{k+d}$-곡선은 전역적으로 이중 미분 가능한 끌어올림을 갖는다. 이 정규성 임계값은 최적이다.
• 개선된 정규성 결과는 최적이다: 가정이나 결과 모두 더 약화하거나 강화할 수 없다.
• $U \subseteq \mathbb{R}^q$ 가 열린 집합이고 $f: U \to V/G$ 인 $C^k$-매핑에 대해, $k$ 가 위와 같이 정의될 경우, 임의의 연속 끌어올림 $\bar{f}$ 는 국소 리프시츠이다.
• 콤팩트 연결 리 군의 펄라 표현에 대해, 궤도 공간으로의 $C^k$-매핑은 전역적으로 수직인 국소 리프시츠 끌어올림을 갖는다.
• 결과는 날카롭다: 모든 $\alpha > 0$ 에 대해 $C^{1,\alpha}$-끌어올림을 갖지 않는 $C^\infty$-곡선이 존재하며, 이는 $C^1$-정규성 결과의 최적성을 확인한다.