{"entities":{"Q2093202":{"pageid":2103945,"ns":120,"title":"Item:Q2093202","lastrevid":71326203,"modified":"2026-04-13T21:28:43Z","type":"item","id":"Q2093202","labels":{"en":{"language":"en","value":"Triviality of the Hecke action on ordinary Drinfeld cuspforms of level \\(\\Gamma_1(t^n)\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7612793"}},"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":"Q2093202$FAA95278-E2D0-4F92-A79E-DC8E755B857E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3a641dc7e7d3fb6d20090c3a2985649b4f4e2a6","datavalue":{"value":{"text":"Triviality of the Hecke action on ordinary Drinfeld cuspforms of level \\(\\Gamma_1(t^n)\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2093202$427CB894-B4B4-494A-AE14-DCA38DA816D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99e89591e853509bcc0b9fdd2a7c3addb228bba9","datavalue":{"value":{"entity-type":"item","numeric-id":358824,"id":"Q358824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093202$A124B6A4-7C3A-416B-8D97-E1A3DD456E96","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"79327704d6d4548ce97be34ab84df8a1bb1515ff","datavalue":{"value":{"entity-type":"item","numeric-id":256938,"id":"Q256938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093202$36E1AEC8-57D4-4095-8318-E95BEF2B7D08","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eecad82482bfc961aed04516be9b164b2df10ca6","datavalue":{"value":{"time":"+2022-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2093202$D61BB304-9056-44B9-B058-29E4D3BBE651","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01d30831d51d3356eb83992871fac484c5d8e40e","datavalue":{"value":"https://arxiv.org/abs/2012.07323","type":"string"},"datatype":"url"},"type":"statement","id":"Q2093202$98BAC0B0-3141-42A6-A212-531B7657AC98","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"574b8e058d8bd1fd4346bc62b96591a1516becf8","datavalue":{"value":"Let \\(K=\\mathbb{F}_q(t)\\) and \\(A=\\mathbb{F}_q[t]\\), where \\(q\\) is a power of a prime \\(p\\in\\mathbb{Z}\\). For any ideal \\(\\mathfrak{n}\\) of \\(A\\), let \\[ \\Gamma_1(\\mathfrak{n}):=\\left\\{\\gamma\\in \\text{SL}_2(A): \\gamma \\equiv \\begin{pmatrix} 1 & * \\\\ 0 & 1 \\end{pmatrix} \\pmod{\\mathfrak{n}} \\right\\} \\] and let \\(S_k(\\mathfrak{n})\\) (resp. \\(S_k^2(\\mathfrak{n})\\)) be the \\(\\mathbb{C}_\\infty\\)-vector space of Drinfeld cuspforms (resp. double cuspforms) of level \\(\\Gamma_1(\\mathfrak{n})\\) (where \\(\\mathbb{C}_\\infty\\) is the completion of an algebraic closure of \\(\\mathbb{F}_q\\left(\\!\\left(\\frac{1}{t}\\right)\\!\\right)\\)). Those spaces are endowed with the action of Hecke operators (and some diamond operators commuting with them) \\(T_{\\mathfrak{m}}\\) and \\(U_{\\mathfrak{r}}\\) for all prime ideals \\(\\mathfrak{m} \\nmid \\mathfrak{n}\\) and \\(\\mathfrak{r}|\\mathfrak{n}\\). This action (in particular its eigenvalues and eigenforms) is crucial in every attempt to study a function field counterpart for Hida theory, and the paper deals with the case \\(\\mathfrak{n}=(t^n)\\) for all \\(n\\geqslant 1\\)).  The author provides a system of representatives for \\(\\Gamma_1(t^n)\\backslash \\Gamma_1(t)\\) and, via those, a way to describe cusps of level \\(\\Gamma_1(t^n)\\) which gives explicit formulas for the Hecke action on them. The main consequence is an equivalence between the bound \\(\\dim_{\\mathbb{C}_\\infty}(S_2^{\\mathrm{ord}}(t^n))\\leqslant q^n-1\\) (where the ordinary cusps are those whose eigenvalues are \\(t\\)-adic units) and the nilpotency of the action of \\(U_{(t)}\\) on \\(S^2_2(t^n)\\). The nilpotency of \\(U_{(t)}\\) yields the main result of the paper, which is the triviality of the action of all Hecke operators on \\(S_k^{\\mathrm{ord}}(t^n)\\) (and also the equality \\(\\dim_{\\mathbb{C}_\\infty}(S_2^{\\mathrm{ord}}(t^n))= q^n-1\\)).  The author is able to prove nilpotency by studying the structure of the \\(\\mathbb{C}_\\infty[\\Theta_n] := \\mathbb{C}_\\infty[1+tA/(t^n)]\\)-module \\(S_2(t^n)\\) via the isomorphism with harmonic cocycles proved in \\textit{J. Teitelbaum} [J. Am. Math. Soc. 4, No. 3, 491--511 (1991; Zbl 0735.11025)]. It turns out that \\(S_2(t^n)\\) is free of rank \\(q^n-1\\) over \\(\\mathbb{C}_\\infty[\\Theta_n]\\) and, taking its \\(\\Theta_n\\)-stable subspaces, one obtains the bound on \\(\\dim_{\\mathbb{C}_\\infty}(S_2^{\\mathrm{ord}}(t^n))\\) mentioned above, i.e., the required nilpotency of \\(U_{(t)}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2093202$879437A0-B915-4565-9E0E-FF8557DA224D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1dd4ab08b3133e71ac8deae0dd693681dd22a851","datavalue":{"value":{"entity-type":"item","numeric-id":462697,"id":"Q462697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093202$F6343221-0646-4168-BC22-06B857696E6A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"92d33df551ba80192c660f762dbd12e0b090c61b","datavalue":{"value":"11F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2093202$116C7F7D-8F80-4850-B8B8-C3BBA902C07E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70ecb1605e3821af8f8337f2fc911f89f82aea41","datavalue":{"value":"7612793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2093202$B38D89B1-D583-4E3F-86CF-602184C155F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f1619025ac8aee94cee31781496f98378d63399","datavalue":{"value":"Drinfeld cuspforms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2093202$2D947F4C-AC88-4DA0-8C7F-A43884B01BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"882d2eae75661e12d6553323aee1cc136beada67","datavalue":{"value":"Hecke operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q2093202$4A70B79E-8E9E-4AD1-989E-BE9EE6FC6678","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":"Q2093202$22B3837E-8565-411B-9565-669C237CBA3F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84b52c627e3abbb241c2f603758dca313a66f3d6","datavalue":{"value":"W4297492850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2093202$4055E925-7F4B-4504-99FD-F986731827D5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d4b1fcee325e4527db9105565cffa918fdce8da","datavalue":{"value":{"entity-type":"item","numeric-id":5232917,"id":"Q5232917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093202$B0B73954-03F4-4751-B65F-2A322CCD990B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f5bba2d1102ba35238ce927bfc3bd81a15b23e0","datavalue":{"value":{"entity-type":"item","numeric-id":1107590,"id":"Q1107590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093202$B91C6DED-A3AB-4C4D-B31E-0B4FDB2804B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0114761e3262f11192b2c980f3cbe48a76db0a1","datavalue":{"value":{"entity-type":"item","numeric-id":4865724,"id":"Q4865724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093202$AC8EFADA-0110-4956-B4DE-D27C02D04DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e959ca5bb6cf2d066aa278d3a42d7de80aaa1e7c","datavalue":{"value":{"entity-type":"item","numeric-id":4885249,"id":"Q4885249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093202$5DAB0BB2-9207-4F43-B9BF-4B372DA7EBAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7527d297eef313cdbed840dee3471db2401be3c7","datavalue":{"value":{"entity-type":"item","numeric-id":5005272,"id":"Q5005272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093202$2FC77C1F-EDB2-41C3-A6DA-4164FFA3056F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a795171264785ff8a9a61442c240d89de708fab3","datavalue":{"value":{"entity-type":"item","numeric-id":4991939,"id":"Q4991939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093202$52D666AD-5A37-417A-8184-2CD92376D4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"476c35a0fbd1971471ed205e906917f3a18a7ac7","datavalue":{"value":{"entity-type":"item","numeric-id":2227285,"id":"Q2227285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093202$97A20291-7E7D-4F99-9E22-6AEF62C37E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c7b855b8380ba5adc5b2a5f69cbe3cc9721c377","datavalue":{"value":{"entity-type":"item","numeric-id":4695321,"id":"Q4695321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093202$65C9C1EF-1C47-4C19-BF22-23738CFFB62B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e00398667dc227d8b792e7630f93c9a574fc85a8","datavalue":{"value":{"entity-type":"item","numeric-id":958701,"id":"Q958701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093202$4240E240-6C39-4591-A004-8CD40DB8F4E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7843aaa2b3ce29fd8fbc5c3cc14efa7e9b3b744","datavalue":{"value":{"entity-type":"item","numeric-id":2444492,"id":"Q2444492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093202$146F98B8-5E41-457B-AF98-2E5A9FC83704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f40d7474f029013702aca1ae395b69ba95662508","datavalue":{"value":{"entity-type":"item","numeric-id":3979558,"id":"Q3979558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093202$50E6B2C0-5A84-4DAA-B969-19F9486915C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ebc5ffe0f24a76fb888f4d70b4e3b9a63d66cc2c","datavalue":{"value":"10.1515/CRELLE-2022-0058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2093202$C5A2CA18-20AD-4E70-8D7F-067EE0C34CB6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c1c2c6a7dd6f4d92b5ff2bbe8bea778cdf2a37b","datavalue":{"value":{"entity-type":"item","numeric-id":958701,"id":"Q958701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"382157abea5b973f2147b74a4ff40fe2b2190acb","datavalue":{"value":{"amount":"+0.8321847319602966","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":"Q2093202$636E6DC3-52D4-412D-B3DC-6DECD9809CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"631d86e4886abdc68b2ce372ed678b4c8b628a70","datavalue":{"value":{"entity-type":"item","numeric-id":3890820,"id":"Q3890820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2378befa5851c862dca0925030ecb712fd47702d","datavalue":{"value":{"amount":"+0.8222687840461731","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":"Q2093202$4C5BBB61-BBE4-4E4F-B3E7-650B6B3251F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34d866c3e7e4df84369af0a88f2a90f50f1c5218","datavalue":{"value":{"entity-type":"item","numeric-id":2637458,"id":"Q2637458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d6c812c668218286acec23fb680187c9d76e2fb","datavalue":{"value":{"amount":"+0.8086486458778381","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":"Q2093202$52BD921A-310F-4463-8BC8-CD0B6BBB81DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9610cb84ec047f953bf96dd27ddc023f3e103cc","datavalue":{"value":{"entity-type":"item","numeric-id":5232917,"id":"Q5232917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0efebfb6d2e987523ee04b277b9780fb78a7ef35","datavalue":{"value":{"amount":"+0.7903408408164978","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":"Q2093202$A08026FA-5EE8-4CA2-9EEA-6A217CC6B5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a4ddbf042e106d12e6094e3d8264f7f494b1894","datavalue":{"value":{"entity-type":"item","numeric-id":652223,"id":"Q652223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f97a52635e71226be708bb69f5c1ddc1fdf6c27","datavalue":{"value":{"amount":"+0.7762249112129211","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":"Q2093202$3A3DE7D0-B511-4534-980D-61A7512B6CBF","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2093202$5F459542-A5FC-46E1-9440-B1ECF447144F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Triviality of the Hecke action on ordinary Drinfeld cuspforms of level \\(\\Gamma 1(t^n)\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Triviality_of_the_Hecke_action_on_ordinary_Drinfeld_cuspforms_of_level_%5C(%5CGamma_1(t%5En)%5C)"}}}}}