In this paper, we study the relation between the cocenter \overline {{ilde {\mathcal H}}} and the representations of an affine pro-\overline {{ilde {\mathcal H}}} Hecke algebra \overline {{ilde {\mathcal H}}} . As a consequence, we obtain a new criterion on supersingular representations: a (virtual) representation of \overline {{ilde {\mathcal H}}} is supersingular if and only if its character vanishes on the non-supersingular part of the cocenter \overline {{ilde {\mathcal H}}} .

Let $\mathbf{U}$ be the quantum group and $\mathbf{f}$ be the Lusztig's algebra associated with a symmetrizable generalized Cartan matrix. The algebra $\mathbf{f}$ can be viewed as the positive part of $\mathbf{U}$. Lusztig introduced some symmetries $T_i$ on $\mathbf{U}$ for all $i\in I$. Since $T_i(\mathbf{f})$ is not contained in $\mathbf{f}$, Lusztig considered two subalgebras ${_i\mathbf{f}}$ and ${^i\mathbf{f}}$ of $\mathbf{f}$ for any $i\in I$, where ${_i\mathbf{f}}=\{x\in\mathbf{f}\,\,|\,\,T_i(x)\in\mathbf{f}\}$ and ${^i\mathbf{f}}=\{x\in\mathbf{f}\,\,|\,\,T^{-1}_i(x)\in\mathbf{f}\}$. The restriction of $T_i$ on ${_i\mathbf{f}}$ is also denoted by $T_i:{_i\mathbf{f}}\rightarrow{^i\mathbf{f}}$. The geometric realization of $\mathbf{f}$ and its canonical basis are introduced by Lusztig via some semisimple complexes on the variety consisting of representations of the corresponding quiver. When the generalized Cartan matrix is symmetric, Xiao and Zhao gave geometric realizations of Lusztig's symmetries in the sense of Lusztig. In this paper, we shall generalize this result and give geometric realizations of ${_i\mathbf{f}}$, ${^i\mathbf{f}}$ and $T_i:{_i\mathbf{f}}\rightarrow{^i\mathbf{f}}$ by using the language 'quiver with automorphism' introduced by Lusztig.

We define the i-restriction and i-induction functors on the category O of the cyclotomic rational double affine Hecke algebras. This yields a crystal on the set of isomorphism classes of simple modules, which is isomorphic to the crystal of a Fock space.

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.

Let k be a commutative Noetherian ring. In this paper we consider filtered modules of the category FI firstly introduced by Nagpal. We show that a finitely generated FI-module V is filtered if and only if its higher homologies all vanish, and if and only if a certain homology vanishes. Using this homological characterization, we characterize finitely generated FI-modules V whose projective dimension is finite, and describe an upper bound for it. Furthermore, we give a new proof for the fact that V induces a finite complex of filtered modules, and use it as well as a result of Church and Ellenberg to obtain another upper bound for homological degrees of V.