Related papers: Algorithms for Checking Zero-Dimensional Complete …

In this paper, we extend the idea of comprehensive Gr\"{o}bner bases given by Weispfenning (1992) to border bases for zero dimensional parametric polynomial ideals. For this, we introduce a notion of comprehensive border bases and border…

Let $A$ denote an affine algebra over an algebraically closed field $k$, with $\dim A=d\geq 3$. In the light of availability of cancellation theorems for stably free modules $P$ with $rank(P)=d-1$ (corank one), we try to implement the…

This paper deals with properties of the algebraic variety defined as the set of zeros of a "typical" sequence of polynomials. We consider various types of "nice" varieties: set-theoretic and ideal-theoretic complete intersections,…

The existence of ideal objects, such as maximal ideals in nonzero rings, plays a crucial role in commutative algebra. These are typically justified using Zorn's lemma, and thus pose a challenge from a computational point of view. Giving a…

We consider the convergence rate of the alternating projection method for the nontransversal intersection of a semialgebraic set and a linear subspace. For such an intersection, the convergence rate is known as sublinear in the worst case.…

Let $S$ be a polynomial ring over an algebraic closed field $k$ and $ \mathfrak p =(x,y,z,w) $ a homogeneous height four prime ideal. We give a finite characterization of the degree two component of ideals primary to $\mathfrak p$, with…

Consider the polynomial ring $R_n = k[x_1,...,x_n]$, where $k$ is a field. Let $m = (x_1,...,x_n)$ and $I$ be an $m$-primary monomial ideal in $R$. We consider the problem of determining whether such ideals are in the Gorenstein liasion…

We take a fresh look at the relationship between $K$-regularity and regularity of schemes, proving two results in this direction. First, we show that $K_2$-regular affine algebras over fields of characteristic zero are normal. Second, we…

Let R be a complete discrete valuation ring with algebraically closed residue field k and fraction field K. Let X_K be a projective smooth and geometrically connected scheme over K. N\'eron defined a canonical pairing on X_K between…

A perfect matching in the complete graph on $2k$ vertices is a set of edges such that no two edges have a vertex in common and every vertex is covered exactly once. Two perfect matchings are said to be $t$-intersecting if they have at least…

Consider the Fano scheme $F_k(Y)$ parameterizing $k$-dimensional linear subspaces contained in a complete intersection $Y \subset \mathbb{P}^m$ of multi-degree $\underline{d} = (d_1, \ldots, d_s)$. It is known that, if $t := \sum_{i=1}^s…

We study the finite generation of the intersection algebra of two principal ideals I and J in a unique factorization domain R. We provide an algorithm that produces a list of generators of this algebra over R. In the special case that R is…

We characterize the graphs $G$ for which their toric ideals $I_G$ are complete intersections. In particular we prove that for a connected graph $G$ such that $I_G$ is complete intersection all of its blocks are bipartite except of at most…

We characterize the canonical algebras such that for all dimension vectors of homogeneous modules the corresponding module varieties are complete intersections (respectively, normal). We also investigate the sets of common zeros of…

Let I = (F_1,...,F_r) be a homogeneous ideal of R = k[x_0,...,x_n] generated by a regular sequence of type (d_1,...,d_r). We give an elementary proof for an explicit description of the graded Betti numbers of I^s for any s \geq 1. These…

In singularity theory or algebraic geometry, it is natural to investigate possible Hilbert functions for special algebras $A$ such as local complete intersections or more generally Gorenstein algebras. The sequences that occur as {the}…

A complete intersection $f_1=\cdots=f_k=0$ is sch\"on, if $f_1=\cdots=f_j=0$ defines a sch\"on subvariety of an algebraic torus for every $j\leqslant k$. This class includes nondegenerate complete intersections, critical loci of their…

Let $(S, \mathfrak n) $ be a regular local ring and let $I \subseteq \mathfrak n^2 $ be a perfect ideal of $S. $ Sharp upper bounds on the minimal number of generators of $I$ are known in terms of the Hilbert function of $R=S/I. $ Starting…

We classify all binomial edge ideals that are complete intersection and Cohen-Macaulay almost complete intersection. We also describe an algorithm and provide an implementation to compute primary decomposition of binomial edge ideals.

We generalize some properties related to Hilbert series and Lefschetz properties of Milnor algebras of projective hypersurfaces with isolated singularities to the more general case of an almost complete intersection ideal $J$ of dimension…