복소 사영평면의 오직 유리 특이점만을 가진 퇴화들
초록.
Wahl의 추측은 rational homology disk smoothing을 허용하는 이차원 특이점들이 weighted homogeneous라고 말한다. 그 추측을 가정하여, 우리는 복소 사영평면의 오직 유리 특이점만을 가진 모든 정규 퇴화들을 분류한다. 그것들은 정확히 Markov 방정식에 의해 제어되는 Manetti 및 Hacking–Prokhorov가 분류한 곡면들과, 네 개의 non-log canonical 특이점을 포함하는 여섯 개의 새로운 퇴화들이다.
1. 서론
에서[1], Bădescu는 다음을 가진 유리곡면의 정규 퇴화들을 연구했다. 더 정확히는, 그는 proper deformations를 고려했다
원판 위에서, 여기서는 다음을 가진 비특이 유리곡면이다에 대해, 그리고는 정규 곡면이다. 그는 (A) 다음 중 하나임을 증명했다는 많아야 유리 특이점들을 가진 유리곡면이거나, 또는 (B)는 정확히 하나의 비유리 특이점을 가지며 몇몇 특정 성질들을 만족한다 (참조[1, Thm. 1]자세한 내용). 다음일 때, 그는 만약가 Cartier이면, 그러면는 다음 중 하나임을 보였다또는 비특이 평면 삼차곡선 위의 타원 원뿔[1, (4.3) Thm.](이는 다음의 유일한 strictly log canonical 퇴화이다에 의해[11, Thm. 8.5]). Bădescu는 또한 추가 예들의 원천으로서 비특이 평면곡선 위에서 “원뿔을 쓸어내는” 고전적 구성을 지적했고, 이것들이 다음의 모든 정규 퇴화들인지 물었다 [1, (4.8.2)]. 이는 그렇지 않았다. 에서[14], Manetti는 다음의 무한히 많은 퇴화들을 발견했다유형 (A)의. 그는 다음에서 증명했다[14, Thm. 11]유형 (A)에 대해 그러한 퇴화들은반드시 (A1) 오직 몫 특이점들만 가지거나 (A2) 많아야 하나의 비몫 특이점을 가져야 한다. (A1)에 대해, 그는 다음의 특이점들이Wahl 특이점들이며, 많아야 세 개이고, 그 퇴화가-Gorenstein[14, Main Thm.](또한 참조[16, III and IV]). 마지막으로, Hacking과 Prokhorov는 다음에서[9]유형 (A1)의 임의의 퇴화가 다음의-Gorenstein partial smoothing임을 증명했다, 여기서는 Markov 방정식을 만족한다
A HD특이점은 rational homology disk smoothing, 즉 Milnor 수가 다음과 같은 smoothing을 허용하는 이차원 정규 특이점이다. J. Wahl의 잘 알려진 추측은[22, 21]모든HD특이점이 weighted homogeneous라고 말한다[18, 3]. 다음에 의해[20]그리고[4], weighted homogeneous인 다음의 명시적 분류가 있다HD특이점들. 우리는 Figures에 보인 것처럼, 그들의 minimal resolutions의 별 모양 쌍대 그래프들에 의한 그들의 분류를 참조한다2그리고3. Wahl의 추측이 성립한다는 가정하에, 이 논문에서 우리는 유형 (A2)의 모든 퇴화들을 분류하며, 따라서 다음의 정규 퇴화들의 분류를 끝낸다오직 유리 특이점들만을 가진.
정리 1.1.
모든HD특이점이 weighted homogeneous라고 가정하자. 그러면 다음의 모든 정규 퇴화는오직 유리 특이점들만을 가지며, 다음의 partial-Gorenstein smoothing이거나, 여기서, 또는 여섯 곡면 중 하나이다, , , , , 그리고Figure에 보인1.
따라서 다음의 퇴화들에서 발생하는 네 개의 새로운 특이점들이 있다. 그것들은 다음이다HD유형 (b)의 특이점들, 다음을 가진, (); 유형 (c), 다음을 가진, (); 유형 (f), 다음을 가진 (); 그리고 유형 (j), 다음을 가진 () 111괄호 안은 다음에서의 원래 표기이다[20, 21].. 그들의 지수들은, , , 그리고, 각각이다. 특히, 다음의 정규 퇴화들이 있다그 지수들이 Markov 수가 아닌 (그러나 그것들은 여전히 다음의 추측들과 일관된다[7]). 그 분류는 또한 유형 (A2)의 퇴화들이 많아야개의 특이점을 가진다는 것을 보여준다. 왜냐하면 새로운 것들은 오직또는개의 특이점만을 가지기 때문이다 (참조[15, Cor. 11]). 사실, 그들 중 네 개는 단일 특이점을 가지며, 나머지 두 개는 전자의 두 개에 slidings를 적용하여 얻어지고[5, Def. 3.17]특이점들에서 Manetti 및 Hacking–Prokhorov family와의 두 공통 퇴화를 생성한다그리고.
새로운 퇴화들 중 하나를 고려하자. 그러면 그것의 Seifert blow-up은[23]다음의 slc 퇴화를 정의한다두 곡면으로 이루어진,(다음의 proper transform) 그리고(compactified Milnor fiber), 하나의을 따라 붙여지며 세 개의 orbifold double normal crossing 특이점들을 가진다. 그 canonical class는 ample이 아니다 (다음과 비교[11, Lem. 9.5]), 그리고 그것은 extremal flipping neighborhood를 정의한다.
정리 1.2.
다음이라 하자를 flipping하여 얻어진 퇴화라고 하자. 그러면 다음을 수축하는 divisorial contraction이 존재한다수축하는그렇게 해서 유도된 퇴화는-Gorenstein이고 다음을 만족한다:
-
(1)
만약가 하나의 특이점을 가지면, 그러면;
-
(2)
만약, 그러면는 오직 그 특이점만을 가진다;
-
(3)
만약, 그러면는 오직 그 특이점만을 가진다.
우리는 또한 정규 사영곡면을 구성한다다음을 가진ample,, , 그리고 Beke, Plamenevskaya, Starkston이 다음에서 연구한 유리 특이점들 중 하나[2]. 이 특이점은 rational homology disk Stein filling을 허용한다[2, Thm. 1.1]그러나 없다HDsmoothing. 그것은 symplectically rationally blow down되어 다음이 된다(정리5.1).
감사의 말
첫 번째 저자는 ANID 박사 장학금 21220497의 지원을 받았고, 두 번째 저자는 FONDECYT regular grant 1230065의 지원을 받았다.[6]
2. 예비 사항
우리는 다음의 Sections 2와 3의 표기와 몇 가지 사실들을 사용할 것이다[5]. 다음이라 하자가 다음의 정규 퇴화라고 하자유리 비몫 특이점을 가진 유형 (A2)의. 다음이라 하자가 다음의 특이점들의 수라고 하자. 다음 도표를 고려하자
여기서 사상은 다음의 minimal resolution이고, 그리고는 다음의 합성이다blow-ups로서 다음이 되도록 하는는-curves를 가지지 않는다. 다음이라 하자가 다음 안의 pull-back divisor라고 하자다음의-번째 점이 blow-up된 것, 다음을 통하여. 따라서,는 연결된, 아마도 non-reduced인 다음의 tree이다s, , 그리고에 대해. 다음이라 하자. 우리는 다음을 가진다. 다음이라 하자가 다음의 exceptional (reduced) divisor라고 하자, 여기서는 각 특이점 위의 exceptional divisors이다. 다음이라 하자가 다음 안의 곡선들의 수라고 하자.
다음에 의해[1, Thm. 1], 우리는 다음을 안다는 rational이다. 다음에서처럼[14, 16], 선택하자최대의 다음을 가진. 우리는 다음을 상기한다-bundle은 유일한 negative curve를 가진다다음을 가진. 다음이라 하자가 fiber의 class라고 하자. 우리는 유도된 fibration을 가진다다음의 합성을 통해다음과 함께. 우리의 최대 선택 때문에, 다음 위에는 blow-ups가 없다.
Remark 2.1.
우리는 다음에 대해 다음의 알려진 사실들을 가진다.
-
(R1)
다음에 의해[14, Prop. 3], 우리는 다음을 가진다는 projective이고,그리고.
-
(R2)
다음에 의해[14, Thm. 11], 우리는 다음 안에 많아야 하나의 비몫 특이점을 가진다, 그리고는 다음으로 이루어진다및 다음의 fibers의 일부 irreducible components. 다음이라 하자가 비몫 특이점 위의 component라고 하자. 그러면.
-
(R3)
다음에 의해[14, Cor. 5], canonical class는-Cartier이고,. 특히, 다음의 임의의 몫 특이점은반드시 Wahl이고는-Gorenstein smoothing이다.
-
(R4)
에 의해[1, Thm. 1], 우리는 다음을 얻는다. 따라서, 만약가 의 fiber이고의 성분들을 가지며, 그러면 정확히 하나의-curve가 안에 있고안의 임의의 다른 curve는에 속한다. 하자를 그러한 fiber들의 수라고 하자. 우리는 다음을 얻는다는 ample이다.
-
(R5)
의 tangent sheaf는이다. 에 의해[15, Lem. 11], 우리는 다음을 얻는다, 따라서 변형하는 데 local-to-global obstruction이 없다.
정의 2.2.
임의의 주어진에 대해, 우리는 divisor들의 집합을 정의한다
하자를 다음과 같은 것들의 집합이라 하자들 중 다음을 만족하는 것. 하자를 다음과 같은 것들의 집합이라 하자들 중 안에 있는 것다음을 만족하는. 하자그리고를 대응하는 cardinality들이라 하자.
임의의 divisor가 nonsingular projective surface 위에 있을 때, 우리는 정의한다
만약가 effective이면, 그러면.
보조정리 2.3.
우리는 다음을 가진다, 에 대해, , 그리고.
증명.
에 대해두 가지 가능성이 있다: 그것이 fiber 위의 마지막-curve이거나 그렇지 않다. 첫 번째 경우에는,. 두 번째 경우에는,어떤 것에 대해, projection formula와 다음 사실에 의해는 simple normal crossings divisor이다. 에 의해[5, Rem. 3.4], 우리는 다음을 얻는다, 그리고 직접적으로. ∎
보조정리 2.4.
의 각 singularity에 대해, 에 의해 유도된 smoothing의 Milnor number는와 같다.
증명.
하자를 의 singular point들이라 하고, 그리고 하자를 에 의해 유도된 smoothing의 Milnor number라 하자에서. 정의에 의해,는 대응하는 Milnor fiber의 두 번째 Betti number이다. minimal resolution과 smoothing은 topological Euler characteristic들 사이에 다음 관계를 준다:
여기서 우리는 smoothing의 Milnor fiber들의 첫 번째 Betti number가 항상라는 것을 사용하고 있으며, 이것은 Greuel–Steenbrink의 결과이다[8]. 다른 한편으로, 대체하고그리고 Noether formula에 의해, 우리는 얻는다
여기서는 singularity의 geometric genus이다. 의 모든 singularity들이rational이므로,는 rational이고, 그리고, 우리는 얻는다. 그러나, 따라서모든 것에 대해. ∎
이런 방식으로, 의 singularity들은이다HD. 이제부터, 우리는 Wahl의 추측, 즉 다음을 가정한다HDsingularity들은 weighted homogeneous이며, Figures에 보인 그들의 minimal resolution들의 star dual graph에 의한 분류를 참조한다2그리고3(보라[6]일부 계산에 대해). 우리는 세 개 또는 네 개의 다른 curve와 만나는 star graph 안의 curve를central curve라고 부르고, 그것에서 뻗어 나오는 curve들의 chain들을leg들.
보조정리 2.5.
우리는 다음을 가진다그리고 어떤 valency도 없다 HDsingularity가 안에.
증명.
에 의해[5, Prop. 3.5], 우리는 다음을 얻는다, 여기서는 valency의 수이다 HDsingularity들이 안에 있는. 우리는 가진다, , 그리고Lemma에 의해2.3. 따라서왜냐하면, 그리고또는Remark에 의해2.1(R2). 의 분류에 의해HD그리고 다시 Remark2.1(R2)에 의해, 우리는 다음을 얻는다는 의 어떤 leg의 끝에 있다(non-quotient의 star graphHDsingularity). central curve는 의 한 fiber 안에 놓이므로, 따라서; 그렇지 않으면 그 fiber는 적어도 두 개의-curve들을 포함할 것이다. ∎
따름정리 2.6.
우리는 다음을 가진다, 의 한 leg는에 의해 완전히 contraction되어야 한다다른 것들보다 먼저,그리고.
증명.
이므로는 leg의 끝에 있으므로, 우리는 가져야 한다왜냐하면 우리는 위에서 blow-up할 수 없고그리고 기껏해야 하나의-curve가 의 fiber들 안에 있다. 우리가 오직 하나의-curve만 의 fiber 안에 가지고 있으므로, 의 한 leg는다른 것들보다 먼저 완전히 contraction되어야 하며, 이것은 안에 또 다른 원소를 만든다, 따라서. 마지막 진술은 Lemma로부터 직접 따른다2.5. ∎
3. 분류
이제 우리는 모든 가능한 minimal resolution들을 결정한다이전 절에서 확립된 제약들을 만족하는. Corollary에 의해2.6, 우리는 Hirzebruch surface로 시작한다와 함께, 그리고 의 한 fiber 위의 점들을 blow up한다그 fiber 위에서 가능한 가장 긴 chain을 얻을 때까지. 이것은 Figure에 표현되어 있다4, 여기서는 대응하는 blow-up들의 composition을 나타낸다. 하자를선택된 fiber 위의 -curve라 하자. Hirzebruch–Jung continued fraction들의 관점에서, 우리는 가진다
여기서. 따라서 우리는 다음을 읽을 수 있다들로부터s.
보조정리 3.1.
의 proper transform은안에서의 central curve이다.
증명.
위에서의 다음 blow-up은의 한 점에서 이루어져야 한다chain들 중 어느 것과도 만나지 않는또는, 왜냐하면 chain이 maximal이기 때문이다. 그런 다음 우리는 위에 새로운 maximal chain을 구성한다. 만약 의 proper transform이새로운 것과 교차한다면-curve, 그러면 다음 blow-up은 위에서 이루어져야 한다, 왜냐하면 그렇지 않으면 의 모든 exceptional divisor들이chain들을 형성할 것이기 때문이다. 이 경우,는 central curve이다. 다른 한편으로, 만약 의 proper transform이새로운 것과 교차하지 않는다면-curve, 그러면 그것은 central curve여야 한다. ∎
의 세 번째 leg는로부터 뻗어 나오는다음과 같이 불릴 것이다contractible leg(Corollary에 나타나는 것2.6).
보조정리 3.2.
만약 contractible leg가 하나의 curve로 이루어져 있다면, 그것은-curve이다.
증명.
왜냐하면는 의 central curve이므로, 그것의 self-intersection은 다음이어야 한다, , 또는의 분류에 의해HDsingularity들. 위에, 우리는 축약 가능한 다리와 함께-곡선을 가지거나, 또는 축약 가능한 다리와 Wahl chain이-곡선으로 연결되어 있다. 만약, 그러면 잔여 Wahl chain은, 이는 결코 Wahl chain이 아니다. 만약, 그러면 잔여 Wahl chain은, 이는 역시 결코 Wahl이 아니다. 마지막으로, 만약, 그러면 유일한 가능성은 축약 가능한 다리가 단일-곡선이고 Wahl chain이 없다는 것이다. ∎
Lemma 3.3.
유일하게 가능한 다리들및의및HD유형들(Figure2의 분류로부터)은 다음과 같다:
-
(L1)
및, 다음을 갖는; 유형 (a), (b), (c), (f), (j).
-
(L2)
및, 다음을 갖는; 가능하지 않다.
-
(L3)
및, 다음을 갖는; 가능하지 않다.
-
(L4)
및, 다음을 갖는; 가능하지 않다.
Proof.
먼저, 우리는 가져야 한다, 왜냐하면 fiber 위에는 오직 하나의-곡선만 있기 때문이다. valency의HDstar graph들의 분류에 의해, 우리는 다리에 대한 모든 가능성을 나열했다. 그 후, 우리는 대응하는 dual들을 나열했다. (L4)에 대해, 유일하게 가능한 것은이다. Lemma3.2에 의해, 이것은 가능하지 않다. (L3)에 대해서도 동일하다. (L2)에 대해서는 유형 (h), (d), (b)가 있다. (h)에 대해서는 같은 논증이다. (d)에 대해서는, 한 다리가개의 곡선을 가지므로 모순이다. (b)에 대해서는, 우리는를 가지지만, 그러면모순이다. (L1)에 대해서는 유형 (a), (b), (c), (f), (i), (j)가 있지만, (i)는 Lemma3.2. ∎
Theorem의 Proof1.1.
degeneration가 오직 rational singularities만을 가진다고 주어지면, Lemma2.4는 다음을 함의한다가 오직HDsingularities만을 가진다. Wahl의 conjecture를 가정하면, 이 singularities는 weighted homogeneous이다. 만약 그것들이 log canonical이면, 그것들은 다음에 의해 log terminal이다[11], 그리고 degenerations는 Hacking–Prokhorov에 의해 분류된다[9, Cor. 1.2]. 그렇지 않으면, 우리는 Lemma에 나열된 가능성들만 남는다3.3(L1), 이를 이제 같은 notation과Figure의 notation으로 분석한다2.
Type (a):우리는 가진다, 그리고또는. 만약, 그러면, 반면, 모순이다. 따라서. 다른 한편, 우리는 또한 가진다, 이는 불가능하다. 따라서 이 유형은 발생할 수 없다.
Type (b):우리는 가진다및, 그래서따라서. 축약 가능한 다리에 대해 두 경우가 있다: (I), 또는 (II) 같은 다리 뒤에-곡선과 Wahl chain이 오는 경우. 경우 (I)에서, 우리는 다리의 어떤 entry에서를 빼야 하며, 도달할 때까지 blow down을 계속해야 한다. 이 뺄셈은 다리 안의에서 일어나야 한다. 그것은 처음개의 entry 중 하나일 수 없다, 왜냐하면, 또한 두 개의 가장 오른쪽들 중 하나일 수도 없다, 안의. 따라서 유일한 가능성은 이 block에서 가장 왼쪽의이다. 그러면 유일한 가능성은, 이는 강제한다. 이것은 다음을 갖는 type (b)이다및. (II)에 대해서는, continued fractions의 duality에 의해 Wahl chain이 다음 형태를 가져야 함을 확인한다. 따라서,및.
Type (c):우리는 가진다및또는. 후자의 경우, 우리는 가져야 한다, 이는 불가능하다. 따라서. 이전처럼, 축약 가능한 다리에 대해 두 경우가 있다: (I), 또는 (II) 같은 다리 뒤에-곡선과 Wahl chain이 오는 경우. 경우 (I)에서, 우리는 오직를 가장 오른쪽의에서 뺄 수 있으며, 강제한다. 이것은 type (c), 이다. 경우 (II)에서, 다시 continued fractions의 duality에 의해, Wahl chain은 다음 형태를 가져야 한다, 이는 다시 강제한다.
Type (f):우리는 가진다그리고, Lemma에 의해3.2, . 따라서, 그리고 이것은 다음을 갖는 type (f)이다.
Type (j):우리는 가진다그리고, Lemma에 의해3.2, , 따라서 이것은 다음을 갖는 type (j)이다.
이것들이 모든 combinatorial possibilities이다. 다른 한편, Artin의 contractibility criterion에 의해, 다음에서 시작하여blow-ups의 composition에서 대응하는 configurations를 축약할 수 있으며, Figure에 보인 여섯 surfaces를 얻는다1. 다음을contraction이라고 하자. 이제 우리는 smoothing의 존재를 증명한다다음을 갖는에 대해. 다음에 의해[5, Thm. 5.1], deformation하는 데 local-to-global obstructions가 없다, 왜냐하면 유일한 non-Wahl singularity는 valency HDsingularity이기 때문이다 (참조[5, Rem. 5.2]). 의 각 singularity가하나의HDsmoothing을 허용하므로, 이러한 local smoothings는 globalize되어 원하는 smoothing을 준다. Wahl은[23]다음을 증명했다는 log terminal이고-Gorenstein이다, 즉 그것은 국소적으로 singularities of의 canonical cover의 equivariant deformation의 quotient이다. 특히,는 어떤에 대해 Cartier이다. 이므로및가 ample이므로, 다음이 따른다및는 다음에 의해 ample이다[13, Prop. 1.41]. 따라서. ∎
4. 새로운 degenerations 위의 MMP
다음을Theorem의 여섯 surfaces 중 하나라고 하자1.1non-log terminal singularity를 갖는. 다음을하나의HDsmoothing이라고 하자. 위에서 언급한 바와 같이, Wahl은[23]다음을 증명했다는 log terminal이고-Gorenstein이다. 그는 또한 다음에서 weighted blow-up의 존재를 보였다, 이는 의 Seifert partial resolution이라고 불린다에서(참조[5, Def. 5.3]), 위에 새로운 degeneration을 생성하여
다음을 만족한다 (참조[5, Sect. 7]):
-
•
및는 curve를 따라 교차하는 projective surfaces이다.
-
•
restriction은 다음의 Seifert partial resolution이다HDsingularity, star resolution의 central curve만을 추출한다. Surface는 세 개의 cyclic quotient singularities를 가진다star dual graph의 세 다리에 대응하는.
- •
다음을안에서의 image라고 하자의fiber 안의 -곡선. 그 proper transform을 같은 문자로 표기하자, 안에서.
Lemma 4.1.
Curve는 flipping type의 extremal neighborhood를 유도한다사이에-겹 위에서. 그것은 k1A 유형의 준안정이다 (가 하나의 특이점을 가지는 경우) 또는 k2A (가 두 개의 특이점을 가지는 경우), 에서와 같이[10].
증명.
먼저, 각에 대해 우리는 다음을 가진다는 다음과 같다
각각 유형 (j), (f), (c), (b), (c5) 및 (b13)에 대해. 더욱이, 우리는로서는 에서 수축 가능하다, 따라서 그것은 다음에 대한 극단 광선이다. 이제 우리는 에서의 단계 (1)–(7)을 따른다[5, Sect. 7]. 유일한 미묘함은 준안정에서 발생한다극단 근방. 쌍유리 사상이 있으므로위에서오직 를 수축하는, 주위의 Milnor fiber는주위의 평활화의 Milnor fiber와 같다. 그것의 두 번째 Betti 수는 다음과 같다, 왜냐하면그리고 그 특이점은 다음을 허용한다HD평활화. 따라서, 우리는 다음 유형의 준안정 플리핑 극단 근방을 얻는다두 번째 Betti 수가 다음과 같은. 에 의해[10, Prop. 2.1], 그것은 다음의 하나이다에서의 근방들[10]. ∎
정리의 증명1.2.
먼저, 우리는 flip가 주위에서 같은 국소적 기술을 가진다는 점에 주목한다둘 다 다음의 경우에서및경우, 왜냐하면및극단 근방들은 에 의해 변형 동치이다[10]. 따라서, 우리는 그것을 다음의 flip으로 간주할 수 있다극단 근방. 그런 다음 우리는 에서 단계 (7)의 논증을 직접 적용한다[5, Sect. 7]. 플립된 곡선는 에 포함되어 있고에는 포함되어 있지 않다. 여섯 개의 가능한 표면 각각에 대해 유의하라, 를 수축하는 것은에서 상 표면 위의 비특이점을 만든다, 따라서 위에서도. 결과적으로, 위의 대응하는 점도 비특이점이다. 직접적인 계산은 플립된 곡선들의 자기교차수의 목록을 준다및 추가 Wahl 체인, 여섯 표면 각각에 대해 flip 후 나타나는 Wahl 특이점에 대응하는. 우리는 또한 위의 두 순환 몫 특이점의 연분수를 기록한다위에 놓여 있는, 여기서.
(j): 그리고 Wahl 체인은 없음;.
(f): 그리고 Wahl 체인은 없음;.
(c) 및 (c5):그리고; .
(b) 및 (b13):그리고; .
이므로, 우리는 다음을 가진다는 ample이다 왜냐하면, 여기서및는 위의 두 순환 몫 특이점의 차수이다. 우리는 다음을 가진다에서, 반면에에서. 따라서, 그러므로 (의 증명에서와 같이[11, Lem. 9.5]) divisorial contraction이 존재한다를 수축하는. 모든 여섯 경우에서, 의 수축은안에서위에 나열된 연분수들로부터 따르듯이 매끄러운 점이다. 더욱이,, 따라서, 주장한 목록을 준다. 결과로 얻어지는 족은 반드시-Gorenstein이다. ∎
5. BPS 예
최근에, Beke, Plamenevskaya 및 Starkston[2]은 가중 동차가 아니지만 그 최소 해소가 symplectic rational blow-down을 허용하는 유리 특이점들의 무한 족을 구성했다. 이 예들은 rational homology disk인 Stein filling을 허용하지만, 다음은 허용하지 않는다HD평활화.
이 예들 중 일부가 Remark2.1를 만족한다고 가정하자. 그러면 Figure의 구성이5유일한 가능성임을 확인하기 쉽다 ([2]의 표기법에서,및). 실제로, 그-곡선은 하나의 점에서 횡단적으로 -곡선과 교차해야 하며,가능한 위치는 오직 하나뿐이다. 따라서, 우리는 다시 다음으로 시작한다그리고 하나의 fiber 위에서 blow up하여 다음을 얻는다. Artin의 수축 가능성 판정법에 의해, 특이 표면을 얻는다하나의 유리 특이점을 가지는,ample,, 그리고. 표면는 다음으로 평활화될 수 없다.
Theorem 5.1.
의 symplectic rational blow-down안의 BPS 구성에 따른(Figure에 표시됨5) 는.
증명.
의 증명에서와 정확히 같이[19, Thm. 2.3], 우리는 symplectic form을 추적할 수 있다symplectic rational blow-down 위에서안의 구성의(의 최소 해소). 그로부터 다음이 따른다어떤 에 대해. 우리는 다음을 상기한다는 ample이다. 다른 한편, rational blow-down이 그 구성을 rational homology disk로 대체하므로, 우리는 다음을 가진다유한 index로. 더욱이, symplectic canonical class는 다음으로 표현된다, 따라서. Liu 및 Ohta–Ono의 결과에 의해 (참조[17, Cor. 1.4(ii)]), 다음이 따른다는 유리적이다. 이므로, 우리는 다음을 결론짓는다. ∎
참고문헌
- [1] (1986) 유리 및 ruled surfaces의 normal projective degenerations. J. Reine Angew. Math. 367, pp. 76–89. 인용됨:§1, §1, 항목 (R4), §2.
- [2] (2026) 예상치 못한 rational blowdown. 외부 링크:2510.00115, 링크 인용됨:§1, §5, §5.
- [3] (2026) QHD smoothing을 허용하는 최소 유리 그래프. 외부 링크:2504.06929, 링크 인용됨:§1.
- [4] (2011) Weighted homogeneous singularities and rational homology disk smoothings. Amer. J. Math. 133 (5), pp. 1259–1297. 인용됨:§1, Figure 2, Figure 3.
- [5] (2026) 타원 표면의 rational homology disk degenerations. 외부 링크:2605.06668, 링크 인용됨:§1, §2, §2, §2, §3, Remark 3.4, §4, §4, 3번째 항목, §4, §4.
-
[6]
(2025)
QHD 특이점의 discrepancies 계산.
주:
- [87] https://colab.research.google.com/drive/1BgJJCC0qD8eTAmpa3kdrB7CG2GsvNc6d?usp=sharing
인용됨:§1, §2. - [7] (2024) 소수 차수 및 Markov numbers의 평면 곡선의 smooth limits. J. Éc. polytech. Math. 11, pp. 683–731. 인용됨:§1.
- [8] (1983) 평활화 가능한 특이점의 위상에 관하여. 수록Singularities, Part 1 (Arcata, Calif., 1981), Proc. Sympos. Pure Math., Vol.40, pp. 535–545. 인용됨:§2.
- [9] (2010) 몫 특이점을 가진 평활화 가능한 del Pezzo surfaces. Compos. Math. 146 (1), pp. 169–192. 인용됨:§1, §3.
- [10] (2017) Flipping surfaces. J. Algebraic Geom. 26 (2), pp. 279–345. 인용됨:§4, §4, Lemma 4.1.
- [11] (2004) 평면 곡선의 compact moduli. Duke Math. J. 124 (2), pp. 213–257. 인용됨:§1, §1, §3, §4.
- [12] (2012) 일반형 표면의 compact moduli spaces. 수록Compact moduli spaces and vector bundles, Contemp. Math., Vol.564, pp. 1–18. 인용됨:3번째 항목.
- [13] (1998) 대수다양체의 쌍유리 기하학. Cambridge Tracts in Mathematics, Vol.134, Cambridge University Press, Cambridge. 주:C. H. Clemens 및 A. Corti의 협력으로, 1998년 일본어 원본에서 번역됨 인용됨:§3.
- [14] (1991) 복소 사영평면의 정규 퇴화. J. Reine Angew. Math. 419, pp. 89–118. 인용됨:§1, 항목 (R1), 항목 (R2), 항목 (R3), §2.
- [15] (1993) 다음을 갖는 정규 사영 곡면. Rend. Sem. Mat. Univ. Padova 89, pp. 195–205. 인용됨:§1, 항목 (R5).
- [16] (1996) 대수 곡면의 퇴화와 모듈라이 문제에의 응용, scuola normale superiore의 tesi di perfezionamento. 주:https://sites.google.com/uniroma1.it/marcomanetti/research 인용됨:§1, §2.
- [17] (1996) 심플렉틱에 대한 개관-다양체로서 다음을 갖는. Turkish J. Math. 20 (1), pp. 47–60. 인용됨:§5.
- [18] (2014) 유리 호몰로지 원판 평활화를 갖는 정규 복소 곡면 특이점. 외부 링크:1311.1929, 링크 인용됨:§1.
- [19] (2025) 이국적 곡면. Math. Ann. 391 (1), pp. 227–254. 인용됨:§5.
- [20] (2008) 유리 blowdown과 곡면 특이점의 평활화. J. Topol. 1 (2), pp. 477–517. 인용됨:§1, 각주 1.
- [21] ([2021] ©2021) 유리 호몰로지 원판 평활화를 갖는 복소 곡면 특이점. 다음에 수록특이점과 그것들의 기하학 및 저차원 위상수학과의 상호작용—András Némethi를 기리며, Trends Math., pp. 259–287. 인용됨:§1, 각주 1.
- [22] (2011) valency 4 곡면 특이점의 유리 호몰로지 원판 평활화에 관하여. Geom. Topol. 15 (2), pp. 1125–1156. 인용됨:§1.
- [23] (2013) 등급화된 정규 곡면 특이점의 로그-터미널 평활화. Michigan Math. J. 62 (3), pp. 475–489. 인용됨:§1, §3, §4.