[논문 리뷰] Ulrich ideals and modules over two-dimensional rational singularities

Shirô Gotô, Kazuho Ozeki외 3명|arXiv (Cornell University)|2013. 07. 08.

Commutative Algebra and Its Applications참고 문헌 10인용 수 4

한 줄 요약

이 논문은 두 차원 Gorenstein 유리 특이점(유리 이중점)에서 Ulrich 이상과 모듈을 분류하기 위해 약하게 특별한(special) 및 특별한(Cohen–Macaulay) 모듈을 도입함으로써, Ulrich 이상이 정확히 Ulrich 모듈을 가진 이상임을 규명한다. 핵심 결과는 해소 그래프의 특별한 사이클을 통해 Ulrich 이상을 완전히 분류한 것으로, 비Gorenstein 순환 몫 특이점의 경우 오직 최대 이상만이 Ulrich 이상임을 보여준다.

ABSTRACT

The main aim of this paper is to classify Ulrich ideals and Ulrich modules over two-dimensional Gorenstein rational singularities (rational double points) from a geometric point of view. To achieve this purpose, we introduce the notion of (weakly) special Cohen-Macaulay modules with respect to ideals, and study the relationship between those modules and Ulrich modules with respect to good ideals.

연구 동기 및 목표

• 두 차원 Gorenstein 유리 특이점에서 기하학적 관점에서 Ulrich 이상과 Ulrich 모듈을 분류하는 것.
• Ulrich 모듈을 특성화하는 도구로, 이상에 대해 약하게 특별한 및 특별한 Cohen–Macaulay 모듈을 도입하고 연구하는 것.
• 이상이 Ulrich 이상이 되는 조건, 특히 Ulrich 모듈의 존재와의 관계를 규명하는 것.
• 특히 비Gorenstein 유리 특이점으로의 Ulrich 이상 분류를 Gorenstein 경우를 초월해 확장하는 것.
• 최소 해소의 쌍대 그래프와 특별한 사이클을 통해 Ulrich 이상에 대한 기하학적 기준을 제공하는 것.

제안 방법

• 이상 I에 대해 μ(M) = 2·rank(M) 이고 M/IM이 A/I 위에서 자유임을 만족하는 약하게 특별한 Cohen–Macaulay 모듈의 개념을 도입한다.
• Gorenstein 국소 도메인에서, 이상 I가 Ulrich 이상이 되는 것은 I에 대해 약하게 특별한 Cohen–Macaulay 모듈이 존재하는 것과 동치임을 증명한다.
• Ext의 소멸과 M/IM의 자유성 조건을 통해 특별한 Cohen–Macaulay 모듈을 정의하고, Wunram의 개념을 일반화한다.
• 특이점의 최소 해소의 쌍대 그래프를 사용하여 특별한 사이클을 특성화하고, 이를 Ulrich 이상과 연결한다.
• 유리 이중점에서 Ulrich 모듈을 분석하기 위해 유한 CM-표현 유형 이론과 쌍대 모듈의 이론을 적용한다.
• 구체적인 예시, 특히 순환 몰입 특이점과 유리 삼중점들을 활용하여 분류의 타당성을 검증하고 이론을 구체화한다.

실험 결과

연구 질문

• RQ1 두 차원 Gorenstein 유리 특이점에서 어떤 이상이 Ulrich 이상인가?
• RQ2 해소 그래프와 특별한 사이클을 통해 Ulrich 이상의 기하학적 특성은 무엇인가?
• RQ3 특별한 Cohen–Macaulay 모듈은 Ulrich 모듈과 Ulrich 이상과 어떻게 관련되는가?
• RQ4 비Gorenstein 유리 특이점에서 최대 이상 이외에 Ulrich 이상이 존재하는가?
• RQ5 이상 I에 대해 Ulrich 모듈이 존재하는 것이 I가 Ulrich 이상임을 특성화하는 데 사용될 수 있는가?

주요 결과

• 두 차원 Gorenstein 유리 특이점에서 Ulrich 이상은 해소 그래프의 특별한 사이클과 일대일 대응된다.
• A_n 유형의 유리 이중점에서, (x,y^m,z)부터 (x,y,z)까지의 길이 ⌈n/2⌉의 Ulrich 이상의 사슬이 존재한다.
• q+1이 n으로 나누어지지 않는 형식 1/n(1,q)의 비Gorenstein 순환 몰입 특이점에서는 최대 이상만이 Ulrich 이상이다.
• 유리 삼중점 A = k[[T, sT^a, s^{-1}T^b, (s+1)^{-1}T^c]] 에서 I_k = (t^k, x, y, z) 는 colength k인 Ulrich 이상이다. (1 ≤ k ≤ c)
• A = k[[s^7, s^4t, st^2, t^7]] 예시에서 I에 대해 특별한 Cohen–Macaulay 모듈은 M_2의 직합이지만, 모든 Ulrich 모듈이 이 방식으로 유도되는 것은 아니다.
• 동일한 예시에서 사이클 Z_1 = E_1 + 2E_2 + E_3 는 Ulrich 사이클이 아니며, 이는 모든 특별한 사이클이 Ulrich가 되는 것은 아님을 보여준다.