{"entities":{"Q2464702":{"pageid":2475445,"ns":120,"title":"Item:Q2464702","lastrevid":57946047,"modified":"2026-04-03T04:55:32Z","type":"item","id":"Q2464702","labels":{"en":{"language":"en","value":"Over convergent \\(F\\)-isocrystals and differential overcoherence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5220758"}},"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":"Q2464702$0BC1EA95-AEAB-486D-9DD7-7E23F6693C38","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0700e3ce5d001eee2783338b2c6e3f84b73aa39","datavalue":{"value":{"text":"Over convergent \\(F\\)-isocrystals and differential overcoherence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2464702$EB371AED-2012-4F20-96F4-401243EA3113","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f65287e32c16185ce7167bcfa263275292f54f1e","datavalue":{"value":"1203.14025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464702$11C90BFB-30BA-433C-AB9D-A68AFB4BA279","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":"Q2464702$008AEE2B-4C14-479B-B491-8F00207B63B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"78c924ab2a87a282c80efa85079613d2f7e99dd9","datavalue":{"value":{"entity-type":"item","numeric-id":163162,"id":"Q163162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464702$2C238A9C-978C-4A63-9CCC-73D69FED0726","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"393895076543d7c664a07b10d6d8108144d1c207","datavalue":{"value":{"time":"+2007-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2464702$06C810D2-A4EE-4756-A478-6ED7AD9C3502","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62bc217cfaa5ec82018e80b63586a2769d9e9d04","datavalue":{"value":"https://arxiv.org/abs/math/0611089","type":"string"},"datatype":"url"},"type":"statement","id":"Q2464702$CA0B2E06-50C0-49F4-BB01-A9CE48A1E6A0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"af36eb0572d830f3b42a5e9ff192ce1dcfae9dd4","datavalue":{"value":"This article is part of author's successful attempt to build a category of arithmetic coefficients for varieties in car \\(p>0\\), stable by Grothendieck's six operations (among which inverse images, direct images, tensor product, duality). The categories contructed by Caro are subcategories of arithmetic \\(D\\)-modules in the sense of \\textit{P. Berthelot} [\\(p\\)-adic cohomology and arithmetic applications (II). Paris: Soci\u00e9t\u00e9 Math\u00e9matique de France. Ast\u00e9risque 279, 1--80 (2002; Zbl 1098.14010)].  To achieve this goal, \\textit{D. Caro} first contructed a category of overcoherent arithmetic \\(D\\)-modules with Frobenius structure [J. Math. Sci., Tokyo 16, No. 1, 1--21 (2009; Zbl 1213.14041)], a priori stable by direct, inverse images and local cohomological functors, and then a subcategory of the previous one: the category of overholonomic \\(D\\)-modules. An essential step in his constructions is to prove that overconvergent \\(F\\)-isocrystals, which can be seen as elementary pieces in this theory, are overcoherent. This fact is the aim of this article, and is established for a variety \\(Y\\) smooth over a perfect field \\(k\\) of car \\(p>0\\). Caro proves moreover that complexes of arithmetic \\(F\\)-\\(D\\)-modules with bounded and overcoherent cohomology can be unscrewed into overconvergent \\(F\\)-isocrystals.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464702$F066548A-DFA3-4613-A3FD-E2ABE98A4DFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fef556d874a3250155d036ec9dcfe6f4f651276b","datavalue":{"value":"14F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464702$A8FAD09B-64A1-411E-A3D1-B0C0E388C24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7879e42e20b29db9c334897fbdfacb3091816904","datavalue":{"value":"14F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464702$ED1CA83B-C4F8-494A-936B-DBBF8D388FE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bcc66772cdea03f637d8f345c5f7780f786cd46c","datavalue":{"value":"5220758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464702$E41EF908-3843-4B54-BEA5-2EA14360F527","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2875ff165781e925c37a69522382c5790acc514f","datavalue":{"value":"overconvergent \\(F\\)-isocrystals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464702$036CE720-7C02-4F6C-93D3-8390A8D4ABEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07e5750552f0d0757338f8fc405c911289b1717b","datavalue":{"value":"arithmetic \\(D\\)-modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464702$C0D379BD-F6AD-4819-9CAD-1D4558954286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d944333eae4a47a762a666a6163408a46aa7bca","datavalue":{"value":"overcoherent modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464702$25DAA936-292D-49F2-ACB4-F6276E175FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efa409b383f30c6f86ec5d7aad500c593b2da70a","datavalue":{"value":"Grothendieck's 6 operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464702$2D2298FF-E35F-4713-9273-52D7558F074B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d1a8c280dae376fcd67f346c47c61ec779f249c","datavalue":{"value":"\\(p\\)-adic cohomologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464702$0029CB5C-9CFA-4BD3-8635-572004BA1592","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b7aed139aeac06ccb7bc53f59c04894ff5f2f30d","datavalue":{"value":{"entity-type":"item","numeric-id":541751,"id":"Q541751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464702$D71C3A09-30F3-4DB7-8E30-3DD86E056C44","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":"Q2464702$9C15AAF9-CAE8-4795-B4AC-79C459EA9A0A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2bb2dc54d7b58a296c989f130e1b9cd688313aa1","datavalue":{"value":"W2013931499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464702$BF2D0E62-9BD0-42FC-AA21-E6AFD035556D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"debf8c29b43ec61022715495da6b1e2000fae350","datavalue":{"value":{"entity-type":"item","numeric-id":1214467,"id":"Q1214467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464702$1BAF00F9-B7E4-4A06-9C2F-B739CFEE5E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10e17ccb4a3e66f34d4686af81ce90274d614500","datavalue":{"value":{"entity-type":"item","numeric-id":4485883,"id":"Q4485883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464702$4ADA1A20-9025-4264-A9F9-2F3EB075236B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fefe67a6a55b5f4c3e81cf2d8004b4628b56f0b","datavalue":{"value":{"entity-type":"item","numeric-id":2433888,"id":"Q2433888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464702$C40A646C-C4A5-4C51-AF09-556C4E232406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d25a131de912bd5b110d191742c27831115a312","datavalue":{"value":{"entity-type":"item","numeric-id":1774087,"id":"Q1774087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464702$EB202C8C-2DF5-4DD3-BC36-FDCEA0DF6335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fee86624b89f550dbbf3914b1ef553afb749e27e","datavalue":{"value":{"entity-type":"item","numeric-id":3379054,"id":"Q3379054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464702$AE1F7146-7A39-4482-AA10-02C803B63A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8ad05b7e909306cb9242cc2d54fa3e931f37702","datavalue":{"value":{"entity-type":"item","numeric-id":1357372,"id":"Q1357372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464702$21FD90A2-264C-4167-91FA-4950141D7C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7baca79d5c6b088a07cf31230259418e758ae3c2","datavalue":{"value":{"entity-type":"item","numeric-id":4092094,"id":"Q4092094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464702$B15D7AB3-3231-4224-B552-2CA071B82329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0abf3def32d698407e8ed9cf97ab335874797200","datavalue":{"value":{"entity-type":"item","numeric-id":1318074,"id":"Q1318074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464702$02B08834-1D0C-4039-A555-5F8514B53DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5717ebf38d6a7c9336f8a81f5d80929b60ba5ed8","datavalue":{"value":{"entity-type":"item","numeric-id":1359231,"id":"Q1359231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464702$62C28B25-ABCC-4C1C-93AD-861D6D3C118F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e23a32b06a1bb4351376fd5dccf166f1138128","datavalue":{"value":{"entity-type":"item","numeric-id":3154994,"id":"Q3154994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464702$7D8502AE-740D-4276-B91C-33337BBB26D0","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":"Q2464702$4414F510-511C-4EFC-9A25-6EB3485DBF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea3560a30f56f71be0c83d97485bfc3818b13e14","datavalue":{"value":{"entity-type":"item","numeric-id":4405665,"id":"Q4405665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464702$5F8B35F7-E3E6-4FBB-8DD0-7BF56A91A46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18d794c76ef7b637e23e050bfbc3eea6d02148c3","datavalue":{"value":{"entity-type":"item","numeric-id":1847898,"id":"Q1847898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464702$A7FC611C-F4F2-4CBC-AB57-F633C8C9E72C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82b9928ca31204767b7bc4c8cf15beceb1b538bf","datavalue":{"value":{"entity-type":"item","numeric-id":4487726,"id":"Q4487726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464702$9539D16E-0EB5-45FE-B5C6-811C87B1329D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d002331b05dcad88c8f14824b9ab32ebdff1450","datavalue":{"value":"10.1007/S00222-007-0070-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464702$356FBAF4-0D7C-45E9-A9EF-028DB1889A04","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0ccac2a9d7378aa53f6fea521466852c0da2d84","datavalue":{"value":{"entity-type":"item","numeric-id":456663,"id":"Q456663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06574d1c4992aed934c1b4ea4acb5b1025d025cf","datavalue":{"value":{"amount":"+0.8678615689277649","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":"Q2464702$8962DBD9-39D9-4188-8191-CE94FF3A406B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa0c5fc58dc4904d6efa8309251ff59f20f7036d","datavalue":{"value":{"entity-type":"item","numeric-id":1774087,"id":"Q1774087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70519f3155580b2a0f406be694943ad12333045a","datavalue":{"value":{"amount":"+0.8583506345748901","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":"Q2464702$58653BEB-FB98-442C-AE93-7B46589C3792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b1dd4631dd501d3a0c86ffc635c417b77ad5298","datavalue":{"value":{"entity-type":"item","numeric-id":3632715,"id":"Q3632715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cac06030755125139cbb76e56403ad31a81524a","datavalue":{"value":{"amount":"+0.8284139633178711","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":"Q2464702$6044E729-1F67-42FE-BD0A-B255A55CE05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fae702d2f58570c3201a0cc469dadc781f0dbec8","datavalue":{"value":{"entity-type":"item","numeric-id":924029,"id":"Q924029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a65dc41bcd204f9c27c99e0b3ce0f93fc026c19","datavalue":{"value":{"amount":"+0.8252765536308289","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":"Q2464702$D01DB8F2-9845-4142-926E-4149C134F03E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"411c56ff84cd8bc0cb893e2d97cfc47cdcf49d65","datavalue":{"value":{"entity-type":"item","numeric-id":3649127,"id":"Q3649127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a54915d04aeda4d8e2288994a306691d0c18d3ec","datavalue":{"value":{"amount":"+0.806096076965332","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":"Q2464702$CB513AB5-57BC-4BCA-A25E-0CA36D6DB70A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2464702","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2464702"}}}}}