[논문 리뷰] Koszul complexes and spectra of projective hypersurfaces with isolated singularities

Alexandru Dimca, Morihiko Saito|arXiv (Cornell University)|2012. 12. 05.

Advanced Combinatorial Mathematics인용 수 23

한 줄 요약

이 논문은 고립 특이점을 가진 비특이 프로젝티브 초곡면의 호지 이론에 대한 고전 결과를 일반화하며, 극점 순서 스펙트럼과 코시쿨 호모로지 부분몫의 편항 합산된 푸아생리어 급수의 조합을 도입한다. 미倫 대수와 그 부분모듈러의 쌍대 순서 모듈러 간의 이중성 관계를 확립하고, 극점 순서 스펙트럼 시퀀스가 $E_2$에서 반드시 분리되지 않음을 보이며, 이는 브리스코른 모듈러의 토퍼션과 관련이 있다.

ABSTRACT

For a projective hypersurface $Z$ with isolated singularities, we generalize some well-known assertions in the nonsingular case due to Griffiths, Scherk, Steenbrink, Varchenko, and others about the relations between the Steenbrink spectrum, the Poincar\\'e polynomial of the Jacobian ring, and the roots of Bernstein-Sato polynomial for a defining polynomial $f$ up to sign forgetting the multiplicities. We have to use the pole order spectrum and the alternating sum of the Poincar\\'e series of certain subquotients of the Koszul cohomologies, and study the pole order spectral sequence. We show sufficient conditions for vanishing or non-vanishing of the differential $d_1$ of the spectral sequence, which are useful in many applications. We prove also symmetries of the dimensions of the subquotients of Koszul cohomologies, which are crucial for computing the roots of BS polynomials. We can deduce that the roots of BS polynomial whose absolute values are larger than $n-1-n/d$ are determined by the ``torsion part" of the Jacobian ring (modulo the roots of BS polynomial for $Z$) if all the singularities of $Z$ are weighted homogeneous. Here $d=\\deg f$ and $n$ is the dimension of the ambient affine space.

연구 동기 및 목표

• 비특이 프로젝티브 초곡면에서의 혼합 호지 구조와 스펙트럼에 대한 고전 결과를 특이 프로젝티브 초곡면으로 확장하는 것.
• 특이 케이스에서 미렌 대수와 스티븐브링 스펙트럼을 대체하기 위해 극점 순서 스펙트럼과 코시쿨 호모로지 부분몫의 푸아생리어 급수의 편항 합산을 도입하는 것.
• 극점 순서 시퀀스의 행동을 분석하고, 이 시퀀스가 $E_2$에서 반드시 분리되지 않을 수 있음을 보이며, 이를 브리스코른 모듈러의 토퍼션과 연결하는 것.
• 고립 특이점 케이스에서의 자기 이중성 일반화를 위해 $M'$, $M''$, $N$의 쌍대 순서 모듈러 간의 이중성 동형을 확립하는 것.
• 다항식의 $V$-필터링이 $N_p$와 $M''_p$의 $V$-필터링과 호환되는지 조사하고, 가중치가 동일한 경우에 대해 그 차수의 조각에 대한 정밀한 공식을 제안하는 것.

제안 방법

• 동차 다항식 $f$에 관련된 이동 코시쿨 복합체 ${}^sK^ullet_f$를 도입하며, 그 호모로지 모듈러는 각각 $M = H^0({}^sK^ullet_f)$와 $N = H^{-1}({}^sK^ullet_f)$이다.
• 일반적인 선형형식 $y$가 특이점의 궤적과 수직이 되도록 선택하여, $M' = H^0_{f m}(M)$을 $y$-토션 부분모듈러로 정의하고, $M'' = M/M'$로 정의한다.
• 이동 코시쿨 복합체의 자기 이중성을 이용해 자연스러운 동형사상 $D_i(M') = M'(nd)$, $D_1(M'') = N(nd)$, $D_1(N) = M''(nd)$를 유도함으로써 순서 모듈러의 이중성을 확립한다.
• 스테브링 스펙트럼을 특이 케이스에서 대체하기 위해, 코시쿨 호모로지 부분몫의 푸아생리어 급수의 편항 합산으로 극점 순서 스펙트럼 $\mathrm{Sp}_P$를 정의한다.
• 극점 순서 시퀀스를 분석하고, 이가 $E_2$에서 반드시 분리되지 않음을 보이며, 이 비분리성은 브리스코른 모듈러의 토퍼션과 직접 연결됨을 밝힌다.
• 다항식의 $\dim \mathrm{Gr}^\alpha_V N_p$와 $\dim \mathrm{Gr}^\alpha_V M''_p$에 대한 추측 공식을 $n_{Z,\alpha}$와 $n^1_{f,\alpha}$를 통해 제안하고, 이들이 비퇴화 뉴턴 경계 조건에서의 승수 이상 이론과 미로로컬 $V$-필터링과 어떻게 관련되는지 밝힌다.

실험 결과

연구 질문

• RQ1 스테브링 스펙트럼과 미렌 대수의 푸아생리어 다항식 간의 고전적 관계를 고립 특이점을 가진 프로젝티브 초곡면으로 어떻게 일반화할 수 있는가?
• RQ2 특이 케이스에서 미렌 대수와 스티븐브링 스펙트럼은 무엇으로 대체되며, 극점 순서 스펙트럼은 코시쿨 복합체의 호모로지와 어떻게 관련되는가?
• RQ3 왜 특이 케이스에서 극점 순서 시퀀스가 $E_2$에서 분리되지 않을 수 있으며, 브리스코른 모듈러의 토퍼션은 이에 어떤 역할을 하는가?
• RQ4 $N_p$와 $M''_p$의 $V$-필터링을 통해 가우스-마이닌 시스템의 $V$-필터링을 어떻게 정밀화할 수 있으며, 그 차수의 조각 간에 기대되는 이중성은 무엇인가?
• RQ5 $\dim \mathrm{Gr}^\alpha_V N_p = n^1_{f,\alpha+1}$ 공식이 성립하는 조건은 무엇이며, 이는 시퀀스의 비분리성과 어떻게 관련되는가?

주요 결과

• 극점 순서 스펙트럼 $\mathrm{Sp}_P$는 코시쿨 호모로지 부분몫의 푸아생리어 급수의 편항 합산으로 정의되며, 특이 케이스에서 스티븐브링 스펙트럼을 대체한다.
• 극점 순서 필터링에 관련된 시퀀스는 $E_2$에서 반드시 분리되지 않으며, 이 비분리성은 브리스코른 모듈러의 토퍼션 존재와 직접 연결된다.
• 이중성 동형사상 $D_0(M') = M'(nd)$, $D_1(M'') = N(nd)$, $D_1(N) = M''(nd)$는 고립 특이점 케이스에서의 미렌 대수 자기 이중성을 일반화한다.
• $\mu_k'$, $\gamma_k$, $\nu_k$는 대칭성 $\mu_k' = \mu_{nd-k}'$와 $\gamma_k = \gamma_{nd-k}$를 만족하며, 이는 순서 모듈러의 이중성을 반영한다.
• $f = xyz(x+y+z)$의 경우 극점 순서 스펙트럼 $\mathrm{Sp}_P$는 $1,3,1,1,0,-3,0$이며, 스펙트럼 $\mathrm{Sp}$는 $1,3,0,1,0,-3,1$로, 고전적 경우와는 상당한 차이를 보인다.
• $f = x^2y^2 + z^4$의 경우 극점 순서 스펙트럼 $\mathrm{Sp}_P$는 $1,1,2,1,0,-1,-1$이며, 시퀀스는 $E_2$에서 분리되지 않으며, $\nu_7 \neq 0$이므로 $\mu''_5 < 6$일 경우 추론 (5.5)에 모순되므로 $\mu''_5 = 6$이어야 한다.