[논문 리뷰] Noncommutative Koszul filtrations

Dmitri Piontkovski|ArXiv.org|2003. 01. 21.

Algebraic structures and combinatorial models참고 문헌 10인용 수 3

한 줄 요약

이 논문은 비가환 이차 대수로 코시울 필터링 이론을 확장하기 위해 비가환 코시울 필터링—일부 이상의 이상 작용에 대해 닫혀 있는 일차 생성 이상들로 이루어진 집합—을 도입함으로써, 가환 대수학에서의 결과를 일반화하고, PBW 대수학 및 레이트 필터링과의 연결 고리를 설정함. 비가환 대수학에서 이러한 필터링을 갖는 대수학은 코시울이며, 그 힐베르트 급수는 유리함수임을 증명함.

ABSTRACT

We study associative graded algebras which have a ``complete flag'' of cyclic modules with linear free resolutions, i.e., algebras over which there is a cyclic Koszul module with every admissible number of relations (from zero up to the number of generators of the algebra). Commutative algebras with the same property has been studied in several papers by A. Conca and others. Here we present a non-commutative version. We introduce the concept of Koszul filtration in non-commutative algebras and study its connections with Koszul algebras and algebras with quadratic Groebner bases. Also, here are considered several examples, such as ``Groebner flags'', generic algebras, and algebras with one relation. A generalization of the concept Koszul filtration (generalized Koszul, or rate, filtration) leads to algebras with finite Backelin's rate and to coherent algebras. One of our main results is that every algebra with Koszul filtration (or with finite rate filtration) has rational Hilbert series.

연구 동기 및 목표

• 코시울 필터링 개념을 가환 이차 대수학에서 비가환 이차 대수학으로 일반화하기.
• 비가환 대수학이 코시울임을 보장하는 조건을 코시울 필터링의 존재성을 통해 설정하기.
• 유한 레이트 필터링을 갖는 대수학이 힐베르트 급수를 유리함수로 가지며, 유한 레이트를 갖는다는 것을 증명하여 기존 가환 대수학의 결과를 확장하기.
• 비가환 설정에서 코시울 필터링, PBW 대수학, 초기 코시울성 간의 관계를 탐구하기.
• 레이트 필터링의 맥락에서 이중성, 좌/우 이상, 베론제 하위대수학, 일관성에 관한 열린 질문들을 탐색하기.

제안 방법

• 일차 생성 우측 이상들로 이루어진 비가환 코시울 필터링을 도입하며, 이상 작용 I = J + xR 및 (x:J) = {a ∈ R | xa ∈ J}의 닫힘 조건을 만족함.
• 코시울 플래그를 코시울 필터링의 체인으로 정의하고, 모든 코시울 필터링이 코시울 플래그를 포함함을 보임.
• 0 → J → I → R/N[-d] → 0 형태의 정확한 수열을 사용하여 힐베르트 급수에 대한 재귀 관계 유도.
• 오일러 지표 추론을 적용하여 H = A(R(z)e - H) 형태의 선형 시스템 유도함으로써 유리 생성 함수 도출.
• 이차 대수가 아닐 경우에도 적용 가능한 레이트(일반화된 코시울) 필터링을 도입함.
• 유한 레이트 필터링은 유한 레이트(H_{ij}(R) = 0 for j > di)를 유도하며, 행렬 대수학을 사용하여 힐베르트 급수의 유리성 증명함.

실험 결과

연구 질문

• RQ1 모든 가환 G-이차 대수학(이차 그뢰브너 기저를 갖는)은 코시울 플래그를 갖는가?
• RQ2 코시울 필터링이 없는 PBW 대수학은 존재하는가?
• RQ3 만약 어떤 대수학이 무한 코시울 필터링을 갖는다면, 반드시 유한 코시울 필터링도 갖는가?
• RQ4 어떤 대수학이 코시울 필터링(또는 플래그)을 갖는다면, 그 이중 대수학 R! 역시 동일한 성질을 갖는가?
• RQ5 오른쪽 이상에 대해 코시울 필터링이 존재하면, 왼쪽 이상의 경우에도 동일한 성질이 성립하는가?

주요 결과

• 모든 코시울 필터링을 갖는 대수학은 코시울이며, 이러한 필터링은 코시울 플래그를 포함함.
• 유한 레이트 필터링을 갖는 대수학은 유한 레이트를 가지며, 즉 H_{ij}(R) = 0 for j > di 이고, 그 힐베르트 급수는 유리함수임.
• 도수 d의 레이트 필터링과 집합 내에서 비영인 힐베르트 급수 s개가 있을 경우, 유리 힐베르트 급수의 분자 및 분모 차수는 sd 이하로 유계됨.
• 유한 레이트 필터링에 속한 임의의 이상의 힐베르트 급수 역시 유리함수이며, 분자 및 분모 차수는 sd 이하로 유계됨.
• 초기 코시울 대수학(최소 코시울 필터링을 갖는)은 PBW이며, 단일 이차 관계를 갖는 모든 이러한 대수학은 초기 코시울임.
• 초기 코시울 대수학의 텐서곱 및 반텐서곱은 역시 초기 코시울이며, 필터링 구조를 유지함.