[논문 리뷰] Analytification of mapping stacks

Julian J. Holstein, Mauro Porta|arXiv (Cornell University)|2018. 12. 21.

Homotopy and Cohomology in Algebraic Topology참고 문헌 2인용 수 7

한 줄 요약

이 논문은 복소기하학과 비아르키메데스 기하학에서 유도된 사상 스택의 구성이 해석화와 가환성을 만족하는 조건을 설정한다. GAGA 및 탄나키안 성질을 만족하는 유도 스택에 대해, 사상 스택의 해석화가 해석화된 사상 스택과 동치임을 증명하며, 이는 유도 모듈리 이론을 해석적 환경으로 확장한다.

ABSTRACT

Derived mapping stacks are a fundamental source of examples of derived enhancements of classical moduli problems. For instance, they appear naturally in Gromov-Witten theory and in some branches of geometric representation theory. In this paper, we show that in many cases the mapping stacks construction commutes with the (complex or non-archimedean) analytification functor. Along the way, we establish several properties of the stack of analytic perfect complexes and study some incarnations of analytic Tannaka duality.

연구 동기 및 목표

• 유도된 사상 스택이 복소기하학과 비아르키메데스 해석기하학에서 해석화와 가환성을 만족하는 조건을 설정하는 것.
• 주요 기하 스택들인 고정된 스택과 재수성군의 분류 스택과 같은 것들에 대해 GAGA 성질을 검증하는 것.
• 탄나키 안정성을 분석적 환경으로 확장하고, 탄나키안 목표를 가진 사상 스택에 적용하는 것.
• 적절한 유한성 및 대칭 조건 하에서 해석화가 유도된 사상 스택의 기하적 및 호모토피적 구조를 유지함을 증명하는 것.

제안 방법

• 유도된 해석기하학을 사용하여 유도된 해석적 스택과 유도된 아핀 스킴에서 유도된 해석적 공간으로의 유도된 해석화 함자를 정의한다.
• 해석화의 보편 성질을 적용하여 대수적 및 해석적 환경에서의 사상 스택을 연결한다.
• 해석적 완전 복합체의 스택과 그 성질을 활용하여 사상 스택의 해석화를 제어한다.
• 중첩된 유도된 스테인 공간 위에서 코herent sheaf의 코homology에 대한 평탄성 및 협화 결과를 확립하여 GAGA 조건을 검증한다.
• 분석적 환경에서의 탄나키 안정성을 사용하여 탄나키안 목표를 가진 사상 스택을 특성화한다.
• 스펙트럴 시퀀스와 카르탕의 정리 B를 사용하여 유도된 스테인 공간에서 코homological 계산을 단순화한다.

실험 결과

연구 질문

• RQ1 해석화 함자가 유도된 사상 스택의 구성과 가환성을 만족하는 조건은 무엇인가?
• RQ2 어떤 유도 스택이 GAGA 성질을 만족하여 그들의 유도된 코herent sheaf의 분류가 해석화 하에 유지되는가?
• RQ3 탄나키 안정성이 유도된 분석적 환경으로 어떻게 일반화되어 탄나키안 목표를 가진 사상 스택을 특성화할 수 있는가?
• RQ4 해석화된 사상 스택이 해석화된 사상 스택과 동치가 되기 위한 소스 스택과 타겟 스택에 필요한 충분조건은 무엇인가?
• RQ5 기하적 성질인 고정성 또는 재수성은 유도된 분석적 맥락에서 GAGA 성질을 유도하는 데 어느 정도 기여하는가?

주요 결과

• 소스 스택이 GAGA 성질을 만족하고 타겟이 탄나키안일 경우, 유도된 사상 스택의 해석화는 해석화된 사상 스택과 동치이다.
• 해석적 완전 복합체의 스택이 기하학적 성질을 가지며 해석화와 호환됨을 보여주어 핵심 기술적 도구를 제공한다.
• k 위의 고정된 기하 스택에 대해 GAGA 성질이 성립하여, 해석화가 코herent sheaf의 유도 분류에 대해 동치를 유도함을 보장한다.
• 제시된 조건 하에(특히 해석화 함자의 t-정확성 및 충실성 포함), 사상 스택의 해석화에서 해석화된 사상 스택으로의 자연스러운 사상은 동치이다.
• 보편 GAGA 성질은 사상 스택의 해석화가 해석적 사상 스택과 동치임을 의미하며, 이는 더 넓은 소스 클래스로 결과를 확장한다.
• 유도된 스테인 공간에서의 코homological 및 평탄성 추론을 통해 중요한 예시들(재수성군의 분류 스택, de Rham/Betti/Dolbeault 스택 등)에 대해 GAGA 성질을 검증하였다.