The graph of a Hecke operator encodes all information about the action of this operator on automorphic forms over a global function field. These graphs were introduced by Lorscheid in his PhD thesis for $\text{PGL}_{2}$ and we generalized to $\text{GL}_{n}$ in the paper "On graphs of Hecke operators". After reviewing some general properties, we explain the connection to the Hall algebra of the function field. In the case of an elliptic function field, we can use structure results of Burban-Schiffmann and Fratila to develop an algorithm which explicitly calculate these graphs. We apply this algorithm to determine some structure constants and provide explicitly the rank two case in the last section.
This is a first part of a series of papers in which we develop explicit computational methods for automorphic forms for GL(3) and PGL(3) over elliptic function fields. In this first part, we determine explicit formulas for the action of the Hecke operators on automorphic forms on GL(2) and GL(3) in terms of their graphs. Our primary result consists in a complete description of the graphs of degree 1 Hecke operators for GL(3). As complementary results, we describe the 'even component' of the graphs of degree 2 Hecke operators for GL(2) and the 'neighborhood of the identity' of the graphs of deg…
We give a construction of an affine Hecke algebra associated to any Coxeter group acting on an abelian variety by reflections; in the case of an affine Weyl group, the result is an elliptic analogue of the usual double affine Hecke algebra. As an application, we use a variant of the $\tilde{C}_n$ version of the construction to construct a flat noncommutative deformation of the $n$th symmetric power of any rational surface with a smooth anticanonical curve, and give a further construction which conjecturally is a corresponding deformation of the Hilbert scheme of points.
We compare the (horizontal) trace of the affine Hecke category with the elliptic Hall algebra, thus obtaining an "affine" version of the construction of [14]. Explicitly, we show that the aforementioned trace is generated by the objects $E_{\textbf{d}} = \text{Tr}(Y_1^{d_1} \dots Y_n^{d_n} T_1 \dots T_{n-1})$ as $\textbf{d} = (d_1,\dots,d_n) \in \mathbb{Z}^n$, where $Y_i$ denote the Wakimoto objects of [9] and $T_i$ denote Rouquier complexes. We compute certain categorical commutators between the $E_{\textbf{d}}$'s and show that they match the categorical commutators between the sheaves $\math…
We propose definitions of complex manifolds $\mathcal{P}_M(X,m,n)$ that could potentially be used to construct the symplectic Khovanov homology of $n$-stranded links in lens spaces. The manifolds $\mathcal{P}_M(X,m,n)$ are defined as moduli spaces of Hecke modifications of rank 2 parabolic bundles over an elliptic curve $X$. To characterize these spaces, we describe all possible Hecke modifications of all possible rank 2 vector bundles over $X$, and we use these results to define a canonical open embedding of $\mathcal{P}_M(X,m,n)$ into $M^s(X,m+n)$, the moduli space of stable rank 2 parabolic…
For a smooth quasi-projective surface S over complex numbers we consider the Borel-Moore homology of the stack of coherent sheaves on S with compact support and make this space into an associative algebra by a version of the Hall multiplication. This multiplication involves data (virtual pullbacks) governing the derived moduli stack, i.e., the perfect obstruction theory naturally existing on the non-derived stack. By restricting to sheaves with support of given dimension, we obtain several types of Hecke operators. In particular, we study R(S), the Hecke algebra of 0-dimensional sheaves. For t…
Hecke operators on symplectic surfaces and $χ$-independence
University of Edinburgh（爱丁堡大学）；Université de Picardie Jules Verne（约尔·凡尔纳皮卡第大学）；Kyoto University（京都大学）；Université Paris-Saclay（巴黎萨克雷大学）；Simion Stoilow Institute of Mathematics（西米翁·斯托伊洛瓦数学研究所）；Université Paris-Cité（巴黎城市大学）
