{"entities":{"Q1770480":{"pageid":1781222,"ns":120,"title":"Item:Q1770480","lastrevid":68913459,"modified":"2026-04-13T03:04:34Z","type":"item","id":"Q1770480","labels":{"en":{"language":"en","value":"Smooth Lie groups over local fields of positive characteristic need not be analytic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2153346"}},"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":"Q1770480$54A438C1-D638-4EBA-9C3A-A0E780908C02","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ef43abba9b689f538b7b0405e32b0c0b29924e2","datavalue":{"value":{"text":"Smooth Lie groups over local fields of positive characteristic need not be analytic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1770480$3E1521A9-455E-40B8-8A9A-2F42814AF7BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f59f721254b5804e66a7bedc3dee57d8a93315f8","datavalue":{"value":"1075.22009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770480$0C50E924-890D-4887-8542-9E0F4365D354","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff89d35af2c5226273737c9527a05086440c152a","datavalue":{"value":{"entity-type":"item","numeric-id":205836,"id":"Q205836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770480$C5525B5F-FDE7-4219-8C60-2890049398D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770480$BF1F3744-3588-4DC8-BAF8-B230191B92CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86471ba8a812fc2d049bb06f25b4db84c76027a9","datavalue":{"value":{"time":"+2005-04-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":"Q1770480$A5741A8B-69C0-4E67-9B9C-09B7235E8157","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"107179fe2514a8829e01c0fed218a7469a529686","datavalue":{"value":"https://arxiv.org/abs/math/0408239","type":"string"},"datatype":"url"},"type":"statement","id":"Q1770480$EA97D3C7-A6F6-4C54-A81E-B315CF8376C0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fa5bbe13b5a8491535c19a7930c1248c7145e148","datavalue":{"value":"According to a result dating back to \\textit{F. Schur} [Math. Ann. 38, 263--286 (1891; JFM 23.0381.01)] each finite-dimensional real Lie group of class \\(C^k\\) admits a \\(C^k\\)-compatible analytic structure. The author has extended this result to Lie groups of finite dimension over local fields of characteristic~\\(0\\) [\\textit{H. Gl\u00f6ckner}, ``Every smooth \\(p\\)-adic Lie group admits a compatible analytic structure'', 37pp, to appear in Forum Math.].  In the present paper, the author constructs finite-dimensional smooth Lie groups over local fields of positive characteristic which do not admit an analytic Lie group structure compatible with the given topological group structure, and \\(C^n\\)-Lie groups without a compatible \\(C^{n+1}\\)-Lie group structure. He also presents examples of non-analytic, smooth automorphisms of analytic Lie groups over such fields, as well as \\(C^n\\)-automorphisms which fail to be \\(C^{n+1}\\).  Crucial for the discussion are contractive automorphisms of totally disconnected locally compact groups, and \\textit{G. Willis}' theory of scale functions [Math. Ann. 300, No. 2, 341--363 (1994; Zbl 0811.22004)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770480$9340CED3-A4A9-468F-B3A3-F542F4572281","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f3db65ed09a53b4a1a158cb0a8069769e5ed98","datavalue":{"value":"22E50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770480$58C3D99F-5F75-4E7C-8F4D-6B527A6D4255","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2cb45df9a45f4ca017948c62731a3b24df216849","datavalue":{"value":"2153346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770480$69C41F6A-9370-4896-88F3-4F25E77D45B7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"922fff21838a9934d75920ed2dae7ac60312f74f","datavalue":{"value":"smooth Lie group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770480$BADE0254-A61F-492A-9880-555A86E68995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"967245b10c963c39295df932001ebf6fce09f944","datavalue":{"value":"analytic Lie group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770480$5C30D5DB-68E8-44DE-99E9-980219432911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca9a0aab0c73c00a9f5bbd0e6a239f5914f61f89","datavalue":{"value":"totally disconnected group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770480$2BCE318A-E9BD-4769-9857-A772757517F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01c38044bc180c522ded613d9eccce4690061afb","datavalue":{"value":"finite order differentiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770480$4155DB2B-311F-4AFD-9EB8-34E5A7557425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5f598c111d19fc20e356d2b89ece51954ebe05e","datavalue":{"value":"local field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770480$DAA60EBB-1D8E-4B2F-A6FB-04FAD62F1AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9341b002f21c65cbbc10813fed30ac97bdf59efb","datavalue":{"value":"positive characteristic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770480$F13CF610-6F45-4C27-B6AD-CD35766C2D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bd666d4b4f04b5b19e7376c73f188eec137560f","datavalue":{"value":"contractive automorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770480$EC17A45F-1F5B-4DFD-BF95-0A38F1519287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30282c29aaae7c5eff380b8865cba3b5f8adf453","datavalue":{"value":"scale function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770480$281B1D67-36A3-4895-9D2F-40B9BB1C166E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f52d6058611a2a66d8c8be5477702abbeaa17fc2","datavalue":{"value":"tidy subgroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770480$77AC2AF7-ED3A-40A5-87C7-BBBBAB6AE97E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b933a7251c7c723aaa7b7e4b76a58cab6716abef","datavalue":{"value":"Willis theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770480$49A0B89C-C54B-4F7C-B984-0AAC949EBE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e506ca349a081772b224d9fdd9873b0b01cac366","datavalue":{"value":"non-Archimedean analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1770480$F978CFA2-72BF-496D-AAA2-236BC9A3B555","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"76800408f0d05b91903348a408fda68e74f3d9c6","datavalue":{"value":"Q115351674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770480$D293863B-1C5A-4194-82A5-7EFB144A6CCF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"612abd281228b04d9333ee49330bf43e52287847","datavalue":{"value":{"entity-type":"item","numeric-id":304556,"id":"Q304556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770480$D51465BB-E41D-426C-95AD-4ECE7CC78199","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":"Q1770480$FB9FD930-C1EB-4F52-9C52-793F50A53A58","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f608c7343b9c2f9b08144970e24a8ad99267f27","datavalue":{"value":"W1977844462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770480$91F91776-CF26-4AC1-B93A-4C4243E3CCCC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b7153ee200248ebc83a6dc3cadcef4cf2f50a4b","datavalue":{"value":{"entity-type":"item","numeric-id":1881742,"id":"Q1881742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770480$47983E0F-0F7B-4376-8872-FB5B1CFC1F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c32ceef463d9d4b62744203c3fb8d2adbb5c821d","datavalue":{"value":{"entity-type":"item","numeric-id":2571086,"id":"Q2571086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770480$072FE7A6-1B93-41C6-9A11-DB86B8F8D7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08e9662d0c6921dcd3e557bde71f2de8c2cd89eb","datavalue":{"value":{"entity-type":"item","numeric-id":5557748,"id":"Q5557748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770480$44365D8B-4E49-4A5A-AEB7-C455315BD889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3884cf8583b7dbdf283c4b0b1e6f3514741bee60","datavalue":{"value":{"entity-type":"item","numeric-id":3994903,"id":"Q3994903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770480$ECE133EA-8011-4507-91DD-2FEBC59AFC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89940d7728e37484ac2b5d6cd5351f7900e07f28","datavalue":{"value":{"entity-type":"item","numeric-id":1271529,"id":"Q1271529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770480$17B54A59-745A-4A10-B2D8-BCDADEA7A651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03365a828f65255f3a2926bafed38f8b1b0a6d6d","datavalue":{"value":{"entity-type":"item","numeric-id":3378367,"id":"Q3378367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770480$C714B399-A06B-4064-8D67-3169D50FF4E0","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":"Q1770480$49285358-9A2D-4823-B585-277DA266DC46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265463a01d12e4fad3b9fcfa8ef7321b56aca89","datavalue":{"value":{"entity-type":"item","numeric-id":3997989,"id":"Q3997989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770480$9191ECE7-1949-4E64-A749-83B00425993C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"926796d743519d081baa874c10629bb4be17ef43","datavalue":{"value":{"entity-type":"item","numeric-id":3346515,"id":"Q3346515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770480$66EA35FC-2D84-4E7F-9623-5980445CFBFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3622f2c6c91106e472c7ce8de4f7ea7bbe85a701","datavalue":{"value":{"entity-type":"item","numeric-id":1189483,"id":"Q1189483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770480$9F2D595D-75D5-45F4-9C9B-452357772FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92b9e16304771b206363bdf6328a2ed004afaafb","datavalue":{"value":{"entity-type":"item","numeric-id":2266773,"id":"Q2266773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770480$33AB924F-3396-4068-93FF-0762033E9CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2326ad8adf45357e6961c5ab7cb792b914375ffe","datavalue":{"value":{"entity-type":"item","numeric-id":793855,"id":"Q793855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770480$4F3626F6-93A4-4FA7-8DA9-D980635188C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85756d7ae214338d1e47489608fadaed868a4320","datavalue":{"value":{"entity-type":"item","numeric-id":5566639,"id":"Q5566639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770480$96D87A89-F10E-42D0-AF73-4CBF4F54CBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7be0bee7c1da70e54303a82cda66ae5fbb093940","datavalue":{"value":{"entity-type":"item","numeric-id":1340916,"id":"Q1340916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770480$471E08A2-4C61-4D60-AD75-68A98B95B227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b49441b7ee1ce968aed4e9a3f82f5b88516d820","datavalue":{"value":{"entity-type":"item","numeric-id":5936943,"id":"Q5936943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1770480$8E828918-B05D-412B-9131-D48DB50E829D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ba48ac581465e3b4058d33a1b43e89a1a80711d","datavalue":{"value":"10.1016/J.JALGEBRA.2004.11.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1770480$7B752BC5-6C58-42A8-88F6-EE0E28ACC3C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eeca25c04a28817ac0a4308abca66dfcb98cdc36","datavalue":{"value":{"entity-type":"item","numeric-id":5429546,"id":"Q5429546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07c5de1e0a41337731e8b81ea34a9b2e301ffaca","datavalue":{"value":{"amount":"+0.7791149616241455","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":"Q1770480$D78ED49C-DBD5-4109-ABAC-AF2786A69638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a375e5cac45bb57f99402e2a839a9eb6133174c","datavalue":{"value":{"entity-type":"item","numeric-id":3378367,"id":"Q3378367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3716b906f2ece9e4e7d10b07d26a9fcfb8ed60e2","datavalue":{"value":{"amount":"+0.7754612565040588","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":"Q1770480$E7B3F5F1-55F5-47E1-A442-58352715DE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29528610a0df9377a0dc2ee6d105a26ed9fe6a17","datavalue":{"value":{"entity-type":"item","numeric-id":957908,"id":"Q957908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"254e495cdfeaf579bbe92c8a7e19260025bf664c","datavalue":{"value":{"amount":"+0.7518681287765503","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":"Q1770480$E7E3CE7F-D4C1-4290-800A-224BC5594D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"954022a215df30dbb706ab595ff8c612be26f22d","datavalue":{"value":{"entity-type":"item","numeric-id":4686138,"id":"Q4686138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ef25af8888f9d84d7558b2460848677cd63615b","datavalue":{"value":{"amount":"+0.7388713359832764","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":"Q1770480$0D07B2C2-58CE-49B6-8624-DA5D1AD4E97A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ab7760c37a3619bc3d6f236088d9c7dda849b0f","datavalue":{"value":{"entity-type":"item","numeric-id":3460245,"id":"Q3460245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aa991b6d2ca4859c14ba97f856958807a71fa36","datavalue":{"value":{"amount":"+0.7384255528450012","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":"Q1770480$B2D659B8-64F3-4D6D-8924-5284E90C29ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Smooth Lie groups over local fields of positive characteristic need not be analytic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Smooth_Lie_groups_over_local_fields_of_positive_characteristic_need_not_be_analytic"}}}}}