[논문 리뷰] Automorphisms of open surfaces with irreducible boundary

Adrien Dubouloz, Stéphane Lamy|Osaka City University (Osaka City University)|2014. 04. 18.

Algebraic Geometry and Number Theory참고 문헌 29인용 수 8

한 줄 요약

이 논문은 경계가 기약인 매끄럽고 준사영적인 표면의 자기동형사상들을 로그 모리 이론의 프레임워크 안에서, 모든 확대와 수축이 경계 위에서 일어나는 단순 브레일리언 링크의 열로 인수분해하는 알고리즘을 개발한다. 주요 기여는 유리 피브레이션을 보존하는 모델 간의 동형사상들을 사용한 자기동형사상의 정규형을 제시하며, 이는 아핀 및 조뉴이에르 자기동형사상의 일반화이며, 대부분의 표면에서 테임 군이 Aut(V)의 진부분군임을 보여준다. 유일한 예외는 아핀 평면을 포함하는 유한한 가족이다.

ABSTRACT

Let (S, B) be the log pair associated with a projective completion of a smooth quasi-projective surface V . Under the assumption that the boundary B is irreducible, we obtain an algorithm to factorize any automorphism of V into a sequence of simple birational links. This factorization lies in the framework of the log Mori theory, with the property that all the blow-ups and contractions involved in the process occur on the boundary. When the completion S is smooth, we obtain a description of the automorphisms of V which is reminiscent of a presentation by generators and relations except that the "generators" are no longer automorphisms. They are instead isomorphisms between different models of V preserving certain rational fibrations. This description enables one to define normal forms of automorphisms and leads in particular to a natural generalization of the usual notions of affine and Jonquieres automorphisms of the affine plane. When V is affine, we show however that except for a finite family of surfaces including the affine plane, the group generated by these affine and Jonquieres automorphisms, which we call the tame group of V, is a proper subgroup of Aut(V).

연구 동기 및 목표

• 기약 경계를 가진 매끄럽고 준사영적인 표면 V의 자기동형사상군을 로그 모리 이론적 프레임워크에서 기술하는 것.
• 모든 수정이 경계 divisor 위에서 일어나는 단순 링크로 V의 자기동형사상들을 인수분해하는 알고리즘을 개발하는 것.
• 유리 피브레이션을 보존하는 V의 서로 다른 모델 간의 동형사상들을 도입하여 아핀 및 조뉴이에르 자기동형사상의 개념을 일반화하는 것.
• 이러한 일반화된 자기동형사상들로 생성되는 군(즉, '테임 군')이 대부분의 표면에서는 Aut(V)의 진부분군임을 보여주는 것.

제안 방법

• 저자는 자동사상에 의해 유도된 비유리 사상들을 로그 사르키소프 프로그램을 사용하여 중간 로그 모리 피브레이션 공간 사이의 기본 링크들로 분해한다.
• 경계가 기약 곡선인 완비화에 집중하여, 모든 확대와 수축이 경계 위에서 일어나도록 보장함으로써 '적절한' 인수분해를 달성한다.
• 이 방법은 S가 프로젝티브 표면이고 B_S가 기약 경계 곡선인 쌍 (S, B_S)를 분류하는 데 의존하며, 특히 F_4, F_2, F_0의 경우에 중점을 둔다.
• 각 경우에 대해 기하학적 및 군론적 기법(궤도 분해와 cross-ratio 불변량 포함)을 사용하여 (S, B_S)의 자기동형사상군을 분석한다.
• 피브레이션의 동치류를 식별하고, 이러한 피브레이션을 보존하는 V의 모델 간의 동형사상을 사용하여 자기동형사상의 정규형을 구성한다.
• 저자는 (F_0, C_{1,b})의 자기동형사상군이 유한함(순서 ≤24)이며, 모든 b에 대해 유한한 수의 예외를 제외하고는 자명함을 증명한다. 이 경우는 복소수 평면에서 0과 1을 제외한 b에 대해 이차 다항식의 근 조건을 만족한다.

실험 결과

연구 질문

• RQ1 기약 경계를 가진 매끄럽고 준사영적인 표면의 자기동형사상들은 모든 수정이 경계 위에서 일어나는 단순 링크로 분해될 수 있는가?
• RQ2 유리 피브레이션을 보존하는 서로 다른 모델 간의 동형사상에 의해 이러한 표면의 자기동형사상군은 어떻게 기술될 수 있는가?
• RQ3 일반화된 아핀 및 조뉴이에르 자기동형사상들로 생성된 군의 구조는 무엇이며, 전체 자기동형사상군과의 관계는 어떠한가?
• RQ4 자기동형사상군이 유한한 쌍 (S, B_S)의 비가산 많은 이sov모르피즘 클래스가 존재하는가? 그리고 그들의 불변량은 무엇인가?

주요 결과

• 로그 사르키소프 프로그램은 일반적으로 기약 경계를 가진 완비화에 적용될 때 적절한 인수분해를 보장하지 못한다. 왜냐하면 링크들이 내부 표면 V를 보존하지 않을 수 있기 때문이다.
• (F_4, C_4)의 경우, 자기동형사상군은 경계 위에서 두 궤도를 갖는다: 무한원점과 그 외부.
• (F_2, C_{2,1})의 경우, 자기동형사상군은 경계 위에서 세 궤도를 갖는다: 무한원점, 원점, 나머지.
• (F_0, C_{0,0})의 경우, 자기동형사상군은 ℂ* × ℤ₂와 동형이며, 가중치 스케일링과 대칭을 통해 작용한다.
• (F_0, C_{1,b})의 경우, 자기동형사상군은 유한하다(순서 ≤24)이며, 모든 b에 대해 유한한 수의 예외를 제외하고는 자명하다. 이 경우는 복소수 평면에서 0과 1을 제외한 b에 대해 이차 다항식의 근 조건을 만족한다.
• 기하학적 성질로는 수평 탄젠트의 cross-ratio가 구분하는 바에 따라, (F_0, C_{1,b})의 이sov모르피즘 클래스가 비가산적으로 존재한다. 이들 중에서 자동사상군이 비자명한 것은 유한한 수에 불과하다.