[논문 리뷰] Equalities, congruences, and quotients of zeta functions in Arithmetic Mirror Symmetry

C. Douglas Haessig|ArXiv.org|2005. 01. 08.

Graph theory and applications참고 문헌 4인용 수 4

한 줄 요약

이 논문은 유한체 위에서 Calabi–Yau 초표면 $X_\lambda$와 그들의 거울 $Y_\lambda$의 제타 함수에 대한 합동 및 등식 결과를 증명함으로써 산술 거울 대칭 정리를 확장한다. $\gcd(n+1, q^k - 1) = 1$ 이면, $X_\lambda$와 $Y_\lambda$의 $\mathbb{F}_{q^k}$-유리점 수가 서로 같다; $\gcd$ 가 1을 초월하면, 둘 다 각각 $d$ 및 $\ell d$ 모듈로 특정 합동을 만족하며, $Y_\lambda$의 수는 $\psi^{n+1} = 1$ 여부에 따라 달라진다. 이러한 결과들은 두 제타 함수의 몫이 정수 계수를 가지며 특정 순수성 성질을 갖는 유리함수임을 시사한다.

ABSTRACT

In this paper, we partially extend recent results of Wan concerning the relationship between the zeta functions of a Calabi-Yau hypersurface and its (singular) mirror variety.

연구 동기 및 목표

• 논문 [2]의 산술 거울 정리를 $\gcd(n+1, q^k - 1) > 1$ 인 경우로 확장하는 것.
• 유한체 위에서 거울 쌍 $X_\lambda$와 $Y_\lambda$의 제타 함수 몫을 분석하는 것.
• 근이 기저 체에 포함되어 있을 때 $X_\lambda$와 $Y_\lambda$의 $\mathbb{F}_{q^k}$-유리점 수에 대한 합동을 확립하는 것.
• 조건 $(n+1) \mid q-1$ 없이도 제타 함수 몫이 정수 계수를 가지며 순수성 성질을 갖는 유리함수임을 보이는 것.
• 일부 조건 하에서 제타 함수 몫이 특정 무게와 차수를 가진 기약 다항식의 곱임을 보이는 것.

제안 방법

• Gauss 합을 사용하여 $X_\lambda$와 $Y_\lambda$의 $\mathbb{F}_{q^k}$-유리점 수를 문자합으로 표현한다.
• 군 $G$와 그 부분군의 작용을 적용하여 대칭성을 갖는 점을 세며, 자유 작용을 이용해 $d = \gcd(n+1, q^k - 1)$ 로 나누어떨어짐을 유도한다.
• 중국인의 나머지 정리를 적용하여 $n+1$ 이 소수 거듭제곱일 경우 $d$ 및 $\ell$ 모듈로 결과를 결합한다.
• 점 수를 세는 문제를 $\mathbb{A}^{n+1}$ 내에서의 대칭 시스템의 해를 세는 것으로 감소시키며, $x_1 + \cdots + x_{n+1} = (n+1)\psi$ 및 $x_1 \cdots x_{n+1} = 1$ 조건을 만족한다.
• $\ell$ 모듈로 궤도 수를 세어 $N_\lambda^*$ 에서는 모든 좌표가 동일한 해들만 기여하며, 이는 $\psi^{n+1} = 1$ 조건을 유도한다.
• 제타 함수의 함수방정식과 $Z(X_\lambda / \mathbb{F}_q, T)$ 의 구조를 적용하여 몫이 무게 $n-3$ 을 갖는 기약 다항식의 곱임을 보인다.

실험 결과

연구 질문

• RQ1 언제 $X_\lambda$와 $Y_\lambda$ 가 $\mathbb{F}_{q^k}$-유리점 수를 동일하게 가질까?
• RQ2 만약 $d = \gcd(n+1, q^k - 1) > 1$ 이면, $X_\lambda$와 $Y_\lambda$ 의 점 수는 $d$ 모듈로 어떻게 행동하는가?
• RQ3 제타 함수의 몫 $Z(X_\lambda / \mathbb{F}_q, T) / Z(Y_\lambda / \mathbb{F}_q, T)$ 의 구조는 무엇이며, 정수 계수 다항식인가?
• RQ4 제타 함수 몫이 다항식임을 보이는 데 있어 조건 $(n+1) \mid q-1$ 을 제거할 수 있는가?
• RQ5 만약 $n+1$ 이 소수 $\ell$ 의 거듭제곱이면, $\#Y_\lambda(\mathbb{F}_{q^k})$ 는 $\ell$ 모듈로 정확히 어떻게 행동하는가?

주요 결과

• $\gcd(n+1, q^k - 1) = 1$ 이면, $\#X_\lambda(\mathbb{F}_{q^k}) = \#Y_\lambda(\mathbb{F}_{q^k})$ 가 정확히 성립한다.
• $d = \gcd(n+1, q^k - 1) > 1$ 이면, $\#X_\lambda(\mathbb{F}_{q^k}) \equiv 0 \pmod{d}$ 이다.
• $n+1 = \ell^m$ 이면 소수 $\ell$ 이다, $\#X_\lambda(\mathbb{F}_{q^k}) \equiv 0 \pmod{\ell d}$ 이다.
• $\lambda = -(n+1)\psi$ 이면, $\psi^{n+1} = 1$ 이면 $\#Y_\lambda(\mathbb{F}_{q^k}) \equiv 1 \pmod{\ell}$ 이고, 그렇지 않으면 $0$ 이다.
• $\left( \frac{Z(X_\lambda / \mathbb{F}_q, T)}{Z(Y_\lambda / \mathbb{F}_q, T)} \right)^{(-1)^n}$ 는 $Q_i \in 1 + T\mathbb{Z}[T]$ 이며 순수 무게 $n-3$ 을 갖는 기약 다항식의 곱 $Q_i(q^k T^k)^{\rho_i / k}$ 로 표현된다.
• 지수의 합 $\rho_1 + \cdots + \rho_s$ 는 $\frac{n(n^n - (-1)^n)}{n+1} - n$ 와 같다.