{"entities":{"Q1977899":{"pageid":1988641,"ns":120,"title":"Item:Q1977899","lastrevid":78059078,"modified":"2026-05-06T10:41:19Z","type":"item","id":"Q1977899","labels":{"en":{"language":"en","value":"Formal fibers at height one prime ideals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1455907"}},"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":"Q1977899$A71BF648-248E-4876-937D-030E8CC70C41","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"331a9636169a2f77cd686701f04fc55b8ec67958","datavalue":{"value":{"text":"Formal fibers at height one prime ideals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1977899$23516E74-1D2D-4ABF-B41C-9FA00FA7ED89","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f91f6fb0d7b535f8d39a8c61322b0c62415493b","datavalue":{"value":"0968.13013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977899$AD084B02-7A0C-4D03-97B2-EBA7B4CAC02E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98ee4a49c921199dd8e920d73c44eed058c44628","datavalue":{"value":"10.1016/S0022-4049(99)00031-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977899$E060DEA2-FB35-4F23-BCF2-DA754758880B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977899$D440C04D-8785-496A-96EE-B7C390AE2C83","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"49648fe9c9b5f8dc7251d787c990078a2b35db05","datavalue":{"value":{"time":"+2000-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1977899$1773C3EA-F279-4975-9AAF-DC5E78D0C284","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4abbef69c41e4c034185d05c570ed6709eb5f77f","datavalue":{"value":"Let \\(A\\) be a local Noetherian domain. Call \\(\\widehat A\\) its completion with respect to the maximal ideal. The formal fibers of \\(A\\) are the fibers of the natural map \\(\\text{Spec}(A)\\to \\text{Spec}(\\widehat A)\\). Call \\(\\alpha(A,Q)\\) the dimension of the formal fiber at the prime \\(Q\\) and \\(\\alpha(A)\\) the dimension of the fiber at \\((0)\\), which is also the maximal dimension. Matsumura and Rotthaus showed that for any \\(d\\geq 2\\) and \\(0\\leq t\\leq d\\), then one can find \\(A\\) such that \\(\\dim(A)=d\\) and \\(\\alpha(A)=t\\). So the dimension of the generic formal fiber and \\(\\dim(A)\\) are in fact independent.   The author shows that inside a complete local UFD \\((T,M)\\) of dimension \\(d\\geq 2\\), such that the residue field \\(T/M\\) has cardinality greater or equal than the real numbers, taking prime ideals \\(P,Q\\subset T\\) with \\(\\text{ht}(P)+1\\geq \\text{ht}(Q)\\), then under some natural hypothesis on \\(P,Q\\), one can construct a subring \\(A\\) such that \\(\\widehat A= T\\), \\(\\alpha(A)= \\text{ht}(P)\\) and \\(\\alpha(A,Q\\cap A)= \\text{ht}(Q)-1\\). It follows that one can find examples of formal fibers whose dimension is quite independent from the dimension of the generic one.   The author uses the result to construct nontrivial examples of local rings \\(A\\) such that \\(\\alpha(A)=\\alpha(A/P)\\) for infinitely many prime ideals \\(P\\subset A\\) of height \\(1\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977899$5EBD2706-BE7A-4DC9-B2E7-C790D7B7F4C2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8a6732e872f01faf176eef8902d940ca87781fd3","datavalue":{"value":{"entity-type":"item","numeric-id":428914,"id":"Q428914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977899$FED5C3F6-0031-464C-9021-5DAACA0EC26D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e60bc2db4afa42b59916c01f920d658b244bf8fc","datavalue":{"value":"13J10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977899$38620161-F5DB-4A9B-83B5-98CD7675CDE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb60b58fa83e5bf31309443c8c76c1c9bb17e418","datavalue":{"value":"13C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977899$A7091FDC-1616-4B17-8296-6DD72AD7A065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aeaa44c2e834cb1990f4a8778263cbd6a8f762b8","datavalue":{"value":"14A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977899$5E9EABEE-6CC6-45BB-B591-56AFF3F3BC00","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33b5a91c6851ba1d108109fa955d0e59ccf3c917","datavalue":{"value":"1455907","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977899$60592724-2F3F-4C96-A878-9CDDB601A3CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1598e56caaf5f55f8676bfb385f938be1575794a","datavalue":{"value":"formal fibers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977899$EB542C04-2033-4079-8DA9-F27C4C56CEA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e23a4ca92ba1ae0dff9beffe251e74ebf60285b9","datavalue":{"value":"local Noetherian domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977899$45FF7801-D13C-441F-A947-1C7F71E452F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41b8ab866f2130f494e3b07bc4d1da4f4429a9e0","datavalue":{"value":"completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977899$47116459-E6E8-4AB2-A544-183BBF553CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7a0a12ac1b7d2a50fe305af1b23480b05ef46c2","datavalue":{"value":"Spec","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977899$17788E75-9B38-481C-B784-6BE5E9123307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4768181659397122937393c61764e2f954409467","datavalue":{"value":"dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977899$94B96EA1-3925-45FF-BF16-98B5B8D7C779","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fe97e2e4e548124a455d4d2ef9ce352836cb844","datavalue":{"value":{"entity-type":"item","numeric-id":847986,"id":"Q847986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977899$854221CB-0282-472C-8476-832AFBB7E916","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":"Q1977899$B0DC0AEE-2E67-4480-9F71-1BAE6B21A784","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b7ca0d4ccd1956976beb4799287a35a11846b05","datavalue":{"value":"https://doi.org/10.1016/s0022-4049(99)00031-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1977899$E98AC268-26C9-4D67-9F43-2C1356CA7EBE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"00c9e1020d595f6948681da262c76df89a20fff2","datavalue":{"value":"W2089991505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977899$E5DFA874-B1EC-4049-BE37-67EE36F05A84","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd5a59d44503f349db9093cdd683cc98e1261476","datavalue":{"value":{"entity-type":"item","numeric-id":2011277,"id":"Q2011277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d11f499ba5775ec7ecd73742a2a51d480f437110","datavalue":{"value":{"amount":"+0.8940644264221191","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":"Q1977899$7E5D11D3-B832-4B52-BDEA-1F83EDBDF3B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5c5937d37697dc907d69f080d2dd4dd4798c446","datavalue":{"value":{"entity-type":"item","numeric-id":1711549,"id":"Q1711549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d884a21d66b79ccbb2e1ac681cff84ad290a0027","datavalue":{"value":{"amount":"+0.8907032012939453","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":"Q1977899$21456134-0156-48C8-BF7F-13685BAE81E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b670be927dab09e0417c4b65fa243f5589a0f5f3","datavalue":{"value":{"entity-type":"item","numeric-id":3406594,"id":"Q3406594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4567843272ddfb201a5e58579eb46f0ee73c7fcf","datavalue":{"value":{"amount":"+0.8654733896255493","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":"Q1977899$FAD44558-6495-4845-B24C-06448CA020E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal fibers at height one prime ideals","badges":[]}}}}}