Related papers: Null- and Positivstellens\"atze for rationally res…

A "squarefree module" over a polynomial ring $S = k[x_1, .., x_n]$ is a generalization of a Stanley-Reisner ring, and allows us to apply homological methods to the study of monomial ideals systematically. Let $Sq$ be the category of…

In this paper we study the equations of the elimination ideal associated with $n+1$ generic multihomogeneous polynomials defined over a product of projective spaces of dimension $n$. We first prove a duality property and then make this…

Let $K$ be a field, and $A=K[a_1,\ldots ,a_n]$ a solvable polynomial algebra in the sense of [K-RW, {\it J. Symbolic Comput.}, 9(1990), 1--26]. Based on the Gr\"obner basis theory for $A$ and for free modules over $A$, an elimination theory…

The present paper investigates properties of quasi-stable ideals and of Borel-fixed ideals in a polynomial ring $k[x_0,\dots,x_n]$, in order to design two algorithms: the first one takes as input $n$ and an admissible Hilbert polynomial…

For a normal F-finite variety $X$ and a boundary divisor $\Delta$ we give a uniform description of an ideal which in characteristic zero yields the multiplier ideal, and in positive characteristic the test ideal of the pair $(X,\Delta)$.…

We give a non-commutative Positivstellensatz for CP^n: The (commutative) *-algebra of polynomials on the real algebraic set CP^n with the pointwise product can be realized by phase space reduction as the U(1)-invariant polynomials on…

Let R be the ring of polynomials in n central variables over the real quaternion algebra H, and let I be a left ideal in R. We prove that if a polynomial p in R vanishes at all the common zeros of I in H^n with commuting coordinates, then…

For a graded ideal I in a graded ring, the deviation of I is defined as the difference between the minimal number of generators of I and its grade. In this article, we provide bigraded free resolutions of the symmetric algebras for specific…

Let I be a conjugation-invariant ideal in the complex polynomial ring with variables z_1,...,z_n and their conjugates. The ideal I has the Quillen property if every real valued, strictly positive polynomial on the real zero set of I in C^n…

The paper is devoted to the so-called complete Leibniz algebras. It is known that a Lie algebra with a complete ideal is split. We will prove that this result is valid for Leibniz algebras whose complete ideal is a solvable algebra such…

In [4] Sturmfels linked the Hilbert Nullstellensatz to Gr\"obner bases through final polynomials. In (loc. cit.) it was claimed that final polynomials always appear in a lexicographic Gr\"obner basis of a certain ideal. In this paper, we…

We investigate the hyperrigidity of subsets of unital $C^*$-algebras annihilated by states (or, more generally, by completely positive maps). This is closely related to the concept of rigidity at $0$ introduced by G. Salomon, who studied…

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…

We introduce a new division formula on projective space which provides explicit solutions to various polynomial division problems with sharp degree estimates. We consider simple examples as the classical Macaulay theorem as well as a quite…

Let X* be a subset of an affine space A^s, over a finite field K, which is parameterized by the edges of a clutter. Let X and Y be the images of X* under the maps x --> [x] and x --> [(x,1)] respectively, where [x] and [(x,1)] are points in…

In a broad sense, positivstellens\"atze are results about representations of polynomials which are strictly positive on a given set. We give constructive and, to a large extent, elementary proofs of some known positivstellens\"atze for…

From the theory of finite dimensional Lie algebras it is known that every finite dimensional Lie algebra is decomposed into a semidirect sum of semisimple subalgebra and solvable radical. Moreover, due to work of Mal'cev the study of…

Given a homogeneous ideal I of a polynomial ring A=K[X_1,...,X_n] and a monomial order, we construct a new monomial ideal of A associated with I. We call it the zero-generic initial ideal of I with respect to the order and denote it with…

The structure of a solvable Lie groups admitting an Einstein left-invariant metric is, in a sense, completely determined by the nilradical of its Lie algebra. We give an easy-to-check necessary and sufficient condition for a nilpotent…

A universal coefficient theorem is proved for C*-algebras over an arbitrary finite T_0-space X which have vanishing boundary maps. Under bootstrap assumptions, this leads to a complete classification of unital/stable real-rank-zero…