[논문 리뷰] A Gorenstein numerical semi-group ring having a transcendental series of Betti numbers

Clas Löfwall, Samuel Lundqvist외 1명|arXiv (Cornell University)|2012. 12. 04.

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

한 줄 요약

이 논문은 투명한 Poincaré-Betti 급수를 가진 Gorenstein 수치적 반군 링의 첫 번째 알려진 예를 구성하며, 잘 다스러지는 Gorenstein 링의 클래스조차도 Betti 수가 유리함수형 생성함수를 생성할 수 있음을 보여준다. 홀수 정수 g ≥ 3F(S)+1을 이용한 기본 반군 S로부터의 대칭 수치적 반군 구성 방법을 통해 유도된 대칭 수치적 반군을 이용하여, 유도된 링 R의 Poincaré-Betti 급수가 유리함수형으로 연결된 무한곱과 관련되어 있음을 분석함으로써, 이 급수가 초월적임을 증명한다. 이는 Macaulay2 계산과 호모로지 대수 기법을 통해 관련된 순서화된 리 대수와 그 포락대수의 분석을 통해 이루어진다.

ABSTRACT

We prove in particular that the Gorenstein numerical semigroup ring generated by (36,48,50,52,56,60,66,67,107,121,129,135) has a transcendental series of Betti numbers. The methods of proofs are the theory of Golod homomorphism and the theory of infinite positively graded Lie algebras. This paper is more than twice as long as earlier 1212.0720, has two extra authors and has new general results about decomposition of graded Lie algebras (theorems 2,3 and 4) in the new section 4.

연구 동기 및 목표

• Gorenstein 링이 비유리적 Poincaré-Betti 급수를 가질 수 있는지에 대한 오랜 동안의 질문을 해결함. 특히 수치적 반군 링의 맥락에서.
• Gorenstein 수치적 반군 링의 Poincaré-Betti 급수가 초월적임을 보여주는 명시적 예를 구성함으로써, 이러한 링에서 유리성의 일반성에 대한 반례를 제시함.
• 완전교차의 경우와 대칭 반군의 경우조차도 Betti 급수가 초월적일 수 있음을 보여줌으로써, Gorenstein 링의 호모로지 불변량에 대한 이해를 확장함.
• 비영인 원소로 몫을 취하여, 무리수 Betti 급수를 가진 아르틴 Gorenstein 링의 최소 예를 제공함. 이는 잠재적으로 가장 작은 예일 수 있음.

제안 방법

• 저자들은 [Ro-G-San]에서 제시한 방법을 사용하여, 주어진 반군 S로부터 홀수 정수 g ≥ 3F(S)+1을 도입하고, 의사-Frobenius 수 ni에 대해 2gi와 g−2ni를 생성자로 사용하여 새로운 반군 S̄g를 정의함으로써 대칭 수치적 반군을 생성한다.
• 저자들은 다항식 환 T에서 정의 이상의 아이디얼 J의 최소 그뢰브너 기저를 Macaulay2를 사용하여 계산함으로써, S̄197로 생성되는 링 R = k[S̄197]를 분석한다. 여기서 S̄197는 t^36, t^48, ..., t^135의 단항식들로 생성된다.
• Poincaré-Betti 급수는 동차 차수 i와 차수 j를 모두 추적하는 다중차수 Betti 수 |Tor_i^R(k,k)|_j를 통해 계산된다.
• 관련된 순서화된 리 대수 η의 구조를 분석하고, 그 포락대수의 Poincaré 급수가 몫 대수의 급수와 무한곱 ∏(1+z^{2n-1})^2 / (1−z^{2n})^2의 곱임을 보여, 이 급수가 초월적임을 입증한다.
• 증명은 유한적으로 표현된 순서화된 리 대수의 분해 결과와 Golod 호모모르피즘 및 큰 사상 이론에 기반하며, 특히 리 대수의 구조가 Betti 급수를 결정함을 이용한다.
• 저자들은 선형 차수 방정식계의 소수 분모로 인해 링의 차수 구조가 스칼라 곱수 외에 유일함을 검증함으로써, 링의 구조가 재차수화에 대해 유일하고 이sovorphism가 성립하지 않음을 보장한다.

실험 결과

연구 질문

• RQ1 완전교차 링이 유리 급수를 가짐에도 불구하고, Gorenstein 수치적 반군 링이 초월적 Poincaré-Betti 급수를 가질 수 있는가?
• RQ2 무리수 Betti 급수를 가진 아르틴 Gorenstein 링의 최소 예는 존재하는가? 만약 존재한다면, 그 임베딩 차수는 얼마인가?
• RQ3 홀수 정수 g ≥ 3F(S)+1을 이용한 대칭 반군의 구성 방식이 관련 링의 호모로지 불변량에 어떤 영향을 미치는가?
• RQ4 이러한 링의 호모로지 불변량은 g의 선택에 대해 얼마나 독립적인가? 또한 g 값이 197과 199일 때 서로 어떻게 관련되어 있는가?
• RQ5 Gorenstein 링의 Poincaré-Betti 급수가 유리함수형으로 무한곱과 관련될 수 있으며, 이는 그 급수의 초월성에 대해 어떤 의미를 갖는가?

주요 결과

• 특성 0인 체 k 위에서 생성되는 링 R = k[S̄197]는 t^36, t^48, t^50, t^52, t^56, t^60, t^66, t^67, t^107, t^121, t^129, t^135의 단항식들로 생성되며, 차원 1인 Gorenstein 링이자 정역이다.
• R의 Poincaré-Betti 급수는 무한곱 ∏_{n=1}^∞ (1+z^{2n-1})^2 / (1−z^{2n})^2와 유리함수형으로 관련되어 있으며, 이 급수가 초월적임이 알려져 있다.
• 관련된 순서화된 리 대수 η의 포락대수의 급수는 몫 대수의 급수와 이 무한곱의 곱으로 표현되며, 이는 Betti 급수의 초월성을 확인한다.
• R의 최소 정수 차수는 12개 변수에서 54개의 선형 방정식계를 풀어 고유하게 결정되며, c1 = 67로 유일하게 도출되어 링의 재차수화에 대한 강성(유일성)을 확인한다.
• R199의 경우 동일한 구성에 의해 다른 차수(예: h=69, 이전에는 67)가 도출되며, 모든 차수를 정수로 만들기 위해 c1 = 69가 필요하다. 이는 R197과 R199가 재차수화 후에도 서로 이sovorphism가 아님을 보여준다.
• a가 t^36에 대응하는 경우, 몫 링 R197/(a)는 나머지 생성자들을 (b,c,d,e,f,g,h,i,j,k,l) = (1,1,1,1,1,1,1,2,2,2,2)로 재차수화한 후 R199/(a)와 이sovorphism가 되지만, 전체 링 R197과 R199는 어떤 재차수화에도 이sovorphism가 아니다.