[논문 리뷰] Quotients of Koszul algebras with almost linear resolution

Jon Eivind Vatne|arXiv (Cornell University)|2011. 03. 18.

Algebraic structures and combinatorial models참고 문헌 9인용 수 4

한 줄 요약

이 논문은 관계가 $d \geq 4$ 차수에 위치하고, 첫 번째 미분 이외의 모든 미분이 선형인 거의 선형 해상이 있는 코시쿨 대수의 몫에 대해 힐버트 급수와 그레디에이티드 벡터 공간 구조를 계산한다. 스펙트럴 시퀀스의 추론을 통해, Ext대수는 코시쿨 쌍대와 싸이지지 생성자 위의 텐서 대수의 텐서곱과 동형임을 밝혀낸다. 주요 결과는 일반적인 행렬식 다양체의 Ext대수에 대한 닫힌 형식의 힐버트 급수 공식이다.

ABSTRACT

We compute the Hilbert series, and the graded vector space structure, of Ext-algebras of quotients of Koszul algebras with almost linear resolution. The example of the generic determinantal varieties is treated in detail.

연구 동기 및 목표

• 코시쿨 대수의 몫에 대해 거의 선형 해상이 있는 경우의 Ext대수의 그레디에이티드 벡터 공간 구조와 힐버트 급수를 계산하는 것.
• 첫 번째 미분만 차수 $d \geq 4$의 동차일 뿐 나머지 해상이 선형인 대수에 대해 코시쿨 유형의 쌍대성을 확장하는 것.
• 스펙트럴 시퀀스 기법을 사용하여 일반적인 행렬식 다양체의 Ext대수에 대해 명시적인 공식을 제공하는 것.
• 이러한 몫들이 캐시던 및 셸튼의 일반화된 코시쿨 조건을 만족하는지 조사하는 것.
• 운반 이론(cohomology)을 통한 교환 법칙적(cohomology) 기반의 교환 법칙적(commutative) $N$-코시쿨 이론의 가능성 탐색 (특히 하리슨 코호몰로지).

제안 방법

• 변환-링 스펙트럴 시퀀스를 사용: $E^{pq}_2 = \operatorname{Ext}^p_R(k, \operatorname{Ext}^q_A(R,k)) \Rightarrow \operatorname{Ext}^{p+q}_A(k,k)$.
• 싸이지지 생성 공간 $G_i$의 쌍대 공간인 $G_*^\vee$와 $\operatorname{Ext}^*_A(R,k) \cong G_*^\vee$라는 사실을 활용.
• 정리 3.2를 적용하여 $\operatorname{Ext}^m_R(k,k) \cong (A^! \otimes T(\bigoplus G_i^\vee))_m$ 를 그레디에이티드 벡터 공간으로서 증명.
• 일반적인 행렬식 다양체에 대해 몫 대수 $R = k[x_{ij}]/I$ 를 해소하기 위해 이igon-Northcott 복합체를 적용.
• 외대수 $\Lambda V^*$ 와 텐서 대수의 생성 함수의 곱을 통해 힐버트 급수를 계산.
• 보조정리 3.3를 적용하여 Ext대수의 힐버트 급수의 명시적 유리함수 형태를 유도.

실험 결과

연구 질문

• RQ1 코시쿨 대수의 몫 중 거의 선형 해상이 있는 경우, 캐시던 및 셸튼의 일반화된 코시쿨 조건을 만족하는가?
• RQ2 운반 이론, 특히 하리슨 코호몰로지를 통한 $N$-코시쿨 교환 법칙적 대수의 개념을 정의할 수 있는가?
• RQ3 일반적인 행렬식 다양체의 좌표 대수의 하리슨 코호몰로지는 무엇인가?
• RQ4 이러한 몫의 Ext대수의 구조는 코시쿨 쌍대와 싸이지지 생성자로 완전히 결정되는가?
• RQ5 스펙트럴 시퀀스 방법은 첫 번째 싸이지지가 비선형인 다른 대수로 일반화될 수 있는가?

주요 결과

• 코시쿨 대수 $A$의 거의 선형 해상이 있는 몫 $R$에 대해, $\operatorname{Ext}^m_R(k,k) \cong (A^! \otimes T(\bigoplus G_i^\vee))_m$ 가 그레디에이티드 벡터 공간으로서 성립한다.
• 프로젝티브 공간 $\mathbb{P}^{nm-1}$ 내의 일반적인 행렬식 다양체에 대해, Ext대수는 $\Lambda V^* \otimes T(\bigoplus G_i^\vee)$ 와 동형이며, 여기서 $G_{i+1} \cong S^i(V^*) \otimes \Lambda^{i+n}(W^*)$ 이다.
• 일반적인 행렬식 다양체의 Ext대수의 힐버트 급수는 $\frac{(1+t)^{nm}}{1 - \sum_{j=2}^m c_j t^j}$ 이며, 계수 $c_j$ 는 이항 계수 표현이다.
• Artin 대수 $R = k[x_0,\dots,x_s]/(x_0,\dots,x_s)^n$ 의 힐버트 급수는 $\frac{(1+t)^s}{1 - \sum_{j=2}^{n+s} d_j t^j}$ 이며, $d_j$ 는 명시적으로 주어진다.
• 스펙트럴 시퀀스 수렴의 기술적 장애로 인해 $d=3$ 에서는 이 방법이 실패한다. 다만 $d=2$ 는 기존에 코시쿨임이 알려져 있다.
• 예시는 모든 관계가 고정된 차수 $d \geq 4$ 에 위치하는 교환 법칙적 대수들이 일반화된 $N$-코시쿨 구조를 가질 수 있음을 시사하지만, 아직 그러한 이론은 수립되어 있지 않다.