[논문 리뷰] Moduli Space of $\Lambda$-modules on Projective Deligne-Mumford Stacks

Hao Sun|arXiv (Cornell University)|2020. 03. 25.

Algebraic Geometry and Number Theory참고 문헌 34인용 수 5

한 줄 요약

이 논문은 기하학적 불변 이론(GIT)을 사용하여 사영 딜리-멈포드 스택 위의 $\Lambda$-모듈러스 공간을 구축하며, 이가 준사영 스킴임을 증명한다. 이는 시몬슨의 매끄럽고 사영적인 다양체 위에서의 $\Lambda$-모듈러스에 대한 이론을 더 넓은 범위인 대칭적이면서 사영적인 딜리-멈포드 스택으로 일반화한 것으로, $\Lambda$-몫-함수의 표현 가능성과 모듈러스 구축에 필수적인 유계성 및 준안정성 조건을 확립한다.

ABSTRACT

In this paper, we define $\\Lambda$-quot-functors on Deligne-Mumford stacks. We prove that the $\\Lambda$-quot-functor is representable by an algebraic space. Then, we construct the moduli space of $\\Lambda$-modules on a projective Deligne-Mumford stack. We prove that this moduli space is a quasi-projective scheme.

연구 동기 및 목표

• 매끄럽고 사영적인 다양체 위에서의 $\Lambda$-모듈러스 공간의 대수적 구축을 사영 딜리-멈포드 스택으로 확장하는 것.
• 특히 파라호릭 히긴즈 번들과 왜곡된 히긴즈 쌍에 대해 딜리-멈포드 스택 위에서 $\Lambda$-모듈러스 공간을 구축하는 열린 문제를 해결하는 것.
• 기본 대상이 되는 스킴 위에서 $\Lambda$-몫-함수의 표현 가능성과 $p$-안정성 조건 하에서의 $\Lambda$-모듈러스의 유계성을 증명하는 것.
• 매끄럽고 사영적인 에탈 코어가 존재하지 않는다고 가정하지 않고도, 시몬슨의 $p$-준안정 $\Lambda$-모듈러스 결과를 스택으로 일반화하는 것.

제안 방법

• 딜리-멈포드 스택 위에서 $\Lambda$-몫-함수를 정의하고 아르틴 기준을 사용하여 이 함수가 대상 스킴에 의해 표현됨을 증명한다.
• 수정된 힐베르트 다항식과 $p$-안정성 조건을 도입하여 $\Lambda$-모듈러스를 분석하고 유계성을 확보한다.
• 기하학적 불변 이론(GIT)을 적용하여 $\mathrm{SL}(V)$에 의한 Quot 스킴의 좋은 몫으로 모듈러스 공간을 구축한다.
• 하더-나라시마한 및 조르당-홀더 필터를 사용하여 $p$-준안정 $\Lambda$-모듈러스를 특성화하고 궤도 폐쇄 등가를 증명한다.
• 코homological 추정과 충분히 큰 $N$에 대한 전역 생성성에 기반하여 $p$-준안정성 하에서의 $\Lambda$-모듈러스의 유계성을 증명한다.
• 조르당-홀더 필터의 각 성분과 포화된 부분모듈러스 사이의 동형을 확립하여 $\mathcal{F}' \cong \bigoplus \mathscr{H}_\beta$ 를 도출한다.

실험 결과

연구 질문

• RQ1 사영 딜리-멈포드 스택 위에서 $\Lambda$-모듈러스 공간을 대수적으로 구축할 수 있는가? 이는 시몬슨의 결과를 확장하는가?
• RQ2 이러한 스택 위에서 $\Lambda$-몫-함수는 대상 스킴에 의해 표현 가능한가?
• RQ3 사영 딜리-멈포드 스택 위의 $p$-준안정 $\Lambda$-모듈러스의 모듈러스 공간은 존재하며, 준사영 스킴인가?
• RQ4 $\Lambda$-모듈러스를 통해 비아벨리안 호지 대응을 루트 스택과 일반적인 딜리-멈포드 스택으로 확장할 수 있는가?
• RQ5 스택 위에서 $\Lambda$-모듈러스의 유계성과 준안정성 조건을 보장하는 조건은 무엇이며, 이는 모듈러스 구축에 어떻게 기여하는가?

주요 결과

• 사영 딜리-멈포드 스택 위의 $\Lambda$-몫-함수는 대상 스킴에 의해 표현 가능하다.
• 고정된 수정된 힐베르트 다항식 $P$를 가진 $p$-준안정 $\Lambda$-모듈러스의 모듈러스 공간은 기본 대상 스킴 위의 준사영 스킴이다.
• 모듈러스 공간은 $p$-준안정 $\Lambda$-모듈러스의 $S$-등가류를 보편적으로 코레프레젠테이션하며, 점들은 $S$-등가류에 대응한다.
• 안정 부분공간 $\mathcal{M}_{\Lambda}^{s}$ 는 $p$-안정 $\Lambda$-모듈러스의 동형류에 대한 거칠은 모듈러스 공간이다.
• $p$-준안정 $\Lambda$-모듈러스의 조르당-홀더 필터는 이소모르피즘을 제외하고 유일하며, Quot 스킴 내의 궤도 폐쇄는 관련된 그레디에이트 대상의 이소모르피즘 클래스와 정확히 일치한다.
• 충분히 큰 $N$에 대해, 코homological 등식 $h^0(X, F_{\mathcal{E}}(\mathscr{I}_\beta)(N)) = h^0(X, F_{\mathcal{E}}(\mathscr{H}_\beta)(N))$ 는 $\mathscr{I}_\beta = \mathscr{H}_\beta$ 를 함의하며, 이는 $\mathcal{F}' \cong \bigoplus \mathscr{H}_\beta$ 의 동형을 보장한다.