{"entities":{"Q6986624":{"pageid":21422757,"ns":120,"title":"Item:Q6986624","lastrevid":84015989,"modified":"2026-05-08T00:06:22Z","type":"item","id":"Q6986624","labels":{"en":{"language":"en","value":"Derived smooth induction with applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8037470"}},"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":"Q6986624$62B0F575-E256-4E5A-8849-616542CC4077","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3bdf36e2e1c4ab26607abddc5355a74dd2a4d772","datavalue":{"value":{"text":"Derived smooth induction with applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6986624$516ABD5E-2B79-4905-B085-D4CE76393FCD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b5bfceb35ad1e3173c4a3adc077aaae09f17b5d","datavalue":{"value":"10.1112/JLMS.70157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6986624$C6B1FCCE-1B7A-4F93-8E59-22443A0CD3DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"890b4242e991c3e7121a39b1cf215580abb3658a","datavalue":{"value":{"entity-type":"item","numeric-id":373483,"id":"Q373483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6986624$48EE668C-E74E-40F7-8957-6B9B29B17210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0404c4461cef3a397a124318d380539411c81a4","datavalue":{"value":{"entity-type":"item","numeric-id":170689,"id":"Q170689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6986624$6AF20975-06EB-416A-AF70-807E30D00C57","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd06f03000a68ed41ca657843f37f844031b6943","datavalue":{"value":{"entity-type":"item","numeric-id":6536654,"id":"Q6536654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6986624$8D228876-E5B9-4F41-A874-61FAD136A732","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"567476c351715289cc126a5b154a6c78633ec8b3","datavalue":{"value":{"time":"+2025-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6986624$ECF1852C-BACF-4A2D-AD82-B9CF261F003C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9cad5c53ddb9da883c40ee7f3bb0e7a8ac572acb","datavalue":{"value":"Let \\(k\\) be a field of characteristic \\(p > 0\\). For every locally profinite group \\(G\\), the category of smooth \\(G\\)-representations on \\(k\\)-vector spaces is denoted by \\(\\mathrm{Mod}_k(G)\\). To each compact open subgroup \\(K \\subset G\\) is attached the smooth induction functor \\(\\mathrm{Ind}^G_K\\). We also obtain the endo-functor \\(\\underline{\\mathrm{Ind}}\\) of \\(\\mathrm{Mod}_k(G)\\) by \\(V \\mapsto \\varinjlim_K \\mathrm{Ind}^G_K(V)\\). In fact, it can be upgraded to a \\(\\mathrm{Mod}_k(G \\times G)\\)-valued functor.\\N\\NLet \\(\\mathbf{G}\\) be a connected reductive group defined over \\(\\mathfrak{F}\\), a finite extension of \\(\\mathbb{Q}_p\\) with ring of integers \\(\\mathfrak{O}\\), and put \\(G = \\mathbf{G}(\\mathfrak{F})\\). For every \\(m \\geq 0\\), let \\(K_m\\) be the \\(m\\)-th principal congruence subgroup of \\(\\mathbf{G}(\\mathfrak{O})\\) defined by a chosen special vertex in the Bruhat--Tits building of \\(\\mathbf{G}\\), assuming that \\(m\\) is divisible by the ramification index \\(e = e(\\mathfrak{F}|\\mathbb{Q}_p)\\) (with \\(m > e\\) if \\(p=2\\)).\\N\\NLet \\(P_{\\min}\\) be the group of \\(\\mathfrak{F}\\)-points of a minimal parabolic of \\(\\mathbf{G}\\). The first main result (Theorem 1.2) asserts that \\(\\mathrm{R}^i \\mathrm{Ind}^G_{K_m}(k) = 0\\) if and only if \\(i > \\dim_{\\mathbb{Q}_p}(G/P_{\\mathrm{min}})\\).\\N\\NUsing this, it is shown in Theorem 1.1 that when \\(\\mathbf{G}\\) is non-trivial, \\(\\mathrm{Mod}_k(G)\\) has no nonzero projective objects.\\N\\NSet \\(D(G) = D(\\mathrm{Mod}_k(G))\\). The final main result (Theorem 1.3) states that for \\(G = \\mathbf{G}(\\mathfrak{F})\\) as above, there is an isomorphism \\(C^{\\infty}(G, k)[0] \\simeq \\mathrm{R}\\mathrm{Ind}(k)\\) in the derived category \\(D(G \\times G)\\).\\N\\NAs a sample application, Corollary 4.7 shows that if \\(G\\) is a \\(p\\)-adic Lie group with non-discrete center, then \\(\\mathrm{Mod}_k(G)\\) has no nonzero projective objects.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6986624$8DC910CF-A472-465D-8103-6895B0B4377B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cb73d1307b1f27e81aac66eea900b61712d55926","datavalue":{"value":{"entity-type":"item","numeric-id":486844,"id":"Q486844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6986624$A0111937-5A0C-45F0-871D-42AF5B81C384","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bcf8b154aada8af1e5247844463f982f4d4aef1f","datavalue":{"value":"11F70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6986624$0C94A47E-107C-4F6C-ACA0-C1DBA3028C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f3db65ed09a53b4a1a158cb0a8069769e5ed98","datavalue":{"value":"22E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6986624$2D389C2C-421D-42B3-B287-27630E5CFF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5476b296ff705bf744a6dd2bffe7489190353eb9","datavalue":{"value":"20G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6986624$E9235512-9E73-476B-8944-8E3BCE0F4BAC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67e29ab2b760d4ba150f5833cbdc4d91313df4cc","datavalue":{"value":"8037470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6986624$DB4D5F03-4BA0-4A9F-9AD0-83C087BD5FC8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b1a52316fc4dd4afe51b6fb4c1aba23e0b1dd79","datavalue":{"value":"smooth induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6986624$235B8E7E-DAD6-4B93-AF58-31BFC8B837AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ad93c5135fdb6642df265555814b9246eeaa9cc","datavalue":{"value":"profinite group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6986624$03DA0157-3220-4B81-B9E7-3A7C0C2249CD","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":"Q6986624$942DC9FE-9CC3-4EA3-8352-39920914C8AC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c68764a3b5ec74c7aebee70f653efc1fcd03555a","datavalue":{"value":{"entity-type":"item","numeric-id":3999894,"id":"Q3999894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6986624$479926BF-14F7-4540-A251-94378B10CDCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf68c214b2646f19bf9315d155f251da1bd10ff","datavalue":{"value":{"entity-type":"item","numeric-id":2104890,"id":"Q2104890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6986624$52FAF68E-BCE4-40A5-AF8F-E543EE43D9C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd0c79df92bc350c1392749f32215a0a6fb09551","datavalue":{"value":{"entity-type":"item","numeric-id":4264394,"id":"Q4264394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6986624$C01CE30A-A877-4306-BFB9-AF5F6E37B248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0136381ba529cb5aa79a1908deffb3b6f6ee823b","datavalue":{"value":{"entity-type":"item","numeric-id":6384934,"id":"Q6384934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6986624$5FC26A5A-2E07-4DF1-A114-7AE53C2C5CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7be8425edfdc4f19f15eee14e0a0e4b8b110fd74","datavalue":{"value":{"entity-type":"item","numeric-id":5046501,"id":"Q5046501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6986624$F594ACB5-C187-4A82-8BE8-3E10ADC63C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67c60ef1865b27a7a4a49c43ea5a677cffc70518","datavalue":{"value":{"entity-type":"item","numeric-id":5465517,"id":"Q5465517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6986624$DCFF6AB9-010D-46E2-8903-90D44E6B6BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fff49bb6493303e74d975dd4b621a8c85030275","datavalue":{"value":{"entity-type":"item","numeric-id":2013988,"id":"Q2013988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6986624$51B3D301-2643-4746-8356-2EA1A388EA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30b423f1c912d30d8a0644f5eaa9ab70413bdf0d","datavalue":{"value":{"entity-type":"item","numeric-id":2522116,"id":"Q2522116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6986624$60F98BE6-CA07-4623-B3C6-53B3827CC3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25e33f137b8c98f20a1372ba00e9c6fa37a8fea7","datavalue":{"value":{"entity-type":"item","numeric-id":3445917,"id":"Q3445917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6986624$95DBE179-6B0A-4C9C-B3D9-9CDD6532234F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc63b9402e22903b3d593fb6c96c64ae55440d06","datavalue":{"value":{"entity-type":"item","numeric-id":5136655,"id":"Q5136655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6986624$056BE27B-0F05-4B67-A972-B5567C4E219B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31e4ad9f20f2b9c712d535a3fe49c3cefe5b2a8a","datavalue":{"value":{"entity-type":"item","numeric-id":6133247,"id":"Q6133247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6986624$6AD0E0DF-E564-4A4F-803C-7540A6F622FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a111fae3f45afb96652e9a667f17dce7f5edd26","datavalue":{"value":{"entity-type":"item","numeric-id":903175,"id":"Q903175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6986624$144ACAAF-C9D2-4E37-BC4E-285FE9E09368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704fc6f93ad85a6f306e1e71ffb58887ebc7687d","datavalue":{"value":{"entity-type":"item","numeric-id":6161715,"id":"Q6161715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6986624$8EE8FFC7-8D81-436F-BE40-9D8FD38CE4D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f812ada2f8199ca8276c49e5817d02a5ccd9d69b","datavalue":{"value":{"entity-type":"item","numeric-id":1374861,"id":"Q1374861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6986624$F6357C36-6202-43F2-B7C5-308BFD5AE42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c86dbc52b07bea3e6af636edd9b2264bcd55023","datavalue":{"value":{"entity-type":"item","numeric-id":2325556,"id":"Q2325556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6986624$A8A39CE6-6094-4B5E-B19F-994811BC9042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20879683206692b5738e3c8bfc282875ac2563e4","datavalue":{"value":{"entity-type":"item","numeric-id":1922354,"id":"Q1922354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6986624$B473494E-2D85-4F76-B79E-6F7EBB278CDE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Derived smooth induction with applications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Derived_smooth_induction_with_applications"}}}}}