We investigate compact quantum group actions on unital $C^*$-algebras by analyzing invariant subsets and invariant states. In particular, we come up with the concept of compact quantum group orbits and use it to show that countable compact metrizable spaces with infinitely many points are not quantum homogeneous spaces.

Let e be an arbitrary even nilpotent element in the general linear Lie super- algebra glM|N and let We be the associated finite W-superalgebra. Let Ym|n be the super Yangian associated to the Lie superalgebra glm|n. A subalgebra of Ym|n, called the shifted super Yangian and denoted by Ym|n(σ), is defined and studied. Moreover, an explicit iso- morphism between We and a quotient of Ym|n(σ) is established.

We found an explicit construction of a representation of the positive quantum group and its modular double by positive essentially self-adjoint operators. Generalizing Lusztig's parametrization, we found a Gauss type decomposition for the totally positive quantum group parametrized by the standard decomposition of the longest element . Under this parametrization, we found explicitly the relations between the standard quantum variables, the relations between the quantum cluster variables, and realizing them using non-compact generators of the q-tori by positive essentially self-adjoint operators. The modular double arises naturally from the transcendental relations, and an space in the von Neumann setting can also be defined.

Narain lattices are unimodular lattices {\it in} $\R^{r,s}$, subject to certain natural equivalence relation and rationality condition. The problem of describing and counting these rational equivalence classes of Narain lattices in $\R^{2,2}$ has led to an interesting connection to binary forms and their Gauss products, as shown in [HLOYII]. As a sequel, in this paper, we study arbitrary rational Narain lattices and generalize some of our earlier results. In particular in the case of $\R^{2,2}$, a new interpretation of the Gauss product of binary forms brings new light to a number of related objects -- rank 4 rational Narain lattices, over-lattices, rank 2 primitive sublattices of an abstract rank 4 even unimodular lattice U 2 , and isomorphisms of discriminant groups of rank 2 lattices

Let V⊆A be a conformal inclusion of vertex operator algebras and let C be a category of grading-restricted generalized V-modules that admits the vertex algebraic braided tensor category structure of Huang-Lepowsky-Zhang. We give conditions under which C inherits semisimplicity from the category of grading-restricted generalized A-modules in C, and vice versa. The most important condition is that A be a rigid V-module in C with non-zero categorical dimension, that is, we assume the index of V as a subalgebra of A is finite and non-zero. As a consequence, we show that if A is strongly rational, then V is also strongly rational under the following conditions: A contains V as a V-module direct summand, V is C_2-cofinite with a rigid tensor category of modules, and A has non-zero categorical dimension as a V-module. These results are vertex operator algebra interpretations of theorems proved for general commutative algebras in braided tensor categories. We also generalize these results to the case that A is a vertex operator superalgebra.