---
title: Global Hecke-Baxter Operator
url: https://www.emergentmind.com/topics/global-hecke-baxter-operator
type: topic
---

# Global Hecke-Baxter Operator

Searching arXiv for the specified paper and closely related Hecke–Baxter literature.
Use the arXiv search tool to retrieve papers by id 2507.09979, 2412.11604, 1211.2965, and 1204.0926, and related results on Hecke-Baxter operators.
The global Hecke-Baxter operator is an element of a global Hecke algebra that combines non-Archimedean Hecke correspondences with an Archimedean Baxter-type convolution kernel into a single object whose eigenvalues on automorphic data are global \(L\)-factors. In the \(GL_2\) setting, it is constructed in the spherical Hecke algebra attached to the double-coset space \(GL_2(\mathbb{Z})\backslash GL_2(\mathbb{R})/O_2\), and acts diagonally on \(GL_2\)-Eisenstein series with eigenvalue given by the corresponding completed global \(L\)-factor [2507.09979]. More broadly, the expression “global Hecke-Baxter operator” sits at the intersection of two established formalisms: the Hecke-theoretic description of local and adelic \(L\)-factors, and the Baxter-operator formalism of quantum integrable systems, where local \(R\)- or \(L\)-operators are assembled into commuting monodromy and transfer objects [2412.11604].

## 1. Definition in the \(GL_2\) spherical Hecke algebra

For \(G=GL_2(\mathbb{R})\) and \(K_\infty=O_2\), the double-coset space
\[
M_2=GL_2(\mathbb{Z})\backslash G/K_\infty
\]
is viewed as parameterizing “metricized” two-tori over \(\mathbb{R}\). The spherical global Hecke algebra
\[
H=H(GL_2(\mathbb{Z})\backslash G/K_\infty)
\]
is the convolution algebra of compactly supported bi-invariant functions, or distributions, on \(G\) which are left-invariant under \(GL_2(\mathbb{Z})\) and right-invariant under \(K_\infty\). Its convolution product is
\[
(f_1*f_2)(g)=\int_G f_1(h)\,f_2(h^{-1}g)\,d\mu(h),
\]
with \(d\mu(h)\) a fixed Haar measure on \(G\). In this setting \(H\) is commutative since \((GL_2,O_2)\) is a Gelfand pair [2507.09979].

The classical Hecke operator \(T_n\) is obtained from the double coset
\[
\Bigl[\,GL_2(\mathbb{Z})\!\begin{pmatrix}a&b\\0&d\end{pmatrix}\!K_\infty\Bigr],
\qquad ad=n,\quad 0\le b<d,
\]
and acts by
\[
(T_n\cdot f)(g)=\sum_{ad=n}\sum_{b=0}^{d-1} f\Bigl(\begin{pmatrix}a&b\\0&d\end{pmatrix}g\Bigr).
\]
The non-Archimedean generating series is
\[
Q^{(p<\infty)}_s=\sum_{n=1}^\infty n^{-(s+\frac12)}\,T_n,
\]
which converges for \(\operatorname{Re}s\gg1\). The Archimedean Baxter kernel is
\[
Q^{(\infty)}_s(g)=|\det g|^{\,s+\frac12}e^{-\pi\,\mathrm{tr}(g^Tg)},
\]
with associated convolution operator
\[
(Q^{(\infty)}_s\cdot f)(g)=\int_G Q^{(\infty)}_s(h)\,f(h^{-1}g)\,d\mu(h).
\]
The global Baxter operator is then defined as
\[
B_{\mathrm{global}}(s)=Q_s^{(p<\infty)}*Q_s^{(\infty)}.
\]
Equivalently, it may be described as first applying the discrete average
\[
(Q_s^{(p<\infty)}\cdot f)(g)=\sum_{\alpha\in GL_2(\mathbb{Z})\backslash\mathrm{Mat}_2^*(\mathbb{Z})}|\det\alpha|^{-(s+\frac12)}f(\alpha g),
\]
and then the Archimedean Baxter integral [2507.09979].

In kernel form,
\[
B_{\mathrm{global}}(s;g,h)
=\sum_{\alpha\in GL_2(\mathbb{Z})\backslash\mathrm{Mat}_2^*(\mathbb{Z})}
|\det\alpha|^{-(s+\frac12)}\,|\det g|^{s+\frac12}\,
e^{-\pi\,\mathrm{tr}((h\alpha g)^T(h\alpha g))}.
\]
This formula makes explicit that the global operator is not merely a formal product of local objects, but also a concrete convolution kernel on the global double-coset space [2507.09979].

## 2. Local factorization and Euler-product structure

A central structural fact is that the global Hecke algebra and its Baxter element factorize over the places \(v\) of \(\mathbb{Q}\):
\[
H\simeq \bigotimes_v' H_v,
\qquad
B_{\mathrm{global}}(s)=\bigotimes_v' B_v(s).
\]
At the Archimedean place,
\[
B_\infty(s)=Q_s^{(\infty)},
\]
while for each finite prime \(p\),
\[
B_p(s)=\sum_{k=0}^\infty p^{-k(s+\frac12)}
\,[\,GL_2(\mathbb{Z}_p)\,\mathrm{diag}(p^k,1)\,GL_2(\mathbb{Z}_p)\,].
\]
On each local spherical principal series representation \(\pi_p\) of \(GL_2(\mathbb{Q}_p)\), \(B_p(s)\) acts by multiplication by the local factor \(L_p(s,\pi_p)\), and \(B_\infty(s)\) acts in the Archimedean principal series by \(L_\infty(s,\pi_\infty)\) [2507.09979].

This local-to-global factorization is part of a broader Hecke-Baxter formalism for \(GL_{\ell+1}\). For \(G=GL_{\ell+1}(\mathbb{R})\), \(K=O_{\ell+1}\), the local Archimedean kernel is
\[
Q_{s,c}(g)=|\det g|^{\,s+\frac{\ell}{2}}\exp\bigl(-2c\,\mathrm{Tr}(g^Tg)\bigr),
\]
and the corresponding convolution operator preserves the one-dimensional \(K\)-fixed subspace in each spherical principal series \(V_\gamma\). Its eigenvalue on the normalized spherical vector is
\[
L_\infty(s,\pi_\gamma)
=
\prod_{j=1}^{\ell+1}
\pi^{-\frac{s-i\gamma_j}{2}}
\Gamma\!\Bigl(\frac{s-i\gamma_j}{2}\Bigr).
\]
At finite primes, the local spherical Hecke operator acts by the standard unramified local factor
\[
L_p(s,\pi_p)=\prod_{j=1}^{\ell+1}\frac{1}{1-\alpha_{j,p}p^{-s}},
\]
and the global Hecke-Baxter operator is
\[
\mathcal H=\bigotimes_{p\le\infty}\mathcal H_p,
\qquad
\mathcal H\,\phi=L(s,\pi)\,\phi
\]
on the restricted tensor-product spherical vector \(\phi=\otimes_p\phi_p\) [2412.11604].

This identifies the global Hecke-Baxter operator with an adelic convolution operator whose spectrum is multiplicative across places. A plausible implication is that the defining feature of “globality” in this context is not merely a long-chain composition, but the Euler-product assembly of local Hecke-Baxter data into a single operator whose eigenvalue recovers a completed \(L\)-function.

## 3. Spectral action on Eisenstein series

For \(G=GL_2(\mathbb{R})\), let \(\pi_\gamma\) be the unitary spherical principal series with spectral parameters \(\gamma=(\gamma_1,\gamma_2)\in\mathbb{R}^2\), induced from
\[
\chi_\gamma(\mathrm{diag}(a,d))=|a|^{i\gamma_1-\frac12}\,|d|^{i\gamma_2+\frac12}.
\]
If \(\phi_K\) is the unique \(K_\infty\)-fixed vector and \(\phi_{\mathbb{Z}}\) the unique \(GL_2(\mathbb{Z})\)-invariant distribution in the dual, then the Eisenstein series is
\[
E(\gamma;g)=\langle \phi_{\mathbb{Z}},\pi_\gamma(g)\phi_K\rangle.
\]
In classical coordinates \(\tau=x+iy\in\mathbb{H}_+\), \(t>0\), one has
\[
E(\gamma;\tau,t)
=
t^{\,i(\gamma_1+\gamma_2)}
\sum_{(m,n)\in\mathbb{Z}^2\setminus\{0\}/\pm1}
\frac{y^{\frac{1+i(\gamma_2-\gamma_1)}{2}}}{|m+n\tau|^{\,1+i(\gamma_2-\gamma_1)}}.
\]
The global Hecke-Baxter operator acts diagonally:
\[
B_{\mathrm{global}}(s)\,E(\gamma;g)=\Lambda(s;\gamma)\,E(\gamma;g),
\]
where
\[
\Lambda(s;\gamma)
=
L_\infty(s;\gamma)\prod_{p<\infty}L_p(s;\gamma)
=
\prod_{j=1}^2
\Bigl[
\pi^{-\frac{s-i\gamma_j}{2}}
\Gamma\!\bigl(\tfrac{s-i\gamma_j}{2}\bigr)
\Bigr]
\prod_{p<\infty}\frac{1}{1-p^{-s+i\gamma_j}}.
\]
Equivalently,
\[
\Lambda(s;\gamma)=
\prod_{j=1}^2
\bigl(L_\infty(s,\chi_j)\,\prod_p L_p(s,\chi_j)\bigr),
\qquad
\chi_j(\cdot)=|\cdot|^{i\gamma_j}.
\]
The completed factor satisfies the functional equation
\[
\Lambda(1-s;-\gamma)=\Lambda(s;\gamma),
\]
reflecting the involutive symmetry of both the Eisenstein series and the Baxter kernel under the Cartan involution \(g\mapsto (g^T)^{-1}\) [2507.09979].

In this spectral description, the operator is characterized by its diagonal action on spherical automorphic vectors. That point aligns with the local Archimedean formulation in higher rank, where the Hecke-Baxter kernel is specified by the property that it acts on an \(O_{\ell+1}\)-fixed vector in a \(GL_{\ell+1}(\mathbb{R})\)-principal series representation via multiplication by the local Archimedean \(L\)-factor canonically attached to the representation [2412.11604].

## 4. Relation to Baxter operators in integrable systems

In quantum integrable systems, Baxter operators are usually assembled from local \(R\)- or \(L\)-operators. For an \(N\)-site periodic spin chain with \(U_q(sl_2)\)-symmetry, one introduces the monodromy
\[
T(u)=L_N(u)\cdots L_1(u),
\qquad
t(u)=\mathrm{Tr}_{\mathbb{C}^2}T(u),
\]
and constructs the Baxter \(Q\)-operator as a trace over an auxiliary infinite-dimensional space,
\[
Q(u)=\mathrm{Tr}_{V_0}\Bigl\{
R^+_{0N}(u_+)\cdots R^+_{01}(u_+)\;
R^-_{0N}(u_-)\cdots R^-_{01}(u_-)
\Bigr\}.
\]
One then has
\[
[t(u),Q(v)]=0,
\qquad
[Q(u),Q(v)]=0,
\]
together with the global \(T\)-\(Q\) relation
\[
t(u)\,Q(u)=f(u+1)\,Q(u+1)+f(u-1)\,Q(u-1)
\]
with explicit structure functions \(f(u\pm1)\) [1211.2965].

The Hecke condition is crucial in that construction. At the local level,
\[
R^-_{j,j+1}(u)\,R^-_{j,j+1}(-u)=\rho(u)\,\mathrm{Id},
\]
and this Hecke-type relation ensures that when neighboring \(R\)-factors are permuted in the monodromy of \(Q\), scalar factors cancel, so that \(Q(u)\) is single-valued and globally well-defined. It also guarantees the commutativity properties needed for \([Q(u),Q(v)]=0\) [1211.2965].

An analogous assembly principle appears in the dynamical Yang-Baxter setting. Starting from a local dynamical Hecke operator \(S(a)\) satisfying a Hecke quadratic relation and a braid relation with dynamical shifts, one Baxterizes it by
\[
\check R(z,a)=e^zS(a)+e^{-z}S(a)^{-1},
\]
obtaining a dynamical \(R\)-matrix. On \(V_1\otimes\cdots\otimes V_N\), the operators
\[
R_i(z,a)=\mathrm{Id}_1\otimes\cdots\otimes
\check R^{(i,i+1)}(z,a\,h^{(i-1)})\otimes\cdots\otimes \mathrm{Id}_N
\]
satisfy dynamical braid relations and define a representation of the global dynamical Hecke algebra, often called the Hecke-Baxter algebra. The corresponding transfer matrix
\[
T(z,a)=\mathrm{Tr}_{V_0}\Bigl(R_{0N}(z,a)\,R_{0,N-1}(z,a\,h^{(1)})\cdots R_{0,1}(z,a\,h^{(N-1)})\Bigr)
\]
satisfies \([T(z,a),T(w,a)]=0\) [2310.04728].

These constructions justify a careful distinction. In integrable spin chains, “global” refers to the chain-wide composition of local data into monodromy, transfer, or \(Q\)-operators. In the arithmetic \(GL_2\) setting, “global” refers to the adelic or Euler-product combination of local Hecke-Baxter operators across all places. The common feature is an assembly of local Hecke-type ingredients into a commuting global operator, but the ambient categories are different.

## 5. Algebraic realizations and higher-rank analogues

The Hecke-Baxter terminology also appears in purely algebraic Baxterization frameworks. In the fused Hecke algebra \(H_{k,n}(q)\), one defines spectral-parameter-dependent elements
\[
R_i^{(k)}(u)=\sum_{p=0}^k a_p(u)\,\Sigma_i^{(k;p)},
\]
with explicit coefficients
\[
a_p(u)=(-q)^{k-p}\,
\frac{(u q^{-2p};q^{-2})_{k-p}}{q^p\,\{k-p\}_q!},
\]
and these satisfy the braided Yang-Baxter equation
\[
R_i^{(k)}(u)\,R_{i+1}^{(k)}(uv)\,R_i^{(k)}(v)
=
R_{i+1}^{(k)}(v)\,R_i^{(k)}(uv)\,R_{i+1}^{(k)}(u).
\]
After passing to the local representation
\[
\pi:H_{k,n}(q)\to \mathrm{End}(W^{\otimes n}),
\qquad
W=S_q^k(V),
\]
their images \(\mathcal R_i^{(k)}(u)\) obey the ordinary Yang-Baxter equation and yield a commuting transfer matrix
\[
t(u)=\mathrm{Tr}_0\,\mathcal R_{0,n}(u)\cdots \mathcal R_{0,1}(u),
\qquad
[t(u),t(v)]=0
\]
by the usual train argument [2004.05035].

A related fusion picture occurs for Hecke-type \(R\)-matrices on reducible or composite quantum-group representations. Starting from a Hecke-type solution
\[
\check R^{rr}(u)=I\otimes I+f(u)\,P
\]
satisfying the Yang-Baxter and Hecke relations, one constructs descendant \(R\)-matrices, extended Lax operators, the monodromy
\[
T_a(u)=L_{a,N}(u)\cdots L_{a,1}(u),
\]
and the transfer matrix
\[
t(u)=\mathrm{Tr}_a[T_a(u)],
\qquad
[t(u),t(v)]=0.
\]
The consistency of the global construction is ensured by the quantum-group invariance and Hecke-algebra relations built into the local data [1805.04632].

In harmonic-analytic settings, the Baxter operator formalism for Macdonald polynomials provides another higher-rank analogue. The operators \(\mathcal Q_\gamma^{(q,t)}\) and \(\breve{\mathcal Q}_z^{(q,t)}\) commute with the Macdonald-Ruijsenaars Hamiltonians and satisfy functional relations
\[
\mathcal M_{q,t}(-q^\gamma)\,\mathcal Q_\gamma^{(q,t)}
=
\mathcal Q_{\gamma+1}^{(q,t)},
\qquad
\widehat{\mathcal M}_{q,t}\!\bigl(-q^{\,k+\frac{\ell}{2}}z\bigr)\,\breve{\mathcal Q}_z^{(q,t)}
=
\breve{\mathcal Q}_{qz}^{(q,t)}.
\]
The paper further states that the generating series and Baxter operators generate a commutative subalgebra isomorphic to the spherical Hecke algebra of \(GL_{\ell+1}(\mathbb{R})\) at the Archimedean place, and conjectures a global Baxter operator
\[
\mathcal Q^{\rm glob}(s)=\bigotimes_v \mathcal Q_v(s,\pi_v)
\]
acting by the completed \(L\)-function
\[
\mathcal Q^{\rm glob}(s)\cdot W_\pi(g)=\Lambda(s,\pi)\,W_\pi(g)
\]
on global Whittaker or Macdonald-type functions [1204.0926].

## 6. Interpretive issues, misconceptions, and open directions

A common misconception is to identify every global Hecke-Baxter operator with a transfer matrix in the quantum inverse scattering method. The arithmetic \(GL_2\) operator is instead an element of a global Hecke algebra attached to
\[
GL_2(\mathbb{Z})\backslash GL_2(\mathbb{R})/O_2,
\]
defined by convolution and diagonalized by Eisenstein series, with eigenvalue equal to a completed global \(L\)-factor [2507.09979]. By contrast, the spin-chain and fused-Hecke constructions produce monodromy or \(Q\)-operators on tensor-product state spaces, with commutativity derived from Yang-Baxter or RTT relations [1211.2965].

Another possible source of confusion is the role of the Hecke relation itself. In the quantum-chain literature, the Hecke-type relation is a local quadratic or unitarity constraint that enables Baxterization, factor permutation, and global commutativity. In the arithmetic literature, “Hecke” refers to spherical Hecke algebras, double cosets, and convolution operators. The shared terminology is therefore structural rather than literal: in both settings a Hecke-algebraic input organizes a commuting family of operators, but the local relations and representation spaces differ. This suggests a genuine analogy, not an identity.

The recent arithmetic program makes this analogy explicit. In the formalism of quantum integrable systems, the Baxter operator \(Q(\lambda)\) has eigenvalues whose zeros satisfy Bethe ansatz equations. By analogy, the global Baxter eigenvalue \(\Lambda(s;\gamma)\) is described as an entire function of \(s\) whose zeros encode the arithmetic spectrum, and it is conjectured that “an arithmetic Bethe ansatz” may be formulated for the zeros of \(\Lambda(s;\gamma)\), possibly through functional relations of the form
\[
\Lambda(s;\gamma)\,Q(s;\gamma)=\phi_+(s)\,Q(s+1;\gamma)+\phi_-(s)\,Q(s-1;\gamma),
\]
with explicit \(\phi_\pm(s)\) built from local data. No closed system of Bethe equations is yet written in the cited work [2507.09979].

A further development is the realization of the Archimedean Hecke-Baxter operator via Heisenberg-group extensions. For \(GL_{\ell+1}(\mathbb{R})\), the kernel \(Q_{s,c}(g)\) is identified with a generalized Whittaker function for an extension of \(GL_{\ell+1}(\mathbb{R})\times GL_{\ell+1}(\mathbb{R})\) by a Heisenberg Lie group, and can also be lifted to a matrix element for an extension of \(Sp_{2\ell+2}(\mathbb{R})\times Sp_{2\ell+2}(\mathbb{R})\) by a Heisenberg Lie group [2412.11604]. This does not alter the spectral characterization of the operator, but it enlarges the representation-theoretic framework in which the Archimedean factor is understood.

Taken together, these results present the global Hecke-Baxter operator as a precise meeting point of automorphic harmonic analysis, spherical Hecke algebras, and Baxter-type integrability. In the arithmetic \(GL_2\) case it is already a concrete global convolution operator with eigenvalue \(\Lambda(s;\gamma)\) on Eisenstein series; in higher-rank and Macdonald-type settings, the same principle appears as an established local formalism together with a conjectural or adelic global completion [1204.0926].

Source: https://www.emergentmind.com/topics/global-hecke-baxter-operator