[논문 리뷰] Inverse-syst.lib, Singular library for computing Macaulay's inverse systems

Juan Elías|arXiv (Cornell University)|2015. 01. 08.

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

한 줄 요약

이 논문은 마툴라스 쌍대성에 기반해 아르틴 꼬리 과르텐스타인 및 레벨 링에서의 쌍대성을 계산하기 위한 매크롤레이의 역체계를 구현한 Singular 라이브러리 Inverse-syst.lib를 제시한다. 이는 형식적 멱급수환 위에서의 기약체계, 이상소를 제거하는 이상소, 모듈러 구조의 기호 계산을 가능하게 하며, 힐베르트 함수와 타원곡선 불변량을 이용한 국소 과르텐스타인 대수의 분류에 적용된다.

ABSTRACT

In this note we review the Singular library Inverse-syst.lib that implements Macaulay's correspondence and other related constructions for local rings.

연구 동기 및 목표

• 형식적 멱급수환 위의 아르틴 과르텐스타인 이상소와 다항식환 위의 다항식 사이의 매크롤레이의 대응관계를 구현하기 위해.
• 지역환에서의 마툴라스 쌍대성과 역체계를 연구하기 위한 Singular 내 계산 도구를 제공하기 위해.
• 지정된 힐베르트 함수를 가진 아르틴 과르텐스타인 대수의 분류를 역체계 계산을 통해 가능하게 하기 위해.
• 수축 작용을 통한 양의 특성에서의 계산과 도함수를 통한 특성 0에서의 계산을 지원하기 위해.
• 예를 들어 j-불변량과 같은 타원곡선 불변량을 역체계 프레임워크에 통합하여 과르텐스타인 이상소를 구성하기 위해.

제안 방법

• 멱급수환 R 위에서 노에터르 및 아르틴 모듈러 사이의 반대함수 동치를 마툴라스 쌍대성을 이용해 정의한다.
• 다항식환 S에 두 개의 R-모듈러 구조를 구현한다: 특성 0에서는 도함수, 임의의 특성에서는 수축 작용으로, 특성 0에서는 자연스러운 동형사상이 존재한다.
• 역체계 구성 방법을 사용한다: 이상소 I ⊂ R에 대해, 역체계는 I⊥ = {g ∈ S | I ∘ g = 0}로 정의되며, 여기서 ∘는 도함수 또는 수축 작용을 의미한다.
• 이상소의 역체계 계산( invSyst, invSystG ), 이상소의 제거 이상소 계산( idealAnn, idealAnnG ), 그리고 모듈러 소속성 검증( memberIH, subModIH )을 위한 명령어를 제공한다.
• 타원곡선을 위한 특화된 함수를 도입한다: weierstrassj(t)는 j-불변량 c(1)을 가진 위어스트라스 방정식을 생성하며, idealwj(t)는 해당 이상소의 역체계를 반환한다.
• Singular의 나눗셈 알고리즘을 사용하여 주어진 이상소가 최대 이상소의 4제곱을 포함하는지 검증함으로써 아르틴 성격을 확인한다.

실험 결과

연구 질문

• RQ1 지역 아르틴 과르텐스타인 링에 대해 매크롤레이의 역체계 대응관계를 컴퓨터 대수계산 시스템에서 효과적으로 구현할 수 있는가?
• RQ2 예를 들어 {1,3,3,1}과 같은 주어진 힐베르트 함수를 가진 아르틴 과르텐스타인 링을 분류하기 위해 필요한 계산 도구는 무엇인가?
• RQ3 역체계 방법을 타원곡선 불변량(예: j-불변량)을 포함하도록 확장하여 과르텐스타인 이상소를 구성할 수 있는가?
• RQ4 다항식환 S 위에서의 도함수 및 수축 작용이 양의 특성과 특성 0에서의 임베딩 모듈러 E_R(k)와 어떻게 관련되어 있는가?
• RQ5 위어스트라스 방정식은 대칭 힐베르트 함수를 가진 과르텐스타인 이상소를 구성하기 위한 역체계에서 어떤 역할을 하는가?

주요 결과

• 라이브러리는 아르틴 과르텐스타인 이상소의 역체계를 성공적으로 계산하며, 이상소 차수는 I가 과르텐스타인일 경우 isAG(I)에서 반환된다.
• 이상소 I = ⟨x₁² + x₂³, x₂⁴ + x₁², x₃² + x₁x₂⟩에 대해, 함수 isAG(I)는 4를 반환하여 이 이상소가 이상소 차수 4인 아르틴 과르텐스타인임을 확인한다.
• R/I의 이상소는 S 위의 이상소로 계산되며, cmType(I)는 3을 반환하여 코hen-맥컬레이 타입이 3임을 나타낸다.
• division(maxideal(4), q) 명령어는 세 개의 이차형식으로 생성된 이상소 q가 m⁴에 포함되어 있음을 확인하여 아르틴 성격을 검증한다.
• j ≠ 0, 1728일 경우, 세 개의 동차 이차형식으로 생성된 이상소 I(j)는 완전교차이므로 과르텐스타인이며, 힐베르트 함수는 {1,3,3,1}이다.
• j-불변량 c(1)을 가진 위어스트라스 방정식의 역체계는 idealwj(t)를 통해 계산되며, 해당 이상소가 대칭 힐베르트 함수를 가진 과르텐스타인임이 입증된다.