[논문 리뷰] Some Results on dh-Closed Homogeneous Gr\"obner Bases and dh-Closed Graded Ideals

Huishi Li, Cang Su|arXiv (Cornell University)|2009. 07. 03.

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

한 줄 요약

이 논문은 $K$-대수 $R$의 그레디에이션과 SM $K$-기저를 갖는 그뢰브너 기저와 다항식 확장 $R[t]$에서의 dh-닫힘 동차 그뢰브너 기저 사이의 일대일 대응을 수립한다. 또한 이 기저들을 통해 $R[t]$와 자유 대수에서의 dh-닫힘 그레디에이션 이상을 특성화할 수 있으며, 이를 통해 더 단순한 동차 구조를 통해 이러한 대수의 리스 대수로서의 연구가 가능해진다.

ABSTRACT

Let $K$ be a field and $R=\oplus_{p\in\mathbb{N}}R_p$ an $\mathbb{N}$-graded $K$-algebra, which has an SM $K$-basis (i.e. a skew multiplicative $K$-basis) such that $R$ holds a Grobner basis theory. It is proved that there is a one-to-one correspondence between the set of Grobner bases in $R$ and the set of dh-closed homogeneous Grobner bases in the polynomial algebra $R[t]$; and that the similar result holds true if $R$ and $R[t]$ are replaced respectively by the free algebra $K $ and the free algebra $K $. Moreover, it is shown that dh-closed graded ideals in $R[t]$ and $K $ can be realized by dh-closed homogeneous Grobner bases. The latter result indeed tells us that algebras defined by dh-homogeneous Grobner bases can be studied as Rees algebras effectively via more simpler algebras as demonstrated in ([7], [8]).

연구 동기 및 목표

• 그레디에이션 $K$-대수 $R$에서 SM $K$-기저를 갖는 그뢰브너 기저와 $R[t]$에서의 dh-닫힘 동차 그뢰브너 기저 사이의 일대일 대응을 수립하는 것.
• 이 대응을 자유 대수 $K$와 $K[t]$의 경우로 확장하는 것.
• dh-닫힘 그레디에이션 이상이 $R[t]$와 자유 대수에서 어떻게 dh-닫힘 동차 그뢰브너 기저를 통해 실현될 수 있는지 보여주는 것.
• dh-동차 그뢰브너 기저로 정의된 대수들이 더 단순한 대수적 모델을 통해 리스 대수로 효과적으로 분석될 수 있음을 보여주는 것.
• 복잡한 그레디에이션 대수의 연구를 단순한 동차 그뢰브너 기저 구조를 통해 단순화할 수 있는 이론적 기초를 제공하는 것.

제안 방법

• 대수 $R$에 존재하는 왜곡 곱셈(SM) $K$-기저의 존재를 활용하여, 그레디에이션 $K$-대수 $R$ 내에서 그뢰브너 기저 이론을 구축하는 것.
• $R$를 다항식 대수 $R[t]$로 확장하고, 그뢰브너 기저 성질을 유지하는 동차화 과정을 도입하는 것.
• 차수 동차 생성자와 특정 나눗셈 조건에 대한 닫힘성을 갖는다 함으로써 $R[t]$에서의 dh-닫힘 동차 그뢰브너 기저를 정의하는 것.
• SM $K$-기저의 구조를 이용하여 $R$의 그뢰브너 기저와 $R[t]$의 dh-닫힘 동차 그뢰브너 기저 사이의 전단사 사상 수립하는 것.
• dh-닫힘 그레디에이션 이상이 정확히 이러한 dh-닫힘 동차 그뢰브너 기저의 초기 이상으로 나타남을 증명하는 것.
• 기존의 리스 대수 이론 결과(참고 문헌 [7], [8])를 활용하여, dh-동차 그뢰브너 기저로 정의된 대수들이 더 단순한 대수의 리스 대수로 간주될 수 있음을 해석하는 것.

실험 결과

연구 질문

• RQ1 그레디에이션 $K$-대수 $R$에서 SM $K$-기저를 갖는 그뢰브너 기저와 $R[t]$에서의 dh-닫힘 동차 그뢰브너 기저 사이에 일대일 대응이 존재하는가?
• RQ2 이 대응은 자유 대수 $K$와 그 다항식 확장 $K[t]$의 경우로도 확장될 수 있는가?
• RQ3 $R[t]$와 $K[t]$에서의 dh-닫힘 그레디에이션 이상은 어떻게 dh-닫힘 동차 그뢰브너 기저를 통해 특성화될 수 있는가?
• RQ4 dh-동차 그뢰브너 기저로 정의된 대수들이 얼마나 단순한 대수적 모델을 통해 리스 대수로 연구될 수 있는가?
• RQ5 $R[t]$와 $K[t]$의 어떤 구조적 성질이 dh-닫힘 동차 그뢰브너 기저가 모든 관련 그레디에이션 이상을 포괄할 수 있도록 보장하는가?

주요 결과

• $R$에서의 그뢰브너 기저와 $R[t]$에서의 dh-닫힘 동차 그뢰브너 기저 사이에 일대일 대응이 존재한다.
• $R$를 자유 대수 $K$로, $R[t]$를 $K[t]$로 대체한 경우에도 동일한 대응이 성립한다.
• $R[t]$의 모든 dh-닫힘 그레디에이션 이상은 dh-닫힘 동차 그뢰브너 기저의 초기 이상으로 실현된다.
• $K[t]$의 dh-닫힘 그레디에이션 이상 역시 dh-닫힘 동차 그뢰브너 기저에 의해 포괄된다.
• dh-동차 그뢰브너 기저로 정의된 대수들은 참조 문헌 [7]과 [8]에서 보여진 바와 같이 더 단순한 대수를 통해 리스 대수로 효과적으로 연구될 수 있다.
• $R$에 SM $K$-기저가 존재하면, 이 대응을 구축하기 위해 필요한 그뢰브너 기저 이론의 타당성이 보장된다.