[논문 리뷰] Weyl groups of Hamiltonian manifolds, I

Friedrich Knop|ArXiv.org|1997. 12. 20.

Advanced Algebra and Geometry참고 문헌 18인용 수 20

한 줄 요약

이 논문은 컴acts Hamiltonian $K$-다양체 $M$ 와 관련된 유한 반사군 $W_M$ 를 도입하며, 모든 $K$-불변 함수와 Poisson-교환하는 함수의 대수—$\mathrm{Col}(M)$ 로 표기됨—이 정확히 몫공간 $Y$ 위의 매끄러운 함수들의 풀백임을 보여준다. 이는 맵 $\widehat{\mu}: M \to Y$ 를 통해 이루어지며, 공간 $Y$ 는 순간 맵의 상 $μ(M)$ 과 군 $W_M$ 에 의해 구성된다. 이 $W_M$ 는 $Y$ 의 미분 구조를 테일러 급수의 대칭 제약 조건을 통해 캐릭터라이즈하며, 미세한 문제를 해결하고, Guillemin-Sternberg 추측을 더 정교하고 기하학적인 형태로 확장한다.

ABSTRACT

We consider a connected compact Lie group K acting on a symplectic manifold M such that a moment map m exists. A pull-back function via m Poisson commutes with all K-invariants. Guillemin-Sternberg raised the problem to find a converse. In this paper, we solve this problem by determining the Poisson commutant of the algebra of K-invariants. It is completely controlled by the image of m and a certain subquotient W_M of the Weyl group of K. The group W_M is also a reflection group and forms a symplectic analogue of the little Weyl group of a symmetric space. The proof rests ultimately on techniques from algebraic geometry. In fact, a major part of the paper is of independent interest: it establishes connectivity and reducedness properties of the fibers of the (complex algebraic) moment map of a complex cotangent bundle.

연구 동기 및 목표

• 콤���트 해밀턴 $K$-다양체 $M$ 위의 매끄러운 함수 대수 $\mathrm{Col}(M)$ 를 결정함: 이는 모든 $K$-불변 함수와 Poisson-교환하는 함수들로 구성됨.
• 위상적이고 미분 가능한 몫공간 $Y$ 를 구성함: $\mathrm{Col}(M)$ 이 정확히 맵 $\widehat{\mu}: M \to Y$ 를 통해 $Y$ 위의 매끄러운 함수들의 풀백으로 이루어짐.
• $Y$ 위의 미분 구조가 $K$ 의 웨일 군의 부분상환인 유한 반사군 $W_M$ 에 의해 결정됨을 보여줌: 이는 $Y$ 위의 함수의 테일러 급수의 대칭성을 제어함.
• $\nu: Y \to \mu(M) \subset \mathfrak{k}^*$ 가 위상동형임을 증명하고, $\mathrm{Col}(M)$ 이 $\mu^* C^0(\mathfrak{k}^*)$ 와 $C^\infty(M)$ 의 교차임을 확인함으로써, Guillemin-Sternberg 추측의 정교화된 형태를 확인함.

제안 방법

• 문제를 국소화하기 위해 '볼록 해밀턴 다양체'의 개념을 도입함: 연결성과 순간 맵의 섬유의 볼록성 덕분에 국소적 성질만으로도 충분함.
• 심플렉틱 조각 정리를 적용하여 문제를 실대수 해밀턴 $K$-다양체 $\overline{M}$ 의 점 주변의 이웃으로 축소함: 이로써 대수적 분석이 가능해짐.
• Tougeron 과 Bierstone-Milman 의 강력한 결과를 활용하여 $Y$ 위의 미분 가능 함수를 그 테일러 급수와 연결함: 이로써 문제를 멱급수 위의 대수적 조건으로 환원함.
• 실대수 다양체 $\overline{M}$ 을 복소화하여 복소 $G$-대상 $X$ 를 얻음: 여기서 $G$ 는 $K$ 의 복소화임. 그리고 코탄젠트 번들의 $T^*_X$ 를 분석하여 $G$-불변 함수를 연구함.
• 복소화된 $\overline{M}$ 이 $T^*_X$ 라는 것을 증명하고, $T^*_X$ 위의 정칙 함수 중에서 $G$-불변 함수와 Poisson-교환하는 함수들에 대한 알려진 결과를 활용하여 $\mathrm{Col}(M)$ 을 특성화함.
• Guillemin-Sternberg 교각단면 정리를 통해 해밀턴 다양체의 국소적 구조 정리를 증명함: 이는 등방성 궤도 주변의 이웃이 삼중체 $(H, S, u_0)$ 에 의해 결정됨을 보여줌: 여기서 $H = K_x$, $S$ 는 심플렉틱 조각, $u_0 = \mu(x)$.

실험 결과

연구 질문

• RQ1 콤팩트 해밀턴 $K$-다양체 $M$ 에서 $K$-불변 함수의 Poisson 중심자 $\mathrm{Col}(M)$ 의 정확한 구조는 무엇인가?
• RQ2 심플렉틱 몫공간 $Y$ 의 미분 구조는 기하학적 및 군론적 자료로 어떻게 특성화될 수 있는가?
• RQ3 순간 맵 $\mu: M \to \mathfrak{k}^*$ 는 어느 정도까지 몫공간 $Y$ 를 통해 인수분해될 수 있으며, $\nu: Y \to \mu(M)$ 의 성질은 무엇인가?
• RQ4 반사군 $W_M$ 은 $Y$ 위의 함수의 미분 가능성, 특히 테일러 급수 대칭성 측면에서 어떻게 제어하는가?
• RQ5 Lerman 의 반례가 $\mu^*$ 가 $C^\infty(M)$ 에 전사가 아니라는 점을 보여주었을 때, Guillemin-Sternberg 추측에서 $\mu^*$ 의 전사성에 대한 보완은 어떻게 이루어질 수 있는가?

주요 결과

• $M$ 위의 함수 대수 $\mathrm{Col}(M)$ 는 정확히 맵 $\widehat{\mu}: M \to Y$ 를 통해 $Y$ 위의 매끄러운 함수들의 풀백임을 보여주며, 이는 $M \leftarrow Y \to M/K$ 의 심플렉틱 이중성 구조를 확립함.
• $Y$ 는 $\mu(M)$ 을 유한 반사군 $W_M$ 의 작용에 의해 몫한 것으로 구성되며, 이 $W_M$ 은 $K$ 의 웨일 군의 부분상환이며, $Y$ 위의 함수의 테일러 급수에 대한 대칭 제약 조건을 캐릭터라이즈함.
• 맵 $\nu: Y \to \mu(M) \subset \mathfrak{k}^*$ 는 위상동형임을 확인함: 이는 $Y$ 가 $\mu(M)$ 으로 위상적으로 결정됨을 의미하지만, $Y$ 의 미분 구조는 비자명하며 $W_M$ 에 의해 지배됨.
• Lerman 의 반례에서 $Y$ 는 반원뿔 $x^2 + y^2 + z^2 = t^2, t \geq 0$ 이며, $W_M = \{1\}$ 이지만, $t$ 는 $\nu$ 를 통해 매끄럽게 풀백되지 않음. 다만 연속 함수 $\sqrt{x^2 + y^2 + z^2}$ 의 풀백은 가능하므로, 이는 미분 구조의 미세함을 보여줌.
• $W_M = \{\pm 1\}$ 인 경우, $Y$ 위의 함수가 매끄럽기 위한 조건은 원점에서의 테일러 급수가 $t \mapsto -t$ 에 대해 불변이어야 하며, 이는 해당 함수들이 $x, y, z$ 의 매끄러운 함수임을 의미함.
• 논문은 $\mathrm{Col}(M) = \mu^* C^0(\mathfrak{k}^*) \cap C^\infty(M)$ 이라는 것을 증명함으로써, $\nu$ 가 위상동형임을 확인하고, $Y$ 의 미분 구조가 $W_M$ 에 의해 완전히 제어됨을 보여주며, 이는 정교화된 Guillemin-Sternberg 추측을 해결함.