[논문 리뷰] On rational cuspidal plane curves, and the local cohomology of Jacobian rings

Alexandru Dimca|arXiv (Cornell University)|2017. 07. 17.

Algebraic Geometry and Number Theory참고 문헌 14인용 수 11

한 줄 요약

이 논문은 중량형 균일한 특이점만을 갖는 6차 이상의 유리 싱귤라 평면 곡선을 분류하며, 그것들이 모두 $ C_{d,k}: y^d + x^k z^{d-k} = 0 $ 형태의 이항식으로 프로젝티브하게 동치임을 증명한다. 여기서 $ 1 \ leq k < d/2 $, $ \gcd(k,d) = 1 $이다. 논문은 차수, Tjurina 수, $ mdr(f) $ 를 이용한 불변량 $ \nu(C) $ 의 새로운 공식을 수립하고, 자유도의 조합적 결정에 관한 Terao의 추측을 더 강력한 형태로 제안한다.

ABSTRACT

This note gives the complete projective classification of rational, cuspidal plane curves of degree at least 6, and having only weighted homogeneous singularities. It also sheds new light on some previous characterizations of free and nearly free curves in terms of Tjurina numbers. Finally, we suggest a stronger form of Terao's conjecture on the freeness of a line arrangement being determined by its combinatorics.

연구 동기 및 목표

• 중량형 균일한 특이점만을 갖는 6차 이상의 유리 싱귤라 평면 곡선을 분류한다.
• Tjurina 수와 $ mdr(f) $ 를 통해 거의 자유 곡선과 자유 곡선을 특성화하며, 이전 결과를 확장한다.
• Terao의 추측을 더 강력한 형태로 제안하여, 선형 배열에 대해 $ \nu(C) $ 가 조합적으로 결정됨을 시사한다.
• 모든 근본적인 평면 곡선에 대해, 차수, Tjurina 수, $ mdr(f) $ 를 바탕으로 $ \nu(C) $ 의 정확한 공식을 수립한다.
• 이러한 곡선의 완전한 프로젝티브 분류를 제공하며, 그것들이 모두 이항식 싱귤라 곡선 $ C_{d,k} $ 와 프로젝티브하게 동치임을 보여준다.

제안 방법

• 곡선을 분류하는 데 핵심적인 불변량으로 제이코비안 관계의 최소 차수인 $ mdr(f) $ 를 사용한다.
• du Plessis와 Wall의 중량형 균일한 특이점과 그 Tjurina 수에 관한 결과를 적용한다.
• 지오메트릭 구조를 정의하기 위해 국소 코hom로지 모듈 $ N(f) = I_f / J_f $ 를 사용하며, 여기서 $ I_f $ 는 제이코비안 아이디얼 $ J_f $ 의 포화이다. 이때 $ \nu(C) = \max_k \dim N(f)_k $ 로 정의된다.
• N(f) 의 그레이딩된 성분의 차원에 대한 부등식을 유도하기 위해 Lefschetz 유사 성질을 활용한다.
• 홀수 차수 곡선에 대해 $ N(f) $ 의 자기 dual 성질을 적용하여 $ \dim N(f)_{3m-2} $ 와 $ \dim N(f)_{3m-1} $ 간의 관계를 규명한다.
• mdr(f) = 1 이고 대칭군이 1차원인 기약 곡선의 분류를 활용하여, 그것들이 반드시 이항식 형태 $ C_{d,k} $ 여야 한다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 중량형 균일한 특이점만을 갖는 6차 이상의 유리 싱귤라 평면 곡선의 완전한 프로젝티브 분류는 무엇인가?
• RQ2 제이코비안 링의 국소 코호몰로지에 의해 정의된 불변량 $ \nu(C) $ 는 근본적인 평면 곡선에 대해 차수, Tjurina 수, $ mdr(f) $ 와 어떻게 관련되는가?
• RQ3 Terao의 자유도의 조합적 결정에 관한 추측은 $ \nu(C) $ 를 포함하는 더 강력한 형태로 일반화될 수 있는가?
• RQ4 중량형 균일한 특이점만을 갖는 6차 이상의 유리 싱귤라 곡선은 유한 개 뿐이며, 만약 그렇다면 그것들은 무엇인가?
• RQ5 유리 싱귤라 곡선이 거의 자유 또는 자유가 되는 조건은 무엇이며, $ mdr(f) $ 는 이러한 성질을 어떻게 결정하는가?

주요 결과

• 중량형 균일한 특이점만을 갖는 6차 이상의 유리 싱귤라 평면 곡선은 유일하게 $ C_{d,k}: y^d + x^k z^{d-k} = 0 $ 형태로 프로젝티브하게 동치이며, 여기서 $ 1 \leq k < d/2 $, $ \gcd(k,d) = 1 $ 이고, 이는 $ \phi(d)/2 $ 개의 서로 다른 모델을 제공한다.
• 모든 근본적인 평면 곡선 $ C $ 에 대해, 불변량 $ \nu(C) $ 는 $ r < d/2 $ 일 때 $ \nu(C) = (d-1)^2 - r(d-1-r) - \tau(C) $ 를 만족하고, $ r \geq (d-2)/2 $ 일 때는 $ \nu(C) = \lceil \frac{3}{4}(d-1)^2 \rceil - \tau(C) $ 를 만족한다. 여기서 $ r = mdr(f) $ 이다.
• 모든 $ mdr(f) = 1 $ 인 곡선 $ C_{d,k} $ 는 거의 자유이며, $ d \geq 6 $ 일 때는 어떤 것도 자유 곡선이 아니다.
• 예시들은 $ mdr(f) $ 가 조합적으로 결정되지 않음을 보여주지만, 논문은 $ \nu(C) $ 는 가능성이 있음을 제안하여 Terao의 추측을 더 강력한 형태로 이끌어낸다.
• 분류가 $ d = 5 $ 에서 실패함을 보여주는 예시가 있으며, 이는 $ mdr(f) = 2 $, $ \tau(C) = \tau(5,2)_{\max} $ 인 자유 곡선이 $ C_{d,k} $ 모델에 포함되지 않음을 보여주며, $ d \geq 6 $ 조건의 필요성을 강조한다.
• 기약적이며, 싱귤라이고, 거의 자유이지만 유리가 아닌 곡선이 존재한다. 예를 들어 $ C_{2k}: x^{2k} + y^{2k} + z^{2k} - 2(x^k y^k + x^k z^k + y^k z^k) = 0 $ 은 종수 $ \frac{(k-1)(k-2)}{2} $ 과 $ mdr(f) = k $ 를 갖는다.