표시 기반을 이용한 코헨‑마카울레이, 고렌슈타인 및 완전 교차 조건

초록

표시 기반(marked bases) 이론을 활용해 동차 다항식 이상들의 코헨‑마카울레이, 고렌슈타인, 완전 교차 성질을 효율적으로 판별·구성하는 알고리즘을 제시하고, 이들 성질이 힐베르트 스킴에서 열린 집합을 이룬다는 새로운 함의와 그 증명을 제공한다.

상세 분석

본 논문은 표시 기반이라는 개념을 중심축으로 삼아, 전통적인 Gröbner 기반 접근법이 갖는 제한을 넘어서는 새로운 계산적 프레임워크를 구축한다. 표시 기반은 quasi‑stable(준안정) 모노미얼 이데알 위에 정의된 일련의 ‘표시된 다항식’ 집합으로, 각 다항식은 머리항(head term)과 그 외 항을 구분하며, 머리항은 해당 모노미얼 이데알의 포마레트(Pommaret) 기저에 속한다. 이러한 구조는 두 가지 중요한 성질을 제공한다. 첫째, 머리항을 기준으로 한 ‘재작성(rewriting) 절차’가 Noetherian이며 수렴(confluent)한다는 점이다. 이는 모든 다항식에 대해 유일한 정규형(normal form)을 얻을 수 있음을 의미한다. 둘째, 표시 기반은 선형 대수 연산만으로도 ‘최소화(minimization)’와 ‘정규화’를 수행할 수 있어, Gröbner 기저 계산에 비해 복잡도가 크게 낮아진다.

논문은 먼저 quasi‑stable 이데알 J 위에 정의된 표시 기반 H가 실제로 R‑모듈 R/H와 N(J) (J의 보완) 사이의 직합 분해 R = (H) ⊕ N(J)를 제공함을 보이며, 이를 통해 ‘표시 함자(marked functor)’ Mf_J를 정의한다. Mf_J는 Noetherian K‑대수 A에 대해 J‑표시 기반을 갖는 이상들의 집합을 반환하며, 이는 명시적인 좌표 환경 K