[논문 리뷰] Pre-Calabi-Yau structures and moduli of representations

Wai‐Kit Yeung|arXiv (Cornell University)|2018. 02. 15.

Homotopy and Cohomology in Algebraic Topology참고 문헌 39인용 수 11

한 줄 요약

이 논문은 비가환 미분 형식과 다항벡터장에 대한 형식적인 비가환 미적분을 수립하며, 비음수로 평가되는 dg 대수에서의 $n$-Calabi-Yau 및 $n$-pre-Calabi-Yau 구조를 그 표현의 유도 모듈리 스택에서의 $(2-n)$-시프트된 심플렉틱 및 푸아송 구조로 연결하는 추적 기반의 구성법을 제안한다. 주요 기여는 비가환 기하학의 대수적 구조와 모듈리 공간에서의 시프트된 심플렉틱/푸아송 기하학 사이의 체계적인 대응 관계를 확립하는 데 있다.

ABSTRACT

We establish a system of formal noncommutative calculus for differential forms and polyvector fields, which forms the foundations for the study of pre-Calabi-Yau categories. Using an explicit trace map, we show that any $n$-Calabi-Yau structure on a non-positively graded dg algebra $A$ induces a $(2-n)$-shifted symplectic structure on its derived moduli stack of representations; while any $n$-pre-Calabi-Yau structure on $A$ induces a $(2-n)$-shifted Poisson structure on this derived moduli stack.

연구 동기 및 목표

• 비가환 기하학에서의 미분 형식과 다항벡터장에 대한 형식적인 비가환 미적분 체계를 개발하여, pre-Calabi-Yau 범주를 위한 기초를 마련한다.
• dg 대수 $A$의 유한차원 표현의 유도 모듈리 스택에 대한 명시적인 글로벌 몫 모델을 구성한다.
• $A$에서의 $n$-Calabi-Yau 구조가 $\mathpzc{DRep}(A)$에서의 $(2-n)$-시프트된 심플렉틱 구조를 유도하고, $n$-pre-Calabi-Yau 구조가 $(2-n)$-시프트된 푸아송 구조를 유도함을 증명한다.

제안 방법

• 비가환 기하학에서의 미분 형식을 위한 혼합 복합체로 확장된 비가환 de Rham 복합체를 도입한다.
• 가중치에 따라 순서가 매겨진 리 껍질을 갖는 비가환 다항벡터장의 일반화로 확장된 네크레이스 dg 리 대수를 정의한다.
• 코프리프레졸루션 $Q\xrightarrow{\sim}A$로부터 유도된 하위첨자 대수 구조 $A_r$를 사용하여, 유도 모듈리 스택 $\mathpzc{DRep}(A)$를 글로벌 몫 $[\mathrm{Spec}(Q_r)/\mathrm{GL}(r)]$로 구성한다.
• Hochschild 코hom올로지 클래스와 모듈리 스택에서의 시프트된 심플렉틱 및 푸아송 구조 사이의 관계를 명시적인 추적 사상으로 연결한다.
• 네커레이스 리 대수의 불변 코chains와 글로벌 몫 위의 시프트된 다항벡터장 사이의 준동형을 확립한다.
• 대칭군 궤도에 대한 합과 코스쿨 부호를 포함한 명시적 계산을 통해 껍질의 브라켓 구조의 호환성을 검증한다.

실험 결과

연구 질문

• RQ1 비가환 대수기하학에서 미분 형식과 다항벡터장을 어떻게 시스템적으로 형식화할 수 있는가?
• RQ2 dg 대수에서의 $n$-Calabi-Yau 구조가 표현의 유도 모듈리 스택에 어떤 정확한 기하학적 구조를 유도하는가?
• RQ3 비가환 네크레이스 dg 리 대수는 모듈리 공간에서의 시프트된 푸아송 구조와 어떻게 관련되는가?
• RQ4 표현의 유도 모듈리 스택은 코프리프레졸루션에 기반하여 명시적인 글로벌 몫으로서 재구성될 수 있는가?
• RQ5 추적 사상은 비가환 대수기하학적 구조와 시프트된 심플렉틱 및 푸아송 기하학 사이에서 어떤 역할을 하는가?

주요 결과

• $A$에서의 $n$-Calabi-Yau 구조는 명시적인 추적 사상에 의해 유도 모듈리 스택 $\mathpzc{DRep}(A)$에서의 $(2-n)$-시프트된 심플렉틱 구조를 유도한다.
• $A$에서의 $n$-pre-Calabi-Yau 구조는 $\mathpzc{DRep}(A)$에서의 $(2-n)$-시프트된 푸아송 구조를 유도하며, 고전적 심플렉틱-푸아송 대응의 비가환 버전을 확립한다.
• 유도 모듈리 스택 $\mathpzc{DRep}(A)$는 $Q_r$가 코프리프레졸루션 $Q\xrightarrow{\sim}A$의 $r$-라벨링된 형태인 글로벌 몫 $[\mathrm{Spec}(Q_r)/\mathrm{GL}(r)]$의 코초한(colimit)과 동형이며, 이는 토르-성능이 $[0,0]$인 가짜완전 모듈러의 유도 모듈리를 복원한다.
• 확장된 네크레이스 dg 리 대수 $\bigoplels_{r\geq1}\mathscr{P}^{(r)}(\mathcal{A},m)[m+1]$는 가중치 $-1$의 브라켓을 갖는 시프트된 다항벡터장의 비가환 모델을 제공한다.
• 추적 사상은 네크레이스 리 대수의 불변 코chains와 글로벌 몫 위의 시프트된 다항벡터장 사이의 준동형을 유도하며, 이는 시프트된 푸아송 구조와의 호환성을 보장한다.
• 명시적 계산을 통해 네크레이스 대수의 리 브라켓이 대칭군 궤도에 대한 합과 코스쿨 부호를 통해 모듈리 스택에서의 쇼우텐-니젠하이즈 브라켓과 일치하는 것으로 확인된다.