{"entities":{"Q981665":{"pageid":983513,"ns":120,"title":"Item:Q981665","lastrevid":65874675,"modified":"2026-04-12T05:57:54Z","type":"item","id":"Q981665","labels":{"en":{"language":"en","value":"Cut-by-curves criterion for the overconvergence of \\(p\\)-adic differential equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5729740"}},"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":"Q981665$EB15D601-E11F-42C1-B736-3ACDD0BFA46C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3b9a94e8caa250ff062680780c7ef8235af1b73","datavalue":{"value":{"text":"Cut-by-curves criterion for the overconvergence of \\(p\\)-adic differential equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q981665$0E556BC5-BB96-4875-A50C-47A8972A5EE0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3b034186c5d7e1bf719115ee4c03412629b4e7f","datavalue":{"value":"1209.12005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q981665$DDED4052-E6F4-48C8-B58E-ED1B59BF9029","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7753a869252d1a8c6c1b711d2838125f165bfead","datavalue":{"value":{"entity-type":"item","numeric-id":487163,"id":"Q487163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q981665$B5B5A531-063C-4E20-B2B9-E2D46615520F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ccf4732529e8c1929b9b7c946ba3218942108f00","datavalue":{"value":{"entity-type":"item","numeric-id":167493,"id":"Q167493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q981665$9381F706-B32F-44C9-B73D-3C4CF922194B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9edd764be965e6e5db4e2e9aed93bbf3833eaad9","datavalue":{"value":{"time":"+2010-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q981665$3C322BCC-C968-4940-B376-3A9FB00AF4F3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c74cee2c9af8be1748b8605704e964ed471d145b","datavalue":{"value":"https://arxiv.org/abs/0906.4383","type":"string"},"datatype":"url"},"type":"statement","id":"Q981665$388F1128-18B1-49A8-911B-AAB5BBC3D5FC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f6c7c29c8f1c7e95b6e903b88ace25b938ab3d08","datavalue":{"value":"Let \\(K\\) be a complete non Archimedean valuation field of mixed characteristic \\((0,p)\\), with ring of integers \\({\\mathcal O}_K\\) and residue field \\(k\\). Assume we are given an open immersion \\({\\mathcal X}\\to\\overline {\\mathcal X}\\) of \\(p\\)-adic formal schemes separated and smooth over \\(\\text{Spf}({\\mathcal O}_K)\\) such that the complement is a relative simple normal crossing divisor, and let \\({X}\\to\\overline {X}\\) be the special fibre of \\({\\mathcal X}\\to\\overline {\\mathcal X}\\). Along with this we have an admissible open immersion \\({\\mathcal X}_K\\to\\overline {\\mathcal X}_K\\) of associated rigid analytic spaces over \\(K\\) and an open immersion \\(]\\overline {X}-X[_{\\overline {\\mathcal X}}\\to \\overline {\\mathcal X}_K\\) from the tubular neighborhood of \\(\\overline {X}-X\\) in \\(\\overline {\\mathcal X}_K\\). A strict neighborhood of \\({\\mathcal X}_K\\) in \\(\\overline {\\mathcal X}_K\\) is an admissible open subset \\({\\mathfrak U}\\) in \\(\\overline {\\mathcal X}_K\\) containing \\({\\mathcal X}_K\\) such that \\(\\{{\\mathfrak U},]\\overline {X}-X[_{\\overline {\\mathcal X}}\\}\\) is an admissible covering of \\(\\overline {\\mathcal X}_K\\).  \\textbf{Theorem:} Assume that \\(k\\) is uncountable. Let \\((E,\\nabla)\\) be a locally free (of finite rank) module with integrable connection on a strict neighborhood of \\({\\mathcal X}_K\\) in \\(\\overline {\\mathcal X}_K\\). Then the following are equivalent:  (1) \\((E,\\nabla)\\) is overconvergent, i.e. it is induced from a overconvergent isocrystal on \\((\\overline {X},X)/K\\).  (2) For any strict locally closed immersion \\(i: ({\\mathcal Y},\\overline {\\mathcal Y})\\to({\\mathcal X},\\overline {\\mathcal X})\\) with \\(\\text{dim}(\\overline {\\mathcal Y})=1\\), the pullback of \\((E,\\nabla)\\) to \\(({\\mathcal Y}\\to\\overline {\\mathcal Y})\\) is overconvergent.  Here, of course, \\(({\\mathcal Y},\\overline {\\mathcal Y})\\) is another pair like the \\(({\\mathcal X},\\overline {\\mathcal X})\\) desribed above.  The proof that (1) implies (2) is easy. The proof for the converse uses Kedlaya's result on \u00e9tale covers of smooth \\(k\\)-varieties and the notion of intrinsic generic radius of convergence of modules with integrable connection on polyannuli due to Kedlaya and Xiao.  The second main theorem of the paper is an algebraic variant of the above theorem, where now the embedding \\({\\mathcal X}\\to\\overline {\\mathcal X}\\) is replaced by an embedding of smooth schemes over \\(\\text{Spec}({\\mathcal O}_K)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q981665$EFA11E14-105D-4E62-9361-B01F63775FAC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b03e888b0e7a9763f3cf8c9bcc2f092135c24010","datavalue":{"value":"12H25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q981665$DBF4D9C5-B2BC-4CF9-8056-7699E52534CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fef556d874a3250155d036ec9dcfe6f4f651276b","datavalue":{"value":"14F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q981665$62E0C79E-6344-4673-B87C-D1DC5A95E2AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b08f65b8a72efedacb48f0b676c9e14a30f5ff82","datavalue":{"value":"5729740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q981665$7512671B-C3A7-44DC-AD5D-4CF353726D7B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16a351c32b7120d90db65adce25c1d25d274850b","datavalue":{"value":"overconvergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q981665$B8A7DD3A-89FB-4165-9ECA-8C58A89C14B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f311234ae21a36ec6dc6a9e60cc9fe82e13856b","datavalue":{"value":"\\(p\\)-adic differential equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q981665$745CD524-3985-4DF3-B774-2C23E8E789D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0406a4a2406f30b895e2b74564ce813fdd492a5","datavalue":{"value":"rigid cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q981665$01FEE58F-EE58-4DEB-AFB1-E5A75C409B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec954c3130673cc570ab6d5429f52cd53ad805a7","datavalue":{"value":"isocrystal","type":"string"},"datatype":"string"},"type":"statement","id":"Q981665$A0678BE6-2848-474D-9432-44310944580A","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":"Q981665$2BA45FA2-C303-4B49-AA26-E6E0751C1EEB","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":"Q981665$914AA05A-6CD2-4989-A1E9-72F7D2773FBC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d729578c592afa693f071323249122beb3b5d281","datavalue":{"value":"W1968457136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q981665$EAF33E54-FF98-4180-B12A-0E3E761E130C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"68bb565be00e76df8fe653607007bf0b4514da44","datavalue":{"value":{"entity-type":"item","numeric-id":4027540,"id":"Q4027540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q981665$290E53C7-E898-4A02-A47C-B65B8557DE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cc156cfda9e9bc69cc1e097cc02a7bfff3774b9","datavalue":{"value":{"entity-type":"item","numeric-id":4659677,"id":"Q4659677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q981665$6EE0D393-E539-42A1-8221-52DB071C153E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ccd302d671e1460dfae2d94e89bc08c6a87aeaf","datavalue":{"value":{"entity-type":"item","numeric-id":5423682,"id":"Q5423682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q981665$565E99B2-7430-4DC1-B0B4-106A76889B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37d91fc8232a5f4bc110b6f09024dbf2e77cd9cf","datavalue":{"value":{"entity-type":"item","numeric-id":3579590,"id":"Q3579590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q981665$AE1BD5D3-3CFE-49E2-9BD4-BEB7D4B2A228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5844004dd3b3b1545818b29fb9fef7802aa294b3","datavalue":{"value":{"entity-type":"item","numeric-id":3655743,"id":"Q3655743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q981665$1AC28ED9-71AB-497B-BB1D-F38ADE92F243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad89d0ad7f57f95946caf0833db1efcf9cb43cab","datavalue":{"value":{"entity-type":"item","numeric-id":641885,"id":"Q641885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q981665$44EF287A-55F1-48D6-9A3F-618BFDB6F107","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":"Q981665$E18219A6-D36D-4C3F-A952-37BE83CD6957","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2cd1b6874645a8055f1312e8ac2c604c1500ec4a","datavalue":{"value":"10.1007/S00229-010-0360-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q981665$B43FC814-55AB-4E6B-AD38-5DF48C1C09B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d194c17452ed381c736e93c8e3e06f7a494ff0d6","datavalue":{"value":{"entity-type":"item","numeric-id":607716,"id":"Q607716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6caa04fbf8b6ed79fdda4dd2e5bfa8d4dd0be55","datavalue":{"value":{"amount":"+0.90586925","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":"Q981665$E1850A96-F82B-462E-B785-9D6064756918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65173b900522da510069a2a81a42563f6f6612e7","datavalue":{"value":{"entity-type":"item","numeric-id":493516,"id":"Q493516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc7f7a3dc0f96915715e194ea4f0b103d2d702c5","datavalue":{"value":{"amount":"+0.8755031","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":"Q981665$84A66F03-A53C-432A-A01A-E4B80D244369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96b1259831aff29bb1fc52ab5e8e9af4144ee048","datavalue":{"value":{"entity-type":"item","numeric-id":3579590,"id":"Q3579590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef4859deedffa3877fefc4698731b4492c5a470c","datavalue":{"value":{"amount":"+0.87414014","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":"Q981665$16F40B8C-34AF-487B-AD83-96C39DEAA255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2be0801177db778eb4fd4c44627747b6cd38ddb1","datavalue":{"value":{"entity-type":"item","numeric-id":5068482,"id":"Q5068482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef4859deedffa3877fefc4698731b4492c5a470c","datavalue":{"value":{"amount":"+0.87414014","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":"Q981665$A066B5DC-9924-43AD-BC8B-931CB4CD1183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49b961ae1029ca337eeae248516436c5b6d53ec7","datavalue":{"value":{"entity-type":"item","numeric-id":4518762,"id":"Q4518762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef4859deedffa3877fefc4698731b4492c5a470c","datavalue":{"value":{"amount":"+0.87414014","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":"Q981665$6B88868E-56F4-4317-B220-DC67F88D1EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a7eaa416d517247cdec8db777a1ef3ccf724fd6","datavalue":{"value":{"entity-type":"item","numeric-id":890755,"id":"Q890755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dc66935fa6c6d14d17f4fe1e87a69fb7b889684","datavalue":{"value":{"amount":"+0.87360775","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":"Q981665$21EFF0B4-2D8B-4DC7-B2B4-E4183E662E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f446f45efc6bdbff186382f513bb44877719c08","datavalue":{"value":{"entity-type":"item","numeric-id":2467801,"id":"Q2467801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"112f33e78240535b713d51995fd3250e9eb716e2","datavalue":{"value":{"amount":"+0.873393","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":"Q981665$196FD472-9B76-4E63-9E18-C18D1559C098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba19a4a953dd0ef12f3a74d3869c77e76b896dba","datavalue":{"value":{"entity-type":"item","numeric-id":4414875,"id":"Q4414875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a43e56706bd9368a91443e37e8398c9886a93295","datavalue":{"value":{"amount":"+0.87291646","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":"Q981665$98D9BCDE-598E-4D71-9842-B6F40FB90D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91420dec2fe34f3f3963f45adee373db738e2276","datavalue":{"value":{"entity-type":"item","numeric-id":2985843,"id":"Q2985843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff8a875efef0c7a950d5c2211de1adf6495b6f83","datavalue":{"value":{"amount":"+0.8689257","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":"Q981665$0BD6C1B7-92FA-4645-AE89-610B12120E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"664da269445098e0905591b286b62148eeaec475","datavalue":{"value":{"entity-type":"item","numeric-id":2751727,"id":"Q2751727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5695dd9d21a0070946d2d51003eaf79f6243ca1f","datavalue":{"value":{"amount":"+0.86856216","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":"Q981665$E7CE1DFE-6637-4F35-8065-820010B0C978","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cut-by-curves criterion for the overconvergence of \\(p\\)-adic differential equations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cut-by-curves_criterion_for_the_overconvergence_of_%5C(p%5C)-adic_differential_equations"}}}}}