[논문 리뷰] On plane algebroid curves

Valentina Barucci, Marco D’Anna외 1명|ArXiv.org|2003. 02. 19.

Commutative Algebra and Its Applications참고 문헌 6인용 수 4

한 줄 요약

이 논문은 평면 알제브로이드 곡선에 대한 고전 결과에 대해 새로운 증명을 제공하며, 두 곡선이 형식적으로 동치일 조건은 그들이 동일한 다중성 수열 또는 값의 세미군을 공유할 때임을 증명한다. 평면 분지의 세미군을 특성화하고, 매개변수화로부터 세미군을 도출하며, Apéry의 보조정리와 필터링 기법을 사용하여 평면 분지의 세미군 환의 관련 순서환은 완전교차임을 증명한다.

ABSTRACT

Two plane analytic branches are topologically equivalent if and only if they have the same multiplicity sequence. We show that having same semigroup is equivalent to having same multiplicity sequence, we calculate the semigroup from a parametrization, and we characterize semigroups for plane branches. These results are known, but the proofs are new. Furthermore we characterize multiplicity sequences of plane branches, and we prove that the associated graded ring, with respect to the values, of a plane branch is a complete intersection.

연구 동기 및 목표

• 평면 알제브로이드 분지의 위상적 및 형식적 동치성에 관한 잘 알려진 결과에 대해 새로운, 자가 포함된 증명을 제공하는 것.
• 평면 분지의 가능한 다중성 수열을 특성화하고, 그것이 값의 세미군과 동치임을 보이는 것.
• 평면 분지의 값 세미군을 그 매개변수화로부터 직접 계산하는 방법을 설정하는 것.
• 평면 분지의 세미군 환의 관련 순서환이 완전교차임을 증명하는 것.
• 값의 세미군, 다중성 수열, 그리고 관련 순서환의 대수적 구조 간의 관계를 명확히 하는 것.

제안 방법

• Apéry의 보조정리를 사용하여 평면 분지의 값 세미군을 그 블로우업과 연결함으로써 세미군의 재귀적 계산을 가능하게 한다.
• Weierstrass 준비정리를 적용하여 국소환을 한 변수의 멱급수환 위의 모듈로 표현하는 것.
• 기저를 구성하여 각 기저 원소의 값이 기저 변수의 값에 대한 자유 모듈을 생성하도록 하는 것.
• 가장 작은 생성자에 대한 Apéry 집합을 사용하여 세미군 원소의 유일한 표현을 결정하는 것.
• [12, 정리 1]을 적용하여 세미군 환의 관계가 단항식 관계에 의해 생성됨을 보이고, 이로 인해 완전교차 성질을 얻는 것.
• 정의 관계의 초항을 분석함으로써 관련 순서환이 완전교차임을 보이는 것.

실험 결과

연구 질문

• RQ1 두 평면 알제브로이드 분지가 동일한 값의 세미군을 가지는 조건은 무엇이며, 이는 다중성 수열과 어떻게 관련되는가?
• RQ2 평면 분지의 값 세미군을 그 매개변수화로부터 직접 어떻게 계산할 수 있는가?
• RQ3 어떤 세미군이 평면 분지의 값 세미군으로서 나타날 수 있는가를 특성화하는 조건은 무엇인가?
• RQ4 평면 분지의 세미군 환의 관련 순서환이 완전교차인가?
• RQ5 평면 분지의 세미군 환의 정의 관계의 구조는 어떻게 되는가?

주요 결과

• 두 평면 알제브로이드 분지는 동일한 다중성 수열을 가질 때이고, 그 조건이 동일한 값의 세미군을 가질 때에만 형식적으로 동치이다.
• Apéry의 보조정리에 의한 순차적 근사 방법을 사용하여 매개변수화로부터 값 세미군을 직접 계산할 수 있다.
• 평면 분지의 세미군는 Apéry 집합 원소들이 생성자에 대해 유일한 표현을 가진다는 성질로 특성화된다.
• 평면 분지의 세미군 환의 관련 순서확인은 완전교차이며, 정의 관계는 $Y_j^{d_{j-1}/d_j} - m_j$ 형태의 단항식 관계에 의해 생성되며, 여기서 $m_j$는 낮은 차수의 변수들로 이루어진 단항식이다.
• 세미군의 생성함수는 정의 관계의 차수를 포함하는 유리함수로 주어지며, 구체적으로 $\frac{(1-t^{(d_0/d_1)\bar{\delta}_1})\cdots(1-t^{(d_{k-1}/d_k)\bar{\delta}_k})}{(1-t^{\bar{\delta}_0})\cdots(1-t^{\bar{\delta}_k})}$ 로 표현된다.
• 평면 분지의 세미군 환은 완전교차이며, 그 관련 순서확인 역시 완전교차이며, 이는 관계의 초항들이 정규열을 이룬다는 것으로 증명된다.