{"@context":["https://w3id.org/fdo/context/v1",{"schema":"https://schema.org/","prov":"http://www.w3.org/ns/prov#","fdo":"https://w3id.org/fdo/vocabulary/"}],"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q970208","@type":"DigitalObject","kernel":{"@id":"https://fdo.portal.mardi4nfdi.de/fdo/Q970208","digitalObjectType":"https://schema.org/ScholarlyArticle","primaryIdentifier":"mardi:Q970208","kernelVersion":"v1","immutable":true,"modified":"2026-01-16T01:29:22Z"},"profile":{"@context":"https://schema.org","@type":"ScholarlyArticle","@id":"https://portal.mardi4nfdi.de/entity/Q970208","name":"Rigidity for henselian local rings and \\(\\mathbb{A}^1\\)-representable theories","headline":"Rigidity for henselian local rings and \\(\\mathbb{A}^1\\)-representable theories","description":"scientific article; zbMATH DE number 5706074","url":"https://portal.mardi4nfdi.de/entity/Q970208","datePublished":"2010-05-10","author":[{"@id":"https://portal.mardi4nfdi.de/entity/Q357698"},{"@id":"https://portal.mardi4nfdi.de/entity/Q491958"}],"publisher":[{"@id":"https://portal.mardi4nfdi.de/entity/Q163114"}],"identifier":{"@type":"PropertyValue","propertyID":"doi","value":"10.1007/S00209-006-0049-4","url":"https://doi.org/10.1007/S00209-006-0049-4"},"sameAs":["https://doi.org/10.1007/S00209-006-0049-4"],"comment":"Let \\(R\\) be a henselian local ring essentially smooth over an infinite field \\(k\\). Assume that \\(E=E^{**}\\) is a contravariant bigraded functor on the category \\(S\\) of smooth schemes of finite type over \\(k\\), \\(E:S\\rightarrow \\mathbf{Ab}\\), that is representable in the stable \\({\\mathbb A}^1\\)-homotopy theory and satisfies \\( lE=0\\) for \\( l\\in {\\mathbb Z}\\) invertible in \\(R\\). Assume that \\(E\\) is so called normalized with respect to the fraction field of \\(R\\). Let \\(f:M\\rightarrow \\mathrm{Spec } R\\) be a smooth affine morphism of (pure) relative dimension \\(d\\) and \\(s_0,s_1:\\mathrm{Spec } R \\rightarrow M\\) two sections of \\(f\\) such that \\(s_0(P)=s_1(P)\\), where \\(P\\) is the closed point of \\(\\mathrm{Spec } R\\). Then the induced maps \\(s_i^*:E(M)\\rightarrow E(\\mathrm{Spec }R)\\), \\(i=1,2\\) are equal. This is a rigidity theorem, which extends the results of \\textit{I. Panin} and the second author [J. Pure Appl. Algebra 172, No. 1, 49--77 (2002; Zbl 1056.14027)] obtained for an algebraically closed field \\(k\\) and it is similar to the rigidity theorem of \\textit{O. Gabber} [Contemp. Math. 126, 59--70 (1992; Zbl 0791.19002)] obtained for algebraic \\(K\\)-theory.","citation":[{"@id":"https://portal.mardi4nfdi.de/entity/Q5929728"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4357476"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4010222"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1065875"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1771813"},{"@id":"https://portal.mardi4nfdi.de/entity/Q788101"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1586185"},{"@id":"https://portal.mardi4nfdi.de/entity/Q801029"},{"@id":"https://portal.mardi4nfdi.de/entity/Q2537332"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4530238"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3871006"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4681880"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1612134"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4043211"},{"@id":"https://portal.mardi4nfdi.de/entity/Q3708857"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1051080"},{"@id":"https://portal.mardi4nfdi.de/entity/Q799733"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1911541"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1129863"},{"@id":"https://portal.mardi4nfdi.de/entity/Q4513078"},{"@id":"https://portal.mardi4nfdi.de/entity/Q1875709"}]},"provenance":{"prov:generatedAtTime":"2026-01-16T01:29:22Z","prov:wasAttributedTo":"MaRDI Knowledge Graph"}}