{"entities":{"Q1608551":{"pageid":1619291,"ns":120,"title":"Item:Q1608551","lastrevid":47955559,"modified":"2026-01-03T04:31:23Z","type":"item","id":"Q1608551","labels":{"en":{"language":"en","value":"Drinfeld shtukas and Langlands correspondence."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1777225"}},"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":"Q1608551$AFF2E93A-C701-4ED4-A2EF-743D331C385A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"664de247ee045ec37cf8825c11921d4d973df29e","datavalue":{"value":{"text":"Drinfeld shtukas and Langlands correspondence.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1608551$04C504D0-6A93-494D-AC7F-34C14790E27D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0f9f636355f3cb6c4d3f910405b58c58f7ae2c3","datavalue":{"value":"1038.11075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1608551$6700BAA3-DF2D-4187-A9B9-186985BB666D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"574f71e6e4ccc9f12c6a35e4db60e81c62ce6787","datavalue":{"value":{"entity-type":"item","numeric-id":332206,"id":"Q332206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608551$977E2D0F-B117-4E71-A8F9-B7FE4838904B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"78c924ab2a87a282c80efa85079613d2f7e99dd9","datavalue":{"value":{"entity-type":"item","numeric-id":163162,"id":"Q163162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608551$38CF9E42-6940-4493-808B-4308302CAC24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffa85d9912418bd5ff11b5aa4a0a27f951e2a1ef","datavalue":{"value":{"time":"+2002-08-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1608551$CE86B9C2-9203-48CF-96EF-7A97E94A4472","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e3cd9c18dca43b28d5f87a817561b43bf7093030","datavalue":{"value":"In this outstanding paper, the author proves the famous Langlands conjecture for \\(\\text{GL}_r\\) over global function fields.  Let \\(X\\) be a smooth projective geometrically irreducible curve over a finite field \\(\\mathbb{F}_q\\) and \\(F\\) its function field. Denote by \\(G_F\\) the Galois group of \\(F\\), \\(| X| \\) the set of closed points of \\(X\\), \\(\\mathbb{A}=\\prod_{x\\in| X| }F_x\\) the ring of ad\u00e8les, and \\(O_{\\mathbb{A}}\\) the subring of integral ad\u00e8les. Fix a prime number \\(\\ell\\) not dividing \\(q\\). Firstly, for any integer \\(r\\geq1\\) consider the set \\(\\mathcal{A}^r(F)\\) of irreducible cuspidal representations \\(\\pi\\) of \\(\\text{GL}_r(\\mathbb{A})\\) with central character \\(\\chi_{\\pi}\\) of finite order. Secondly, consider the set \\(\\mathcal{G}_{\\ell}^r(F)\\) of irreducible almost everywhere non-ramified \\(\\ell\\)-adic representations of \\(G_F\\) of dimension \\(r\\) whose determinants are of finite order.  Theorem. Let \\(r\\geq1\\).  (i)\\(_r\\) To any cuspidal automorphic representation \\(\\pi\\in\\mathcal{A}^r(F)\\) one can associate a unique Galois representation \\(\\sigma_{\\pi}\\in \\mathcal{G}_{\\ell}^r(F)\\) with the same ramification locus in \\(| X| \\) and such that Frobenius eigenvalues of \\(\\sigma_{\\pi}\\) coincide with Hecke eigenvalues \\(z_1(\\pi_x),\\cdots,z_r(\\pi_x)\\) for any (non-ramified) place \\(x\\in| X| \\).  (ii)\\(_r\\) Reciprocally, to any Galois representation \\(\\sigma\\in \\mathcal{G}_{\\ell}^r(F)\\), one can associate a unique automorphic representation \\(\\pi_{\\sigma}\\in\\mathcal{A}^r(F)\\) whose Hecke eigenvalues coincide with Frobenius eigenvalues of \\(\\sigma\\).  The unicity follows from Chebotarev's density theorem and ``strong multiplicity one'' theorem of Piatetski-Shapiro. In addition, for \\(r=1\\) the theorem is equivalent to the reciprocity law of the class field theory.  The first key point of Lafforgue's proof is an application of the ``Deligne recursive principle''. Fix a rank \\(r\\geq 2\\) and suppose that assertion (i)\\(_r\\) is true for all ranks \\(<r\\). Then, combining functional equations for \\(L\\)-functions, Laumon's product formula and reciprocity theorems of Weil, Hecke and Piatetski-Shapiro, Lafforgue (following Deligne) shows that assertion (ii)\\(_r\\) is true for all ranks \\(\\leq r\\).  Thus, this argument reduces the proof to a construction of an appropriate map \\(\\mathcal{A}^r(F)\\rightarrow\\mathcal{G}_{\\ell}^r(F)\\), \\(\\pi\\mapsto \\sigma_{\\pi}\\).  This map is constructed by a careful study of the cohomology of the moduli stack \\(\\text{Cht}_N^r\\) of Drinfeld shtukas of rank \\(r\\) with (an appropriate) level structure \\(N\\). This stack is of relative dimension \\(2r-2\\) and smooth over \\((X-N)\\times(X-N)\\). The Hecke algebra \\(\\mathcal{H}_N^r\\) and two ``partial Frobenius'' morphisms, denoted \\(\\text{Frob}_{\\infty}\\) and \\(\\text{Frob}_0\\), act on \\(\\text{Cht}_N^r\\). The main difficulty is that connected components of \\(\\text{Cht}_N^r\\) are not of finite type. Their \\(\\ell\\)-adic cohomology are infinite-dimensional and the numbers of fixed points with respect to Hecke correspondences are also infinite.  Choose an id\u00e8le \\(a\\in\\mathbb{A}^{\\times}\\) of degree 1 and consider the quotient \\(\\text{Cht}_N^r/a^{\\mathbb{Z}}\\simeq \\coprod_{1\\leq d\\leq r} \\text{Cht}_N^{r,d}\\). Here \\(\\text{Cht}_N^{r,d}\\) denotes the moduli stack of shtukas of rank \\(r\\) and degree \\(d\\) with level structure \\(N\\). Now one has a new difficulty since there is no open substack of finite type in \\(\\text{Cht}_N^r\\) stable by actions of \\(\\text{Frob}_{\\infty}\\), \\(\\text{Frob}_0\\) and \\(\\mathcal{H}_N^r\\).  Nevertheless, Lafforgue had an ingenious idea to bound the canonical Harder-Narasimhan polygons \\(p_{\\text{HN}}^{}\\) of shtukas by a fixed polygon \\(p:[0,r]\\rightarrow\\mathbb{R}_+\\). The corresponding stack  \\[ \\text{Cht}_N^{r,p_{\\text{HN}}^{}\\leqslant p}/a^{\\mathbb{Z}}\\simeq \\coprod_{1\\leq d\\leq r} \\text{Cht}_N^{r,d,p_{\\text{HN}}^{}\\leqslant p} \\]  is of finite type, and it is possible to calculate the number of fixed points. However, \\(\\text{Cht}_N^{r,p_{\\text{HN}}^{}\\leqslant p}\\) is not stable with respect to Hecke correspondences.  In order to recover the action of Hecke correspondences it is necessary to consider a compactified stack \\(\\overline{\\text{Cht}_N^{r,p_{\\text{HN}}^{}\\leqslant p}}\\). It is constructed as the moduli stack of ``iterated shtukas'' of rank \\(r\\) with level structure \\(N\\) etc. The next ingenious idea of Lafforgue is to consider iterated shtukas whose ``degenerators'' avoid \\(N\\). Then, remarkably, normalized Hecke correspondences stabilize the corresponding open substack \\(\\overline{\\text{Cht}_N^{r,p_{\\text{HN}}^{}\\leqslant p}}'\\).  Finally, in a wonderful manner, Lafforgue subtracts the same essential part \\(H_{N,\\text{ess}}\\) from  \\[ H_c^{2r-2} (\\overline{\\text{Cht}_N^{r, p_{\\text{HN}}^{}\\leqslant p}}'/a^{\\mathbb{Z}}), \\quad H_c^{2r-2}( \\text{Cht}_N^{r,p_{\\text{HN}}^{}\\leqslant p}/a^{\\mathbb{Z}}) \\]  as well as from \\(H_c^{2r-2} (\\text{Cht}_N^r/a^{\\mathbb{Z}})\\). The decomposition of \\(H_{N,\\text{ess}}\\) considered as a \\((\\mathcal{H}_N^r\\times G_F)\\)-bimodule permits him to construct \\(\\sigma_{\\pi}\\) and to prove the global Langlands conjecture.  Obviously, only the biggest landmarks are mentioned here, while Lafforgue's paper contains a whole bunch of ingenious constructions, ideas and results.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1608551$A8DE5A42-1FBF-461B-AD0E-AD033DFA1C34","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"84b31764015b367d66715b79d9dba3bddc35c1c7","datavalue":{"value":{"entity-type":"item","numeric-id":1269504,"id":"Q1269504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1608551$49B3A09E-7E8E-472F-B7CF-CEE0554F3A48","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a9c7d6ecc1b6c5ae93e03cc9e8892a32e504b581","datavalue":{"value":"11R39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1608551$5747526C-9601-4CB0-9263-D8703DB72A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"92d33df551ba80192c660f762dbd12e0b090c61b","datavalue":{"value":"11F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1608551$82EAE571-96BE-48F3-A1D6-3A9DD4C41DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bcf8b154aada8af1e5247844463f982f4d4aef1f","datavalue":{"value":"11F70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1608551$E16FF710-F2A6-4966-8F18-A06DFA86F785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"828a89d89b687a71d09a8ad5d13795695a26caa3","datavalue":{"value":"11G09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1608551$43AC80BA-888B-4CB8-A5A7-D23516B45A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89fb9493aa18fb1623dc68bfa6a25617bdf58c41","datavalue":{"value":"14G35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1608551$DFD91CA0-1DF8-4854-B319-AC976F4F3771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"36e6500bb0680286a34ec8fb25c40431cdde5e58","datavalue":{"value":"14H60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1608551$971A7351-A42B-4CFC-A74D-51EE089831C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13241918ac2fa367fffd2798c0dc728df30dab6e","datavalue":{"value":"22E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1608551$D2C16E71-FA91-466F-8655-122E2FC01FFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a01077fa8b71a5602016db66f4094af893cbe557","datavalue":{"value":"1777225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1608551$4EA2995E-1879-43E8-AA84-C74D876EA4B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b41cfa6fd68dc137c7a8718f794911e8ba6b06bd","datavalue":{"value":"automorphic representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1608551$57B6277D-2369-4805-A42D-BD22B27D78F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acadeb01a31998337019d81c0ed5fd18cdb3d5f1","datavalue":{"value":"Drinfeld shtuka","type":"string"},"datatype":"string"},"type":"statement","id":"Q1608551$85120945-6B91-4A82-85BC-3C7A6B8D19E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"991c4969397650adb27526f9881fd12e2933bfc1","datavalue":{"value":"global Langlands conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q1608551$0AF569BD-BAE8-437D-A26B-B6BCC5167061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8ddec581e20663d97275dcf6a0101b2df2266dd","datavalue":{"value":"Harder-Narasimhan polygon","type":"string"},"datatype":"string"},"type":"statement","id":"Q1608551$C07B6A3D-8FAC-4E08-875A-C3BEA5D2D2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a001c64fdd906d09398f95da0d531fec642366f","datavalue":{"value":"Hecke correspondences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1608551$E9A783A9-22FC-4225-AECD-8E6B90D38E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bc5ac02bb69950f53bfca98d7f29001ead209c2","datavalue":{"value":"iterated shtuka","type":"string"},"datatype":"string"},"type":"statement","id":"Q1608551$2245B4BA-1031-4677-9508-6B190AAFFD14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff61581358b685b48b5cc61418601866e1429363","datavalue":{"value":"moduli stack of shtukas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1608551$F5CC3935-38EF-4270-AA80-E49CD8D37E4C","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":"Q1608551$98B0ED8A-6C9E-4C07-B8EA-35E76B76C949","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3ed1ef79c72c9ca63fadbc9bd754bfb647cd63f","datavalue":{"value":"https://doi.org/10.1007/s002220100174","type":"string"},"datatype":"url"},"type":"statement","id":"Q1608551$6326C91B-BDD1-4C6E-A1E3-B419B6E6882D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"519ce0c6d954069721eef673c5e9921f7d109cd1","datavalue":{"value":"W2121723322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1608551$47738B44-724D-48B8-8DA0-8E9244A03D7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0e1c7853ae2b63d75b89722fa4278fb45d6d97f","datavalue":{"value":"10.1007/S002220100174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1608551$443E756C-B88D-4C57-BBD2-30C466240608","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8f39c5ec2d30890d5f4ff4a245c43c8f0ef47c6","datavalue":{"value":{"entity-type":"item","numeric-id":4531284,"id":"Q4531284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3c93935ed190e1cb246365e12b3a807c266e71e","datavalue":{"value":{"amount":"+0.951167106628418","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":"Q1608551$FBF97E89-87BF-4AF6-9708-F2221513C71A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7827fe87404024c30e6be47c3c3e1dd32f052fcf","datavalue":{"value":{"entity-type":"item","numeric-id":2086412,"id":"Q2086412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee3171ea14f051c999940559e83cdcbb33b3a2e1","datavalue":{"value":{"amount":"+0.9490622878074646","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":"Q1608551$2DE8A0E4-516D-45D8-93B5-6771F3C97180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6da8f203e3cd754975b425932536051515ea1f96","datavalue":{"value":{"entity-type":"item","numeric-id":2736122,"id":"Q2736122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1b1ba393da7d05c5fdbf0dc44d13a7e760ac78b","datavalue":{"value":{"amount":"+0.937344253063202","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":"Q1608551$B0EE7B45-EC48-45BA-A05B-460C02016395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9c1f7c5a26eeb892d18a430abf904469fa600f8","datavalue":{"value":{"entity-type":"item","numeric-id":4376483,"id":"Q4376483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1b1ba393da7d05c5fdbf0dc44d13a7e760ac78b","datavalue":{"value":{"amount":"+0.937344253063202","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":"Q1608551$5A12DC9D-CB3C-44CF-9933-4F2828527995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9cb3f6651450c6ecff90974f41f50fa43cc5da1","datavalue":{"value":{"entity-type":"item","numeric-id":3504491,"id":"Q3504491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"224e3224392665e72ff9a6b46e60e494d29700a7","datavalue":{"value":{"amount":"+0.8458394408226013","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":"Q1608551$6EFA353F-424F-4868-A623-C45C485447D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1608551","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1608551"}}}}}