nilCoxeter 대수의 코호몰로지와 Ext 구조

초록

본 논문은 대칭군의 nilCoxeter 대수 𝒩Sₙ에 대한 전(co)호몰로지 링 Z≅Ext*_{𝒩Sₙ}(ℤ,ℤ)를 명시적으로 기술한다. 차수 i(0<i<n)마다 n−i개의 새로운 생성자를 두고, 모든 관계를 2차식으로 제시한다. Z는 ℤ-자유이며, 차원 n−1의 Poincaré 급수를 1/(1−t)^{n‑1} 로 갖는 반소수(Noetherian) PI‑링이다. 또한 Z는 Koszul 대수이며, 그 Koszul 쌍대는 부호가 붙은 nilcactus 대수와 동형이다. 결과는 다른 유한 Coxeter 형에도 동일하게 적용된다.

상세 분석

논문은 먼저 nilCoxeter 대수 𝒩W(특히 𝒩Sₙ)를 정의하고, Y_i (1≤i≤n‑1) 를 생성자로 하는 관계 Y_iY_{i+1}Y_i=Y_{i+1}Y_iY_{i+1}, Y_iY_j=Y_jY_i(|i‑j|≥2), Y_i²=0 를 제시한다. 이 대수는 길이 함수 ℓ에 의해 자연스럽게 ℤ-그레이딩이 되며, augmentation ideal J는 nilpotent이다. 저자는 ℤ-모듈 ℤ를 𝒩Sₙ‑모듈로 승격시켜 Ext⁎(ℤ,ℤ)를 계산한다.

핵심은 자유 해석을 제공하는 최소 자유 해석을 구성하는데 있다. 이를 위해 저자는 “canonical form”이라는 표준화된 monomial 표현 Y