[논문 리뷰] Support varieties over complete intersections made easy

Petter Andreas Bergh, David A. Jorgensen|arXiv (Cornell University)|2015. 09. 25.

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

한 줄 요약

이 논문은 완전교차환원소 링 위의 모듈러에 대한 지지 다양체의 좌표 불필요한, 대체 정의를 제안하며, 기존 결과의 증명을 단순화하고 새로운 응용을 가능하게 한다. 초등면 $ Q/(f) $ 위에서 Ext의 영성에 기반해 지지 다양체를 재정의함으로써, 저자들은 더 명확한 개념적 증명을 제공하고, 모든 아핀 콘은 완전교차환원소 위에서 유한 길이 모듈러의 지지 다양체로 나타남을 입증한다.

ABSTRACT

Using an alternate description of support varieties of pairs of modules over a complete intersection, we give several new applications of such varieties, including results for support varieties of intermediate complete intersections. Simpler proofs of known results are also given.

연구 동기 및 목표

• 완전교차환원소 링 위의 지지 다양체 이론을 좌표 불필요한 정의를 도입함으로써 단순화하고 명확화하기.
• 새로운 정의를 사용하여 지지 다양체 이론에서 알려진 결과에 대해 개념적으로 더 명확한 증명을 제공하기.
• 중간 완전교차환원소 및 관련 링에 대한 지지 다양체의 새로운 응용을 확립하기.
• 공간 내 모든 아phin 콘은 완전교차환원소 위에서 유한 길이 모듈러의 지지 다양체로 나타남을 증명하기.
• 모든 임의의 콘은 유한 길이 모듈러의 지지 다양체로 실현 가능함을 보여주기.

제안 방법

• 지지 다양체 $ \operatorname{V}_R(M,N) $ 를 $ \overline{f} \in V = I/\mathfrak{n}I $ 의 집합으로 정의하며, 이는 $ \operatorname{Ext}^i_{Q/(f)}(M,N) \neq 0 $ 인 $ i $ 가 무한히 많을 때이며, 원점을 포함한다.
• 이 정의는 고정된 이미지 $ \overline{f} \in V $ 를 갖는 표현자 $ f \in I $ 의 선택에 관계없이 일관되며, 잘 정의되어 있음을 보장한다.
• Avramov-Buchweitz 와 Jorgensen 의 결과에 의해, 이 좌표 불필요한 정의가 코homology 연산자를 통한 고전적 정의와 동치임을 활용한다.
• 다항식환 $ k[\chi] $ 위에서 $ \operatorname{Ext}^*_{R}(M,N) $ 의 영이 되는 다항식의 집합을 이용해 코homological 지지 다양체 이론을 적용하며, 다양체를 동차 아이디얼의 영점으로 식별한다.
• $ \operatorname{Ext}^*_{R}(M,N) $ 가 $ R[\chi] $ 위에서 유한 생성임을 이용하여, 지지 다양체가 닫힌 콘임을 보장한다.
• 지지 다양체가 syzygy와 정확한 수열에 대해 보존됨을 이용하여, 귀납적이고 구조적인 추론을 가능하게 한다.

실험 결과

연구 질문

• RQ1 완전교차환원소 위의 지지 다양체는 증명을 단순화하고 새로운 구조를 드러내는 좌표 불필요한 방식으로 재정의될 수 있는가?
• RQ2 새로운 정의는 중간 완전교차환원소 및 관련 링에 대한 새로운 응용을 가능하게 하는가?
• RQ3 $ \mathbb{A}^c $ 내 모든 아phin 콘은 어떤 완전교차환원소 위의 유한 생성 모듈러의 지지 다양체로 실현 가능한가?
• RQ4 유한 길이 모듈러의 지지 다양체는 아핀 공간 내 임의의 주어진 콘을 실현할 수 있는가?
• RQ5 새로운 정의는 개념적 명확성과 계산적 유용성 측면에서 고전적 코homology 연산자 접근법과 어떻게 비교되는가?

주요 결과

• 초등면 $ Q/(f) $ 위에서 Ext의 영성을 이용한 지지 다양체의 대체 정의는 잘 정의되어 있으며, 고정된 이미지 $ \overline{f} \in V $ 를 갖는 표현자 $ f \in I $ 의 선택에 관계없이 일관된다.
• 지지 다양체 $ \operatorname{V}_R(M,N) $ 는 $ V $ 내의 닫힌 콘이며, 좌표를 선택할 경우 고전적 코homology 연산자 정의와 일치한다.
• 모든 유한 생성 $ R $-모듈러 $ M $ 에 대해, $ M $ 이 코드미너스 $ m $ 의 코hen-맥컬레이일 경우 $ \operatorname{V}_R(M) = \operatorname{V}_R(\operatorname{Ext}^m_R(M,R)) $ 를 만족하며, 특히 최대 코hen-맥컬레이 모듈러일 경우 $ \operatorname{V}_R(M) = \operatorname{V}_R(\operatorname{Hom}_R(M,R)) $ 이다.
• 모듈러 $ M $ 의 지지 다양체는 syzygy에 대해 불변이다: $ M, N $ 의 syzygy $ M', N' $ 에 대해 $ \operatorname{V}_R(M,N) = \operatorname{V}_R(M',N') $ 이다.
• 모든 유한 생성 $ R $-모듈러 $ M $ 에 대해, $ x_1,\dots,x_d $ 가 $ M $-정규수열일 경우 $ \operatorname{V}_R(M) = \operatorname{V}_R(M/(x_1,\dots,x_d)M) $ 이다.
• $ \mathbb{A}^c(\overline{k}) $ 내 모든 닫힌 콘은 완전교차환원소 $ R = Q/I $ 위에서 유한 생성 $ R $-모듈러의 지지 다양체로 나타나며, 심지어 유한 길이인 경우에도 가능하다.