[논문 리뷰] Noncommutative Geometry and Quiver algebras

William Crawley-Boevey, Pavel Etingof외 1명|ArXiv.org|2005. 02. 15.

Algebraic structures and combinatorial models참고 문헌 19인용 수 12

한 줄 요약

이 논문은 이중 미분을 사용하여 비가환 미분기하학과 비가환 심플렉틱 기하학의 새로운 프레임워크를 제안한다. 임의의 스무스한 결합 대수 B에 대해 비가환 코탄제ント 번들의 $T^*B$를 정의하고, 비가환 모멘트 맵과 해밀턴 축소를 수립한다. 핵심 결과는 비가환 해밀턴 축소 $Π_w/[Π_w,Π_w]$로 확장되는 $Π/[Π,Π]$의 리 대수 구조(포아송 괄호에 해당)이며, 비다인킨 퀴버의 전프로젝티브 대수에 대해 호치 코homology는 이 리 대수로부터 유도된 완전한 게르스텐하버 대수 구조를 지닌다.

ABSTRACT

We develop a new framework for noncommutative differential geometry based on double derivations. This leads to the notion of moment map and of Hamiltonian reduction in noncommutative symplectic geometry. For any smooth associative algebra B, we define its noncommutative cotangent bundle T^*B, which is a basic example of noncommutative symplectic manifold. Applying Hamiltonian reduction to noncommutative cotangent bundles gives an interesting class of associative algebras, P=P(B), that includes preprojective algebras associated with quivers. Our formalism of noncommutative Hamiltonian reduction provides the space P/[P,P] with a Lie algebra structure, analogous to the Poisson bracket on the zero fiber of the moment map. In the special case where P is the preprojective algebra associated with a quiver of non-Dynkin type, we give a complete description of the Gerstenhaber algebra structure on the Hochschild cohomology of P in terms of the Lie algebra P/[P,P].

연구 동기 및 목표

• 표준적 접근 방식에서 유발되는 정보 손실을 피하기 위해 이중 미분을 기반으로 비가환 미분기하학과 비가환 심플렉틱 기하학의 새로운 형식을 개발하는 것.
• 임의의 스무스한 결합 대수 B에 대해 비가환 코탄제ント 번들 $T^*B$를 심플렉틱 다양체로 정의하는 것.
• 비가환 모멘트 맵과 해밀턴 축소를 수립하여, 비가환 환경으로의 심플렉틱 축소를 일반화하는 것.
• 비다인킨 퀴버의 전프로젝티브 대수의 호치 코homology에 존재하는 게르스텐하버 대수 구조를 리 대수 $\Pi/[\Pi,\Pi]$의 관점에서 기술하는 것.
• 전프로젝티브 대수 $\Pi$의 중심이 자명하다(스칼라로만 이루어져 있음)이며, $\Pi$가 소임을 증명하는 것.

제안 방법

• 이중 미분 $A \to A \otimes A$를 비가환 벡터장으로 일반화하여 도입한다.
• 카루비-데라옴 복합체 $\mathrm{DR}^\bullet A$ 위에서 이중 미분에 대한 리 미분과 축소 연산자를 정의한다.
• 비가환 코탄제ント 번들 $T^*B$ 위에 자연스러운 심플렉틱 2형식 $\omega \in \mathrm{DR}^2(T^*B)$를 구성한다.
• 이중 미분 $\Delta: a \mapsto a \otimes 1 - 1 \otimes a$와의 축소를 통해 비가환 모멘트 맵을 정의하며, 닫힌 2형식을 $A$의 원소로 매핑한다.
• 닫힌 2형식의 이미지인 ${\mathbf{w}}$에 의해 유도되는 두측 이상 $A{\mathbf{w}}A$로 $A$를 몫으로 나누어 해밀턴 축소를 수행한다.
• 표현 함자 $\mathrm{Rep}_n$을 사용하여 비가환 구조를 $\mathrm{Rep}_n A$ 위의 교차 기하학과 연결함으로써, 고전적 개념과의 호환성을 확보한다.

실험 결과

연구 질문

• RQ1 이중 미분을 사용하여 비가환 미분기하학을 어떻게 재구성할 수 있으며, 기존 접근 방식에서 발생하는 정보 손실을 피할 수 있는가?
• RQ2 비가환 코탄제ント 번들의 해석은 무엇이며, 어떻게 심플렉틱 구조를 지닐 수 있는가?
• RQ3 비가환 기하학에서의 해밀턴 축소는 모멘트 맵과 고전적 심플렉틱 축소 사이에서 어떻게 관련되어 있는가?
• RQ4 비다인킨 퀴버의 전프로젝티브 대수의 호치 코homology에 존재하는 게르스텐하버 대수 구조는 무엇인가?
• RQ5 비다인킨 유형의 전프로젝티브 대수의 중심은 자명한가? 그리고 대수는 소인가?

주요 결과

• 심플렉틱 2형식이 존재하는 $A$에서 유도된 $A/[A,A]$ 위의 리 괄호는 해밀턴 축소 $A_\mathbf{w}/[A_\mathbf{w}, A_\mathbf{w}]$로 내림내릴 수 있으며, 이는 비가환 심플렉틱 축소의 해석을 확립한다.
• 비가환 코탄제ント 번들 $T^*B$에 대해, 표현 스킴 $\mathrm{Rep}_n(T^*B)$는 심플렉틱 다양체이며, $T^*B/[T^*B, T^*B]$의 원소들은 이 다양체 위의 정칙 함수로 매핑된다.
• 비다인킨 퀴버의 전프로젝티브 대수 $\Pi$의 호치 코homology는 완전한 게르스텐하버 대수 구조를 지닌다. 이 구조에서 리 괄호는 $\Pi/[\Pi,\Pi]$에 의해 생성되며, 홀수 차수 부분을 형성한다.
• 전프로젝티브 대수 $\Pi$의 중심은 자명하다: $Z(\Pi) = \Bbbk$이다. 이는 일반적인 표현 다양체의 기약성과 슈어의 보조정리에 의해 증명된다.
• 전프로젝티브 대수 $\Pi$는 소이다: 만약 $a,b \in \Pi$가 모두 영이 아니며 $a\Pi b = 0$이라면, $\mathbf{d} \in \Sigma_0$에 대해 $\mathrm{Rep}(\Pi, \mathbf{d})$의 기약성에 의해 모순이 발생한다.
• 비가환 모멘트 맵은 $\mathrm{DR}^2 A$의 닫힌 2형식을 $A$의 원소로 매핑하며, 그 이미지인 $\mathbf{w}$는 $\mathrm{Rep}_n A \to (\mathfrak{gl}_n)^*$로의 모멘트 맵을 유도한다.