Related papers: Differential theory of zero-dimensional schemes

We answer the following long-standing question of Kolchin: given a system of algebraic-differential equations $\Sigma(x_1,\dots,x_n)=0$ in $m$ derivatives over a differential field of characteristic zero, is there a computable bound, that…

We introduce symmetrizing operators of the polynomial ring $A[x]$ in the varible $x$ over a ring $A$. When $A$ is an algebra over a field $k$ these operators are used to characterize the monic polynomials $F(x)$ of degree $n$ in $A[x]$ such…

Let $\Omega \subseteq \mathbb C^m$ be a bounded connected open set and $\mathcal H \subseteq \mathcal O(\Omega)$ be an analytic Hilbert module, i.e., the Hilbert space $\mathcal H$ possesses a reproducing kernel $K$, the polynomial ring…

The authors construct the global Macaulay inverse system for a zero-dimensional subscheme Z of projective n-space P^n, from the local inverse systems of the irreducible components of Z. They show that when Z is locally Gorenstein a generic…

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…

We continue the study of counting complexity begun in [Buergisser, Cucker 04] and [Buergisser, Cucker, Lotz 05] by proving upper and lower bounds on the complexity of computing the Hilbert polynomial of a homogeneous ideal. We show that the…

We describe the ring structure of the cohomology of the Hilbert scheme of points for a smooth surface X. When the canonical class K_X = 0, this was done by Lehn and Sorger, extending earlier work when X = C^2. Their approach does not…

Let $K$ be an algebraically closed field of characteristic 0, and let $H$ denote the Hilbert scheme of $m$ points of affine n-space $A^n$. An elementary component $E$ of $H$ is an irreducible component such that every $K$-point $[I]$ in $E$…

Efficient algorithms for many problems in optimization and computational algebra often arise from casting them as systems of polynomial equations. Blum, Shub, and Smale formalized this as Hilbert's Nullstellensatz Problem $HN_R$: given…

We develop differential algebraic K-theory for rings of integers in number fields and we construct a cycle map from geometrized bundles of modules over such a ring to the differential algebraic K-theory. We also treat some of the…

In this paper we construct a class of homogeneous Hilbert modules over the disc algebra $\mathcal{A}(\mathbb D)$ as quotients of certain natural modules over the function algebra $\mathcal{A}(\mathbb D^2)$. These quotient modules are…

We consider the Dirichlet problem of the indefinite Helmholtz equation in 1D, $u''+k^2u=f$ in $(0,1)$, $u(0)=g_0$, $u(1)=g_1$, with a constant wavenumber $k\in(0,\infty)\backslash\pi\mathbb{N}$ and a source term $f\in H^p_0(0,1)$, $p\ge 4$.…

We develop a general theory for irreducible homogeneous spaces $M= G/H$, in relation to the nullity $\nu$ of their curvature tensor. We construct natural invariant (different and increasing) distributions associated with the nullity, that…

In this article we give an analogue of Hecke and Sturm bounds for Hilbert modular forms over real quadratic fields. Let $K$ be a real quadratic field and $\Om_K$ its ring of integers. Let $\Gamma$ be a congruence subgroup of $\SL_2(\Om_K)$…

An ideal of a local polynomial ring can be described by calculating a standard basis with respect to a local monomial ordering. However standard basis algorithms are not numerically stable. Instead we can describe the ideal numerically by…

Given the Hilbert function $u$ of a closed subscheme of a projective space over an infinite field $K$, let $m_u$ and $M_u$ be, respectively, the minimum and the maximum among all the Castelnuovo-Mumford regularities of schemes with Hilbert…

In this paper we prove a strong version of the Hilbert Nullstellensatz in the ring $\mathbb H[q_1,\ldots,q_n]$ of slice regular polynomials in several quaternionic variables. Our proof deeply depends on a detailed analysis of the common…

Given finite metric spaces $(X, d_X)$ and $(Y, d_Y)$, we investigate the persistent homology $PH_*(X \times Y)$ of the Cartesian product $X \times Y$ equipped with the sum metric $d_X + d_Y$. Interpreting persistent homology as a module…

For a perfect field $k$ of characteristic $p>0$ and for a finite dimensional symmetric $k$-algebra $A$ K\"ulshammer studied a sequence of ideals of the centre of $A$ using the $p$-power map on degree 0 Hochschild homology. In joint work…

The type $A_n$-singularity $\mathbb{C}^2/\mathbb{Z}_{n+1}$ can be resolved by hyper-K\"ahler manifolds $X_{\zeta}$ with underlying smooth manifolds diffeomorphic to the resolution of singularities $X_{\text{res}}$, whose hyper-K\"ahler…