[논문 리뷰] On the Rational Real Jacobian Conjecture

L. Andrew Campbell|arXiv (Cornell University)|2012. 09. 30.

Advanced Differential Equations and Dynamical Systems참고 문헌 17인용 수 3

한 줄 요약

이 논문은 모든 곳에서 정의된 유리형 사상으로까지 확장된 강력한 실수자기행렬행렬식추측(Strong Real Jacobian Conjecture, SRJC)을 고려한다. 유리형 사상이 비특이적이고 Galois 확장인 경우, 가역성은 체 확장의 차수와 자동환의 자명성과 동치임을 증명하며, SRJC의 두 알려진 특수 케이스를 유리형 사상 설정으로 일반화하여, 비자명한 섬유의 집합의 여차원이 >2 이거나 이미지와 이격되어 있을 경우의 가역성을 보여준다. 또한 Pinchuk의 SRJC에 대한 반례가 RRJC 하에서 가역성에 필요한 조건을 만족하지 못함을 밝히고, 가역적인 유리형 사상의 경우 관련 체 확장이 반드시 홀수 차수여야 하고 자동환군이 자명해야 함을 규명한다.

ABSTRACT

Jacobian conjectures (that nonsingular implies a global inverse) for rational everywhere defined maps of real n-space to itself are considered, with no requirement for a constant Jacobian determinant or a rational inverse. The birational case is proved and the Galois case clarified. Two known special cases of the Strong Real Jacobian Conjecture (SRJC) are generalized to the rational map context. For an invertible map, the associated extension of rational function fields must be of odd degree and must have no nontrivial automorphisms. That disqualifies the Pinchuk counter examples to the SRJC as candidates for invertibility.

연구 동기 및 목표

• 모든 곳에서 정의된 ℝⁿ 상의 유리형 사상으로 강력한 실수자기행렬행렬식추측(SRJC)을 확장한다.
• 특히 체 확장 성질에 초점을 맞춰, 이러한 유리형 사상이 언제 가역적인지를 명확히 한다.
• SRJC의 두 알려진 특수 케이스—비자명한 섬유 집합의 여차원 >2 및 이미지와의 이격성—을 유리형 사상 프레임워크로 일반화한다.
• RRJC 하에서 가역성에 필요한 조건을 만족하지 못함을 보여, SRJC에 대한 Pinchuk의 반례가 가역성 후보에서 제외됨을 밝힌다.
• 가역적인 유리형 사상에 대해 관련 체 함수 확장이 반드시 홀수 차수여야 하고 자동환군이 자명해야 함을 규명한다.

제안 방법

• 유리형 사상 F:ℝⁿ→ℝⁿ에 관련된 체 확장 ℝ(X)/ℝ(F)의 대수적 구조를 분석한다.
• 체 확장의 차수와 F의 기하학적 차수를 이용하여 섬유 크기와 확장의 기수성(짝수/홀수)을 연결한다.
• 커버링 공간 이론과 P.A. Smith 이론을 활용한 위상수학적 방법을 적용하여, 비자명한 기본군을 가진 ℝⁿ 위의 유한 커버링 사상은 차수가 1이 아닐 경우 모순이 발생함을 보여준다.
• ℝⁿ이 단순연결되고 보편 커버링임을 이용하여, 유한 섬유를 가지며 이미지가 유한한 사상은 커버링 차수가 1이면 단사임을 유도한다.
• 특히 반대칭대수기하학과 실수대수기하학의 결과, 특히 반대칭집합과 A(F)의 비자명한 섬유 집합의 차원 제약 조건을 적용한다.
• 유리형 사상이 항상 미분동형임을 이용하고, 이를 전역 단사성 기준과 결합한다.

실험 결과

연구 질문

• RQ1 모든 곳에서 정의된 유리형 사상 F:ℝⁿ→ℝⁿ이 미분행렬식이 영이 아닐 경우, 어떤 조건에서 가역적인가?
• RQ2 체 확장 ℝ(X)/ℝ(F)의 차수와 확장의 자동환군은 F의 가역성과 어떻게 관련되어 있는가?
• RQ3 SRJC의 두 알려진 특수 케이스—A(F)의 여차원과 이미지와의 이격성—은 유리형 사상 프레임워크로 일반화될 수 있는가?
• RQ4 왜 SRJC에 대한 Pinchuk의 반례는 RRJC 하에서 가역성에 필요한 조건을 만족하지 못하는가?
• RQ5 비유리성, 갈로아 확장, 그리고 유리형 사상의 맥락에서 가역성 사이의 정확한 관계는 무엇인가?

주요 결과

• 모든 곳에서 정의된 유리형 비특이 사상 F:ℝⁿ→ℝⁿ에 대해, 관련 체 확장 ℝ(X)/ℝ(F)가 비유리적(차수 1)이라면 F는 가역적이며, 이 확장의 자동환군은 자명하다.
• 체 확장 ℝ(X)/ℝ(F)가 갈로아 확장이라면, F는 가역적일 필요와 충분조건이 비유리적임이며, 이는 확장 차수가 1이 되고 자동환군이 자명함을 의미한다.
• F가 국소적으로 자명한 섬유 분할이 아닌 점들의 집합 A(F)는 F가 가역적이기 위해 여차원 >2 이거나 이미지 F(ℝⁿ)와 이격되어야 하며, 이 조건은 두 알려진 SRJC 특수 케이스를 RRJC 설정으로 일반화한다.
• SRJC에 대한 Pinchuk의 반례는 유일한 섬유 크기가 2로 짝수이기 때문에, RRJC 하에서 가역성에 필요한 홀수 섬유 크기 조건을 위반하므로 가역성 후보에서 제외된다.
• 가역적인 유리형 사상은 반드시 홀수 차수의 체 확장을 유도하고 자동환군이 자명해야 하며, 이 조건은 모든 알려진 SRJC의 반례를 배제한다.
• 여차원 >2 및 이격성 케이스에서의 가역성 증명은 커버링 공간과 Smith 이론을 활용한 위상수학적 추론에 기반하며, 유리성 덕분에 유한 커버링 차수와 단사성에 의해 가역성이 유도됨을 고려해 자연스럽게 유리형 사상으로 확장된다.