{"entities":{"Q2462676":{"pageid":2473419,"ns":120,"title":"Item:Q2462676","lastrevid":57934965,"modified":"2026-04-03T03:51:27Z","type":"item","id":"Q2462676","labels":{"en":{"language":"en","value":"Formal structure of direct image of holonomic \\({\\mathcal{D}}\\)-modules of exponential type"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5217132"}},"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":"Q2462676$8E308B8A-B661-4A14-9658-4A626FAB2FA7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93ae90a5ed7e72b26dd1ecb0af0c5843f2c7ea5f","datavalue":{"value":{"text":"Formal structure of direct image of holonomic \\({\\mathcal{D}}\\)-modules of exponential type","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2462676$BB26980D-A43E-4F22-981D-2BC4AE8840E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a791621ace1b4408072a82c4b243ac17eb0f03f","datavalue":{"value":"1140.32021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2462676$5CACA73D-088D-4977-9221-B4D396D0DA2D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b7a3934b8302627967663c354ce0ad7a2c6144e","datavalue":{"value":{"entity-type":"item","numeric-id":998130,"id":"Q998130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462676$5BBB4C9B-9FB6-4AEC-926F-9640B727260C","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":"Q2462676$B9D25E98-76CF-4EFD-9E93-F8882A8D03C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e9fa6f2f337ef8352aec632547ae6f1ca832f426","datavalue":{"value":{"time":"+2007-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2462676$97C358F1-4C0C-41B7-8691-650A10418238","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0539a8b994ade9a3110a6f3d9accdab2fc64efe3","datavalue":{"value":"https://arxiv.org/abs/math/0604134","type":"string"},"datatype":"url"},"type":"statement","id":"Q2462676$8634B9BB-07EB-45FA-9862-C23CF91F86E6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8129e3d6cc04f9d187cc5c4e33ecb356afbd7f28","datavalue":{"value":"If \\(\\mathcal M\\) is a regular holonomic \\(\\mathcal D_X\\)-module on a complex manifold~\\(X\\), we denote by \\({\\mathcal O}_X[\\ast Z]\\) the sheaf of meromorphic functions with poles at most along the reduced divisor \\(Z\\), and let \\(g\\in H^0({\\mathcal O}_X[\\ast Z])\\) be such a function. Then \\({\\mathcal M}e^g\\) denotes the holonomic \\({\\mathcal D}_X\\)-module obtained by equipping \\({\\mathcal M}[\\ast Z]={\\mathcal M}\\otimes_{{\\mathcal O}_X}{\\mathcal O}_X[\\ast Z]\\) with the connection \\(\\nabla_g=\\nabla +dg\\), where \\(\\nabla\\) is the connection on \\({\\mathcal M}[\\ast Z]\\) coming from its left \\({\\mathcal D}_X\\)-module structure. Such a holonomic \\({\\mathcal D}_X\\)-module is said to be of exponential type. It is irregular along \\(Z\\). If \\(f\\colon X \\to C\\) is a proper map to a curve then the cohomology sheaves of the direct image of \\({\\mathcal M}e^g\\) under \\(f\\) are holonomic \\({\\mathcal D}_C\\)-modules but may have irregular singularities.   The purpose of this paper to compute formal invariants of these cohomology modules at their singularities. The problem is thus local on the base, so it is enough to consider \\(X=D\\times{\\mathbb P}^1\\) (\\(D\\) a disc centred at \\(0\\in{\\mathbb C}\\)) and \\(f=p_1\\colon X\\to D\\), \\(g=p_2\\colon X\\to {\\mathbb P}^1\\). Then look at \\({\\mathcal N}_0={\\mathcal H}^0 p_{1+}({\\mathcal M}e^{p_2})\\). Theorem~1 of the paper computes the Newton polygon (and hence the slopes and irregularity number) of \\({\\mathcal N}_0\\) in terms of multiplicities of local irreducible components \\(S_\\ell\\) of the singular support of \\({\\mathcal N}_0\\), and gives a decomposition of the formal irregular part of \\({\\mathcal N}_0\\) after a base change, in terms of Puiseux parametrisations of~\\(S_\\ell\\). The characteristic polynomial of the monodromy is computed (Theorem~2) under a genericity assumption. Theorems~3 and 4 reduce other cases to this one at least formally. In particular every formal \\({\\mathbb C}\\big[[t]\\big]\\langle\\partial_t\\rangle\\)-module is isomorphic after a base change to a germ of a formalised direct image of an analytic \\({\\mathcal D}\\)-module of exponential type.  The main tools are the properties of specialisation and higher direct images established by \\textit{Y. Laurent} and \\textit{B. Malgrange} [Ann. Inst. Fourier 45, No. 5, 1353--1405 (1995; Zbl 0837.35006)], together with local analytic computations in suitable partial resolutions of the singularities.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2462676$5EF6A9C0-A04B-4903-8A06-0CFD6266EFFC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"227cfc34c3ef3c735332ada4a3783fada63c5c63","datavalue":{"value":"32S40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2462676$6BBA6082-59F5-493F-B22F-D0B269DB96E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"116d8612c72590dcdde5f39c52eaf6a0f4a86db0","datavalue":{"value":"32C38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2462676$8A28CDAD-A7C0-4C2D-A3EA-A81383559550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2aabc515bbde40f37422d021c6739927817c53aa","datavalue":{"value":"34M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2462676$B4A7C58B-CEE0-4216-8319-EF8ABDC48253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cc18b709891ceab51cbef90b8d68902685ead912","datavalue":{"value":"32S45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2462676$419815FF-05B5-4886-AAAA-DA8EA190CD9C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31d051f0640ced0a3fbc8d28f41082d6919b543f","datavalue":{"value":"5217132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2462676$0A6DD119-043B-4B9B-9038-662EC15CFB01","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e41c88fc955fffe9fa9edabbcc04a672d60f85c","datavalue":{"value":"holonomic \\(\\mathcal D\\)-module","type":"string"},"datatype":"string"},"type":"statement","id":"Q2462676$85B5DDE7-D3FA-46A2-9482-9D879EF4581B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aad57e582c28c9b482211e39936355dd7d0c63e0","datavalue":{"value":"formal structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2462676$6255EB28-CE51-473A-B868-5B41D2DB72B2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9929dcfdfd4adbbd7e1b648b80569c2a98acb6b9","datavalue":{"value":{"entity-type":"item","numeric-id":502082,"id":"Q502082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462676$A653689C-9E26-4F6F-A466-A580E16F376F","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":"Q2462676$B0CD08AD-D185-4878-8A1B-425734D5EB6B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e75cb6dd735792b57e53d602e50d9c7ac397ca55","datavalue":{"value":"W2162438338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2462676$BE52AB25-87F7-44EA-A596-62AF6CAF79F6","rank":"normal"}],"P223":[{"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":"Q2462676$B44C7D0A-8734-41F2-B920-67D0318EB5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7978f460483eea442a1c50753b84a280106c3ea","datavalue":{"value":{"entity-type":"item","numeric-id":795113,"id":"Q795113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462676$1814FA8F-38B1-4B9A-9A50-20EFA2C5D302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5180b17cb22131aa3a0601b0fe40bc7bb3e1e58d","datavalue":{"value":{"entity-type":"item","numeric-id":3999005,"id":"Q3999005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462676$225AE011-5C8B-4D41-AB1C-FC3E9E435632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65d874734babc663edfd83485cc138a02e9f761f","datavalue":{"value":{"entity-type":"item","numeric-id":1906112,"id":"Q1906112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462676$0CAB40B1-1D87-4302-B62E-8592D1E8D92D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f67cfdeafdcb61f96edfe710ebd684c7f8473d6","datavalue":{"value":{"entity-type":"item","numeric-id":1189462,"id":"Q1189462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462676$3F937005-0563-4874-8A6A-F78D87396F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0c7499c36784efaf36391fa6bdb22949f288766","datavalue":{"value":{"entity-type":"item","numeric-id":4850013,"id":"Q4850013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462676$6AC45450-F815-486A-8335-63EE26C5E887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e1f4095db5f9b4d9f8d8fc76441bfb11e6d8fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4850015,"id":"Q4850015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462676$D1C56AD8-45EC-4826-AEE2-49C841717088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae8826fed2765740ac43b1443a97b5e20442cace","datavalue":{"value":{"entity-type":"item","numeric-id":3434045,"id":"Q3434045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462676$8CFFBD80-E60B-4DFB-A465-B31874277A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e31e3611635247f7c7c3cb69b18fe94bca5a98","datavalue":{"value":{"entity-type":"item","numeric-id":998131,"id":"Q998131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462676$2F72A99B-F52B-43EA-9C83-2B938798E762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0649b99310fd7bfe89cae585fa0bd139567560f","datavalue":{"value":{"entity-type":"item","numeric-id":4850010,"id":"Q4850010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462676$E122DA70-FD90-43B6-A5C6-CFC937CA36A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f806d4ad7e4538b8a132983311529f22031ba43a","datavalue":{"value":"10.1007/S00229-007-0113-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2462676$F88F7544-8FB0-46F3-8539-EAEED84A83DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c66f5c9e93a08fe2e341a5a6491a055a8919f758","datavalue":{"value":{"entity-type":"item","numeric-id":734606,"id":"Q734606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcc61f3edf008a200ea75ab867cb5321ed0b875e","datavalue":{"value":{"amount":"+0.7519525289535522","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":"Q2462676$58161B22-F9AB-4796-86BC-DC79C914C6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa29f9acc7589d06c89fbdba8fd7e3f393181bc7","datavalue":{"value":{"entity-type":"item","numeric-id":4850013,"id":"Q4850013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"753bdf47fd692d4462f5a028ddbb6beac63aa734","datavalue":{"value":{"amount":"+0.7454312443733215","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":"Q2462676$73D4322F-83BF-4A1B-AE74-80AE2855BEF5","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":"9a783e8fea304bc24c3dff623b92291d733ab1d8","datavalue":{"value":{"amount":"+0.7453661561012268","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":"Q2462676$0859D472-447B-4FC0-805A-7190E535B009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cb85b8cb56cbdec944d066f70527f307b910c1a","datavalue":{"value":{"entity-type":"item","numeric-id":4379172,"id":"Q4379172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ab1838cdbf91585eee6f7b5fa0a73fe4b87e431","datavalue":{"value":{"amount":"+0.7450591325759888","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":"Q2462676$FB2C6689-0601-4E6B-B7A2-7A49EC50E0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f95b00c0c33174addb22d13b4edd5ceea84d0725","datavalue":{"value":{"entity-type":"item","numeric-id":4832358,"id":"Q4832358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ab1838cdbf91585eee6f7b5fa0a73fe4b87e431","datavalue":{"value":{"amount":"+0.7450591325759888","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":"Q2462676$0A233CAB-7A65-4AC2-A4B7-F864D739DBAF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2462676","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2462676"}}}}}