{"entities":{"Q1922559":{"pageid":1933301,"ns":120,"title":"Item:Q1922559","lastrevid":71833587,"modified":"2026-04-14T00:50:57Z","type":"item","id":"Q1922559","labels":{"en":{"language":"en","value":"Vanishing cycles for formal schemes. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 922469"}},"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":"Q1922559$AD5838DE-2763-4ED7-9C63-2D3BAA1B5D24","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5cbe9346dc94ca7c56c571ff82c74eb1b3baab2e","datavalue":{"value":{"text":"Vanishing cycles for formal schemes. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1922559$F6F3AC4D-056E-4C00-AE5B-60E02EF490B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6805f66d7fc6802990aef7a5da4b09d4f635a35","datavalue":{"value":"0852.14002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922559$F3B51728-7E01-4C3C-90FD-16A0C5D31A6C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ed255005be8450f3470f28bd9c3e8552224ebc7","datavalue":{"value":{"entity-type":"item","numeric-id":891568,"id":"Q891568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1922559$F871C3FE-9AE1-4C38-BFF1-B08F2BBB60BA","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":"Q1922559$C2AB41EE-D825-4CE0-A94D-EBE43360B67C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de90f2fb62ce582a6d325b4c112b8bd95345e057","datavalue":{"value":{"time":"+1996-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1922559$7EF8E0B8-2141-406E-95DD-6C257DD6488F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9a6bb930f54cb33a18455c1e38670e5168f55d9","datavalue":{"value":"https://eudml.org/doc/144181","type":"string"},"datatype":"url"},"type":"statement","id":"Q1922559$BDF7C2CB-920B-4776-8D45-22ABC3D2E1E6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ad562f47c29f11697408811b08e7235910a55ac4","datavalue":{"value":"Let \\(k\\) be a complete discrete valuation field and \\(k^0\\) its ring of integers. In part I of this work [ibid. 115, No. 3, 539-571 (1994; Zbl 0791.14008)], the author constructed and studied the vanishing cycles functor for formal schemes of locally finite type over \\(k^0\\). In this part II the construction is extended to a broader class of formal schemes that includes, for example, formal completions of the above formal schemes along arbitrary subschemes of their closed fibres. The main result is a comparison theorem which states that if \\({\\mathcal X}\\) is a scheme of finite type over a Henselian discrete valuation ring with the completion \\(k^0\\) and \\({\\mathcal Y}\\) is a subscheme of the closed fibre \\({\\mathcal X}_s\\), then the vanishing cycles sheaves of the formal completion \\(\\widehat {\\mathcal X}_{/{\\mathcal Y}}\\) of \\({\\mathcal X}\\) along \\({\\mathcal Y}\\) are canonically isomorphic to the restrictions of the vanishing cycles sheaves of \\({\\mathcal X}\\) to the subscheme \\({\\mathcal Y}\\). In particular, the restrictions of the vanishing cycles sheaves of \\({\\mathcal X}\\) to \\({\\mathcal Y}\\) depend only on \\(\\widehat {\\mathcal X}_{/{\\mathcal Y}}\\), and any morphism \\(\\varphi: \\widehat {\\mathcal X}'_{/{\\mathcal Y}'}\\to \\widehat {\\mathcal X}_{/{\\mathcal Y}}\\) induces a homomorphism from the pullback of the restrictions of the vanishing cycles sheaves of \\({\\mathcal X}\\) to \\({\\mathcal Y}\\) to those of \\({\\mathcal X}'\\) to \\({\\mathcal Y}'\\). -- One also proves that, given \\(\\widehat {\\mathcal X}_{/{\\mathcal Y}}\\) and \\(\\widehat {\\mathcal X}'_{/{\\mathcal Y}'}\\), one can find an ideal of definition of \\(\\widehat {\\mathcal X}'_{/{\\mathcal Y}'}\\) such that if two morphisms \\(\\varphi, \\psi: \\widehat {\\mathcal X}'_{/{\\mathcal Y}'}\\to \\widehat {\\mathcal X}_{/{\\mathcal Y}}\\) coincides modulo this ideal, then the homomorphisms between the vanishing cycles sheaves induced by \\(\\varphi\\) and \\(\\psi\\) coincide.    These facts generalize results of part I as well as results of \\textit{G. Laumon} [``Charact\u00e9ristique d'Euler-Poincar\u00e9 et sommes exponentielles'' (Th\u00e8se, Universit\u00e9 de Paris-Sud, Orsay 1983)], and the author [``Vanishing cycles for non-Archimedean analytic spaces'', J. Am. Math. Soc. 9, No. 4, 1187-1209 (1996)], where certain cases when \\({\\mathcal Y}\\) is a closed point of \\({\\mathcal X}_s\\) were considered. The main new ingredient in the proof of the comparison theorem is the recent stable reduction theorem of \\textit{A. J. de Jong} [``Smoothness, semi-stability and alterations'' (preprint 1995)]. Furthermore, one proves a vanishing theorem which states that the \\(q\\)-dimensional \u00e9tale cohomology groups of certain analytic spaces of dimension \\(m\\) are trivial for \\(q> m\\). This class of analytic spaces induces, for example, the finite \u00e9tale coverings \\(\\Sigma^{d,n}\\) of the Drinfeld half-plane \\(\\Omega^d\\) [\\textit{V. G. Drinfel'd}, Funct. Anal. Appl. 10, 107-115 (1976); translation from Funkts. Anal. Prilozh. 10, No. 2, 29-40 (1976; Zbl 0346.14010)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922559$F5BD3BE7-A10C-49E7-A800-D5D5F23E6865","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f47e0ac8332e65ab042eb721c036fa65e1af589f","datavalue":{"value":"14F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922559$EDED1914-8CA8-4649-9119-DF658FFB3443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b149beccc7217da5f0fb8758235d36c0666d20ac","datavalue":{"value":"14C25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922559$4C54114B-9955-4BD3-A61A-35F3FE6986F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71e15d3a17f1ae7a1c0239050ee3b6d6009a74c","datavalue":{"value":"18F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922559$4048AD56-C928-48E1-BB01-1341FA0C21BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd029899168f4905895f56a378c394db3cd8ed62","datavalue":{"value":"14G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922559$228D54BF-BE45-46DE-8712-67618DF6918D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fea6a43e1045c5bd23f7173465bad59b9d0237d6","datavalue":{"value":"14F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922559$99B55EE2-0393-4A9C-B66A-A6CFED94B4BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7371dabfa89d2f16517ef045f4f6210313efcda5","datavalue":{"value":"922469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922559$73BABF8F-6AC4-4143-98C7-92C7F73FD332","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"301d0a57188e82337845023330f5201da27f6172","datavalue":{"value":"vanishing cycles functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922559$071658B1-894C-4DB3-B073-81B4C5FAD84F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84aecf5dce0616043c5d5615e29db1f0d16db4ef","datavalue":{"value":"formal schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922559$C3D4CC4A-AC6E-4903-B83F-4F70DABF6102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"062551b0c16a0f859647fa3ead0117528006c7a9","datavalue":{"value":"comparison theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922559$44D93A0E-80EF-4A60-A27D-0BA05899E562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"176f8e9bdf26f7913070c37123400fa7e1846203","datavalue":{"value":"vanishing theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1922559$B0825216-E234-400A-85D0-5A6DE45C1444","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":"Q1922559$66635F47-0D86-41B8-9B43-15E41AC536E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3205caad0334cad69a7fa9407c9994cf39d338fe","datavalue":{"value":"W2079974764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922559$798DE840-5F53-4D34-A663-F27351C15E22","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1416b8f016196622d11c67833225420e37977beb","datavalue":{"value":"10.1007/S002220050078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1922559$D526D53A-FFB4-44D1-8D21-9C7B7F3FEC89","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfeaa11396988462843796030044382227e1ba30","datavalue":{"value":{"entity-type":"item","numeric-id":1320498,"id":"Q1320498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"734a17267e325e147e3df9123361ebd4e3d95c92","datavalue":{"value":{"amount":"+0.8836455345153809","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":"Q1922559$CADCEB1D-FAA7-41AE-B37F-A29DA0D8B18D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30b08d8240c1d72616a56ae92a8064de45f1ea5e","datavalue":{"value":{"entity-type":"item","numeric-id":5212328,"id":"Q5212328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a4e3c02954af1d1b9e3a4428a02e7e0eead1792","datavalue":{"value":{"amount":"+0.8793831467628479","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":"Q1922559$E68D8A66-F033-4CD4-9C26-040CAF6BD075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1502015e53ecd4d7a56d151f88c09d29f441bbe","datavalue":{"value":{"entity-type":"item","numeric-id":5687295,"id":"Q5687295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9da517850c62afa55be4de25ec31ddfb0c74b0b1","datavalue":{"value":{"amount":"+0.8624448180198669","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":"Q1922559$49C2E8F7-82FB-491F-99F3-541D73F7A9F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae94e7244dd9098569c60a906b226a50548ee608","datavalue":{"value":{"entity-type":"item","numeric-id":3788120,"id":"Q3788120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bcc3d32ab925627fd02a1fa397651d652cd3a91","datavalue":{"value":{"amount":"+0.8611399531364441","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":"Q1922559$6FE3E62B-2227-4810-8047-103F7D069D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f47592b61e4517f43bb206b493b51909c3e3b871","datavalue":{"value":{"entity-type":"item","numeric-id":891569,"id":"Q891569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f47d9c349f0c73f7e82d5c52e466e2ffbdf997fb","datavalue":{"value":{"amount":"+0.825070321559906","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":"Q1922559$0A95B85D-B851-497F-B269-F30806BBED20","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Vanishing cycles for formal schemes. II","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Vanishing_cycles_for_formal_schemes._II"}}}}}