{"entities":{"Q1359213":{"pageid":1369952,"ns":120,"title":"Item:Q1359213","lastrevid":68547930,"modified":"2026-04-13T00:28:41Z","type":"item","id":"Q1359213","labels":{"en":{"language":"en","value":"The intrinsic normal cone"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1026479"}},"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":"Q1359213$5EA5BED3-4643-4B5A-A11B-C3732AC73E9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"641a44f0c31d11f1d1518e0fe4dd14b305b86803","datavalue":{"value":{"text":"The intrinsic normal cone","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1359213$390122B7-3D68-4D31-A662-1DA43028E830","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"988f442a067e717a9ac24965811c27f0417844e0","datavalue":{"value":"0909.14006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1359213$D6289D2E-8740-4466-8A75-AD4C255D4046","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"78c924ab2a87a282c80efa85079613d2f7e99dd9","datavalue":{"value":{"entity-type":"item","numeric-id":163162,"id":"Q163162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1359213$1C8EBF64-9E99-4EF8-A587-901A5649E055","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9341ea3fcb942c9bef06a2261be0cc6bf0fe370a","datavalue":{"value":{"time":"+1997-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1359213$30740B5C-AE4E-4F36-B1BA-F4FF19FB1F7E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"061242503eec15e2ce961aa0d7450c983d50922b","datavalue":{"value":"https://arxiv.org/abs/alg-geom/9601010","type":"string"},"datatype":"url"},"type":"statement","id":"Q1359213$BFA0491C-902E-4AEB-93DD-D386A9D11BD3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8507382c3bfd2a2b27325da30b34db7427671119","datavalue":{"value":"A cone \\(C \\rightarrow X\\) over a scheme \\(X\\) is defined as to have a section (vertex) \\({\\mathbf 0}:X \\rightarrow C\\) and an \\({\\mathbb A}^1\\)-action (multiplicative contraction onto the vertex), that is a morphism \\(\\gamma : {\\mathbb A}^1 \\times C \\rightarrow C\\) such that \\(\\gamma \\circ (1,{\\text{id}}_C) = {\\text{id}}_C\\); \\(\\;\\gamma \\circ (0,{\\text{id}}_C) = {\\mathbf 0}\\) ; and \\(\\gamma \\circ ({\\text{id}} \\times \\gamma) = \\gamma \\circ m\\times {\\text{id}}_C\\) ; where \\(m:{\\mathbb A}^1 \\times {\\mathbb A}^1 \\rightarrow {\\mathbb A}^1\\) is multiplication . If \\(\\mathcal F\\) is a coherent \\({\\mathcal O}_X\\)-module, then the associated cone \\(C({\\mathcal F}) = {\\text{Spec\\;Sym}}({\\mathcal F})\\) is called an abelian cone; and if \\(X \\rightarrow Y\\) is an immersion with ideal sheaf \\(\\mathcal I\\), then \\(\\bigoplus_{n\\geq 0} {\\mathcal I}^n/{\\mathcal I}^{n+1}\\) is a sheaf of \\({\\mathcal O}_X\\)-algebras and \\(C_{X/Y} = {\\text{Spec}}\\bigoplus_{n\\geq 0} {\\mathcal I}^n/{\\mathcal I}^{n+1}\\) is called the normal cone of \\(X\\) in \\(Y\\). The associated abelian cone \\(N_{X/Y} = {\\text{Spec\\;Sym}}{\\mathcal I}/{\\mathcal I}^2\\) is called the normal sheaf of \\(X\\) in \\(Y\\). The authors define a cone for a Deligne-Mumford stack \\(X\\). Also , the notion of cone stack is given as a generalization of cone. This satisfies similar commutation relations but the equalities above are changed by 2-isomorphisms. For a complex \\(E^{\\bullet}\\) in the derived category \\(D({\\mathcal O}_{X_{et}})\\) satisfying the assumptions:  \\[  1.\\quad h^i(E^{\\bullet})=0,\\;i>0;\\qquad 2.\\quad h^i(E^{\\bullet}) \\text{ is coherent for }i=0,\\;i=-1,\\tag \\(*\\)  \\]  the authors associate the cone stack \\(h^1/h^0((E^\\bullet)^\\vee)\\) , where \\({E^\\bullet}^\\vee =R{\\mathcal Hom}(E^\\bullet, {\\mathcal O}_{X_{fl}})\\) and \\(X_{fl}\\) the big fppf-site. (Here \\(h^1/h^0(E^\\bullet)\\) is the stack-theoretic quotient of the action of \\(E^0\\) on \\(E^1\\) via \\(d:E^0 \\rightarrow E^1\\), which is a Picard stack.) In particular the cotangent complex \\(L^\\bullet_X\\) satisfies the conditions \\((*)\\) and therefore defines the abelian cone stack \\({\\mathfrak N}_X := h^1/h^0((L_X^\\bullet)^\\vee)\\) called the intrinsic normal sheaf. The intrinsic normal cone \\({\\mathfrak C}_X\\) is obtained as follows: \u00e9tale locally on \\(X\\) embed an open set \\(U\\) of \\(X\\) in a smooth scheme \\(W\\), take the stack quotient of the normal cone \\(C_{U/W}\\) by the natural action of \\(T_W| _U\\), and glue these stacks together.   The notion of (perfect) obstruction theory for \\(X\\) is introduced: This is an object \\(E^\\bullet\\) in the derived category satisfying condition \\((*)\\) together with a morphism \\(E^\\bullet \\rightarrow L_X^\\bullet\\) and such that the induced map \\({\\mathfrak N}_X \\rightarrow h^1/h^0((E^\\bullet)^\\vee)\\) is a closed immersion. The obstruction theory \\(E^\\bullet\\) is perfect if \\(h^1/h^0((E^\\bullet)^\\vee)\\) is smooth over \\(X\\). It is shown how to construct, given a perfect obstruction theory for \\(X\\), a pure dimensional virtual fundamental class in the Chow group of \\(X\\). Some properties of such classes are proven, both in the absolute and relative context. Via a deformation theory interpretation of obstruction theories the authors prove that several kinds of moduli spaces carry a natural obstruction theory, and sometimes a perfect one.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1359213$656A9339-856E-4388-9AB3-2C59475E68D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e93be51ca4a8cf8588ed10d171d63a4564b84a1","datavalue":{"value":"14F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1359213$6AB66008-4A8D-431D-875C-7720688D6700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"65e0d1a695ac653af4127479cfdcfa876a4303fc","datavalue":{"value":"14C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1359213$5D8EDF87-49C0-4596-B680-8DC341298AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44c2f2292e3af3aa22face3324f654a1c22c9105","datavalue":{"value":"18F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1359213$66D46306-9701-4415-B695-12A4E0C44196","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc53f33a924c8dda1fc1cb2fa7e7d4142167c449","datavalue":{"value":"1026479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1359213$95735B8D-E8A3-4D49-8D9C-DF3B3EFBEB29","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"935ee9dd9064600abdc705411a10f3bf5bb0ab8d","datavalue":{"value":"normal cone","type":"string"},"datatype":"string"},"type":"statement","id":"Q1359213$2079403C-DB2A-4BEA-BC36-87B78E8D702D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd01807ed71a04aca29222565dd61871623200c9","datavalue":{"value":"algebraic stacks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1359213$B847EF9B-621B-490B-BBE4-66AB6E523F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8c1d0f86fd7b20ef8bd6815d2af9dfc92d37b2e","datavalue":{"value":"obstruction theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1359213$43692526-BC3F-4AA5-8B45-6D841B47F0C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a35f9f9f6769ccde798fde2c5055ac3ff66bab5a","datavalue":{"value":"abelian cone","type":"string"},"datatype":"string"},"type":"statement","id":"Q1359213$A4264FF9-8BEC-4CEC-AC57-EECEFDB08EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b9d7dd4584d33aa2d2ca8d8e659d41ffaf64d4e","datavalue":{"value":"Deligne-Mumford stack","type":"string"},"datatype":"string"},"type":"statement","id":"Q1359213$A11AD662-FA8C-42ED-9D25-7666B20D1F0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2d13e49d41df1f3f0b606434b67da3b14256111","datavalue":{"value":"deformation theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1359213$20C03AEA-9BAA-4CFB-85E1-D9AC453471C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"192437c6474b1d1accbe10261308563a33cad3cd","datavalue":{"value":{"entity-type":"item","numeric-id":690209,"id":"Q690209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1359213$9DDC9B7F-E873-4DD2-B733-EB496ABB7E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76e71a1a07cb379ca75109b56cd4d59ef13d4c0b","datavalue":{"value":{"entity-type":"item","numeric-id":269636,"id":"Q269636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1359213$8A95F2FF-2E1F-48DE-BE0E-07FC7FAC943C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a42cff10e97a1dffa6e28fcda399689529b39e9d","datavalue":{"value":{"entity-type":"item","numeric-id":1196005,"id":"Q1196005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1359213$A26A5B71-A9C3-4E84-9892-38B5B26E87DF","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":"Q1359213$D7EF335C-95F8-4F41-A7E2-040F324EAEDE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4b7ec3a77b31e6f8c696177437270ded2d123fb","datavalue":{"value":"W3102484428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1359213$5C763F5E-78AB-4872-BEAA-332A55B331C8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"db2ac456ab9b1dda1a01e9bf84f325a53e04df7c","datavalue":{"value":"Q60307086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1359213$720241E5-94EC-4B30-8E3B-F95E4B87520F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"890f46c81fdeea737de5fa39c9de2c5aa5b141ad","datavalue":{"value":"10.1007/S002220050136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1359213$0A92F08D-B1A4-4AAA-9EB0-2927F658C89F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e850ab20ee3a5aaabf41a66934419b168fe05aeb","datavalue":{"value":{"entity-type":"item","numeric-id":4957939,"id":"Q4957939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"242fce89a8b251d798c27559581864a44b777f6d","datavalue":{"value":{"amount":"+0.8488016724586487","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":"Q1359213$AD777FC7-CB0F-47F0-A61F-AF3318BC5A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"834aa4237e78bea5f7c501ce25842b7b0549d755","datavalue":{"value":{"entity-type":"item","numeric-id":5028228,"id":"Q5028228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ec8402d24accc2947bb4e1f4f95fdb9da119127","datavalue":{"value":{"amount":"+0.7845321297645569","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":"Q1359213$F8B66FCA-57FB-4FE9-86AA-9AAD2B7C3094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e38a68a2124e470909e223a94e5babc9a40e98fd","datavalue":{"value":{"entity-type":"item","numeric-id":429265,"id":"Q429265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3b0d6c007c114653165c0c5151719ae52b45b9e","datavalue":{"value":{"amount":"+0.7771686315536499","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":"Q1359213$A0CA7595-B8DF-41A8-B589-181324B5C14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f98ab4a173686d7834e112a6c704c197d7151607","datavalue":{"value":{"entity-type":"item","numeric-id":1359169,"id":"Q1359169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02c9830b2961672ce3a65147bebb480cb7b4646e","datavalue":{"value":{"amount":"+0.7543327808380127","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":"Q1359213$A99EE07D-4579-415F-8722-4B8A3DB4707D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The intrinsic normal cone","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_intrinsic_normal_cone"}}}}}