Related papers: Bitableaux bases for Garsia-Haiman modules of holl…

Several bases of the Garsia-Haiman modules for hook shapes are given, as well as combinatorial decomposition rules for these modules. These bases and rules extend the classical ones for the coinvariant algebra of type $A$. We also give a…

The Garsia--Haiman module is a bigraded $\mathfrak{S}_n$-module whose Frobenius image is a Macdonald polynomial. The method of orbit harmonics promotes an $\mathfrak{S}_n$-set $X$ to a graded polynomial ring. The orbit harmonics can be…

Let $A$ be the quotient of a graded polynomial ring $\mathbb{Z}[x_1,\cdots,x_m]\otimes\Lambda[y_1,\cdots,y_n]$ by an ideal generated by monomials with leading coefficients 1. Then we constructed a space~$X_A$ such that $A$ is isomorphic to…

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…

Let $\Lambda$ be a commutative Noetherian ring, and let $I$ be a proper ideal of $\Lambda$, $R=\Lambda /I$. Consider the polynomial rings $T=\Lambda [x_1,...x_n]$ and $A=R[x_1,...,x_n]$. Suppose that linear equations are solvable in…

We propose a numerical linear algebra based method to find the multiplication operators of the quotient ring $\mathbb{C}[x]/I$ associated to a zero-dimensional ideal $I$ generated by $n$ $\mathbb{C}$-polynomials in $n$ variables. We assume…

Let $A$ be a commutative Noetherian ring of characteristic zero and $R=A[X_1, \ldots, X_d]$ be a polynomial ring over $A$ with the standard $\mathbb{N}^d$-grading. Let $I\subseteq R$ be an ideal which can be generated by elements of the…

Let $A$ be a commutative Noetherian ring containing a field of characteristic zero. Let $R= A[X_1, \ldots, X_m]$ be a polynomial ring and $A_m(A) = A \langle X_1, \ldots, X_m, \partial_1, \ldots, \partial_m \rangle$ be the $m^{th}$ Weyl…

In the early 1990s, Garsia and Haiman conjectured that the dimension of the Garsia-Haiman module is n!, and they showed that the resolution of this conjecture implies the Macdonald Positivity Conjecture. Haiman proved these conjectures in…

We characterize the cone of GL-equivariant Betti tables of Cohen-Macaulay modules of codimension 1, up to rational multiple, over the coordinate ring of square matrices. This result serves as the base case for `Boij-S\"oderberg theory for…

Let G be a connected complex simple Lie group with maximal compact subgroup U. Let g be the Lie algebra of G, and X = G/U be the associated Riemannian globally symmetric space of type IV. We have constructed three types of arithmetic…

Feigin-Stoyanovsky's type subspaces for affine Lie algebras of type $C_\ell^{(1)}$ have monomial bases with a nice combinatorial description. We describe bases of whole standard modules in terms of semi-infinite monomials obtained as "a…

Let $X$ be a compact Riemann surface, $\Gamma$ a finite group of automorphisms of $X$ and $G$ a connected reductive complex Lie group with center $Z$. If we equip this data with a homomorphism $\theta:\Gamma\to\text{Aut}(G)$ and a 2-cocycle…

We consider ideals in the ring $\mathbb{Z}_2[x_1,\ldots, x_n]$ that contain the polynomials $x_i^2 - x_i$ for $i = 1, \ldots, n$ and give various results related to the one-to-one correspondence between these ideals and the subsets of…

We construct integrable Hamiltonian systems with Lie bialgebras $({\bf g} , {\bf \tilde{g}})$ of the bi-symplectic type for which the Poisson-Lie groups ${\bf G}$ play the role of the phase spaces, and their dual Lie groups ${\bf {\tilde…

Let F be a finitely generated discrete group. Given a covering map H to G of Lie groups with G either compact or complex reductive, there is an induced covering map Hom(F, H) to Hom(F, G). We show that when the fundamental group of G is…

Let $X$ be a topological space. We consider certain generalized configuration spaces of points on $X$, obtained from the cartesian product $X^n$ by removing some intersections of diagonals. We give a systematic framework for studying the…

Let $k \leq n$ be nonnegative integers and let $\lambda$ be a partition of $k$. S. Griffin recently introduced a quotient $R_{n,\lambda}$ of the polynomial ring $\mathbb{Q}[x_1, \dots, x_n]$ in $n$ variables which simultaneously generalizes…

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…

In this paper we will define analogs of Gr\"obner bases for $R$-subalgebras and their ideals in a polynomial ring $R[x_1,\ldots,x_n]$ where $R$ is a noetherian integral domain with multiplicative identity and in which we can determine ideal…