No label defined (Q4025979)

[For the entire collection see Zbl 0745.00060.] The purpose of this paper is to refine the theorem of the algebraic subgroup [\textit{M. Waldschmidt}, New advances in transcendence theory, Proc. Symp., Durham 1986, 375-398 (1988; Zbl 0659.10059)]. When \(G\) is a commutative algebraic group defined over the field \(\overline\mathbb{Q}\) of complex algebraic numbers, let \(L(G)\) be the \(\mathbb{Q}\)-vector space \(\exp^{-1}_ G(G(\overline\mathbb{Q}))\) in the tangent space \(T_ G(\mathbb{C})\) of \(G\) at the origin. Also, denote by \(\alpha(G)\) the number \(2\dim(G)-2d_ 0(G)-d_ 1(G)\), where \(d_ 0(G)\) (resp. \(d_ 1(G))\) is the largest integer \(d\geq 0\) such that there exists a surjective morphism from \(G\) onto \(\mathbb{G}^ d_ a\) (resp. onto \(\mathbb{G}^ d_ m)\). Let \(V\neq T_ G(\mathbb{C})\) be a vector subspace of \(T_ G(\mathbb{C})\). Then there exists a surjective morphism of algebraic groups \(s: G\to G'\), defined over \(\overline\mathbb{Q}\), such that, if \(ds: T_ G(\mathbb{C})\to T_{G'}(\mathbb{C})\) is the associated linear map and \(V'=ds(V)\), if, further, \(W'\) denotes the maximal subspace of \(V'\) which is rational over \(\overline\mathbb{Q}\), then \[ {\alpha(G')+\dim_{\mathbb{Q}}(V'\cap L(G'))\over\dim_{\mathbb{C}} (T_{G'}(\mathbb{C})/W')}\leq {\alpha(G)\over \dim_{\mathbb{C}}(T_ G(\mathbb{C})/V)} . \] The author proves this result as well as a few others by using an original abstract formal method involving category theory. This approach provides some insight to a better understanding of the duality between Gel'fond and Schneider transcendence methods, and also between auxiliary functions and analytic functionals.