A sign that used to annoy me, and still does (Q6141353): Difference between revisions

In this nice paper the author shows the following result. Main Theorem. If \(Y\) is a complex scheme such that it has Behrend function constantly equal to \(\sigma \in \{\pm 1\}\), then all of its components \(Z \subset Y\) are generically reduced and satisfy \[(-1)^{\mathrm{dim}_{\mathbb{C}} T_{p} Y} = \sigma = (-1)^{\mathrm{dim}Z}\] for a general point \(p \in Z\). The main goal of the paper was to present an argument suggesting a strategy for refuting the constancy of the Behrend function of \(\mathrm{Hilb}^{n}(\mathbb{C}^{3})\). In this context, it is worth emphasizing that very recently Jelisiejew, Kool, and Schmiermann announced a result saying that the Behrend function on \(\mathrm{Hilb}^{m}(\mathbb{C}^{3})\) is not constant when \(m\geq 24\).