[논문 리뷰] On the value-semigroup of a simple complete ideal in a two-dimensional regular local ring

Silvio Greco, K. Kiyek|ArXiv.org|2007. 12. 28.

Commutative Algebra and Its Applications참고 문헌 10인용 수 3

한 줄 요약

이 논문은 잔여 유리성 조건 하에 두 차원 정칙 국소환에서 단순 완비 $\pi$-주기적 이상에 대해 값-반군, 다중도 수열, 형식적 특성 수열의 동치성을 확립한다. 함부르거-노이만 표를 이용하여 값-반군의 대칭성을 새롭게 증명하고, 표 데이터에 기반한 그의 기수에 대한 명시적 공식을 도출한다.

ABSTRACT

Let R be a two-dimensional regular local ring with maximal ideal \mathfrak m, and let \wp be a simple complete \mathfrak m-primary ideal which is residually rational. Let R_0:= R\subsetneqq ...\subsetneqq R_r be the quadratic sequence associated to \wp, let Γ_\wp be the value-semigroup associated to \wp, and let ((e_j(\wp))_{0\leq j\leq r} be the multiplicity sequence of \wp. We associate to \wp a sequence of natural integers, the formal characteristic sequence of \wp, and we show that the value-semigroup, the multiplicity sequence and the formal characteristic sequence are equivalent data. Furthermore, we give a new proof that Γ_\wp is symmetric, and give a formula for c_\wp, the conductor of Γ_\wp, in terms of entries of the Hamburger-Noether tableau of \wp.

연구 동기 및 목표

• 두 차원 정칙 국소환에서 단순 완비 $\pi$-주기적 이상에 대해 값-반군, 다중도 수열, 형식적 특성 수열의 동치성을 확립하기 위해.
• 잔여 유리성 조건 하에 값-반군 $\Gamma_\wp$ 가 대칭임을 새롭게 증명하기 위해.
• 값-반군 $\Gamma_\wp$ 의 기수 $c_{\wp}$ 를 함부르거-노이만 표의 데이터에 따라 명시적인 공식으로 유도하기 위해.
• 이전 연구에서의 생략 사항을 명확히 하고 수정하기 위해, 특히 함부르거-노이만 표의 구성 및 반군 계산에 응용하는 데 있어.

제안 방법

• 이상 $\wp$ 의 함부르거-노이만 표를 중심적인 계산 및 이론적 도구로 사용한다.
• 다중도 수열과 다중도 간의 나누어떨어짐 조건에서 출발하여, 형식적 특성 수열 $(\gamma_i(\wp))_{0\leq i\leq g}$ 를 재귀적으로 구성한다.
• HN-표를 활용하여 반군 수열 $(r_i)$ 와 비율 수열 $(\theta_i)$ 를 도출하고, 이들은 값-반군 $\Gamma_\wp$ 를 엄밀히 생성한다.
• 연속적인 $\gamma_i$ 값 간의 재귀적 관계를 이용하여 형식적 특성 수열을 HN-표의 구조와 연결한다.
• 호스킨-델리뉴의 길이 공식을 적용하여 다중도 수열에서 1의 개수를 다른 다중도들의 함수로 표현한다.
• 다양한 HN-표들(예: $\operatorname{HN}(\wp;x,y)$ 와 $\operatorname{HN}(\wp^{R_1};x_1,y_1)$) 간의 기수 공식을 비교하여 일관성을 검증하고 주요 기수 공식을 도출한다.

실험 결과

연구 질문

• RQ1 두 차원 정칙 국소환에서 잔여 유리성 조건을 만족하는 단순 완비 이상에 대해 값-반군, 다중도 수열, 형식적 특성 수열이 동치 자료인가?
• RQ2 함부르거-노이만 표를 이용하여 값-반군 $\Gamma_\wp$ 의 대칭성이 재증명될 수 있는가?
• RQ3 값-반군 $\Gamma_\wp$ 의 기수 $c_\wp$ 는 함부르거-노이만 표의 데이터에 따라 정확히 어떤 공식으로 표현되는가?
• RQ4 다중도 수열과 형식적 특성 수열은 HN-표를 통해 어떤 구조적 관계를 맺는가?
• RQ5 이전의 함부르거-노이만 표의 구성에서 반군 계산에 있어 보완 또는 수정이 필요한 사항은 무엇인가?

주요 결과

• 잔여 유리성 조건을 만족하는 단순 완비 $\mathfrak{m}$-주기적 이상에 대해 값-반군 $\Gamma_\wp$, 다중도 수열 $(e_j(\wp))_{0\leq j\leq r}$, 형식적 특성 수열 $(\gamma_i(\wp))_{0\leq i\leq g}$ 는 동치 자료이다.
• 값-반군 $\Gamma_\wp$ 는 대칭이며, 이는 함부르거-노이만 표를 이용하여 새롭게 증명되었다.
• 값-반군 $\Gamma_\wp$ 의 기수 $c_\wp$ 는 공식 $c_\wp = -r_0 + 1 + \sum_{j=1}^h r_j(\theta_j/\theta_{j+1} - 1)$ 로 주어지며, 여기서 $r_j$ 와 $\theta_j$ 는 HN-표에서 유도된 반군 수열과 비율 수열이다.
• 기수 $c_\wp$ 의 다른 표현으로는 $c_\wp = (q_1 - 1)(\theta_1 - 1) + \sum_{j=2}^h q_j(\theta_j - 1)$ 이 있으며, 여기서 $q_j$ 는 HN-표에서의 몫들이다.
• 세 번째 등가 공식은 $c_\wp = (p_1 - 1)(c_1 - 1) + \sum_{i=2}^\epsilon p_i(c_i - 1)$ 이며, HN-표의 $p_i$ 와 $c_i$ 항목을 사용한다.
• 논문은 [3]에서 생략된 점을 보완하여, HN-표가 유효하기 위해 $\theta_1 > \cdots > \theta_{g+1} = 1$ 조건을 추가하였다.