[논문 리뷰] Convexity properties of gradient maps

Peter Heinzner, Patrick Schuetzdeller|ArXiv.org|2007. 10. 05.

Geometry and complex manifolds참고 문헌 19인용 수 6

한 줄 요약

이 논문은 복소 프로젝티브 공간에서 실수 재구성군의 작용과 관련된 기울기 사상에 의해 실수 준대수집합의 상에 대한 볼록성 정리를 확립한다. 작용의 켈러 및 해밀토니언 구조를 활용하여, 저자들은 기울기 사상의 상과 양의 웨일 침착의 교차부가 볼록 다면체임을 증명한다. 이는 이전에 복소 부분군과 해석적 집합에 대해서만 알려진 고전적 볼록성 결과를 복소 해석적 실수군으로 확장한다.

ABSTRACT

We consider the action of a real reductive group G on a Kaehler manifold Z which is the restriction of a holomorphic action of the complexified group G^C. We assume that the induced action of a compatible maximal compact subgroup U of G^C on Z is Hamiltonian. We have an associated gradient map obtained from a Cartan decomposition of G. For a G-stable subset Y of Z we consider convexity properties of the intersection of the image of Y under the gradient map with a closed Weyl chamber. Our main result is a Convexity Theorem for real semi-algebraic subsets Y of the projective space corresponding to a unitary representation of U.

연구 동기 및 목표

• 실수 준대수집합의 기울기 사상에 대한 볼록성 성질을 확립하기 위해.
• 이전에 복소 부분군과 해석적 집합에 대해서만 알려진 고전적 볼록성 정리를, 컴acts 켈러 다양체 위에서 작용하는 실수 준대수군으로 확장하기 위해.
• 군의 안정된 부분집합의 $ \frak{p} $-성분 모멘타 맵에 대한 일반적 프레임워크를 제공하기 위해.
• 닫힌 실수 준대수집합이 기약적인 자리스키 폐쇄를 가지는 경우, 기울기 사상의 상과 양의 웨일 침착의 교차부가 볼록 다면체임을 증명하기 위해.

제안 방법

• 저자들은 실수 준대수군 $ G $ 가 컴acts 켈러 다양체 $ Z $ 에 작용하는 경우를 고려하며, 이 작용은 복소화된 군 $ G^\mathbb{C} $ 의 헬로모르픽 작용에서 유래된다.
• 그들은 $ U $-모멘타 맵과 $ \frak{p} $-성분인 리 대수의 수직 투사의 합성으로서 $ G $-기울기 사상 $ \mu_{\frak{p}}: Z \to \frak{p} $ 를 정의한다.
• 최대 아벨 부분공간 $ \frak{a} \subset \frak{p} $ 에 대해, $ A(Y)_+ = \mu_{\frak{p}}(Y) \cap \frak{a}_+ $ 를 연구한다. 여기서 $ \frak{a}_+ $ 는 양의 웨일 침착이다.
• 주요 기술적 도구는 준유리점과 세그레 임베딩을 이용한 고차원 프로젝티브 공간으로의 임베딩을 통한 수정된 이동 절차이다.
• 그들은 변형된 공간 $ Y_\beta $ 에서 $ K $-등변 사상 $ \mu_{\frak{p},\beta} $ 를 구성하여, 이동된 상에 대해 알려진 볼록성 결과를 적용할 수 있도록 한다.
• 증명은 슬라이스 정리와 특히 $ Z = \mathbb{P}(V) $ 이고 $ V $ 가 $ U $-표현일 경우의 $ G $-불변 부분다양체의 구조에 의존한다.

실험 결과

연구 질문

• RQ1 기울기 사상 $ \mu_{\frak{p}} $ 에서 $ G $-안정 실수 준대수집합의 상이 웨일 침착과 교차할 때 어떤 조건에서 볼록성이 성립하는가?
• RQ2 복소 부분군과 해석적 집합에 대해 알려진 고전적 볼록성 정리를, 복소 프로젝티브 공간에서 작용하는 실수 준대수군으로 확장할 수 있는가?
• RQ3 $ \mathbb{P}(V) $ 에서 기약적인 자리스키 폐쇄를 가지는 실수 대수집합에 대해 기울기 사상의 기하학적 성질은 어떻게 되는가?
• RQ4 준유리점과 선다발 임베딩은 기울기 사상의 볼록성 유지 전환을 구성하는 데 어떤 역할을 하는가?

주요 결과

• $ Z = \mathbb{P}(V) $ 이고 $ V $ 가 $ U $ 의 유니터리 표현일 때, $ Y \subset Z $ 가 닫힌 실수 준대수집합이며 기약적인 실수 대수적 자리스키 폐쇄를 가지면, $ A(Y)_+ = \mu_{\frak{p}}(Y) \cap \frak{a}_+ $ 는 볼록 다면체이다.
• 볼록 다면체 $ A(Y)_+ $ 는 $ Y $ 내의 $ A $-고정점들에 대한 $ \mu_{\frak{p}} $-이미지들의 볼록결합이다. 여기서 $ A = \exp(\frak{a}) $ 이다.
• 이 결과는 이전에 복소 부분군과 해석적 부분집합에 대해 알려진 고전적 볼록성 정리를 실수 준대수군과 실수 준대수집합의 경우로 일반화한다.
• 증명은 준유리점과 세그레 임베딩을 이용한 새로운 이동 구성에 의존하며, 이는 궤도 공간을 볼록성이 확립될 수 있는 프로젝티브 공간으로 임베딩한다.
• 저자들은 $ \mathcal{N}_G = \mathcal{N}_G' $ 이라고 보여주며, 실수군 작용 하에서 두 null cone 정의의 동치성을 확인함으로써 볼록성 추론을 뒷받침한다.