Related papers: Computing subschemes of the border basis scheme

We prove Bloch's formula for 0-cycles on affine schemes over algebraically closed fields. We prove this formula also for projective schemes over algebraically closed fields which are regular in codimension one. Several applications,…

Let $\mathcal{C}$ be a plane curve given by an equation $f(x,y)=0$ with $f\in K[x][y]$ a monic squarefree polynomial. We study the problem of computing an integral basis of the algebraic function field $K(\mathcal{C})$ and give new…

Given a 0-dimensional scheme $\X$ in $\mathbb{P}^n_K$ over a perfect field $K$, we examine the second differential power of its homogeneous vanishing ideal. This enables us to establish the canonical exact sequence for the associated…

Given a 0-dimensional scheme $\mathbb{X}$ in a projective space $\mathbb{P}^n_K$ over a field $K$, we characterize the Cayley-Bacharach property of $\mathbb{X}$ in terms of the algebraic structure of the Dedekind different of its…

We give a new complexity bound for calculating the complex dimension of an algebraic set. Our algorithm is completely deterministic and approaches the best recent randomized complexity bounds. We also present some new, significantly sharper…

This is a collection of articles, written as sections, on arithmetic properties of differential equations, holomorphic foliations, Gauss-Manin connections and Hodge loci. Each section is independent from the others and it has its own…

A standard assumption in the study of logarithmic structures is "fineness", but this assumption is not preserved by intersections, fiber products, and more general limits. We explain how a coherent logarithmic scheme $X$ has a natural…

Given a finite set of arbitrarily distributed points in affine space with arbitrary multiplicity structures, we present an algorithm to compute the reduced Groebner basis of the vanishing ideal under the lexicographic ordering. Our method…

We show that Brill--Noether loci in Hilbert scheme of points on a smooth connected surface $S$ are non-empty whenever their expected dimension is positive, and that they are irreducible and have expected dimensions. More precisely, we…

The main purpose of this paper is to prove the existence of the moduli space parameterizing the embedded curve singularities of $(k^N,0)$ with an admissible Hilbert polynomial and to study its basic properties.

When $k$ is a field, the classical Jacobian criterion computes the singular locus of an equidimensional, finitely generated $k$-algebra as the closed subset of an ideal generated by appropriate minors of the so-called Jacobian matrix.…

We study kernel functions, and associated reproducing kernel Hilbert spaces $\mathscr{H}$ over infinite, discrete and countable sets $V$. Numerical analysis builds discrete models (e.g., finite element) for the purpose of finding…

The Hilbert scheme of projective 3-folds of codimension 3 or more that are linear scrolls over the projective plane or over a smooth quadric surface or that are quadric or cubic fibrations over the projective line is studied. All known such…

We present some new and recent algorithmic results concerning polynomial system solving over various rings. In particular, we present some of the best recent bounds on: (a) the complexity of calculating the complex dimension of an algebraic…

For a finite subgroup $\Gamma\subset \mathrm{SL}(2,\mathbb{C})$ and $n\geq 1$, we construct the (reduced scheme underlying the) Hilbert scheme of $n$ points on the Kleinian singularity $\mathbb{C}^2/\Gamma$ as a Nakajima quiver variety for…

To every Gorenstein algebra $A$ of finite vector space dimension greater than 1 over a field $\FF$ of characteristic zero, and a linear projection $\pi$ on its maximal ideal ${\mathfrak m}$ with range equal to the annihilator…

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…

We study the locus of the liftings of a homogeneous ideal $H$ in a polynomial ring over any field. We prove that this locus can be endowed with a structure of scheme $\mathrm L_H$ by applying the constructive methods of Gr\"obner bases, for…

The question of what can be computed, and how efficiently, are at the core of computer science. Not surprisingly, in distributed systems and networking research, an equally fundamental question is what can be computed in a…

Statistical shape analysis can be done in a Riemannian framework by endowing the set of shapes with a Riemannian metric. Sobolev metrics of order two and higher on shape spaces of parametrized or unparametrized curves have several desirable…