[논문 리뷰] Quantum field theory over F_q

Oliver Schnetz|arXiv (Cornell University)|2009. 09. 04.

Algebraic structures and combinatorial models참고 문헌 15인용 수 27

한 줄 요약

이 논문은 유한체 𝔽_q 위에서 양자장론을 분석함으로써 그래프 하이퍼표면의 사영적 여집합에 속하는 𝔽_q-점의 수를 조사하며, Kontsevich의 추측—즉, 이 수가 항상 q에 대한 다항식이 된다는 추측—이 14개의 변이 있는 그래프에서 처음으로 실패함을 보여준다. 저자들은 φ⁴-이론에서 여섯 개의 반례를 규명하였으며, 이 중 다섯은 𝔽_q에 2의 거듭제곱 또는 세제곱 단위근이 존재할 경우에 비다항적 행동을 보이며, 나머지 하나는 특이 K3 표면을 포함하는 16개의 변이 있는 새로운 유형으로, 혼합-Tate 유형이 아닌 모티브를 암시한다. 𝔽_q 위에서는 표면적으로 수렴하는 경우가 아니면 양자장론의 섭동 앰플리튜드가 0이 되며, 이는 재규격화 가능 및 재규격화 불가능 이론에서는 수렴하는 급수를, 초재규격화 가능 이론에서는 무한 급수를 유도한다.

ABSTRACT

We consider the number \bar N(q) of points in the projective complement of graph hypersurfaces over \F_q and show that the smallest graphs with non-polynomial \bar N(q) have 14 edges. We give six examples which fall into two classes. One class has an exceptional prime 2 whereas in the other class \bar N(q) depends on the number of cube roots of unity in \F_q. At graphs with 16 edges we find examples where \bar N(q) is given by a polynomial in q plus q^2 times the number of points in the projective complement of a singular K3 in ¶^3. In the second part of the paper we show that applying momentum space Feynman-rules over \F_q lets the perturbation series terminate for renormalizable and non-renormalizable bosonic quantum field theories.

연구 동기 및 목표

• 그래프 하이퍼표면의 사영적 여집합에 속하는 𝔽_q-점의 수가 q에 대해 다항식이 되는가에 대한 Kontsevich의 추측의 타당성을 조사하는 것.
• 특히 φ⁴-이론과 같은 물리적으로 관련된 이론에서 이 수가 비다항식이 되는 최소의 그래프를 규명하는 것.
• 특히 혼합-Tate 유형이 아닌 경우에 그래프 하이퍼표면의 모티브의 구조를 탐구하는 것.
• 페인만 적분을 유한체 위의 합으로 대체하여 𝔽_q 위에서 섭동 양자장론을 정의하고 앰플리튜드의 행동을 분석하는 것.
• 이 유한체 설정에서 섭동 급수가 수렴하거나 발산하는 조건을 규명하는 것.

제안 방법

• 그래프 하이퍼표면의 모티브 이론적 분석을 가능하게 하기 위해 기하학적 도구를 사용하여 다양체의 Grothendieck 링 K₀(Var_k)로 결과를 올리는 것.
• Prop. 2.5 및 Thm. 2.9를 적용하여 그래프 하이퍼표면의 클래스를 Grothendieck 링에서 계산하고, 혼합-Tate가 아닌 성분을 드러내는 것.
• 감소 알고리즘과 유한체 카운팅을 통해 그래프 하이퍼표면의 사영적 여집합에 속하는 𝔽_q-점의 수를 계산하는 것.
• 페인만 앰플리튜드의 적분을 𝔽_q^{dh₁} 위의 합으로 대체하고, integrand를 𝔽_q-값 함수로 해석하는 것.
• 다음 항등식을 사용하여 다항식의 합의 0 여부를 분석하는 것: ∑_{x∈𝔽_q} x^k = -1 (만약 k ≡ 0 mod (q−1)), 그렇지 않으면 0.
• 암시적 발산도 c = dh₁ − 2n을 분석하여 𝔽_q 위에서 앰플리튜드가 0이 되는지 여부를 결정하는 것.

실험 결과

연구 질문

• RQ1 그래프 하이퍼표면의 사영적 여집합에 속하는 𝔽_q-점의 수가 q에 대해 다항식이 되지 않는 최소의 변의 수는 얼마인가요?
• RQ2 N̄(q)의 비다항적 행동은 𝔽_q의 산술적 성질, 예를 들어 세제곱 단위근의 존재 또는 소수 2의 존재와 어떻게 관련이 있나요?
• RQ3 𝔽_q 위에서 그래프 하이퍼표면의 모티브가 혼합-Tate 유형이 아니 될 수 있으며, 이는 그래프의 주기(period)에 어떤 영향을 미치나요?
• RQ4 𝔽_q 위에서 섭동 양자장론이 수렴하는 급수를 유도하는 조건은 무엇인가요?
• RQ5 암시적 발산도가 𝔽_q 위에서 앰플리튜드가 0이 되는지 여부를 결정하는 데 어떤 역할을 하나요?

주요 결과

• Kontsevich의 추측에 대한 첫 반례는 14개의 변이 있는 그래프에서 발생하며, φ⁴-이론 내에서 여섯 개의 그래프에서 N̄(q)가 q에 대해 다항식이 아님을 보여준다.
• 여섯 개의 14개 변 그래프 중 다섯은 q가 2의 거듭제곱인지 여부에 따라 비다항적 행동을 보이며, 최소한으로 다른 두 다항식 P₂(q)와 P≠₂(q)가 존재한다.
• 한 14개 변 그래프는 q mod 3에 따라 의존하며, q의 잔여류에 따라 세 개의 다른 다항식 N̄(q) = P_i(q) (i = −1, 0, 1)로 표현된다.
• 16개의 변에서 새로운 유형의 반례가 나타나며, 이 경우 N̄(q) = P(q) + q² × N̄_K3(q)로 표현되며, N̄_K3(q)는 ℙ³ 내의 특이 K3 표면의 여집합에 속하는 점의 수를 세는 함수이다.
• 한 16개 변 그래프의 그래프 하이퍼표면의 모티브는 [X] = ℒ¹⁴ + ℒ¹³ + 4ℒ¹² + 16ℒ¹¹ − 8ℒ¹⁰ − 106ℒ⁹ + 263ℒ⁸ − 336ℒ⁷ + 316ℒ⁶ − 199ℒ⁵ + 45ℒ⁴ + 19ℒ³ + [F]ℒ² + ℒ + 1로 표현되며, 여기서 [F]는 특이 K3 표면의 클래스이다.
• 𝔽_q 위에서는 표면적 수렴성이 없는 한 섭동 앰플리튜드 A(Γ)_𝔽_q는 0이 되며, 이는 재규격화 가능 및 재규격화 불가능 이론에서는 수렴하는 급수를, 초재규격화 가능 이론에서는 무한 급수를 유도한다.