[논문 리뷰] On higher dimensional Hirzebruch-Jung singularities

Patrick Popescu‐Pampu|arXiv (Cornell University)|2003. 06. 06.

Algebraic Geometry and Number Theory참고 문헌 27인용 수 8

한 줄 요약

이 논문은 최대 단순형 쌍(W와 전체 차원을 가진 단순형 원뿔 σ)로 정의된 아핀 토릭 다양체의 0차원 궤도와 해석적으로 동형인 꼬리표로 정의된, 히르츠부르흐-져닝 특이성을 고차원으로 일반화한다. 이 특이성의 해석적 동형 유형이 정의하는 격자와 원뿔 쌍을 동형 유형으로 유일하게 결정함을 증명하며, 국소 기본군의 표준 표현과 오비폴드 커버링 기법을 사용한다. 이는 준일반형 초곡면 특이성에 대한 완전한 조합론적 분류와 정규화 알고리즘을 제공한다.

ABSTRACT

A germ of normal complex analytical surface is called a Hirzebruch-Jung singularity if it is analytically isomorphic to the germ at the 0-dimensional orbit of an affine toric surface. Two such germs are known to be isomorphic if and only if the toric surfaces corresponding to them are equivariantly isomorphic. We extend this result to higher-dimensional Hirzebruch-Jung singularities, which we define to be the germs analytically isomorphic to the germ at the 0-dimensional orbit of an affine toric variety determined by a lattice and a simplicial cone of maximal dimension. We deduce a normalization algorithm for quasi-ordinary hypersurface singularities.

연구 동기 및 목표

• 표면에서의 히르츠부르흐-져닝 특이성 개념을 고차원 복소해석적 공간으로 확장하기.
• 격자와 단순형 원뿔 쌍의 조합론적 자료를 사용하여 고차원 히르츠부르흐-져닝 특이성을 해석적 동형에 대해 분류하기.
• 특이성의 조합론적 구조를 이용하여 기약 준일반형 초곡면 특이성의 정규화 알고리즘 수립하기.
• 히르츠부르흐-져닝 특이성의 해석적 유형이 정의하는 최대 단순형 쌍을 동형 유형으로 유일하게 결정함을 증명하기.

제안 방법

• 최대 단순형 쌍(W와 전체 차원을 가진 단순형 원뿔 σ)으로 정의된 아핀 토릭 다양체의 0차원 궤도와 해석적으로 동형인 꼬리표로 고차원 히르츠부르흐-져닝 특이성을 정의한다.
• 특이성의 매끄러운 부분의 보편 커버링의 리만 연장으로서, 오비폴드 사상 μ: (Z̃,0) → (Z,0)을 구성한다.
• 오비폴드 커버 (Z̃,0)의 자리지 코탄젠트 공간 위에서 국소 기본군의 표준 표현 ρ(Z)을 분석한다.
• ρ(Z)로부터 특이성의 해석적 유형을 암호화하는 새로운 쌍 (W(ρ(Z)), σ₀)을 구성한다.
• 오비폴드 구조와 단형 데이터를 사용하여, 특이성의 해석적 유형에 의해 쌍 (W, σ)가 동형 유형으로 유일하게 결정됨을 증명한다.
• 분류를 적용하여, 분모와 분수 계수의 최소공배수를 포함하는 재귀적 행렬 변환을 통해 준일반형 초곡면 특이성의 정규형과 정규화 알고리즘을 유도한다.

실험 결과

연구 질문

• RQ1 고차원 히르츠부르흐-져닝 특이성의 추상 경계 K(Z)의 호메오모르피즘 유형이 그 해석적 유형을 결정하는가?
• RQ2 특이성의 해소를 통해 고차원 히르츠부르흐-져닝 특이성을 분류할 수 있는가, 국소 기본군의 표준 표현 대신?
• RQ3 비단순형 원뿔로 정의된 아핀 토릭 다양체의 0차원 궤도의 꼬리표의 해석적 유형이 동형 유형으로 결정되는가?
• RQ4 일반적인 아핀 토릭 다양체에서, 그 추상 경계의 호메오모르피즘 유형(일부 추가 구조가 부여된 경우 포함)이 그 해석적 유형을 결정하는가?
• RQ5 표준 표현 ρ(Z)가 순환적이고 고정점이 없는 경우, 경계가 해석적 유형을 결정하는 데 어떤 조건이 필요한가?

주요 결과

• 고차원 히르츠부르흐-져닝 특이성의 해석적 동형 유형은 정의하는 최대 단순형 쌍 (W, σ)를 동형 유형으로 유일하게 결정한다.
• 기약 준일반형 초곡면 특이성의 정규화는 토릭 다양체의 0차원 궤도의 꼬리표와 해석적으로 동형이다. 이 토릭 다양체는 최대 단순형 쌍으로 정의된다.
• 분모와 분수 계수의 최소공배수를 포함하는 재귀적 행렬 변환을 사용하여 준일반형 초곡면 특이성의 정규화 알고리즘을 구성한다.
• 표준 표현이 순환적이고 고정점이 없는 경우, 고차원 히르츠부르흐-져닝 특이성의 경계 K(Z)는 일반화된 렌즈 공간이 되며, 이 경우 경계는 해석적 유형을 결정한다.
• 오비폴드 커버의 코탄젠트 공간 위에서 국소 기본군의 표준 표현 ρ(Z)는 조합론적 자료 (W(ρ(Z)), σ₀)를 유일하게 결정하며, 이는 원래 쌍 (W, σ)를 동형 유형으로 복원한다.
• f=0로 정의된 준일반형 초곡면 특이성의 정규화에서, 최종적으로 유도된 히르츠부르흐-져닝 유형은 s_{ij}^k와 r_{ij}^k의 재귀적 계산을 통해 유도된 행렬로 주어지며, 최종 유형은 최종 분수 계수의 최대공약수에 의해 결정된다.