{"entities":{"Q1355866":{"pageid":1366605,"ns":120,"title":"Item:Q1355866","lastrevid":67225002,"modified":"2026-04-12T16:11:49Z","type":"item","id":"Q1355866","labels":{"en":{"language":"en","value":"Analytic homomorphisms into Drinfeld modules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1014526"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355866$C0BE3471-7201-4457-BBDB-D82641CFC545","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c65aa52de79646b811778e3bda22ae4ff2aadb0","datavalue":{"value":{"text":"Analytic homomorphisms into Drinfeld modules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1355866$754FEA7D-2079-4F94-8E7F-C4542B90C431","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1012ce3c2d9d0416dc2b58de08735efb77037e93","datavalue":{"value":"0881.11055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355866$2DC6468A-6F4E-4B5B-AFE1-DDC4E057235D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09074377111c27f7fb037687461645b7c4a9de72","datavalue":{"value":"10.2307/2951814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355866$56AE9CF2-34D5-46D6-9DB9-7FC8CFB33279","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e9fa5bbea64a3a4de35586b5c0f9ef58c15288b","datavalue":{"value":{"entity-type":"item","numeric-id":180194,"id":"Q180194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355866$85C0ED49-7727-4F2B-B835-10B8864DA3FB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"553c7ad508f4615999d4ef926cfdf75d436f510c","datavalue":{"value":{"entity-type":"item","numeric-id":175062,"id":"Q175062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355866$E9CD08DD-AE1A-4F69-9CB9-32424C0EE1EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ec8c20900676bdc973f1dd224c2bbe10923a4d6","datavalue":{"value":{"time":"+1997-07-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1355866$2F39D60A-F185-43C1-A22B-879EA2DE21CB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a44723ae436428fef979c7752c0682a1c63c8f45","datavalue":{"value":"Starting more than 10 years ago, the author has developed a remarkable theory of transcendence on Drinfeld modules (see for instance [\\textit{Jing Yu}, Transcendence in finite characteristic, The arithmetic of function fields, de Gruyter, Berlin, 253-264 (1992; Zbl 0792.11015)]). The paper under review represents one of the most important steps in this theory.   The author proves an analog of Philippon's zero estimate [\\textit{P. Philippon}, Bull. Soc. Math. Fr. 114, No. 3, 355-383 (1986; Zbl 0617.14001)] and deduces an analog of W\u00fcstolz's analytic subgroup theorem [\\textit{G. W\u00fcstholz}, Ann. Math., II. Ser. 129, No. 3, 501-517 (1989; Zbl 0675.10025)].   Denote by \\(A\\) the ring \\({\\mathbb{F}}_q[T]\\) of polynomials over a finite field \\({\\mathbb{F}}_q\\), by \\(k\\) the rational function field \\({\\mathbb{F}}_q(t)\\) and by \\(k_\\infty\\) its completion \\({\\mathbb{F}}_q((t))\\). Let \\(\\overline k_\\infty\\) be an algebraic closure of \\(k_\\infty\\) and \\(\\overline k\\) be the algebraic closure of \\(k\\) in \\(\\overline k_\\infty\\). Let \\(G=({\\mathcal G}_{\\text{a}}^m,\\phi)\\) be an \\(m\\)-dimensional \\(t\\)-module and \\(\\Phi:\\overline k_\\infty^n\\rightarrow {\\mathcal G}_{\\text{a}}^m(\\overline k_\\infty)\\) an \\(n\\)-parameters analytic submodule of \\(G\\). For each \\(t\\)-submodule \\(H\\) of \\(G\\), the non negative integer \\(r(\\Phi,H)\\) is defined as the codimension in \\(\\overline k_\\infty^n\\) of \\(d\\Phi^{-1}(\\text{Im } d\\Phi\\cap \\text{Lie } H)\\). For \\(a\\in k\\) let \\(d_\\infty(a)\\) denote the degree in \\(t\\) of \\(a\\). Given elements \\(\\gamma_1,\\ldots,\\gamma_\\ell\\) in \\(G(\\overline k_\\infty)\\) and a positive integer \\(S\\), define  \\[ \\Gamma(S)=\\bigl\\{a_1\\gamma_1+\\cdots+a_\\ell\\gamma_\\ell;\\;a_i\\in A,\\;d_\\infty(a_i)<S\\bigr\\}. \\]  Here is the zero estimate: Let \\(Q\\) be a polynomial in \\(m\\) variables which is of total degree \\(\\leq D\\) and vanishes along \\(\\Phi\\) to order \\(\\geq mT+1\\) at all points of \\(\\Gamma(S)\\). Then there exists a proper \\(t\\)-submodule \\(H\\subset G\\) such that  \\[  {T+r(\\Phi,H)\\choose r(\\Phi,H)} \\text{Card }\\bigl(\\Gamma(S-m+1)+H/H\\bigr)\\deg H \\leq C(G) D^{\\dim G/H},  \\]  where \\(C(G)\\) is a constant depending only on the \\(t\\)-module \\(G\\). A consequence of this zero estimate is the following analytic subgroup Theorem for Drinfeld modules: Assume that the regular \\(t\\)-module \\(G=({\\mathcal G}_{\\text{a}}^m,\\phi)\\) is defined over \\(\\overline k\\). Let \\(u\\) be a point in \\(\\text{Lie } G(\\overline k_\\infty)\\) such that \\(\\exp_G(u)\\) is in \\(G(\\overline k)\\). Then the smallest vector subspace in \\(\\text{Lie }G(\\overline k_\\infty)\\), defined over \\(\\overline k\\), which is invariant under \\(d\\phi(t)\\) and contains \\(u\\), is the tangent space at the origin of a \\(t\\)-submodule of \\(G\\).   This deep transcendence result has far reaching consequences. For instance, using \\textit{G. W. Anderson} and \\textit{D. S. Thakur} [Ann. Math., II. Ser. 132, No. 1, 159-191 (1990; Zbl 0713.11082)], the author deduces that the only linear relations over \\(\\overline k\\) between the values of the Carlitz zeta function  \\[ \\zeta_C(n)=\\sum_{\\substack{ a\\in A\\\\ a\\text{ monic}}} a^{-n},\\quad n=1,2,\\dots \\]  and the powers \\(\\widetilde\\pi^m\\), (\\(m=0,1,\\dots\\)) of the fundamental period \\(\\widetilde\\pi\\) of the Carlitz module \\(C\\) are the known ones between \\(\\zeta_C(n)\\) and \\(\\widetilde\\pi^n\\) when \\(n\\) is divisible by \\(q-1\\). Namely, if \\(m\\) and \\(n\\) are positive integers, then the dimension of the \\(\\overline k\\)-vector space spanned by the \\(n+m+1\\) elements  \\[ \\zeta_C(1),\\ldots,\\zeta_C(n),1,\\widetilde\\pi,\\ldots,\\widetilde\\pi^m \\]  is \\(1+\\max\\{n,m\\}+\\kappa\\), where \\(\\kappa\\) is the number of positive integers \\(\\leq\\min\\{n,m\\}\\) which are not divisible by \\(q-1\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355866$E0580194-1940-4E3B-8F49-DB776C3200EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"828a89d89b687a71d09a8ad5d13795695a26caa3","datavalue":{"value":"11G09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355866$CF276E17-039E-44B0-A700-174E5F320D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9813bb2ce4abdd67239426cc5bd0fe08cf761aa","datavalue":{"value":"11J81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355866$7CA2222B-5378-42B3-A9FD-F26FEF70D9E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"afa8cbb6c95b5d7db90ccaa2e6f6aab1e7cf75ea","datavalue":{"value":"1014526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355866$9E9A631B-5B74-4595-B945-87E4F28B609F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"973bffe8f9e6d45dbb857c72283059802e958aac","datavalue":{"value":"Drinfeld modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355866$BFF35A1D-D8D3-487C-84AE-F9C6BEB8BB35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e927d69f0d9f5c362a4169e1a91ec24d7db2bfb","datavalue":{"value":"Carlitz modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355866$CFA81B08-B2E4-4D4A-B5BF-6402C09418F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe0dd6d2509e020892d03b9824ea7bf128b17f26","datavalue":{"value":"transcendence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355866$AA2F8EF4-B031-4623-A0FF-A95AAFDC347A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9025a2771adef255992e6e63e3f8d6378235f560","datavalue":{"value":"linear independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355866$932B86A8-841F-4827-BAEF-ECDE7AF63A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"502398faf132f1ad44ac536208326bef286838fc","datavalue":{"value":"zero estimate","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355866$B9AD2797-CD2E-49C1-BD05-BAD0858330D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"665513fa7a4d917a40f3411c7949ebc983b59059","datavalue":{"value":"multiplicity estimate","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355866$E3368875-B55F-4F7C-A3F5-DACCD14ED648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cf5d7547bdff7811b8d5acc30d6f48d50c69710","datavalue":{"value":"analytic subgroup theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355866$5562F009-B7ED-4081-B38D-E759477BD56D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"98f76666c1f4beb74f2e091a1eef44951a9cb98f","datavalue":{"value":{"entity-type":"item","numeric-id":194752,"id":"Q194752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355866$2CF96196-F404-471A-8C9F-7C87BCCCFEFD","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355866$C39B685F-59D6-4236-8E52-9CA58ED2723F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d2aed3e3e6c46fc2a2b580c5f6ff962096938f8","datavalue":{"value":"https://doi.org/10.2307/2951814","type":"string"},"datatype":"url"},"type":"statement","id":"Q1355866$B0CDA8EA-A81A-4FA8-94FC-69D238350438","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bbc8c378cebf938bcaa71ceb922b3fc0d3533cef","datavalue":{"value":"W2321171465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355866$369E030F-81B0-4326-B618-74CCBD445C08","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"140d30fa99bafc814a109a68b96a53693a7388c6","datavalue":{"value":{"entity-type":"item","numeric-id":3134966,"id":"Q3134966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36a357a0f18fb74bacde05fa1140fd901ed1fc6a","datavalue":{"value":{"amount":"+0.8726226091384888","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1355866$32AC78AB-D497-480B-954B-E119CC96A5E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81b740ef73d20989201869baa5bcc45a8b5f2a8f","datavalue":{"value":{"entity-type":"item","numeric-id":4851968,"id":"Q4851968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef0c5e03b3bdf88aad8685f8df3c1451a325e068","datavalue":{"value":{"amount":"+0.8309624791145325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1355866$73E90DD5-2068-47FD-8E66-E99848764653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33c90ad70efec79bb10015d9aa9d9cc1edaac7df","datavalue":{"value":{"entity-type":"item","numeric-id":3786547,"id":"Q3786547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cf503743d9557f5aabafcea1aa2646e115793b5","datavalue":{"value":{"amount":"+0.8061898350715637","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1355866$37FA3578-CCA5-49B1-B93B-1721B2010F30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Analytic homomorphisms into Drinfeld modules","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Analytic_homomorphisms_into_Drinfeld_modules"}}}}}