\(p\)-adic abelian integrals and commutative Lie groups (Q1817433): Difference between revisions

The note gives a self-contained, elementary and very elegant approach to \(p\)-adic abelian integrals introduced by \textit{R. Coleman} [Ann. Math. 121, 111-168 (1985; Zbl 0578.14038)]. The author first defines in a direct way the logarithm map log: \(G(K) \rightarrow \text{Lie}(G)\) for any commutative algebraic group over a complete local field \(K \supset \mathbb{Q}_p\). Let \(\omega\) be a differential form on a projective variety \(V\) over \(K\) having only logarithmic singularities. Then there exist an algebraic group \(G\) and a rational map \(f: V \rightarrow G\) such that \(\omega = f^*(\tau)\) for some \(\tau \in \text{Lie}(G)\). Then for any two points \(P,Q \in V(K)\) we can put the integral of \(\omega\) from \(P\) to \(Q\) equal to \(\tau (\log f(P) - \log f(Q)) \in K\). This definition can be also worked out for closed regular forms.