[논문 리뷰] Identities between Mahler measures

Fernando Rodríguez Villegas|arXiv (Cornell University)|2006. 12. 21.

Meromorphic and Entire Functions참고 문헌 3인용 수 12

한 줄 요약

이 논문은 37의 도수를 가진 타원곡선과 관련된 두 개의 로그 링크 마이너스 측도 사이의 특정 항등식을 증명하며, 이들의 비율이 유리수 5/7임을 보인다. K₂ 이론의 조정자와 타원 곡선의 이중로그 함수를 사용하여, 링크 마이너스 측도와 L-함수의 특수값 사이의 연결을 수립함으로써, 이 곡선에 대한 블로흐-베일린슨 추측을 확인한다.

ABSTRACT

The purpose of this short note is to give a proof of the following identity between (logarithmic) Mahler measures m(y^2+2xy+y-x^3-2x^2-x)=5/7*m(y^2+4xy+y-x^3+x^2) which is one of many examples that arise from the comparison of Mahler measures and special values of L-functions.

연구 동기 및 목표

• 로그 링크 마이너스 측도 사이의 항등식 $ m(y^2 + 2xy + y - x^3 - 2x^2 - x) = \frac{5}{7} m(y^2 + 4xy + y - x^3 + x^2) $ 를 증명한다.
• 이 두 마이너스 측도의 비율이 유리수임을 보여, 도수 37인 타원곡선 $ E: y^2 + y = x^3 - x $ 에 대한 블로흐-베일린슨 추측을 지지한다.
• K₂ 이론의 조정자를 통해 링크 마이너스 측도와 L' 함수의 특수값 사이의 연결을 수립한다.
• 타원 곡선의 이중로그 함수를 통해 표현된 $ K_2(E) $ 상의 조정자 사상이, 상수 인자에 비례하여 링크 마이너스 측도와 일치함을 확인한다.

제안 방법

• 로그 링크 마이너스 측도를 단위 토러스 위의 적분으로 정의한다: $ m(P) = \int_0^1 \cdots \int_0^1 \log|P(e^{2\pi i\theta_1}, \ldots)| d\theta_1 \cdots d\theta_n $.
• 조정자 사상 $ r: K_2(E) \to \mathbb{R} $ 는 $ r(\{f,g\}) = \int_\gamma \eta(f,g) $ 로 정의되며, 여기서 $ \eta(f,g) = \log|f|\, d\arg g - \log|g|\, d\arg f $ 이다.
• 조정자를 타원 이중로그 함수 $ \mathcal{L} $ 를 통해 표현하여, $ r(\{f,g\}) = c \cdot \mathcal{L}((f)\diamond(g)) $ 를 만족하도록 상수 $ c $ 를 사용한다.
• 유리 함수의 인수를 정수 벡터로 표현하여 $ \mathbb{Z}[E(\mathbb{Q})]^{-} $ 에서 표현한다.
• 다음과 같은 인수 그룹에서의 항등식을 수립한다: $ 5(x)\diamond(y) + (x_2)\diamond(y_2) = -(-y)\diamond(1+y) + (x-y)\diamond(1-x+y) $, 이로부터 조정자 관계 $ r(\xi_2) = -5r(\xi) $ 를 이끌어낸다.
• 제닝스의 공식과 해석적 계속을 사용하여, 실수 $ k \notin \mathcal{K} $ 에 대해 $ r(\{x,y\}) = \pm 2\pi \, m(P_k) $ 를 보이며, 여기서 $ \mathcal{K} $ 는 $ P_k $ 가 토러스에서 0이 되는 $ k $ 의 집합이다.

실험 결과

연구 질문

• RQ1 블로흐-베일린슨 추측이 예측한 바와 같이, $ m(y^2 + 2xy + y - x^3 - 2x^2 - x) $ 와 $ m(y^2 + 4xy + y - x^3 + x^2) $ 의 마이너스 측도 비율이 유리수인가?
• RQ2 K₂(E) 상의 조정자 사상이 타원곡선의 L' 함수 특수값과 마이너스 측도를 연결하는 데 사용될 수 있는가?
• RQ3 다음과 같은 인수 그룹에서의 항등식 $ 5(x)\diamond(y) + (x_2)\diamond(y_2) = -(-y)\diamond(1+y) + (x-y)\diamond(1-x+y) $ 이 원하는 마이너스 측도 항등식을 유도하는가?
• RQ4 가족 $ P_k(x,y) = y^2 - kxy + y - x^3 + x^2 $ 에 대해 조정자 사상 $ r(\{x,y\}) $ 가 마이너스 측도 $ m(P_k) $ 와 비례하는가, 그리고 비례 상수는 무엇인가?
• RQ5 왜 $ y^2 + y - x^3 + x $ 의 마이너스 측도는 동일한 가족에 속해도 다른 측도들과 유리관계를 가지지 않는가?

주요 결과

• 두 마이너스 측도의 비율은 정확히 $ \frac{5}{7} $ 이며, 이는 $ K_2(E) $ 상의 조정자 계산을 통해 입증된다.
• $ \{x_2, y_2\} $ 의 조정자에 대해 $ r(\xi_2) = -5r(\xi) $ 이고, $ \{x_1, y_1\} $ 의 조정자에 대해 $ r(\xi_1) = -7r(\xi) $ 를 만족하여 5:7 비율이 도출된다.
• $ r(\{x,y\}) $ 는 실수 $ k \notin \mathcal{K} $ 에 대해 $ \pm 2\pi \, m(P_k) $ 와 같으며, 이는 $ \mathcal{K} $ 의 경계에 위치한 $ k = -4 $ 와 $ k = 2 $ 에 대해서도 연속성을 통해 확장된다.
• $ y^2 + 2xy + y - x^3 - 2x^2 - x $ 의 마이너스 측도는 $ r(\xi_2) $ 와 비례하며, 다른 다항식의 경우에도 마찬가지로 확인된다. 이는 항등식을 확인한다.
• $ y^2 + y - x^3 + x $ 의 마이너스 측도는 토러스에서 0이 되므로 사이클이 닫히지 않으며, 조정자 공식이 적용되지 않아 다른 측도들과는 유리관계를 가지지 않는다.
• 이 항등식은 양변을 $ m(y^2 + 2xy + y - x^3 + x^2) $ 와 연결하는 데로 확장 가능하여, 더 넓은 범위의 이러한 항등식이 존재함을 시사한다.