Related papers: A support theorem for nested Hilbert schemes of pl…
We investigate conditions for "simultaneous normalizability" of a family of reduced schemes, i.e., the normalization of the total space normalizes, fiber by fiber, each member of the family. The main result (under more general conditions)…
We show that for flat morphisms between varieties with rational singularities, the higher direct images of the structure sheaf are locally free. As a consequence, the identity component of the relative Picard scheme is a smooth algebraic…
We define a derived enhancement of the hyperquot scheme (also known as nested Quot scheme), which classically parametrises flags of quotients of a perfect coherent sheaf on a projective scheme. We prove it is representable by a derived…
We introduce a non-associative model for the Hilbert scheme of points in arbitrary dimension. We define a smooth ambient space, which we call the non-associative Hilbert scheme, containing the classical nested Hilbert scheme…
Given a singular projective variety in some projective space, we characterize the smooth curves contracted by the Gauss map in terms of normal bundles. As a consequence, we show that if the variety is normal, then a contracted line always…
In the present paper we prove that the Hilbert scheme of 0-dimensional subspaces on supercurves of dimension $(1|1)$ exists and it is smooth. We show that the Hilbert scheme is not split in general.
Steepest descent is central in variational mathematics. We present a new transparent existence proof for curves of near-maximal slope --- an influential notion of steepest descent in a nonsmooth setting. We moreover show that for…
According to the decomposition and relative hard Lefschetz theorems, given a projective map of complex quasi projective algebraic varieties and a relatively ample line bundle, the rational intersection cohomology groups of the domain of the…
We denote by $\mathcal{H}_{d,g,r}$ the Hilbert scheme of smooth curves, which is the union of components whose general point corresponds to a smooth irreducible and non-degenerate curve of degree $d$ and genus $g$ in $\mathbb{P}^r$. In this…
The dimension of spaces of global sections for line bundles on semistable curves parametrized by the compactified Picard scheme is studied. The theorem of Riemann is shown to hold. The theorem of Clifford is shown to hold in the following…
We investigate the geography of Hilbert schemes parametrizing closed subschemes of projective space with specified Hilbert polynomials. We classify Hilbert schemes with unique Borel-fixed points via combinatorial expressions for their…
In this paper, we apply Clausen-Scholze's theory of solid modules to the existence of adelic decompositions for schemes of finite type over $\mathbb{Z}$. Specifically, we use the six-functor formalism for solid modules to define the…
To a smooth and proper morphism $\mathcal{X}\to U$ with quasicompact semiseparated target we associate a sheaf in the \'etale topology, which takes an affine $U$-scheme $V$ to the set of $V$-linear semiorthogonal decompositions (of fixed…
We study the structure of the relative Hilbert scheme for a family of nodal (or smooth) curves via its natural cycle map to the relative symmetric product. We show that the cycle map is the blowing up of the discriminant locus, which…
As a consequence of our recently established generalized Schmidt's subspace theorem for closed subschemes in general position, we prove a degeneracy theorem for integral points on the complement of a union of nef effective divisors. A novel…
We study the relative Hilbert scheme of a family of nodal (or smooth) curves, over a base of arbitrary dimension, via its (birational) cycle map, going to the relative symmetric product. We show the cycle map is the blowing up of the…
We investigate the Hilbert scheme of points on a smooth threefold. We introduce a notion of broken Gorenstein structure for finite schemes, and show that its existence guarantees smoothness on the Hilbert scheme. Moreover, we conjecture…
We construct the derived version of the Hilbert scheme parametrizing subschemes in a given projective scheme X with given Hilbert polynomial h. This is a dg-manifold (smooth dg-scheme) RHilb_h(X) which carries a natural family of…
We show that Hilbert schemes of planar curve singularities and their parabolic variants can be interpreted as certain generalized affine Springer fibers for $GL_n$, as defined by Goresky-Kottwitz-MacPherson. Using a generalization of affine…
In this paper we introduce an effective method to construct rational deformations between couples of Borel-fixed ideals. These deformations are governed by flat families, so that they correspond to rational curves on the Hilbert scheme.…