Piotr Oszer | arXiv Science

arXiv2026

Deformations of the connected sum of Gorenstein algebras

We prove that the Gorenstein locus of the Hilbert scheme of points on $\mathbb A^n$ is non-reduced for $n\geq 12$; we construct examples of non-reduced points that come from apolar algebras of the sum of general cubics. As a corollary, we get a non-reducedness result for the cactus scheme. We generalise the Bia{\l}ynicki-Birula decomposition to abstract deformation functors, providing a new method of studying deformation theory. Our construction gives us fractal structures on the nested Hilbert scheme.

math.AG↗

arXiv2024

Hilbert-Burch matrices and explicit torus-stable families of finite subschemes of $\mathbb A ^2$

Using Hilbert-Burch matrices, we give an explicit description of the Bia{\l}ynicki-Birula cells on the Hilbert scheme of points on $\mathbb A ^2$ with isolated fixed points. If the fixed point locus is positive dimensional we obtain an \'etale rational map to the cell. We prove Conjecture 4.2 from arXiv:2309.06871 which we realize as a special case of our construction. We also show examples when the construction provides a rational \'etale map to the Hilbert scheme which is not contained in any Bia{\l}ynicki-Birula cell. Finally, we give an explicit description of the formal deformations of any ideal in the Hilbert scheme of points on the plane.

math.AG↗