Binomial vanishing ideals

Azucena Tochimani,Rafael H. Villarreal

DOI: https://doi.org/10.48550/arXiv.1503.02323

2015-04-22

Abstract:In this paper we characterize, in algebraic and geometric terms, when a graded vanishing ideal is generated by binomials over any field K.

Commutative Algebra,Algebraic Geometry

What problem does this paper attempt to address?

Gröbner bases, symmetric matrices, and type C Kazhdan–Lusztig varieties

Laura Escobar,Alex Fink,Jenna Rajchgot,Alexander Woo

DOI: https://doi.org/10.1112/jlms.12856

2024-02-03

Journal of the London Mathematical Society

Abstract:Abstract We study a class of combinatorially defined polynomial ideals that are generated by minors of a generic symmetric matrix. Included within this class are the symmetric determinantal ideals, the symmetric ladder determinantal ideals, and the symmetric Schubert determinantal ideals of A. Fink, J. Rajchgot, and S. Sullivant. Each ideal in our class is a type C analog of a Kazhdan–Lusztig ideal of A. Woo and A. Yong; that is, it is the scheme‐theoretic defining ideal of the intersection of a type C Schubert variety with a type C opposite Schubert cell, appropriately coordinatized. The Kazhdan–Lusztig ideals that arise are exactly those where the opposite cell is 123‐avoiding. Our main results include Gröbner bases for these ideals, prime decompositions of their initial ideals (which are Stanley–Reisner ideals of subword complexes), and combinatorial formulas for their multigraded Hilbert series in terms of pipe dreams.

mathematics
On binomial complete intersections

Filip Jonsson Kling,Samuel Lundqvist,Lisa Nicklasson

2024-03-22

Abstract:We consider homogeneous binomial ideals $I=(f_1,\ldots,f_n)$ in $K[x_1, \ldots, x_n]$, where $f_i = a_i x_i^{d_i} - b_i m_i$ and $a_i \neq 0$. When such an ideal is a complete intersection, we show that the monomials which are not divisible by $x_i^{d_i}$ for $i=1,\ldots,n$ form a vector space basis for the corresponding quotient, and we describe the Macaulay dual generator in terms of a directed graph that we associate to $I$. These two properties can be seen as a natural generalization of well-known properties for monomial complete intersections. Moreover, we give a description of the radical of the resultant of $I$ in terms of the directed graph.

Commutative Algebra
The Ideal of Vanishing Polynomials and the Ring of Polynomial Functions

Matvey Borodin,Ethan Liu,Justin Zhang

2023-09-25

Abstract:Vanishing polynomials are polynomials over a ring which output $0$ for all elements in the ring. In this paper, we study the ideal of vanishing polynomials over specific types of rings, along with the closely related ring of polynomial functions. In particular, we provide several results on generating vanishing polynomials. We first analyze the ideal of vanishing polynomial over $\mathbb{Z}_n$, the ring of the integers modulo $n$. We then establish an isomorphism between the vanishing polynomials of a ring and the vanishing polynomials of the constituent rings in its decomposition. Lastly, we generalize our results to study the ideal of vanishing polynomials over arbitrary commutative rings.

Commutative Algebra
Graded ideals of König type

Jürgen Herzog,Takayuki Hibi,Somayeh Moradi

DOI: https://doi.org/10.48550/arXiv.2103.07755

2021-03-14

Abstract:Inspired by the notion of König graphs we introduce graded ideals of König type with respect to a monomial order $<$. It is shown that if $I$ is of König type, then the Cohen--Macaulay property of $\ini_<(I)$ does not depend on the characteristic of the base field. This happens to be the case also for $I$ itself when $I$ is a binomial edge ideal. Attached to an ideal of König type is a sequence of linear forms, whose elements are variables or differences of variables. This sequence is a system of parameters for $\ini_<(I)$, and is a potential system of parameters for $I$ itself. We study in detail the ideals of König type among the edge ideals, binomial edge ideals and the toric ideal of a Hibi ring and use the König property to determine explicitly their canonical module.

Commutative Algebra
On real one-sided ideals in a free algebra

Jakob Cimprič,J. William Helton,Igor Klep,Scott McCullough,Christopher Nelson

DOI: https://doi.org/10.1016/j.jpaa.2013.05.012

2013-04-14

Abstract:In classical and real algebraic geometry there are several notions of the radical of an ideal I. There is the vanishing radical defined as the set of all real polynomials vanishing on the real zero set of I, and the real radical defined as the smallest real ideal containing I. By the real Nullstellensatz they coincide. This paper focuses on extensions of these to the free algebra R<x,x^*> of noncommutative real polynomials in x=(x_1,...,x_g) and x^*=(x_1^*,...,x_g^*). We work with a natural notion of the (noncommutative real) zero set V(I) of a left ideal I in the free algebra. The vanishing radical of I is the set of all noncommutative polynomials p which vanish on V(I). In this paper our quest is to find classes of left ideals I which coincide with their vanishing radical. We completely succeed for monomial ideals and homogeneous principal ideals. We also present the case of principal univariate ideals with a degree two generator and find that it is very messy. Also we give an algorithm (running under NCAlgebra) which checks if a left ideal is radical or is not, and illustrate how one uses our implementation of it.

Rings and Algebras,Algebraic Geometry,Functional Analysis
Computing the Binomial Part of a Polynomial Ideal

Martin Kreuzer,Florian Walsh

2023-07-19

Abstract:Given an ideal $I$ in a polynomial ring $K[x_1,\dots,x_n]$ over a field $K$, we present a complete algorithm to compute the binomial part of $I$, i.e., the subideal ${\rm Bin}(I)$ of $I$ generated by all monomials and binomials in $I$. This is achieved step-by-step. First we collect and extend several algorithms for computing exponent lattices in different kinds of fields. Then we generalize them to compute exponent lattices of units in 0-dimensional $K$-algebras, where we have to generalize the computation of the separable part of an algebra to non-perfect fields in characteristic $p$. Next we examine the computation of unit lattices in affine $K$-algebras, as well as their associated characters and lattice ideals. This allows us to calculate ${\rm Bin}(I)$ when $I$ is saturated with respect to the indeterminates by reducing the task to the 0-dimensional case. Finally, we treat the computation of ${\rm Bin}(I)$ for general ideals by computing their cellular decomposition and dealing with finitely many special ideals called $(s,t)$-binomial parts. All algorithms have been implemented in SageMath.

Commutative Algebra,Algebraic Geometry
Grothendieck's Vanishing and Non-vanishing Theorems in an Abstract Module Category

Divya Ahuja,Surjeet Kour

DOI: https://doi.org/10.1007/s10485-024-09767-y

2024-04-06

Applied Categorical Structures

Abstract:In this article, we prove Grothendieck's Vanishing and Non-vanishing Theorems of local cohomology objects in the non-commutative algebraic geometry framework of Artin and Zhang. Let k be a field of characteristic zero and be a strongly locally noetherian k -linear Grothendieck category. For a commutative noetherian k -algebra R , let denote the category of R -objects in obtained through a non-commutative base change by R of the abelian category . First, we establish Grothendieck's Vanishing Theorem for any object in . Further, if R is local and is Hom-finite, we prove Non-vanishing Theorem for any finitely generated flat object in .

mathematics
Binomial ideals in quantum tori and quantum affine spaces

K. R. Goodearl

2024-05-30

Abstract:The article targets binomial ideals in quantum tori and quantum affine spaces. First, noncommutative analogs of known results for commutative (Laurent) polynomial rings are obtained, including the following: Under the assumption of an algebraically closed base field, it is proved that primitive ideals are binomial, as are radicals of binomial ideals and prime ideals minimal over binomial ideals. In the case of a quantum torus $\mathcal{T}_{\bf{q}}$, the results are strongest: In this situation, the binomial ideals are parametrized by characters on sublattices of the free abelian group whose group algebra is the center of $\mathcal{T}_{\bf{q}}$; the sublattice-character pairs corresponding to primitive ideals as well as to radicals and minimal primes of binomial ideals are determined. As for occurrences of binomial ideals in quantum algebras: It is shown that cocycle-twisted group algebras of finitely generated abelian groups are quotients of quantum tori modulo binomial ideals. Another appearance is as follows: Cocycle-twisted semigroup algebras of finitely generated commutative monoids, as well as quantum affine toric varieties, are quotients of quantum affine spaces modulo certain types of binomial ideals.

Quantum Algebra,Rings and Algebras
Vanishing of quasi-invariant generalized functions

dihua jiang,binyong sun,chenbo zhu

2012-01-01

Abstract: Determination of quasi-invariant generalized functions is important for a variety of problems in representation theory, notably character theory and restriction problems. In this note, we review some new and easy-to-use techniques to show vanishing of quasi-invariant generalized functions, developed in the recent work of the authors (Uniqueness of Ginzburg-Rallis models: the Archimedean case, Trans. Amer. Math. Soc. 363, (2011), 2763-2802). The first two techniques involve geometric notions attached to submanifolds, which we call metrical properness and unipotent $\chi$-incompatibility. The third one is analytic in nature, and it arises from the first occurrence phenomenon in Howe correspondence. We also highlight how these techniques quickly lead to two well-known uniqueness results, on trilinear forms and Whittaker models.
Gröbner bases for bipartite determinantal ideals

Josua Illian,Li Li

DOI: https://doi.org/10.1080/00927872.2024.2372686

2024-07-14

Communications in Algebra

Abstract:Nakajima's graded quiver varieties naturally appear in the study of bases of cluster algebras. One particular family of these varieties, namely the bipartite determinantal varieties , can be defined for any bipartite quiver and gives a vast generalization of classical determinantal varieties with broad applications to algebra, geometry, combinatorics, and statistics. The ideals that define bipartite determinantal varieties are called bipartite determinantal ideals. We provide an elementary method of proof showing that the natural generators of a bipartite determinantal ideal form a Gröbner basis, using an S-polynomial construction method that relies on the Leibniz formula for determinants. This method is developed from an idea by Narasimhan and Caniglia–Guccione–Guccione. As applications, we study the connection between double determinantal ideals (which are bipartite determinantal ideals of a quiver with two vertices) and tensors, and provide an interpretation of these ideals within the context of algebraic statistics.

mathematics
Unmixedness of generalized Veronese bi-type ideals

Monica La Barbiera,Roya Moghimipor

2024-03-24

Abstract:In this paper, some algebraic invariants of generalized Veronese bi-type ideals are computed. We characterize the unmixed generalized Veronese bi-type ideals and we give a description of their associated prime ideals.

Commutative Algebra
Linearly presented perfect ideals of codimension $2$ in three variables

André Dória,Zaqueu Ramos,Aron Simis

DOI: https://doi.org/10.48550/arXiv.1709.02633

2017-12-07

Abstract:The goal of this paper is the fine structure of the ideals in the title, with emphasis on the properties of the associated Rees algebra and the special fiber. The watershed between the present approach and some of the previous work in the literature is that here one does not assume that the ideals in question satisfy the common generic properties. One exception is a recent work of N. P. H. Lan which inspired the present work. Here we recover and extend his work. We strongly focus on the behavior of the ideals of minors of the corresponding so-called Hilbert--Burch matrix and on conjugation features of the latter. We apply the results to three important models: linearly presented ideals of plane fat points, reciprocal ideals of hyperplane arrangements and linearly presented monomial ideals.

Commutative Algebra,Algebraic Geometry
Level and pseudo-Gorenstein binomial edge ideals

Giancarlo Rinaldo,Rajib Sarkar

DOI: https://doi.org/10.1016/j.jalgebra.2023.05.037

2023-08-10

Abstract:We prove that level binomial edge ideals with regularity 2 and pseudo-Gorenstein binomial edge ideals with regularity 3 are cones, and we describe them completely. Also, we characterize level and pseudo-Gorenstein binomial edge ideals of bipartite graphs.

Commutative Algebra
Monomial-agnostic computation of vanishing ideals

Hiroshi Kera,Yoshihiko Hasegawa

2023-12-31

Abstract:In the last decade, the approximate basis computation of vanishing ideals has been studied extensively in computational algebra and data-driven applications such as machine learning. However, symbolic computation and the dependency on term order remain essential gaps between the two fields. In this study, we present the first $\textit{monomial-agnostic}$ basis computation, which works fully numerically with proper normalization and without term order. This is realized by gradient normalization, a newly proposed data-dependent normalization that normalizes a polynomial with the magnitude of gradients at given points. The data-dependent nature of gradient normalization brings various significant advantages: i) efficient resolution of the spurious vanishing problem, the scale-variance issue of approximately vanishing polynomials, without accessing coefficients of terms, ii) scaling-consistent basis computation, ensuring that input scaling does not lead to an essential change in the output, and iii) robustness against input perturbations, where the upper bound of error is determined only by the magnitude of the perturbations. Existing studies did not achieve any of these. As further applications of gradient information, we propose a monomial-agnostic basis reduction method and a regularization method to manage positive-dimensional ideals.

Symbolic Computation,Commutative Algebra
Cohen-Macaulay Property of Binomial Edge Ideals with Girth of Graphs

Kamalesh Saha,Indranath Sengupta

2024-09-10

Abstract:Conca and Varbaro (Invent. Math. 221 (2020), no. 3) showed the equality of depth of a graded ideal and its initial ideal in a polynomial ring when the initial ideal is square-free. In this paper, we give some beautiful applications of this fact in the study of Cohen-Macaulay binomial edge ideals. We prove that for the characterization of Cohen-Macaulay binomial edge ideals, it is enough to consider only "biconnected graphs with some whisker attached" and this done by investigating the initial ideals. We give several necessary conditions for a binomial edge ideal to be Cohen-Macaulay in terms of smaller graphs. Also, under a hypothesis, we give a sufficient condition for Cohen-Macaulayness of binomial edge ideals in terms of blocks of graphs. Moreover, we show that a graph with Cohen-Macaulay binomial edge ideal has girth less than $5$ or equal to infinity.

Commutative Algebra
On Generalized Monomial Codes Defined Over Sets with a Special Vanishing Ideal

Cícero Carvalho

DOI: https://doi.org/10.1007/s00574-024-00389-5

2024-03-21

Bulletin of the Brazilian Mathematical Society New Series

Abstract:In this work we study evaluation codes defined on the points of a subset of an affine space over a finite field, whose vanishing ideal admits a Gröbner basis of a certain type, which occurs for subsets considered in several well-known examples of evaluation codes, like Reed-Solomon codes, Reed-Muller codes and affine cartesian codes. We determine properties of the polynomials in this basis which allow the determination of the footprint of the vanishing ideal and the explicit construction of indicator functions for the points of . We then consider generalized monomial evaluation codes and find information on their duals, and the dimension of their hulls. We present several examples of applications of the results we found.

mathematics
Matrix Schubert varieties, binomial ideals, and reduced Gröbner bases

Ada Stelzer

2023-06-06

Abstract:We prove a sharp lower bound on the number of terms in an element of the reduced Gröbner basis of a Schubert determinantal ideal $I_w$ under the term order of [Knutson-Miller '05]. We give three applications. First, we give a pattern-avoidance characterization of the matrix Schubert varieties whose defining ideals are binomial. This complements a result of [Escobar-Mészáros '16] on matrix Schubert varieties that are toric with respect to their natural torus action. Second, we give a combinatorial proof that the recent formulas of [Rajchgot-Robichaux-Weigandt '23] and [Almousa-Dochtermann-Smith '22] computing the Castelnuovo-Mumford regularity of vexillary $I_w$ and toric edge ideals of bipartite graphs respectively agree for binomial $I_w$. Third, we demonstrate that the Gröbner basis for $I_w$ given by minimal generators [Gao-Yong '22] is reduced if and only if the defining permutation $w$ is vexillary.

Commutative Algebra,Algebraic Geometry,Combinatorics
Vanishing theorems for Mather-Jacobian multiplier ideals on a Gorenstein projective variety

Wenbo Niu

DOI: https://doi.org/10.48550/arXiv.1508.02361

2015-08-10

Algebraic Geometry

Abstract:In this paper, we establish several results related to vanishing theorems for Mather-Jacobian multiplier ideals on a Gorenstein projective variety, including an injectivity theorem, a Nadel-type vanishing theorem, a Griffith-type vanishing theorem for vector bundles, and a vanishing theorem for the asymptotic Mather-Jacobian multiplier ideals.
The $\text{v}$-function of powers of sums of ideals

Antonino Ficarra,Pedro Macias Marques

2024-09-03

Abstract:Let $K$ be a field, $I\subset R=K[x_1,\dots,x_n]$ and $J\subset T=K[y_1,\dots,y_m]$ be graded ideals. Set $S=R\otimes_KT$ and let $L=IS+JS$. The behaviour of the $\text{v}$-function $\text{v}(L^k)$ in terms of the $\text{v}$-functions $\text{v}(I^k)$ and $\text{v}(J^k)$ is investigated. When $I$ and $J$ are monomial ideals, we describe $\text{v}(L^k)$, giving an explicit formula involving $\text{v}(I^k)$ and $\text{v}(J^k)$.

Commutative Algebra,Combinatorics

Binomial vanishing ideals

Gröbner bases, symmetric matrices, and type C Kazhdan–Lusztig varieties

On binomial complete intersections

The Ideal of Vanishing Polynomials and the Ring of Polynomial Functions

Graded ideals of König type

On real one-sided ideals in a free algebra

Computing the Binomial Part of a Polynomial Ideal

Grothendieck's Vanishing and Non-vanishing Theorems in an Abstract Module Category

Binomial ideals in quantum tori and quantum affine spaces

Vanishing of quasi-invariant generalized functions

Gröbner bases for bipartite determinantal ideals

Unmixedness of generalized Veronese bi-type ideals

Linearly presented perfect ideals of codimension $2$ in three variables

Level and pseudo-Gorenstein binomial edge ideals

Monomial-agnostic computation of vanishing ideals

Cohen-Macaulay Property of Binomial Edge Ideals with Girth of Graphs

On Generalized Monomial Codes Defined Over Sets with a Special Vanishing Ideal

Matrix Schubert varieties, binomial ideals, and reduced Gröbner bases

Vanishing theorems for Mather-Jacobian multiplier ideals on a Gorenstein projective variety

The $\text{v}$-function of powers of sums of ideals