[논문 리뷰] Pairs of modules and determinantal isolated singularities

Terence Gaffney, Antoni Rangachev|arXiv (Cornell University)|2014. 12. 31.

Advanced Topics in Algebra참고 문헌 14인용 수 15

한 줄 요약

이 논문은 모듈러의 쌍과 폴라 곡선을 사용하여 결정성 고립 특이점의 가중치 동형성에 대한 프레임워크를 개발한다. 허용 가능한 변형으로 정의된 '지형도' 개념을 도입함으로써 특이점의 무한소 불변량과 그 일반적 변형의 위상수학 간의 연결을 맺으며, 서로 다른 지형도는 서로 다른 동형성 불변량을 유도함을 보여주며, 명시적 계산을 통해 두 개의 서로 다른 특이점 가족에 대해 윌리엄슨 동형성이 성립하는 것으로 확인된다.

ABSTRACT

We continue the development of the study of the equisingularity of isolated singularities, in the determinantal case. This version of the paper includes a substantial amount of new material (76% larger). The new material introduces the idea of the landscape of singularity, which includes the allowable deformations of the singularity and associated structure useful for equisingularity questions. Fixing a presentation matrix M of a determinantal singularity means viewing the singularity as a section via M of the set of matrices of a given or smaller rank. Varying M gives the allowable deformations of X. This version also includes a description of the conormal varieties of the rank singularities, which is applied to our machinery. There is also an example of a determinantal singularity which is a member of two Whitney equisingular families, whose generic elements have topologically distinct smoothings. This example shows that it is impossible to find an invariant which depends only on an analytic space $X$ with an isolated singularity, whose value is independent of parameter for all Whitney equisingular deformations of $X$, and which is determined by the geometry of a smoothing of $X$.

연구 동기 및 목표

• 초면과 완전교차를 일반화하는 결정성 특이점으로 동형성 이론을 확장하기 위해.
• 가족의 구성원에만 의존하고 일반적 변형의 위상수학을 반영하는 불변량을 정의하는 데 도전하는 것.
• 가역변형 공간 내에서 변형 성분의 선택을 의미하는 '지형도' 개념을 도입하여, 특이점이 어떤 일반적 섬유로 변형되는지를 결정짓는 것.
• 무한소 기하학(모듈러 쌍을 통한)과 일반적 섬유의 위상수학 간의 연결 고리를 확립하여, 동형성 조건이 충족됨을 보장하는 것.
• 동일한 특이점에 대해 서로 다른 지형도가 존재할 경우, 그들 각각이 서로 다른 동형성 불변량을 유도함을 보여주며, 가령 가족이 윌리엄슨 동형성임에도 불구하고 그러한 현상이 발생함을 밝혀내는 것.

제안 방법

• 특이점 $X$의 임계모듈러 $JM(X)$ 와 $X$의 표현 행렬에 의해 유도되는 첫 번째 순서 변형의 모듈러 $N(X)$ 를 정의한다.
• 동형성에 대한 핵심 불변량으로서 쌍 $(JM(X), N(X))$ 의 차수를 사용하며, 이는 일반적 섬유의 위상수학과 연결된다.
• 다양체-폴라 정리를 적용하여 $\mathrm{mult}_{S_i}\Gamma_2(\mathfrak{m}_{S_i}M)$ 를 오일러 지표와 폴라 곡선의 차수의 합을 통해 계산한다.
• 폴라 곡선의 차수 $\mathrm{mult}_{S_1}\Gamma_2(M)$ 는 피팅 아이디얼과 몐체환을 포함하는 대수적 공식을 사용하여 계산한다: $\dim_{\mathbb{C}} \mathbb{C}[x_1,\dots,x_5]/\langle\mathrm{Fitt}_3(F/M_r), t-\epsilon, I\rangle - \dim_{\mathbb{C}} \mathbb{C}[x_1,\dots,x_5]/I'$.
• 오일러 지표 공식 (5) 과 정리 9.8(i) 를 사용하여 폴라 곡선 기여도와 특이점의 차수를 계산한다.
• 특이점의 $\mathrm{mult}_{Y_i}\Gamma_2(\mathfrak{m}_{Y_i}M) = 0$ 를 보여줌으로써 윌리엄슨 동형성을 검증한다. 이는 조건 (W) 가 성립함을 의미한다.

실험 결과

연구 질문

• RQ1 가족의 구성원에만 의존하는 불변량을 사용하여 결정성 특이점의 가족에서 동형성을 어떻게 특성화할 수 있는가?
• RQ2 변형 지형도의 선택이 특이점의 동형성 불변량을 결정하는 데 어떤 역할을 하는가?
• RQ3 모듈러 쌍과 폴라 곡선의 차수는 어떻게 윌리엄슨 동형성을 탐지하는 데 사용될 수 있는가?
• RQ4 특이점의 표현 행렬만을 사용하여 동형성 불변량의 명시적 계산을 수행할 수 있는가?
• RQ5 동일한 특이점에 대해 서로 다른 지형도가 존재할 경우, 가령 가족이 윌리엄슨 동형성임에도 불구하고 왜 서로 다른 동형성 불변량이 유도되는가?

주요 결과

• 두 개의 서로 다른 결정성 특이점 가족에 대해 $\mathrm{mult}_{S_1}\Gamma_2(\mathfrak{m}_{S_1}M) = 78$ 이고 $\mathrm{mult}_{S_2}\Gamma_2(\mathfrak{m}_{S_2}M) = 76$ 이다.
• 폴라 곡선의 차수 $\mathrm{mult}_{S_1}\Gamma_2(M) = 8$ 는 피팅 아이디얼과 최대 아이디얼을 포함하는 몐체환의 차원 차이를 통해 계산된다.
• 폴라 곡선 기여도와 특이점의 차수는 $e(\mathfrak{m}_0M(0), M(0)) = 70$ 으로 계산되며, 이는 $4 \cdot 4 + 6 \cdot 9$ 로 표현된다.
• 행렬 (19) 로 정의된 가족은 $\mathrm{mult}_{Y_1}\Gamma_2(\mathfrak{m}_{Y_1}M) = 0$ 이므로 윌리엄슨 동형성임을 보여주며, 이는 관련 차수의 영항성에 기인한다.
• 행렬 (20) 으로 정의된 가족 역시 $\mathrm{mult}_{Y_2}\Gamma_2(\mathfrak{m}_{Y_2}M) = 0$ 이므로 동일한 기준에 따라 동형성임을 확인한다.
• 동일한 특이점 $X$ 는 두 개의 서로 다른 지형도를 가질 수 있으며, 각각 서로 다른 동형성 불변량을 유도함을 보여주며, 이는 불변량이 변형 성분의 선택에 따라 달라짐을 입증한다.