[논문 리뷰] Symplectic structures of algebraic surfaces and deformation

Fabrizio Catanese|ArXiv.org|2002. 07. 26.

Geometric and Algebraic Topology참고 문헌 17인용 수 26

한 줄 요약

이 논문은 일반 유형의 최소 표면이 미세하게 대칭되는 심플렉틱 구조를 갖는다는 것을 증명한다. 이 구조는 심플렉토모르피즘에 대해 유일하며, 매끄러운 변형과 특이점의 일정한 Q-코hen스타인 매끄럽게 하는 데 대해 불변하다. Manetti의 비변형 동치이지만 미분동치인 표면의 예를 통해 저자들은 이러한 표면들이 표준 심플렉틱 형식을 통해 심플렉토모르픽하다는 것을 증명하고, 이를 통해 심플렉틱 동치이지만 등위치변형 동치가 아닌 쿠스피달 평면 곡선의 존재를 보여준다.

ABSTRACT

Friedman and Morgan made the "speculation" that deformation equivalence and diffeomorphism should coincide for algebraic surfaces. Counterexamples, for the hitherto open case of surfaces of general type, have been given in the last years by Manetti, by Kharlamov-Kulikov and in my cited article. For the latter much simpler examples, it was shown that there are surfaces $S$ which are not deformation equivalent to their complex conjugate. However, by Seiberg-Witten theory, any (oriented) diffeomorphism of minimal surfaces carries the canonical class K to + K or to - K, and deformation equivalence implies the existence of a diffeomorphism carrying K to +K. In fact, as observed by a referee, the bulk of the proof was to show that our surfaces have no selfhomeomorphism carrying K to - K (the same for the K-K surfaces). In this note we show that Manetti's surfaces provide indeed a counterexample to the reinforced conjecture, since they are symplectomorphic. Our result is that a surface of general type has a canonical symplectic structure (up to symplectomorphism) which is invariant for deformation and for certain degenerations to normal surfaces. Since moreover no simply connected counterexamples to the conjecture are known, we provide explicit families of 1-connected surfaces, which are obtained by glueing together two fixed manifolds with boundary, are not deformation equivalent, but are homeomorphic under a homeomorphism carrying K to +K. We also give as application the existence of symplectically equivalent, but not deformation equivalent cuspidal plane curves.

연구 동기 및 목표

• 일반 유형의 최소 표면에 대해 변형에 대해 불변하는 표준 심플렉틱 구조의 존재를 확립하는 것.
• 특이점이 존재하는 경우에 있어서도 대수적 표면의 변형 유형과 심플렉토모르피즘 유형이 일치하는지 조사하는 것.
• 몫 특이점의 Q-코헨스타인 매끄러운 변형이 심플렉틱 불변성과 미분동치 유형에 미치는 영향을 분석하는 것.
• 결과를 이용하여 쿠스피달 평면 곡선의 동치 문제를 다루어 심플렉틱 동치성이 등위치변형 동치를 의미하지는 않는다는 것을 보여주는 것.

제안 방법

• m ≥ 4일 때, 프로젝티브 공간으로의 m-중 포물선형 매립을 통해 표준 심플렉틱 형식을 구성하고, Fubini-Study 형식을 옮겨서 얻는다.
• 베론제 매립과 Moser의 심플렉틱 동치에 관한 정리를 사용하여 서로 다른 m에 대해 심플렉토모르피즘 불변성을 증명한다.
• 적절한 캐논리컬 모델을 고려하고 그의 유리 이중점 특이점을 매끄럽게 함으로써, 앰블이 아닌 캐논리컬 딜로이를 확장한다.
• Q-코헨스타인 매끄러운 변형이 심플렉틱 구조를 유지한다는 사실에 기반하여, 변형 이론과 매끄럽게 하는 위치의 기약성에 의해 이를 보여준다.
• 중앙 근원이 단일 매끄럽게 하는 특이점(SSS)을 갖는 표면의 가닥에 적용하여, 매끄러운 근원이 심플렉토모르픽하다는 것을 보장한다.
• 밀너의 매립과 비해석적 브랑치드 커버링을 통해 캐논리컬 모델을 매끄럽게 한 표면으로의 심플렉틱 불변성을 확장한다.

실험 결과

연구 질문

• RQ1 일반 유형의 최소 표면에 대한 표준 심플렉틱 구조는 매끄러운 변형과 특이점의 Q-코헨스타인 매끄럽게 하는 데 대해 불변하는가?
• RQ2 일반 유형의 두 표면이 미분동치이자 심플렉토모르픽일 수 있지만 변형 동치가 아닐 수 있는가?
• RQ3 심플렉틱 동치인 쿠스피달 평면 곡선은 반드시 등위치변형 동치인가?
• RQ4 기약 매끄럽게 하는 성분이 매끄러운 근원의 심플렉토모르피즘 유형을 결정하는 데 어떤 역할을 하는가?
• RQ5 몫 특이점의 Q-코헨스타인 매끄럽게 하는 것은 결과로 얻어진 매끄러운 표면의 심플렉틱 및 미분동치 유형에 어떤 영향을 미치는가?

주요 결과

• 일반 유형의 최소 표면은 심플렉토모르피즘에 대해 유일한 표준 심플렉틱 구조를 갖는다. 이 구조의 코homology 클래스는 캐논리컬 클래스이다.
• 동일한 특이한 중심 근원으로부터 Q-코헨스타인 매끄럽게 되는 비변형 동치 표면은 심플렉토모르픽하다.
• Manetti의 비변형 동치이지만 일반 유형의 표면는 심플렉토모르픽이자 미분동치이며, 캐논리컬 클래스를 유지하는 미분동치를 통해 연결된다.
• 캐논리컬 딜로이가 앰블이 아니어도, 단일 매끄럽게 하는 특이점(SSS)을 允허하는 변형에 대해 심플렉토모르피즘 유형은 불변하다.
• 비변형 동치 표면에서 유래한 쿠스피달 평면 곡선은 심플렉틱 동치이지만 등위치변형 동치가 아니다.
• 표면의 심플렉틱 구조는 캐논리컬 모델 구성과 유리 이중점 특이점의 매끄러운 변형을 통해 유지되며, 이는 변형 과정 전반에 걸쳐 불변성을 보장한다.