[논문 리뷰] Double derivations and Cyclic homology

Victor Ginzburg|ArXiv.org|2005. 05. 12.

Cancer Treatment and Pharmacology참고 문헌 2인용 수 10

한 줄 요약

이 논문은 애너그램 대수에 대한 순환 homology의 새로운 구성법을 제안한다. 비틀림형 비가환 미분 형식의 확장된 복합체를 사용하여, 콘네스의 미분 대신 카루비-데 라ーム 미분을 도입하고, 벡터장의 수축와 유사한 새로운 수축 유사 미분 $\imath_{\Delta}$를 제안한다. 주요 기여는 총 복합체 $({\Omega^{\vee\bullet}A})[u], d + u\cdot\imath_{\Delta}$의 코homology로 정의된 새로운 순환 homology 이론으로, 콘네스의 미분에 의존하지 않는 데 라암 스타일의 순환 homology 접근법을 제공한다.

ABSTRACT

We give a new construction of cyclic homology of an associative algebra A that does not involve Connes' differential. Our approach is based on an extended version of the complex ΩA, of noncommutative differential forms on A, and is similar in spirit to the de Rham approach to equivariant cohomology. Indeed, our extended complex maps naturally to the equivariant de Rham complex of any representation scheme Rep A. We define cyclic homology as the cohomology of the total complex (ΩA)[t], d+t \cdot i, arising from two anti-commuting differentials, d and i, on ΩA. The differential d, that replaces the Connes differential B, is the Karoubi-de Rham differential. The differential i that replaces the Hochschild differential b, is a map analogous to contraction with a vector field. This new map has no commutative counterpart.

연구 동기 및 목표

• 애너그램 대수에 대한 순환 homology의 새로운 기하학적 동기를 가진 구성법을 개발하여 콘네스의 미분을 피하는 것.
• 비가환 미분 형식 복합체 $\Omega^\bullet A$를 확장하여 비가환 데 라암 복합체의 비가환 대응을 수립하는 것.
• 하이셔드 미분 $b$의 대체로 기능하는, 벡터장 수축과 유사한 새로운 미분 $\imath_{\Delta}$를 도입하는 것.
• 총 복합체 $({\Omega^{\vee\bullet}A})[u], d + u\cdot\imath_{\Delta}$의 코homology가 순환 homology를 계산함을 보여주어 비가환 기하학의 새로운 프레임워크를 제공하는 것.
• 대표 스킴 $\operatorname{Rep} A$를 통해 자연스러운 사상으로 등변 데 라암 복합체에 연결하는 것.

제안 방법

• 비가환 미분 형식 복합체 $\Omega^\bullet A$를 확장하기 위해 이중 도함수를 통해 새로운 미분 $\imath_{\Delta}$를 정의한다.
• 미분 $d$는 순환 homology에서 콘네스의 $B$-미분을 대체하는 카루비-데 라암 미분이다.
• 총 복합체는 $({\Omega^{\vee\bullet}A})[u]$로 구성되며, 미분은 $d + u\cdot\imath_{\Delta}$이며, 여기서 $u$는 차수 2인 형식 변수이다.
• $\imath_{\Delta}$는 이중 도함수 $\Delta \in \operatorname{\mathbb{D}er} A$를 사용하여 정의되며, 확장된 복합체 위에서 차수 $-1$의 그레이드 도함수로 작용한다.
• 이 구성법이 자연스럽게 대표 스킴 $\operatorname{Rep} A$의 등변 데 라암 복합체로 사상됨을 보여, 기하학적 불변량과 연결된다.
• 확장된 미분 형식을 모델링하기 위해 자유 곱 구조 $A_t = A * \Bbbk[t]$를 사용하며, $\deg t = 2$로 설정한다.

실험 결과

연구 질문

• RQ1 순환 homology를 콘네스의 미분 $B$를 사용하지 않고 재구성할 수 있는가?
• RQ2 이중 도함수는 비가환 데 라암 유형 복합체를 정의하는 데 어떤 역할을 하는가?
• RQ3 하이셔드 미분 $b$는 비가환 기하학에서 어떻게 기하학적으로 해석될 수 있는가?
• RQ4 확장된 미분 복합체에서 $\operatorname{Rep} A$의 등변 데 라암 복합체로 자연스러운 사상이 존재하는가?
• RQ5 $\imath_{\Delta}$ 수축 작용은 벡터장 수축과 유사한 기하학적 해석을 가질 수 있는가?

주요 결과

• 대수 $A$의 순환 homology는 총 복합체 $({\Omega^{\vee\bullet}A})[u], d + u\cdot\imath_{\Delta}$의 코homology로 표현되며, 여기서 $d$는 카루비-데 라암 미분이고 $\imath_{\Delta}$는 이중 도함수로부터 유도된 새로운 미분이다.
• $\imath_{\Delta}$는 이중 도함수 $\Theta \in \operatorname{\mathbb{D}er} A$에 의해 유도되는 $T^t_A(A^{\otimes 2} \oplus \Omega^1 A)$ 위에서 차수 $-1$의 그레이드 도함수이다.
• 이 구성법은 대표 스킴 $\operatorname{Rep} A$의 등변 데 라암 복합체로 자연스러운 사상을 제공하여 기하학적 연결을 확립한다.
• $\Omega_t A \cong T^t_A(A^{\otimes 2} \oplus \Omega^1 A)$의 동형이 확립되어, 확장된 미분 형식이 $A^{\otimes 2} \oplus \Omega^1 A$ 위의 텐서 대수와 동형임을 보여준다.
• $T^\tau_A(A^{\otimes 2} \oplus M)$ 위의 미분 $\partial$는 $\frac{d}{d\tau}$에 대응하며, 명시적으로 계산되고 일반화된 바 미분임을 보여준다.
• 이 프레임워크는 고전적인 데 라암 접근법을 비가환 기하학으로 일반화하며, $\imath_{\Delta}$는 가환 대수에서는 대응이 없는 핵심 비가환 특성을 드러낸다.