[논문 리뷰] Cartier isomorphism for unital associative algebras

D. Kaledin|arXiv (Cornell University)|2015. 09. 27.

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

한 줄 요약

이 논문은 특성 ≠ 2인 체 위의 단위 항등원을 가진 결합 대수에 대해 카르티에 동형사상의 비가환 일반화를 수립한다. 논문은 함자적 군 $BHH_\bullet(A)$, $ZHH_\bullet(A)$를 구성하고, $A$가 가환이고 미세할 경우 고전적 카르티에 동형사상으로 복원되는 프로베니우스-반선형 사상 $C: ZHH_\bullet(A)/BHH_\bullet(A) \to HH_\bullet(A)$를 정의한다. 이는 하이치드-코스타너-로젠버그 이론을 비가환 설정으로 확장하는 새로운 프레임워크를 통해 이루어진다.

ABSTRACT

Given an associative unital algebra $A$ over a perfect field $k$ of odd positive characteristic, we construct a non-commutative generalization of the Cartier isomorphism for $A$. The role of differential forms is played by Hochschild homology classes, and de Rham diferential is replaced with the Connes-Tsygan differential.

연구 동기 및 목표

• 특성 0이 아닌 경우에서 디 라함 호몰로지와 미분 형식 간의 관계를 규명하는 고전적 카르티에 동형사상이 임의의 단위 항등원을 가진 결합 대수로 일반화될 수 있는가를 탐구한다.
• 순환 호몰로지 군 $ZHH_\bullet(A)$와 $BHH_\bullet(A)$를 사용하여 이 설정에서 닫힌 형식과 정확한 형식의 공간에 대한 비가환 대응체를 정의한다.
• 비가환 설정에서 카르티에 사상의 일반화를 제공하는 프로베니우스-반선형 동형사상 $C$를 구성한다.
• A가 가환적이고 미세할 경우 이 일반화된 카르티에 사상이 고전적 사상으로 축소됨을 증명하여 하이치드-코스타너-로젠버그 이론과의 일致성을 확보한다.

제안 방법

• 하이치드 호몰로지 $HH_\bullet(A)$의 부분상계수로 $BHH_\bullet(A)$와 $ZHH_\bullet(A)$를 정의하며, 콘네-츠이간 미분 $B$와 그를 통한 사상 $\xi$ 및 $\beta$의 인수분해를 사용한다.
• 다음과 같은 장정확한 수열을 도입한다: $BHH_\bullet(A) \xrightarrow{\xi} ZHH_\bullet(A) \xrightarrow{C} HH_\bullet(A) \xrightarrow{\beta} BHH_{\bullet+1}(A)$, 여기서 $C$는 중심적인 비가환 카르티에 사상이다.
• $C$가 프로베니우스-반선형이자 함자적임을 증명하며, 국소화 및 기저 변경과의 호환성을 유지함을 보인다.
• 미세한 가환 대수 $A$에 대해 하이치드-코스타너-로젠버그 동형사상 $HH_i(A) \cong \Omega^i(X)$를 사용하여 비가환 구성과 고전적 경우를 비교한다.
• 고전적 카르티에 동형사상과 새로운 비가환 사상 간의 일致성을 입증하기 위해 $C^{-1}$이 $\zeta$를 통해 인수분해되고 $zHH_\bullet(A) = z'HH_\bullet(A)$임을 보임으로써, 가환 사례에서 두 사상의 일致성을 입증한다.
• $\zeta$에 대한 귀납법과 단사성 추론을 적용하여 $\xi$가 단사적임과 $\beta$가 전사적임을 보이고, 이는 수열의 정확성과 구성의 일致성을 보장한다.

실험 결과

연구 질문

• RQ1 고전적 카르티에 동형사상이 특성 0이 아닌 경우에서 디 라함 호몰로지와 미분 형식 간의 관계를 규명하는 데 사용되지만, 이는 임의의 단위 항등원을 가진 비가환 결합 대수로 일반화될 수 있는가?
• RQ2 이 설정에서 닫힌 형식과 정확한 형식의 공간에 대한 적절한 비가환 대응체는 무엇인가?
• RQ3 콘네-츠이간 미분 $B$는 어떻게 인수분해되어 비가환 카르티에 사상 $C$를 분리할 수 있는가?
• RQ4 제안된 비가환 카르티에 사상은 미세한 가환 대수에 적용되었을 때 고전적 사상으로 축소되는가?
• RQ5 일반화된 카르티에 사상은 비가환 설정에서 프로베니우스-반선형적이고 함자적인가?

주요 결과

• 논문은 특성 ≠ 2인 체 위의 임의의 단위 항등원을 가진 결합 대수 $A$에 대해 프로베니우스-반선형이자 함자적인 비가환 카르티에 사상 $C: ZHH_\bullet(A)/BHH_\bullet(A) \to HH_\bullet(A)$를 구성한다.
• 사상 $C$는 $BHH_\bullet(A)$, $ZHH_\bullet(A)$, $HH_\bullet(A)$를 포함하는 자연스러운 장정확한 수열에 포함되며, $C$가 중심적인 동형사상이다.
• 하이치드-코스타너-로젠버그 케이스에서, $A$가 가환적이고 미세할 경우 군 $BHH_\bullet(A)$와 $ZHH_\bullet(A)$는 고전적 형식 공간 $B^\bullet(X)$와 $Z^\bullet(X)$와 일치한다.
• 일반화된 카르티에 사상 $C$는 가환적이고 미세한 경우 고전적 카르티에 동형사상으로 복원되며, $C^{-1}$이 $\zeta$를 통해 인수분해되고 $zHH_\bullet(A) = z'HH_\bullet(A)$임을 보임으로써 이를 입증한다.
• $\zeta: ZHH_\bullet(A) \to HH_\bullet(A)$는 단사적이며, $\beta: HH_\bullet(A) \to BHH_{\bullet+1}(A)$는 전사적임을 보여 수열의 정확성과 구성의 일치성을 확보한다.
• 증명은 귀납법과 단사성 추론에 기반하여 $\zeta$가 $ZHH_\bullet(A)$에서 단사적임을 보이고, 이는 $\zeta(a) = 0$이면 항상 $a = 0$임을 의미함으로써 사상의 유일성과 정확성을 확인한다.