[논문 리뷰] Holomorphic factorization of mappings into SL_n(C)

Björn Ivarsson, Frank Kutzschebauch|ArXiv.org|2008. 12. 01.

Homotopy and Cohomology in Algebraic Topology참고 문헌 6인용 수 7

한 줄 요약

이 논문은 Gromov의 Vaserstein 문제를 해결한다. 유한 차원의 추상화된 슈테인 공간에서 SLₙ(ℂ)로의 영호모토픽한 헬로모르픽 사상이 헬로모르픽 성분을 가진 유니포텐트 행렬의 유한한 곱으로 분해됨을 증명한다. 증명은 계층적 피브레이션에 대해 Oka-Grauert-Gromov h-원리의 응용을 통해 이루어지며, 도메인의 차원과 행렬 크기만에 의존하는 인자 수의 균일한 상한을 확립한다.

ABSTRACT

We solve Gromov's Vaserstein problem. Namely, we show that a null-homotopic holomorphic mapping from a finite dimensional reduced Stein space into SL_n(C) can be factored into a finite product of unipotent matrices with holomorphic entries.

연구 동기 및 목표

• SLₙ(ℂ)로의 헬로모르픽 분해 문제에 관한 Gromov의 Vaserstein 문제를 해결하기 위해.
• 유한 차원의 추상화된 슈테인 공간에서 SLₙ(ℂ)로의 영호모토픽한 헬로모르픽 사상이 헬로모르픽 유니포텐트 행렬의 곱으로 분해됨을 입증하기 위해.
• 해당 분해에 필요한 유니포텐트 인자의 수에 대한 균일한 상한이 존재함을 증명하기 위해. 이 상한은 도메인의 차원과 행렬 크기만에 의존한다.

제안 방법

• 행렬 분해 문제와 관련된 계층적 피브레이션에 대해 Oka-Grauert-Gromov h-원리를 적용하기 위해.
• 일부 다항식 사상의 수준집합과 동일한 피브레이션을 슈테인 공간 위에 구성하여 헬로모르픽 스프레이의 사용을 가능하게 하기 위해.
• 매끄러운 계층에서 전역적으로 적분 가능한 벡터장과 스프레이를 사용하여 위상적 단면에서 헬로모르픽 단면을 구성하기 위해.
• Vaserstein의 연속적 분해 결과를 활용하여 위상적 단면의 존재를 도출하고, h-원리를 통해 이를 헬로모르픽 단면으로 끌어올리기 위해.
• 기저 공간의 계층화와 행렬 크기의 귀납적 접근을 통해 특이한 피브리의 처리와 전역적 헬로모르픽 분해 보장하기 위해.
• 모순을 이용하여 모든 이러한 사상에 대해 필요한 유니포텐트 인자의 수에 대한 균일한 상한을 확립하기 위해.

실험 결과

연구 질문

• RQ1 유한 차원의 추상화된 슈테인 공간에서 SLₙ(ℂ)로의 영호모토픽한 헬로모르픽 사상은 항상 헬로모르픽 성분을 가진 유니포텐트 행렬의 유한한 곱으로 분해될 수 있는가?
• RQ2 이러한 분해에 필요한 유니포텐트 인자의 수에 대해 균일한 상한이 존재하는가? 이 상한은 도메인의 차원과 행렬 크기만에 의존하는가?
• RQ3 특히 n=2일 때, 연속적 경우(K_C(m,n))와 헬로모르픽 경우(K_O(m,n))에서 필요한 인자 수의 관계는 어떻게 되는가?

주요 결과

• 모든 영호모토픽한 헬로모르픽 사상 f: X → SLₙ(ℂ)에서 X는 유한 차원의 추상화된 슈테인 공간이며, 이 사상은 헬로모르픽 성분을 가진 유니포텐트 행렬의 유한한 곱으로 분해된다.
• 모든 이러한 사상이 최대 K개의 유니포텐트 행렬로 분해됨을 보장하는 균일한 상한 K가 존재하며, 이 K는 X의 차원 m과 행렬 크기 n에만 의존한다.
• n=2일 때, 헬로모르픽 분해 수 K_O(m,2)는 K_O(m,2) ≤ K_C(m,2) + 4를 만족하며, 여기서 K_C(m,2)는 연속적 경우의 상한이다.
• 증명은 h-원리 추론에서 사용된 피브레이션이 헬로모르픽 단면을 갖는다는 것을 입증한다. 이는 Vaserstein의 결과에 의해 보장된 위상적 단면을 끌어올리는 데 기여한다.
• 모든 차원 m인 슈테인 공간과 모든 SLₙ(ℂ)로의 영호모토픽한 사상에 대해 인자의 수가 균일하게 유계이며, 이는 헬로모르픽 범주에서도 성립한다.
• Cohn의 다항식 사상에 대한 반례는 SL₂(ℂ[z₁,z₂])에서 5개의 헬로모르픽 유니포텐트 인자를 필요로 하지만, 연속적 경우에서는 4개로 분해 가능하므로, 연속적 및 헬로모르픽 설정 간의 엄밀한 격차가 있음을 보여준다.