[논문 리뷰] The MAPLE package for calculating Poincaré series

Leonid Bedratyuk|arXiv (Cornell University)|2010. 06. 24.

Advanced Algebra and Geometry인용 수 6

한 줄 요약

이 논문은 이진형의 불변량, 코바리언트, 공동 불변량/코바리언트의 푸앵카레 급수, Weitzenböck 도함수의 핵, 다변수 이변수 급수를 계산하는 Maple 패키지 Poincare_Series를 제시한다. q-이동 계승계수와 미분 연산자를 기반으로 한 폐쇄형 공식을 구현하여 고전적 불변량 이론의 등급을 가진 대수에서 정확한 유리함수 계산을 가능하게 한다.

ABSTRACT

We offer a Maple package { t Poincare\_Series} for calculating the Poincaré series for the algebras of invariants/covariants of binary forms, for the algebras of joint invariants/covariants of several binary forms, for the kernel of Weitzenböck derivations and for the multivariate Poincaré series of algebras of joint invariants/covariants of several binary forms.

연구 동기 및 목표

• 고전적 불변량 이론에서 유한 생성된 등급 대수의 푸앵카레 급수를 계산하는 도구를 제공하기 위해.
• 단일 및 다중 이진형의 불변량과 코바리언트의 푸앵카레 급수에 대한 폐쇄형 공식을 구현하기 위해.
• 공동 불변량과 코바리언트에 대한 다변수 및 이변수 푸앵카레 급수로 계산을 확장하기 위해.
• 코바리언트 대수와의 동형을 통해 Weitzenböck 도함수의 핵에 대한 푸앵카레 급수 계산을 가능하게 하기 위해.
• 연구자들이 불변량 이론 분야에서 사용할 수 있도록 문서화된 명령어와 예제를 포함한 사용자 친화적이고 재사용 가능한 Maple 패키지를 제공하기 위해.

제안 방법

• 패키지는 이항 d-형의 불변량에 대한 푸앵카레 급수에 대한 Springer의 공식을 사용하며, 이는 q-이동 계승계수와 차수 감소 연산자 φn을 포함한다.
• 코바리언트의 경우, (1−z²) 대신 (1+z)를 사용한 Springer 공식의 수정된 버전을 적용하여 동일한 구조적 형태를 유지한다.
• 다중 형식의 공동 불변량과 코바리언트의 경우, 도함수와 극한을 포함한 다변수 공식을 사용하여 유리함수 생성함수를 계산한다.
• Weitzenböck 도함수의 핵은 동일한 급수 공식을 사용하는 코바리언트 대수와의 동형을 통해 계산된다.
• 이변수 및 다변수 푸앵카레 급수는 차수와 차수를 별도의 변수로 포함하는 생성함수를 사용하여 계산되며, 이는 유리함수와 미분 연산자를 통합한다.
• 구현은 Xin의 Ell2.mpl와 같은 보조 패키지를 활용하며, Maple에서 기호 미분, 급수 전개, 유리함수 간소화를 통합한다.

실험 결과

연구 질문

• RQ1 이항 d-형의 불변량 대수의 푸앵카레 급수는 폐쇄형 공식을 통해 어떻게 효율적으로 계산할 수 있는가?
• RQ2 단일 이항형의 코바리언트 대수의 푸앵카레 급수는 어떤 구조를 가지며, 불변량의 경우와 어떻게 다를까?
• RQ3 다중 이항형의 공동 불변량과 코바리언트에 대한 푸앵카레 급수는 통합된 유리함수 공식으로 표현될 수 있는가?
• RQ4 불변량 이론의 동형을 통해 Weitzenböck 도함수의 핵에 대한 푸앵카레 급수는 어떻게 계산할 수 있는가?
• RQ5 코바리언트와 공동 불변량에 대한 이변수 및 다변수 푸앵카레 급수의 형태는 무엇이며, 기호적으로 어떻게 계산할 수 있는가?

주요 결과

• 이항 6형의 불변량에 대한 푸앵카레 급수는 유리함수 (z^8 + z^7 - z^5 - z^4 - z^3 + z + 1) / ((z^6 + z^5 + z^4 - z^2 - z - 1)(z^6 + z^5 - z - 1)(-1 + z^2)(-1 + z)) 로 주어진다.
• 이항 6형의 코바리언트에 대한 푸앵카레 급수는 (z^10 + z^8 + 3z^7 + 4z^6 + 4z^5 + 4z^4 + 3z^3 + z^2 + 1) / ((z^6 + z^5 + z^4 - z^2 - z - 1)(z^6 + z^5 - z - 1)(-1 + z^2)(-1 + z)^3) 로 주어진다.
• 도수 (1,2,3)인 세 개의 이진형에 대해 공동 불변량의 푸앵카레 급수는 (z^12 + z^9 + 2z^8 + 3z^7 + 3z^6 + 3z^5 + 2z^4 + z^3 + 1) / ((-1 + z^4)^2(-1 + z^3)^2(-1 + z)(-1 + z^2)(z^4 + z^3 + z^2 + z + 1)) 로 주어진다.
• 도수 2인 세 개의 이진형에 대한 코바리언트의 푸앵카레 급수는 (z^4 + 4z^2 + 1) / ((-1 + z)^3(-1 + z^2)^5) 로 주어진다.
• 크기 5의 단일 조르당 블록(차수 4)을 가진 Weitzenböck 도함수의 핵에 대한 푸앵카레 급수는 (z^2 - z + 1) / ((-1 + z^2)(-1 + z^3)(-1 + z)^2) 로 주어진다.
• 이항 4형의 코바리언트에 대한 이변수 푸앵카레 급수는 (t^4 z^2 - z t^2 + 1) / ((-1 + z t^2)(-1 + z t^4)(-1 + z^2)(-1 + z^3)) 로 주어진다.