{"entities":{"Q616598":{"pageid":618374,"ns":120,"title":"Item:Q616598","lastrevid":63082701,"modified":"2026-04-11T10:28:24Z","type":"item","id":"Q616598","labels":{"en":{"language":"en","value":"The total symbol theorem of a \\(p\\)-adic differential operator"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5834479"}},"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":"Q616598$AE5A9A8B-7635-4884-A4C9-124BCECCD7EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a1fc955e0d00eaf86d133f02a1cc8894bbd467d","datavalue":{"value":{"text":"The total symbol theorem of a \\(p\\)-adic differential operator","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q616598$C3CE24EF-E22A-4888-BC82-8E98DF56183A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f8940076a883b0cee78169016a36d34009e197c","datavalue":{"value":"1213.14042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616598$98374C7D-90F8-42AB-9745-7997C7E2ED1A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2eaa52d23a28ab250960a8bbd4164eebf381923f","datavalue":{"value":"10.4171/RMI/618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616598$79D33B52-F452-4FAE-95DE-A21DECAD706F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0113fa8bb6cbf8607792de1c554d8d101c2c7a17","datavalue":{"value":{"entity-type":"item","numeric-id":384094,"id":"Q384094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616598$0E7B4404-F56D-48E5-A384-61C7DC37DA7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af6e323d66505b7851a8c4e098078ccd4aa7e565","datavalue":{"value":{"entity-type":"item","numeric-id":187648,"id":"Q187648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616598$BBB105D6-8C95-407B-9AB9-758CCE83D107","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4eb7cc1856a305a963c7393d6ad45e329f3b5d88","datavalue":{"value":{"entity-type":"item","numeric-id":170748,"id":"Q170748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616598$1D996876-C024-4CE8-850D-06EC2C71BB2B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"740e49878700078887fbe9d119b7ad1f67f22eba","datavalue":{"value":{"time":"+2011-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q616598$AD0A5251-6F0B-4014-88BD-4E9965BB7E60","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"964e47b158440d9b5c9e9a21336d6f9c46faca2d","datavalue":{"value":"https://projecteuclid.org/euclid.rmi/1282913823","type":"string"},"datatype":"url"},"type":"statement","id":"Q616598$A3651EBD-821D-4718-B9C9-BE22E2F979A5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"49bc507b3b48eabb9086a3429481140be6e2cd92","datavalue":{"value":"This article continues earlier work [in: \\(p\\)-adic analysis, Proc. Int. Conf., Trento 1989, Lect. Notes Math. 1454, 267--308 (1990; Zbl 0727.14011)] of the authors on finiteness properties of rings of \\(p\\)-adic differential operators on weak formal schemes (the authors write: \\({\\dagger}\\)-adic schemes). As the authors write, most of the results have been obtained in the late 80's without having been published, but due to their central role their publication now becomes necessary.  Let \\({\\mathcal X}^{\\dagger}\\) denote a smooth weak formal scheme over a complete discrete valuation ring \\((V,{\\mathfrak m})\\) of unequal characteristic \\((0,p)\\) and let \\({\\mathcal D}_{{\\mathcal X}^{\\dagger}/V}^{\\dagger}\\) be the sheaf of \\(V\\)-linear endomorphisms of \\({\\mathcal O}_{{\\mathcal X}^{\\dagger}}\\) whose reduction modulo \\({\\mathfrak m}^s\\) is a linear differential operator of order bounded by an affine function in \\(s\\). In this paper it is proved that locally there is an \\({\\mathcal O}_{{\\mathcal X}^{\\dagger}}\\)-isomorphism between the sections of \\({\\mathcal D}_{{\\mathcal X}^{\\dagger}/V}^{\\dagger}\\) and the overconvergent symbols.  More precisely, let \\(A^{\\dagger}\\) be a weakly complete \\(V\\)-algebra with coordinate functions \\(x_1,\\ldots,x_n\\) such that their differentials form a basis of the \\(A^{\\dagger}\\)-module of separated differetial forms. Let \\(P\\) be a differential operator of the ring \\(D^{\\dagger}_{A^{\\dagger}/V}\\). For \\(\\alpha\\in {\\mathbb N}^{n}\\) define \\(a_{\\alpha}\\in A^{\\dagger}\\) through  \\[ a_{\\alpha}=\\sum_{0\\leq\\beta\\leq\\alpha}{\\alpha\\choose\\beta}(-x)^{\\beta}P(x^{\\alpha-\\beta}). \\] Then it is shown that  \\[ P=\\sum_{\\alpha}a_{\\alpha}\\Delta_x^{\\alpha}. \\]  Moreover, the assignment \\[ P\\mapsto \\sigma_P(x,\\xi):=\\sum_{\\alpha}a_{\\alpha}\\xi^{\\alpha} \\] is an isomorphism of \\(A^{\\dagger}\\)-modules  \\[ D^{\\dagger}_{A^{\\dagger}/V}\\cong A^{\\dagger}[\\xi_1,\\ldots,\\xi_n]^{\\dagger}. \\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q616598$FD1CCEB8-4833-4748-BAFB-5DB4FF173756","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fef556d874a3250155d036ec9dcfe6f4f651276b","datavalue":{"value":"14F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616598$A5A48356-D204-4F35-8247-B018DBF85EA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7879e42e20b29db9c334897fbdfacb3091816904","datavalue":{"value":"14F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616598$0FDCBEDD-8C00-4286-B65F-79CFA0DEFEB2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"911b1d6664f9847c0b2a36fb1f8729ee0d528327","datavalue":{"value":"5834479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616598$FEDFF264-7961-464B-9CAB-D46175CA1CAD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6426a74e28b6e4fe7d9862ca1a71a53c9361d4b6","datavalue":{"value":"weak formal scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q616598$F8826AFC-8B65-4B6E-BAC3-2B1FFF84B20A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b33af7a2e66404e7d2e92256aa7f376a06e22cb0","datavalue":{"value":"dagger adic scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q616598$F0C1B751-750B-4CDC-AF86-3C1053201F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddc5ed5349e5eb1ee85947edfde04bdcaf7edfb4","datavalue":{"value":"weakly complete algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q616598$4B645926-CE87-4900-BC2E-A949A5DB481F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7df63622f1a88f45f18cc70ea2757a0f48cf9f1","datavalue":{"value":"overconvergent symbol","type":"string"},"datatype":"string"},"type":"statement","id":"Q616598$53C80503-D1B8-4DAB-A1EC-BB7DB50326DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b8708353d92e3146c2340fb6df219d76af522b2","datavalue":{"value":"\\(p\\)-adic differential operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q616598$2C8DCCB0-1BB1-441D-862C-486EAED700CF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ff974f8e336c983cf412ee55b494a5ec088f4308","datavalue":{"value":{"entity-type":"item","numeric-id":461336,"id":"Q461336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616598$3A5E7C66-0D89-4F1D-A870-96AB62E0411F","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":"Q616598$F0475A3C-3C22-41B9-84D5-4A51ACF28538","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc327bf04c4d95b772e6c8ca869a3006c70e2f83","datavalue":{"value":{"entity-type":"item","numeric-id":1162545,"id":"Q1162545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616598$30AFDCA8-1B4E-4D71-A783-9E3068FC6790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cef1bed6d7353c9454affb8ef73f6c37ec0b441","datavalue":{"value":{"entity-type":"item","numeric-id":3209229,"id":"Q3209229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616598$6B5C6D3D-8CB8-4D8D-8E15-AFCAC6439C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bff0de5ac17271e624436aca51286dd71c6b424","datavalue":{"value":{"entity-type":"item","numeric-id":3325851,"id":"Q3325851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616598$822E8A48-35B8-4705-B5E8-C4233100CE43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40ccba41e3c5d7ef0fd1bed1245f93b44607eb1d","datavalue":{"value":{"entity-type":"item","numeric-id":4075002,"id":"Q4075002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616598$527A4B4B-9C2A-4B40-8F92-4030190A3B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"811879204e3a968e6f1e7cb51c5fe995a4a9149b","datavalue":{"value":{"entity-type":"item","numeric-id":5605290,"id":"Q5605290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616598$0689BDBF-E48A-4C75-A6CD-51F780EDAE42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e022129e1cb89ac48e369dbdc48abf5f3825daa","datavalue":{"value":{"entity-type":"item","numeric-id":4942703,"id":"Q4942703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616598$99665E00-F3CE-4FEF-9A8A-68DBB5BE0BA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b8e9021a855f5eff1c6be8ae58fc3ef34b971cc","datavalue":{"value":{"entity-type":"item","numeric-id":5833442,"id":"Q5833442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616598$D9BB5669-8B79-41C5-8B17-BF0876AA55E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"912dee9d2964f76df4dafec78a39bda9d9954ddc","datavalue":{"value":{"entity-type":"item","numeric-id":1805182,"id":"Q1805182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616598$271E19B8-61DB-41AC-9EB5-F0ED9FD685D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"189e961a47e404ec1b6c7f431e7886943f50a27b","datavalue":{"value":{"entity-type":"item","numeric-id":2500442,"id":"Q2500442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616598$86AD0CA8-1BBE-4012-AC23-567F27F30D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5e856c23951a1492116e8a9965ce270194b53ad","datavalue":{"value":{"entity-type":"item","numeric-id":4361358,"id":"Q4361358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616598$D66F15C5-7F4A-4438-A34C-9622DE71FE96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec92b909403ea81a7854a3e1e355204d0e181353","datavalue":{"value":{"entity-type":"item","numeric-id":3349024,"id":"Q3349024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616598$71A60028-069A-4B2D-B461-597AD9F04C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17e63419c38e263998509be25e86254c94deaf7a","datavalue":{"value":{"entity-type":"item","numeric-id":3983204,"id":"Q3983204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616598$3D83CC5B-2D1E-44DA-88DF-E8C1679DBF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cfd45a8a229eaa2179f640e14b8ae6d7c054f38","datavalue":{"value":{"entity-type":"item","numeric-id":5608614,"id":"Q5608614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616598$3ACB77EB-7307-450A-AF1E-E20862564720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"042e90bf450ba074850445841726e82361b4c8a9","datavalue":{"value":{"entity-type":"item","numeric-id":2528865,"id":"Q2528865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616598$54C958C1-2138-4CBB-BA02-87B8D7B93E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f5436d1a7049c165600dea85bbade0458e2e0a1","datavalue":{"value":{"entity-type":"item","numeric-id":4395589,"id":"Q4395589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616598$99384D91-1D23-4B69-8078-49C400AD82D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16f4420bd5d1de7d3d67658484f1c181b853c84c","datavalue":{"value":{"entity-type":"item","numeric-id":1821821,"id":"Q1821821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616598$E6AF2FB8-44BD-421C-9054-3B95B0E8809D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06b51a5164dc984c4739b366618c398198d24b4f","datavalue":{"value":{"entity-type":"item","numeric-id":3744286,"id":"Q3744286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616598$FB3BBD30-C541-4521-806A-DEA8D586CEBF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14a8a4b914b0b1d2682277d040d91a7c3a41d18d","datavalue":{"value":{"entity-type":"item","numeric-id":533381,"id":"Q533381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad9fb717401cc58c4da6ea9ba773188c3a307d82","datavalue":{"value":{"amount":"+0.9042113423347472","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":"Q616598$EF00BB3D-F20C-43F9-9D88-527704F82AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed471012c449bf8412402625870a3afa6461c9ce","datavalue":{"value":{"entity-type":"item","numeric-id":4891300,"id":"Q4891300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e49582d6dfe4401d630ad63c2a9f0900d628d89b","datavalue":{"value":{"amount":"+0.842801034450531","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":"Q616598$4B5D74A1-F33E-49B2-8A15-7A0E7DE5496F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34ffd52c0e2070136f4ca5db9bc3f53bb7221cf1","datavalue":{"value":{"entity-type":"item","numeric-id":5006415,"id":"Q5006415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e08acfc6386b660b12ec895d84418291eb1426b","datavalue":{"value":{"amount":"+0.7586973309516907","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":"Q616598$1D761A98-FEE4-449C-BAC5-A1E072929499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df49236e52352e7bbc3581c2a4de4f3d7afbc4c1","datavalue":{"value":{"entity-type":"item","numeric-id":1271446,"id":"Q1271446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"196d93eb4711a092132d735f9e3e60cc0c328123","datavalue":{"value":{"amount":"+0.7563456296920776","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":"Q616598$4EACB8E6-5984-4A5B-96C0-506553EC66F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5794a792d352d673230d2cf85d79524564194a3","datavalue":{"value":{"entity-type":"item","numeric-id":4864331,"id":"Q4864331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"196d93eb4711a092132d735f9e3e60cc0c328123","datavalue":{"value":{"amount":"+0.7563456296920776","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":"Q616598$D44B462E-5AD8-4147-B3AE-7183EF31F110","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The total symbol theorem of a \\(p\\)-adic differential operator","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_total_symbol_theorem_of_a_%5C(p%5C)-adic_differential_operator"}}}}}