scholarly journals Invariant Tensors and the Cyclic Sieving Phenomenon

10.37236/4569 ◽  
2016 ◽  
Vol 23 (4) ◽  
Author(s):  
Bruce W. Westbury

We construct a large class of examples of the cyclic sieving phenomenon by exploiting the representation theory of semi-simple Lie algebras. Let $M$ be a finite dimensional representation of a semi-simple Lie algebra and let $B$ be the associated Kashiwara crystal. For $r\ge 0$, the triple $(X,c,P)$ which exhibits the cyclic sieving phenomenon is constructed as follows: the set $X$ is the set of isolated vertices in the crystal $\otimes^rB$; the map $c\colon X\rightarrow X$ is a generalisation of promotion acting on standard tableaux of rectangular shape and the polynomial $P$ is the fake degree of the Frobenius character of a representation of $\mathfrak{S}_r$ related to the natural action of $\mathfrak{S}_r$ on the subspace of invariant tensors in $\otimes^rM$. Taking $M$ to be the defining representation of $\mathrm{SL}(n)$ gives the cyclic sieving phenomenon for rectangular tableaux.


Author(s):  
Tim Kobert ◽  
Claus Scheiderer

AbstractLet K be a compact Lie group and V a finite-dimensional representation of K. The orbitope of a vector $$x\in V$$ x ∈ V is the convex hull $${\mathscr {O}}_x$$ O x of the orbit Kx in V. We show that if V is polar then $${\mathscr {O}}_x$$ O x is a spectrahedron, and we produce an explicit linear matrix inequality representation. We also consider the coorbitope $${\mathscr {O}}_x^o$$ O x o , which is the convex set polar to $${\mathscr {O}}_x$$ O x . We prove that $${\mathscr {O}}_x^o$$ O x o is the convex hull of finitely many K-orbits, and we identify the cases in which $${\mathscr {O}}_x^o$$ O x o is itself an orbitope. In these cases one has $${\mathscr {O}}_x^o=c\cdot {\mathscr {O}}_x$$ O x o = c · O x with $$c>0$$ c > 0 . Moreover we show that if x has “rational coefficients” then $${\mathscr {O}}_x^o$$ O x o is again a spectrahedron. This provides many new families of doubly spectrahedral orbitopes. All polar orbitopes that are derived from classical semisimple Lie algebras can be described in terms of conditions on singular values and Ky Fan matrix norms.





1966 ◽  
Vol 27 (2) ◽  
pp. 531-542 ◽  
Author(s):  
G. Hochschild ◽  
G. D. Mostow

Let G be a complex analytic group, and let A be the representation space of a finite-dimensional complex analytic representation of G. We consider the cohomology for G in A, such as would be obtained in the usual way from the complex of holomorphic cochains for G in A. Actually, we shall use a more conceptual categorical definition, which is equivalent to the explicit one by cochains. In the context of finite-dimensional representation theory, nothing substantial is lost by assuming that G is a linear group. Under this assumption, it is the main purpose of this paper to relate the holomorphic cohomology of G to Lie algebra cohomology, and to the rational cohomology, in the sense of [1], of algebraic hulls of G. This is accomplished by using the known structure theory for complex analytic linear groups in combination with certain easily established results concerning the cohomology of semidirect products. The main results are Theorem 4.1 (whose hypothesis is always satisfied by a complex analytic linear group) and Theorems 5.1 and 5.2. These last two theorems show that the usual abundantly used connections between complex analytic representations of complex analytic groups and rational representations of algebraic groups extend fully to the superstructure of cohomology.





2014 ◽  
Vol 150 (9) ◽  
pp. 1579-1606 ◽  
Author(s):  
Yves Benoist ◽  
Jean-François Quint

AbstractLet $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}G$ be a connected real semisimple Lie group, $V$ be a finite-dimensional representation of $G$ and $\mu $ be a probability measure on $G$ whose support spans a Zariski-dense subgroup. We prove that the set of ergodic $\mu $-stationary probability measures on the projective space $\mathbb{P}(V)$ is in one-to-one correspondence with the set of compact $G$-orbits in $\mathbb{P}(V)$. When $V$ is strongly irreducible, we prove the existence of limits for the empirical measures. We prove related results over local fields as the finiteness of the set of ergodic $\mu $-stationary measures on the flag variety of $G$.



2009 ◽  
Vol 20 (01) ◽  
pp. 45-76
Author(s):  
MAGNUS B. LANDSTAD ◽  
NADIA S. LARSEN

For a Hecke pair (G, H) and a finite-dimensional representation σ of H on Vσ with finite range, we consider a generalized Hecke algebra [Formula: see text], which we study by embedding the given Hecke pair in a Schlichting completion (Gσ, Hσ) that comes equipped with a continuous extension σ of Hσ. There is a (non-full) projection [Formula: see text] such that [Formula: see text] is isomorphic to [Formula: see text]. We study the structure and properties of C*-completions of the generalized Hecke algebra arising from this corner realisation, and via Morita–Fell–Rieffel equivalence, we identify, in some cases explicitly, the resulting proper ideals of [Formula: see text]. By letting σ vary, we can compare these ideals. The main focus is on the case with dim σ = 1 and applications include ax + b-groups and the Heisenberg group.



2001 ◽  
Vol 16 (29) ◽  
pp. 4769-4801 ◽  
Author(s):  
KONSTANTIN G. BORESKOV ◽  
JUAN CARLOS LOPEZ VIEYRA ◽  
ALEXANDER V. TURBINER

It is shown that the F4 rational and trigonometric integrable systems are exactly-solvable for arbitrary values of the coupling constants. Their spectra are found explicitly while eigenfunctions are by pure algebraic means. For both systems new variables are introduced in which the Hamiltonian has an algebraic form being also (block)-triangular. These variables are invariant with respect to the Weyl group of F4 root system and can be obtained by averaging over an orbit of the Weyl group. An alternative way of finding these variables exploiting a property of duality of the F4 model is presented. It is demonstrated that in these variables the Hamiltonian of each model can be expressed as a quadratic polynomial in the generators of some infinite-dimensional Lie algebra of differential operators in a finite-dimensional representation. Both Hamiltonians preserve the same flag of spaces of polynomials and each subspace of the flag coincides with the finite-dimensional representation space of this algebra. Quasi-exactly-solvable generalization of the rational F4 model depending on two continuous and one discrete parameters is found.



1993 ◽  
Vol 08 (20) ◽  
pp. 3479-3493 ◽  
Author(s):  
JENS U. H. PETERSEN

A new two-parameter quadratic deformation of the quantum oscillator algebra and its one-parameter deformed Heisenberg subalgebra are considered. An infinite-dimensional Fock module representation is presented, which at roots of unity contains singular vectors and so is reducible to a finite-dimensional representation. The semicyclic, nilpotent and unitary representations are discussed. Witten's deformation of sl 2 and some deformed infinite-dimensional algebras are constructed from the 1d Heisenberg algebra generators. The deformation of the centerless Virasoro algebra at roots of unity is mentioned. Finally the SL q(2) symmetry of the deformed Heisenberg algebra is explicitly constructed.



Sign in / Sign up

Export Citation Format

Share Document