[논문 리뷰] The homology of moduli stacks of complexes

Jacob Gross|arXiv (Cornell University)|2019. 07. 07.

Algebraic structures and combinatorial models참고 문헌 77인용 수 7

한 줄 요약

이 논문은 곡선, 표면, 토릭, 플라그 다양체 등과 같은 클래스 D에 속하는 매끄럽고 복소수 계수의 프로젝티브 다양체 위에서 완전 복소수의 모듈리 스택의 유리수 호모로지 군을 계산하며, 이는 위상수학적 K-이론 군 $K^0_{\rm top}(X^{ m an}) \oplus K^1_{\rm top}(X^{ m an})$ 에서 생성된 일반화된 슈퍼 래티스 버텍스 대수와 동형임을 보여준다. 이 구성은 유니버설 복소수의 차수와 대칭화된 오일러 형식을 통해 조이스의 버텍스 대수 프레임워크를 실현하며, 도널드슨-토머스 이론에서의 벽-크로싱 공식에 대한 구체적 실현을 제공한다.

ABSTRACT

We compute the rational homology of the moduli stack $\mathcal{M}$ of objects in the derived category of certain smooth complex projective varieties $X$ including toric varieties, flag varieties, curves, surfaces, and some 3- and 4-folds. We identify Joyce's vertex algebra construction on $H_\ast(\mathcal{M},\mathbb{Q})$ with a generalized super-lattice vertex algebra associated to $K^0_{ m top}(X^{ m an}) \oplus K^1_{ m top}(X^{ m an})$.

연구 동기 및 목표

• 매끄럽고 복소수 계수의 프로젝티브 다양체에서 클래스 D에 속하는 완전 복소수의 모듈리 스택 $\mathcal{M}$ 의 유리수 호모로지를 계산하는 것.
• 유리수 호모로지 군 $H_*(\mathcal{M}, \mathbb{Q})$ 에서 조이스의 버텍스 대수 구조가 $K^0_{\rm top}(X^{\rm an}) \oplus K^1_{\rm top}(X^{\rm an})$ 에 대한 일반화된 슈퍼 래티스 버텍스 대수와 일치함을 밝혀내는 것.
• 차수와 오일러 형식을 이용하여 버텍스 대수 연산의 명시적 실현을 제공함으로써, DT 이론에서의 벽-크로싱 공식에의 응용을 가능하게 하는 것.
• 버텍스 대수 구조가 군 호모로지 계열 $[\epsilon] \in H^2(K^0_{\rm sst}(X), \mathbb{Z}/2\mathbb{Z})$ 의 선택에 독립적임을 확립하는 것.

제안 방법

• 모듈리 스택 $\mathcal{M}$ 의 베티 실현을 사용하여, 이가 반-위상수학적 K-이론 공간 $\Omega^\infty K^{\rm sst}(X)$ 와 유리수 호모토피 유형을 공유함을 보임.
• 밀너-무어 정리를 적용하여, 베티 수가 유한할 경우 유리수 호모로지를 $\mathbb{Q}[K^0_{\rm sst}(X)] \otimes {\rm SSym}_{\mathbb{Q}}[\bigoplus_{i>0} K^i_{\rm sst}(X)]$ 로 계산함.
• 클래스 D에 속하는 다양체에 대해 $i > 0$ 일 때 $K^i_{\rm sst}(X) \cong K^i_{\rm top}(X^{\rm an})$ 임을 이용하여, 위상수학적 K-이론이 호모로지를 계산하는 데 기여함.
• 유니버설 복소수 $\mathbb{E}^\bullet$ 를 이용하여, $X \times \mathcal{M}$ 위에서 버텍스 대수 구조를 구성함. 이는 $\mathcal{E}{\rm xt}^\bullet = \mathbb{R}\pi_* (\pi^*\mathbb{E}^\bullet)^\vee \otimes^L \pi^*\mathbb{E}^\bullet$ 로 정의됨.
• 계수들이 오일러 형식 $\chi$ 또는 그 대칭화된 형태인 $\chi_{\rm sym}$ 에 의해 결정되는 $\mu_{\alpha,w,k}$ 를 포함한, 캡 곱과의 투영을 통한 $Y(u_{0,v,1}, z)$ 를 정의함.
• 장 연산이 버텍스 대수 공리계와 일치하도록 하여, 그라디에이티드 버텍스 대수의 동형을 확립함. 이는 $\hat{H}_*(\mathcal{M}, \mathbb{Q}) \cong V_{K^0_{\rm top}(X^{\rm an}) \oplus K^1_{\rm top}(X^{\rm an})}$ 를 통해 이루어짐.

실험 결과

연구 질문

• RQ1 클래스 D에 속하는 매끄럽고 복소수 계수의 프로젝티브 다양체 $X$ 에 대해, 완전 복소수의 모듈리 스택 $\mathcal{M}$ 의 유리수 호모로지 $H_*(\mathcal{M}, \mathbb{Q})$ 는 위상수학적 K-이론과 어떻게 관련이 있는가?
• RQ2 조이스의 버텍스 대수 구조가 $H_*(\mathcal{M}, \mathbb{Q})$ 에서 차수와 오일러 형식을 이용해 명시적으로 실현될 수 있는가?
• RQ3 클래스 D에 속하는 $X$ 에 대해 $H_*(\mathcal{M}, \mathbb{Q})$ 에 존재하는 정확한 버텍스 대수의 구조는 무엇이며, 이는 $X$ 가 칼라비-유아 또는 아닐 경우에 따라 어떻게 달라지는가?
• RQ4 $\hat{H}_*(\mathcal{M}, \mathbb{Q})$ 에서의 장 연산 $Y(u_{0,v,1}, z)$ 가 그라디에이티드 버텍스 대수의 공리계와 어떻게 일치하는가?
• RQ5 결과로 얻어진 버텍스 대수 구조는 부호 선택 $\epsilon_{\alpha,\beta} = (-1)^{\chi(\alpha,\beta)}$ 에 영향을 받는가?

주요 결과

• 매끄럽고 복소수 계수의 프로젝티브 다양체 $X$ 가 클래스 D에 속할 경우, 유리수 호모로지 군 $H_*(\mathcal{M}, \mathbb{Q})$ 는 $\mathbb{Q}[K^0_{\rm sst}(X)] \otimes {\rm SSym}_{\mathbb{Q}}[\bigoplus_{i>0} K^i_{\rm sst}(X)]$ 와 동형이며, $i > 0$ 일 때 $K^i_{\rm sst}(X) \cong K^i_{\rm top}(X^{\rm an})$ 이다.
• 이동된 호모로지 군 $\hat{H}_*(\mathcal{M}, \mathbb{Q})$ 는 오일러 형식 $\chi$ 와 함께 $K^0_{\rm top}(X^{\rm an}) \oplus K^1_{\rm top}(X^{\rm an})$ 에 대한 일반화된 슈퍼 래티스 버텍스 대수와 동형인 그라디에이티드 버텍스 대수 구조를 지닌다.
• 만약 $X$ 가 $2n$-칼라비-유아일 경우, 버텍스 대수는 오일러 형식 $\chi$ 를 사용하지만, 그렇지 않은 경우는 대칭화된 형식 $\chi_{\rm sym}$ 을 사용한다.
• $Y(u_{0,v,1}, z)$ 장은 $\eta \in \hat{H}_*(\mathcal{M}_\alpha)$ 에 대해 $u_{\alpha,v,i+1}\eta$ 와 $\mu_{\alpha,w,k}$ 를 포함한 항들의 합으로 작용하며, 이는 $\chi(v,w)$ 또는 $\chi_{\rm sym}(v,w)$ 에 의해 가중치가 매겨진다.
• 버텍스 대수 동형 $\hat{H}_*(\mathcal{M}, \mathbb{Q}) \cong V_{K^0_{\rm top}(X^{\rm an}) \oplus K^1_{\rm top}(X^{\rm an})}$ 는 부호 선택 $\epsilon_{\alpha,\beta}$ 에 대해 동형 사상의 관점에서 독립적이다.
• 이 구성은 특히 $Y(u_{0,v,1}, z)$ 장과 그의 $n$-차 수준 성분을 통해, 도널드슨-토머스 이론에서의 벽-크로싱 공식을 버텍스 대수 연산을 통해 명시적으로 실현한다.