-
New components of Hilbert schemes of points and 2-step ideals
Authors:
Franco Giovenzana,
Luca Giovenzana,
Michele Graffeo,
Paolo Lella
Abstract:
This paper presents new examples of elementary and non-elementary irreducible components of the Hilbert scheme of points and its nested variants. The results are achieved via a careful analysis of the deformations of a class of finite colength ideals that are introduced in this paper and referred to as 2-step ideals. The most notable reducibility results pertain to the 4-nested Hilbert scheme of p…
▽ More
This paper presents new examples of elementary and non-elementary irreducible components of the Hilbert scheme of points and its nested variants. The results are achieved via a careful analysis of the deformations of a class of finite colength ideals that are introduced in this paper and referred to as 2-step ideals. The most notable reducibility results pertain to the 4-nested Hilbert scheme of points on a smooth surface, the reducibility of $\text{Hilb}^{3,7}\mathbb{A}^4$, and a method to detect a large number of generically reduced elementary components. To demonstrate the feasibility of this approach, we provide an explicit description of 215 new generically reduced elementary components in dimensions 4, 5 and 6.
△ Less
Submitted 3 July, 2025;
originally announced July 2025.
-
Invariants of nested Hilbert and Quot schemes on surfaces
Authors:
Nadir Fasola,
Michele Graffeo,
Danilo Lewański,
Andrea T. Ricolfi
Abstract:
Let $(S,p)$ be a smooth pointed surface. In the first part of this paper we study motivic invariants of punctual nested Hilbert schemes attached to $(S,p)$ using the Hilbert-Samuel stratification. We compute two infinite families of motivic classes of punctual nested Hilbert schemes, corresponding to nestings of the form $(2,n)$ and $(3,n)$. As a consequence, we are able to give a lower bound for…
▽ More
Let $(S,p)$ be a smooth pointed surface. In the first part of this paper we study motivic invariants of punctual nested Hilbert schemes attached to $(S,p)$ using the Hilbert-Samuel stratification. We compute two infinite families of motivic classes of punctual nested Hilbert schemes, corresponding to nestings of the form $(2,n)$ and $(3,n)$. As a consequence, we are able to give a lower bound for the number of irreducible components of $S_p^{[2,n]}$ and $S_p^{[3,n]}$.
In the second part of this paper we characterise completely the generating series of Euler characteristics of all nested Hilbert and Quot schemes. This is achieved via a novel technique, involving differential operators modelled on the enumerative problem, which we introduce. From this analysis, we deduce that in the Hilbert scheme case the generating series is the product of a rational function by the celebrated Euler's product formula counting integer partitions. In higher rank, we derive functional equations relating the nested Quot scheme generating series to the rank one series, corresponding to nested Hilbert schemes.
△ Less
Submitted 18 March, 2025;
originally announced March 2025.
-
Enumeration of partitions via socle reduction
Authors:
Michele Graffeo,
Sergej Monavari,
Riccardo Moschetti,
Andrea T. Ricolfi
Abstract:
We study the enumeration problem of higher dimensional partitions, a natural generalisation of classical integer partitions. We show that their counting problem is equivalent to the enumeration of simpler classes of higher dimensional partitions, satisfying suitable constraints on their embedding dimension and socle type. We provide exact formulas for the generating functions of several infinite f…
▽ More
We study the enumeration problem of higher dimensional partitions, a natural generalisation of classical integer partitions. We show that their counting problem is equivalent to the enumeration of simpler classes of higher dimensional partitions, satisfying suitable constraints on their embedding dimension and socle type. We provide exact formulas for the generating functions of several infinite families of such partitions, and design a procedure enumerating them in the general case. As a proof of concept, we determine the number of partitions of size up to 30 in any dimension.
△ Less
Submitted 17 January, 2025;
originally announced January 2025.
-
The Painlevé equivalence problem for a constrained 3D system
Authors:
Galina Filipuk,
Michele Graffeo,
Giorgio Gubbiotti,
Alexander Stokes
Abstract:
In this paper we propose a geometric approach to study Painlevé equations appearing as constrained systems of three first-order ordinary differential equations. We illustrate this approach on a system of three first-order differential equations arising in the theory of semi-classical orthogonal polynomials. We show that it can be restricted to a system of two first-order differential equations in…
▽ More
In this paper we propose a geometric approach to study Painlevé equations appearing as constrained systems of three first-order ordinary differential equations. We illustrate this approach on a system of three first-order differential equations arising in the theory of semi-classical orthogonal polynomials. We show that it can be restricted to a system of two first-order differential equations in two different ways on an invariant hypersurface. We build the space of initial conditions for each of these restricted systems and verify that they exhibit the Painlevé property from a geometric perspective. Utilising the Painlevé identification algorithm we also relate this system to the Painlevé VI equation and we build its global Hamiltonian structure. Finally, we prove that the autonomous limit of the original system is Liouville integrable, and the level curves of its first integrals are elliptic curves, which leads us to conjecture that the 3D system itself also possesses the Painlevé property without the need to restrict it to the invariant hypersurface.
△ Less
Submitted 3 November, 2024;
originally announced November 2024.
-
The motive of the Hilbert scheme of points in all dimensions
Authors:
Michele Graffeo,
Sergej Monavari,
Riccardo Moschetti,
Andrea T. Ricolfi
Abstract:
We prove a closed formula for the generating function $\mathsf Z_d(t)$ of the motives $[\mathrm{Hilb}^d(\mathbb A^n)_0] \in K_0(\mathrm{Var}_{\mathbb C})$ of punctual Hilbert schemes, summing over $n$, for fixed $d>0$. The result is an expression for $\mathsf Z_d(t)$ as the product of the zeta function of $\mathbb P^{d-1}$ and a polynomial $\mathsf P_d(t)$, which in particular implies that…
▽ More
We prove a closed formula for the generating function $\mathsf Z_d(t)$ of the motives $[\mathrm{Hilb}^d(\mathbb A^n)_0] \in K_0(\mathrm{Var}_{\mathbb C})$ of punctual Hilbert schemes, summing over $n$, for fixed $d>0$. The result is an expression for $\mathsf Z_d(t)$ as the product of the zeta function of $\mathbb P^{d-1}$ and a polynomial $\mathsf P_d(t)$, which in particular implies that $\mathsf Z_d(t)$ is a rational function. Moreover, we reduce the complexity of $\mathsf P_d(t)$ to the computation of $d-8$ initial data, and therefore give explicit formulas for $\mathsf Z_d(t)$ in the cases $d \leq 8$, which in turn yields a formula for $[\mathrm{Hilb}^{\leq 8}(X)]$ for any smooth variety $X$. We perform a similar analysis for the Quot scheme of points, obtaining explicit formulas for the full generating function (summing over all ranks and dimensions) for $d \leq 4$. In the limit $n \to \infty$, we prove that the motives $[\mathrm{Hilb}^d(\mathbb A^n)_0]$ stabilise to the class of the infinite Grassmannian $\mathrm{Gr}(d-1,\infty)$. Finally, exploiting our geometric methods, we conjecture (and partially confirm) a structural result on the 'error' measuring the discrepancy between the count of higher dimensional partitions and MacMahon's famous guess.
△ Less
Submitted 20 June, 2024;
originally announced June 2024.
-
Unexpected but recurrent phenomena for Quot and Hilbert schemes of points
Authors:
Franco Giovenzana,
Luca Giovenzana,
Michele Graffeo,
Paolo Lella
Abstract:
We investigate some aspects of the geometry of two classical generalisations of the Hilbert schemes of points. Precisely, we show that parity conjecture for $\text{Quot}_r^d\mathbb{A}^3$ already fails for $d=8$ and $r=2$ and that lots of the elementary components of the nested Hilbert schemes of points on smooth quasi-projective varieties of dimension at least 4 are generically non-reduced. We als…
▽ More
We investigate some aspects of the geometry of two classical generalisations of the Hilbert schemes of points. Precisely, we show that parity conjecture for $\text{Quot}_r^d\mathbb{A}^3$ already fails for $d=8$ and $r=2$ and that lots of the elementary components of the nested Hilbert schemes of points on smooth quasi-projective varieties of dimension at least 4 are generically non-reduced. We also deduce that nested Hilbert schemes of points on smooth surfaces have generically non-reduced components. Finally, we give an infinite family of elementary components of the classical Hilbert schemes of points.
△ Less
Submitted 21 June, 2024; v1 submitted 5 March, 2024;
originally announced March 2024.
-
The geometry of double nested Hilbert schemes of points on curves
Authors:
Michele Graffeo,
Paolo Lella,
Sergej Monavari,
Andrea T. Ricolfi,
Alessio Sammartano
Abstract:
Let $C$ be a smooth curve. In this paper we investigate the geometric properties of the double nested Hilbert scheme of points on $C$, a moduli space introduced by the third author in the context of BPS invariants of local curves and sheaf counting on Calabi-Yau 3-folds. We prove this moduli space is connected, reduced and of pure dimension; we list its components via an explicit combinatorial cha…
▽ More
Let $C$ be a smooth curve. In this paper we investigate the geometric properties of the double nested Hilbert scheme of points on $C$, a moduli space introduced by the third author in the context of BPS invariants of local curves and sheaf counting on Calabi-Yau 3-folds. We prove this moduli space is connected, reduced and of pure dimension; we list its components via an explicit combinatorial characterisation and we show they can be resolved, when singular, by products of symmetric products of $C$. We achieve this via a purely algebraic analysis of the factorisation properties of the monoid of reverse plane partitions. We discuss the (virtual) fundamental class of the moduli space, we describe the local equations cutting it inside a smooth ambient space, and finally we provide a closed formula for its motivic class in the Grothendieck ring of varieties.
△ Less
Submitted 10 October, 2024; v1 submitted 13 October, 2023;
originally announced October 2023.
-
A counterexample to the parity conjecture
Authors:
Franco Giovenzana,
Luca Giovenzana,
Michele Graffeo,
Paolo Lella
Abstract:
Let $[Z]\in\text{Hilb}^d \mathbb A^3$ be a zero-dimensional subscheme of the affine three-dimensional complex space of length $d>0$. Okounkov and Pandharipande have conjectured that the dimension of the tangent space of $\text{Hilb}^d \mathbb A^3$ at $[Z]$ and $d$ have the same parity. The conjecture was proven by Maulik, Nekrasov, Okounkov and Pandharipande for points $[Z]$ defined by monomial id…
▽ More
Let $[Z]\in\text{Hilb}^d \mathbb A^3$ be a zero-dimensional subscheme of the affine three-dimensional complex space of length $d>0$. Okounkov and Pandharipande have conjectured that the dimension of the tangent space of $\text{Hilb}^d \mathbb A^3$ at $[Z]$ and $d$ have the same parity. The conjecture was proven by Maulik, Nekrasov, Okounkov and Pandharipande for points $[Z]$ defined by monomial ideals and very recently by Ramkumar and Sammartano for homogeneous ideals. In this paper we exhibit a family of zero-dimensional schemes in $\text{Hilb}^{12} \mathbb A^3$, which disproves the conjecture in the general non-homogeneous case.
△ Less
Submitted 5 February, 2024; v1 submitted 29 May, 2023;
originally announced May 2023.
-
Growth and integrability of some birational maps in dimension three
Authors:
Michele Graffeo,
Giorgio Gubbiotti
Abstract:
Motivated by the study of the Kahan--Hirota--Kimura discretisation of the Euler top, we characterise the growth and integrability properties of a collection of elements in the Cremona group of a complex projective 3-space using techniques from algebraic geometry. This collection consists of maps obtained by composing the standard Cremona transformation $\mathrm{c}_3\in\mathrm{Bir}(\mathbb{P}^3)$ w…
▽ More
Motivated by the study of the Kahan--Hirota--Kimura discretisation of the Euler top, we characterise the growth and integrability properties of a collection of elements in the Cremona group of a complex projective 3-space using techniques from algebraic geometry. This collection consists of maps obtained by composing the standard Cremona transformation $\mathrm{c}_3\in\mathrm{Bir}(\mathbb{P}^3)$ with projectivities that permute the fixed points of $\mathrm{c}_3$ and the points over which $\mathrm{c}_3$ performs a divisorial contraction. More specifically, we show that three behaviour are possible: (A) integrable with quadratic degree growth and two invariants, (B) periodic with two-periodic degree sequences and more than two invariants, and (C) non-integrable with submaximal degree growth and one invariant.
△ Less
Submitted 3 June, 2023; v1 submitted 22 January, 2023;
originally announced January 2023.
-
Moduli spaces of $\mathbb{Z}/k\mathbb{Z}$-constellations over $\mathbb{A}^2$
Authors:
Michele Graffeo
Abstract:
Let $ρ:\mathbb{Z}/k \mathbb{Z}\rightarrow \text{SL}(2,\mathbb{C})$ be a representation of a finite abelian group and let $Θ^{\text{gen}}\subset \text{Hom}_\mathbb{Z}(R(\mathbb{Z}/k\mathbb{Z}),\mathbb{Q})$ be the space of generic stability conditions on the set of $G$-constellations. We provide a combinatorial description of all the chambers $C\subsetΘ^{\text{gen}}$ and prove that there are $k!$ of…
▽ More
Let $ρ:\mathbb{Z}/k \mathbb{Z}\rightarrow \text{SL}(2,\mathbb{C})$ be a representation of a finite abelian group and let $Θ^{\text{gen}}\subset \text{Hom}_\mathbb{Z}(R(\mathbb{Z}/k\mathbb{Z}),\mathbb{Q})$ be the space of generic stability conditions on the set of $G$-constellations. We provide a combinatorial description of all the chambers $C\subsetΘ^{\text{gen}}$ and prove that there are $k!$ of them. Moreover, we introduce the notion of simple chamber and we show that, in order to know all toric $G$-constellations, it is enough to build all simple chambers. We also prove that there are $k\cdot 2^{k-2} $ simple chambers. Finally, we provide an explicit formula for the tautological bundles $\mathscr{R}_C$ over the moduli spaces $\mathscr{M} _C$ for all chambers $C\subset Θ^{\text{gen}}$ which only depends upon the chamber stair which is a combinatorial object attached to the chamber $C$.
△ Less
Submitted 6 March, 2024; v1 submitted 16 May, 2022;
originally announced May 2022.
-
On the Behrend function and the blowup of some fat points
Authors:
Michele Graffeo,
Andrea T. Ricolfi
Abstract:
The Behrend function of a $\mathbb C$-scheme $X$ is a constructible function $ν_X\colon X(\mathbb C) \to \mathbb Z$ introduced by Behrend, intrinsic to the scheme structure of $X$. It is a (subtle) invariant of singularities of $X$, playing a prominent role in enumerative geometry. To date, only a handful of general properties of the Behrend function are known. In this paper, we compute it for a l…
▽ More
The Behrend function of a $\mathbb C$-scheme $X$ is a constructible function $ν_X\colon X(\mathbb C) \to \mathbb Z$ introduced by Behrend, intrinsic to the scheme structure of $X$. It is a (subtle) invariant of singularities of $X$, playing a prominent role in enumerative geometry. To date, only a handful of general properties of the Behrend function are known. In this paper, we compute it for a large class of fat points (schemes supported at a single point). We first observe that, if $X \hookrightarrow \mathbb A^N$ is a fat point, $ν_X$ is the sum of the multiplicities of the irreducible components of the exceptional divisor $E_{X}\mathbb A^N$ in the blowup $\textrm{Bl}_{X}\mathbb A^N$. Moreover, we prove that $ν_X$ can be computed explicitly through the normalisation of $\textrm{Bl}_{X}\mathbb A^N$.
The proofs of our explicit formulas for the Behrend function of a fat point in $\mathbb A^2$ rely heavily on toric geometry techniques. Along the way, we find a formula for the number of irreducible components of $E_{X}\mathbb A^2$, where $X \hookrightarrow \mathbb A^2$ is a fat point such that $\textrm{Bl}_{X}\mathbb A^2$ is normal.
△ Less
Submitted 14 February, 2022;
originally announced February 2022.
