{"entities":{"Q2518164":{"pageid":2528907,"ns":120,"title":"Item:Q2518164","lastrevid":74224011,"modified":"2026-04-14T19:02:55Z","type":"item","id":"Q2518164","labels":{"en":{"language":"en","value":"Asymptotic vanishing conditions which force regularity in local rings of prime characteristic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5492443"}},"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":"Q2518164$1947ABAB-5251-4A29-98E0-0E7BCEA1CC46","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9336e7cc803c0f615163244d505a94fcab0853a","datavalue":{"value":{"text":"Asymptotic vanishing conditions which force regularity in local rings of prime characteristic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2518164$D2AF5582-D99E-4041-A3D2-957FCABFD3E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b54e77ce00d9008c9e41aa2fcf65fc9c4952073","datavalue":{"value":"1162.13003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2518164$8CC019BF-42CF-41D8-B84C-BFDB2682F77D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d3234652e227a6dcda17c7ad0179e1b74e873f6","datavalue":{"value":{"entity-type":"item","numeric-id":207753,"id":"Q207753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2518164$33575F33-3FF8-4F33-B187-927932261A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d08270bd9a3307f70d8ac8a29e3230c685e2c81","datavalue":{"value":{"entity-type":"item","numeric-id":405411,"id":"Q405411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2518164$6EFD2C6A-5DCF-4A51-8FAF-42B7149EB7BB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"82759f7bd5d339c54aa2233fde0d7f5ffae8b2c0","datavalue":{"value":{"entity-type":"item","numeric-id":170810,"id":"Q170810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2518164$C0337574-4D28-419A-98C6-518E732A5CE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e26e6c2a83c3157baf46ffe4a8d556736cf88fe","datavalue":{"value":{"time":"+2009-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2518164$A922EDDE-5764-492E-B9FB-6BBB3B52B5D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e54d0a0996ca084ee73e4f1403b1456ff2a98f6","datavalue":{"value":"https://arxiv.org/abs/0710.4090","type":"string"},"datatype":"url"},"type":"statement","id":"Q2518164$A9B13EF1-7FA0-48D7-9454-A1C38BD8DEFE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"200f3cb0d806c972da1a42fee7d71f19c4653b53","datavalue":{"value":"Let \\((R,m,k)\\) be a local ring of characteristic \\(p>0\\) and let \\(\\dim R=d\\). Assume that \\(F_R^{n}(-)\\) for \\(n\\in\\mathbb{N}\\) is the \\(n\\)th iteration of the Frobenius functor, \\(\\ell_R(-)\\) is the length function and \\(q_n=p^n\\). The second author gave [Proc. Am. Math. Soc. 136, No. 5, 1553--1558 (2008; Zbl 1135.13002)] a criterion for regularity of \\(R\\) provided that the following asymptotic length  \\[  t_j(R)=\\lim_{n\\rightarrow \\infty}\\frac{\\ell_R(\\text{Tor}_j^{R}(k,F_R^{n}(R))}{q_n^d} \\]  vanishes at \\(j=1,2\\).  On the other hand, the first author gave [Proc. Am. Math. Soc. 133, No. 1, 27--29 (2004; Zbl 1095.13003)] another criterion for regularity of an excellent local domain \\(R\\) via the vanishing of \\(\\text{Tor}_1^{R}(k,R^+)\\) in which \\(R^+\\) is the absolute integral closure of \\(R\\).  In the paper under review, the authors by completely different method based on the stably phantom homology extend their results as the following:  (A) If \\(t_j(R)=0\\) for some \\(j>0\\), then \\(R\\) is a regular local ring.  (B) If \\(R\\) is an excellent local domain such that \\(\\text{Tor}_j^{R}(k,R^+)=0\\) for some \\(j>0\\), then \\(R\\) is a regular local ring.  Both of the above results are based on the following outstanding result which is the main theorem of the paper:  Main Theorem. Let \\(R\\) be an excellent local ring and let \\(\\mathcal{F_\\bullet}\\) be a minimal free resolution of \\(k\\). If for some \\(j>0\\), the complex \\(\\mathcal{F_\\bullet}\\otimes_{R} R^{nq_n}\\) is stably phantom at \\(j\\)th spot, then \\(R\\) is regular. (Here \\(R^{nq_n}=\\frac{R}{I}\\) and \\(I\\) is the intersection of the primary components of ideal (0) with dimension \\(d\\)).  In the proof of the above theorem the significant property of excellent local rings in the theory of tight closure (admitting a weak test element) has central role.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2518164$67B95903-82E0-4E39-B384-B3883CD233E2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e02a908d9e5960819700fdc3699e2c97497d5f16","datavalue":{"value":{"entity-type":"item","numeric-id":409233,"id":"Q409233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2518164$D92DB88E-C325-4F93-91F6-F367260614CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bbba9dff550bdc725cd59863edc6ed8158931b04","datavalue":{"value":"13A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2518164$15D5F703-3A00-443E-9A02-C9DFD8CBFBE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9fd82bb3bb51bb4e60178b4b3fa3c15d4bdaa363","datavalue":{"value":"13D07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2518164$40794722-0133-4936-B35E-D7A79C38199F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3759a062279a66b1679b98fa644219ef0bc3b7a3","datavalue":{"value":"13D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2518164$4A16DB2F-4A11-4F5D-90A1-FD8186E374E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"97db24179cfc0cd5c39cf1637a09a84330364f9c","datavalue":{"value":"13H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2518164$7C0EC620-BD54-4A3D-8643-340F895A0539","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ae2e14b8a58628094a99879395451ce0f7f0969","datavalue":{"value":"5492443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2518164$86FAF547-2B90-40F4-A44C-2CD058C5DB97","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2eb03a246e593ca397ab8cac3a9ee16f8e7a507","datavalue":{"value":"regular local rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2518164$B4D83D62-37BE-4101-A082-77D373D04854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e502df90c085e68648f937e0f21aba611c3a85d8","datavalue":{"value":"tight closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2518164$45921EB9-7D55-47C4-A262-372747514384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b03c33ddbdc66136df91096805ccc214be59111","datavalue":{"value":"test element","type":"string"},"datatype":"string"},"type":"statement","id":"Q2518164$1B00E012-B86D-49DC-AF9F-96EAE0D28A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c721644275ec1ccbe6c94021e2ea776435f99dda","datavalue":{"value":"stably phantom homology","type":"string"},"datatype":"string"},"type":"statement","id":"Q2518164$12E4C35D-1AA9-4810-8870-F0D8DC1FA614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1edef37fe43210cf7c8b6a0582afa96346aba963","datavalue":{"value":"absolute integral closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q2518164$AE748095-ED7E-446F-88E3-0DFBE1A9EBC4","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":"Q2518164$BABB1561-14D0-455A-831D-A1A264DE4759","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb2d153368112f27f13a596d5d32adde3932b839","datavalue":{"value":"10.4310/MRL.2008.V15.N4.A17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2518164$3675B206-FA7C-48BC-AC79-98B3FA1DF76E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0397ef68564087fdc6d4bff76efb8ba0a8712733","datavalue":{"value":{"entity-type":"item","numeric-id":1883028,"id":"Q1883028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"014ee3fed9fbe0069fc9b44369c13c85507b1463","datavalue":{"value":{"amount":"+0.69083595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2518164$FB031CEE-709B-4A39-827D-C55BBAB36989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38a207a7bead8989a5d36711ac59f2b87b0b210a","datavalue":{"value":{"entity-type":"item","numeric-id":5113392,"id":"Q5113392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b59dfa86dcfc45931f880db045866ec5c26b4a4","datavalue":{"value":{"amount":"+0.6834988","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2518164$55853DD5-BBC9-4F93-B32B-AB28C7A4A215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a202a797ca5bc492eb2845bee34ed57cc882f693","datavalue":{"value":{"entity-type":"item","numeric-id":3887573,"id":"Q3887573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afc6c0a1bd0cb10bebbec7f90f520aae4b22fe56","datavalue":{"value":{"amount":"+0.6739211","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2518164$8BEA9C4B-03F3-4009-94EC-EEF02B5EDEBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8527da275e3a61c91258d335be20fb69f2347443","datavalue":{"value":{"entity-type":"item","numeric-id":2520555,"id":"Q2520555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e973b43f922b73f953601087e4721231031787d3","datavalue":{"value":{"amount":"+0.66573906","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2518164$CCBDD543-3642-45D9-8CEC-4038524D1566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14ea4be679c6a96259d5b38f571a9e7f32629307","datavalue":{"value":{"entity-type":"item","numeric-id":4819709,"id":"Q4819709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9597514c0ab3a722a2af42352b4598d4d0fd62b3","datavalue":{"value":{"amount":"+0.6654925","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2518164$CE8E31CF-531C-4736-BF01-C8E1CE8A2FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfd638099ff78bd37d751387f53ee00e7e18ad8a","datavalue":{"value":{"entity-type":"item","numeric-id":1355545,"id":"Q1355545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf03353c21891785927ef6e02cb25d59a4f1ec44","datavalue":{"value":{"amount":"+0.6611814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2518164$B1CD6F55-34FE-4709-824C-074C876A252B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fc3d113b72efef8df52dcefdb44f2825341afbe","datavalue":{"value":{"entity-type":"item","numeric-id":4292702,"id":"Q4292702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dda07fcde439f96b8093f067184d5fa330f8b9c","datavalue":{"value":{"amount":"+0.65097386","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2518164$6E74DAF1-C5C0-42C6-8CFB-6FA41180470D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4203479cd7495f368439079dfbaf6d0dab3d346b","datavalue":{"value":{"entity-type":"item","numeric-id":5096647,"id":"Q5096647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21c0c25e1666960fd3e373fef090a2212de45df1","datavalue":{"value":{"amount":"+0.6486471","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2518164$A3BFC8D4-A210-47F3-BB70-4FA8F846876B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b7ff5ed9788fbd2167e3ad75c8ff3b704e253a4","datavalue":{"value":{"entity-type":"item","numeric-id":3973359,"id":"Q3973359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"294fb046a8c322834ef17b72aa49f2e230194b3f","datavalue":{"value":{"amount":"+0.6452387","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2518164$DE3FCD17-B93B-4CEB-A9EB-AD66792BF9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfaff1c7db7efb6704ee82911a9ed4c8001b8a13","datavalue":{"value":{"entity-type":"item","numeric-id":2275730,"id":"Q2275730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d77cde4c8f64f2ae841c2a9b7922a469dd0551fc","datavalue":{"value":{"amount":"+0.6437783","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2518164$7439A3BB-A696-46EC-A378-7DAD3EE7809A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Asymptotic vanishing conditions which force regularity in local rings of prime characteristic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Asymptotic_vanishing_conditions_which_force_regularity_in_local_rings_of_prime_characteristic"}}}}}