{"entities":{"Q1355295":{"pageid":1366034,"ns":120,"title":"Item:Q1355295","lastrevid":46741773,"modified":"2025-12-25T12:21:11Z","type":"item","id":"Q1355295","labels":{"en":{"language":"en","value":"The generic irreducibility of the numerator of the zeta function in a family of curves with large monodromy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1011427"}},"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":"Q1355295$3DE21CD4-32FC-493B-B14E-BDD4D2B8A3BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"89e530b90b8c60d569603fe4a6cb45bbf83b00ae","datavalue":{"value":{"text":"The generic irreducibility of the numerator of the zeta function in a family of curves with large monodromy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1355295$A0A0B3E6-60E4-4D4D-A7CA-5082EFCAE76E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3b423b9204b9fd2a22ef1bd5f7ed3569fede18f","datavalue":{"value":"0941.14006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355295$C06C139D-5ECD-45E1-9DB1-D1FBDF511B5A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a342f36afb4bdc9920bea1bb4b8d6ed04ace0eb","datavalue":{"value":"10.1215/S0012-7094-97-08707-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355295$6B09C579-E3FC-4E57-BA60-DF76F3A112F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4054446e3dc3c9fa9fd76a497d39151f3e661cb6","datavalue":{"value":{"entity-type":"item","numeric-id":1355294,"id":"Q1355294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355295$1092F403-3973-4160-A9E8-D87F4AF86EC3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e8d78105b574d85114159aeeb77fd1baaa47af9d","datavalue":{"value":{"entity-type":"item","numeric-id":247488,"id":"Q247488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355295$C88CA3ED-B6F2-4A80-AE7D-274B1ECF0C23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0f0b15b8a0904033f22f1a331255b6cd52c7483","datavalue":{"value":{"time":"+2000-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1355295$96EB9835-7E3B-48F1-B3AA-C1EE065C4C13","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"da36ea7c182227be2d37db0ec7d0197d41590ea4","datavalue":{"value":"N. Katz made the following conjecture. Let \\(U/\\mathbb F_q\\) be an open subset of the affine line \\(A_{\\mathbb F_q}^1\\) and let \\(\\psi:X\\to U\\) be a proper, smooth family of curves of genus \\(g\\). Suppose that the family has large monodromy (see below). Denote by \\(p_n\\) the proportion of points \\(u\\in U(\\mathbb F_{q^n})\\) such that the polynomial \\(P(T)\\), the numerator of the zeta function \\(Z(X_u/ \\mathbb F_{q^n},T)\\), is irreducible over \\(\\mathbb Q\\). Then \\(\\lim_{n\\to\\infty} p_n=1\\). The author proves Katz's conjecture.    To illustrate the argument and the conjecture, consider the set \\(M_R\\) of monic polynomials of degree \\(d\\), where \\(d\\) is a fixed integer, whose coefficients are integers in the interval \\([1,R]\\), \\(R\\) a positive integer. Define the density by  \\[ \\lim_{R\\to\\infty} \\frac {\\operatorname {Card}\\{\\text{ irreducible polynomials in } M_R\\}} {\\operatorname {Card}M_R}. \\]  Then the density is 1; that is, `most' polynomials are irreducible. That result is implied by the stronger:  \\[ \\lim_{R\\to\\infty} \\frac {\\operatorname {Card}\\{ \\text{ polynomials in } M_R \\text{ that are reducible}, \\bmod \\ell, \\text{some prime }\\ell\\}} {\\operatorname {Card}M_R} =0. \\]   To prove the latter, begin with the fact that, if \\(\\ell\\) is a prime, there are approximately \\(1-\\frac{1}{d}\\) monic reducible polynomials of degree \\(d\\) in \\(\\mathbb F_q[T]\\). If one reduces \\(\\bmod \\ell_1,\\dots, \\ell_r\\) (distinct primes), then the Chinese remainder theorem implies that if \\(R\\) is divisible by the product \\(\\ell_1,\\dots, \\ell_r\\), then the values of the reductions, \\(\\operatorname {mod} \\ell_1,\\dots, \\ell_r\\), of the polynomials in \\(M_R\\) are independent random variables. So the probability of the event that a polynomial is reducible \\(\\operatorname {mod}\\ell_j\\), \\(j=1,\\dots, r\\), is \\((1-\\frac{1}{d})^r\\) which can be made \\(<\\varepsilon\\) by choosing \\(r\\) large enough, whence the result.    The author's idea is that one can apply a similar argument to Katz's conjecture if the \\(\\operatorname {mod}\\ell\\) monodromy of the family of curves is large for \\(\\ell\\) large; the reductions, \\(\\operatorname {mod}\\ell\\), of the numerators of the zeta functions of curves in the family turn out to be the characteristic polynomials of certain Frobenius elements in the symplectic similitude group, \\(SSp(2g, \\mathbb{F}_\\ell)\\). Knowledge of the \\(\\operatorname {mod}\\ell\\) monodromy permits the application of results concerning the equidistribution of the Frobenius elements in \\(SSp(2g, \\mathbb{F}_\\ell)\\).    The idea then is to show that  \\[ \\begin{aligned} &\\text{Prob} \\{u \\in U(\\mathbb{F}_{q^n}) \\text{ such that the fibre over \\(u\\) has a reducible numerator of the zeta function}\\}\\\\ &\\leq \\text{Prob} \\{u\\in U(\\mathbb{F}_{q^n}) \\text{ such that the numerator of } Z(X_u) \\text{ is reducible, }\\operatorname {mod}\\ell_i,\\;i=1,\\ldots,r\\}\\\\ \\sim &(1-\\tfrac{1}{2g})^r< \\varepsilon, \\end{aligned} \\]  if \\(r\\) is large enough. Those estimates depend on the \\(\\ell_i\\), \\(i=1,\\dots, r\\) being large to ensure that the \\(\\operatorname {mod}\\ell_i\\) monodromy is large for \\(i=1,\\dots, r\\) and that in turn leads to a proof of Katz's conjecture.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355295$F2C778A4-32CD-4C79-9304-D4F5B4CD9A35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"28fa461aeb4930aa157b063fa36c39645dfdfe32","datavalue":{"value":"14G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355295$331E979A-AE09-49BD-8F24-A7289F98A4CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"528f7a48d12c334e1e8f805dbb30c6a6e0ed15e9","datavalue":{"value":"14G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355295$9B2032AF-2E6C-40CE-AEF8-0B997B64962F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"12add067dadf8efef9ce7683390c7189d9a84d92","datavalue":{"value":"11G40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355295$1BBBA957-0947-4808-80F4-2F8FA07EFB49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1820eb8af2052c3bec149afb16547d0bcf695a51","datavalue":{"value":"1011427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1355295$02607813-5933-401C-9274-54100D78A246","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"623a8349cabf913a3bd8ac9e395bbfc19d49536b","datavalue":{"value":"family of curves","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355295$3F096749-EA16-4AF2-AE66-96D3F5AF923D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a5586fe8adcb14c44454a51c78130eb05f84dbb","datavalue":{"value":"large monodromy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355295$2C3E05C2-D032-4F8F-A002-12F6FBDECE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbb9e520f7b516886f273971c2d7d6c5aa7e57d1","datavalue":{"value":"finite ground field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355295$405B7D24-60F5-4408-B297-CA73CC3C9B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a785c17038f0d0880256925a5e931f80b3195d8d","datavalue":{"value":"numerator of the zeta function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355295$482C3567-2469-46E9-97A5-C550463E8318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b774fa5d9cd705559fb607feecf4e9ab26f6fa0","datavalue":{"value":"Katz's conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q1355295$4263F39A-13E1-4817-9190-E33DC758B3C5","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":"Q1355295$6EF7BD24-2724-42A8-A8CF-597750B3FC10","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"15a5c4e166943e63a6ceea5b952d48af9c85a1b0","datavalue":{"value":{"entity-type":"item","numeric-id":3241211,"id":"Q3241211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355295$C90534DF-4DDD-4030-976B-E92439A1AC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"815fc6b24798e079e16fd68995553334b209888d","datavalue":{"value":{"entity-type":"item","numeric-id":5521595,"id":"Q5521595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355295$0951AB55-6AE8-486C-988E-436603CD49DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78a733fea5d315c1263679aca2b416008d21849a","datavalue":{"value":{"entity-type":"item","numeric-id":1233006,"id":"Q1233006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355295$B626A54F-C884-497E-BD54-D4E50AA7F6C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77e0ba76923d8785deb8e192f8e244805f6bbcc5","datavalue":{"value":{"entity-type":"item","numeric-id":1150411,"id":"Q1150411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355295$9AF47E1D-F438-4B0F-BFFB-C6249434B36E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06164977f718b56240106a17a199aaec7b02cd1f","datavalue":{"value":{"entity-type":"item","numeric-id":3251484,"id":"Q3251484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355295$34F20C78-A557-4F50-86A1-3B9382E15BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a6946d86cd70b1df31472de5e56aa19bc21d785","datavalue":{"value":{"entity-type":"item","numeric-id":3222326,"id":"Q3222326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355295$448F477C-218B-46A2-B8F2-17FFB3579E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eef1070849f0e0f6823f6b43e6675c0261196dd","datavalue":{"value":{"entity-type":"item","numeric-id":3992449,"id":"Q3992449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355295$E3EF1B39-3D79-433E-80C5-EB0B4E5962CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008463d97a9846ff081356829baf9d2aaf4f3948","datavalue":{"value":{"entity-type":"item","numeric-id":3237907,"id":"Q3237907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355295$20F714BC-DEEB-4B6E-8DAF-73DF481926F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d30752eff226eaf6ce6e5b1d9a3521d82fbb5ede","datavalue":{"value":{"entity-type":"item","numeric-id":1095259,"id":"Q1095259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355295$AF89C4D3-61D1-4774-92A5-EB6B47622D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ab892923a8d1bb5bdfd2e88117371c0214d5689","datavalue":{"value":{"entity-type":"item","numeric-id":4117949,"id":"Q4117949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355295$D135578A-8AC9-462C-91EB-AD36416B3B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c097cd46ddce4b41b828700199835cbf4a75e62a","datavalue":{"value":{"entity-type":"item","numeric-id":5685160,"id":"Q5685160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355295$E3974672-D390-45F8-B31A-3D7D0D58CF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4c9ee2633aa82b105b1530b1c22a3a23cc57ad3","datavalue":{"value":{"entity-type":"item","numeric-id":4402451,"id":"Q4402451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355295$4E67143D-2FAA-4B95-9F28-755EFD79FEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2109c1df822f5baee1456648981162199b754998","datavalue":{"value":{"entity-type":"item","numeric-id":3997322,"id":"Q3997322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355295$4DF8B5B9-F8BF-45B4-9CFC-C034FFB24569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05095409b07cdaede500e84c28f08d02fd9d4cb0","datavalue":{"value":{"entity-type":"item","numeric-id":2531780,"id":"Q2531780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355295$3CAE51BB-00B4-4299-A84C-D31060977C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4b88ede6194494a5dfae5241e1999e877a42e76","datavalue":{"value":{"entity-type":"item","numeric-id":5548307,"id":"Q5548307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355295$1EC451E4-EC10-4AD0-8B8B-864EC01FA58E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96ae2a8020a501ff3450e119cafa6f31ab29157a","datavalue":{"value":{"entity-type":"item","numeric-id":1843648,"id":"Q1843648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1355295$0018D73E-9269-4957-B12F-6E59690751FC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca62a985297dcfe6a9fc00895283370eb3a2779b","datavalue":{"value":{"entity-type":"item","numeric-id":3437815,"id":"Q3437815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb634f8993284da1f68b94ddb2b9ef9e57eabd93","datavalue":{"value":{"amount":"+0.8370552062988281","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":"Q1355295$63AF419E-255E-4D78-ABB2-996B02AABE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a027c0a31e011113abf724c9a795e1faaba535f","datavalue":{"value":{"entity-type":"item","numeric-id":2282945,"id":"Q2282945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9cc90c471186e231c37cd917a0c3daff19045ea","datavalue":{"value":{"amount":"+0.7758650183677673","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":"Q1355295$D29F2CB7-81DE-4E86-B1EE-01D365B662BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87cec91cf8521c72a4b2b23458ee85c0c653303c","datavalue":{"value":{"entity-type":"item","numeric-id":3708901,"id":"Q3708901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2149e5a55c4f0d7c120d8075f4c51a300d69fb33","datavalue":{"value":{"amount":"+0.7575001120567322","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":"Q1355295$587AD045-7A0A-4A6A-A12A-D133B312E384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e24fa804ed38db8cfd3bf9bb4f3492e1c7a189a","datavalue":{"value":{"entity-type":"item","numeric-id":1938580,"id":"Q1938580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"827fa23b9a03c378865fc96f8bc4a287252a2adb","datavalue":{"value":{"amount":"+0.7542543411254883","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":"Q1355295$477A9290-80A8-448A-AEFB-0C2437FE2B15","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1355295","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1355295"}}}}}