{"entities":{"Q2133390":{"pageid":2144133,"ns":120,"title":"Item:Q2133390","lastrevid":57752553,"modified":"2026-04-01T06:56:09Z","type":"item","id":"Q2133390","labels":{"en":{"language":"en","value":"Frobenius-Witt differentials and regularity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7516273"}},"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":"Q2133390$A61FDA31-E324-4594-A69D-A16AF06BFD77","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"859ddaea7bdbeb348e46d0d233e4b31c05fa13ac","datavalue":{"value":{"text":"Frobenius-Witt differentials and regularity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2133390$6222752B-15DB-43C5-996B-2C5056E1A381","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9e9a3e11c341a3e7e7afc6cb16e63792b62d869","datavalue":{"value":"1491.13031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133390$C579E5C3-C115-4354-8AC3-BF5F29DF5E25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ce738976ed45729b8a79152ac35aee57637b1b8","datavalue":{"value":{"entity-type":"item","numeric-id":237186,"id":"Q237186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133390$E17080B3-34F8-4DA1-B36E-A1B414641D38","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3867057a7d0226a86475a68a428f5c0a32f79af8","datavalue":{"value":{"entity-type":"item","numeric-id":246406,"id":"Q246406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133390$D33A966B-5F0A-4199-A78A-61C18BD7EFC4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c80bdea672e4cd14dd9cbe0c46e1f9abbfc09a66","datavalue":{"value":{"time":"+2022-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":"Q2133390$E92F9A0F-4D34-4817-95BD-3546A2293397","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8f7853753ef39913d3255e78a9863f909aa14e1","datavalue":{"value":"https://arxiv.org/abs/2008.04728","type":"string"},"datatype":"url"},"type":"statement","id":"Q2133390$5353D293-274E-45A0-BA0D-7B61E73C8B5F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7efbab12efcc8ddbb9463d1a1392ed8ff300439a","datavalue":{"value":"In [J. Algebra 524, 110--123 (2019; Zbl 1408.13054)], the authors introduced the module of total \\(p\\)-differentials for a ring over \\(\\mathbb{Z}/p^{2}\\). The paper under review studies a similar construction for a ring over \\(\\mathbb{Z}_{(p)}\\). Given a (commutative) ring \\(R\\), an \\(R\\)-module \\(M\\) and a prime number \\(p\\), the paper defines a Frobenius-Witt derivation (or a FW-derivation) from \\(A\\) to \\(M\\) as a mapping \\(w:A\\rightarrow M\\) such that \\(w(a+b) = w(a) + w(b) - P(a, b)w(p)\\) and \\(w(ab) = b^{p}w(a)+a^{p}w(b)\\) where \\(P = \\sum_{i=1}^{p-1}{\\frac{(p-1)!}{i!(p-i)!}}X^{i}Y^{p-i}\\in\\mathbb{Z}[X, Y]\\). It is shown that there exists a universal pair of an \\(A\\)-module \\(F\\Omega_{A}^{1}\\) and an FW-derivation \\(w:A\\rightarrow F\\Omega_{A}^{1}\\) called the \\textit{module of} FW-\\textit{differentials} of \\(A\\) and the \\textit{universal} FW-\\textit{derivation}, respectively. The main result of the paper under review is a proof of a regularity criterion in this case. It says that under a suitable finitness condition, a Noetherian local ring \\(A\\) with residue field \\(k\\) of characteristic \\(p\\) is regular if and only if the \\(A/pA\\)-module of FW-differentials \\(F\\Omega_{A}^{1}\\) is free of rank \\(d+r\\) where \\(d = \\dim A\\) and \\([k:k^{p}] = p^{r}\\). The construction of \\(F\\Omega_{A}^{1}\\) is sheafified and the author obtains a sheaf of FW-differentials \\(F\\Omega_{X}^{1}\\) on a scheme \\(X\\). It is used in [\\textit{T. Saito}, Algebra Number Theory 16, No. 2, 335--368 (2022; Zbl 07516272)] to define the cotangent bundle and the microsupport of an \u00e9tale sheaf in mixed characteristic. The last part of the paper under review studies the relation of \\(F\\Omega_{X}^{1}\\) with \\(\\mathcal{H}_{1}\\) of cotangent complexes.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133390$50C6569C-77DC-4B74-BE91-906CCC62F996","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"97db24179cfc0cd5c39cf1637a09a84330364f9c","datavalue":{"value":"13H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133390$3E9B783E-E334-4BE7-A630-B09375F97526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f9ef5afec6c5b57dc4f2388ca0bfb9b4eb626668","datavalue":{"value":"13N05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133390$3B9A4909-177F-4941-9483-EE075566802E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7879e42e20b29db9c334897fbdfacb3091816904","datavalue":{"value":"14F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133390$2E511036-1D3F-49D6-BB3C-6274ABAF1506","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83e1c7c4941f61b1066cbbdce843ae958aee331e","datavalue":{"value":"7516273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133390$8B8980CB-AFBC-4691-91A7-795FBF0A598E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"615b7d45eacba2fe3f1108f4060dbd5774abd041","datavalue":{"value":"Frobenius-Witt differentials","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133390$9DC34592-3F30-4F2C-9F42-C2972AFC22AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2eb03a246e593ca397ab8cac3a9ee16f8e7a507","datavalue":{"value":"regular local rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133390$D4CE0809-DEBD-43C7-B137-DED91A46B0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baade27ddb55c9bb8abffcd3565dbd364c5af1fd","datavalue":{"value":"cotangent complexes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2133390$6A1724F2-8FAF-4399-9879-DF106E703139","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"100aaa2fd0f9708702c5bfbb00416f92df66e458","datavalue":{"value":{"entity-type":"item","numeric-id":233260,"id":"Q233260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133390$07EFC619-C04C-40AD-BDB6-AB48B60B4D80","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":"Q2133390$DEA23EA4-0EA4-488C-A8FE-13F06AB76F3A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"095035b530832060a793e31645c5efd9c85f345a","datavalue":{"value":"W3048579932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133390$B3BED643-7A3D-4B41-9CD7-88950E8DBDB5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7c5c38812242e2768a6a29305d6f9ff321f32d7","datavalue":{"value":{"entity-type":"item","numeric-id":5897538,"id":"Q5897538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133390$6E178602-D4E6-402D-AAF1-B093728CA1C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33f2f6a1dae42d00d3edea3d33fd1c97b8e74ac8","datavalue":{"value":{"entity-type":"item","numeric-id":1375983,"id":"Q1375983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133390$878AD8AA-FA43-4466-BC24-800AF0D9CAA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a2301ecf2dc9a1d423887778234892afb2d31c","datavalue":{"value":{"entity-type":"item","numeric-id":1727701,"id":"Q1727701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133390$561EB327-27E4-4EF4-A089-6B9CDBE96941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa5497ea717d844fbebe668891df72ea229a5172","datavalue":{"value":{"entity-type":"item","numeric-id":2521483,"id":"Q2521483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133390$25B0878B-B7F1-4A34-B7AF-888E745F462B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c14cff369e9131836bb8270a81abc6f8d73c4f","datavalue":{"value":{"entity-type":"item","numeric-id":2526291,"id":"Q2526291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133390$BEE4C110-A260-467B-93B6-16A41BB59A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2a30cb4058adbe4d53c706c70b41733d45d9c6e","datavalue":{"value":{"entity-type":"item","numeric-id":1406603,"id":"Q1406603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133390$8FDCB32B-699B-474A-9F00-99139D4E2F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5231b2f5df97bfdec7ee25a494d75a10fe2cad7b","datavalue":{"value":{"entity-type":"item","numeric-id":2548277,"id":"Q2548277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133390$AA72FC45-52D7-465D-A829-8ADB42DB3F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bd66dfbd1f171b153494acced0d8232120d901d","datavalue":{"value":{"entity-type":"item","numeric-id":2547245,"id":"Q2547245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133390$88296505-D622-42F5-8633-9E174A257EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dfa1600ee02d6eeb64c462920ba5e4491e7bd5d","datavalue":{"value":{"entity-type":"item","numeric-id":2945018,"id":"Q2945018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2133390$C825CA83-3FD7-494D-A970-74BE3572610C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91e36c844b0e3de4255974a3054cc7017732f621","datavalue":{"value":"10.2140/ANT.2022.16.369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2133390$802613AD-385D-42B3-ABB8-3D94D61392EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afe046764b6ef1536503cecc605c14109c3182fe","datavalue":{"value":{"entity-type":"item","numeric-id":674481,"id":"Q674481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b5357965defe0128aa1081c2bb2feef15bdaafb","datavalue":{"value":{"amount":"+0.682835","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":"Q2133390$FD94718F-B5EE-49C9-8792-BFCE88871E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6135bb7be02184cb3e5e5b1d0235c3ed8655e3f4","datavalue":{"value":{"entity-type":"item","numeric-id":1727701,"id":"Q1727701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"853d3c7bbc6d750900fe0b798d85ac6b30563fe3","datavalue":{"value":{"amount":"+0.6682709","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":"Q2133390$0E8BD90B-A218-44B5-9129-F212FF4377F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ce5d931f78828e145ba5962a5463e736b5a51ac","datavalue":{"value":{"entity-type":"item","numeric-id":1985539,"id":"Q1985539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32ad07136cfc46f4005ea424e20c90d0f90f9864","datavalue":{"value":{"amount":"+0.6543051","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":"Q2133390$BE3C624D-9E53-44C7-93FC-D8B72B5498C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f3de296d7ee6a20e1db9e1dd2afe40379f4f122","datavalue":{"value":{"entity-type":"item","numeric-id":3845421,"id":"Q3845421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a965a8ad39cb98e8c93b5c7be77d89f4f1f120a","datavalue":{"value":{"amount":"+0.6499677","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":"Q2133390$23D05046-3EB9-4CAF-BEC7-43F7A608B389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"550542c19dc6c78d70679a55933c119092e53f00","datavalue":{"value":{"entity-type":"item","numeric-id":3715240,"id":"Q3715240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d65eb45e2a6840d19f3cd39ca143a25a0e7cec50","datavalue":{"value":{"amount":"+0.64401686","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":"Q2133390$3C8087C2-745A-44AA-8E08-561E230ADF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2df8c623af8ca9989cc7458a5a72aa991240b117","datavalue":{"value":{"entity-type":"item","numeric-id":4934121,"id":"Q4934121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6680ced9c06c46d4efc4495d13e0e6da0005c40","datavalue":{"value":{"amount":"+0.64386934","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":"Q2133390$4DED35E3-B88C-4D7E-9D08-860975F583D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7214b981850e6de6a6b665e4ff7680525f09e77f","datavalue":{"value":{"entity-type":"item","numeric-id":4278763,"id":"Q4278763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83ab44331e6f0307c9fd28a904fe5fd0b756a048","datavalue":{"value":{"amount":"+0.64275885","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":"Q2133390$CB59FF08-1D60-4C5D-887E-6391879E9F41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49226fd8b047461b1068587e565b45f8359e7d7c","datavalue":{"value":{"entity-type":"item","numeric-id":2269645,"id":"Q2269645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9867687f4048ba3d62c3d73d46ef06fa72610e98","datavalue":{"value":{"amount":"+0.64005053","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":"Q2133390$353A04D1-DA9C-4FA7-AB7B-00B859FEFC69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a86e76e66c4e17ea02c4178877a09a0dab0d2b4b","datavalue":{"value":{"entity-type":"item","numeric-id":5214047,"id":"Q5214047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b30d9c5fccec030adaf3f0d3c3d5ffb1152ba6bd","datavalue":{"value":{"amount":"+0.63875926","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":"Q2133390$9C03FADD-4A8F-4835-B5BA-484BF0EE492A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6534a6c31e48df87f0613445e679c532930bd76","datavalue":{"value":{"entity-type":"item","numeric-id":1116988,"id":"Q1116988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17117c3499491733dd4bc6abec92dad0e902e8a6","datavalue":{"value":{"amount":"+0.63865125","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":"Q2133390$49CFE124-CC6D-4B05-B669-4B2F2868803C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2133390","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2133390"}}}}}