[논문 리뷰] Moduli of non-commutative polarized schemes

Kai Behrend, Behrang Noohi|arXiv (Cornell University)|2015. 07. 25.

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

한 줄 요약

이 논문은 기하학적 불변량 이론을 사용하여 안정적인 등급을 가진 대수의 유도된 모듈리 스택을 구성하며, 호일베르트 안정성의 비가환 대응을 수립한다. 이는 이러한 대수의 유도된 변형 이론이 등급을 가진 호흐실트 코homology에 의해 지배됨을 보이며, 이 프레임워크에서의 안정성이 가환 경우의 고전적 호일베르트 안정성으로 복원됨을 증명한다.

ABSTRACT

We construct, using geometric invariant theory, a quasi-projective Deligne-Mumford stack of stable graded algebras. We also construct a derived enhancement, which classifies twisted bundles of stable graded A-infinity-algebras. The tangent complex of the derived scheme is given by graded Hochschild cohomology, which we relate to ordinary Hochschild cohomology. We obtain a version of Hilbert stability for non-commutative projective schemes.

연구 동기 및 목표

• 고전적 호일베르트 안정성의 개념을 비가환 프로젝티브 스킴로 확장하기 위해.
• 기하학적 불변량 이론을 사용하여 안정적인 등급을 가진 대수를 분류하는 유도된 모듈리 스택을 구성하기 위해.
• 비가환 스킴의 유도된 변형 이론을 등급을 가진 호흐실트 코homology와 연결하기 위해.
• 안정적인 대수의 유도된 모듈리 공간이 고전적 호일베르트 안정 프로젝티브 다양체의 스택을 일반화함을 수립하기 위해.
• 동차 좌표의 대수를 통해 비가환 프로젝티브 스킴의 모듈리에 대한 프레임워크를 제공하기 위해.

제안 방법

• 기울어진 미분 등급 리 대수를 게이지 군 작용에 의해 몫으로 취함으로써 등급을 가진 대수의 유도된 스택을 구성한다.
• 변형 이론을 기술하기 위해 제르스텐하버 브라켓과 머러-카르탕 방정식을 사용한다.
• 등급을 가진 호흐실트 코hom로 유도된 모듈리 스택의 탄성 복합체를 정의하며, 이를 일반 호흐실트 코hom으로 연결한다.
• 힐베르트-무프라드 기준과 시험 구성법을 적용하여 등급을 가진 대수의 안정성을 정의한다.
• q-안정성과 유한 차원 단절 $\widetilde{X}_{\leq q}$의 프로젝티브 극한을 통한 안정성을 도입한다.
• A_1의 분할을 통한 안정성 조건의 동치를 이용하여 유한 차원의 시험 사례로 축소한다.

실험 결과

연구 질문

• RQ1 비가환 프로젝티브 스킴의 모듈리 공간을 대수적 기하학을 통해 어떻게 정의할 수 있는가?
• RQ2 비가환 프로젝티브 스킴의 유도된 변형 이론은 무엇이며, 그 좌표 대수와 어떻게 관련이 있는가?
• RQ3 기하학적 불변량 이론을 통해 호일베르트 안정성이 비가환 등급 대수로 일반화될 수 있는가?
• RQ4 안정적인 등급 대수의 유도된 모듈리 스택이 유한 유형을 갖는 조건은 무엇인가?
• RQ5 모듈리 스택의 유도된 구조가 기저 비가환 스킴의 기하학을 어떻게 반영하는가?

주요 결과

• 등급을 가진 대수의 유도된 변형 이론은 그 이동된 등급 호흐실트 코homology에 의해 지배되며, $H^i(T_X|_P) = HH^{i+1}_{\text{gr}}(A)$이다.
• 안정적인 등급 대수의 모듈리 스택 $\widetilde{X}^s$는 유한 차원 기하학적 불변량 이론 몫 $\widetilde{X}_{\leq q}$의 프로젝티브 극한으로 구성된다.
• 대수가 가환일 경우 등급 대수의 안정성은 대응하는 가환 프로젝티브 스킴의 호일베르트 안정성과 동치이다.
• 도수 1에서 생성되는 대수의 경우, $A_1$의 분할을 통한 안정성 테스트가 가능하여 유한 차원 조건으로 축소된다.
• 3차원 이차 아르틴-슐레르 정규 대수는 제안된 안정성 조건 하에서 준안정적이고 일반적으로 안정적이다.
• 스택 $\widetilde{X}^s$는 비가환 프로젝티브 스킴의 모듈리 스택으로 기대되며, 유리한 경우 어떤 $N$에 대해 $\widetilde{X}^s = \widetilde{X}^s_{\leq N}$이 된다.