[논문 리뷰] Non-commutative derived moduli prestacks

J. P. Pridham|arXiv (Cornell University)|2020. 08. 26.

Algebraic structures and combinatorial models참고 문헌 28인용 수 4

한 줄 요약

이 논문은 미분가환대수의 유도된 비가환(Non-Commutative, NC) 모듈리 형식론을 제안하며, 내림내림(Descent)에 의존하지 않는 유도된 NC 프리스택의 프레임워크를 구축한다. 아이디포텐트 매개변수화와 호모토피 에탈 사상으로 앤틸라스를 구성하며, 스택스터 DGAAs를 유도된 비가환 리 대수다발의 일반화로 도입하여, 강성 점을 통한 불변량 복원과 함께 이동된 이중 심플렉틱 및 이중 파울슨 구조를 유도된 NC 프리스택으로 확장할 수 있게 한다.

ABSTRACT

We introduce a formalism for derived moduli functors on differential graded associative algebras, which leads to non-commutative enhancements of derived moduli stacks and naturally gives rise to structures such as Hall algebras. Descent arguments are not available in the non-commutative context, so we establish new methods for constructing various kinds of atlases. The formalism permits the development of the theory of shifted bi-symplectic and shifted double Poisson structures in the companion paper.

연구 동기 및 목표

• 유도된 비가환 대수기하학을 위한 유도된 모듈리 형식론을 개발하고, 이를 미분가환대수(Differential Graded Associative Algebras, DGAAs) 기반으로 하여, 기존의 가환 설정을 초월한다.
• 비가환 설정에서 내림내림의 부재를 극복하기 위해 아이디포텐트 매개변수화와 호모토피 에탈 사상으로 앤틸라스를 구성한다.
• 스택스터 DGAAs의 새로운 프레임워크를 사용하여, 특히 완전 복합체와 프로젝티브 모듈러의 모듈리에 대해, 유도된 NC 아르틴 프리스택을 정의하고 연구한다.
• 스택스터 DGAAs의 강성 핵을 통해 이동된 이중 심플렉틱 및 이중 파울슨 구조를 유도된 NC 프리스택으로 확장할 수 있도록 한다.
• 스택스터 DGAA 프레임워크에서 유도된 NC 프리스택의 불변량이 그들의 강성 점들로부터 복원될 수 있음을 보이며, 이를 통해 구조 분류 문제를 에탈 함의성으로 환원한다.

제안 방법

• 비음수 차수를 가진 DGAAs에 대한 함의로 작용하는 유도된 NC 프리스택을 위한 형식론을 제안하며, 이는 CDGAs 상에서 가환 유도 모듈리 함의로 제한되고, 아르틴ian DGAAs 상에서는 비가환 변형 함의로 제한된다.
• 스택스터 DGAAs—유도된 구조를 위한 하나의 차수와 스택스터 구조를 위한 다른 하나의 차수를 가진 이중차수 가환대수—를 도입하며, 동치관계는 유도된 차수에 상대적으로 정의된다.
• 유도된 NC 프리스택 $ F $에 관련된 유도된 프리스택 $ D_*F $를 정의하고, 그 강성 핵 $ (D_*F)_{\mathrm{rig}} $를 분리하며, 이는 적절히 에탈인 스택스터 DGAAs로부터의 사상에 해당하는 점들로 구성된다.
• 호모토피 코일리미트와 유도된 왼쪽 수반 함의를 사용하여 $ D_*F \simeq \mathbf{L}\theta^*(D_*F)_{\mathrm{rig}} $ 를 증명함으로써, $ D_*F $ 가 그 강성 부분에 의해 결정됨을 보장한다.
• 완전 복합체와 프로젝티브 모듈러의 모듈리에 대해, DGAAs 내의 아이디포텐트를 매개변수화하여 앤틸라스를 구성함으로써 이 이론을 적용한다.
• 함의 $ F $ 에서 구조 분류 함의 $ G $ 로의 사상은 $ D_*F $ 상의 구조에 대응하며, 핵심 결과로 $ D_*G $ 의 호모토피 에탈 함의성만이 필요로 함을 보인다.

실험 결과

연구 질문

• RQ1 내림내림이 비가환 설정에서 실패하므로, 내림내림에 의존하지 않고 유도된 모듈리 함의를 비가환 설정으로 일반화할 수 있는 방법은 무엇인가?
• RQ2 유도된 대수기하학에서 스무스 앤틸라스 또는 리 대수다발의 적절한 비가환 일반화 형태는 무엇인가?
• RQ3 내림내림이 이용 불가능한 상황에서, 유도된 NC 프리스택에 대해 이동된 이중 심플렉틱 및 이중 파울슨 구조를 어떻게 정의할 수 있는가?
• RQ4 스택스터 DGAA 프레임워크에서 유도된 NC 프리스택의 불변량은 그들의 강성 점들로부터 복원될 수 있는가?
• RQ5 유도된 NC 프리스택 $ F $, 그에 관련된 스택스터 DGAA 프리스택 $ D_*F $, 그리고 강성 핵 $ (D_*F)_{\mathrm{rig}} $ 사이의 관계는 무엇인가?

주요 결과

• DGAA 위에서 프로젝티브 모듈러와 완전 복합체의 모듈리 함의가 유도된 NC 아르틴 ∞-프리스택임을 보이며, 새로운 형식론의 기초적인 예를 확립한다.
• 비가환 설정에서 내림내림이 필요 없도록, DGAAs 내의 아이디포텐트를 매개변수화하는 새로운 방법을 개발하여 앤틸라스를 구성한다.
• 유도된 NC 프리스택 $ F $에 관련된 프리스택 $ D_*F $ 는 그 강성 핵의 유도된 왼쪽 수반 함의와 동치임을 보이며, $ D_*F \simeq \mathbf{L}\theta^*(D_*F)_{\mathrm{rig}} $ 라고 표현된다.
• 강성 핵 $ (D_*F)_{\mathrm{rig}} $ 는 $ F $ 의 모든 본질적 불변량을 포괄하며, 이에 따라 $ F $ 상의 구조 분류 문제를 $ (D_*F)_{\mathrm{rig}} $ 상의 구조 분류 문제로 환원할 수 있다.
• 함의 $ F $ 에서 구조 분류 함의 $ G $ 로의 사상과 $ D_*F $ 에서 $ D_*G $ 로의 사상 사이에 자연스러운 약한 동치를 확립하며, 이는 $ D_*G $ 의 호모토피 에탈 함의성만이 필요로 함을 보여준다.
• 이 프레임워크를 통해, 동반 논문 [Pri9] 에서 보여진 바와 같이, 이동된 이중 파울슨 및 이중 심플렉틱 구조를 유도된 NC 프리스택으로 확장할 수 있다.