[논문 리뷰] Optimality for totally real immersions and independent mappings of manifolds into C^N

Pak Tung Ho, Howard Jacobowitz외 1명|arXiv (Cornell University)|2012. 03. 30.

Geometric Analysis and Curvature Flows참고 문헌 13인용 수 8

한 줄 요약

이 논문은 복소 아핀 공간 𝐂^𝑁으로의 완전히 실수의 임베딩과 독립적인 사상에 대한 목표 차원의 최적성에 대해 증명한다. 특히, 정향성 다각형의 곱인 ℂℙ²를 포함한 정향성 다각형에서 체른 클래스의 차단 조건과 전방성 논증을 사용하여, 완전히 실수의 임베딩에 대해 𝑁 ≥ ⌊3𝑛/2⌋, 독립적인 사상에 대해 𝑁 ≤ ⌊(𝑛+1)/2⌋라는 경계가 최적임을 입증한다. 새로운 예시를 통해 이러한 차원은 향상될 수 없음을 보여준다.

ABSTRACT

The optimal target dimensions are determined for totally real immersions and for independent mappings into complex affine spaces. Our arguments are similar to those given by Forster, but we use orientable manifolds as far as possible and so are able to obtain improved results for orientable manifolds of even dimension. This leads to new examples showing that the known immersion and submersion dimensions for holomorphic mappings from Stein manifolds to affine spaces are best possible.

연구 동기 및 목표

• 완전히 실수의 임베딩과 독립적인 사상에 대해 𝐂^𝑁로의 목표 차원 경계가 최적임을 증명하는 것.
• 기존 경계 이하의 사상이 불가능한 닫힌 다각형의 구체적 예를 구성하는 것.
• 상위 포트리아진 클래스가 0인 4𝑘+2차원 및 4𝑘차원 정향성 다각형에 대해 기존 결과를 향상시키는 것.
• 전방성 논증을 통해 유도된 경계가 체른 클래스를 통한 장애로 인해 날카롭게 맞는다는 것을 보여주는 것.
• 스무스 사례와 스타인 다각형의 해석적 임베딩 및 서브머지션을 비교하여, 해석적 설정에서도 최적성이 확인되는 것.

제안 방법

• 완전히 실수의 임베딩 존재 문제를 코homological 조건으로 변환하기 위해 체른 클래스 이론을 사용: 어떤 복소수 뭉치 Q(차원 N−dim M)에 대해 c(ℂ⊗TM)⌣c(Q) = 1 이다.
• 위트니 합 공식과 체른 클래스의 성질을 적용하여, ℂ⊗TM ⊕ Q의 자명성에 대한 장애를 도출한다.
• 특정 예시를 구성: M^{4k} = (ℂℙ²)^×k, 그리고 S¹ 또는 ℝℙ²와의 곱을 통해 모든 차원 모듈로 4를 커버한다.
• 전방성 및 제트 뭉치 기법을 사용하여 J¹(M, 𝐂^𝑁)에서 특이 집합의 코드미너션을 분석하여, 일반성 조건을 위해 경계가 필수적임을 보여준다.
• 독립 함수가 존재하는 것은 랭크 결함 집합의 코드미너션이 다각형 차원을 초과할 때에만 가능하다는 사실을 이용한다.
• 전방성과 단순한 차원 계산을 통해 뭉치의 섬유를 생성하는 전역 섹션의 존재를 보여주는 기법을 활용한다.

실험 결과

연구 질문

• RQ1 일부 다각형에 대해 𝐂^𝑁로의 완전히 실수의 임베딩에 대해 목표 차원 𝑁 = ⌊3𝑛/2⌋를 줄일 수 있는가?
• RQ2 독립적인 사상에 대해 𝑁 ≤ ⌊(𝑛+1)/2⌋라는 경계는 날카로운가, 아니면 향상시킬 수 있는가?
• RQ3 상위 포트리아진 클래스가 0인 4𝑘+2차원 또는 4𝑘차원 정향성 다각형은 일반적인 경우보다 더 좋은 경계를 가질 수 있는가?
• RQ4 스무스 경우의 완전히 실수의 임베딩 및 독립적인 사상에 대한 차원 경계는 스타인 다각형의 해석적 설정과 동일한가?
• RQ5 경계가 최적임을 보여주기 위해 명시적인 반례를 구성할 수 있는가?

주요 결과

• 모든 𝑘 ≥ 1에 대해, M^{4k} = (ℂℙ²)^×k는 𝑁 = 6𝑘−1일 때 𝐂^𝑁로의 완전히 실수의 임베딩을 가질 수 없으며, 이는 짝수 차원에서 𝑁 ≥ 3𝑛/2 경계의 최적성을 증명한다.
• M^{4k+1} = M^{4k} × S¹는 𝑁 = 6𝑘일 때 𝐂^𝑁로의 완전히 실수의 임베딩을 가질 수 없으며, 이는 4𝑘+1차원에서 경계가 날카로움을 보여준다.
• M^{4k+2} = M^{4k} × ℝℙ²는 𝑁 = 6𝑘+2일 때 𝐂^𝑁로의 완전히 실수의 임베딩을 가질 수 없으며, 이는 4𝑘+2차원에서 경계의 최적성을 확인한다.
• M^{4k+3} = M^{4k} × ℝℙ² × S¹는 𝑁 = 6𝑘+3일 때 𝐂^𝑁로의 완전히 실수의 임베딩을 가질 수 없으며, 이는 4𝑘+3차원에서 경계의 최적성을 증명한다.
• 정향성 다각형의 4𝑘+2차원에 대해, 일반적인 경우보다 약간 더 강력한 최적성 결과를 도출한다.
• 상위 포트리아진 클래스가 0인 4𝑘차원 정향성 다각형에 대해, 일반 경계가 이 조건 하에서는 날카롭지 않음을 증명하여 개선된 최적 경계를 보여준다.