Abstract:We prove that under certain explicit conditions, the Mahler measure of a three-variable polynomial can be expressed in terms of elliptic curve $L$-values and Bloch-Wigner dilogarithmmic values, conditionally on Beilinson's conjecture. In some cases, these dilogarithmic values simplify to Dirichlet $L$-values. The proof involves a construction of an element in $K_4^{(3)}$ of a smooth projective curve over a number field. This generalizes a result of Lalín for the polynomial $z + (x+1)(y+1)$. We apply our method to several other Mahler measure identities conjectured by Boyd and Brunault.
What problem does this paper attempt to address?
### What problem does this paper attempt to solve?
The main purpose of this paper is to study and prove that under certain conditions, the Mahler measure of a three - variable polynomial can be expressed as a combination of the values of the elliptic curve L - function and the Bloch - Wigner dilogarithm function. Specifically:
1. **The relationship between Mahler measure and L - function**:
- The article explores how to express the Mahler measure \( m(P) \) of a three - variable polynomial as a linear combination of the derivative value \( L'(E, - 1) \) of the L - function of the elliptic curve \( E \) and the values of the Bloch - Wigner dilogarithm function under some explicit conditions.
- In some cases, these dilogarithm function values can be simplified to Dirichlet L - function values.
2. **Generalizing existing results**:
- The author generalizes Lalín [Lal15]'s result for the polynomial \( z+(x + 1)(y + 1) \), further studies more types of polynomials, and verifies several conjectural Mahler measure identities proposed by Boyd and Brunault.
3. **Application of Beilinson's conjecture**:
- During the research process, the author assumes that Beilinson's conjecture holds. This conjecture involves the L - function of special values on motives. Through this assumption, the article is able to relate the Mahler measure to the L - function of motives.
4. **Constructing Deligne cohomology elements**:
- The article also involves constructing an element in Deligne cohomology, which is related to the normalization \( C \) of the Maillot variety \( W_P \), and relating it to the Mahler measure through the Beilinson regulator map.
### Formula summary
- **Definition of Mahler measure**:
\[
m(P)=\frac{1}{(2\pi i)^n}\int_{T^n}\log |P(x_1,\ldots,x_n)|\frac{dx_1}{x_1}\wedge\cdots\wedge\frac{dx_n}{x_n}
\]
where \( T^n \) is the n - dimensional torus, that is, \( |x_1|=\cdots = |x_n| = 1 \).
- **Main theorem**:
\[
m(P)=m(\tilde{P})+a\cdot L'(E, - 1)+\frac{1}{4N\pi}\sum_{q\in S'(K)\setminus\{O\}}b_q\cdot D(u_q)
\]
where \( a\in\mathbb{Q} \), \( b_q\in\mathbb{Z} \), \( D(z) \) is the Bloch - Wigner dilogarithm function, defined as:
\[
D(z)=
\begin{cases}
\text{Im}\left(\sum_{k = 1}^{\infty}\frac{z^k}{k^2}\right)+\arg(1 - z)\log |z|&\text{if }|z|\leq1\\
- D\left(\frac{1}{z}\right)&\text{if }|z|\geq1
\end{cases}
\]
Through these formulas and theoretical frameworks, the article aims to gain a deep understanding of the relationship between the Mahler measure of three - variable polynomials and their related L - functions, and to verify several conjectural identities.