{"entities":{"Q6046063":{"pageid":13180219,"ns":120,"title":"Item:Q6046063","lastrevid":58636509,"modified":"2026-04-06T02:59:13Z","type":"item","id":"Q6046063","labels":{"en":{"language":"en","value":"A proof of the refined class number formula of Gross"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7686014"}},"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":"Q6046063$0F19F838-1A75-46EF-8B3F-CBE198E3D51F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5adbdd65a560cd76850e883e87af4bd3c4e8ef2","datavalue":{"value":{"text":"A proof of the refined class number formula of Gross","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6046063$7602EDB0-F783-4E02-8E23-C66392EC8C26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de3e1a243839839c86fb5e570c457d888295a1c7","datavalue":{"value":{"entity-type":"item","numeric-id":542527,"id":"Q542527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6046063$F8B5BA8C-6105-4165-A51E-05AA74CA0209","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b64dba88c101d7b6b3e21ce8d4e953a74804a909","datavalue":{"value":{"entity-type":"item","numeric-id":776172,"id":"Q776172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6046063$1AF21598-64A2-4A3E-B397-423DF3CBE6E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f8cd678429e6b461d7a68a84be99a49497a2703","datavalue":{"value":{"time":"+2023-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6046063$BF71DA5C-5980-460A-8315-D8F4F85191E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f331e1c26fbc9dbcc17c926ce1118ed4d91cc3a6","datavalue":{"value":"https://arxiv.org/abs/1608.04718","type":"string"},"datatype":"url"},"type":"statement","id":"Q6046063$14171306-ED4B-405B-98F9-6CDEE150FB75","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"80b7abe043b3db10df63a735e80986a67e34b556","datavalue":{"value":"Let \\(F\\) be a totally real number field and \\(K/F\\) a finite abelian extension with Galois group \\(G\\). Let \\(S\\), \\(T\\) be finite sets of places of \\(F\\), where \\(S\\) contains all infinite places and all places ramified in \\(K/F\\), and \\(T\\) fulfills some further condition. Depending on these data, one can define the Stickelberger element \\(\\Theta_{S,T,K} \\in \\mathbb Z[G]\\), the regulator \\(R_{G,S,T} \\in \\mathbb Z[G]\\) and the augmentation ideal \\(I \\triangleleft \\mathbb Z[G]\\). The \\textit{class number formula of Gross} is the congruence \\[ \\Theta_{S,T,K} \\equiv R_{G,S,T} \\mod I^{\\# S}, \\] which was conjectured by \\textit{B. H. Gross} [J. Fac. Sci. Univ. Tokyo, Sect. IA Math. 35, No. 1, 177--197 (1988; Zbl 0681.12005)].  The above congruence is implied by Theorem 2 of this paper, which is a strengthening of it modulo some smaller ideal contained in \\(I^{\\# S}\\). Furthermore, Theorem 3 gives an enhancement of Theorem 2.  The proofs use Shintani data, and most part of the paper is used to set up these notions and construct three Shintani data, which are needed to prove the theorems. Finally, Theorem 3 is illustrated for the example \\(F= \\mathbb Q(\\sqrt{5})\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q6046063$86CA654D-368A-49F4-8A16-F24C1E1E79C8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3a00c111ae1c218956df71425af657c140dce501","datavalue":{"value":{"entity-type":"item","numeric-id":273479,"id":"Q273479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6046063$C463B7D8-94A5-436A-B76D-557103B9F834","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"60812a381dd95773e68c54b90aa92d52a1e9cecb","datavalue":{"value":"11R42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6046063$D0A23C29-8FD9-4068-B109-1983A521A6A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c23b4bb755289648268d95b6e586fdf640e4823f","datavalue":{"value":"7686014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6046063$B1D2D46E-039C-4A0B-9096-FA9140E035DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"268ec26b0b749be006d5a4d32f19d971d3cbf579","datavalue":{"value":"Stickelberger element","type":"string"},"datatype":"string"},"type":"statement","id":"Q6046063$E13BBF6D-DC87-403F-8FAE-BF41088AC304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f343d38b92cc64b835f3f51df1628554b9f337d3","datavalue":{"value":"regulator","type":"string"},"datatype":"string"},"type":"statement","id":"Q6046063$1B303A65-CF19-4BCF-B91B-3A8D520ABB96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5406bf450465ef49c81451103e63fa694d4b7b6","datavalue":{"value":"Shintani zeta function","type":"string"},"datatype":"string"},"type":"statement","id":"Q6046063$0BBAF1CD-5DF7-4B04-834C-3BF3FFECF866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad06231ad2a0b687625174c318de585c3b09a1b0","datavalue":{"value":"Shintani data","type":"string"},"datatype":"string"},"type":"statement","id":"Q6046063$37CB6DF8-B6F1-40D5-9CD4-A24475B2144B","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":"Q6046063$E5B633E4-0200-477B-BC5F-96EBBCE3891E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c201cf1b11f30b16a2213f8efe1c2c9091e58e67","datavalue":{"value":"W4366975536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6046063$0C7098C2-FCE1-4BD3-844F-DCEC0D851548","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82e34c9707facbc59d8e32f0b616b102cf44eae","datavalue":{"value":{"entity-type":"item","numeric-id":3982646,"id":"Q3982646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6046063$64830CDC-35AD-4364-AFBA-314C8ABD7C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7d8e771f49e7c669f74251467edadb5af8cf305","datavalue":{"value":{"entity-type":"item","numeric-id":3708977,"id":"Q3708977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6046063$7629ADB8-7D8A-468E-BD05-DD8CAED9A339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09fa27dbde1d7136d27c7da7219bce2400b81e46","datavalue":{"value":{"entity-type":"item","numeric-id":2385046,"id":"Q2385046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6046063$4DEB78DF-BC74-4230-B427-368D9C442E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27c74787f23dfb6dc944f0ed31dced2729138266","datavalue":{"value":{"entity-type":"item","numeric-id":2351859,"id":"Q2351859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6046063$AB5DC701-D46C-42FC-95BE-441B31C5E61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5eaa5ccfe6ddf44ca4c1f3f33eb4a6ab5b4887a","datavalue":{"value":{"entity-type":"item","numeric-id":1990880,"id":"Q1990880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6046063$F299340F-41EA-45B8-BC4D-45980ACCE47D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5b42b1196ca7e71732ea33b8a23b6742b25e408","datavalue":{"value":{"entity-type":"item","numeric-id":5418006,"id":"Q5418006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6046063$2A2916AD-6F7C-4701-801A-A2833C506509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"339070420dbf31968d5d3b2fe9abbb44c64a5973","datavalue":{"value":{"entity-type":"item","numeric-id":4729878,"id":"Q4729878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6046063$D53B26E1-7BCB-4C41-94EB-C2085F42D302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d6fc14b6c238414a7d14362b638c987e3cb4815","datavalue":{"value":{"entity-type":"item","numeric-id":5449984,"id":"Q5449984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6046063$168585EF-8865-43B7-BF35-7E0AD9A2D8B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9e99e5095bcda6ff0f1ca4b335b560a8f074fae","datavalue":{"value":"10.2140/TUNIS.2023.5.73","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6046063$D0F11899-4D17-4649-B2D9-72C7CCBC36BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0afa65b329edf3bd0a1b6f90a310fdf6a6184e18","datavalue":{"value":{"entity-type":"item","numeric-id":4819839,"id":"Q4819839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45d2e8c5dcadad97ad6ef95b447a5def87a11980","datavalue":{"value":{"amount":"+0.80420935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6046063$4F719816-0844-4B7F-B58F-22DB9EBAEC31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2dbefa5c0892aca52c0b421f66f6d18d10b4e2f","datavalue":{"value":{"entity-type":"item","numeric-id":2483705,"id":"Q2483705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b53e46138ddd2cfcb8d674ff9359d8bb53ea05b","datavalue":{"value":{"amount":"+0.78092545","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6046063$B7873A2F-9082-4DD6-BD2E-CF9146FD130A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b467c9bb690b96d6feebf629ca695e3753d53003","datavalue":{"value":{"entity-type":"item","numeric-id":4431190,"id":"Q4431190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c065c15f6f87132852238d1ce386789f47b40071","datavalue":{"value":{"amount":"+0.74911946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6046063$34E96C06-4B68-4A4F-B05E-E7F0C7EA5BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11f4d4f6e79a60b76a221491fea1824ded97fd41","datavalue":{"value":{"entity-type":"item","numeric-id":1876230,"id":"Q1876230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1f630ae3d0ff718ebec2e1371fee9682de26f67","datavalue":{"value":{"amount":"+0.7337271","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6046063$C5695304-6995-40B4-82A9-5C6D129C4704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b638a0852b6b97ad753042311e8cbb45c18463af","datavalue":{"value":{"entity-type":"item","numeric-id":3765871,"id":"Q3765871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ef40a9068c145e2acb871966d910f94de1409ed","datavalue":{"value":{"amount":"+0.7221118","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6046063$49C716CD-80D2-424B-AC36-6AAD01A7D0C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09f6e04a2736d6a9c9ec873144b12a770fd1d266","datavalue":{"value":{"entity-type":"item","numeric-id":752072,"id":"Q752072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0efa75f3de47d8cf6353e694c24908a790385924","datavalue":{"value":{"amount":"+0.7146777","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6046063$0D74FC84-602A-44DB-A34F-08C6DAA9275D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b524e56d9f64cd8cb30bcdde7090791eb7acf97","datavalue":{"value":{"entity-type":"item","numeric-id":1066190,"id":"Q1066190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"701287142227a460f4070e6c62057f21564a686c","datavalue":{"value":{"amount":"+0.71291804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6046063$BB2677D4-586D-4F3A-9870-25E4139DF4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"338b04a15e04c701f94eeecf24fb6f6af80cfd51","datavalue":{"value":{"entity-type":"item","numeric-id":4550431,"id":"Q4550431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74ccbae01384c6db7d78df59b78d8a666dd892d8","datavalue":{"value":{"amount":"+0.704858","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6046063$A5BFE316-FE0E-4BC7-BDC6-8E3E4C867AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a96ebd85b0dcf2a833d5980655a791a5b2975a3","datavalue":{"value":{"entity-type":"item","numeric-id":1048924,"id":"Q1048924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd2fe789ce7abb5369c00d6bd83d37c6afbb99af","datavalue":{"value":{"amount":"+0.7046809","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6046063$AE826A50-FD94-476A-BD4B-A7D65727900B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6b3dcfc8476ed925e44b5e4bc79c62e95995425","datavalue":{"value":{"entity-type":"item","numeric-id":3708084,"id":"Q3708084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c90a745e898ca970f04f5d578f1dcf2608e0536a","datavalue":{"value":{"amount":"+0.7027839","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6046063$33BEE87C-2452-473C-8C35-D7F407479BF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6046063","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6046063"}}}}}