[논문 리뷰] Kontsevich formality and PBW algebras

Boris Shoikhet|arXiv (Cornell University)|2007. 08. 12.

Advanced Topics in Algebra참고 문헌 1인용 수 8

한 줄 요약

이 논문은 복소벡터공간 V 위의 다항식 파아송 두차형량자 α로부터, 텐서대수 T(V*)에서 생성자와 관계를 이용해 PBW 대수를 구성한다. 이는 콘체비치 형식성에 의해 비가환관계 R_ij(ħ)를 콘체비치 적분으로 정의한다. 주요 결과는 이 대수가 Poincaré-Birkhoff-Witt 성질을 만족하며, 고전적 PBW 정리의 일반화이자 선형 파아송 구조에 대한 새로운 개념적 증명을 제공하며, 이차 구조에 대해서는 양자 R-행렬의 구조를 제공한다.

ABSTRACT

This paper is based on the author's paper "Koszul duality in deformation quantization, I", with some improvements. In particular, an Introduction is added, and the convergence of the spectral sequence in Lemma 2.1 is rigorously proven. Some informal discussion in Section 1.5 is added.

연구 동기 및 목표

• 유한차원 복소벡터공간 V 위의 다항식 파아송 두차형량자 α로부터 PBW 대수를 생성한다.
• 선형 파아송 구조의 경우 고전적 Poincaré-Birkhoff-Witt 정리에 대한 새로운 개념적 증명을 제공한다.
• 콘체비치 형식성과 쌍대 그래프 적분을 사용하여 다항식 파아송 두차형량자에 대한 PBW 성질을 일반화한다.
• 동일한 α에 대해 구성된 대수와 콘체비치 스타대수 사이의 동형을 추측한다.
• 데오퍼메이션 양자화에서 사용되는 그래프와 그 쌍대 그래프가 cobar 복합체 구성에서 어떻게 이중성 관계를 형성하는지 규명한다.

제안 방법

• 대수 A_α는 자유 텐서대수 T(V*)를 관계 x_i ⊗ x_j - x_j ⊗ x_i = R_ij(ħ)로 나누어 정의되며, 여기서 R_ij(ħ) ∈ T(V*)⊗ħℂ[[ħ]] 이고 R_ij = ħ·Sym(α_ij) + 𝒪(ħ²) 이다.
• Koszul 쌍대 구조에 대해 콘체비치 형식성 사상 적용을 통해 CoBar(Λ^-(V))⊗ℂ[[ħ]]의 유도자 d_ħ 를 구성한다.
• d_ħ 가 (d + d_ħ)² = 0 을 만족함을 보여, cobar 복합체가 비영인 호모로지가 0차에서만 존재하는 dg 대수임을 보장한다.
• 관계 R_ij(ħ) 는 각 정점에 두 개의 들어오는 간선을 가지는 상반평면 위의 쌍대 그래프에 대한 콘체비치 적분으로 명시적으로 표현된다.
• Hochschild-Kostant-Rosenberg 사상과 d_ħ 의 일阶 항을 연결하기 위해 대칭화 사상이 사용된다.
• A_α 가 PBW 대수임을 보이기 위해, 그 관련 필터링 대수 gr A_α 가 S(V*)⊗ℂ[[ħ]] 와 동형임을 증명한다.

실험 결과

연구 질문

• RQ1 다항식 파아송 두차형량자 α를 사용하여 T(V*)에서 생성자와 관계를 통해 PBW 대수를 구성할 수 있는가?
• RQ2 콘체비치 형식성 사상이 이러한 대수에서 비가환관계 R_ij(ħ)를 자연스럽게 정의하는가?
• RQ3 동일한 α에 대해 구성된 대수 A_α 가 대칭화 사상에 의해 콘체비치 스타대수와 동형인가?
• RQ4 콘체비치 적분 표현에서 cobar 복합체의 유도자 d_ħ 에서 쌍대 그래프의 역할은 무엇인가?
• RQ5 모든 다항식 파아송 두차형량자에 대해 PBW 성질이 성립하는가? 어떤 조건이 이를 보장하는가?

주요 결과

• 구성된 대수 A_α 는 Poincaré-Birkhoff-Witt 성질을 만족하며, 이는 필터링 대수로서 gr A_α ≅ S(V*)⊗ℂ[[ħ]] 를 의미한다.
• 선형 파아송 구조의 경우, 이 구성은 고전적 PBW 정리에 대한 새로운 개념적 증명을 제공한다.
• 이차 파아송 구조의 경우, 관계 R_ij(ħ) 는 V 위의 양자 R-행렬에 매우 밀접하게 관련된 대상을 제공한다.
• d_ħ 의 일阶 항은 Hochschild-Kostant-Rosenberg 사상과 일치하며, 이 경우는 대칭화 사상과 같다.
• 관계 R_ij(ħ) 는 각 정점에 두 개의 들어오는 간선을 가지는 상반평면 위의 쌍대 그래프에 대한 콘체비치 적분으로 명시적으로 주어진다.
• A_α 가 콘체비치 스타대수와 동형이라는 추측은 콘체비치 적분 간의 매우 비직관적인 항등식을 암시하며, 이는 개방 원판 위의 AKSZ 모델에서 더 깊은 이중성의 존재를 시사한다.