{"entities":{"Q1774087":{"pageid":1784829,"ns":120,"title":"Item:Q1774087","lastrevid":68924739,"modified":"2026-04-13T03:08:51Z","type":"item","id":"Q1774087","labels":{"en":{"language":"en","value":"Overcoherent arithmetic \\(\\mathcal D\\)-modules. Application to \\(L\\)-functions."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2162447"}},"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":"Q1774087$175AB9ED-B7D0-4A2E-84BC-B0286C33C177","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2d8eb5efde6331646a6c9cd5ee2892bcb4b8c79","datavalue":{"value":{"text":"Overcoherent arithmetic \\(\\mathcal D\\)-modules. Application to \\(L\\)-functions.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1774087$A8A6FC1B-8852-411C-A4A3-A41BB5FDF22F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ad986c88388fecc6e9df7af73ddb6cd01d70ea5","datavalue":{"value":"1129.14030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774087$2F6B2A7C-D688-41BD-BD60-3097B18E5DB1","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":"Q1774087$6E8BAED2-38FB-4A55-8AE3-BF1DF977A1CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cfdd76c6ace7e0d57b8524faf2ffe47b441fd852","datavalue":{"value":{"time":"+2005-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1774087$9EEC4AFB-D7E4-45B5-87DB-149411008A10","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"53a2e82f6a313aada9da7799caf41295559fa7a9","datavalue":{"value":"http://www.numdam.org/item?id=AIF_2004__54_6_1943_0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1774087$964A2295-A8DB-40FD-BABF-73062DB98D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"341db122882a9ca1c0777304120730fcf8fa7e3d","datavalue":{"value":"https://eudml.org/doc/116165","type":"string"},"datatype":"url"},"type":"statement","id":"Q1774087$C952D978-89DE-47AA-B8E6-5346EC608007","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b2f61ae697658567b358df677da1580e35793345","datavalue":{"value":"This article is one piece of the author's program to construct a category of \\(p\\)-adic coefficients, attached to a scheme over a finite field \\(k\\), which is stable by the six Grothendieck operations: direct image (resp. exc. direct image), inverse image (resp. exc. inverse image), (external) tensor product, duality and local cohomological functors.   In this review \\(D^{\\dagger}\\) will denote the sheaf of arithmetic \\(D\\)-modules of Berthelot and \\(V\\) is a discrete valuation ring such that \\(k\\) is the residue field of \\(V\\). We will work with modules which are endowed with a Frobenius structure denoted by \\(F\\), that means \\(D^{\\dagger}\\)-modules \\(M\\) endowed with a \\(D^{\\dagger}\\)-linear isomorphism \\(F^*M\\simeq M\\). Let us notice that some interesting results are valid in this article for arithmetic \\(D\\)-modules which are not endowed with such a structure.   Conjecturally, the category of holonomic \\(D^{\\dagger}\\)-modules of \\textit{P. Berthelot} [``D-modules arithm\u00e9tiques. II. Descente par Frobenius.'' M\u00e9m. Soc. Math. Fr., Nouv. S\u00e9r. 81 (2000; Zbl 0948.14017)] endowed with a Frobenius structure should be stable by the \\(6\\) operations but this result is not yet known. The approach here consists into defining a new subcategory of the derived category of arithmetic \\(D^{\\dagger}\\)-modules with overconvergent singularities along a divisor, by forcing some property of stability by image inverse functors that holonomic \\(F\\)-\\(D^{\\dagger}\\)-modules should conjecturally verify. This category is called the category of overcoherent \\(F\\)-\\(D^{\\dagger}\\)-modules. In the case of a curve, it is known that an overcoherent \\(D^{\\dagger}\\)-module is holonomic. In general, it is a consequence of Berthelot's conjectures that the category introduced here is the same as the category of holonomic \\(F\\)-\\(D^{\\dagger}\\)-modules defined by ~Berthelot. As an example unit-root \\(F\\)-isocrystals are overcoherent.  One application of this construction is that D.~Caro can define a category of \\(F\\)-\\(D^{\\dagger}_U\\)-overcoherent modules for a separated scheme over \\(k\\). Locally, if \\(U\\) is obtained as \\(T\\backslash Z\\) where \\(T\\) and \\(Z\\) are divisors of a smooth scheme \\(X\\), this category is obtained as the category of overcoherent \\(F\\)-\\(D^{\\dagger}\\)-modules \\(E\\), over a smooth lifting of \\(X\\) over \\(\\text{Spf\\,}V\\), such that \\(E\\) has support in \\(Z\\) and such that the localization functor \\(R\\Gamma^{\\dagger}_T E\\) is \\(0\\). This category depends only on \\(U\\), and is stable by direct images and by exceptional inverse images.   In the last part, the author defines \\(L\\)-functions for duals of an overcoherent \\(F\\)-\\(D^{\\dagger}\\)-module over a separated scheme \\(U\\) and proves a cohomological formula. This generalizes a previous formula of \\textit{J.-Y. \u00c9tesse} and \\textit{B. Le Stum} [Math. Ann. 296, No.~3, 557--576 (1993; Zbl 0789.14015)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1774087$E03CBB96-4BE3-4E4D-A3C4-24CA61972BCC","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":"Q1774087$E55B788E-8ADA-480C-A822-8E33026FBD5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fef556d874a3250155d036ec9dcfe6f4f651276b","datavalue":{"value":"14F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774087$8477ABEE-E856-4556-A855-B2DB0967AF2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7879e42e20b29db9c334897fbdfacb3091816904","datavalue":{"value":"14F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774087$43E3F090-137F-422D-A793-9A78B9573C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"28fa461aeb4930aa157b063fa36c39645dfdfe32","datavalue":{"value":"14G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774087$1598749C-1B16-4F1C-A514-73DA4DF68919","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab8f8b488e83a6c3bc4dfebdeb70564b7272bdd2","datavalue":{"value":"2162447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774087$5F7B4103-62E4-4423-A6EF-349371EDB798","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456e9657145c21360164ec67722a3d8518da28b2","datavalue":{"value":"arithmetic \\(\\mathcal D\\)-modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1774087$C7DD07F5-2F49-40AB-83F9-7F7FC940AC39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"183b678dfdd16d56ef52ee892eb612c6f8830cd6","datavalue":{"value":"overconvergent \\(\\mathcal D\\)-modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1774087$05E0DBD5-2FE2-47C4-9634-85D6CB444638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d40875d46a85ea1094a2c3147cd08f1726c1308","datavalue":{"value":"Grothendieck six operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1774087$F1EB455B-B901-46FE-81D6-8765F8982207","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":"Q1774087$A82DA6DC-8A08-462D-9420-722473BFC294","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ed49ef0b3ace654ec560fbd7b339fa146551af1","datavalue":{"value":"W2317054216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774087$B10A5E98-BD77-46BA-9394-512DC4031349","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"81c2486612810ec95fe1c8f7a89b1f77d7ea51b4","datavalue":{"value":{"entity-type":"item","numeric-id":4889768,"id":"Q4889768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774087$01CCA072-E161-4FAB-BC15-9B1897E0DB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8dcdbe42657a4b75fbac0a430b654ce2097c41d","datavalue":{"value":{"entity-type":"item","numeric-id":4891300,"id":"Q4891300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774087$AAFDA7DE-EEC3-4911-92D5-42264B51326D","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":"Q1774087$53F04B9D-5F5B-4D95-A9E4-5E2B8ABB175D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2030324e2fa80476a1c87d6f1eed35b05094ef8c","datavalue":{"value":{"entity-type":"item","numeric-id":4539739,"id":"Q4539739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774087$4BAE21AD-2ED2-4F5F-A2DA-442808BBC184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9368e93e545e4b7e92e52bae14300cde4c57b5d2","datavalue":{"value":{"entity-type":"item","numeric-id":3784384,"id":"Q3784384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774087$F69BFACB-B83D-41C8-BD1B-B5C852C0E426","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":"Q1774087$0EAD6C8A-10A1-47C5-BBEF-C8D52E50A842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"827775bbf6e8679a20cb5336eebf775aae96cc41","datavalue":{"value":{"entity-type":"item","numeric-id":1426566,"id":"Q1426566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774087$71CF7FBA-BD14-4140-810D-D066B79F3B87","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":"Q1774087$33CADFF1-296F-4CEF-8EA3-40CE148E6A81","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":"Q1774087$F2B74416-103D-4DA9-A434-1EAD49D32D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f391cbd3c45def2f2ab5b35870ddad1957c24017","datavalue":{"value":{"entity-type":"item","numeric-id":2544562,"id":"Q2544562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774087$B67CE82E-65A4-44CE-850F-596FF93589E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edcce06bfa325a4263a653ccb27e583417c2f8e5","datavalue":{"value":{"entity-type":"item","numeric-id":3485167,"id":"Q3485167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774087$17F0BA90-123C-4A89-8733-5745FC28BE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c3bf7cd3857c9c3693cb8ae5a94de8aa8360ef5","datavalue":{"value":{"entity-type":"item","numeric-id":2552491,"id":"Q2552491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774087$822B5D81-A233-4690-9F05-8A0E7962B222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf475d45b1990530ee79793e950f2dd74c40a4e","datavalue":{"value":{"entity-type":"item","numeric-id":2546548,"id":"Q2546548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774087$2BE98B86-62C2-4BAC-9B21-657514E00557","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":"Q1774087$0F57055F-7D44-4581-9C8B-46D27D3E939B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29bfc7dbe9827bdec9ca15b8aef27a7bbb9ebb6e","datavalue":{"value":"10.5802/AIF.2072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1774087$FC150C92-A3E7-478D-9480-40E2DA13F024","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dc1a1beeefbfbbcf5aa3adaae27b74e0e5ad168d","datavalue":{"value":{"entity-type":"item","numeric-id":4557581,"id":"Q4557581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1774087$8CF568F5-3BB6-4379-9D1D-B772D50013F5","rank":"normal"}],"P1643":[{"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":"f2e93dff5c7809c71d29f0c55c8869341cd11cdb","datavalue":{"value":{"amount":"+0.8638726472854614","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":"Q1774087$3E260594-405E-4397-9AFC-1B8972EDD4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3c770c7b56031f57be87a455cb75a197fff470c","datavalue":{"value":{"entity-type":"item","numeric-id":2464702,"id":"Q2464702"},"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":"Q1774087$3D2263F2-7128-4EF6-805B-5408D9C3E817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19d53e24d7741618cf657f08baa5744f92213810","datavalue":{"value":{"entity-type":"item","numeric-id":4487726,"id":"Q4487726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07c16b8c257ba8efa1cf3e91dcdaac087e2fcf3c","datavalue":{"value":{"amount":"+0.8423467874526978","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":"Q1774087$E06AB3E0-C7B2-4797-8B38-BDCAA4635525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ed8506a14fed9dd1fe781484ed02d87a8ec1b9c","datavalue":{"value":{"entity-type":"item","numeric-id":3379054,"id":"Q3379054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9d928b6fc016ce8f80a01d65087a2e233920d3e","datavalue":{"value":{"amount":"+0.8401627540588379","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":"Q1774087$3A1C59A2-3C2B-4324-9756-9272E3C188B4","rank":"normal"},{"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":"d799fc402f6cbfcd871941b72e512f997d0a2039","datavalue":{"value":{"amount":"+0.8341111540794373","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":"Q1774087$7D8FCECB-FD2E-49B8-ADA4-63A382FB9F77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Overcoherent arithmetic \\(\\mathcal D\\)-modules. Application to \\(L\\)-functions.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Overcoherent_arithmetic_%5C(%5Cmathcal_D%5C)-modules._Application_to_%5C(L%5C)-functions."}}}}}