[논문 리뷰] Maximal commutative subalgebras, Poisson geometry and Hochschild homology

Tomasz Maszczyk|ArXiv.org|2006. 03. 15.

Algebraic structures and combinatorial models참고 문헌 8인용 수 5

한 줄 요약

이 논문은 최대 교환 부분대수에서 유도된 거의 교환 대수의 호크실드 호몰로지로 수렴하는 스펙트럴 시퀀스를 구성한다. 이 시퀀스의 $E^2$-항은 관련된 호그스키-포아송 대수와 모듈러의 표준 포아송 호몰로지로 계산되며, 최대 교환 부분대수에 의해 유도되는 필터링을 통해 포아송 기하학과 호크실드 호몰로지를 연결한다. 이 구성은 미분 캡슐과 포아송 모듈러를 통한 비선형 기하적 설정으로 브릴린스키의 스펙트럴 시퀀스를 일반화한다.

ABSTRACT

A Poisson geometry arising from maximal commutative subalgebras is studied. A spectral sequence convergent to Hochschild homology with coefficients in a bimodule is presented. It depends on the choice of a maximal commutative subalgebra inducing appropriate filtrations. Its E^{2}_{p,q}-groups are computed in terms of canonical homology with values in a Poisson module defined by a given bimodule and a maximal commutative subalgebra.

연구 동기 및 목표

• 최대 교환 부분대수에 의해 유도되는 필터링을 갖는 대수에 대해 브릴린스키의 호크실드 호몰로지 스펙트럴 시퀀스를 일반화하기.
• 표준 포아송 모듈러 복합체를 통해 포아송 기하학과 호크실드 호몰로지 사이의 연결 고리를 설정하기.
• 최대 교환 부분대수 $C$에 대해 대수 $A$의 미분 캡슐 $\mathrm{D}^C A$를 정의하고 연구하기. 이는 거의 교환 대수가 된다.
• 관련된 필터링에 대해 스펙트럴 시퀀스의 $E^2$-항을 관련된 호그스키-포아송 대수와 모듈러의 표준 포아송 호몰로지로 계산하기.
• 관련된 그레이드 대상 $\mathrm{Gr}^C A$가 자연스러운 포아송 구조를 지니며, $\mathrm{Gr}^C M$이 이와 호환되는 포아송 모듈러 구조를 지닌다는 것을 보여주기.

제안 방법

• 논문은 대수 $A$와 이중모듈러 $M$에 대해 최대 교환 부분대수 $C$를 이용한 필터링을 정의하여, 거의 교환 대수 $\mathrm{D}^C A$와 거의 대칭 이중모듈러 $\mathrm{D}^C M$을 유도한다.
• 총 필터링 차수에 따라 필터링된 호크실드 복합체 위에 스펙트럴 시퀀스를 구성한다.
• 관련 그레이드 대수 $\mathrm{Gr}^C A$가 자연스러운 포아송 구조를 지닌다는 것이 보여지고, $\mathrm{Gr}^C M$이 이와 호환되는 포아송 모듈러 구조를 지닌다.
• 스펙트럴 시퀀스의 $E^2$-항은 복합체 $C^{\text{can}}_\bullet(B,N)$를 사용하여, 포아송 대수 $\mathrm{Gr}^C A$와 포아송 모듈러 $\mathrm{Gr}^C M$에 대한 표준 호몰로지로 식별된다.
• 표준 복합체의 미분은 포아송 괄호를 통해 정의된다: $\partial(n \otimes \mathrm{d}b_1 \cdots \mathrm{d}b_k) = \sum (-1)^{i-1} \{n,b_i\} \otimes \widehat{\mathrm{d}b_i} + \sum (-1)^{i+j} n \otimes \mathrm{d}\{b_i,b_j\} \cdots$
• 변형 $\mathrm{Def}M = \sum_p \mathrm{F}^C_p M \cdot t^p \subset M[t]$를 통해 구성이 일반화되며, 이는 $t=0$에서 $\mathrm{Gr}^C A$로 특수화되고 $t=1$에서 $\mathrm{D}^C A$로 특수화된다. 이는 $\mathrm{Spec} C$ 위에 비선형 적인 분포를 실현한다.

실험 결과

연구 질문

• RQ1 최대 교환 부분대수에 의해 유도되는 필터링을 통해 연관 대수의 호크실드 호몰로지를 어떻게 계산할 수 있는가?
• RQ2 이러한 필터링에 대해 관련 그레이드 대수 $\mathrm{Gr}^C A$에 자연스럽게 나타나는 포아송 기하학적 구조는 무엇인가?
• RQ3 표준 포아송 호몰로지 복합체는 호크실드 호몰로지 스펙트럴 시퀀스의 $E^2$-항과 어떻게 관련되는가?
• RQ4 스펙트럴 시퀀스는 매끄러운 대수를 초월해 일반화될 수 있으며, 이 경우 미분 캡슐 $\mathrm{D}^C A$의 역할은 무엇인가?
• RQ5 변형 $\mathrm{Def}A$의 $t=0$ 특수화의 기하학적 해석은 무엇인가?

주요 결과

• 스펙트럴 시퀀스는 최대 교환 부분대수 $C$에 의해 유도된 필터링을 갖는 대수 $\mathrm{D}^C A$와 이중모듈러 $\mathrm{D}^C M$의 호크실드 호몰로지 $\mathrm{H}_{p+q}(\mathrm{D}^C A, \mathrm{D}^C M)$로 수렴한다.
• 표준 포아송 호몰로지와 동형이 되며, $\mathrm{Gr}^C A$가 $R$에 대해 매끄럽다면 $\mathrm{E}^2_{p,q} \cong \mathrm{H}^{\text{can}}_{p+q}(\mathrm{Gr}^C A, \mathrm{Gr}^C M)_p$이다.
• 관련 그레이드 대수 $\mathrm{Gr}^C A$는 괄호에 대해 차수 $-1$의 자연스러운 포아송 구조를 지닌다. 이는 그레이드 포아송 대수를 이룬다.
• 관련 그레이드 이중모듈러 $\mathrm{Gr}^C M$은 $\mathrm{Gr}^C A$ 위의 그레이드 포아송 모듈러로서, 포아송 구조와 호환된다.
• 변형 $\mathrm{Def}A$의 $t=0$ 특수화는 $\mathrm{Spec} C$ 위에 비선형 적인 분포를 실현하며, $\mathrm{Def}M$은 이 분포를 따라 평탄한 접속을 지닌다.
• 특히 $A = M_n(k)$인 경우, 대각 부분대수 $C \cong k^n$는 매끄러운 $\mathrm{Gr}^C A = C$를 주며, 조르당 블록 부분대수 $C \cong k[x]/(x^{n+1})$는 $\mathrm{Gr}^C A \cong \text{polynomial algebra on } n\text{th}\text{ infinitesimal neighborhood of nilpotent cone in } \mathfrak{sl}_2^*$ with Kirillov-Kostant-Souriau Poisson structure를 준다.