{"entities":{"Q1900861":{"pageid":1911603,"ns":120,"title":"Item:Q1900861","lastrevid":69234126,"modified":"2026-04-13T05:39:33Z","type":"item","id":"Q1900861","labels":{"en":{"language":"en","value":"On Ihara's power series"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 809105"}},"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":"Q1900861$7616052F-B6A3-4D2F-B9DD-24DAA32E8CA5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f98c454e9f37617847594bdc57720fa81529a2bd","datavalue":{"value":{"text":"On Ihara's power series","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1900861$5B57E76F-C8ED-458E-AB80-4F418D75576D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b0d3000bbf0102f2a763f03cbf6f4eabb529e2e","datavalue":{"value":"0838.11079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900861$96C4C60B-3E82-4D5A-9682-084E4C7EA9E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3411f6ccab752c2da1833f15f8b92f4a370ef49","datavalue":{"value":{"entity-type":"item","numeric-id":790175,"id":"Q790175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900861$2BF7B7AB-8C42-4BC2-8B6F-B06373D67CAF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6cac328d206d9ef9b7afb3fb4ca5d1d204199af","datavalue":{"value":{"entity-type":"item","numeric-id":167107,"id":"Q167107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900861$59AFD33E-7465-4E29-BD8A-82DEC756B37D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26589a195e6f61385b9755ff5957c9711846c28d","datavalue":{"value":{"time":"+1996-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1900861$F39075A2-C54C-47C5-ACD5-D3505169C4DA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2bf499e747ff672a9f8eb949650eeec42f078de0","datavalue":{"value":"\\textit{Y. Ihara} [Ann. Math., II. Ser. 123, 43-106 (1986; Zbl 0595.12003)] found a power series \\(F_\\sigma (u,v) \\in \\mathbb{Z}_\\ell [[u,v]]\\) which interpolates Jacobi sums, and further determined the power series explicitly under certain conditions. He further conjectured its validity in generality. Subsequently, Ihara's conjecture has been proved by several mathematicians including Ihara, Anderson, Coleman, Miki and Ihara et al.   In this paper, a new, simpler proof of Ihara's conjecture is presented, using the congruence on Gauss sums. In fact, the author introduces the Gauss sum power series \\(G_{\\ell^n} (T)\\) \\((\\ell\\) a prime) generalizing the earlier work on Gauss sums [the author, Adv. Stud. Pure Math. 12, 87-118 (1987; Zbl 0649.12002)]. In particular, he determines explicitly the coefficients of the Gauss sum power series modulo \\(\\ell^n \\). The idea of proof is exactly the same as in the earlier paper mentioned above. A new ingredient is the analysis of the limit of the Gauss sum power series. Indeed, passing to the limit of the Gauss sum power series when \\(n\\to\\infty\\), the author rediscovers Ihara's power series and Anderson's result. This gives a simpler proof to both Ihara's conjecture and Anderson's result.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1900861$71ED40F9-9B92-49DC-A2CE-676543B35ADE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"76579edf630459249a27f193b026921158c16c09","datavalue":{"value":{"entity-type":"item","numeric-id":396524,"id":"Q396524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1900861$0E7F436C-E32D-4BA7-9AC4-339605DFA163","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"39ab029ef1ffc0108491685a9e1c1f5aa3d57a73","datavalue":{"value":"11T24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900861$C17A2325-FC21-48C1-A018-AE415A5E03C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cca64e508302ab539d0532c0150adbc19b564bb9","datavalue":{"value":"11T23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900861$E4A05D38-DB72-4BA8-922F-B838F2C34CD7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c41995d6a1b420c1d71afa41efeb5d2cbb1e36d8","datavalue":{"value":"809105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900861$48E96D6D-C8C3-46E6-BE1F-80CAF234D608","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6536e89905f3571a1026863fac3cc7168787b113","datavalue":{"value":"Ihara's conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q1900861$E01C30A1-F7CA-4410-A2D4-E810B22DB428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96c432016773dd76ec97f25eeaaaa8288eb7af23","datavalue":{"value":"congruence on Gauss sums","type":"string"},"datatype":"string"},"type":"statement","id":"Q1900861$8B97AC5C-ADA8-4474-953D-F72AFDC5C3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"664e6b3a58df11c552f7d12b2d6208ffdc44a3db","datavalue":{"value":"Gauss sum power series","type":"string"},"datatype":"string"},"type":"statement","id":"Q1900861$FB444A17-D895-40D6-A3B8-1F6CEDA53215","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":"Q1900861$224E0399-4384-420B-AEFB-608AB55B5E24","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e976215c5ac0dd4d792f5128866f6175cd048d79","datavalue":{"value":"https://doi.org/10.1006/jnth.1995.1099","type":"string"},"datatype":"url"},"type":"statement","id":"Q1900861$CE4F6E65-33EC-478C-9634-3CC04A7711A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"efb5a85b891c2222da9fc18802b535bc9121f013","datavalue":{"value":"W2068419620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900861$20D25F05-BB09-47F3-8C49-364CC330C526","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1de1855dfbc3448e404d447d215128229c35abb","datavalue":{"value":"10.1006/JNTH.1995.1099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1900861$F9EF9545-EA01-4508-A9FD-3996502E36E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9fae2a0faece6e2fdf47ee3b03d7f6b5e00949b","datavalue":{"value":{"entity-type":"item","numeric-id":919033,"id":"Q919033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a16c1d895de7c5abe6ae1ae4b029e759e6ac318","datavalue":{"value":{"amount":"+0.7915531396865845","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":"Q1900861$7FAC8C85-E829-49A7-B630-F35C7998A4D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3812b23fe8fa0e3e5bbed0a6239adf0ed85833e4","datavalue":{"value":{"entity-type":"item","numeric-id":1262341,"id":"Q1262341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4107d4646a978b4986bea67172e301faa7e695f7","datavalue":{"value":{"amount":"+0.7909764051437378","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":"Q1900861$5FFFF30E-9F70-49A3-A328-9438466CB9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a26f3839fcdf9b32a539a627afead6ed89d76860","datavalue":{"value":{"entity-type":"item","numeric-id":3784221,"id":"Q3784221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22aef92a358202543a26c57e05522aae803d2e83","datavalue":{"value":{"amount":"+0.7862128615379333","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":"Q1900861$57CC4122-2C1B-4B13-A619-A7C11362FAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"354b57cabaa7064b0124c512658c314e0e5c0309","datavalue":{"value":{"entity-type":"item","numeric-id":3487505,"id":"Q3487505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1178181e29cef8ad5c377b0115812393fd6bfea5","datavalue":{"value":{"amount":"+0.7691863179206848","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":"Q1900861$203640B9-9D1E-4C35-909F-77A6B4A5F71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f089b0b32db5d2879d25fa064fec22f9748f6b2a","datavalue":{"value":{"entity-type":"item","numeric-id":3781190,"id":"Q3781190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b2594a79a041fe23c63aab01ba4ba9dcc6cd7da","datavalue":{"value":{"amount":"+0.7400243878364563","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":"Q1900861$EC08E0F5-AF8D-40D8-8AC1-BF8F643C605D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Ihara's power series","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Ihara%27s_power_series"}}}}}