Skip to main content
6 events
when toggle format what by license comment
Mar 1, 2021 at 0:59 comment added Johan Over arbitrary fields, for the hypersurface case, Lef(Y, X) is stacks.math.columbia.edu/tag/0EL2 and Leff(Y, X) is stacks.math.columbia.edu/tag/0EL7. This trivially implies the result for a complete intersection by composing restriction functors several times.
Feb 28, 2021 at 17:09 comment added user127776 So the question is whether Hartshorne's theorem of $Leff(Y,X)$ holds over non-algebraically closed fields like finite fields or not. Another one is whether an ample divisor has the property $Leff(Y,X)$ or not over arbitrary field. The example claims there is an extension from formal neighborhood to a neighborhood but does not claim it is unique.
Feb 28, 2021 at 17:06 history edited user127776 CC BY-SA 4.0
added 307 characters in body
Feb 28, 2021 at 7:48 comment added Laurent Moret-Bailly The cited example refers to this proposition, which comes with a proof. So, what is the question exactly?
Feb 28, 2021 at 1:37 history edited user127776 CC BY-SA 4.0
added 218 characters in body
Feb 27, 2021 at 21:34 history asked user127776 CC BY-SA 4.0