We show that Hecke algebra of type B and a coideal subalgebra of the type A quantum group satisfy a double centralizer property, generalizing the Schur-Jimbo duality in type A. The quantum group of type A and its coideal subalgebra form a quantum symmetric pair. A new theory of canonical bases arising from quantum symmetric pairs is initiated. It is then applied to formulate and establish for the first time a Kazhdan-Lusztig theory for the BGG category O of the ortho-symplectic Lie superalgebras $\mathfrak{osp}(2m+1|2n)$. In particular, our approach provides a new formulation of the Kazhdan-Lusztig theory for Lie algebras of type B/C.

Let G be a connected reductive complex algebraic group, and E a complex elliptic curve. Let GE denote the connected component of the trivial bundle in the stack of semistable Gbundles on E. We introduce a complex analytic uniformization of G_E by adjoint quotients of reductive subgroups of the loop group of G. This can be viewed as a nonabelian version of the classical complex analytic uniformization E=C^∗/q^Z. We similarly construct a complex analytic uniformization of G itself via the exponential map, providing a nonabelian version of the standard isomorphism C^∗= C/Z, and a complex analytic uniformization of G_E generalizing the standard presentation E = C/(Z ⊕ Zτ). Finally, we apply these results to the study of sheaves with nilpotent singular support. As an application to Betti geometric Langlands conjecture in genus 1, we define a functor from Sh_N(G_E) (the semistable part of the automorphic category) to IndCoh_{Nˇ}(Locsys_{Gˇ}(E)) (the spectral category).

Motivated by spectral gluing patterns in the Betti Langlands program, we show that for any reductive group G, a parabolic subgroup P, and a topological surface M, the (enhanced) spectral Eisenstein series category of M is the factorization homology over M of the E2-Hecke category H_{G,P} =IndCoh(LS_{G,P}(D^2, S^1)), where LS_{G,P}(D^2, S^1) denotes the moduli stack of G-local systems on a disk together with a P-reduction on the boundary circle. More generally, for any pair of stacks Y → Z satisfying some mild conditions and any map between topological spaces N → M, we define (Y, Z)^{N,M} = Y^N ×_{Z^N} {Z^M} to be the space of maps from M to Z along with a lift to Y of its restriction to N. Using the pair of pants construction, we define an E_n-category H_n(Y, Z) = IndCoh_0((Y, Z)^{S^n−1,D^n})_{Y}), and compute its factorization homology on any d-dimensional manifold M with d ≤ n, \int_M H_n(Y, Z) = IndCoh_0(Y, Z)^{∂(M×D^n−d),M}_{Y^M}, where IndCoh_0 is the sheaf theory introduced by ArinkinGaitsgory and Beraldo. Our result naturally extends previous known computations of Ben-Zvi–Francis–Nadler and Beraldo.

We give a survey on Mœglin's construction of representations in the Arthur packets for p-adic quasisplit symplectic and orthogonal groups. The emphasis is on comparing Mœglin's parametrization of elements in the Arthur packets with that of Arthur.

In this paper, we generalize the categorifical construction of a quantum group and its canonical basis by Lusztig (\cite{Lusztig,Lusztig2}) to the generic form of whole Ringel-Hall algebra. We clarify the explicit relation between the Green formula in \cite{Green} and the restriction functor in \cite{Lusztig2}. By a geometric way to prove Green formula, we show that the Hopf structure of a Ringel-Hall algebra can be categorified under Lusztig's framework.