[논문 리뷰] Jacobian syzygies and plane curves with maximal global Tjurina numbers

Alexandru Dimca, Gabriel Sticlaru|arXiv (Cornell University)|2019. 01. 17.

Commutative Algebra and Its Applications참고 문헌 27인용 수 7

한 줄 요약

이 논문은 분해 가능 평면곡선의 야코비안 싸이지지 모듈러스의 최소 생성자 수에 대한 날카운 상계를 확립하고, du Plessis와 Wall이 예측한 바와 같이 최대 전역 Tjurina 수를 갖는 곡선을 호모로지적 특성으로 기술한다. 다양한 차수-계수 쌍 (d,r)에 대해 이러한 곡선의 존재성을 증명하며, 선 배열과 유리 곡선에 대한 명시적 구성도 제시하고, 모든 (d,r) 쌍에 대해 존재할 것이라고 추측하며, 차수 11 이하까지는 이를 검증하였다.

ABSTRACT

First we give a sharp upper bound for the cardinal $m$ of a minimal set of generators for the module of Jacobian syzygies of a complex projective reduced plane curve $C$. Next we discuss the sharpness of an upper bound, given by A. du Plessis and C.T.C. Wall, for the global Tjurina number of such a curve $C$, in terms of its degree $d$ and of the minimal degree $r\leq d-1$ of a Jacobian syzygy. We give a homological characterization of the curves whose global Tjurina number equals the du Plessis-Wall upper bound, which implies in particular that for such curves the upper bound for $m$ is also attained. Finally we prove the existence of curves with maximal global Tjurina numbers for certain pairs $(d,r)$. Moreover, we conjecture that such curves exist for any pair $(d,r)$, and that, in addition, they may be chosen to be line arrangements when $r\leq d-2$. This conjecture is proved for degrees $d \leq 11$.

연구 동기 및 목표

• 분해 가능 평면곡선의 야코비안 싸이지지 모듈러스의 최소 생성자 수에 대한 날카운 상계를 확립한다.
• du Plessis와 Wall이 정의한 최대 전역 Tjurina 수를 갖는 곡선을 특성화한다.
• 특히 r ≥ d/2일 때, 다양한 (d,r) 쌍에 대해 이러한 최대 Tjurina 곡선의 존재성을 증명한다.
• 모든 (d,r) 쌍에 대해 최대 Tjurina 곡선이 존재하며, r ≤ d-2일 경우 선 배열로 선택할 수 있다고 추측한다.
• 모든 차수 d ≤ 11에 대해 추측을 검증하며, m = 3, 4, d-1, d-3, d-5에 대해 명시적 구성도 제공한다.

제안 방법

• 야코비안 싸이지지 모듈러스 AR(f)의 최소 생성자 수 m에 대한 날카운 상계를 유도하여, m ≤ d₁ + d₂ − d + 3 ≤ d + 1 임을 보인다.
• 호모로지 대수학을 활용하여, 최대 Tjurina 곡선을 모든 지수 d₁ = d₂ = ... = dₘ = r인 m-싸이지지 곡선으로 특성화하며, 여기서 m = 2r − d + 3 이다.
• du Plessis-Wall의 전역 Tjurina 수 τ(C)에 대한 상계를 적용하며, r < d/2 인지 또는 r ≥ d/2 인지에 따라 경우를 구분한다.
• τ(C)가 최대 상계에 도달하는 명시적 곡선 가중치를 구성한다. 예를 들어, 거의 자유 곡선, 거의 쌍곡선 유리 곡선, 선 배열 등을 포함한다.
• 특정 예시들에 대해 차수 20 이하까지 mdr(f) = r 및 τ(C) = τ(d,r)max 를 검증하기 위해 계산 대수 시스템(SINGULAR 등)을 활용한다.
• 노드 곡선 및 배열에 관한 기존 결과를 활용하여, 차수 d의 최대 노드 곡선은 유형 (d,d−1)의 최대 Tjurina 곡선임을 보여준다.

실험 결과

연구 질문

• RQ1 차수 d인 분해 가능 평면곡선 C에 대해, du Plessis와 Wall이 d와 r = mdr(f)를 통해 주는 τ(d,r)max에 의해 주어진 상한에 도달하는 전역 Tjurina 수 τ(C)를 갖는 경우는 언제인가?
• RQ2 야코비안 싸이지지 모듈러스 AR(f)의 최소 생성자 수 m에 대한 날카운 상한은 무엇이며, 언제 도달되는가?
• RQ3 r ≥ d/2일 때, 유형 (d,r)의 최대 Tjurina 곡선을 모든 (d,r) 쌍에 대해 명시적으로 구성할 수 있는가?
• RQ4 r ≤ d−2일 때 이러한 곡선이 선 배열로 실현 가능한가? 만약 그렇다면 어떤 조건에서 가능한가?
• RQ5 최대 Tjurina 곡선이 모든 (d,r) 쌍에 대해 존재한다는 추측은 참인가, 특히 d ≤ 11일 경우에 대해 확인되는가?

주요 결과

• AR(f)의 최소 생성자 수 m는 m ≤ d₁ + d₂ − d + 3 ≤ d + 1 를 만족하며, 이 상한은 모든 d에 대해 날카롭다.
• 곡선이 최대 전역 Tjurina 수 τ(d,r)max에 도달하는 것은, 모든 지수 d₁ = d₂ = ... = dₘ = r인 m-싸이지지 곡선일 때이고, 여기서 m = 2r − d + 3 이다.
• m = 3일 때, 유형 (2r,r)의 최대 Tjurina 곡선이 존재하며, 이는 거의 자유 곡선에 해당한다; 이러한 곡선은 이전 연구에서 존재함이 알려져 있다.
• m = 4일 때, 유형 (2r−1,r)의 최대 Tjurina 곡선이 존재하며, 이는 거의 쌍곡선 유리 곡선과 관련이 있다; 모든 r ≥ 3에 대해 명시적 수열이 구성된다.
• 차수 d의 최대 노드 곡선은 유형 (d,d−1)의 최대 Tjurina 곡선이며, 이러한 곡선에 대해 mdr(f) = d−1 임이 알려져 있으므로 이를 증명할 수 있다.
• 선 배열의 경우, 유형 (d,d−2)의 최대 Tjurina 곡선이 존재하며, 일반 배열을 통해 실현된다; (d,d−3) 및 (d,d−4)의 경우, d ≤ 20일 때 mdr(f) = d−3 및 d−4임을 검증한 명시적 구성이 제공된다.