{"entities":{"Q1335165":{"pageid":1345904,"ns":120,"title":"Item:Q1335165","lastrevid":70170021,"modified":"2026-04-13T12:55:14Z","type":"item","id":"Q1335165","labels":{"en":{"language":"en","value":"Affine analog of the proper base change theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 645163"}},"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":"Q1335165$782FCF13-8BA9-4E80-8EF8-EA9FD60F8767","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc3fbd216d28703d59813aceedde7e1b7c71ca9a","datavalue":{"value":{"text":"Affine analog of the proper base change theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1335165$C53CE277-C002-48BC-B1FE-A095F129152D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9616d3717f6d6034ae29779d7c9fc45d6952dbd3","datavalue":{"value":"0816.13006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1335165$4D983BA9-1ED6-4A71-BCDE-31570ED01973","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2ca64002c2a6cda31c79f14d6b99d52e827be92c","datavalue":{"value":"10.1007/BF02773001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1335165$C9E0BB29-62BB-483C-9BA2-51A6727266E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"45cadbb417204d788001608a024ff64051f2391f","datavalue":{"value":{"entity-type":"item","numeric-id":580473,"id":"Q580473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1335165$A9853873-A274-474B-B3A7-0E8807F6C6B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1d50f9b953eac0b2404563f86ad398ee3823cb48","datavalue":{"value":{"entity-type":"item","numeric-id":173732,"id":"Q173732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1335165$3AFD31A9-B5F2-458C-864B-0EC87C16ADE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5c9e4c93221b65868a4d2090be3649841672715","datavalue":{"value":{"time":"+1994-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1335165$76D773AE-7FBA-4A87-8315-023ADC22ACE6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"499d83610adc53df791819f9b64292b0132d2a18","datavalue":{"value":"Let \\(I\\) denote an ideal in a commutative Noetherian ring \\(A\\). Suppose that \\((A,I)\\) is a Henselian pair, i.e., \\(I\\) is contained in the Jacobson radical of \\(A\\) and for any two relatively prime monic polynomials \\(g,h \\in (A/I) [t],t\\) a variable, and a monic lifting \\(F \\in A[t]\\) of \\(gh\\) there exist monic liftings \\(G,H \\in A[t]\\) such that \\(F = GH\\).   Put \\(X = \\text{Spec} A\\) and \\(X_ 0 = \\text{Spec} A/I\\). Let \\({i_{et} : X_{0et} \\to X_{et}}\\) denote the morphism of \u00e9tale sites. Then for any abelian sheaf \\({\\mathcal F}\\) on \\(X_{et}\\) and all \\(q \\geq 0\\) there is the restriction map  \\[ \\rho_ q^{\\mathcal F} : H^ q(X_{et}, {\\mathcal F})\\to H^ q (X_{0et}, i^*_{et} {\\mathcal F}). \\]  It was conjectured [see S\u00e9minaire de g\u00e9om\u00e9trie alg\u00e9brique, 1963-64 (SGA 4, Part I--III), Lect. Notes Math. 269 (1972; Zbl 0234.00007), 270 (1972; Zbl 0237.00012) and 305 (1973; Zbl 0245.00002)], that \\(\\rho_ q^{\\mathcal F}\\) is an isomorphism provided \\({\\mathcal F}\\) is torsion. This conjecture is shown to be true. It is proved by an induction on \\(q\\) with the aid of a certain vanishing result on \u00e9tale cohomology. While in general the main result does not hold for non-torsion \\({\\mathcal F}\\) it is used by \\textit{K. Fujiwara} [``Theory of tubular neighborhoods in \u00e9tale topology'' (Preprint, 1992)] in order to obtain other comparison theorems.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1335165$63EC7B7B-C8ED-4986-B5DF-C4D67E29DF5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cc6cf58bc921e20acb50dbb6734bef1fed224192","datavalue":{"value":"13B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1335165$4C3EEF21-60BB-402D-B6E0-49C2586DDD65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f4f913a75c61668decaed701ae5192d432188bf","datavalue":{"value":"13J15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1335165$A674A837-DD74-44DA-9075-A17F487FBA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f47e0ac8332e65ab042eb721c036fa65e1af589f","datavalue":{"value":"14F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1335165$5398BB6F-C19A-4EE7-968E-20314E668F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aeaa44c2e834cb1990f4a8778263cbd6a8f762b8","datavalue":{"value":"14A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1335165$BF1A689D-6EB4-4EB0-A9CB-993E6F43DB7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c67c900a92a310023d175116f187f01a3f1bcaf","datavalue":{"value":"645163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1335165$C9E05AE2-27D6-421C-8F6C-1928469EA55E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18eff3914af272b166f4cb92415e8d6c524bf9f4","datavalue":{"value":"Henselian ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1335165$00BD2E87-B668-484F-B0F5-5A43BCC3A861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65e09a6b299087408a957c063d5daa1f212e7c53","datavalue":{"value":"Henselian pair","type":"string"},"datatype":"string"},"type":"statement","id":"Q1335165$493DAB18-FCA1-4902-96F7-DC0968112A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11b1772e023bc0781c0bbee97c927bea95c8d050","datavalue":{"value":"\u00e9tale sites","type":"string"},"datatype":"string"},"type":"statement","id":"Q1335165$5559BC59-20CB-48D9-8610-CA0877F38B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"176f8e9bdf26f7913070c37123400fa7e1846203","datavalue":{"value":"vanishing theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1335165$9D185E72-156B-4574-A1B8-00473FFCCB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3efa7f43fbd6086e36fff67ca9a3693610d7641a","datavalue":{"value":"\u00e9tale cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1335165$D204CE99-0267-48EA-B65D-289E90CBA5DC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1dc149818915cc1107568882a3b15d36b98f7a44","datavalue":{"value":{"entity-type":"item","numeric-id":308146,"id":"Q308146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1335165$6B9B97C7-3045-4613-ACD9-8876D5401661","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":"Q1335165$E538249D-7DE5-4AE3-90D1-D661111348C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d558ff224bf71575b3ea9c0ba396cd1a71326fd","datavalue":{"value":{"entity-type":"item","numeric-id":2554000,"id":"Q2554000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1335165$6023D5A5-F14D-4DB5-B31F-B1DCE3F5C266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7baca79d5c6b088a07cf31230259418e758ae3c2","datavalue":{"value":{"entity-type":"item","numeric-id":4092094,"id":"Q4092094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1335165$3AB44CFC-1446-4DB0-A98D-D5AA7AAEE50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af93b5fa5462d814ec1727ded36dede0d3d683af","datavalue":{"value":{"entity-type":"item","numeric-id":5632701,"id":"Q5632701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1335165$A8DE3AD7-46C6-4224-B744-9B852A8F6152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"815b7780c70ca044c62c886c4fabfe429c52551f","datavalue":{"value":{"entity-type":"item","numeric-id":5602063,"id":"Q5602063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1335165$4BB74439-D58D-4F2B-B51C-030C90CEAA13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a146ec1ba1bd1a1b7b62ba8957f53842121dfaa9","datavalue":{"value":{"entity-type":"item","numeric-id":3871006,"id":"Q3871006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1335165$D4563C6F-55C7-450E-B64F-AEE6C680F4B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"322adecd21278a1f24f2cb2f04b65b881b9016bc","datavalue":{"value":{"entity-type":"item","numeric-id":2541380,"id":"Q2541380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1335165$4ACBA517-E1CA-4C98-A6FC-16D32525BB14","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f854b678f22d8d122448e9f564688655ef26469","datavalue":{"value":{"entity-type":"item","numeric-id":1318035,"id":"Q1318035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6288ef420705247fb2a011f8847023288bb1b1e","datavalue":{"value":{"amount":"+0.7837657928466797","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":"Q1335165$1F88901D-FF15-4CD2-8B30-F3AA777CBFF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"174b20f6e92f44bc8742722b5965b4781ebd3c5b","datavalue":{"value":{"entity-type":"item","numeric-id":3335884,"id":"Q3335884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec2d6b5ac83d1db79866dfabd5f12456646daa07","datavalue":{"value":{"amount":"+0.7668138146400452","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":"Q1335165$C9FA35D2-E8FD-4B17-ACA4-9859F0A27555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a6169225c40b3bb3f702e22dd27328b3f6d1f49","datavalue":{"value":{"entity-type":"item","numeric-id":4694950,"id":"Q4694950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"952ae05e6702c11fbd158e09a678643fd23f8fcd","datavalue":{"value":{"amount":"+0.7458630204200745","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":"Q1335165$48A7EFAE-2AF3-4932-8167-65544A8E1CEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Affine analog of the proper base change theorem","badges":[]}}}}}