Related papers: Differential theory of zero-dimensional schemes

In a previous paper, a realization of the moduli space of framed torsion-free sheaves on Hirzebruch surfaces in terms of monads was given. We build upon that result to construct ADHM data for the Hilbert scheme of points of the total space…

Let $I$ be a homogeneous ideal in the polynomial ring $R = k[z_1, \cdots, z_n]$ , where $k$ is an algebraically closed field of characteristic zero. Macaulay's Theorem provides constraints on the Hilbert function of $I$ or $R/I$ from one…

We provide an irreducibility test in the ring K[[x]][y] whose complexity is quasi-linear with respect to the valuation of the discriminant, assuming the input polynomial F square-free and K a perfect field of characteristic zero or greater…

Let k be a field, and let {\pi}:\tilde{X} -> X be a proper birational morphism of irreducible k-varieties, where \tilde{X} is smooth and X has at worst quotient singularities. When the characteristic of k is zero, a theorem of Koll\'ar in…

Let $k$ be an algebraically closed field of characteristic $p > 3$. Let $X$ be an irreducible smooth projective surface over $k$. Fix an integer $n \geq 1$ and let ${\mathcal{H}{\it ilb}}_X^n$ be the Hilbert scheme parameterizing effective…

The classical Hilbert specialization property is a field-theoretic tool ensuring that polynomial irreducibility over a field is preserved under specialization of some of the variables. We develop an integral counterpart by introducing the…

Border basis schemes are open subschemes of Hilbert schemes parametrizing 0-dimensional subschemes of $\mathbb{P}^n$ of given length. They yield open coverings and are easy to describe and to compute with. Our topic is to find re-embeddings…

We study the holomorphic Euler characteristics of tautological sheaves on Hilbert schemes of points on surfaces. In particular, we establish the rationality of K-theoretic descendent series. Our approach is to control equivariant…

We study bihomogeneous systems defining, non-zero dimensional, biprojective varieties for which the projection onto the first group of variables results in a finite set of points. To compute (with) the 0-dimensional projection and the…

We initiate a study of Hilbert modules over the polynomial algebra A=C[z_1,...,z_d] that are obtained by completing A with respect to an inner product having certain natural properties. A standard Hilbert module is a finite multiplicity…

We show that several sets of interest arising from the study of partition regularity and density Ramsey theory of polynomial equations over integral domains are undecidable. In particular, we show that the set of homogeneous polynomials $p…

Let W be an affine variety equipped with an action of a reductive group G. The invariant Hilbert scheme is a moduli space which classifies the G-stable closed subschemes of W such that the affine algebra is the direct sum of simple…

Given a 0-dimensional affine K-algebra R=K[x_1,...,x_n]/I, where I is an ideal in a polynomial ring K[x_1,...,x_n] over a field K, or, equivalently, given a 0-dimensional affine scheme, we construct effective algorithms for checking whether…

We present a proof of embedded desingularization for closed subschemes which does not make use of Hilbert-Samuel function and avoids Hironaka's notion of normal flatness. This proof, already sketched in [A course on constructive…

We fix the lexicographic order $\prec$ on the polynomial ring $S=k[x_{1},...,x_{n}]$ over a ring $k$. We define $\Hi^{\prec\Delta}_{S/k}$, the moduli space of reduced Gr\"obner bases with a given finite standard set $\Delta$, and its open…

In this paper, we consider an infinite dimensional exponential family, $\mathcal{P}$ of probability densities, which are parametrized by functions in a reproducing kernel Hilbert space, $H$ and show it to be quite rich in the sense that a…

We give an infinite dimensional description of the differential K-theory of a manifold $M$. The generators are triples $[H, A, \omega]$ where $H$ is a ${\bf Z}_2$-graded Hilbert bundle on $M$, $A$ is a superconnection on $H$ and $\omega$ is…

We consider the quantum difference equation of the Hilbert scheme of points in $\mathbb{C}^2$. This equation is the K-theoretic generalization of the quantum differential equation discovered by A. Okounkov and R. Pandharipande. We obtain…

Let $\mathbb K$ be a field of characteristic 0, let $S$ be a complete local ring with coefficient field $\mathbb K$, let $\mathbb K[[x_1,\dots,x_n]]$ be the ring of formal power series in variables $x_1,\dots, x_n$ with coefficients from…

We take a new look at the curvilinear Hilbert scheme of points on a smooth projective variety $X$ as a projective completion of the non-reductive quotient of holomorphic map germs from the complex line into $X$ by polynomial…