[논문 리뷰] Matroids, motives and conjecture of Kontsevich

Prakash Belkale, Patrick Brosnan|ArXiv.org|2000. 12. 20.

Advanced Combinatorial Mathematics참고 문헌 13인용 수 4

한 줄 요약

이 논문은 유한체 $\mathbb{F}_q$ 위에서 그래프의 변 공간에서 카를로프 다항식의 영점의 여집합에 속하는 점의 수가 $q$에 대한 다항식이라는 콘체비치의 추측을 반증한다. 매트로이드 표현 체계와 민네프의 보편성 정리에 기반하여, 저자들은 이러한 체계가 $\mathbb{Z}$ 위에서 가능한 모든 산술적 행동을 생성함을 보이며, 이는 이러한 체계의 제타 함수가 유리 함수로 제한되지 않음을 의미한다. 따라서 추측을 반박하고, 이러한 그래프 여집합의 모티빅 클래스가 $\mathbb{Z}$ 위의 전체 모티빅 링을 생성함을 입증한다.

ABSTRACT

Let G be a finite connected graph. The Kirchhoff polynomial of G is a certain homogeneous polynomial whose degree is equal to the first betti number of G. These polynomials appear in the study of electrical circuits and in the evaluation of Feynman amplitudes. Motivated by work of D. Kreimer and D. J. Broadhurst associating multiple zeta values to certain Feynman integrals, Kontsevich conjectured that the number of zeros of a Kirchhoff polynomial over the field with q elements is always a polynomial function of q. We show that this conjecture is false by relating the schemes defined by Kirchhoff polynomials to the representation spaces of matroids. Moreover, using Mnev's universality theorem, we show that these schemes essentially generate all arithmetic of schemes of finite type over the integers.

연구 동기 및 목표

• 유한체 위에서 그래프의 변 공간에서 카를로프 다항식의 영점의 여집합의 산술적 성격을 조사한다.
• 콘체비치의 추측, 즉 이러한 여집합 위의 $\mathbb{F}_q$-유리점 수가 $q$에 대한 다항식인지 테스트한다.
• 이러한 체계가 추측이 암시하는 바대로 혼합 타이트 모티브에 국한되는지 여부를 확인한다.
• 매트로이드 표현 공간과의 연관성을 통해 이러한 체계의 산술적 일반성을 확립한다.
• 이러한 그래프 여집합의 모티빅 클래스가 $\mathbb{Z}$ 위의 전체 모티빅 링을 생성함을 증명한다.

제안 방법

• 그래프 $G$에 대해 $Y_G$를 $\mathbb{A}^E$에서 카를로프 다항식 $P_G$의 영점의 여집합으로 정의하고, 그 점 수 함수 $[Y_G](q) = \#Y_G(\mathbb{F}_q)$를 연구한다.
• 스탠리의 재구성에 따라 이중 다항식 $Q_G = \sum_T \prod_{e \in T} x_e$ 를 사용하여 $X_G = \mathbb{A}^E \setminus V(Q_G)$ 를 정의하고, $[X_G]$가 다항식일 조건과 $[Y_G]$가 다항식일 조건이 동치임을 보인다.
• 민네프의 보편성 정리를 적용하여 임의의 $\mathbb{Z}$ 위의 체계를 매트로이드의 표현 체계에 매립한다.
• 모든 $n > 1$에 대해 $q^n - q$로 생성되는 $\mathbb{Z}[q]$ 내의 포화된 곱셈 체계 $\mathsf{S}$를 구성하고, $\mathsf{R} = \mathsf{S}^{-1}\mathbb{Z}[q]$ 를 정의하여 $\mathcal{Q}$ 위의 유리 함수를 다룬다.
• $[Y_G]$에 의해 생성되는 $\mathsf{R}$-모듈이 전체 모티빅 링 $\operatorname{Mot}$ 와 일치함을 보이며, 삼각형에 대한 귀납법과 $I_v$, $D$, $R_v$ 등의 연산을 사용한다.
• 특정 소수에서 값이 0이 되는 경우(예: $X = \{px = 0\} \subset \mathbb{A}^1_\mathbb{Z}$) $[X]$가 유리 함수가 아니라는 사실을 이용하여, 일반적으로 $[Y_G]$가 다항식일 수 없다는 것을 보인다.

실험 결과

연구 질문

• RQ1 모든 유한 그래프에 대해 카를로프 다항식의 영점 여집합 위의 $\mathbb{F}_q$-유리점 수가 $q$에 대한 다항식인가?
• RQ2 이러한 그래프 여집합의 모티빅 클래스가 $\mathbb{Z}$ 위의 전체 모티빅 링을 생성하는가?
• RQ3 콘체비치의 추측이 암시하는 바대로 이러한 체계의 산술적 성질이 혼합 타이트 모티브의 성질로 국한되는가?
• RQ4 민네프의 보편성 정리가 암시하는 lin, 임의의 $\mathbb{Z}$ 위의 체계가 매트로이드의 표현 체계에 매립될 수 있는가?
• RQ5 점 수 함수 $Y_G$와 $X_G$ 사이의 정확한 관계는 무엇이며, 이는 모티빅 클래스와 어떻게 관련되는가?

주요 결과

• 콘체비치의 추측은 잘못되었다: 매트로이드 체계를 통해 반례를 구성함으로써, $[Y_G]$가 $q$에 대한 다항식이 아닌 유한 그래프 $G$가 존재한다.
• $\mathsf{R}$-모듈이 모든 그래프 $G$에 대해 $[Y_G]$에 의해 생성되며, 이는 전체 모티빅 링 $\operatorname{Mot}$ 와 일치한다. 즉, 이러한 체계는 $\mathbb{Z}$ 위에서 가능한 모든 산술적 행동을 실현한다.
• 여집합 $Y_G$의 모티빅 클래스는 전체 모티빅 링 $\operatorname{Mot}$ 를 생성하며, 이는 $Y_G$의 산술이 가능한 한 일반적임을 의미한다.
• 삼각형에 대해 $[Z_F] \in \mathbb{Z}[q]$ 이고, $G = K_s - F$ 이고 $s > r$ 이면 $[X_G] \in \mathbb{Z}[q]$ 이다. 이는 특수한 경우에 추측이 성립함을 보여준다.
• $\mathbb{A}^1_\mathbb{Z}$ 내의 체계 $X = \{px = 0\}$ 는 유리 함수가 아닌 점 수 함수를 가지며, 이는 모든 모티빅 클래스가 유리 함수가 아님을 증명함으로써 추측을 무효화한다.
• 증명은 $[X_G]$에 의해 생성되는 $\mathsf{R}$-모듈이 $[Y_G]$에 의해 생성되는 것과 같으며, 둘 다 $\operatorname{Mot}$ 와 일치함을 보이며, 그래프 연산과 포함-배제 원리를 기반으로 한 귀납법을 사용한다.