[논문 리뷰] Invariants and rigidity of projective hypersurfaces

Gabriel Sticlaru|arXiv (Cornell University)|2013. 09. 27.

Algebraic Geometry and Number Theory참고 문헌 13인용 수 5

한 줄 요약

이 논문은 고립된 특이점을 가진 사영 초곡면의 밀너 대수의 힐베르트-포앙카르에 급수를 기반으로 하여 새로운 불변량—공생계수, 안정계수, mdr, 결함, 로그볼록성—을 도입하고 이를 계산한다. 이러한 불변량들과 Singular 프로그램을 활용하여 사영적 강성의 기준을 수립하며, 케일리 입방체, 쿠머 표면 등과 같은 특정 고전적 표면 및 3차 초곡면이 강성을 갖는지 여부를 증명한다. 핵심 결과는 포화된 야코비안 아이디얼의 몫의 차원에 기반한다.

ABSTRACT

This paper continues our researches \cite{DS1, DS2, DS3} by computing some invariants based on Hilbert-Poincaré series associated to Milnor algebras. Our computations are for some of the classical surfaces and 3-folds with different configurations of isolated singularities. As a by-product of a recent result of E. Sernesi, we give examples of classical hypersurfaces which are (or are not) projectively rigid. We also include a Singular program to compute the invariants and to decide if a singular projective hypersurface is nodal and projectively rigid.

연구 동기 및 목표

• 고립된 특이점을 가진 사영 초곡면의 밀너 대수의 힐베르트-포앙카르에 급수를 기반으로 하여 새로운 불변량—ct, st, mdr, def, lc—을 계산한다.
• 이러한 불변량을 적용하여 A_k, D_k 또는 E_k 특이점을 가진 고전적 초곡면이 사영적으로 강성을 갖는지 여부를 판단한다.
• 모든 불변량의 계산과 노달리티 및 사영적 강성 테스트를 자동화하기 위해 Singular 프로그램을 통한 계산 프레임워크를 제공한다.
• 밀너 대수의 힐베르트 함수에 대한 날카운 추정을 확립하여 추론-딤카 정리의 경계를 정밀화한다.
• 야코비안 아이디얼과 그 포화로부터 유도된 대수적 불변량을 사용하여 고전적 초곡면의 강성 문제를 해결한다.

제안 방법

• 밀너 대수 M(f) = S/J_f에 대해 힐베르트-포앙카르에 급수 HP(M(f))(t)를 조합론적 방법과 자유 해석을 사용하여 계산한다.
• 공생계수 ct(D)는 모든 차수 k 이하에서 dim M(f)_k = dim M(f_s)_k를 만족하는 최대 차수 k로 정의되며, f_s는 동일한 차수의 매끄러운 초곡면이다.
• 안정계수 st(D)는 모든 k ≥ q에 대해 dim M(f)_k = τ(D)를 만족하는 최소 차수 q로 정의되며, τ(D)는 총 투지라 수이다.
• 결함 def(D)는 S(t) - F(t)의 첫 번째로 비영인 계수로 정의되며, S(t)와 F(t)는 각각 특이점이 있는 초곡면과 매끄러운 초곡면의 힐베르트-포앙카르에 급수이다.
• 로그볼록성 불변량 lc(D)는 dim M(f)_0, ..., dim M(f)_q의 수열이 로그볼록인 최대 q로 정의되며, q ≥ st(D)+1이면 ∞로 간주한다.
• 모든 불변량을 계산하고 사영적 강성을 판단하기 위해 Singular 프로그램을 구현하였으며, 공식 dim(Ĵ_d / J_d) = dim M(f)_d - dim M(f_s)_d + dim M(f)_{T-d} - τ(D)를 사용한다.

실험 결과

연구 질문

• RQ1 고립된 특이점을 가진 고전적 사영 초곡면 중에서 사영적으로 강성을 갖는 것은 무엇이며, 이러한 성질을 결정하는 불변량은 무엇인가?
• RQ2 ct, st, mdr, def, lc 불변량은 총 투지라 수와 밀너 대수의 구조와 어떻게 관련되어 있는가?
• RQ3 밀너 대수의 힐베르트-포앙카르에 급수는 낮은 차수의 초곡면에서 노달리티와 사영적 강성을 감지할 수 있는가?
• RQ4 밀너 대수와 야코비안 아이디얼의 포화를 기반으로 한 사영적 강성의 정확한 대수적 조건은 무엇인가?
• RQ5 P^3, P^4, P^5에서 A_k, D_k, E_k 특이점의 어떤 조합이 강성 또는 비강성 초곡면을 초래하는가?

주요 결과

• P^3에서 네 개의 A_1 특이점을 가진 케일리 입방체 표면은 Ĵ_d / J_d의 소멸에 의해 사영적으로 강성임이 확인되었다.
• P^3에서 고립된 특이점이 A_4, A_1+A_3, A_5, D_4, 2A_1+A_2, A_1+A_4, D_5, 4A_1, A_1+2A_2, 2A_1+A_3, A_1+A_5, E_6, 3A_2인 모든 입방체 표면은 사영적으로 강성이다.
• P^3에서 144개의 A_1 특이점을 가진 쿠머 표면과 8차 표면은 Ĵ_d / J_d의 비소멸성에 의해 사영적으로 강성이 아님이 입증되었다.
• P^5에서 15개의 노드를 가진 노달 입방체 3차 초곡면은 Ĵ_d / J_d의 차원이 비영이므로 사영적으로 강성이 아님을 보였다.
• P^4에서 45A_1, 125A_1, 10A_1 입방체인 버크하르트 4차 초곡면은 불변량과 강성 기준에 의해 사영적으로 강성임이 확인되었다.
• 논문은 dim(Ĵ_d / J_d)에 대한 유도된 공식을 사용하여 모든 불변량을 계산하고 노달리티 및 사영적 강성을 자동으로 판단하는 완전한 Singular 프로그램을 제공한다.