[논문 리뷰] Hilbert series of modules over Lie algebroids

Rolf Källström, Yohannes Tadesse|arXiv (Cornell University)|2011. 06. 27.

Advanced Topics in Algebra인용 수 1

한 줄 요약

이 논문은 유한 길이 몫에 대해 모듈을 안정화하는 정의 아이디얼을 사용하여 리 대수총에 대한 모듈에 대한 힐베르트 급수를 정의한다. 모듈이 최대 정의 아이디얼 沿해 국소계가 될 경우, 힐베르트 급수는 유리함수이며 길이 함수는 준다항식이 된다—이것은 비근형 리 대수총 작용으로 힐베르트의 정리의 일반화이며, 복소해석적 특이점과 단항식 아이디얼에 응용된다.

ABSTRACT

We consider modules $M$ over Lie algebroids ${\mathfrak g}_A$ which are of finite type over a local noetherian ring $A$. Using ideals $J\subset A$ such that ${\mathfrak g}_A \cdot J\subset J $ and the length $\ell_{{\mathfrak g}_A}(M/JM)< \infty$ we can define in a natural way the Hilbert series of $M$ with respect to the defining ideal $J$. This notion is in particular studied for modules over the Lie algebroid of $k$-linear derivations ${\mathfrak g}_A=T_{A/k}(I)$ that preserve an ideal $I\subset A$, for example when $A={\mathcal O}_n$, the ring of convergent power series. Hilbert series over Stanley-Reisner rings are also considered.

연구 동기 및 목표

• 정의 아이디얼이 모듈을 유한 길이 몫에 대해 안정화하는 방식으로 리 대수총에 대한 모듈에 대한 힐베르트 급수를 정의한다.
• 힐베르트의 유한성 정리가 비근형 리 대수총 작용으로 일반화될 수 있도록, 힐베르트 급수가 유리함수가 되는 조건을 규명한다.
• 특히 고립 특이점을 가진 초표면에 대해, gA-모듈의 구조를 분석한다.
• 정칙 국소환에서의 단항식 아이디얼에 대해 힐베르트 급수를 계산하며, 일반 힐베르트 급수를 초월한 대칭 유도 구조를 드러낸다.
• 리 대수총의 섬유 리 대수 gC가 가환함을 특성화하여, 핵심 케이스에서 일반 힐베르트 급수로의 환원을 가능하게 한다.

제안 방법

• gA · J ⊂ J 이고 ℓA(M/JM) < ∞ 를 만족하는 A의 탈형 아이디얼 J ⊂ A 를 정의하여, G•_J(M) = ⊕n≥0 J^n M / J^{n+1} M 의 그레디에이션 모듈을 구성한다.
• 최대 정의 아이디얼 Jm 에 따라 국소계를 정의하며, G•_Jm(M) 의 각 그레디언트 성분이 섬유 리 대수 gk 위의 국소계임을 보인다.
• 재귀적 리 대수의 불변량에 대한 힐베르트의 유한 생성 정리의 Hadziev 확장에 기반한 불변량 이론을 사용하여 힐베르트 급수의 유리성을 증명한다.
• Rossi의 정리를 적용하여 최대 아이디얼이 정의 아이디얼임을 보장하고, 그레디언트 성분이 국소계임을 확보한다.
• 특히 I ⊂ m2 이나 I = (f) 이며 f ∈ m3 인 경우, On (수렴 급수환) 위의 리 대수총에 대해 섬유 리 대수 gC = gA / m gA 를 분석한다.
• 섬유 리 대수의 가환성(예: 하위 중심 급수의 최종 항이 0이 되는 방식)을 이용하여 유리 조건 하에서 gA-힐베르트 급수를 일반 힐베르트 급수와 동일시한다.

실험 결과

연구 질문

• RQ1 정의 아이디얼 J 에 대해 gA-모듈 M 의 힐베르트 급수 HJ_M(t) 가 언제 유리함수인가?
• RQ2 길이 함수 n ↦ ℓgA(M / J^{n+1}M) 가 언제 준다항식이 되는가?
• RQ3 On 위의 리 대수총에 대해 섬유 리 대수 gC 가 언제 가환인가? 이는 힐베르트 급수에 어떤 영향을 미치는가?
• RQ4 단항식 아이디얼의 대칭성은 리 대수총에 대한 힐베르트 급수에서 일반 힐베르트 급수와 어떻게 다를까?
• RQ5 어떤 유한 차원 복소 리 대수들이 초표면 특이점의 섬유 리 대수로 나타날 수 있는가?

주요 결과

• M 이 최대 정의 아이디얼 Jm 에 따라 국소계일 경우, 힐베르트 급수 HJ_M(t) 는 유리함수이며, 비근형 리 대수총 작용으로 힐베르트의 정리가 일반화된다.
• M 이 최대 정의 아이디얼 Jm 에 따라 국소계일 경우, 충분히 큰 n 에 대해 길이 함수 ℓgA(M / J^{n+1}M) 는 준다항식이 된다.
• f ∈ m3 이면, Jf = (f) + TOn·f 인 리 대수총 g = TOn(Jf) 의 섬유 리 대수 gC 는 가환이며, 따라서 힐베르트 급수는 일반 힐베르트 급수와 일치한다.
• On/Jf ≅ On/Jg 를 만족하는 f, g ∈ m 에 대해, HGJf(On)(t) = HGJg(On)(t) 이다. 이는 모듈러 대수의 동형에 대해 불변임을 보여준다.
• 백합의 우산(Whitney umbrella, z² − x²y)의 경우, 하위 중심 급수의 (l+1)-번째 항이 0이 되어 섬유 리 대수 gC 가 가환임을 보였다.
• 삼차식의 판별식의 경우, 섬유 리 대수는 gl2(C) 이며, O4 가 TO4(I)-모듈로서의 힐베르트 급수는 ℓsl2(C)(Sn(m/m²)) 의 생성함수이다. 차원 d = 2 이고, 계수 e = 1/4 이다.