A note on the reducedness and Gr\"obner bases of Specht ideals

TL;DR

This paper provides a concise proof that Specht ideals of a given shape are reduced and characterizes their universal Gr"obner bases, clarifying their algebraic structure.

Contribution

It offers a simplified proof of the reducedness and Gr"obner bases of Specht ideals, building on prior results by Haiman and Woo.

Findings

Specht ideals are reduced.

Universal Gr"obner bases are explicitly characterized.

Simplified proof of key properties.

Abstract

The Specht ideal of shape $\lambda$, where $\lambda$ is a partition, is the ideal generated by all Specht polynomials of shape $\lambda$. Haiman and Woo proved that these ideals are reduced and found their universal Gr\"obner bases. In this short note, we give a short proof for these results.