{"entities":{"Q1317440":{"pageid":1328190,"ns":120,"title":"Item:Q1317440","lastrevid":70128624,"modified":"2026-04-13T12:37:49Z","type":"item","id":"Q1317440","labels":{"en":{"language":"en","value":"\\(K_ 3\\) and \\(p\\)- adic Riemann-Hurwitz formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 529891"}},"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":"Q1317440$34029A07-CEC3-4AC8-8ED4-38315409FE92","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93737358564074aa677ae84f43c52c233f3d153b","datavalue":{"value":{"text":"\\(K_ 3\\) and \\(p\\)- adic Riemann-Hurwitz formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1317440$6F52E7F8-90E0-4099-B585-4FEEFAA8A46D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d5275579650dd4a314c2922b4d3b3770fd3ebf1","datavalue":{"value":"0801.11049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317440$E2E6B897-44CE-4D3C-B894-6AD8C67A6490","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce70379761e03b34cefb267a31baf40496edd753","datavalue":{"value":"10.1007/BF00961536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317440$C1F91ECA-BD3A-4693-8233-FEDBAC118822","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4fd8d30a01f0e4f960db804210ae144d972127d","datavalue":{"value":{"entity-type":"item","numeric-id":184992,"id":"Q184992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317440$ACCBD456-DE9A-4462-B263-4D66B5B641BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf17ffed152fcfc225788e46045afef4af283259","datavalue":{"value":{"time":"+1994-04-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1317440$C8D32564-9972-42E2-AE8E-4E8DC9BD8B64","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"241c2b0a004a939393470c747fe78bb88ba8fc8e","datavalue":{"value":"In the theory of \\(\\mathbb{Z}_ p\\)-extensions of a number field one has the notion of a so-called \\(\\lambda\\)-invariant which plays a role analogous to the genus of an algebraic curve. So, for suitable extensions one may relate the corresponding \\(\\lambda\\)-invariants by a formula of the Riemann-Hurwitz type.   More precisely, let \\(F\\) be a number field, \\(F_ \\infty\\) its cyclotomic \\(\\mathbb{Z}_ p\\)-extension, and let \\({\\mathcal X}_ \\infty= \\text{Gal} (M_ \\infty/ F_ \\infty)\\), where \\(M_ \\infty\\) is the maximal abelian \\(p\\)- ramified pro-\\(p\\)-extension of \\(F_ \\infty\\). \\(t{\\mathcal X}_ \\infty\\) denotes the \\(\\Lambda\\)-torsion submodule \\({\\mathcal X}_ \\infty\\) for the Iwasawa algebra \\(\\Lambda\\). Furthermore, let \\(X_ \\infty= X_ \\infty(F)= \\text{Gal} (L_ \\infty/ F_ \\infty)\\), where \\(L_ \\infty\\) is the maximal abelian unramified pro-\\(p\\)-extension of \\(F_ \\infty\\), and \\(X_ \\infty'= X_ \\infty' (F_ \\infty)= \\text{Gal} (L_ \\infty' /F_ \\infty)\\), with \\(L_ \\infty'\\subset L_ \\infty\\) the subextension which totally decomposes all places of \\(F_ \\infty\\). \\(\\lambda_{S_ p} (F_ \\infty)\\), \\(\\lambda(F_ \\infty)\\) and \\(\\lambda' (F_ \\infty)\\) denote the \\(\\lambda\\)-invariants corresponding to \\(t{\\mathcal X}_ \\infty\\), \\(X_ \\infty\\) and \\(X_ \\infty'\\), respectively. One can also associate an invariant \\(\\mu\\) to the extension \\(F_ \\infty/F\\). One defines, for an extension \\(M/L\\), the capitulation \\(\\text{Cap} (M/L)= \\text{Ker} (K_ 2(L)\\to K_ 2(M))\\).   One can now state the main result of the paper: Assume (a) \\(F\\) contains the group \\(\\mu_{2p}\\) of \\(2p\\)th-roots of unity and (b) the \\(\\mu\\)- invariant of \\(F_ \\infty/F\\) vanishes, then, for a \\(p\\)-extension \\(E_ \\infty/ F_ \\infty\\) such that \\(\\text{Cap} (E_ \\infty /F)=0\\), one has the formulas:  \\[ \\lambda_{S_ p} (E_ \\infty)= \\lambda_{S_ p} (F_ \\infty)\\cdot [E_ \\infty: F_ \\infty]+ \\sum (e_ w -1), \\]  where the sum runs over all places \\(w\\) of \\(E_ \\infty\\) not dividing \\(p\\), and \\(e_ w\\) is the ramification index of \\(E_ \\infty /F_ \\infty\\) in \\(w\\);  \\[ \\lambda' (E_ \\infty)-1= (\\lambda' (F_ \\infty)-1)\\cdot [E_ \\infty: F_ \\infty]+ \\sum (n_ w -1), \\]  where the sum runs over all places \\(w\\) of \\(E_ \\infty\\) dividing \\(p\\) and where \\(n_ w\\) is the degree of \\(E_ \\infty/ F_ \\infty\\) in \\(w\\).   Similar results were known for CM-fields \\(F\\). As a matter of fact, one has a relation between \\(\\lambda_{S_ p}\\) and \\(\\lambda'\\) and the second formula can be deduced from the first one. An essential ingredient of the proof of the first formula is the vanishing of a Herbrand quotient involving \\(K_ 3 (E_ \\infty)\\). Here the condition on the capitulation comes into play via a Hochschild-Serre spectral sequence. After an introduction giving some background information on the problem and heuristics for introducing \\(K\\)-groups, the necessary tools and results on \\(K\\)-groups for number fields and capitulations are resumed in a special section. The second section is concerned with the statement and the proof of the main results. In the third section two applications are discussed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317440$68CA5F6E-FF5E-44DB-8685-F8E63EDDDC71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"687b1b43cab87bb5e56f82ef3963ecec46f1bc5c","datavalue":{"value":"11S70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317440$A5ECA569-EDAF-473B-95C0-6D929699F901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d760f9b893faa1cac06367d503424a26de9e552","datavalue":{"value":"19D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317440$25B6404E-3A87-485E-8D74-0A20AF7D9EFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9fe90d46f4c9177517eaa75ff9f14c0505375573","datavalue":{"value":"529891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1317440$221148D5-DA83-4FBD-B37D-6B45A436E35B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6774c7ce44d6eae58156e9b407846112423c73d","datavalue":{"value":"K-groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317440$73F19B95-1858-44D1-B3B9-0CB83D7109CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3e57a513b7e5046239a04b8d284a0c233cf0d20","datavalue":{"value":"\\(p\\)-adic Riemann-Hurwitz formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317440$9102C0A6-3599-4717-8A3B-9E4E9AF951D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ec123d898e7e885acd55c28a330b6c9fbcecffb","datavalue":{"value":"formula of Riemann-Hurwitz type","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317440$11171DC4-25B2-4C3A-86AF-622B5E8FFB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30ef000f45b559ab3926646fcade60300ee11bc","datavalue":{"value":"\\(\\lambda\\)-invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317440$FF486D29-3E8C-4C44-BB7B-EC2BC50E0A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b038ca124ff549fa5a462327eddd0e09ff938338","datavalue":{"value":"capitulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1317440$7F78E997-4747-42AA-94DC-0295963DF068","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0424b804b6c0462a294ad996ef9a1af8eac1e579","datavalue":{"value":{"entity-type":"item","numeric-id":204772,"id":"Q204772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317440$5FAEBF8C-2433-47B9-96AE-0CAD7F4B5F4D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"87338ed4c4ef03b7b929db88cdefad9c24ab3698","datavalue":{"value":{"entity-type":"item","numeric-id":916707,"id":"Q916707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317440$54E55784-3120-4F6C-8575-017A3655D830","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":"Q1317440$C2016FDD-11DB-4DE5-8C82-003C14BDB747","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9091fd2ba4dd665af6dab62b400860c09ae99a6","datavalue":{"value":{"entity-type":"item","numeric-id":3039536,"id":"Q3039536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317440$E87E8FBB-F5B2-4DC8-8F5E-CD3BE20F74D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f4e11a8ded19b1271128f80ad151a3422b68b1f","datavalue":{"value":{"entity-type":"item","numeric-id":2555109,"id":"Q2555109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317440$0C2D22A3-88E5-4FEE-B9FC-106F9B5FF8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87435db6ee5df5086a536b541a39bbeb0a91d08b","datavalue":{"value":{"entity-type":"item","numeric-id":916708,"id":"Q916708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317440$54EA6B8E-9BEA-441D-9974-60D633C7B55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be454d57dcb755f64358d83fd48d618b905957ff","datavalue":{"value":{"entity-type":"item","numeric-id":4099720,"id":"Q4099720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317440$3D441868-913D-4880-8D93-B00B09479DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72b7cc4479c8d6bf17cb1be3201ff90c9c899ba7","datavalue":{"value":{"entity-type":"item","numeric-id":1844872,"id":"Q1844872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317440$63E9E017-7842-40C6-A83C-FA506BC5CA8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5712036abad1223d0c97f9fcec39ef20a75e7f","datavalue":{"value":{"entity-type":"item","numeric-id":1156184,"id":"Q1156184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317440$0067F878-32EA-48AC-AB10-5FC50472A5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d8b19582996e4a81d1a02d9c68143f649ab59ab","datavalue":{"value":{"entity-type":"item","numeric-id":1149990,"id":"Q1149990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317440$FAF1BCAB-E055-4254-8D7E-D8453120F8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5749836a19c615350e692ad3f77f61afea53525c","datavalue":{"value":{"entity-type":"item","numeric-id":1181460,"id":"Q1181460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317440$B2A6B17D-9DF5-47FE-905B-474E96A94B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4931f7d633495204d39fe3f96cfb5c6a2597ce84","datavalue":{"value":{"entity-type":"item","numeric-id":1208162,"id":"Q1208162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317440$3628976F-D95B-4A51-AB0B-8DD15FE4F0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10a3184445090d180bbdedf682ec8f2807912638","datavalue":{"value":{"entity-type":"item","numeric-id":3894022,"id":"Q3894022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317440$7B41F4CE-998F-4AD4-98BF-5C83CD87F60B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9c7d6fb30e220e94219220e8f4b16ef39d31a00","datavalue":{"value":{"entity-type":"item","numeric-id":4712746,"id":"Q4712746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317440$14DF8753-3A67-4087-934C-F0F44F2DEDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec4c3c87465933e112dd2eaf0e7337708d3094c9","datavalue":{"value":{"entity-type":"item","numeric-id":1065071,"id":"Q1065071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317440$136A81F8-5FC8-47D4-AB01-A361D7134DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a522373baa5a12793be4bc9b4a43648519ce021d","datavalue":{"value":{"entity-type":"item","numeric-id":1132916,"id":"Q1132916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317440$D1DD96B8-1095-457F-9E4F-C0B70DABF7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de775065c93ac235c4173a26b2c7c4af46d2e519","datavalue":{"value":{"entity-type":"item","numeric-id":787196,"id":"Q787196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317440$676A0F55-57BA-447C-A623-E7BD7CCDC14F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af8dc65697badb8816eddc005e20f59caed5c2c7","datavalue":{"value":{"entity-type":"item","numeric-id":3748371,"id":"Q3748371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317440$8AC15335-8C65-4E52-A0EE-FA0A56BB9435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"570248dbf61d9490cf7715e89ded4497a02d9457","datavalue":{"value":{"entity-type":"item","numeric-id":4695254,"id":"Q4695254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1317440$332F8CF7-1364-4244-9C96-C0A67C3BB664","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"168151157a020e83b0a246b64b6b95e526fe506c","datavalue":{"value":{"entity-type":"item","numeric-id":5902778,"id":"Q5902778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38da9fda82546696a67e7a5c1474656c9fe213f5","datavalue":{"value":{"amount":"+0.8633841276168823","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":"Q1317440$6F3975A4-B32A-4622-A6E6-00C503AC36F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d224c5d247ca41d2276e08aaf6018afa6dd4c491","datavalue":{"value":{"entity-type":"item","numeric-id":4000804,"id":"Q4000804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"358ceddd666a9b8473bbf413af49085ffda61010","datavalue":{"value":{"amount":"+0.8412860035896301","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":"Q1317440$1EFCEE00-C0C9-4FE8-8A31-BCB92BC1EDF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef81db9cd6a1dbec260af5696fa5a2d459dcca74","datavalue":{"value":{"entity-type":"item","numeric-id":4878517,"id":"Q4878517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"366636761628f80d54f42ecc05bc89bb6f39d48d","datavalue":{"value":{"amount":"+0.8380162715911865","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":"Q1317440$48474507-1F51-4B9E-A005-7EBE956BD758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6664070473a721f4d529954dfa983d8900e37e30","datavalue":{"value":{"entity-type":"item","numeric-id":4010750,"id":"Q4010750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"366636761628f80d54f42ecc05bc89bb6f39d48d","datavalue":{"value":{"amount":"+0.8380162715911865","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":"Q1317440$6FEEB9FA-5A45-4CB9-86CD-0F4FFA423B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7054ba3a3fbcec6d8d2f8401a71844dc6cd360aa","datavalue":{"value":{"entity-type":"item","numeric-id":5746426,"id":"Q5746426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19bd72910e4b13c3e048c68a18b3665b00b64298","datavalue":{"value":{"amount":"+0.8313261866569519","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":"Q1317440$5D0E5758-A711-4326-865A-C5D130FD06BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(K 3\\) and \\(p\\)- adic Riemann-Hurwitz formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(K_3%5C)_and_%5C(p%5C)-_adic_Riemann-Hurwitz_formulas"}}}}}