{"entities":{"Q1813505":{"pageid":1824247,"ns":120,"title":"Item:Q1813505","lastrevid":69026010,"modified":"2026-04-13T03:48:50Z","type":"item","id":"Q1813505","labels":{"en":{"language":"en","value":"Calculus. I: The first derivative of pseudoisotopy theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6530"}},"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":"Q1813505$E8A91B96-0492-461E-A915-B5466FDDAE24","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1fd5162367cb7d9258a83dc8bc95a6fd840a67f","datavalue":{"value":{"text":"Calculus. I: The first derivative of pseudoisotopy theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1813505$473F7262-1746-46C6-BE2F-27B5439F9F4F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e478ae1b360bcb93c9326f90ff53175dc080991","datavalue":{"value":"0741.57021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813505$69FA0063-D295-4247-BE49-EBEEC2B4EE64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7386583eada9792186ce01a19c8b0775deb9b4ff","datavalue":{"value":"10.1007/BF00534191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813505$88188F8F-B4AA-477B-8E71-10DB6BF1CFEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0da777c405049aad93bd63a679157a6e558f515","datavalue":{"value":{"entity-type":"item","numeric-id":436193,"id":"Q436193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813505$6BC33680-199A-4A09-9AC0-30E0264B3DF1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4fd8d30a01f0e4f960db804210ae144d972127d","datavalue":{"value":{"entity-type":"item","numeric-id":184992,"id":"Q184992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813505$88E09289-7284-4F61-AD53-6B7DEEB0EB5C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1813505$79849136-9B2F-4642-9223-4DC9076B3179","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e11c05e9689953cfffc741702d7167fc69ea944b","datavalue":{"value":"A \\(k\\)-connected map \\(Y\\to X\\) of manifolds induces a \\((k-2)\\)-connected map \\({\\mathcal P}(Y)\\to {\\mathcal P}(X)\\) of the associated stable smooth pseudoisotopy spaces. The main result of the paper describes the \\((2k- 3)\\)-homotopy type of \\(fiber({\\mathcal P}(Y)\\to {\\mathcal P}(X))\\). Let \\(\\Lambda(X)=Maps(S^ 1,X)\\) denote the free loop space and \\(\\Lambda(Y\\to X)=Y\\times_ X\\Lambda(X)\\). The inclusion of constant loops \\(X\\to\\Lambda(X)\\) induces an inclusion \\(Y\\to \\Lambda(Y\\to X)\\). The \\((2k- 3)\\)-homotopy type of \\(fiber({\\mathcal P}(Y)\\to{\\mathcal P}(X))\\) is the same as that one of \\(fiber(\\Omega^ 2Q(\\Lambda(Y\\to X)/Y)\\to \\Omega^ 2Q(\\Lambda(X)/X))\\) with \\(Q=\\Omega^ \\infty\\Sigma^ \\infty\\). As a corollary the author determines the \\((2k-3)\\)-homotopy type of \\(fiber(A(Y)\\to A(X))\\), Waldhausen's relative \\(K\\)-theory of topological spaces. Using the theory of calculus of functors the proof reduces to a geometric analysis of the map \\(P(N)\\to P(M)\\) of the unstable pseudoisotopy spaces induced by the inclusion \\(N\\subset M\\), where \\(M\\) is obtained from \\(N\\) by attaching a handle. The calculus of functors, developed by the author in the past decade, is a theory particularly suited for stable range calculations and has had remarkable applications. The paper starts with a concise treatment of the differentiation and the derivative of homotopy functors (higher derivatives and the powerful theory of analytic functors are deferred to a later paper). The derivative of \\(X\\mapsto Q(Map(K,X)_ +)\\), \\(K\\) a finite complex, is determined in Section 2. This example is of special interest in view of the connection of \\(Map(S^ 1,X)\\) to algebraic \\(K\\)-theory. The main result is phrased as calculation of the derivative of the functor \\(X\\mapsto {\\mathcal P}(X)\\), which determines the \\((2k-3)\\)-homotopy type of \\(fiber({\\mathcal P}(Y)\\to {\\mathcal P}(X))\\). Its proof constitutes Section 3.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813505$DE25BD57-89B1-4CCA-B3D9-500222F794F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"750779bba823b5f66653e8d43b3f58a8e7607799","datavalue":{"value":"57R52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813505$386AD643-0375-4469-986B-2699536EE777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b6201e1b7e8677a8e029bc5ba7300656cbb6afcb","datavalue":{"value":"19D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813505$EB4DDBAD-A3E2-436D-A845-73C261F72364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"275395ed210393c692454928d7c13c631ebc83c6","datavalue":{"value":"55P65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813505$AACCE271-9AEC-497F-A7EA-57956DD1C500","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"805c0255c49d3aa94bac38c467a0fbcaf9a3e6c1","datavalue":{"value":"6530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813505$1042DCCC-0041-439C-ABA2-CFA87E4F5B5C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90b2b711a1bb7cef888edda60d4182b6591c4fc7","datavalue":{"value":"differentiation and derivative of homotopy functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813505$022163EE-65C2-4B02-89B5-B693AC5F938B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15204056000e527b93684c3bf8502adcd2043412","datavalue":{"value":"stable smooth pseudoisotopy spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813505$C61DBE8D-D144-4BCF-BA46-AD3968D85453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ee823d889b05377108ad4754fbd7900c3ddd05","datavalue":{"value":"free loop space","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813505$C23F7CDE-92D3-438F-98F8-C05A0A984A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27b8ff2ee789b87dc062122fa3b8b25982dc2d0b","datavalue":{"value":"Waldhausen's relative \\(K\\)-theory of topological spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813505$ED65CF8D-13D5-464F-82B3-34070E2BE82B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a8c3595bd49b9047c7c9180a6412a7b38f3a888","datavalue":{"value":"calculus of functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813505$E4C8EFD2-A7ED-4526-A161-EB6C708E0F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab097c99de0337f4ffb7b3e3fbb22c61ec169a11","datavalue":{"value":"unstable pseudoisotopy spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813505$B07F55CB-7F03-4295-BA34-6B481D2DB1EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940e14b4539980f1d093beb2d1af4397c4dfcfcf","datavalue":{"value":"attaching a handle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813505$996B22ED-472E-4775-8DD3-DC27AAA4844E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8611d46c332329bd70d4eb7cd560061e8bf21bb9","datavalue":{"value":"algebraic \\(K\\)-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1813505$70A79D8C-6FD9-4E9C-95D5-5380511F3B1B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"37e56e01762594b88bb0c896953a034ba0518800","datavalue":{"value":{"entity-type":"item","numeric-id":276569,"id":"Q276569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813505$A71EDCB0-3DB4-497E-941F-771ECF170C46","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":"Q1813505$16E5EF1E-8A72-42F5-8802-9D2E43B2F4DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb59eb9944ce8d4d551cb0335492e66377b829d2","datavalue":{"value":{"entity-type":"item","numeric-id":2559986,"id":"Q2559986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813505$6BEF9785-6017-4654-9647-9927C447595F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bddbe2ab7a1b518b3182d9db9b39c9a16360ea3f","datavalue":{"value":{"entity-type":"item","numeric-id":1218212,"id":"Q1218212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813505$E00F74C3-4902-437F-936C-501F55C69F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cd5b740b088bf61288607c5459884d27b647baf","datavalue":{"value":{"entity-type":"item","numeric-id":5748594,"id":"Q5748594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813505$0EEB239E-EF0C-4E96-B527-0C0297815F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95868646da36c50c651eae7f364c17577b2dc574","datavalue":{"value":{"entity-type":"item","numeric-id":1187972,"id":"Q1187972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813505$A3042D5E-0C13-4159-8BBA-6DB33533F8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46e5dc5fd92fa65da1964a268b1d3295e3a32826","datavalue":{"value":{"entity-type":"item","numeric-id":5651926,"id":"Q5651926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813505$D14832D7-F62D-4EB5-8761-0710EB0936A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be366a2ebd296ed7a01f2808a05bea4708fffd93","datavalue":{"value":{"entity-type":"item","numeric-id":582638,"id":"Q582638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813505$543A6E9A-F040-482B-B7D3-2D25C97542F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d97266c04f3a8eb376ab7cbc0111b75a14fc08b4","datavalue":{"value":{"entity-type":"item","numeric-id":3048986,"id":"Q3048986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813505$4B20E86D-E399-4208-8E19-17C72B3C0169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ea0855e0413b6c9f796c11d9cba67e849dc085b","datavalue":{"value":{"entity-type":"item","numeric-id":3727006,"id":"Q3727006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813505$BA425F1E-F377-45FB-812B-BC850D607127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f31b902fe975751f1f4e96ebcc579d2972f8b347","datavalue":{"value":{"entity-type":"item","numeric-id":3490176,"id":"Q3490176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813505$F69ACD25-F5BD-4ABB-AE33-7F3F03FE37F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4e52ec1ffdeedd05f69f1bab2f71cb963ac6e2","datavalue":{"value":{"entity-type":"item","numeric-id":5328642,"id":"Q5328642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1813505$AA8CECB2-3153-4F1E-921A-CE19AFD64431","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09aeb9627942faef37b5da97b849f2cef0def3a9","datavalue":{"value":"https://doi.org/10.1007/bf00534191","type":"string"},"datatype":"url"},"type":"statement","id":"Q1813505$8DB2475A-3C8F-4CF8-B65A-0CDBDD021BB1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e5bf91712055ef6f952a74a071db137cae013330","datavalue":{"value":"W1976272164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1813505$102FF483-EF5B-40CD-B494-276E983C2372","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef80327234d4b74566166ab007094edd32f65bef","datavalue":{"value":{"entity-type":"item","numeric-id":1428386,"id":"Q1428386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4da42088cea16bad83c112250d772ec7655b6a81","datavalue":{"value":{"amount":"+0.8080549240112305","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":"Q1813505$590CA3C8-8B3A-4F0A-AB22-B4DC93F92584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4628845800a6f159ee66cd2e272fcece3ba99a6","datavalue":{"value":{"entity-type":"item","numeric-id":1770323,"id":"Q1770323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12ed095aa705ca38fe04d7767c8fd822b4dc6de9","datavalue":{"value":{"amount":"+0.793454647064209","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":"Q1813505$A35C3FA5-0D44-4FE9-A917-943315C0118E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c30c983bdd9c372288e6131d8f72979180b782ac","datavalue":{"value":{"entity-type":"item","numeric-id":1187972,"id":"Q1187972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c71af2535836234980d1272083ba049761683764","datavalue":{"value":{"amount":"+0.7921814918518066","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":"Q1813505$C55FEBDB-90DF-411F-B80D-B13FDF43C42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf52eeb5cdfb5295a00921ec37a4904a46ea42b0","datavalue":{"value":{"entity-type":"item","numeric-id":582638,"id":"Q582638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d52e8520ada921e9b3fe730793ac83396a119faa","datavalue":{"value":{"amount":"+0.7780857682228088","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":"Q1813505$57681025-0F18-43BB-B554-6F824F485A85","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Calculus. I: The first derivative of pseudoisotopy theory","badges":[]}}}}}