# Representation Theory (math.RT)

• We establish ring isomorphisms between quantum Grothendieck rings of certain remarkable monoidal subcategories of finite-dimensional representations of quantum affine algebras of types $A_{2n-1}^{(1)}$ and $B_n^{(1)}$. Our proof relies in part on the corresponding quantum cluster algebra structures. Moreover, we prove that our isomorphisms are specialized at $t = 1$ to the isomorphisms of (classical) Grothendieck rings obtained recently by Kashiwara, Kim and Oh by other methods. As a consequence, we prove a conjecture formulated by the first author in 2002 : the multiplicities of simple modules in standard modules in the categories above for type $B_n^{(1)}$ are given by the specialization of certain analogues of Kazhdan-Lusztig polynomials and the coefficients of these polynomials are positive.
• Mar 20 2018 math.RT arXiv:1803.06627v1
We give an introductory survey of the results in arXiv: 1708.01418. We discuss a sheafified elliptic quantum group associated to any symmetric Kac-Moody Lie algebra. The sheafification is obtained by applying the equivariant elliptic cohomological theory to the moduli space of representations of a preprojective algebra. By construction, the elliptic quantum group naturally acts on the equivariant elliptic cohomology of Nakajima quiver varieties. As an application, we obtain a relation between the sheafified elliptic quantum group and the global affine Grassmannian over an elliptic curve.
• Let $\mathfrak{g}$ be a finite-dimensional simple complex Lie algebra. A layer sum is introduced as the sum of formal exponentials of the distinct weights appearing in an irreducible $\mathfrak{g}$-module. It is argued that the character of every finite-dimensional irreducible $\mathfrak{g}$-module admits a decomposition in terms of layer sums, with only non-negative integer coefficients. Ensuing results include a new approach to the computation of Weyl characters and weight multiplicities, and a closed-form expression for the number of distinct weights in a finite-dimensional irreducible $\mathfrak{g}$-module. The latter is given by a polynomial in the Dynkin labels, of degree equal to the rank of $\mathfrak{g}$.
• We investigate products of certain double cosets for the symmetric group and use the findings to derive some multiplication formulas for q-Schur superalgebras. This gives a combinatorialisation of the relative norm approach developed by the first two authors. We then give several applications of the multiplication formulas, including the matrix representation of the regular representation and a semisimplicity criterion for q-Schur superalgebras. We also construct infinitesimal and little q-Schur superalgebras directly from the multiplication formulas and develop their semisimplicity criteria.
• Let $\Phi$ be a finite dimensional algebra over an algebraically closed field $k$ and assume gldim$\,\Phi\leq d$, for some fixed positive integer $d$. For $d=1$, Brüning proved that there is a bijection between the wide subcategories of the abelian category mod$\,\Phi$ and those of the triangulated category $\mathcal{D}^b(\text{mod}\Phi)$. Moreover, for a suitable triangulated category $\mathcal{M}$, Jørgensen gave a description of Auslander-Reiten triangles in the extension closed subcategories of $\mathcal{M}$. In this paper, we generalise these results for $d$-abelian and $(d+2)$-angulated categories, where kernels and cokernels are replaced by complexes of $d+1$ objects and triangles are replaced by complexes of $d+2$ objects. The categories are obtained as follows: if $\mathcal{F}\subseteq \text{mod} \Phi$ is a $d$-cluster tilting subcategory, consider $\overline{\mathcal{F}}:=\text{add} \{\Sigma^{id}\mathcal{F}\mid i\in\mathbb{Z} \}\subseteq \mathcal{D}^b(\text{mod}\Phi)$. Then $\mathcal{F}$ is $d$-abelian and plays the role of a higher mod$\,\Phi$ having for higher derived category the $(d+2)$-angulated category $\overline{\mathcal{F}}$.
• We construct in projective differential geometry of the real dimension $2$ higher symmetry algebra of the symplectic Dirac operator ${D}\kern-0.5em\raise0.22ex\hbox{/}_s$ acting on symplectic spinors. The higher symmetry differential operators correspond to the solution space of a class of projectively invariant overdetermined operators of arbitrarily high order acting on symmetric tensors. The higher symmetry algebra structure corresponds to a completely prime primitive ideal having as its associated variety the minimal nilpotent orbit of $\mathfrak{sl}(3,{\mathbb{R}})$.
• We introduce a decorated configuration space $\mathscr{C}onf_n^\times(a)$ with a potential function $\mathcal{W}$. We prove the cluster duality conjecture of Fock-Goncharov for Grassmannians, that is, the tropicalization of $(\mathscr{C}onf_n^\times(a), \mathcal{W})$ canonically parametrizes a linear basis of the homogenous coordinate ring of the Grassmannian ${\rm Gr}_a(n)$. We prove that $(\mathscr{C}onf_n^\times(a), \mathcal{W})$ is equivalent to the mirror Landau-Ginzburg model of Grassmannian considered by Marsh-Rietsch and Rietsch-Williams. As an application, we show a cyclic sieving phenomenon involving plane partitions under a sequence of piecewise-linear toggles.
• We consider Schramm-Loewner evolutions with internal degrees of freedom that are associated with representations of affine Lie algebras, following the group theoretical formulation of SLE. We observe that SLEs considered by Bettelheim et al. [PRL 95, 251601 (2005)] and Alekseev et al. [Lett. Math. Phys. 97, 243-261 (2011)] in correlation function formulation are reconstrunced. We also explicitly write down stochastic differential equations on internal degrees of freedom for Heisenberg algebras and the affine $\mathfrak{sl}_{2}$. Our formulation enables to write down several local martingales associated with the solution of SLE from computation on a representation of an affine Lie algebra. Indeed, we write down local martingales associated with solution of SLE for Heisenberg algebras and the affine $\mathfrak{sl}_{2}$. We also find affine $\mathfrak{sl}_{2}$ symmetry of a space of SLE local martingales for the affine $\mathfrak{sl}_{2}$, which can be extended to other affine Lie algebras.
• Let C be a finite dimensional algebra with B a split extension by a nilpotent bimodule E. We provide a short proof to a conjecture by Assem and Zacharia concerning properties of mod B inherited by mod C. We show if B is a tilted algebra, then C is a tilted algebra.
• We construct combinatorial bases of principal subspaces of standard modules of level $k \geq 1$ with highest weight $k\Lambda_0$ for the twisted affine Lie algebras of type $A_{2l-1}^{(2)}$, $D_l^{(2)}$, $E_6^{(2)}$ and $D_4^{(3)}$. Using these bases we directly calculate characters of principal subspaces.
• We prove that all quiver Grassmannians for exceptional representations of a generalized Kronecker quiver admit a cell decomposition. In the process, we introduce a class of regular representations which arise as quotients of consecutive preprojective representations. Cell decompositions for quiver Grassmannians of these "truncated preprojectives" are also established. We also provide two natural combinatorial labelings for these cells. On the one hand, they are labeled by certain subsets of a so-called 2-quiver attached to a (truncated) preprojective representation. On the other hand, the cells are in bijection with compatible pairs in a maximal Dyck path as predicted by the theory of cluster algebras. The natural bijection between these two labelings gives a geometric explanation for the appearance of Dyck path combinatorics in the theory of quiver Grassmannians.
• We report that the true intrinsic degree of freedom of the photon is neither the polarization nor the spin. It describes a local property in momentum space and is represented in the local representation by the Pauli matrices. This result is achieved by treating the transversality condition on the vector wavefunction as a nonholonomic quantum constraint. We find that the quantum constraint makes it possible to generalize the Stokes parameters to characterize the polarization of a general state. Unexpectedly, the generalized Stokes parameters are specified in a momentum-space local reference system that is fixed by another degree of freedom, called Stratton vector. Only constant Stokes parameters in one particular local reference system can convey the intrinsic degree of freedom of the photon. We show that the optical rotation is one of such processes that change the Stratton vector with the intrinsic quantum number remaining fixed. Changing the Stratton vector of the eigenstate of the helicity will give rise to a Berry's phase.
• In this thesis we consider the maximal subalgebras of the exceptional Lie algebras in algebraically closed fields of positive characteristic. This begins with a quick recap of the article by Herpel and Stewart which considered the Cartan type maximal subalgebras in the exceptional Lie algebras for good characteristic, and then the article by Premet considering non-semisimple maximal subalgebras in good characteristic. For $p=5$ we give an example of what appears to be a new maximal subalgebra in the exceptional Lie algebra of type $E_8$. We show that this maximal subalgebra is isomorphic to the $p$-closure of the non-restricted Witt algebra $W(1;2)$. After this, we focus completely on characteristics $p=2$ and $p=3$ giving examples of new non-semisimple maximal subalgebras in the exceptional Lie algebras. We consider the Weisfeiler filtration associated to these maximal subalgebras and leave many open questions. There are one or two examples of simple maximal subalgebras in $F_4$ for $p=3$ and $E_8$ for $p=2$.
• We study properties of potentials on quivers $Q_{\mathcal{T},m}$ arising from cluster coordinates on moduli spaces of $PGL_{m+1}$-local systems on a topological surface with punctures. To every quiver with potential one can associate a $3d$ Calabi-Yau $A_\infty$-category in such a way that a natural notion of equivalence for quivers with potentials (called "right-equivalence") translates to $A_\infty$-equivalence of associated categories. For any quiver one can define a notion of a "primitive" potential. Our first result is the description of the space of equivalence classes of primitive potentials on quivers $Q_{\mathcal{T}, m}$. Then we provide a full description of the space of equivalence classes of all \emphgeneric potentials for the case $m = 2$ (corresponds to $PGL_3$-local systems). In particular, we show that it is finite-dimensional. This claim extends results of Geiß, Labardini-Fragoso and Schröer who have proved analogous statement in $m=1$ case. In many cases $3d$ Calabi-Yau $A_\infty$-categories constructed from quivers with potentials are expected to be realized geometrically as Fukaya categories of certain Calabi-Yau $3$-folds. Bridgeland and Smith gave an explicit construction of Fukaya categories for quivers $Q_{\mathcal{T},m=1}$. We propose a candidate for Calabi-Yau $3$-folds that would play analogous role in higher rank cases, $m > 1$. We study their (co)homology and describe a construction of collections of $3$-dimensional spheres that should play a role of generating collections of Lagrangian spheres in corresponding Fukaya categories.