{"entities":{"Q1401451":{"pageid":1412191,"ns":120,"title":"Item:Q1401451","lastrevid":57352401,"modified":"2026-03-30T15:00:26Z","type":"item","id":"Q1401451","labels":{"en":{"language":"en","value":"Geometric Eisenstein series"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1965447"}},"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":"Q1401451$038F3465-9D2A-4B8C-B77B-23647AD3AC42","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a3ab77baa91e9adae0b0d26e0fcd5f13d162b41","datavalue":{"value":{"text":"Geometric Eisenstein series","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1401451$1AE14E67-2F44-4EC6-874C-D2CEC279D305","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d80781286b2993cb28b2473e8d5bf16698ab586a","datavalue":{"value":"1046.11048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401451$F34314D4-025E-4835-A892-5C8E89E8212E","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":"Q1401451$DCB78317-E712-42E2-B127-83E664EED6DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7c559667253af6b857a12c847a2fbcea5328ae19","datavalue":{"value":{"time":"+2003-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1401451$7E838AB9-6941-483D-AF58-4B6D7D9E1BF4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc026a23ebd2d932ab0c8a738a4570264439ce6e","datavalue":{"value":"https://arxiv.org/abs/math/9912097","type":"string"},"datatype":"url"},"type":"statement","id":"Q1401451$50193B29-69AE-4DD2-BA23-C7373916BCBA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d06c4c089a97f60e22e09a98e3e987040aa754dc","datavalue":{"value":"Let \\(X\\) be a curve over a finite field \\(\\mathbb{F}_q\\), \\(G\\) be a reductive group over the function field on \\(X\\). Let \\(T, B\\) and \\(P\\) be respectively a Cartan subgroup, a Borel subgroup and a parabolic subgroup of \\(G\\). The authors define a functor \\( \\text{Eis}= \\text{Eis}_T^G: \\text{Sh}(\\text{Bun}_T) \\to \\text{Sh}(\\text{Bun}_G)\\), where \\(\\text{Sh}(\\text{Bun}_G)\\) is the derived category of constuctible sheaves on the stalk \\( \\text{Bun}_G\\) of \\(G\\)-bundles on \\(X\\), discuss the relationships of this functor with Drinfeld's and Laumon's compactifications on \\(\\text{Bun}_B\\), and investigate its properties. Section 1 of the paper is devoted to the definition of Drinfeld's compactifications.  The main results of the paper are stated in Section 2. Let \\(\\text{Rep}( \\check{G})\\) be the category of finite-dimensional representations of the Langlands dual group \\(\\check{G}\\). Let \\(\\Lambda\\) be the covering lattice of \\(T\\), and \\(\\Lambda_G^+\\) be the semi-group of dominant coweights. It is proved in the paper (Theorem 2.1.5) that for \\(x\\in X\\) and \\( \\mathcal{S}\\in \\text{Sh}( \\text{Bun}_T)\\) there exists a functorial isomorphism  \\[  H_G^\\lambda \\circ \\text{Eis}( \\mathcal{S}) \\simeq\\oplus_{\\mu\\in\\Lambda} ( \\text{Eis}\\boxtimes \\text{id})\\circ H_T^\\mu( \\mathcal{S})\\otimes V^\\lambda(\\mu),  \\]  where \\(\\text{Eis}\\boxtimes \\text{id}\\) denotes the corresponding functor \\( \\text{Sh}( \\text{Bun}_T\\times X)\\to \\text{Sh}( \\text{Bun}_G\\times X)\\), and \\(H_T^\\mu\\) denotes the corresponding Hecke functor (introduced by the authors) for the group \\(T\\).  Next, the authors single out the subcategory of \\( \\text{Sh}(\\text{Bun}_T)\\) consisting of so-called regular sheaves (i.e. such that for any positive coroot \\(\\alpha\\) and for the corresponding projection map \\(T\\to T/ \\mathbb{G}_m\\) one has \\(\\mathfrak{f}_!^\\alpha( \\mathcal{S})=0\\), \\(\\mathfrak{f}^\\alpha: \\text{Bun}_T \\to \\text{Bun}_{T/ \\mathbb{G}_m}\\) being the induced map of stacks), define the action \\(w\\cdot \\mathcal{S}\\) of the Weyl group \\(W\\) of \\(G\\) on \\( \\text{Bun}_T\\), and prove (Theorem 2.1.8) that for a regular \\( \\mathcal{S}\\in \\text{Sh}( \\text{Bun}_T)\\) there exists a functorial isomorphism \\( \\text{Eis}(w\\cdot \\mathcal{S}) \\simeq \\text{Eis}( \\mathcal{S})\\) which is a counterpart for the functor \\( \\text{Eis}\\) of the classical functional equation for Eisenstein series. This isomorphism is compatible with the isomorphism of Theorem 2.1.5 above. The functional equation \\( \\text{Eis}(w\\cdot \\mathcal{S}) \\simeq \\text{Eis}( \\mathcal{S})\\) of Theorem 2.1.8 does not contain the \\(L\\)-factors entering in the classical functional equation. This feature is explained by Theorem 2.2.12, which asserts that \\(L\\)-function is incorporated in the definition of \\( \\text{Eis}\\). Another principal result of the paper (Theorem 2.3.10) asserts that \\( \\text{Eis}_T^G \\simeq \\text{Eis}_M^G\\circ \\text{Eis}_T^M\\). Note that the proof of the latter result is quite complicated.  The technique developed in the paper allows the authors to prove a special case of Langlands conjecture: namely, for an unramified irreducible representation of \\(\\pi_1(X)\\) into \\(\\check{G}\\), such that \\(\\pi_1(X)^{geom}\\) maps to \\( \\check{T}\\subset \\check{G}\\), there exists an unramified automorphic form on \\(G_\\mathbb{A}\\) (\\( \\mathbb{A}\\) is the ring of ad\u00e8les of the function field on \\(X\\)) which corresponds to this representation in the sense of Langlands.  In Section 3 the authors prove that an Eisenstein series functor commutes with Hecke functors in the principal case (i.e. in case of a Borel subgroup of \\( G\\)); the obtained results are generalized in Section 4 to the case of a general reductive subgroup. Here the investigation is based on the Lusztig-Drinfeld-Ginzburg-Mircovich-Vilonen theory of spherical perverse sheaves on the affine Grassmannian \\( \\text{Gr}_G\\).  Section 5 contains the important technical results about the local acyclity. The definition of local acyclity introduced in this section differs from usual one, but is equivalent to it; the proof of equivalence is given in Appendix B. The key result of this section is Theorem 5.1.4 which asserts that the stack \\( \\overline{\\text{Bun}}_P\\) (resp. \\(\\widetilde{\\text{Bun}}_P\\)) is locally acyclic with respect to the natural projection \\( \\mathfrak{q}: \\overline{\\text{Bun}}_B \\to \\text{Bun}_T\\) (resp. \\(\\mathfrak{q}_P: \\widetilde{\\text{Bun}}_B\\to \\text{Bun}_M\\)). Here \\( \\overline{\\text{Bun}}_P\\) is the Drinfeld compactification of \\( \\text{Bun}_P\\), and \\( \\widetilde{\\text{Bun}}_P\\) is an another compactification of \\( \\text{Bun}_P\\) constructed by the authors. Theorem 5.1.4 implies that the functor \\( \\text{Eis}\\) commutes with Verdier duality. Moreover, it is a key tool in the proof of Theorem 2.3.10 on the composition of \\( \\text{Eis}\\).  In Section 6 and 7 the authors investigate some stratifications on the stacks \\(\\overline{\\text{Bun}}_B\\) and \\(\\widetilde{\\text{Bun}}_P\\) needed to prove the isomorphism \\( \\text{Eis}_T^G \\simeq \\text{Eis}_M^G\\circ \\text{Eis}_T^M\\). In particular, in Section 7 it is shown that the map \\( \\text{Bun}_{B,P}\\to \\widetilde{\\text{Bun}}_P\\) is stratified-small in the sense of Goresky-MacPherson. This last result allows the authors to finish the proof of \\( \\text{Eis}_T^G \\simeq \\text{Eis}_M^G\\circ \\text{Eis}_T^M\\). Finally, in Section 7 the proof of the functional equation is completed.  The paper concludes with two appendices. Appendix A is devoted to proving an important auxiliary result on the reduction of \\( \\check{G}\\)-local system by using an argument of G. Prasad, and in Appendix B it is shown that the definition of local acyclicity from Section 5 of the paper is equivalent to the definition given in [\\textit{P. Deligne}, Th\u00e9or\u00e8mes de finitude en cohomologie \\(l\\)-adique, SGA \\(4\\frac{1}{2}\\), Lecture Notes in Mathematics 569, 233--261 (1977; Zbl 0349.14013)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401451$B7DA25A3-1F28-419B-B3D5-BBF435E3F8CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd9e1f5bee69e3fe1b6896fae95fd2286bc71b6b","datavalue":{"value":"11G45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401451$0224683E-C625-492F-85F5-607224DC9D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58a604649b99a60bdb11f522babc25d1a1d8cedf","datavalue":{"value":"11F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401451$9762BFC1-CCE3-4397-993D-0BB2D685F4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"95f29fdc22281515479c771e95c94f402b6c5ce1","datavalue":{"value":"14F43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401451$E1990386-9D0D-45B2-893B-D7153A4463FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cedb9f3d82234d9a1022390028a9ba0482a1ee9b","datavalue":{"value":"1965447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401451$E4F7659A-5E19-4FEF-921E-DFC99E7833D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14c9f5b14771e767a0cd1e4ab7fd3ecb03de4bc2","datavalue":{"value":"reductive groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401451$CD6BA08B-BBE5-49FE-9F83-C473F65F8AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f69b38b65edd82db6ea1549e9b6d15d042d4208","datavalue":{"value":"Eisenstein series","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401451$21B6A580-4EFB-4CBD-9E6D-6A8C24D00662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39143b1b69476ccfe099d55be1f86da78090119f","datavalue":{"value":"Drinfeld's compactification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401451$C474E35C-7A51-4DFF-A24A-B89361203C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"882d2eae75661e12d6553323aee1cc136beada67","datavalue":{"value":"Hecke operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1401451$8A7505B3-F184-4FB2-9488-6CE35CCAC6B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb948abe7857a6d521a90e56b5a6ea9ebd6cca22","datavalue":{"value":{"entity-type":"item","numeric-id":295714,"id":"Q295714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401451$5701D5FF-B366-4A79-9346-7EAE8F163483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c289a3e0cf9274b9a2678e126bcba5b4df3f437","datavalue":{"value":{"entity-type":"item","numeric-id":411333,"id":"Q411333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401451$2A295A5E-CC27-43AC-A4F2-4FC51B8D33B9","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ee5f9fe8191439c136aeab705782377a0083112b","datavalue":{"value":{"entity-type":"item","numeric-id":588738,"id":"Q588738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1401451$3B331AC8-3D6F-40A5-BE57-DDDD37CBDBAB","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":"Q1401451$663C7149-5DD8-4C70-B5C9-296DAD592CB0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"455798f209833b92c81b75b27926c2420a064e52","datavalue":{"value":"W2083846164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401451$333E3CC4-E4C6-4791-82A2-08636EAAA3FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8045950c931fdd3f8bbb2503b3d4e6fdd99402a","datavalue":{"value":"10.1007/S00222-002-0237-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1401451$1A6A3F81-1FE7-44A0-9304-690D67FFB437","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff46842f3aca97f85af2a5ad77316175f7d78b58","datavalue":{"value":{"entity-type":"item","numeric-id":2427029,"id":"Q2427029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c60ece16ed8eec7438956851f70675a9e45990c","datavalue":{"value":{"amount":"+0.8222324848175049","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":"Q1401451$C03FA6CF-8B66-4F20-9DC4-3F50EED873EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"205c2d964d1e93e1f408e8b925955bb11244bea1","datavalue":{"value":{"entity-type":"item","numeric-id":2408262,"id":"Q2408262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a347f944fc32a875c7086a472a30eb2343112eb","datavalue":{"value":{"amount":"+0.8158979415893555","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":"Q1401451$FC730364-3CF3-41B6-BEAE-F80ABB966E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43efb5fab39eab38116780438d457aaa57a97304","datavalue":{"value":{"entity-type":"item","numeric-id":1113948,"id":"Q1113948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11f5315582c12c3dfa36b8f0533d6d29a77e2003","datavalue":{"value":{"amount":"+0.8102285861968994","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":"Q1401451$63D7AC4E-0A5B-4E70-81E7-0F092C82F3AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed5c39982e203e10bb4cb6c8520f8d239588d65d","datavalue":{"value":{"entity-type":"item","numeric-id":730318,"id":"Q730318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e53210f0f0364a60715c736e50f9f10e9b1d1139","datavalue":{"value":{"amount":"+0.7927563786506653","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":"Q1401451$66126A40-E1F4-47B7-9E7E-65E22A7EBEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cdec8a65cd1b24b3494538525191cd089be38c1","datavalue":{"value":{"entity-type":"item","numeric-id":2945009,"id":"Q2945009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ffde319a1be4111ce17adad00a2e77a8b419925","datavalue":{"value":{"amount":"+0.784832775592804","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":"Q1401451$228472B7-7752-4DBC-9850-9356C35C782D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1401451","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1401451"}}}}}