[논문 리뷰] Calabi-Yau completions and orbifold equivalences

Nils Carqueville, Alexander Quintero Vélez|arXiv (Cornell University)|2015. 09. 02.

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

한 줄 요약

이 논문은 특정 조건 하에서 호모로지적으로 부드럽고 올바른 미분가환대수의 오비폴드 동치를 그들의 칼라비-유우 완비화로 끌어올리는 메커니즘을 수립한다. 만약 두 대수 사이에 가역적인 양자 차원을 가진 1-사상이 존재한다면, 동일한 동치가 그들의 칼라비-유우 완비화로 끌어올려지며, 양자 차원의 가역성에 의해 유도되는 범주적 동치를 유지함을 증명한다.

ABSTRACT

Calabi-Yau algebras are particularly symmetric differential graded algebras. There is a construction called `Calabi-Yau completion' which produces a canonical Calabi-Yau algebra from any homologically smooth dg algebra. Homologically smooth dg algebras also form a 2-category to which the construction of `equivariant completion' can be applied. In this theory two objects are called `orbifold equivalent' if there is a 1-morphism $X$ with invertible quantum dimensions between them. Any such relation entails a whole family of equivalences between categories. We show that an orbifold equivalence between two homologically smooth and proper dg algebras lifts to an orbifold equivalence between their Calabi-Yau completions under certain conditions on $X$.

연구 동기 및 목표

• 미분가환대수의 맥락에서 칼라비-유우 완비화와 오비폴드 동치 간의 상호작용을 조사한다.
• 원래는 위상적 양자장 이론에서 유래된 오비폴드 동치 이론을 칼라비-유우 완비화의 맥락으로 확장한다.
• 호모로지적으로 부드럽고 올바른 dg 대수 간의 오비폴드 동치가 그들의 칼라비-유우 완비화로 끌어올려질 수 있는 조건을 확립한다.
• Ginzburg 대수와 ADE 쿼리에 관한 결과를 일반화하여, 이를 등변 완비화와 양자 차원 이론에 연결한다.

제안 방법

• 켈러의 칼라비-유우 완비화 구축법을 활용하여, 임의의 호모로지적으로 부드러운 dg 대수로부터 텐서 대수 확장을 통해 n-칼라비-유우 대수를 생성한다.
• 문헌 [19]의 등변 완비화 구축법을 dg 대수의 2-category에 적용하여, 오비폴드 동치가 1-사상의 양자 차원이 가역일 때 정의되는 이중범주를 생성한다.
• dg 이중모듈러의 수반 결합 법칙을 활용하여, 호모로지와 텐서 함자를 연결함으로써 다양한 대수 간의 모듈러 구조를 다룰 수 있도록 한다.
• dg 대수의 이중범주 내에서 1-사상의 양자 차원을 이용해 오비폴드 동치를 정의하며, 이 불변량의 가역성에 의존한다.
• 이론을 랑드-긴즈부르크 모델과 ADE 유형의 쿼리에 적용하여, ADE 유형의 다인킨 쿼리에 관련된 Ginzburg 대수가 경로 대수의 칼라비-유우 완비화로 나타남을 보여준다.
• dg 이중모듈러를 $A^{{ extrm{op}}} \otimes_k B$ 위의 모듈러로 식별함으로써, 유도 범주 내에서 표준적인 호모로지 대수 도구를 사용할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 두 호모로지적으로 부드럽고 올바른 dg 대수 간의 오비폴드 동치가 그들의 칼라비-유우 완비화로 끌어올려질 수 있는 조건은 무엇인가?
• RQ2 1-사상의 양자 차원은 칼라비-유우 완비화 과정에서 어떻게 행동하며, 그 가역성이 유지되기 위한 조건은 무엇인가?
• RQ3 랑드-긴즈부르크 모델의 이중범주 내에서 오비폴드 동치 관계는 Ginzburg 대수를 통해 그들의 칼라비-유우 완비화로 끌어올릴 수 있는가?
• RQ4 오비폴드 동치에 의해 유도되는 범주적 동치는 칼라비-유우 완비화 구축 과정 동안 얼마나 유지되는가?
• RQ5 ADE 쿼리에 관련된 Ginzburg 대수와 그 기저 경로 대수의 오비폴드 동치류 사이의 관계는 무엇인가?

주요 결과

• 두 호모로지적으로 부드럽고 올바른 dg 대수 간의 오비폴드 동치는 원래 1-사상의 양자 차원이 가역적이라면, 그들의 칼라비-유우 완비화 간의 오비폴드 동치로 끌어올려진다.
• 칼라비-유우 완비화 구축법은 dg 대수의 2범주 구조를 유지하며, 수반의 존재와 양자 차원의 개념을 포함한다.
• ADE 유형의 다인킨 쿼리에 대해, 관련된 Ginzburg 대수들은 정확히 경로 대수 $kQ$의 칼라비-유우 완비화이며, 그 오비폴드 동치류는 기저 대수로부터 유도된다.
• 원래 이중범주 내의 1-사상 $X$의 양자 차원이 가역적이라는 조건 하에서 이 끌어올림 결과가 성립하며, 이는 이중모듈러 범주 내에서 양방향 역원의 존재를 보장한다.
• 이완비화를 이완된 쌍대 이중모듈러 위의 텐서 대수로 구성함으로써, 결과적으로 얻어진 대수가 $n$-칼라비-유우임을 보장하고, 유도 범주 내에서 필요한 쌍대 이sovom르피즘을 만족한다.
• 논문은 원래 이중범주 내의 오비폴드 동치와 칼라비-유우 완비화 내의 오비폴드 동치 사이에 표준적인 대응 관계를 수립하며, 유도된 전체 범주적 동치의 가족을 유지한다.