[논문 리뷰] Conic divisorial ideals of Hibi rings and their applications to non-commutative crepant resolutions

Akihiro Higashitani, Yusuke Nakajima|arXiv (Cornell University)|2017. 02. 23.

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

한 줄 요약

이 논문은 부분순서집합을 이용하여 히비 링 내의 원뿔형 분할 이데알을 특성화함으로써, 이러한 계수 1 최대 코hen-맥올레이 모듈을 식별하는 조합론적 기준을 제공한다. 이 특성화를 바탕으로 저자들은 다항식 링의 세그레 곱에 대한 비가환 캘리브란트 분해(NCCRs)를 구성하고, 변환 작용을 통해 추가적인 NCCRs를 생성하며, 분할 NCCRs의 완전한 교환 그래프를 확립한다.

ABSTRACT

In this paper, we study divisorial ideals of a Hibi ring which is a toric ring arising from a partially ordered set. We especially characterize the special class of divisorial ideals called conic using the associated partially ordered set. Using our description of conic divisorial ideals, we also construct a module giving a non-commutative crepant resolution (= NCCR) of the Segre product of polynomial rings. Furthermore, applying the operation called mutation, we give other modules giving NCCRs of it.

연구 동기 및 목표

• 기본이 되는 포스셋의 조합론을 이용해 히비 링 내 원뿔형 분할 이데알을 분류하기.
• 다항식 링의 세그레 곱에 대한 비가환 캘리브란트 분해(NCCRs)를 원뿔형 분할 이데알을 이용해 구성하기.
• 기존 NCCRs에 대한 변환 작용을 통해 새로운 NCCRs를 생성하고, 동일한 링에 대한 분할 NCCRs 간의 전체 교환 그래프를 드러내기.
• 주어진 토릭 링의 클래스에 속하는 모든 분할 NCCRs에 대한 유한하고 조합론적으로 명시적인 기술 제공하기.

제안 방법

• 히비 링의 분할 이데알을 포스셋의 하스 에이디어그램으로부터 유도된 n과 d를 사용해 Z^{n−d}의 원소로 표현함. 이는 Cl(R) ≅ Z^{n−d}를 통해 이루어진다.
• 실수 점 x ∈ M_R에 대한 사상 σ: M_R → R^n의 이미지를 올림함수로 반올림하여 유도되는 이데알을 원뿔형 분할 이데알로 정의함. 즉, T(a) = T(⌈σ(x)⌉)이다.
• 원뿔형 이데알이 충분히 큰 m에 대해 R^{1/m}의 합성원소들과 정확히 일치함을 이용하여, End_R(R^{1/m})를 통해 NCCRs를 구성함.
• 무게 격자에 속한 문자 χ와 λ에 대한 변환 작용 μ±_{χ,λ}을 분할 이데알에 관련된 모듈에 적용하여 기존 NCCRs에서 새로운 NCCRs를 생성함.
• 반복적인 변환 작용을 통해 분할 NCCRs의 교환 그래프를 구성함. 이 그래프의 정점은 분할 이데알의 직합으로 표현되고, 간선은 변환 전이를 나타냄.
• 모듈이 최대 코hen-맥올레이 성질을 가지며 유한한 전역 차원을 갖는지 확인함으로써, 모든 결과 모듈이 유효한 NCCRs임을 검증함.

실험 결과

연구 질문

• RQ1 히비 링 내 분할 이데알 중 원뿔형인 것은 무엇이며, 포스셋 구조를 이용해 어떻게 조합론적으로 특성화할 수 있는가?
• RQ2 원뿔형 분할 이데알을 어떻게 활용해 다항식 링의 세그레 곱에 대한 비가환 캘리브란트 분해(NCCRs)를 구성할 수 있는가?
• RQ3 동일한 링에 대한 서로 다른 NCCRs를 연결하는 변환 그래프의 구조는 어떠한가?
• RQ4 한 개의 초기 분할 NCCR에서 반복적인 변환 작용을 통해 세그레 곱의 모든 분할 NCCRs를 생성할 수 있는가?
• RQ5 분할 NCCR의 변환 결과로 얻어진 모듈이 여전히 분할 NCCR임을 보장하는 조건은 무엇인가?

주요 결과

• 히비 링 내 원뿔형 분할 이데알은 σ에 의한 이미지가 Z^n으로 올림되는 M_R의 점들과 일대일 대응되며, 이를 통해 완전한 조합론적 특성화가 가능하다.
• 차원 t인 r개의 다항식 링의 세그레 곱에 대해, L = {(0,0), (1,0), (0,1), (1,1)}인 경우 M_L = ⊕_{η∈L} M_η는 r=2, t=3일 때 분할 NCCR를 이룬다.
• 변환 작용 μ+_{χ,λ}과 μ−_{χ,λ}은 기존 NCCRs에서 새로운 NCCRs를 생성하며, r=2, t=3일 경우 다수의 정점이 변환 간선으로 연결된 교환 그래프를 형성한다.
• 변환 과정은 분할 성질과 유한한 전역 차원을 유지하므로, 모든 결과 모듈이 유효한 NCCRs임을 보장한다.
• NCCRs의 교환 그래프는 유한하며 명시적으로 계산 가능하며, 각 정점은 분할 이데알의 직합에 대응하고 간선은 변환 전이를 나타낸다.
• 모든 변환을 통해 구성된 NCCRs는 분할 성질을 가지며, 전체 가족은 단일 초기 분할 NCCR에서 반복적인 변환 작용을 통해 생성된다.