{"entities":{"Q504304":{"pageid":506071,"ns":120,"title":"Item:Q504304","lastrevid":42557767,"modified":"2025-07-03T09:04:07Z","type":"item","id":"Q504304","labels":{"en":{"language":"en","value":"Inductive system coherence for logarithmic arithmetic \\({\\mathcal D}\\)-modules, stability for cohomology operations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6674985"}},"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":"Q504304$89B9BB73-1246-47D8-8C42-89F23AC4F2B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66c8bd96c7f0c812ebbc850ed1c96fd326b49189","datavalue":{"value":{"text":"Inductive system coherence for logarithmic arithmetic \\({\\mathcal D}\\)-modules, stability for cohomology operations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q504304$B49B3C4D-F236-4F56-A610-091F8BE12925","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71d2071497200a31c0d6e0e1c3e8108eb8ff55c7","datavalue":{"value":"1378.14018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504304$540B5769-A12F-4EDE-8F58-CF1A6199F6BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eaa92e966b5cb94d9dbb76e8f1d6d84aac80cc02","datavalue":{"value":{"entity-type":"item","numeric-id":407787,"id":"Q407787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504304$B4C03277-567B-4AB5-9722-5A0878BDE2AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4add3c5163a5eee9bbe20dc8a36386ab43b68fd6","datavalue":{"value":{"entity-type":"item","numeric-id":168490,"id":"Q168490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q504304$CA9F95B2-4955-4466-99B3-DDE60D218B83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2eb662ea7cb47cef32ba8c44ae1bbc7101d3603f","datavalue":{"value":{"time":"+2017-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q504304$E4BDF559-FC8B-42AD-8A06-94427BABF142","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a1532eb543ad1d4cd76b81fc77a447b75c0dfa8","datavalue":{"value":"http://www.emis.de/journals/DMJDMV/vol-21/40.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q504304$A1517550-6C8A-4236-9BE8-B1F6DBA1844C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ebf0139c6e3e50c85769942c2da480c7ecd08753","datavalue":{"value":"Summary: Let \\({\\mathcal V}\\) be a complete discrete valuation ring of unequal characteristic with perfect residue field, \\({\\mathcal P}\\) be a smooth, quasi-compact, separated formal scheme over \\({\\mathcal V}\\), \\({\\mathcal Z}\\) be a strict normal crossing divisor of \\({\\mathcal P}\\) and \\({\\mathcal P}^\\sharp:=({\\mathcal P},{\\mathcal Z})\\) the induced smooth formal log-scheme over \\({\\mathcal V}\\).   In Berthelot's theory of arithmetic \\({\\mathcal D}\\)-modules, we work with the inductive system of sheaves of rings \\(\\widehat{{\\mathcal D}}^{(\\bullet)}_{{\\mathcal P}^\\sharp}:=(\\widehat{{\\mathcal D}}^{(m)}_{{\\mathcal P}^\\sharp})_{m\\in\\mathbb{N}}\\), where \\(\\widehat{{\\mathcal D}}^{(m)}_{{\\mathcal P}^\\sharp}\\) is the \\(p\\)-adic completion of the ring of differential operators of level \\(m\\) over \\({\\mathcal P}^\\sharp\\). Moreover, he introduced the sheaf \\({\\mathcal D}^\\dag_{{\\mathcal P}^\\sharp,\\mathbb{Q}}:= \\varinjlim_m\\,\\widehat{{\\mathcal D}}^{(m)}_{{\\mathcal P}^\\sharp}\\otimes_{\\mathbb{Z}}\\mathbb{Q}\\) of differential operators over \\({\\mathcal P}^\\sharp\\) of finite level.   In this paper, we define the notion of (over)coherence for complexes of \\(\\widehat{{\\mathcal D}}^{\\bullet}_{{\\mathcal P}^\\sharp}\\)-modules. In this inductive system context, we prove some classical properties including that of Berthelot-Kashiwara's theorem. Moreover, when \\({\\mathcal Z}\\) is empty, we check this notion is compatible to that already know of (over)coherence for complexes of \\({\\mathcal D}^\\dag_{{\\mathcal P},\\mathbb{Q}}\\)-modules.","type":"string"},"datatype":"string"},"type":"statement","id":"Q504304$78867EA5-B353-4E2B-9152-359E962EA6D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fef556d874a3250155d036ec9dcfe6f4f651276b","datavalue":{"value":"14F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504304$E78C10E5-C9E6-46C2-94E7-4B234DA716ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7879e42e20b29db9c334897fbdfacb3091816904","datavalue":{"value":"14F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504304$93CC8209-5047-4998-BF13-A836C4C4B718","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fedd31366a8ade434387a6d7338d4bfcecb043a7","datavalue":{"value":"6674985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504304$45DE35E0-297E-4273-9567-A3F4C7DDB22D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8a308497129838e7b7e044c613d7ca39c723e9a","datavalue":{"value":"arithmetic \\({\\mathcal D}\\)-modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q504304$777EAF07-B595-4547-A2BA-EAE5302791C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f73a066a2d45020d1469ce4baa296abac614fed","datavalue":{"value":"\\(p\\)-adic cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q504304$B93E8DB1-F531-4F0B-B453-D2A83BE7C59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0d5262bc64954b85da98a6a163135c384f0afe3","datavalue":{"value":"de Rham cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q504304$FCFA0743-546A-43B0-84C2-C6611C12D59F","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":"Q504304$BA4D33F7-0956-45A1-94C6-844B9A6E00AB","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"ed4382ebbeeee4bd1efe0ed4cbffb4c681889ed9","datavalue":{"value":"bafkreih2dvxnhfdavvoq7eal57xoteeo7wrukveejk4rac4tgkj2ibexde","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q504304$5256130B-0223-4780-B39E-76BCB9488A9E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f621305e447b50ec4708441d36ac5e348da866af","datavalue":{"value":{"entity-type":"item","numeric-id":5389548,"id":"Q5389548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a422bf0a13045508caf23a7328753db0c58e08ce","datavalue":{"value":{"amount":"+0.8707557","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q504304$EBEBBD26-457A-4FA6-B9DA-B3EA0845FB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13743ed5686871ad91109a36bb330d1e8368f1a6","datavalue":{"value":{"entity-type":"item","numeric-id":5149650,"id":"Q5149650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73a67ae6457441564a74409ce63c8a5f4e597f7d","datavalue":{"value":{"amount":"+0.86967385","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q504304$303C2266-17C4-4C77-8F2F-D191D339653B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7bb3fc0a7bd61ecbefcdcd3164b77946e52b2df","datavalue":{"value":{"entity-type":"item","numeric-id":2763712,"id":"Q2763712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03b09580789c6ec7c8aebaaf73e62d281c39a2aa","datavalue":{"value":{"amount":"+0.86357653","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q504304$AF5E43F6-88EA-4340-90BF-301558975D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd1aeab738a70ea56f9ef44df1e65d216b6af431","datavalue":{"value":{"entity-type":"item","numeric-id":945650,"id":"Q945650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f80f56a7b15bc4fbdc12868b0bdac5e0d51696c6","datavalue":{"value":{"amount":"+0.8604219","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q504304$24C47D85-3E8F-4421-9FB6-CCCF69FF242E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69c27179ebe716e904a7108e1e995f4d1f706a41","datavalue":{"value":{"entity-type":"item","numeric-id":3451852,"id":"Q3451852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bf76f66dbf31bce468aceec132f43d79cc4a7ad","datavalue":{"value":{"amount":"+0.8571886","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q504304$D924DEB7-A4C7-43FC-A79E-FAB11AF64618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1d6ec1f7f1822a7452c020c7c778d1007c18839","datavalue":{"value":{"entity-type":"item","numeric-id":4266593,"id":"Q4266593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17ae70aac5424c3b7b6ca07fc58033d3c44c044b","datavalue":{"value":{"amount":"+0.8565247","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q504304$A0C7B2AF-CA20-44A5-8A98-33CC5179D70B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6fdd63cf980ac4acdf8a0d87b5f5a22a426fa21","datavalue":{"value":{"entity-type":"item","numeric-id":2675318,"id":"Q2675318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"867a75a5a480699afd83a52931a2d793ad6ba731","datavalue":{"value":{"amount":"+0.85363084","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q504304$D06A1516-E9BB-402C-9656-4F279110E2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24ddab9d33fa53ed0ad48d399f3f790ebd8271b2","datavalue":{"value":{"entity-type":"item","numeric-id":676765,"id":"Q676765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e05d6201cee6cff60f95fa9ba9bb214382dbd10d","datavalue":{"value":{"amount":"+0.8534074","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q504304$2DBEE23E-3F7D-4464-898F-FB04CDC27331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fecc6f6b5345899b97f2e256a96fc2d0b1309965","datavalue":{"value":{"entity-type":"item","numeric-id":5296412,"id":"Q5296412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e5ce5d3b9c788ced4a95a18c08aae4c33a216c7","datavalue":{"value":{"amount":"+0.8529295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q504304$8ACEC8CE-3861-4B98-B598-1244EAEB4C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fa08eca28a061b060e33db1e776b18ac5a0e49f","datavalue":{"value":{"entity-type":"item","numeric-id":3595864,"id":"Q3595864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce06bea5e8f1664c7353a7af5e5fa749519fa8c0","datavalue":{"value":{"amount":"+0.85290825","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q504304$77F55F51-BAA9-4921-897F-390F7703AB05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:504304","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:504304"}}}}}