[논문 리뷰] Polynomial point counts and odd cohomology vanishing on moduli spaces of stable curves

Jonas Bergström, Carel Faber외 1명|arXiv (Cornell University)|2022. 06. 15.

Advanced Algebra and Geometry인용 수 4

한 줄 요약

이 논문은 안정 곡선의 모듈리 공간 $\overline{\mathcal{M}}_{g,n}$ 의 유리 계수 특이 코homology 가 9 이하의 모든 홀수 차수에서 0이 됨을 증명하며, 장랜즈 프로그램과 연관된 오랫동안 남아있던 추측을 확인한다. 해세-바일 제타 함수와 유한체 위에서의 점 수 계산에 기반한 걸러내기 방법을 사용하여, $n \leq 3$ 인 $\overline{\mathcal{M}}_{4,n}$ 에 대해 다항식 형태의 점 수를 확립하였으며, 이는 베히렌드–그로텐디크–레프슈츠 추적 공식을 통해 코homological vanishing 을 이끌어낸다.

ABSTRACT

We compute the number of F_q-points on M_{4,n}, for n less than or equal to 3, and show that it is a polynomial in q, using a sieve based on Hasse-Weil zeta functions. As an application, we prove that the rational singular cohomology groups of moduli spaces of stable curves of genus g with n marked points vanish in all odd degrees less than or equal to 9, for all g and n. Both results confirm predictions of the Langlands program, via the conjectural correspondence with polarized algebraic cuspidal automorphic representations of conductor 1, which are classified in low weight. Our vanishing result for odd cohomology resolves a problem posed by Arbarello and Cornalba in the 1990s.

연구 동기 및 목표

• 1990년대 아르바레로와 코르날바가 제기한 안정 곡선의 모듈리 공간에서의 홀수 코homology 가 0이 되는 문제를 해결하기 위해.
• 콘덕터가 1인 홀수 무게의 자동형 양식이 존재하지 않아야만 비영 코homology 가 발생하지 않는다는 장랜즈 프로그램의 예측을 확인하기 위해.
• $\overline{\mathcal{M}}_{4,n}$ 에 대해 $n \leq 3$ 인 경우에 대해 해세-바일 제타 함수에 기반한 걸러내기 방법을 사용하여, $\mathbb{F}_q$ 위에서의 다항식 형태의 점 수를 확립하기 위해.
• 이 점 수를 바탕으로 에탈 코homology와 점 수의 대응 관계를 이용하여 코homological vanishing 을 유도하기 위해, 특히 $H^9(\overline{\mathcal{M}}_{4,n})$ 에 대해.
• 아르바레로와 코르날바의 귀납적 틀을 완성하기 위해, 특히 몇 개의 표본점이 있는 종수 4의 경우를 포함하여 차수 9까지의 새로운 기저 사례를 검증하기 위해.

제안 방법

• 알제브라적 스택 위에서 $\mathbb{F}_q$-점의 수와 $\ell$-adic 코hom로의 프로베니우스의 그레이드 추적 사이의 관계를 설정하기 위해 베히렌드–그로텐디크–레프슈츠 추적 공식을 적용하기 위해.
• 특히 덜 데인–무마르 스택과 양호한 기하적 성질을 갖는 경우에 대해 다항식 형태의 점 수와 홀수 차수의 $\ell$-adic 코homology 가 0이 되는 것의 등가성을 이용하기 위해.
• 해세-바일 제타 함수에 기반한 걸러내기 방법을 구현하여, $n \leq 3$ 인 경우에 대해 $\#\overline{\mathcal{M}}_{4,n}(\mathbb{F}_q)$ 가 $q$ 에 대한 다항식으로 표현됨을 계산하기 위해.
• 대칭군 작용과 슈어 함수를 활용하여 경계의 스트라타에서의 등변 점 수를 계산하고, 고페르츠–카프란프 공식을 이용하여 곡선의 모듈리에 대해.
• 포incare dualit와 $q=1$ 에서의 평가를 이용하여 점 수 다항식의 알려지지 않은 계수를 결정함으로써 전체 다항식 표현을 완성하기 위해.
• 모듈리 공간 $\mathcal{M}_4$ 위의 국소 시스템 $\mathbb{V}_\lambda$ 에서의 프로베니우스 추적 데이터를 코homological 불변량으로 변환하여, 점 수와 컴act support된 오일러 지표 사이의 연결 고리를 만들기 위해.

실험 결과

연구 질문

• RQ1 모듈리 공간 $\overline{\mathcal{M}}_{g,n}$ 의 유리 계수 특이 코homology $H^k(\overline{\mathcal{M}}_{g,n})$ 는 모든 홀수 $k \leq 9$ 에 대해 0이 되는가?
• RQ2 $n \leq 3$ 인 경우에 대해 $\overline{\mathcal{M}}_{4,n}$ 의 $\mathbb{F}_q$-점 수가 $q$ 에 대한 다항식으로 표현될 수 있는가?
• RQ3 $\overline{\mathcal{M}}_{4,n}$ 의 다항식 형태의 점 수가 홀수 차수 코homology 의 0이 되는 것을 의미하는가, 특히 $H^9(\overline{\mathcal{M}}_{4,n})$ 에 대해?
• RQ4 장랜즈 추측, 즉 콘덕터가 1인 홀수 무게의 커푸시드 자동형 표현이 존재하지 않으며, 이는 이외에 비영 코homology 를 유도할 수 있음에 따라 일관된가?
• RQ5 아르바레로와 코르날바의 귀납적 방법이 종수 4에서의 새로운 기저 사례를 확보함으로써 $k=9$ 에까지 확장될 수 있는가?

주요 결과

• 모듈리 공간 $\overline{\mathcal{M}}_{g,n}$ 의 유리 계수 특이 코homology $H^k(\overline{\mathcal{M}}_{g,n})$ 는 모든 홀수 $k \leq 9$ 에 대해 0이 되며, 이는 1990년대 아르바레로와 코르날바가 제기한 문제를 해결한다.
• $n \leq 3$ 인 경우에 대해 $\overline{\mathcal{M}}_{4,n}$ 의 $\mathbb{F}_q$-점 수는 다항식 형태로 표현되며, 이는 해세-바일 제타 함수에 기반한 걸러내기 방법과 스트라타에서의 점 수 계산을 통해 확보되었다.
• $n \leq 3$ 인 경우에 대해 $H^9(\overline{\mathcal{M}}_{4,n})$ 가 0이 되며, 다항식 형태의 점 수와 에탈 코homology–점 수 대응 관계를 통해 확인되었다.
• $\overline{\mathcal{M}}_{4,3}$ 의 점 수는 차수 6까지 $s_3$-성분에 대해 $q^{12} + 2q^{11} + 3q^{10} - 2q^9 - 4q^8 + 2q^7 - q^6 - q^3 + 2q^2$ 로 결정되었으며, $s_{2,1}$ 과 $s_{1^3}$ 에 대해서도 유사한 표현이 존재한다.
• $\partial\mathcal{M}_{4,3}$ 의 등변 점 수는 대칭 함수의 계수를 포함하여 명시적으로 계산되었으며, 이는 $\overline{\mathcal{M}}_{4,3}$ 의 전체 점 수를 재구성하는 데 사용되었다.
• $\mathcal{M}_4$ 위의 국소 시스템 $\mathbb{V}_\lambda$ 에서의 프로베니우스 추적은 여러 $\lambda$ 에 대해 계산되었으며, 예를 들어 $\mathrm{Tr}(F_q, H^\bullet_c(\mathcal{M}_4, \mathbb{V}_1)) = q^7 + q^2$ 와 $\mathrm{Tr}(F_q, H^\bullet_c(\mathcal{M}_4, \mathbb{V}_{1,1})) = q^9 - q^8 - q^7 - q^2$ 를 포함한다. 이는 코homological 구조를 확인한다.