{"entities":{"Q2810696":{"pageid":2821434,"ns":120,"title":"Item:Q2810696","lastrevid":79710566,"modified":"2026-05-06T14:32:23Z","type":"item","id":"Q2810696","labels":{"en":{"language":"en","value":"The local \\(\\theta\\)-regulators of an algebraic number: \\(p\\)-adic conjectures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6589334"}},"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":"Q2810696$96BF5A9E-E906-4C8D-9A3D-14BBA5467C47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"24cbf3fb1755e043b40264fbfac9e2d551334a2f","datavalue":{"value":"1351.11033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810696$E9912C69-9507-4EAE-812E-3B9555319C00","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"063f717ec2e100bd7f23a3636df34eca596b2ead","datavalue":{"value":"10.4153/CJM-2015-026-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810696$F0EFD75E-581D-4BCB-B842-9AF9146A2652","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7135a77a59c6200208a7bd358bd183221ae9a71b","datavalue":{"value":{"entity-type":"item","numeric-id":194733,"id":"Q194733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810696$CC44A8B2-97F9-4B67-94DD-9692AB8EA4EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"106914d1bfa95e2474b643b3a7576780d3bbbab1","datavalue":{"value":{"entity-type":"item","numeric-id":2715659,"id":"Q2715659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810696$6E9ADED1-0D42-4CD8-AE47-5424F4C1C5B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76ffc69a7d5fd5bda3b4ed249f40dec5f4ba2327","datavalue":{"value":{"time":"+2016-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":"Q2810696$7BA45179-132E-4EDB-9292-D0CC8627D233","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fcf56b2f97265afcebec8af96b9c9372b3623a55","datavalue":{"value":"https://arxiv.org/abs/1511.01755","type":"string"},"datatype":"url"},"type":"statement","id":"Q2810696$C0F33D51-92CB-4F2B-ADC6-F1DFA5B36FE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14ce3ba7ac34680ef520908e03b07c0ae0c3b951","datavalue":{"value":"11F85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810696$2429F8DE-0914-40E7-AE38-F53EB1810A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c745fe9f9fd950076cb858ccadc78c0e065cb45","datavalue":{"value":"11R04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810696$16E23BBE-1845-4F5A-AEB3-841166A29E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb5d1e694a0c88d435d98289c9ff9b7eb400d6bb","datavalue":{"value":"20C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810696$5248A7ED-71DC-4AA1-925D-633D57E4B395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d92207e5132f33177f4a9d633493fc0d8d742c6d","datavalue":{"value":"11C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810696$20ED73A2-1513-4840-A43A-3F078CF19117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa5ce256704e22ae9f3767d9b7f6b25420f642b6","datavalue":{"value":"11R37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810696$B6BEF728-A668-447A-AFD0-3D0FB4B0F489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f4be43e4d3a36713afeec76035eb55b0d3950c7","datavalue":{"value":"11R27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810696$E3917522-D10F-41B4-9093-F1F4289D49C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4d379f1f3728661c9d77f930d729b891dd925754","datavalue":{"value":"11Y40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810696$A7308F9C-1E68-4F36-B7AB-C9BE69010170","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46f3c216ac2175a10ab5687f61f1d2660ba89e1d","datavalue":{"value":"6589334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2810696$CCC58D69-9363-4B4F-B2A7-92C8E4641B1B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c01f5b005daf01f7e57207702285402882f0aa1","datavalue":{"value":"\\(p\\)-adic regulators","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810696$87381163-DF2A-4D8E-898A-63D938D7EDC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1419cfca4318e5e4b9eed0b91861b40a3a88f75f","datavalue":{"value":"Fermat quotients","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810696$30173C93-2812-4874-9B9B-300C2E84C9FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca7247291ad48f217e3455e99d94da12b912c86a","datavalue":{"value":"Borel-Cantelli heuristics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810696$242A06B5-F7C5-4543-B42D-00D093E68734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3dba725cc6c351074399daa6123bdfd15f6d95c","datavalue":{"value":"Leopoldt-Jaulent conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810696$222F7347-8DCE-4629-A317-6BFE6E8D57DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fcfd1700b8d0a087eea32d031894b7615e0596c","datavalue":{"value":"Frobenius group determinants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810696$63CF59EC-C3A5-43D8-A447-F71304E67874","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":"Q2810696$C5B7C7C4-DBD6-44B7-A8E8-50B3F73B8BE4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8034a2863523eedced9a8d4b206b2dbf3dcd1e53","datavalue":{"value":{"text":"The local \\(\\theta\\)-regulators of an algebraic number: \\(p\\)-adic conjectures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2810696$F01CC1C0-074D-465B-B5F7-D2B6FFE3A392","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cc071218e353f7073a58df1aeb1d33bbdd42bb5e","datavalue":{"value":"Let \\(K/\\mathbb Q\\) be a normal extension of degree \\(n\\), with Galois group \\(G\\). Let \\(\\eta\\in K^\\ast\\) such that the multiplicative \\(\\mathbb Z[G]\\)-module \\(F_\\eta\\) generated by \\(\\eta\\) has \\(\\mathbb Z\\)-rank \\(n\\). Given a rational prime \\(p\\), consider the \\(p\\)-adic regulator \\(\\mathcal R_p(\\eta):=\\mathrm{Frob}^G(\\log_p(\\eta))\\), where the so called Frobenius group determinant is defined as \\(\\mathrm{Frob}^G(\\log_p(\\eta))=\\det(\\log_p(\\eta^{\\tau\\sigma^{-1}}))_{\\sigma,\\tau\\in G}\\). Example: if \\(K\\) is totally real, the usual \\(p\\)-adic regulator \\(\\mathcal R_p(K)\\) is given by a minor of order \\((n-1)\\) of \\(\\mathrm{Frob}^G(\\log_p(\\varepsilon))\\), where \\(\\varepsilon\\) is an adequate Minkowski unit, and Leopoldt's conjecture predicts the non nullity of \\(\\mathcal R_p(K)\\). Getting back to \\(\\eta\\), a natural extension of Leopoldt's conjecture , due to \\textit{J.-F. Jaulent} [J. Number Theory 20, 149--158 (1985; Zbl 0571.12007)], asserts that the \\(p\\)-adic rank \\(r_p(F_\\eta):=(\\dim_{\\mathbb Q_p}(\\mathbb Q_p\\mathrm{Log}_p(F_\\eta)))\\) (with an obvious notation for \\(\\mathrm{Log}_p\\)) and the \\(\\mathbb Z\\)-rank \\(\\operatorname{rg}(F_\\eta):=\\dim_{\\mathbb Q}(F_\\eta):=\\dim_{\\mathbb Q}(F_\\eta\\otimes \\mathbb Q)\\) must coincide. It is not difficult to show that \\(r_p(F_\\eta)\\) is equal to the rank (in the usual sense of linear algebra) of \\(\\mathcal R_p(\\eta)\\). From now on, assume that \\(p\\) is odd, unramified, coprime to \\(\\eta\\). The main probabilistic/heuristic result of the present paper is that, ultimately, the Borel-Cantelli heuristics imply conjecturally that the normalized \\(p\\)-adic regulator \\(\\mathcal R^G_p(\\eta):=\\mathrm{Frob}^G\\left(-\\frac{1}{p}\\log_p(\\eta)\\right)\\) is not congruent to \\(0\\mod p\\) outside a finite set of primes. More precisely, for a given \\(\\eta\\):{\\parindent=0.7cm\\begin{itemize}\\item[(1)] Assuming the existence of a precise binomial probability law (which we do not record here), the probability that \\(\\mathcal R^G_p(\\eta)\\equiv 0\\mod p\\) is less than \\(C_\\infty(\\eta)p^{-A}\\) when \\(p\\to\\infty\\) where \\(A=\\log(\\log p)/\\log(c_0(\\eta))-0(1)\\), \\(e^{-1}\\leq C_\\infty(\\eta)\\leq 1\\) and \\(c_0(\\eta)=\\max_{\\sigma\\in G}(|\\eta^\\sigma|)\\). \\item[(2)] Under the same assumption, the Borel-Cantelli heuristics imply the finiteness of the set of \\(p\\) such that \\(\\mathcal R^G_p(\\eta)\\equiv 0\\mod p\\).NEWLINENEWLINE\\end{itemize}} Actually the assumption in (1) and (2) on the existence of a binomial probability law is confirmed by numerical studies for \\(G=C_3,C_5,D_6\\), and can be considered as heuristic.NEWLINENEWLINELet us say a few words of the author's technical approach. First replace \\(\\mathcal R^G_p(\\eta)\\) by a \\(p\\)-adic regulator \\(\\Delta^G_p(\\eta)\\) built on \\textit{Fermat generalized quotients} \\(\\alpha_p(\\eta)\\) which are \\(p\\)-integers of \\(K\\) defined as follows: if \\(n_p\\) denotes the common residual degree of the \\(p\\)-places of \\(K\\), then \\(\\eta^{n_p-1}\\) is of the form \\(1+p\\alpha_p(\\eta)\\), and \\(\\Delta^G_p:=\\mathrm{Frob}^G(\\alpha_p(\\eta))\\equiv\\mathcal R^G_p\\mod p\\). To study the nullity mod \\(p\\) of \\(\\Delta^G_p(\\eta)\\), following the same heuristics as in [the author, ``\u00c9tude probabiliste des quotients de Fermat'', Funct. Approximatio, Comment. Math. 54, No. 1, 115--140 (2016; \\url{euclid:facm/1458656166})], introduce \\(\\mathcal L\\), the \\(G\\)-module of \\(\\mathbb Z[1/p][G]\\) relations relative to \\(\\alpha_p(\\eta)\\), i.e., linear relations with coefficients \\(u(\\sigma)\\in \\mathbb Z[1/p]\\) of the form \\(\\Sigma_{\\sigma\\in G}u(\\sigma)\\alpha_p(\\eta)^{\\sigma^{-1}}\\). Let \\(\\theta\\) be an irreducible \\(p\\)-adic character of \\(G\\) and \\(f\\) the residual degree of \\(p\\) in the field of values of all the absolutely irreducible characters \\(\\varphi\\mid\\theta\\). Then, viewed inside \\(\\mathbb F_p[G]\\), the \\(G\\)-module \\(e_\\theta\\mathcal L\\) is non null if and only if the local \\(\\theta\\)-regulator \\(\\Delta^\\theta_p(\\eta)\\) (defined naturally from \\(\\Delta^G_p(\\eta)\\)) is null mod \\(p\\), and in this case the \\(\\mathbb F_p\\)-dimension of \\(e_\\theta\\mathcal L\\) is \\(\\delta f\\varphi(1)\\), with \\(\\delta\\leq 1\\). The obstruction to the application of the Borel-Cantelli heuristics lies in the cases called \\textit{minimal \\(p\\)-divisibility}, i.e., when \\(\\Delta^\\theta_p(\\eta)\\equiv 0\\mod p\\) for a unique \\(\\theta\\) such that \\(f=\\delta=1\\) and \\(\\mathrm{Reg}^\\theta_p(\\eta)\\sim p\\) (where \\(\\mathrm{Reg}^\\theta_p(\\eta)\\) is defined naturally from \\(\\mathcal R^G_p(\\eta)\\)). It is this obstruction which is heuristically removed by the probabilistic assumption in the main theorem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2810696$40DDA1A3-6DDD-41A5-8774-76C46C747741","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9512322dd8e6451ec8a7602e1f69fe734f9346ce","datavalue":{"value":{"entity-type":"item","numeric-id":204772,"id":"Q204772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2810696$C917918B-9D22-4271-A710-15AF7B979B40","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e154a9a72143a462633deb32277b1752a1fb9eb","datavalue":{"value":{"entity-type":"item","numeric-id":1090366,"id":"Q1090366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c4ed0f805101c9ad6a1b01b1275a6652d9cf224","datavalue":{"value":{"amount":"+0.7867864966392517","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":"Q2810696$2D7D11EF-A8BA-483F-A959-EB4F96F501A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04952b19c528023d78f24cd46ee00bfe4056730a","datavalue":{"value":{"entity-type":"item","numeric-id":4288862,"id":"Q4288862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12163fc64b4e2855d35f4f1df5d79b469345b5ff","datavalue":{"value":{"amount":"+0.7414796352386475","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":"Q2810696$F8E3EEB3-A159-4763-823D-7AA18E8A0485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e61a6d416ca79b3a5552927356419f794881855","datavalue":{"value":{"entity-type":"item","numeric-id":2565545,"id":"Q2565545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca298d9d659a79f7da5bd3aeeac14b5614e7b97a","datavalue":{"value":{"amount":"+0.7367746829986572","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":"Q2810696$100461E5-BEC8-4C3D-A618-C69BC691C1DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1176cf2f9a0468a26f319337cc2794a74dbc962","datavalue":{"value":{"entity-type":"item","numeric-id":3470565,"id":"Q3470565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d931c2ecbc494690846e4917baa6b890f3b49cc","datavalue":{"value":{"amount":"+0.7367636561393738","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":"Q2810696$D555FADF-BC07-4024-912C-4F46BC51C426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85be20bcdadbb7882da7aaabf47c2d6b3cdf92a5","datavalue":{"value":{"entity-type":"item","numeric-id":4614343,"id":"Q4614343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec8e5128e0a16ff5bdfd1f2cb06f2a8e0f3c6058","datavalue":{"value":{"amount":"+0.7361446619033813","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":"Q2810696$729E1AC6-AF75-42DD-B6FE-7E0BE07501B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The local \\(\\theta\\)-regulators of an algebraic number: \\(p\\)-adic conjectures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_local_%5C(%5Ctheta%5C)-regulators_of_an_algebraic_number:_%5C(p%5C)-adic_conjectures"}}}}}