[논문 리뷰] Noncommutative geometry and dual coalgebras

Lieven Le Bruyn|ArXiv.org|2008. 05. 15.

Algebraic structures and combinatorial models참고 문헌 1인용 수 6

한 줄 요약

이 논문은 k-대수 A의 비가환 아핀 스킴 rep(A)가 쌍대코알제브라 A⁰과 대응됨을 제안하며, 비가환 기하학과 코알제브라 구조 사이의 이중성을 수립한다. 핵심 결과는 A⁰이 A∞-구조를 가진 단순 A-표현의 요네다 공간 위에서 구성된 지점 코알제브라와 타케우치-동치임을 보여주며, 호모토피 대수학을 통해 표현론적 자료를 코딩한다.

ABSTRACT

In arXiv:math/0606241v2 M. Kontsevich and Y. Soibelman argue that the category of noncommutative (thin) schemes is equivalent to the category of coalgebras. We propose that under this correspondence the affine scheme of a k-algebra A is the dual coalgebra A^o and draw some consequences. In particular, we describe the dual coalgebra A^o of A in terms of the A-infinity structure on the Yoneda-space of all the simple finite dimensional A-representations.

연구 동기 및 목표

• 비가환 기하학에서 비가환 아핀 스킴과 쌍대코알제브라 사이의 대응을 수립하기 위해.
• 유한차원 단순 A-표현의 요네다 확장 공간을 통해 쌍대코알제브라 A⁰의 구조를 기술하기 위해.
• 코알제브라 이중성과 비가환 기하학을 통해 교환 기하학의 기하적 통찰을 비가환 설정으로 일반화하기 위해.
• 타케우치 동치와 A∞-구조를 통해 표현 함자 rep(A)의 코알제브라적 실현을 제공하기 위해.

제안 방법

• 유한차원 k-코알제브라에서 집합으로 보내는 반대함수 functors로서 C ↦ alg_k(A, C*)를 정의하고, 이것이 A⁰에 의해 표현 가능하다는 것을 보이기 위해.
• 코스타ント 이중성을 사용하여 alg_k(A, C*) 내의 준동형사상과 coalg_k(C, A⁰) 내의 코알제브라 준동형사상 사이의 자연적 대응을 수립하기 위해.
• A⁰의 코라디칼을 단순 A-표현으로 인덱스가 매겨진 일차원 부분코알제브라의 직합으로 특성화하고, simp(A) = corad(A⁰)로 식별하기 위해.
• A의 ext¹-쿼버 위에서 경로 코알제브라 ℬ를 구성하고, 복합곱을 경로 연결으로, 코단위를 경로 길이로 정의하기 위해.
• 요네다 공간 Ext•_A에서의 A∞-구조를 사용하여 호모토피 마우러-카르탕 사상 μ = ⊕m_i를 정의하기 위해.
• A⁰와 ℬ(ext¹_A)의 μ의 핵에 놓인 부분코알제브라 사이의 타케우치 동치를 수립하고, 이로 인해 A⁰ ≅ A†임을 보여주기 위해.

실험 결과

연구 질문

• RQ1 컨체비치-소이벨만 이중성 하에서 비가환 아핀 스킴 rep(A)는 어떻게 쌍대코알제브라 A⁰로 실현될 수 있는가?
• RQ2 단순 A-표현의 요네다 확장 공간을 기반으로 A⁰의 코알제브라적 구조는 무엇인가?
• RQ3 Ext•_A 위의 A∞-구조는 A⁰의 전체 코알제브라적 구조를 어떻게 결정하는가?
• RQ4 단순 모듈러의 ext-쿼버와 A∞-작용을 통해 쌍대코알제브라 A⁰를 재구성할 수 있는가?

주요 결과

• 비가환 아핀 스킴 rep(A)는 자연적으로 쌍대코알제브라 A⁰와 일치하며, 표현론과 코알제브라 사이의 이중성을 수립한다.
• A⁰의 코라디칼은 단순 A-표현으로 인덱스가 매겨진 일차원 부분코알제브라의 직합과 동형이며, 따라서 corad(A⁰) ≅ ⊕_S k·g_S 여기서 S는 simp(A)를 따라 변한다.
• 쌍대코알제브라 A⁰는 경로 코알제브라 ℬ(ext¹_A)의 μ = ⊕m_i의 핵에 놓인 부분코알제브라와 타케우치-동치이다.
• A⁰의 전체 구조는 요네다 공간 Ext•_A 위의 A∞-구조에 의해 결정되며, μ는 확장 간의 고차 관계를 코딩한다.
• 유한 부분쿼버의 경우, 이 구성은 켈러의 유한차원 대수에 대한 결과로 축소되며, 이를 무한차원 설정으로 일반화한다.
• μ*의 핵에서의 경로 대수의 완비화가 A의 m-adic 완비화를 복원함으로써, 형식적 이웃에서의 이중성을 보여준다.