{"entities":{"Q403341":{"pageid":405108,"ns":120,"title":"Item:Q403341","lastrevid":61629765,"modified":"2026-04-11T00:35:08Z","type":"item","id":"Q403341","labels":{"en":{"language":"en","value":"Computing Hasse-Schmidt derivations and Weil restrictions over jets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6335949"}},"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":"Q403341$235D0DDD-E7EF-4E25-B591-CAC3337AF3CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c2237297bbce1178d89a729bc36121ed948a270d","datavalue":{"value":{"text":"Computing Hasse-Schmidt derivations and Weil restrictions over jets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q403341$E2E03B5B-19BD-41F3-89DC-933B36BE62A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6a4fc1265025dae3b83dd9776c9fde80c2ae8fd","datavalue":{"value":"1311.14002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403341$AF0B482B-3FAF-4B9C-94B0-51DD53132ADD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bf9ca72e8f72c89f3459147b4ced7c6278ed4d7","datavalue":{"value":{"entity-type":"item","numeric-id":403340,"id":"Q403340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403341$7A42EAF6-4EA8-40C8-B9D0-C46DF3D60AE8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403341$E340E868-AAE7-4AE1-A6C2-B791E96BA5BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"163bad71d2d58b992a56c87b8eddb84d83e1a225","datavalue":{"value":{"time":"+2014-08-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":"Q403341$3E104943-2EB7-4222-9277-B60806EB214B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"db6f85358dbb1590e5680debb3bac07f9a0ef5f0","datavalue":{"value":{"entity-type":"item","numeric-id":590529,"id":"Q590529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403341$C8C5A443-76A7-4D78-9625-7D6B24E1251C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aeaa44c2e834cb1990f4a8778263cbd6a8f762b8","datavalue":{"value":"14A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403341$8A04207F-7F8E-4EE8-885D-24B3210AF257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fb218609bb348fdd327631b73dea60728afa1930","datavalue":{"value":"13N10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403341$73CBF7E4-A47F-44EB-AD84-D27B70334A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65fe61b53c716e07fc81260ef24c28e878864d4","datavalue":{"value":"13F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403341$EF38D222-79D5-4CCD-AB71-563DFC2CCDD1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4647ca6a48995325e640ef7363360989f9dce783","datavalue":{"value":"6335949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403341$47E01AD8-6D54-4012-9E62-9117F40259C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7449828101868cd483770c0c45870baeea9e179d","datavalue":{"value":"Weil restriction","type":"string"},"datatype":"string"},"type":"statement","id":"Q403341$B0CBD118-3326-4689-AAFC-C5196B91A8EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87aaa03cd527fec671ee46602d4a94f1128a5974","datavalue":{"value":"Fitting ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q403341$B8C81E6A-041C-4925-B2C4-2DBF46E20BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08e6797def6e5f6e4c2a4881436b6d1ad1e4665f","datavalue":{"value":"Hasse-Schmidt derivations","type":"string"},"datatype":"string"},"type":"statement","id":"Q403341$E4BCB3BF-41D3-49E3-B049-74D54B0A672A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85f56e808b9408fe31049a7beefad82740c69026","datavalue":{"value":"jets","type":"string"},"datatype":"string"},"type":"statement","id":"Q403341$9CDC5405-26E2-4408-BBE6-40B4428223D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"565e30b1ff7ea90b87ddf5045167658ee7dd82b0","datavalue":{"value":"localization conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q403341$8BF8BA49-CF94-484E-8BF7-D40D3D5AC5CE","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":"Q403341$B262CDCD-0048-4305-9244-7CD5E8A3FC2F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6ce4c66fbf5c34985424690e8de0f949b6f0b844","datavalue":{"value":"https://doi.org/10.1016/j.jalgebra.2014.03.045","type":"string"},"datatype":"url"},"type":"statement","id":"Q403341$1D535E09-AF86-4569-AD59-3EEF19480468","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be03e43a04787fdd3e7599fc0bb046b6441cd7a9","datavalue":{"value":"W2078104588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403341$C3003495-3D95-49CE-94F4-21E4D3386DB0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"324e70e51e05aede1fce24619c36d58b57da7e98","datavalue":{"value":{"entity-type":"item","numeric-id":5642654,"id":"Q5642654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403341$91F64F4D-8540-46B1-A507-3FBDC83709EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21c29d3090f75db2845105d6dbcbd97c7eb50c21","datavalue":{"value":{"entity-type":"item","numeric-id":3996413,"id":"Q3996413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403341$E5DBD978-CD79-4008-B8D9-100D04379CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4fe1a6fc2af3fc5edbd50164dd278250d6144fb","datavalue":{"value":{"entity-type":"item","numeric-id":1398172,"id":"Q1398172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403341$56F3474D-F7F7-4BDC-ADAB-4908286A8C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46ddcc204209f625193d72073394c462e5192c79","datavalue":{"value":{"entity-type":"item","numeric-id":3739243,"id":"Q3739243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403341$00731828-BD75-40A8-8CD3-0EC3EFA7E827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4ec86efcf4186f3baa753556c2f77022664997","datavalue":{"value":{"entity-type":"item","numeric-id":2500444,"id":"Q2500444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403341$9EF4B6E3-6779-427F-A425-9839C68754E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1f3a223a128b2e174328b111187e4413ac3d200","datavalue":{"value":{"entity-type":"item","numeric-id":1086635,"id":"Q1086635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403341$C511D908-C842-40FC-9487-8106463B067B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fc624364c0a0720e39eb5618e12372992bdc6f7","datavalue":{"value":{"entity-type":"item","numeric-id":2794760,"id":"Q2794760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403341$EDF02B3D-55CF-4B4C-BEF0-07E5C337392B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c995bea0d05ce94d6a0cffe811e2779c56fa53bd","datavalue":{"value":{"entity-type":"item","numeric-id":4431209,"id":"Q4431209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403341$B932BEB0-087C-4E95-81F8-13A32F0D80FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d38e245e9dc8b0fc12c81121c7c23e8c990e3b32","datavalue":{"value":{"entity-type":"item","numeric-id":5457539,"id":"Q5457539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q403341$C88EC990-9BCE-4F56-8743-A4660FB007B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3f04948baa48d5eaa3bcdbbcde290751054c944","datavalue":{"value":"10.1016/J.JALGEBRA.2014.03.045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q403341$1DF7686A-D161-4439-9307-55FF2717104D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fe9538b90f19f682102d0edfab975a881437aa76","datavalue":{"value":"An explicit and compact description of the Hasse-Schmidt derivations in terms of Fitting ideals and symmetric tensor algebras is given. The localization conjecture from [\\textit{W. N. Traves}, Can. Math. Bull. 46, No. 2, 304--309 (2003; Zbl 1096.13528)] is proven.NEWLINENEWLINELet \\(R\\) and \\(A'\\) be two commutative algebras over a ring \\(A\\). Let \\(n\\) be a non-negative integer and let \\(E_n=A[t]/(t^{n+1})\\). A Hasse-Schmidt derivation of order \\(n\\) from \\(R\\) to \\(A'\\) can be defined as a homomorphism of \\(A\\)-algebras \\(R\\to E_n \\otimes_A A'\\). The functor of the Hasse-Schmidt derivations of order \\(n\\) defined by \\(\\mathrm{Der}^n_{R/A}(-): A'\\mapsto \\mathrm{Hom}_A(R, E_n\\otimes_A A')\\) is representable, i. e., there exist an \\(A\\)-algebra \\(\\mathrm{HS}^n_{R/A}\\) and an isomorphism of functors \\(\\mathrm{Hom}_A(\\mathrm{HS}^n_{R/A}, -)\\) and \\(\\mathrm{Der}^n_{R/A}(-)\\). The author gives a description of \\(\\mathrm{HS}^n_{R/A}\\) as a quotient ring of a polynomial ring with coefficients in \\(\\mathrm{HS}^{n-1}_{R/A}\\).NEWLINENEWLINEOne has also the functor of Hasse-Schmidt derivations \\(\\mathrm{HS}^{\\infty}_{R/A}(-): A'\\mapsto \\mathrm{Hom}_A(R, A'[[t]])\\), where \\(A'[[t]]\\) denotes the ring of formal power series in \\(t\\) with coefficients in \\(A'\\). It is demonstrated in the paper that \\(\\mathrm{HS}^{\\infty}_{R/A}(-)\\) is representable, its representing object is the direct limit \\(\\lim_{n\\to\\infty} \\mathrm{HS}^{n}_{R/A}\\) taken with respect to the natural maps \\(\\mathrm{HS}^{n}_{R/A}\\to \\mathrm{HS}^{n+1}_{R/A}\\) induced by the truncation homomorphisms \\(E_{n+1}\\to E_n\\).NEWLINENEWLINEFor a homomorphism of \\(A\\)-algebras \\(E_n\\to R\\), the Weil restriction functor \\(\\mathfrak{R}_{E_n/A}(R)(-)\\) is defined by \\(A'\\mapsto \\mathrm{Hom}_{E_n}(R, E_n\\otimes_A A')\\). In this case \\(R\\) is an \\(E_n\\)-algebra, so one can represent \\(R\\) as a quotient \\((S_A(V)\\otimes_A E_n)/ I\\), where \\(S_A(V)\\) is the symmetric algebra over an \\(A\\)-module \\(V\\). Then the functor \\(\\mathfrak{R}_{E_n/A}(R)(-)\\) is representable, its representing object \\(R_{E_n/A}(R)\\) is described as a quotient ring of \\(S_A(V\\otimes_A E_n^*)\\).NEWLINENEWLINEThe author verifies the localization conjecture from [Zbl 1096.13528], i. e., he shows that \\(\\mathrm{HS}^n_{S^{-1}R/A}=\\mathrm{HS}^n_{R/A}\\otimes_R S^{-1} R\\) and \\(\\mathrm{HS}^{\\infty}_{S^{-1}R/A}=\\mathrm{HS}^{\\infty}_{R/A}\\otimes_R S^{-1} R\\) for an arbitrary multiplicative set \\(S\\subseteq R\\).NEWLINENEWLINEThe paper under review consists of four sections. Section~1 is an introduction, a short review of the paper is given here. Section~2 provides a description of \\(\\mathrm{HS}^n_{R/A}\\) as a quotient ring of a polynomial ring with coefficients in \\(\\mathrm{HS}^{n-1}_{R/A}\\). In Section~3 a description of the representing object of \\(\\mathfrak{R}_{E_n/A}(R)(-)\\) is given. In Section 4 the localization conjecture is verified.","type":"string"},"datatype":"string"},"type":"statement","id":"Q403341$95161861-252C-4BD4-A71A-90EAF0FDAC27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86588552ad6387043d43d44fee80aed626febabc","datavalue":{"value":{"entity-type":"item","numeric-id":4431209,"id":"Q4431209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a681af835009dc3dbed801d7eeb843e2a3d34e7","datavalue":{"value":{"amount":"+0.8261377811431885","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":"Q403341$9B408201-8DB5-49F6-8FD3-22B9132F660F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb753751172c74dde7d4c709a41975986a5d1ee3","datavalue":{"value":{"entity-type":"item","numeric-id":1398172,"id":"Q1398172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af64f1b345603bb5bb4aa516e7b50e06a44138b1","datavalue":{"value":{"amount":"+0.7778136730194092","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":"Q403341$8F5D7533-3637-407C-8562-DE793E420526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b92779b82548df65d2df26538589d91573a0be43","datavalue":{"value":{"entity-type":"item","numeric-id":5457539,"id":"Q5457539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"038886228a59aafc1f0022266e29da798fcaf7f2","datavalue":{"value":{"amount":"+0.776335597038269","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":"Q403341$7878C43A-1C21-4E69-8159-FDC2C278E685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a530f95f3ec0672ae4f3f315b7ecfd9eb571e8c","datavalue":{"value":{"entity-type":"item","numeric-id":2189504,"id":"Q2189504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2611e323117192d062b88934304b2ed51c964664","datavalue":{"value":{"amount":"+0.7752048969268799","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":"Q403341$DBCAAD8C-08DC-475B-848C-B5FE4FD989FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f99353a127a5c0500cf5f21c354393c914cacdf5","datavalue":{"value":{"entity-type":"item","numeric-id":1570356,"id":"Q1570356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"173bc6f9852393565db9872be0fa84adbbbfe19b","datavalue":{"value":{"amount":"+0.7680383324623108","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":"Q403341$4C6D8046-89FA-4E84-8F8B-C21B096EACD2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computing Hasse-Schmidt derivations and Weil restrictions over jets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computing_Hasse-Schmidt_derivations_and_Weil_restrictions_over_jets"}}}}}