English
Related papers

Related papers: Componentwise Linearity Under Square-Free Gr\"obne…

200 papers

Let $\mathbf{x}_{k \times p}$ be a $k \times p$ matrix of variables and let $\mathbb{F}[\mathbf{x}_{k \times p}]$ be the polynomial ring in these variables. Given two weak compositions $\alpha,\beta \models_0 n$ of lengths $\ell(\alpha) =…

Combinatorics · Mathematics 2025-04-16 Jaeseong Oh , Brendon Rhoades

This paper is concerned with the prime spectrum of a tensor product of algebras over a field. It seeks necessary and sufficient conditions for such a tensor product to have the S-property, strong S-property, and catenarity. Its main results…

Commutative Algebra · Mathematics 2007-05-23 S. Bouchiba , D. E. Dobbs , S. Kabbaj

Let $R$ be a commutative chain ring. We use a variation of Gr\"obner bases to study the lattice of ideals of $R[x]$. Let $I$ be a proper ideal of $R[x]$. We are interested in the following two questions: When is $R[x]/I$ Frobenius? When is…

Commutative Algebra · Mathematics 2013-08-06 Xiang-dong Hou

Due to the elimination property held by the lexicographic monomial order, the corresponding Groebner bases display strong structural properties from which meaningful informations can easily be extracted. We study these properties for…

Symbolic Computation · Computer Science 2021-09-30 Xavier Dahan

Let f be a square-free polynomial in Fq[t][x] where Fq is a field of q elements. We view f as a polynomial in the variable x with coefficients in the ring Fq[t]. We study squarefree values of f in sparse subsets of Fq[t] which are given by…

Number Theory · Mathematics 2015-03-04 Shai Rosenberg

A symmetric ideal is an ideal in a polynomial ring which is stable under all permutations of the variables. In this paper we initiate a global study of zero-dimensional symmetric ideals. By this we mean a geometric study of the invariant…

Algebraic Geometry · Mathematics 2025-09-15 Sebastian Debus , Andreas Kretschmer

In this paper, we investigate the componentwise linearity and the Castelnuovo-Mumford regularity of symbolic powers of polymatroidal ideals. For a polymatroidal ideal $I$, we conjecture that every symbolic power $I^{(k)}$ is componentwise…

Commutative Algebra · Mathematics 2025-02-28 Antonino Ficarra , Somayeh Moradi

As a higher analogue of the edge ideal of a graph, we study the $t$-connected ideal $\operatorname{J}_{t}$. This is the monomial ideal generated by the connected subsets of size $t$. For chordal graphs, we show that $\operatorname{J}_{t}$…

Commutative Algebra · Mathematics 2025-04-02 H. Ananthnarayan , Omkar Javadekar , Aryaman Maithani

Given a square-free monomial ideal $I$ in a polynomial ring $R$ over a field $\mathbb{K}$, one can associate it with its LCM-lattice and its hypergraph. In this short note, we establish the connection between the LCM-lattice and the…

Commutative Algebra · Mathematics 2019-09-24 Kuei-Nuan Lin , Sonja Mapes

For any polynomial ideal $I$, let the minimal triangular set contained in the reduced Buchberger-Gr\"obner basis of $I$ with respect to the purely lexicographical term order be called the W-characteristic set of $I$. In this paper, we…

Commutative Algebra · Mathematics 2015-07-01 Dongming Wang

Let $P$ be a principal indecomposable module of a finite group $G$ in characteristic $2$ and let $\varphi$ be the Brauer character of the corresponding simple $G$-module. We show that $P$ affords a non-degenerate $G$-invariant quadratic…

Representation Theory · Mathematics 2018-03-09 Rod Gow , John Murray

Let $I$ be a monomial ideal in a polynomial ring $S=K[x_1,\ldots,x_n]$ over a field $K$ with $n=2$ or $3$, and let $\overline{I}$ be its integral closure. We will show that $\text{reg} (\overline{I}) \le \text{reg} (I)$. Furthermore, if $I$…

Commutative Algebra · Mathematics 2026-03-05 Yijun Cui , Cheng Gong , Guangjun Zhu

We investigate, using the notion of linear quotients, significative classes of connected graphs whose monomial edge ideals, not necessarily squarefree, have linear resolution, in order to compute standard algebraic invariants of the…

Rings and Algebras · Mathematics 2012-10-30 Maurizio Imbesi , Monica La Barbiera

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…

Commutative Algebra · Mathematics 2026-05-19 Benjamin Mudrak

This is a survey article on Gorenstein initial complexes of extensively studied ideals in commutative algebra and algebraic geometry. These include defining ideals of Segre and Veronese varieties, toric deformations of flag varieties known…

Commutative Algebra · Mathematics 2007-05-23 Aldo Conca , Serkan Hosten , Rekha R. Thomas

Given a collection of $t$ subspaces in an $n$-dimensional $\mathbb{K} $-vector space $W$ we can associate to them $t$ vanishing ideals in the symmetric algebra $\mathcal{S}(W^*) = \mathbb{K}[x_1,x_2,\dots,x_n]$. As a subspace is defined by…

Commutative Algebra · Mathematics 2019-06-25 Francesca Gandini

Let $\mathbb{F}[X]$ be the polynomial ring over the variables $X=\{x_1,x_2, \ldots, x_n\}$. An ideal $I=\langle p_1(x_1), \ldots, p_n(x_n)\rangle$ generated by univariate polynomials $\{p_i(x_i)\}_{i=1}^n$ is a \emph{univariate ideal}. We…

Data Structures and Algorithms · Computer Science 2018-09-24 V. Arvind , Abhranil Chatterjee , Rajit Datta , Partha Mukhopadhyay

Using the concept of $d$-collapsibility from combinatorial topology, we define chordal simplicial complexes and show that their Stanley-Reisner ideals are componentwise linear. Our construction is inspired by and an extension of "chordal…

Commutative Algebra · Mathematics 2018-07-26 Mina Bigdeli , Sara Faridi

We present an effective method for computing parametric primary decomposition via comprehensive Gr\"obner systems. In general, it is very difficult to compute a parametric primary decomposition of a given ideal in the polynomial ring with…

Symbolic Computation · Computer Science 2024-08-29 Yuki Ishihara , Kazuhiro Yokoyama

Let $\mathcal{C} \subset \mathbb{P}^r$ be a linearly normal curve of arithmetic genus $g$ and degree $d$. In \cite{SD}, B. Saint-Donat proved that the homogeneous ideal $I(\mathcal{C})$ of $\mathcal{C}$ is generated by quadratic equations…

Algebraic Geometry · Mathematics 2022-02-03 Euisung Park