[논문 리뷰] Syzygies of Jacobian ideals and defects of linear systems

Alexandru Dimca|arXiv (Cornell University)|2012. 10. 05.

Advanced Differential Equations and Dynamical Systems참고 문헌 6인용 수 20

한 줄 요약

이 논문은 사영 공간에서의 특이 초곡면에 대해, 동차 다항식의 편미분들의 syzygy와 선형 계수의 결함 사이의 정확한 연결 고리를 설정한다. 케일리-바하르흐 정리와 밀너 및 셰르티나 대수의 성질을 이용하여, 잭비안 아이디얼의 포화가 $\max(T - ct(D), st(D))$ 에서 안정화됨을 증명한다. 여기서 $T = (n+1)(d-2)$ 이며, 밀너 대수의 $a$-invariant과 캐스트엘누오보-무디 정규성에 대한 명시적 공식을 유도한다.

ABSTRACT

Our main result describes the relation between the syzygies involving the first order partial derivatives $f_0,...,f_n$ of a homogeneous polynomial $f\in \C[x_0,...x_n]$ and the defect of the linear systems vanishing on the singular locus subscheme $Σ_f=V(f_0,...,f_n)$ of the hypersurface $D:f=0$ in the complex projective space $\PP^n$, when $D$ has only isolated singularities.

연구 동기 및 목표

• 사영 초곡면 $D:f=0$ 가 고립된 특이점을 가지는 경우, 그에 대응하는 특이점의 집합 스킴 $\Sigma_f = V(f_0, \dots, f_n)$ 에서 0이 되는 선형 계수의 결함을 이해하는 것.
• 편미분 $f_0, \dots, f_n$ 의 syzygy와 잭비안 아이디얼 $J_f$ 의 포화 사이의 관계를 명확히 하는 것.
• 불변량 $ct(D)$ 와 $st(D)$ 를 이용하여 $\widehat{J}_f$ 의 정확한 포화 안정화 임계값을 결정하는 것.
• 밀너 대수 $M(f)$ 의 $a$-invariant 과 캐스트엘누오보-무디 정규성에 대한 명시적 공식을 유도하는 것.
• 노달 케이스에서의 결과를 일반적인 고립된 특이점으로 확장하기 위해 케일리-바하르흐 정리의 전반적 힘을 활용하는 것.

제안 방법

• 카르탕 복합체 $K^*(f)$ 를 사용하여, 비자명한 syzygy의 최소 차수인 $mdr(D)$ 를 정의한다. 이는 $H^n(K^*(f))_{q+n} \neq 0$ 를 통해 이루어진다.
• 특이점 집합 $\Sigma_f$ 의 맥락에서 잔여 부분다중체와 syzygy의 구조를 연결하기 위해 케일리-바하르흐 정리(CB7)를 적용한다.
• 힐베르트-포앙카레 급수 $HP(M(f); t)$ 와 이를 스무스 초곡면의 경우인 $M(f_s)$ 와 비교한다. 이때 $HP(M(f_s); t) = \frac{(1-t^{d-1})^{n+1}}{(1-t)^{n+1}}$ 이다.
• 핵심 불변량을 정의한다: $ct(D)$ 는 일치 임계값, $st(D)$ 는 안정성 임계값, $mdr(D)$ 는 syzygy의 최소 차수이다.
• 관계식 $ct(D) = mdr(D) + d - 2$ 를 이용하여, $ct(D)$ 와 $st(D)$ 를 통해 포화 경계를 표현한다.
• 포화 조건 $\widehat{J}_f = \{ s \in S \mid \exists m_i \text{ such that } x_i^{m_i}s \in J_f \}$ 을 적용하여, $J_f$ 가 언제 포화가 되는지 판단한다.

실험 결과

연구 질문

• RQ1 편미분 $f_0, \dots, f_n$ 간의 syzygy는 특이점 집합 $\Sigma_f$ 에서 0이 되는 선형 계수의 결함과 어떻게 관련이 있는가?
• RQ2 포화 $\widehat{J}_f$ 의 정확한 안정화 임계값은 $ct(D)$ 와 $st(D)$ 를 통해 어떻게 표현되는가?
• RQ3 $ct(D)$, $st(D)$, $mdr(D)$ 라는 불변량들이 밀너 대수 $M(f)$ 와 그 $a$-invariant, 정규성의 구조를 어떻게 제어하는가?
• RQ4 포화 $\widehat{J}_f$ 가 정확히 $st(D)$ 에서 안정화되는 조건은 무엇인가?
• RQ5 $\Sigma_f$ 가 완전교차이면, $M(f)$ 의 힐베르트-포앙카레 급수는 $M(f_s)$ 의 급수와 특이점 집합의 구조를 통해 어떻게 표현될 수 있는가?

주요 결과

• 포화 $\widehat{J}_f$ 는 모든 $k \geq \max(T - ct(D), st(D))$ 에 대해 $\widehat{J}_{f,k} = J_{f,k}$ 를 만족한다. 여기서 $T = (n+1)(d-2)$ 이다.
• 밀너 대수의 $a$-invariant 은 $a(M(f)) = T - ct(D) - 1$ 으로 주어진다.
• 밀너 대수의 캐스트엘누오보-무디 정규성은 $\operatorname{reg}(M(f)) = \max(T - ct(D), \operatorname{sat}(J_f) - 1)$ 로 주어진다.
• $\Sigma_f$ 가 차수 $a_1, \dots, a_n$ 의 형식들로 정의하는 완전교차이면, $\tau(D) = a_1 \cdots a_n$ 이고, $ct(D) = T - \sum a_i + n$ 이다.
• 사영 평면 $\mathbb{P}^n$ 에서의 노달 초곡면에 대해 $ct(D) \geq T/2$ 이며, $n=2$ 일 때 $st(D) = 2d - 3$ 이다. 이는 특정 조건 하에서 $\operatorname{sat}(J_f) = st(D)$ 를 이끌어낸다.
• $ct(D) \geq T/2$ 이면, 투르이나 수 $\tau(D)$ 는 $\dim M(f_s)_{T - ct(D)}$ 에 의해 유계가 된다. 이는 큰 $ct(D)$ 가 작은 $\tau(D)$ 를 유도함을 의미한다.