Year: 2026
Type: preprint
Abstract: For every negative fundamental discriminant $-f$ and every $k\geq1$, we construct a rational function $R_{f,2k}\in\mathbb{Q}(x_1,\ldots,x_{2k})$ and a constant $r_{f,2k}\in\mathbb{Q}^\times$ such that \[ m(R_{f,2k})=r_{f,2k}L'(χ_{-f},1-2k), \] where $m$ denotes the logarithmic Mahler measure and $χ_{-f}$ is the quadratic Dirichlet character associated with $-f$. This proves the weak Chinburg conjecture. An independent construction using Bloch cycles yields a stronger result in two variables: there exists a nonzero polynomial $R_f\in\mathbb{Q}[x,y]$ satisfying \[ m(R_f)=4wL'(χ_{-f},-1), \] where $w$ is the number of roots of unity in $\mathbb{Q}(\sqrt{-f})$.
Source: arXiv (Cornell University)
Authors: Guo, Xuejun, Tao, Zhengyu
Language: English
Subfield: Algebra and Number Theory
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
Award: G8842371449
OpenAlex ID: W7213267151