Related papers: Generalizing Tanisaki's ideal via ideals of trunca…

We introduce a family of ideals $I_{n,\lambda,s}$ in $\mathbb{Q}[x_1,\dots,x_n]$ for $\lambda$ a partition of $k\leq n$ and an integer $s \geq \ell(\lambda)$. This family contains both the Tanisaki ideals $I_\lambda$ and the ideals…

Let H = <n_1,...,n_e> be a numerical semigroup generated by e elements. Let k[H]= k[x_1, .... , x_e]/I_H = S/I_H be the semigroup ring of H over k. We define inverse polynomial J_{H,h} for h in H and express the defining ideal of I_H using…

An ideal of polynomials is symmetric if it is closed under permutations of variables. We relate general symmetric ideals to the so called Specht ideals generated by all Specht polynomials of a given shape. We show a connection between the…

The symmetric group $\mathfrak{S}_n$ acts on the polynomial ring $\mathbb{Q}[\mathbf{x}_n] = \mathbb{Q}[x_1, \dots, x_n]$ by variable permutation. The invariant ideal $I_n$ is the ideal generated by all $\mathfrak{S}_n$-invariant…

Consider the ring $\mathcal{S}$ of symmetric polynomials in $k$ variables over an arbitrary base ring $\mathbf{k}$. Fix $k$ scalars $a_{1},a_{2},\ldots,a_{k}\in\mathbf{k}$. Let $I$ be the ideal of $\mathcal{S}$ generated by…

We study an inductive method of computing initial ideals and Gr\"obner bases for families of ideals in a polynomial ring. This method starts from a given set of pairs $(I,J)$ where $I$ is any ideal and $J$ is a monomial ideal contained in…

A symmetric chain of ideals is a rule that assigns to each finite set $S$ an ideal $I_S$ in the polynomial ring $\mathbb{C}[x_i]_{i \in S}$ such that if $\phi \colon S \to T$ is an embedding of finite sets then the induced homomorphism…

The growth of Hilbert coefficients for powers of ideals are studied. For a graded ideal $I$ in the polynomial ring $S=K[x_1,...,x_n]$ and a finitely generated graded $S$-module, the Hilbert coefficients $e_i(M/I^kM)$ are polynomial…

Let $\Bbbk$ be a field and let $I$ be a monomial ideal in the polynomial ring $Q=\Bbbk[x_1,\ldots,x_n]$. In her thesis, Taylor introduced a complex which provides a finite free resolution for $Q/I$ as a $Q$-module. Later, Gemeda constructed…

Our main theorems provide a single geometric setting in which polynomial representatives for Schubert classes in the integral cohomology ring of the flag manifold are determined uniquely, and have positive coefficients for geometric…

Let $R=\mathbf{C}[\xi_1,\xi_2,\ldots]$ be the infinite variable polynomial ring, equipped with the natural action of the infinite symmetric group $\mathfrak{S}$. We classify the $\mathfrak{S}$-primes of $R$, determine the containments among…

An element [\Phi] of the Grassmannian of n-dimensional subspaces of the Hardy space H^2, extended over the field C(x_1,..., x_n), may be associated to any polynomial basis {\phi} for C(x). The Pl\"ucker coordinates…

We propose an effective method for primary decomposition of symmetric ideals. Let $K[X]=K[x_1,\ldots,x_n]$ be the $n$-valuables polynomial ring over a field $K$ and $\mathfrak{S}_n$ the symmetric group of order $n$. We consider the…

Orthogonal polynomials with respect to the hypergeometric distribution on lattices in polyhedral domains in ${\mathbb R}^d$, which include hexagons in ${\mathbb R}^2$ and truncated tetrahedrons in ${\mathbb R}^3$, are defined and studied.…

Kazhdan-Lusztig ideals, a family of generalized determinantal ideals investigated in [Woo-Yong '08], provide an explicit choice of coordinates and equations encoding a neighbourhood of a torus-fixed point of a Schubert variety on a type A…

Let S=K[x_1,...,x_n] be a polynomial ring. Denote by $p_a$ the power sum symmetric polynomial x_1^a+...+x_n^a. We consider the following two questions: Describe the subsets $A \subset \mathbb{N}$ such that the set of polynomials $p_a$ with…

We characterize the monomial ideals $I\subset K[x_1,\ldots,x_n]$ with the property that the polarization $I^p$ and $I^{\sigma^n}:=$ the ideal obtained from $I$ by the $n$-th iterated squarefree operator $\sigma$ are isomorphic via a…

The aim of this work is to study the quotient ring R_n of the ring Q[x_1,...,x_n] over the ideal J_n generated by non-constant homogeneous quasi-symmetric functions. We prove here that the dimension of R_n is given by C_n, the n-th Catalan…

We consider the problem of finding the isolated common roots of a set of polynomial functions defining a zero-dimensional ideal I in a ring R of polynomials over C. Normal form algorithms provide an algebraic approach to solve this problem.…

Let $p$ be a prime number, $\Bbbk$ a field of characteristic $p$ and $G$ a finite $p$-group. Let $V$ be a finite-dimensional linear representation of $G$ over $\Bbbk$. Write $S = \mathrm{Sym} V^*$. For a class of $p$-groups which we call…