[논문 리뷰] Deformations of algebras in noncommutative geometry

Travis Schedler|arXiv (Cornell University)|2012. 12. 05.

Algebraic structures and combinatorial models참고 문헌 55인용 수 9

한 줄 요약

이 논문은 특성 0의 체 위에서 비가환 기하학에서의 결합 대수의 변형 이론에 대한 포괄적이고 예시 중심의 소개를 제공한다. 주로 호크시ลด 코homology와 콘체비치의 형식성 정리에 중점을 두며, 형식적 변형을 통한 파oisson 구조의 양자화를 위한 프레임워크를 수립한다. 주요 결과로는 매끄러운 다양체에 대한 자연스럽고 함의적인 양자화의 존재와, 와일 대수, 포괄 대수, 심플렉틱 반사 대수와 같은 대수들에 대한 명시적 구성이 포함된다.

ABSTRACT

These are significantly expanded lecture notes for the author's minicourse at MSRI in June 2012, as published in the MSRI lecture note series, with some minor additional corrections. In these notes, we give an example-motivated review of the deformation theory of associative algebras in terms of the Hochschild cochain complex as well as quantization of Poisson structures, and Kontsevich's formality theorem in the smooth setting. We then discuss quantization and deformation via Calabi-Yau algebras and potentials. Examples discussed include Weyl algebras, enveloping algebras of Lie algebras, symplectic reflection algebras, quasihomogeneous isolated hypersurface singularities (including du Val singularities), and Calabi-Yau algebras.

연구 동기 및 목표

• 특성 0의 체 위에서 결합 대수의 변형 이론에 대해 자립적이고 예시 기반의 소개를 제공한다.
• 가환 대수의 무한소 및 형식적 변형이 파oisson 구조와 양자화로 이어지는 방식을 설명한다.
• 변형 양자화와 칼라비-유아 대수 간의 연결 고리를 확립하며, 특히 잠재력과 순환 호몰로지의 관점에서 다룬다.
• 와일 대수, 포괄 대수, 심플렉틱 반사 대수와 같은 주요 대수들에 대한 변형의 명시적 구성 방법을 제시한다.
• 콘체비치의 형식성 정리가 매끄러운 아핀 다양체 위의 파oisson 구조에 대해 명시적이고 함의적인 양자화를 어떻게 구성하는지 보여준다.

제안 방법

• 결합 대수의 변형을 기술하기 위해 호크시ลด 코チェ인 복합체를 사용하며, 두 번째 코homology 군이 무한소 변형을 분류한다.
• 콘체비치의 형식성 정리를 적용하여 호크시ลด 코チェ인 복합체와 다항벡터장 사이의 준동형을 구축함으로써 명시적 양자화를 가능하게 한다.
• 형식성 사상의 계산을 위해 파인먼 도형과 휠 모양의 그래프를 활용하며, 특히 리 대수와 대칭 대수의 경우에 중점을 둔다.
• 리 대수의 형식성 사상 계수를 표현하기 위해 고정된 연산자의 거듭제곱의 흔적을 사용한다: $\operatorname{tr}((\operatorname{ad}x)^m)$.
• 다음과 같은 수축을 통한 단조성 다항벡터장의 개념을 도입한다: $\Xi_X = i_{\partial_1 \wedge \cdots \wedge \partial_n}(df_1 \wedge \cdots \wedge df_k)$, 이를 통해 파oisson 구조와의 호환성을 확보한다.
• 유도 범주 프레임워크와 순환 호몰로지를 활용하여, 특히 고립된 초표면 특이점의 맥락에서 칼라비-유아 대수로의 양자화를 일반화한다.

실험 결과

연구 질문

• RQ1 특성 0의 체 위에서 매끄러운 아핀 다양체 위에 정의된 파oisson 구조가 형식적 변형 양자화를 갖는 조건은 무엇인가?
• RQ2 콘체비치의 형식성 사상이 리 대수와 대칭 대수의 경우에 어떻게 명시적으로 계산될 수 있는가?
• RQ3 칼라비-유아 구조와 잠재력이 비가환 대수의 변형 이론에서 수행하는 역할은 무엇인가?
• RQ4 변형 이론적 구성은 와일 대수나 심플렉틱 반사 대수와 같은 알려진 대수들과 어떻게 관련이 있는가?
• RQ5 파oisson 대수의 양자화가 어떤 의미에서 함의적이고, 비아핀 또는 특이한 경우에 어떤 장애물이 발생하는가?

주요 결과

• 콘체비치의 형식성 정리는 특성 0의 체 위에서 매끄러운 아핀 다양체 위의 임의의 파oisson 구조에 대해 자연스럽고 함의적인 양자화를 제공한다.
• 리 대수의 형식성 사상 계수는 고정된 표현의 거듭제곱의 흔적으로 표현된다: $\operatorname{tr}((\operatorname{ad}x)^m)$.
• 다음과 같이 $k$개의 함수 $f_1, \dots, f_k$로 정의된 완전교차는 $\mathbf{A}^n$에서 다항벡터장 $\Xi_X$가 단조성이 있으며 $[\Xi_X, \Xi_X] = 0$를 만족함으로써 파oisson 이차장이 된다.
• 함수 $f_i$는 $\Xi_X$에 의해 유도된 파oisson 괄호에서 중심이 되며, $i_{\Xi_X}(df_i) = 0$이므로 해밀토니언 벡터장이 0이 된다.
• 형식성 사상은 휠 모양의 그래프들의 합으로 표현되며, 각 그래프는 $\operatorname{tr}((\operatorname{ad}x)^{m_1}) \cdots \operatorname{tr}((\operatorname{ad}x)^{m_k})$에 비례하는 항을 기여한다.
• 잠재력에 의해 칼라비-유아 대수로의 구성이 일반화되며, 이 경우 변형 이론은 순환 호몰로지에 의해 지배되고 관련된 순환 전-칼라비-유아 구조를 형성한다.