English
Related papers

Related papers: Ordered set partitions, Garsia-Procesi modules, an…

200 papers

For the ideal $I = \langle y_1 + \dots + y_n, y^2_1, \dots , y^2_n \rangle$ in $R = {\mathbb F}[y_1, \dots , y_n]$ with char($\mathbb F$) = 0, we show that the reduced Gr\"obner basis with lex-order consists of polynomials $g_\alpha$ that…

Combinatorics · Mathematics 2022-01-12 Nantel Bergeron , Xavier Mootoo , Vedarth Vyas

Let $R=k[x,y,z]$ be a standard graded $3$-variable polynomial ring, where $k$ denotes any field. We study grade $3$ homogeneous ideals $I \subseteq R$ defining compressed rings with socle $k(-s)^{\ell} \oplus k(-2s+1)$, where $s \geq3$ and…

Commutative Algebra · Mathematics 2021-05-28 Keller VandeBogert

This work studies the remarkable relationships that hold among certain m-tuples of the Garsia-Haiman modules $ {\bf M}_\mu$ and corresponding elements of the Macdonald basis. We recall that ${\bf M}_\mu$ is defined for a partition $\mu\part…

Combinatorics · Mathematics 2007-05-23 F. Bergeron , G. Garsia

For $\Gamma$ a finite subgroup of $\mathrm{SL}_2(\mathbb{C})$ and $n \geq 1$, we study the fibers of the Procesi bundle over the $\Gamma$-fixed points of the Hilbert scheme of $n$ points in the plane. For each irreducible component of this…

Algebraic Geometry · Mathematics 2025-11-11 Gwyn Bellamy , Raphaël Paegelow

We consider actions, similar to those of Haglund, Rhoades, and Shimozono on ordered partitions, and their basis in terms of the higher Specht polynomials of Ariki, Terasoma, and Yamada, as carried out by Gillespie and Rhoades. By allowing…

Combinatorics · Mathematics 2025-05-13 Shaul Zemel

We fix the lexicographic order $\prec$ on the polynomial ring $S=k[x_{1},...,x_{n}]$ over a ring $k$. We define $\Hi^{\prec\Delta}_{S/k}$, the moduli space of reduced Gr\"obner bases with a given finite standard set $\Delta$, and its open…

Algebraic Geometry · Mathematics 2014-02-26 Mathias Lederer

Let $\Omega_n$ be the ring of polynomial-valued holomorphic differential forms on complex $n$-space, referred to in physics as the superspace ring of rank $n$. The symmetric group $\mathfrak{S}_n$ acts diagonally on $\Omega_n$ by permuting…

Combinatorics · Mathematics 2024-11-20 Brendon Rhoades , Andy Wilson

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

In this paper we study standard bases for submodules of K[[t_1,...,t_m]][x_1,...,x_n]^s respectively of their localisation with respect to a t-local monomial ordering. The main step is to prove the existence of a division with remainder…

Commutative Algebra · Mathematics 2009-07-28 Thomas Markwig

Let $\lambda=(\lambda_1,\lambda_2,...)$ be a \emph{partition} of $n$, a sequence of positive integers in non-increasing order with sum $n$. Let $\Omega:=\{1,...,n\}$. An ordered partition $P=(A_1,A_2,...)$ of $\Omega$ has \emph{type}…

Group Theory · Mathematics 2013-04-30 Jorge André , João Araújo , Peter J. Cameron

We study the regularity and the algebraic properties of certain lattice ideals. We establish a map I --> I\~ between the family of graded lattice ideals in an N-graded polynomial ring over a field K and the family of graded lattice ideals…

Commutative Algebra · Mathematics 2015-01-12 Jorge Neves , Maria Vaz Pinto , Rafael H. Villarreal

Consider the Wronskians of the classical Hermite polynomials $$H_{\lambda, l}(x):=\mathrm{Wr}(H_l(x),H_{k_1}(x),\ldots, H_{k_n}(x)), \quad l \in \mathbb Z_{\geq 0},$$ where $k_i=\lambda_i+n-i, \,\, i=1,\dots, n$ and $\lambda=(\lambda_1,…

Mathematical Physics · Physics 2016-04-20 William A. Haese-Hill , Martin A. Hallnäs , Alexander P. Veselov

We present a full list of all representations of the special linear group $\mathrm{SL}_n$ over the complex numbers with complete intersection invariant ring, completing the classification of Shmelkin. For this task, we combine three…

Representation Theory · Mathematics 2018-12-06 Lukas Braun

Let $I_1\subset I_2\subset\dots$ be an increasing sequence of ideals of the ring $\Bbb Z[X]$, $X=(x_1,\dots,x_n)$ and let $I$ be their union. We propose an algorithm to compute the Gr\"obner base of $I$ under the assumption that the…

Commutative Algebra · Mathematics 2024-12-04 S. Yu. Orevkov

We investigate the rank-generating function $F_{\lambda}$ of the poset of partitions contained inside a given shifted Ferrers shape $\lambda$. When $\lambda $ has four parts, we show that $F_{\lambda}$ is unimodal when $\lambda =\langle…

Combinatorics · Mathematics 2015-11-10 Richard P. Stanley , Fabrizio Zanello

Let G be a finite group that acts on an abelian monoid A. If f: A -> G is a map so that f(a f(a)(b)) = f(a)f(b), for all a, b in A, then the submonoid S = {(a, f(a)) | a in A} of the associated semidirect product of A and G is said to be a…

Rings and Algebras · Mathematics 2007-11-06 Isabel Goffa , Eric Jespers

Let $\ell$ and $p$ be distinct primes, and let $\G$ be an abelian pro-$p$-group. We study the structure of the algebra $\L:=\Z_\ell[[\G]]$ and of $\L$-modules. The algebra $\L$ turns out to be a direct product of copies of ring of integers…

Number Theory · Mathematics 2025-05-29 Andrea Bandini , Ignazio Longhi

Let $R=\mathbb{K}[x_1,\dots,x_n]$, a graded algebra $S=R/I$ satisfies $N_{k,p}$ if $I$ is generated in degree $k$, and the graded minimal resolution is linear the first $p$ steps, and the $k$-index of $S$ is the largest $p$ such that $S$…

Commutative Algebra · Mathematics 2025-10-14 Chwas Ahmed , Ralf Fröberg , Mohammed Rafiq Namiq

Let $R=k[x,y,z]$ be a standard graded $3$-variable polynomial ring, where $k$ denotes any field. We study grade $3$ homogeneous ideals $I \subseteq R$ defining compressed rings with socle $k(-s) \oplus k(-2s+1)$, where $s \geq3$ is some…

Commutative Algebra · Mathematics 2020-02-21 Keller VandeBogert

We define a rank variety for a module of a noncocommutative Hopf algebra $A = \Lambda \rtimes G$ where $\Lambda = k[X_1, ..., X_m]/(X_1^{\ell}, ..., X_m^{\ell})$, $G = ({\mathbb Z}/\ell{\mathbb Z})^m$, and $\text{char} k$ does not divide…

Quantum Algebra · Mathematics 2007-05-23 Julia Pevtsova , Sarah Witherspoon