[논문 리뷰] Configuration spaces of C and CP^1: some analytic properties

Vladimir Lin|ArXiv.org|2004. 03. 07.

Geometry and complex manifolds참고 문헌 41인용 수 15

한 줄 요약

이 논문은 구성공간 ℂ 및 ℂℙ¹의 정칙 엔도모르피즘을 완전히 분류한다. 새로운 단순형 불변량을 도입하고, 비순환 엔도모르피즘이 정확히 기본 공간의 자동사상에 의해 유도되는 온전한(타임프) 엔도모르피즘임을 증명한다. n > 4일 때 비순환 사상은 그 정칙 호모토피류로 특징지어지며, 차원 하한을 만족한다. 반면 순환 사상은 테이히뮐러 이론과 보편 커버링을 통해 연결된 이미지 점을 가진다.

ABSTRACT

We study holomorphic self-maps of non-ordered n-point configuration spaces C^n(X), where X is either affine or projective complex line. The complex Lie group Aut(X) acts diagonally on C^n(X). We prove that for n>4 every endomorphism F of C^n(X) either is tame meaning that it is of the form F(Q)=T(Q)Q for a certain morphism T of C^n(X) to Aut(X) or carries the whole C^n(X) into one Aut(X) orbit Aut(X)Q_0 in C^n(X). The first option happens if and only if the image of the induced endomorphism F_* of the fundamental group of C^n(X) (which is the braid group of X) is a non-cyclic group; otherwise F is of the second type. We also prove that for n>(dim(Aut(X))+1 a morphism F of C^n(X) to any C^k(X) always admits an n point subset Q of X whose intersection with its image F(Q) is non-empty. Finally, we give a complete description of unbranched k-coverings of C^n(x) for k<2n+1.

연구 동기 및 목표

• X = ℂ 및 X = ℂℙ¹에 대해 순서 없는 구성공간 𝒞ⁿ(X)의 정칙 엔도모르피즘을 분석적 및 대수적 불변량을 사용하여 분류한다.
• 비순환 엔도모르피즘은 Aut(X)-작용에 의해 유도되는 온전한 사상으로 특징지으며, 순환 사상은 궤도 유사 사상으로 간주한다.
• 비순환 엔도모르피즘과 Aut(X)의 최대 컴act 부분군으로의 연속 사상 사이의 대응관계를 수립하여 위상수학적 성질과 정칙 구조를 연결한다.
• 비순환 엔도모르피즘 F: 𝒞ⁿ(X) → 𝒞ᵏ(X)의 이미지 차원이 n − t(X) + 1 이상임을 증명한다. 여기서 t(X) = dimℂ Aut(X).
• 유니버설 대수적 함수의 분해 가능성을 분석함으로써 힐버트의 13번째 문제의 한 형태를 해결한다. 즉, 동일한 분지 위치를 유지하면서도 유니버설 대수적 함수 Un(z)를 m변수 대수적 함수의 복합으로 분해할 수 없다는 것을 보여준다.

제안 방법

• 비자명한 정칙 사상 Z → ℂ ≠ {0,1}의 정점으로 구성된 유한 단순형 복합체 LΔ(Z)를 도입하여, 등변 엔도모르피즘을 연구한다.
• 보편 테이히뮐러 가족을 사용하여, m = n + 3 − t(X)일 때, ˜Aut(X) × T(0,m) → 𝒞ⁿ(X)로의 정칙 보편 커버링 사상 Π를 구성한다.
• Hubbard-Earl-Kra 정리를 적용하여, dimℂ T(0,m) > 1이면 정칙 단면이 존재하지 않음을 보이며, 이는 연결된 사상 정리(Linked Map Theorem)를 증명하는 데 핵심적이다.
• 순수 브레이드 군 PBₙ(X)의 표준 정규급수와 교환자 부분군의 구조를 사용하여, 비순환 사상을 순서 있는 구성공간 위의 등변 사상으로 올리기 위한 방법을 마련한다.
• Bₙ(X)의 표준 표현을 정의하고 이를 사용하여 비순환 엔도모르피즘이 순수 브레이드 군을 보존함을 증명함으로써, 𝒞ₒⁿ(X)로의 올림이 가능함을 보장한다.
• Z ↦ LΔ(Z)의 반대함수적 대응관계를 수립하여, Aut(X)-등변 엔도모르피즘 𝒞ₒⁿ(X)이 LΔ(𝒞ₒⁿ(X))의 단순형 자기사상으로 유도됨을 보여준다.

실험 결과

연구 질문

• RQ1 𝒞ⁿ(X)의 정칙 엔도모르피즘이 온전한지 판단하는 조건은 무엇이며, 이는 기본군에 유도된 사상의 순환성과 어떻게 관련되는가?
• RQ2 비순환 엔도모르피즘 F: 𝒞ⁿ(X) → 𝒞ᵏ(X)와 Aut(X)의 최대 컴팩트 부분군으로의 정칙 호모토피류 사이의 정확한 관계는 무엇인가?
• RQ3 브레이드 군 Bₙ(X)의 대수적 성질은 비순환 엔도모르피즘의 구조에 어떤 제약을 가하는가?
• RQ4 비순환 엔도모르피즘 F: 𝒞ⁿ(X) → 𝒞ᵏ(X)의 이미지의 최소 가능한 복소수 차원은 얼마인가?
• RQ5 ℂℙⁿ 위의 유니버설 대수적 함수 Un(z)는 동일한 분지 위치를 유지하면서도 m변수 대수적 함수의 복합으로 분해될 수 있는가?

주요 결과

• n > 4 이고 k ≥ t(X)일 때, 𝒞ⁿ(X)의 엔도모르피즘 F가 온전한 것은 비순환일 때이고, 이는 완전한 분류를 제공한다.
• 모든 비순환 엔도모르피즘 F: 𝒞ⁿ(X) → 𝒞ᵏ(X)는 dimℂ F(𝒞ⁿ(X)) ≥ n − t(X) + 1를 만족하며, 등호는 특정 조건에서만 가능하다.
• 비순환 엔도모르피즘의 정칙 호모토피류는 Aut(X)의 최대 컴팩트 부분군 𝒦(X)로의 연속 사상의 호모토피류와 자연스럽게 1:1 대응된다.
• n > t(X) + 1일 때, 모든 비순환 사상 F: 𝒞ⁿ(X) → 𝒞ᵏ(X)는 어떤 Q ∈ 𝒞ⁿ(X)에 대해 Q ∩ F(Q) ≠ ∅를 만족함을 증명하여 연결된 사상 정리를 입증한다.
• m = n + 3 − t(X)일 때, ˜Aut(X) × T(0,m) → 𝒞ⁿ(X)로의 정칙 보편 커버링 사상 Π의 구성은 명시적이며, T(0,m) 위의 보편 테이히뮐러 가족에 의존한다.
• ℂℙ¹ 위의 삼차 형식 공간에서의 아이젠슈타인 자동사상이 온전한 사상임을 보이며, 이는 정칙 사상 T: 𝒞³(ℂℙ¹) → PSL(2,ℂ)에 의해 유도되며, 비퇴화 형식에서 이중정칙이고, 자기역행임을 확인한다.