Structural rank conjecture for the p-adic logarithm matrix

From papers

Fix an embedding ιp:QQp\iota_p:\overline{\mathbb{Q}}\hookrightarrow\overline{\mathbb{Q}}_p, let AA be an abelian variety over Q\overline{\mathbb{Q}} of dimension dd, and let {ω1,,ωd}\{\omega_1,\ldots,\omega_d\} be a Q\overline{\mathbb{Q}}-basis of ΩA1\Omega_A^1. For x1,,xrA(Q)x_1,\ldots,x_r\in A(\overline{\mathbb{Q}}) that are Z\mathbb{Z}-linearly independent, define

Lx=(logωi(xj))Md×r(Qp),\mathcal{L}_{\underline{x}}=(\log_{\omega_i}(x_j))\in M_{d\times r}(\overline{\mathbb{Q}}_p),

where logωi\log_{\omega_i} is obtained by composing the pp-adic logarithm of AA with the linear functional corresponding to ωi\omega_i. The structural rank conjecture for Lx\mathcal{L}_{\underline{x}} asserts that its rank over Qp\overline{\mathbb{Q}}_p equals its structural rank, namely the rank obtained by replacing a Q\mathbb{Q}-basis of the entries by algebraically independent variables. This conjecture predicts the maximal rank allowed by the rational linear relations among the entries of the logarithm matrix. The source gives no resolution or further evidence for this conjecture.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Ashay Burungale, Christopher Skinner and Xin Wan, “A refined non-vanishing of the p-adic logarithm of a rational point on an abelian variety”, arXiv:2603.20886 (2026).

Solutions 0

No solutions have been posted yet.