[논문 리뷰] On the Koszulness of multi-Rees algebras of certain strongly stable ideals

Gabriel Sosa|arXiv (Cornell University)|2014. 06. 09.

Commutative Algebra and Its Applications참고 문헌 1인용 수 7

한 줄 요약

이 논문은 특정 주 이상수 안정 아이디얼의 Rees 및 다중-Rees 대수에 대해 정의 아이디얼의 명시적 계약형 이차 그뢰브너 기저를 구성하여, 이러한 대수가 코스졸, 코hen-맥컬레이, 정상적 도메인임을 증명한다. 핵심 기여는 비교 폐쇄를 기반으로 한 새로운 단항식 순서를 도입하여 $G$-이차 조건을 보장함으로써, 기존의 베론제 서브링 결과를 일반화하고 주 이상수 안정 아이디얼의 다중-Rees 대수로 확장하는 것이다.

ABSTRACT

Generalizing techniques that prove that Veronese subrings are Koszul, we show that Rees and multi-Rees algebras of certain types of principal strongly stable ideals are Koszul. We provide explicit Gröbner basis for the defining ideals of these multi-Rees algebras with squarefree initial monomials, to show that they are also normal Cohen-Macaulay domains.

연구 동기 및 목표

• 베론제 서브링의 알려진 코스졸성 결과를 주 이상수 안정 아이디얼의 Rees 및 다중-Rees 대수로 확장하기 위해.
• 이전에 알려진 예외를 초월하여 코스졸, 코헨-맥컬레이, 정상적 도메인인 다중-Rees 대수의 클래스를 규명하기 위해.
• 정의 아이디얼에 대해 계약형 이차 그뢰브너 기저를 보장하는 비교 폐쇄를 기반으로 한 새로운 단항식 순서를 도입하기 위해.
• 주 이상수 안정 아이디얼에 대해 비교 폐쇄에 대해 닫혀 있는 집합의 조합론적 특성화를 제공하기 위해.
• 베론제 유형 대수에 대한 그뢰브너 기저 결과를 특정 순서 및 차수 제약 조건을 갖는 아이디얼의 다중-Rees 대수로 일반화하기 위해.

제안 방법

• 변수 인덱스에 대한 사전순서와 단항식 곱의 특정 순서를 사용하여 비교 폐쇄에 대해 닫혀 있는 단항식 집합의 개념을 도입한다.
• 다항식 환 $K[T_1, \dots, T_s]$ 위에 정의된 단항식 순서를 정의하여, 정의 관계의 초기 단항식이 계약형 이차임을 보장한다.
• 정의 아이디얼의 생성자로 계약형 이차 생성자를 갖는 그뢰브너 기저를 구성함으로써 $G$-이차 조건을 적용하고, 이로 인해 관련 대수가 코스졸이 됨을 유도한다.
• 단항식의 정렬 및 순서 조작을 통해 정의 아이디얼의 생성자를 정의하고, 베론제 및 히비 유형 대수의 기법을 일반화한다.
• 스투르프엘즈와 호크스터의 결과를 적용하여, 정의 아이디얼이 계약형 그뢰브너 기저를 갖는 경우 대수가 정상적 코헨-맥컬레이 도메인임을 결론짓는다.
• 특수한 $\mathcal{B}(u)$ 구성법을 통해 비교 폐쇄에 대해 닫힌 집합과 주 이상수 안정 아이디얼 사이의 대응관계를 수립함으로써, 정의 아이디얼의 특성화를 가능하게 한다.

실험 결과

연구 질문

• RQ1 주 이상수 안정 아이디얼의 Rees 대수가 어떤 조건에서 코스졸, 코헨-맥컬레이, 정상적인가?
• RQ2 비교 폐쇄를 기반으로 한 새로운 단항식 순서를 통해 다중-Rees 대수의 강력한 안정 아이디얼에 대해 $G$-이차 조건을 충족시킬 수 있는가?
• RQ3 단항식 집합의 어떤 조합론적 성질이 그에 대응하는 Rees 대수가 정상적 코헨-맥컬레이 도메인이 되도록 보장하는가?
• RQ4 강력한 안정 아이디얼의 구조는 그 정의 아이디얼에 대해 계약형 이차 그뢰브너 기저의 존재와 어떻게 관련되는가?
• RQ5 베론제 서브링에 사용된 기법을 증가하는 차수와 겹치지 않는 변수 지지 집합을 갖는 아이디얼의 다중-Rees 대수로 일반화할 수 있는가?

주요 결과

• 모든 주 이상수 안정 아이디얼의 Rees 대수는 코스졸, 코헨-맥컬레이, 정상적 도메인이다.
• 모든 주 이상수 안정 아이디얼의 유한 집합에 대해 $\text{max}(u_i) \leq \text{min}(u_{i+1})$ 이고 $\text{deg}(u_{i+1}) \geq \text{deg}(u_i)$ 를 만족할 경우, 다중-Rees 대수는 코스졸, 코헨-맥컬레이, 정상적 도메인이다.
• 특정 비교 폐쇄 기반 단항식 순서 하에서 이러한 대수의 정의 아이디얼은 계약형 이차 그뢰브너 기저를 갖는다.
• 이 구성은 기존의 베론제 서브링 및 히비 대수 결과를 일반화하여 다중-Rees 대수로 확장한다.
• 최대 이상수 아이디얼의 거듭제곱의 직합의 다중-Rees 대수의 특수한 경우는 코스졸, 코헨-맥컬레이, 정상적 도메인임을 보여주며, 린과 폴리니의 결과를 복원한다.
• 모든 $\mathcal{B}(u)$-집합은 아니지만 여전히 코스졸, 정상적, 코헨-맥컬레이 대수를 유도하는 예가 존재하여, 조건은 충분하지만 필수는 아님을 보여준다.