English
Related papers

Related papers: Dualization of projective algebraic sets by using …

200 papers

We introduce the sequence of generalized Gon\v{c}arov polynomials, which is a basis for the solutions to the Gon\v{c}arov interpolation problem with respect to a delta operator. Explicitly, a generalized Gon\v{c}arov basis is a sequence…

Combinatorics · Mathematics 2019-03-19 Rudolph Lorentz , Salvatore Tringali , Catherine H. Yan

A major open question in the theory of Gorenstein liaison is whether or not every arithmetically Cohen--Macaulay subscheme of $\mathbb{P}^n$ can be G-linked to a complete intersection. Migliore and Nagel showed that, if such a scheme is…

Commutative Algebra · Mathematics 2025-12-22 Sara Faridi , Patricia Klein , Jenna Rajchgot , Alexandra Seceleanu

Gr\"obner Bases and Cylindrical Algebraic Decomposition are generally thought of as two, rather different, methods of looking at systems of equations and, in the case of Cylindrical Algebraic Decomposition, inequalities. However, even for a…

Symbolic Computation · Computer Science 2012-07-30 David J. Wilson , Russell J. Bradford , James H. Davenport

An algorithm for resolution of singularities in characteristic zero is described. It is expressed in terms of multi-ideals, that essentially are defined as a finite sequence of pairs, each one consiting of a sheaf of ideals and a positive…

Algebraic Geometry · Mathematics 2013-04-10 Augusto Nobile

We give an algebraic quantifier elimination algorithm for the first-order theory over any given finite field using Gr\"obner basis methods. The algorithm relies on the strong Nullstellensatz and properties of elimination ideals over finite…

Symbolic Computation · Computer Science 2018-05-01 Sicun Gao , André Platzer , Edmund M. Clarke

Let i be a homomorphism of the multiplicative group into a connected reductive algebraic group over C. Let G^i be the centralizer of the image i. Let LG be the Lie algebra of G and let L_nG (n integer) be the summands in the direct sum…

Representation Theory · Mathematics 2007-05-23 G. Lusztig

The purpose of this note is to give a survey of the algebraic properties of multiplier ideals, and illustrate some of their applications to classical projective geometry.

alg-geom · Mathematics 2008-02-03 Lawrence Ein

In this paper we study scalar multivariate subdivision schemes with general integer expanding dilation matrix. Our main result yields simple algebraic conditions on the symbols of such schemes that characterize their polynomial…

Numerical Analysis · Mathematics 2012-11-15 Maria Charina , Lucia Romani

We call the scheme parameterizing homogeneous ideals with fixed initial ideal the Gr\"obner scheme. We introduce a Bia{\l}ynicki-Birula decomposition of the Hilbert scheme $\mathrm{Hilb}^{P}_n$ for any Hilbert polynomial $P$ such that the…

Algebraic Geometry · Mathematics 2019-03-18 Yuta Kambe

The universal Gr\"{o}bner basis of $I$, is a Gr\"{o}bner basis for $I$ with respect to all term orders simultaneously. Let $I_G$ be the toric ideal of a graph $G$. We characterize in graph theoretical terms the elements of the universal…

Commutative Algebra · Mathematics 2010-05-25 Christos Tatakis , Apostolos Thoma

In the monotone integer dualization problem, we are given two sets of vectors in an integer box such that no vector in the first set is dominated by a vector in the second. The question is to check if the two sets of vectors cover the…

Discrete Mathematics · Computer Science 2024-08-14 Khaled Elbassioni

Several constructive homological methods based on noncommutative Gr\"obner bases are known to compute free resolutions of associative algebras. In particular, these methods relate the Koszul property for an associative algebra to the…

Category Theory · Mathematics 2019-10-01 Yves Guiraud , Eric Hoffbeck , Philippe Malbos

The decomposition of polynomials of one vector variable into irreducible modules for the orthogonal group is a crucial result in harmonic analysis which makes use of the Howe duality theorem and leads to the study of spherical harmonics.…

Representation Theory · Mathematics 2016-08-22 Hendrik De Bie , David Eelbode , Matthias Roels

Matrix congruence can be used to mimic linear maps between homogeneous quadratic polynomials in $n$ variables. We introduce a generalization, called standard-form congruence, which mimics affine maps between non-homogeneous quadratic…

Rings and Algebras · Mathematics 2018-09-19 Jason Gaddis

It is known that a graph isomorphism testing algorithm is polynomially equivalent to a detecting of a graph non-trivial automorphism algorithm. The polynomiality of the latter algorithm, is obtained by consideration of symmetry properties…

General Mathematics · Mathematics 2007-05-23 Aleksandr Golubchik

Axioms for the generalization of root systems were defined and classified (irreducible) by V. Serganova, which precisely correspond to the root systems of basic classical Lie Superalgebras. Here, we present a unified method for constructing…

Rings and Algebras · Mathematics 2026-01-16 J. Dhamothiran , Saudamini Nayak

We present in this short note a polynomial graph extension procedure that can be used to improve any graph isomorphism algorithm. This construction propagates new constraints from the isomorphism constraints of the input graphs (denoted by…

Data Structures and Algorithms · Computer Science 2009-03-03 Daniel Cosmin Porumbel

By employing the (de)homogenization technique in a relatively extensive setting, this note studies in detail the relation between non-homogeneous Gr\"obner bases and homogeneous Gr\"obner bases. As a consequence, a general principle of…

Rings and Algebras · Mathematics 2009-07-16 Huishi Li

We improve the local generic position method for isolating the real roots of a zero-dimensional bivariate polynomial system with two polynomials and extend the method to general zero-dimensional polynomial systems. The method mainly…

Symbolic Computation · Computer Science 2013-12-03 Jin-San Cheng , Kai Jin

We construct a Gr\"obner Basis of the relation ideal of a polynomial, give an interpolation formula for the basis elements and explain the connection of the interpolation formula to the Buchberger--M\"oller algorithm. We present a situation…

Number Theory · Mathematics 2007-05-23 Mathias Lederer