{"entities":{"Q2200768":{"pageid":2211511,"ns":120,"title":"Item:Q2200768","lastrevid":53827397,"modified":"2026-01-25T19:03:32Z","type":"item","id":"Q2200768","labels":{"en":{"language":"en","value":"Quantitative non-vanishing of Dirichlet \\(L\\)-values modulo \\(p\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7250829"}},"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":"Q2200768$980206B9-1233-4C9F-8DBA-4C0A60734210","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3462d4b095a7ed21e234ee660ed6a93231539d3","datavalue":{"value":{"text":"Quantitative non-vanishing of Dirichlet \\(L\\)-values modulo \\(p\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2200768$FC050248-342E-4278-8D9E-7AECF8DC4152","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92cf3f6da103971ff8be6e85f46601bbafc5a865","datavalue":{"value":"1475.11194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200768$F6A06F13-1455-4D7E-BC97-7119CCFF6BAD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"435371908b1136e284fa187a15b699c3fd309bf9","datavalue":{"value":{"entity-type":"item","numeric-id":530408,"id":"Q530408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200768$93E5DEC8-6A5C-4889-960B-6A11B4B0D1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15a0dab138bdab261973fdfd6f9c5ad9b2f3ecf8","datavalue":{"value":{"entity-type":"item","numeric-id":387880,"id":"Q387880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200768$0F0583CA-C3BA-45D5-B9BE-E1DD0B49B669","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7016073dc3661ad2b8fcf740b72e135f31d59f23","datavalue":{"value":{"entity-type":"item","numeric-id":166142,"id":"Q166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200768$C6C22960-8475-4277-912F-E6B4B7D8AB9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"01916a707effd1d89230bb721fc7f1bfff6d69cd","datavalue":{"value":{"time":"+2020-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2200768$6ED2115D-B546-46C2-82E1-62FB85A8587C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"11e4647f2aa078f937b63f8a0f11707dca866ab0","datavalue":{"value":"Let \\(p\\) be an odd prime. Let \\(\\lambda\\) and \\(\\chi\\) be two (not necessarily primitive) Dirichlet characters of modulus \\(N\\) and \\(F\\), respectively. Suppose that \\(p\\) does not divide \\(FN\\). Then for each non-negative integer \\(k\\) the value \\(L(-k, \\lambda\\chi)\\) is algebraic and \\(p\\)-integral. The aim of this paper is to estimate the cardinality of the set \\[ \\mathfrak{X}_{\\lambda,k}(F) := \\left\\{\\chi \\in \\mathrm{Hom}((\\mathbb Z / F \\mathbb{Z})^{\\times}, \\overline{\\mathbb{Q}}^{\\times}) \\mid L(-k, \\lambda\\chi) \\not\\equiv 0 \\mod \\mathfrak{p}\\right\\} \\] as a function of \\(F\\). Here \\(\\mathfrak{p}\\) denotes a chosen prime in \\(\\overline{\\mathbb{Q}}\\) above \\(p\\).\\par Note that this question is closely related to the \\(p\\)-(in)-divisibility of class groups if \\(k=0\\) (and of certain \u00e9tale cohomology groups if \\(k>0\\)): If \\(\\psi\\) is an odd Dirichlet character of conductor \\(N_{\\psi}\\) and \\(p \\nmid \\varphi(N_{\\psi})\\), then \\(L(0, \\psi^{-1})\\) is \\(p\\)-indivisible if and only if the `\\(\\psi\\)-part' of the class group of \\(\\mathbb{Q}(\\zeta_{N_{\\psi}})\\) is of cardinality coprime to \\(p\\).\\par The authors provide lower bounds for \\(\\# \\mathfrak{X}_{\\lambda,k}(F)\\) whenever \\(F\\) is sufficiently large by two different approaches: a `homological' and an `algebraic' approach. The homological approach yields the better bounds and a special case of the corresponding main result is the following (which is taken from the introduction of the authors). Suppose that \\(\\lambda\\) is non-trivial and that \\(F\\) is a prime such that \\(F \\nmid N\\). Moreover, assume that \\(p \\nmid \\varphi(F)FN\\). Then for \\(F>N\\) one has that \\[ \\# \\mathfrak{X}_{\\lambda,0}(F) \\geq \\left\\lfloor\\left(\\frac{F}{9N}\\right)^{1/2} \\right\\rfloor. \\] The proof strategy (in both cases) is as follows. The authors consider sums \\[ R_{\\lambda}(r,F) = \\sum_{\\chi} \\chi(r) c(\\chi) L(0, \\chi\\lambda), \\] where \\(r \\in (\\mathbb{Z}/F\\mathbb{Z})^{\\times}\\) and \\(c(\\chi) \\in \\overline{\\mathbb{Z}}_p\\). Let \\(\\chi_1, \\dots, \\chi_t\\) be the characters in \\(\\mathfrak{X}_{\\lambda,0}(F)\\). Let \\(Q>0\\) be an integer and choose vectors \\((r_i), (s_j) \\in (\\mathbb{Z}/F\\mathbb{Z})^{\\times Q}\\). It is not hard to see that \\[ \\mathrm{det}(R_{\\lambda}(r_is_j,F)) \\equiv 0 \\mod \\mathfrak{p} \\] whenever \\(t