[논문 리뷰] The Multiplicity-Polar Theorem

Terence Gaffney|ArXiv.org|2007. 03. 21.

Commutative Algebra and Its Applications참고 문헌 15인용 수 16

한 줄 요약

이 논문은 비유한 길이를 가진 모듈러스에 대해 교차 이론을 일반화하기 위해 다중도-극성 정리(multiplicity-polar theorem)를 도입한다. 이는 모듈러스 쌍의 다중도를 정의함으로써 이루어지며, 이 불변량이 변형에 대해 올바르게 변형됨을 증명하고, 고립된 특이점을 가진 미분 1형식의 지수를 계산하며, 코hen-맥컬레이 특이점이 필요하지 않은 정수 종속성의 특수화 원리를 수립하는 데 응용된다.

ABSTRACT

Given a family of pairs of modules parametrised by a smooth space Y, the Multiplicity-Polar Theorem relates the multiplicity of the pair of modules at a special point of the parameter to the multiplicity of the pair at a generic point. This theorem is proved in this paper (Corollary 1.4). The applications of the Multiplicity-Polar theorem are of two types. In the first we construct a deformation so that we can understand the significance of the multiplicity of the pair, or show we can use the multiplicity of the pair to describe some geometric behavior. Applications of this type are the geometric significance of the BR-multiplicity (Theorem 2.1), the geometric significance of multiplicity of the pair (J(f), I) where f defines a hypersurface with non-isolated singularities, J(f) is the jacobian ideal of f and I is the ideal of the singular locus of the hypersurface. We do the cases where I defines a complete intersection (Theorem 2.3), or the hypersurface is the image of a finitely determined map-germ F: C^2,0 o C^3,0 (Theorem 2.6). We then show how the multiplicity of the pair can be used to calculate the index of a differential 1-form with an isolated singularity on a germ of an isolated singularity (Theorem 2.8). In the second kind of application, we use the generalization of the Principle of Specialization of Integral Dependence to prove results in equisingularity. The particular condition we study in this paper is the W_f condition (Theorems 2.10 and 2.11).

연구 동기 및 목표

• 분석적 공간에서 아이디얼을 초월하여 비유한 길이를 가진 모듈러스에 대해 교차 이론을 일반화하는 것.
• 기하학적 및 위상수학적 불변량을 캡처하는, 쌍의 모듈러스에 대해 변형 불변 다중도를 정의하는 것.
• 테이시에의 작업을 확장하여, 비유한 길이를 가진 모듈러스의 가속도에 대해 정수 종속성의 특수화 원리를 수립하는 것.
• 비고립 특이점을 가진 공간에서 고립된 특이점을 가진 미분 1형식의 지수를 계산하기 위한 프레임워크를 제공하는 것.
• 스케일 문제로 인해 기존 다중도 이론이 실패하는 것을 방지하기 위해, 쌍의 다중도에 초점을 맞춰서 해결하는 것.

제안 방법

• 교차 이론적 방법을 사용하여, N의 부분모듈러스 M이 유한 길이일 때, 쌍(M,N)의 다중도를 정의한다.
• 변형 행동을 제어하고 변형에 대해 불변성을 보장하기 위해, 쌍의 모듈러스에 대한 혼합 극성의 개념을 적용한다.
• 기하학적 분석과 정수 폐쇄를 분석하기 위해 M-변환과 블로우업 기법을 사용한다.
• 자리에서의 다중도-극성 공식을 사용하여, 쌍의 다중도와 야코비 모듈러스를 포함하는 복합체의 오일러 지표 사이의 관계를 규명한다.
• 다중도의 변형에 대한 불변성에 의해, 정수 종속성의 특수화 원리를 적용한다.
• 위어너 및 W_f 조건을 사용하여 위상적 제어와 다중도의 섬세한 불변성을 보장한다.

실험 결과

연구 질문

• RQ1 유한 길이가 아닌 모듈러스에 대해 아이디얼의 다중도를 어떻게 일반화할 수 있으며, 이때 변형 불변성이 유지되도록 할 수 있는가?
• RQ2 특이점과 교차 이론의 맥락에서, 쌍의 모듈러스 다중도의 기하학적 의미는 무엇인가?
• RQ3 비유한 길이를 가진 모듈러스의 가속도에 대해 정수 종속성의 특수화 원리를 확장할 수 있는가?
• RQ4 비코헨-맥컬레이 공간에서 고립된 특이점을 가진 미분 1형식의 지수와 쌈의 모듈러스 다중도는 어떻게 관련이 있는가?
• RQ5 가속도 가속도의 가족에서 매개변수에 대해 쌈의 모듈러스 다중도가 독립이 되는 조건은 무엇인가?

주요 결과

• 모듈러스 쌈의 다중도는 변형에 대해 잘 변형되며, 아이디얼 다중도의 행동을 일반화한다.
• 다중도-극성 정리에 따르면, 쌍 (X-Y,Y)가 W_f 조건을 만족할 경우, $ e_{\text{inv}}(m_Y J_M(F_y;f_y), H_{d-1}(JM(F)_{r_k})(y) \bigoplus \tilde{\rho}_y, y) $ 는 y에 대해 독립적이다.
• f와 l이 모두 섬유에 대해 교차하고 윌슨 조건이 성립할 경우, $ |e(m_Y J_M(F_y;f_y), \bullet) - e(m_Y J_M(F_y;l), \bullet)| $ 는 y에 대해 독립적이다.
• 모듈러스 쌈의 다중도를 통해 비고립 특이점을 가진 국소에서 고립된 특이점을 가진 미분 1형식의 지수를 계산할 수 있다.
• 기존 일반화의 스케일 문제를 피하기 위해 0차원 스트라타에 초점을 맞춘 쌈의 다중도를 통해, 섬유 차원 변화에 대한 통제력을 회복한다.
• 이 방법은 테이시에의 정수 종속성의 특수화 원리를 비유한 길이를 가진 모듈러스로 일반화할 수 있으며, [13]과 [12]의 결과를 확장한다.