The Bruhat order on conjugation-invariant sets of involutions in the symmetric group

Let $I_n$ be the set of involutions in the symmetric group $S_n$, and for $A \subseteq \{0,1,\ldots,n\}$, let $$F_n^A=\{\sigma \in I_n \mid \text{$\sigma$ has $a$ fixed points for some $a \in A$}\}.$$ We give a complete characterisation of the sets $A$ for which $F_n^A$, with the order induced by the Bruhat order on $S_n$, is a graded poset. In particular, we prove that $F_n^{\{1\}}$ (i.e., the set of involutions with exactly one fixed point) is graded, which settles a conjecture of Hultman in the affirmative. When $F_n^A$ is graded, we give its rank function. We also give a short new proof of the EL-shellability of $F_n^{\{0\}}$ (i.e., the set of fixed point-free involutions), which was recently proved by Can, Cherniavsky, and Twelbeck. Keywords: Bruhat order, symmetric group, involution, conjugacy class, graded poset, EL-shellabilityComment: 12 pages, 3 figure

Deformations of permutation representations of Coxeter groups

The permutation representation afforded by a Coxeter group W acting on the cosets of a standard parabolic subgroup inherits many nice properties from W such as a shellable Bruhat order and a flat deformation over Z[q] to a representation of the corresponding Hecke algebra. In this paper we define a larger class of ``quasiparabolic" subgroups (more generally, quasiparabolic W-sets), and show that they also inherit these properties. Our motivating example is the action of the symmetric group on fixed-point-free involutions by conjugation.Comment: 44 page

Bruhat Order in the Full Symmetric sln\mathfrak{sl}_n Toda Lattice on Partial Flag Space

In our previous paper [Comm. Math. Phys. 330 (2014), 367-399] we described the asymptotic behaviour of trajectories of the full symmetric $\mathfrak{sl}_n$ Toda lattice in the case of distinct eigenvalues of the Lax matrix. It turned out that it is completely determined by the Bruhat order on the permutation group. In the present paper we extend this result to the case when some eigenvalues of the Lax matrix coincide. In that case the trajectories are described in terms of the projection to a partial flag space where the induced dynamical system verifies the same properties as before: we show that when $t\to\pm\infty$ the trajectories of the induced dynamical system converge to a finite set of points in the partial flag space indexed by the Schubert cells so that any two points of this set are connected by a trajectory if and only if the corresponding cells are adjacent. This relation can be explained in terms of the Bruhat order on multiset permutations

Linearization of Poisson actions and singular values of matrix products

We prove that the linearization functor from the category of Hamiltonian K-actions with group-valued moment maps in the sense of Lu, to the category of ordinary Hamiltonian K-actions, preserves products up to symplectic isomorphism. As an application, we give a new proof of the Thompson conjecture on singular values of matrix products and extend this result to the case of real matrices. We give a formula for the Liouville volume of these spaces and obtain from it a hyperbolic version of the Duflo isomorphism.Comment: 20 page

Deformations of permutation representations of Coxeter groups

The permutation representation afforded by a Coxeter group W acting on the cosets of a standard parabolic subgroup inherits many nice properties from W such as a shellable Bruhat order and a flat deformation over ℤ[q] to a representation of the corresponding Hecke algebra. In this paper we define a larger class of “quasiparabolic” subgroups (more generally, quasiparabolic W-sets), and show that they also inherit these properties. Our motivating example is the action of the symmetric group on fixed-point-free involutions by conjugation

A Katsylo theorem for sheets of spherical conjugacy classes

We show that, for a sheet or a Lusztig stratum S containing spherical conjugacy classes in a connected reductive algebraic group G over an algebraically closed field in good characteristic, the orbit space S/G is isomorphic to the quotient of an affine subvariety of G modulo the action of a finite abelian 2-group. The affine subvariety is a closed subset of a Bruhat double coset and the abelian group is a finite subgroup of a maximal torus of G. We show that sheets of spherical conjugacy classes in a simple group are always smooth and we list which strata containing spherical classes are smooth