Related papers: Involution matrix loci and orbit harmonics
Let $\mathcal{M}_{n,a}$ be the set consisting of involutions in symmetric group $\mathfrak{S}_n$ with exactly $a$ fixed points and apply the orbit harmonics method to obtain a graded $\mathfrak{S}_n$-module $R(\mathcal{M}_{n,a})$. Liu, Ma,…
For fixed positive integers $n,m$, let $\mathrm{Mat}_{n\times m}(\mathbb{C})$ be the affine space consisting of all $n\times m$ complex matrices, and let $\mathbb{C}[\mathbf{x}_{n\times m}]$ be its coordinate ring. For $0\le…
Orbit harmonics is a tool in combinatorial representation theory which promotes the (ungraded) action of a linear group $G$ on a finite set $X$ to a graded action of $G$ on a polynomial ring quotient by viewing $X$ as a $G$-stable point…
We construct a family of involutions on the space $\mathfrak{gl}_n'(\mathbb C)$ of $n\times n$ matrices with real eigenvalues interpolating the complex conjugation and the transpose. We deduce from it a stratified homeomorphism between the…
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…
We study hamiltonian actions of compact groups in the presence of compatible involutions. We show that the lagrangian fixed point set on the symplectically reduced space is isomorphic to the disjoint union of the involutively reduced spaces…
We equip the complex polynomial algebra C[t] with the involution which is the identity on C and sends t to -t. Answering a question raised by V.G. Kac, we show that every hermitian or skew-hermitian matrix over this algebra is congruent to…
Let K be an infinite field and let R be a K-algebra endowed with a homogeneous polynomial norm N of degree n. If N satisfies a formal analogue of the Cayley-Hamilton Theorem the we will show that R is a quotient of the ring of the…
Although there is no natural internal product for hermitian forms over an algebra with involution of the first kind, we describe how to multiply two $\varepsilon$-hermitian forms to obtain a quadratic form over the base field. This allows…
Garsia and Procesi, in their study of Springer's representation, proved that the cohomology ring of a Springer fiber is isomorphic to the associated graded ring of the coordinate ring of the $S_n$ orbit of a single point in $\mathbb{C}^n$.…
We extend Grood's tableau construction of irreducible representations of the rook monoid and Steinberg's analogous result for the full transformation monoid. Our approach is characteristic-free and applies to any submonoid $\mathcal{M}(n)$…
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…
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…
Covariant or invariant functions under a compact linear group can be expressed in terms of functions defined in the orbit space of the group. The semialgebraic relations defining the orbit spaces of all finite coregular real linear groups…
Let $\Pi_{(b^a)}$ be the locus of unordered set partitions of $[ab]$ with $a$ blocks of size $b$. We embed unordered set partitions of $[n]$ into the affine space $\mathbb{C}^{\binom{[n]}{2}}$ with coordinate ring…
Some aspects of phase transitions can be more conveniently studied in the orbit space of the action of the symmetry group. After a brief review of the fundamental ideas of this approach, I shall concentrate on the mathematical aspect and…
The symmetries described by Pin groups are the result of combining a finite number of discrete reflections in (hyper)planes. The current work shows how an analysis using geometric algebra provides a picture complementary to that of the…
For fixed positive integers $n,m,r$, let $\mathrm{Mat}_{n \times m}(\mathbb{C})$ be the affine space of $n \times m$ complex matrices with coordinate ring $\mathbb{C}[\mathbf{x}_{n \times m}]$. We define a homogeneous ideal $I_{n,m,r}$,…
With any integral lattice \Lambda in n-dimensional euclidean space we associate an elementary abelian 2-group I(\lambda) whose elements represent parts of the dual lattice that are similar to \Lambda. There are corresponding involutions on…
We extend the methods of geometric invariant theory to actions of non--reductive groups in the case of homomorphisms between decomposable sheaves whose automorphism groups are non--reductive. Given a linearization of the natural action of…