[논문 리뷰] On the symplectic invariance of log Kodaira dimension

Mark McLean|arXiv (Cornell University)|2012. 11. 09.

Algebraic Geometry and Number Theory참고 문헌 22인용 수 4

한 줄 요약

이 논문은 특정 조건 하에서 매끄러운 아핀 다양체에 대해 로그 코다이라 차수(log Kodaira dimension)가 심플렉틱 불변량임을 입증한다: 2차원에서는 심플렉토모르피즘에 의해 보존되며, 3차원에서는 로그 코다이라 차수가 2이고 특정 콪actification 조건을 만족할 경우, 심플렉토모르픽인 다양체는 로그 일반형일 수 없다. 핵심 결과는 그로모프-윈터 이론과 유일루드성 기준을 통해 심플렉틱 불변량과 대수기하학을 연결한다.

ABSTRACT

Suppose that A and B are symplectomorphic smooth affine varieties. If A is acylic of dimension 2 then B has the same log Kodaira dimension as A. If the dimension of A is 3, has log Kodaira dimension 2 and satisfies some other conditions then B cannot be of log general type. We also show that if A and B are symplectomorphic affine varieties of any dimension then any compactification of A by a projective variety is uniruled if and only if any such compactification of B is uniruled.

연구 동기 및 목표

• 매끄러운 아핀 다양체의 심플렉토모르피즘 하에서 중요한 대수기하 불변량인 로그 코다이라 차수의 불변성 여부를 조사하는 것.
• 특히 낮은 차원에서 열린 대수기하 다양체로의 유일루드성과 코다이라 차수 같은 심플렉틱 불변량을 확장하는 것.
• 리우빌 도메인과 그로모프-윈터 불변량을 통한 심플렉틱 토폴로지와 로그 코다이라 차수 및 유일루드성과 관련된 대수기하학 간의 다리를 놓는 것.
• 프로젝티브 다양체의 심플렉토모르픽인 아핀 열린 부분집합의 콤팩티피케이션의 유일루드성은 그 아핀 열린 부분집합의 심플렉틱 불변량으로 확인될 수 있는가를 보여주는 것.

제안 방법

• 세 가지 유형의 유일루드성 개념 도입: (1) 리우빌 도메인의 유일루드성(심플렉틱), (2) 대수기하학적 k-유일루드성(대수기하학), (3) 콤팩티피케이션된 k-유일루드성(준복소構조를 가진 J-홀로모르픽 곡선).
• 정규 콘에 대한 분해(degeneration to the normal cone) 기법을 사용하여 리우빌 도메인의 유일루드성이 대수기하학적 k-유일루드성으로 이어짐을 증명.
• 간단한 기법을 적용하여 콤팩티피케이션된 k-유일루드성이 리우빌 도메인의 유일루드성으로 이어짐을 보임.
• 그로모프-윈터 불변량과 심플렉틱 변형 기법을 활용하여 심플렉틱 구조와 대수기하 불변량 간의 관계를 규명.
• 선다발과 푸비니-슈타디 메트릭을 사용하여 콤팩티피케이션 위에서 퍼텐셜하중함수와 리우빌 형식을 구성.
• 리우빌 변형 등가성(Liouville deformation equivalence)을 활용하여 서로 다른 리우빌 도메인 간의 관계를 설정하고, 심플렉토모르피즘 하에서의 불변성을 입증.

실험 결과

연구 질문

• RQ1 매끄러운 아핀 다양체의 로그 코다이라 차수는 심플렉토모르피즘 하에서 불변인가?
• RQ2 아핀 열린 부분집합의 심플렉틱 불변량을 통해 콤팩티피케이션의 유일루드성은 확인될 수 있는가?
• RQ3 로그 코다이라 차수가 2인 3차원 아핀 다양체의 로그 코다이라 차수는 심플렉토모르피즘 하에서도 여전히 유계인가?
• RQ4 그로모프-윈터 불변량과 J-홀로모르픽 곡선은 열린 다양체에서 유일루드성과 같은 대수기하 성질을 어느 정도 탐지할 수 있는가?
• RQ5 심플렉틱 불변량은 서로 다른 로그 코다이라 차수를 가진 다양체를 구별할 수 있는가?

주요 결과

• 매끄러운 아핀 표면의 경우, A와 B가 심플렉토모르픽이고 A가 순수한(acyclic) 경우, B의 로그 코다이라 차수는 A와 동일하다.
• 3차원에서 A가 B와 심플렉토모르픽이고 로그 코다이라 차수가 2이며, 정규 교차 비에르(nef) 다발로 콤팩티피케이션 가능하고, 이 다발이 매끄러운 다발과 선형적으로 동치일 경우, B는 로그 일반형일 수 없다.
• A와 B가 심플렉토모르픽인 매끄러운 아핀 다양체일 경우, A의 프로젝티브 다양체에 의한 콤팩티피케이션이 유일루드성일 조건과 B의 경우도 동일하게 성립한다.
• 리우빌 유일루드성, 대수기하학적 k-유일루드성, 콤팩티피케이션된 k-유일루드성의 세 유형의 유일루드성은 심플렉토모르피즘이 이 세 유형 간의 성질을 유지하므로 동치이다.
• 선다발과 푸비니-슈타디 메트릭을 통한 퍼텐셜하중함수와 리우빌 형식의 구성은 아핀 다양체와 그 콤팩티피케이션의 기하학적 구조를 심플렉틱적으로 제어할 수 있게 한다.
• 리우빌 변형 등가성을 통해, 고에너지 수준에서 콤팩티피케이션에 관련된 리우빌 도메인은 원래 아핀 다양체와 심플렉틱적으로 동치임을 보였다.