Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Rational singularities of nested Hilbert schemes   The Hilbert scheme of points $\mathrm{Hilb}^n(S)$ of a smooth surface $S$ is
a well-studied parameter space, lying at the interface of algebraic geometry,
commutative algebra, representation theory, combinatorics, and mathematical
physics. The foundational result is a classical theorem of Fogarty, stating
that $\mathrm{Hilb}^n(S)$ is a smooth variety of dimension $2n$. In recent
years there has been growing interest in a natural generalization of
$\mathrm{Hilb}^n(S)$, the nested Hilbert schemes
$\mathrm{Hilb}^{(n_1,n_2)}(S)$, which parametrize nested pairs of
zero-dimensional subschemes $Z_1 \supseteq Z_2$ of $S$ with $\mathrm{deg}
(Z_i)=n_i$. In contrast to Fogarty's theorem, $\mathrm{Hilb}^{(n_1,n_2)}(S)$ is
almost always singular, and very little is known about its singularities. In
this paper we aim to advance the knowledge of the geometry of these nested
Hilbert schemes. Work by Fogarty in the 70's shows that
$\mathrm{Hilb}^{(n,1)}(S)$ is a normal Cohen-Macaulay variety, and Song more
recently proved that it has rational singularities. In our main result, we
prove that the nested Hilbert scheme $\mathrm{Hilb}^{(n,2)}(S)$ has rational
singularities. We employ an array of tools from commutative algebra to prove
this theorem. Using Gr\"obner bases, we establish a connection between
$\mathrm{Hilb}^{(n,2)}(S)$ and a certain variety of matrices with an action of
the general linear group. This variety of matrices plays a central role in our
work, and we analyze it by various algebraic techniques, including square-free
Gr\"obner degenerations, the Stanley-Reisner correspondence, and the
Kempf-Lascoux-Weyman technique of calculating syzygies. Along the way, we also
obtain results on irreducible and reducible classes of nested Hilbert schemes,
dimension of singular loci, and $F$-singularities in positive characteristic.

26
The categories of this paper are: bayes-an
23
The categories of this paper are: solv-int
11
The categories of this paper are: hep-lat
7
The categories of this paper are: hep-th
21
The categories of this paper are: adap-org
6
The categories of this paper are: astro-ph
16
The categories of this paper are: stat
13
The categories of this paper are: quant-ph
8
The categories of this paper are: hep-ex
27
The categories of this paper are: comp-gas
30
The categories of this paper are: q-alg
18
The categories of this paper are: econ
28
The categories of this paper are: alg-geom
34
The categories of this paper are: chem-ph
10
The categories of this paper are: q-bio
33
The categories of this paper are: plasm-ph