---
title: Multiplicative Hecke Operators
url: https://www.emergentmind.com/topics/multiplicative-hecke-operators
type: topic
---

# Multiplicative Hecke Operators

Multiplicative Hecke operators are a family of constructions in which the multiplicative structure of Hecke theory is made explicit either in the operator algebra, in the target on which the operators act, or in the resulting eigenvalue relations. In the classical linear setting, this appears through prime-by-prime factorization and commuting local Hecke actions; in a genuinely nonlinear setting, one replaces additive Hecke sums by products and lets the operators act on multiplicative groups of meromorphic modular forms; and in several recent generalizations the same theme reappears in noncommutative, vector-valued, geometric, and derived contexts [1412.4588] [2404.01042] [2303.00143].

## 1. Classical multiplicativity and local Hecke structure

In the standard theory of modular and Siegel modular forms, multiplicativity is encoded by commuting local operators and by the organization of the Hecke algebra prime by prime. For Siegel Eisenstein series of arbitrary degree \(n\), weight \(k\), level \(N\), and character \(\chi\), Walling gives explicit formulas for the action of \(T(p)\) and \(T_j(p^2)\), diagonalizes the Eisenstein space for all primes \(p\nmid N\), and, in square-free level, also diagonalizes the operators at primes dividing the level. On the averaged basis \(E_{\sigma,\psi}\), the good-prime eigenvalue of \(T(p)\) is
\[
\lambda_{\sigma,\psi}(p)= \psi_1(p)\psi_2(p^n)\prod_{i=1}^n(\psi_2\chi(p)p^{k-i}+1),
\]
and for the modified operators \(T'_j(p^2)\) one gets
\[
\lambda'_{j;\sigma,\psi}(p^2)
= \beta_p(n,j)p^{(k-n)j+j(j-1)/2}\chi(p^j)\prod_{i=1}^j(\psi_2\chi(p)p^{k-i}+1).
\]
These product formulas are the clearest local manifestation of multiplicativity in that setting; in square-free level they lead to simultaneous diagonalization and a multiplicity-one theorem [1412.4588].

In half-integral weight Siegel theory, the relevant operators are \(T_j(p^2)\), not \(T(p)\): Walling states that “the half-integral weight Hecke operator \(T(p)\) is \(0\) for any prime \(p\).” The local Hecke algebra is therefore organized around the square-indexed operators, and alternate generators \(\widetilde T_j(p^2)\) are introduced precisely because they simplify the Fourier-coefficient formulas and expose the local multiplicative structure. For Eisenstein series of level \(4N\) with \(N\) odd and square-free, the resulting eigenvalues become explicit product expressions, for example
\[
\lambda'_{\sigma;j}(p^2)
=
\beta_p(n,j)\,p^{j(k/2-n-1/2)+j(j-1)/2}\,\chi'(p^j)
\prod_{i=1}^{j}\big(\chi'(p)p^{(k+1)/2-i}+1\big),
\]
and the odd-prime Hecke operators commute, allowing simultaneous diagonalization and multiplicity-one on the relevant Eisenstein subspace. A closely related reorganization of the local half-integral weight Hecke algebra replaces the standard generators \(T_j(p^2)\) by \(\widetilde T_j(p^2)\), turning twisted Gauss-sum formulas into representation numbers and making the local structure compatible with theta series and Jacobi theory [1605.09292] [1110.6351].

These results do not identify a single universal notion of “multiplicative Hecke operator,” but they show that classical Hecke theory is already governed by local product formulas, commuting prime-indexed operators, and prime-power recursions. This suggests that later nonlinear or noncommutative versions are best understood as extensions of a prime-by-prime local paradigm rather than as completely unrelated constructions.

## 2. Genuine multiplicative Hecke operators on meromorphic modular forms

A literal multiplicative Hecke theory is developed for the multiplicative group \(M(N)\) of integral weight meromorphic modular forms for \(\Gamma_0(N)\), with unitary multiplier system, integer Fourier coefficients, and leading coefficient \(1\). If \(f\in M(N)\) has weight \(k\), then for a prime \(p\) and \(r\ge 1\) the multiplicative Hecke operator \(T(p^r)\) is defined by a product of slash transforms, with different formulas according to whether \(p\mid N\) or \(p\nmid N\), and \(T(1)\) is the identity. For general
\[
n=\prod_{p\mid n} p^{r_p},
\qquad
T(n):=\prod_{p\mid n}T(p^{r_p}).
\]
If
\[
f(\tau)=q^h\prod_{n=1}^\infty (1-q^n)^{c(n)},
\]
then \(f|T(p^r)\) again has a product expansion, with weight and order transformed by
\[
f|T(p^r)\in
\begin{cases}
M_{k\,\sigma(p^r),\,h\,\sigma(p^r)}(N),& p\nmid N,\\[4pt]
M_{k p^r,\,h}(N),& p\mid N,
\end{cases}
\]
where \(\sigma(p^r)=1+p+\cdots+p^r\). For \(p\nmid N\), the exponent formula simplifies at \(r=1\) to
\[
c_p(n)=p\,c(pn)+\chi_p(n)c(n)+c(n/p).
\]
The core multiplicative relation is the product identity
\[
f|T(m)T(n)=f|T(n)T(m)
=
\prod_{d\mid (m,n)} \big(f|T(mn/d^2)\big)^{\chi_N(d)},
\]
so in particular \(T(m)T(n)=T(mn)\) when \((m,n)=1\). For \(p\nmid N\), the prime-power recursion is
\[
f|T(p^r)T(p)=f|T(p^{r+1})\,(f|T(p^{r-1}))^p,
\]
while for \(p\mid N\),
\[
T(p^r)T(p^s)=T(p^{r+s}).
\]
In this framework, a multiplicative Hecke eigenform is defined by
\[
f|T(p)=f^{\,\lambda(p)}
\qquad (p\nmid N),
\]
and the classification theorem states that for \(f\in M(N)\) the following are equivalent: \(f\) is a multiplicative Hecke eigenform; \(f\) has no zeros or poles on \(\mathbb H\); and \(f\) is an eta quotient. Thus eta quotients are exactly the multiplicative Hecke eigenforms in this setting [2404.01042].

The same paper emphasizes that this theory is adapted to infinite-product exponents \(c(n)\), divisors, and Borcherds products rather than to additive Fourier coefficients. A plausible implication is that “multiplicative Hecke operator” is most precise when the natural algebraic structure on the target is multiplication rather than addition.

## 3. Borcherds products, logarithmic derivatives, and divisors

The nonlinear Hecke formalism becomes especially effective when paired with Borcherds lifts and divisor maps. For a fundamental discriminant \(\Delta\) and \(r^2\equiv \Delta \pmod{4N}\), the generalized Borcherds product of type \(O(2,1)\)
\[
\Psi_{\Delta,r}: H_{1/2,\rho_N}\longrightarrow M(N)
\]
sends a vector-valued harmonic weak Maass form to a meromorphic modular form for \(\Gamma_0(N)\) with unitary character, possibly of infinite order. On the additive side the relevant Hecke operator is \(T_{1/2}(p^2)\), and the equivariance theorem states that for primes \(p\nmid N\Delta\),
\[
\Psi\!\left(p\,f|T_{1/2}(p^2)\right)=\Psi(f)|T(p).
\]
This extends Guerzhoy’s multiplicative Hecke operator to the generalized Borcherds setting attached to \(\Gamma_0(N)\) and the Weil representation [2208.03924].

In the meromorphic-modular setting of Kim and Shin, the Borcherds product and the logarithmic derivative are Hecke equivariant for all \(n\) coprime to the level and discriminant. If \(\mathcal B\) denotes the Borcherds product and
\[
\mathfrak D(f):=\frac{\Theta(f)}{f}-\frac{k}{12}E_2,
\]
then
\[
\mathcal B\big(f\,|\,nT_{1/2}(n^2)\big)=\mathcal B(f)|T(n)
\]
when \((n,N)=(n,\Delta)=1\), and
\[
\mathfrak D(f|T(n))=\mathfrak D(f)|T_2(n)
\]
when \((n,N)=1\). These identities are proved prime-power first and then extended by multiplicativity, and they place product expansions, divisor data, and additive Hecke theory in a single compatible formalism [2404.01042].

The divisor-theoretic version is even more direct. On
\[
mer_*(\Gamma_0(N))=\bigcup_{k\in\mathbb Z} mer_k(\Gamma_0(N)),
\]
the multiplicative Hecke action attached to a double coset \(u=\Gamma_0(N)\alpha\Gamma_0(N)\) is
\[
(f|_* u)(\tau)=\prod_i (f|_k\alpha_i)(\tau).
\]
The divisor map to \(\Div(X_0(N))_{\mathbb Q}\) is then Hecke equivariant: for \((n,N)=1\),
\[
T(n)(f)=(f|_*T(n)).
\]
This yields the divisor-sum identity
\[
D_{F|_0T(n)}((f))=D_F((f|_*T(n))),
\]
and is applied to Bruinier–Kohnen–Ono type formulas, Rohrlich-type divisor sums, and recurrences for polyharmonic Maass forms. In this context the paper explicitly frames additive and multiplicative Hecke operators as two representations of the same Hecke algebra \(R_0(N)\), with divisors naturally compatible with the multiplicative one [2505.01702].

## 4. Nonabelian and noncommutative multiplicativity

A different generalization appears in Hain’s nonabelian Hecke theory on loops and conjugacy classes. Starting from a finite unramified covering \(\pi:Y\to X\), one has pushforward and pullback on free homotopy classes, and the classical Hecke correspondences \(T_N\) on the modular orbifold induce operators on
\[
\mathbb Z X(SL_2(\mathbb Z)).
\]
These operators preserve elliptic, parabolic, and hyperbolic classes, and the coprime multiplicativity relation survives:
\[
T_M T_N=T_{MN}\qquad ((M,N)=1).
\]
At a fixed prime \(p\), however, the classical commutative local Hecke algebra is replaced by a noncommutative one. The auxiliary operator
\[
e_p=\pi_*\pi^*-\mathrm{id}
\]
enters the prime-power relation
\[
T_{p^n}T_p=T_{p^{n+1}}+T_{p^{n-1}}e_p,
\]
which replaces the scalar correction term of the classical formula. On parabolic classes,
\[
T_p(\sigma_\varepsilon^n)=
\begin{cases}
\sigma_\varepsilon^{np}+\varepsilon p\,\sigma_\varepsilon^n,& p\nmid n,\\
\sigma_\varepsilon^{np}+p\,\sigma_\varepsilon^{n/p},& p\mid n,
\end{cases}
\]
and
\[
e_p(\sigma_\varepsilon^n)=
\begin{cases}
\varepsilon p\, \sigma_\varepsilon^n,& p\nmid n,\\
\varepsilon\,\sigma_\varepsilon^n + p\,\sigma_\varepsilon^{n/p},& p\mid n.
\end{cases}
\]
These formulas imply
\[
[T_p,e_p]\neq 0,\qquad [T_p,T_{p^2}]\neq 0,
\]
so the algebra generated by the \(T_N\) is not commutative. Hain packages the local structure as
\[
\mathcal T_p:=\mathbb Z\langle T_p,e_p\rangle /(m_p(e_p)),
\]
with
\[
T_{p^{n+1}}=T_{p^n}T_p-T_{p^{n-1}}e_p,
\]
and recovers the classical Hecke algebra as the quotient obtained by imposing \(e_p=p\). Dually, the opposite algebra acts on the ring of class functions on the relative completion of \(SL_2(\mathbb Z)\), hence on conjugation-invariant iterated Shimura integrals, preserving mixed Hodge structures and commuting with the absolute Galois action [2303.00143].

This construction shows that multiplicativity need not imply commutativity. Here coprime factorization survives intact, but prime-power structure becomes operator-valued and noncentral.

## 5. Vector-valued, analytic, and formal variants

The expression “multiplicative Hecke operators” also appears in several nonclassical analytic settings. In rational conformal field theory, Hecke operators are defined on vector-valued modular functions of conductor \(N\). For a prime \(p\) with \(\gcd(p,N)=1\),
\[
(T_pf)_i(\tau)=\sum_j \rho_{ij}(\sigma_p)f_j(p\tau)+\sum_{b=0}^{p-1} f_i\!\left(\frac{\tau+bN}{p}\right),
\]
and the transformed modular representation is
\[
\rho^{(p)}(T)=\rho(T^{\bar p}),\qquad \rho^{(p)}(S)=\rho(\sigma_p S).
\]
These operators satisfy
\[
T_mT_n=T_{mn}\qquad ((m,n)=1),
\]
and the prime-power recursion
\[
T_{p^{m+1}}f = T_pT_{p^m}f - p^{\,1-k}\,\rho(\sigma_p)\,T_{p^{m-1}}f.
\]
At weight \(0\), the correction term is \(p\,\rho(\sigma_p)\). The paper interprets this as an extension of Galois symmetry from modular data to full RCFT characters [1804.06860].

For the Lerch zeta function, Lagarias and Li define two-variable operators
\[
T_m f(a,c):=\frac1m\sum_{k=0}^{m-1} f\!\left(\frac{a+k}{m},\,mc\right)
\]
on twisted-periodic real-analytic function spaces. The exact semigroup law
\[
T_mT_n=T_nT_m=T_{mn}
\]
holds on the twisted-periodic space, and for each \(s\in\mathbb C\) there is a two-dimensional space \(E_s\) generated by Lerch zeta functions on which every \(T_m\) acts by the scalar \(m^{-s}\). Under twisted-periodicity and integrability hypotheses, this \(E_s\) is the maximal simultaneous eigenspace for the family \(\{T_m\}\) [1511.08116].

On formal power series and hypergeometric functions, the operators
\[
(U_n f)(x):=\sum_{k=0}^\infty c_{nk}x^k,\qquad (V_n f)(x):=f(x^n)
\]
satisfy
\[
U_nU_m=U_mU_n=U_{nm},\qquad U_nV_n=\mathrm{Id}.
\]
On the set of hypergeometric functions, the spectrum of \(U_n\) is
\[
\{n^i:i\in\mathbb Z\},
\]
and the principal eigenfunctions are polylogarithms and the rational functions \(\sum_{k\ge 1}k^a x^k\). Simultaneous eigenfunctions for all \(U_n\) are exactly
\[
C\sum_{k=1}^\infty k^a x^k,
\qquad a\in\mathbb Z,
\]
which is equivalent to complete multiplicativity of the coefficient sequence [1005.2946].

Taken together, these examples show that multiplicative Hecke structures extend beyond scalar modular forms to vector-valued, two-variable, and purely formal settings. The common feature is an operator family indexed by positive integers whose composition law is encoded directly in multiplication.

## 6. Geometric and arithmetic extensions

Recent work has pushed multiplicative Hecke ideas into geometric representation theory, derived Hecke theory, and Archimedean harmonic analysis. In the Jacquet–Rallis relative trace formula over local function fields, the spherical Hecke module on the symmetric side and the spherical Hecke algebra on the unitary side are compared by a canonical transfer
\[
1_{C_n^\lambda}\longmapsto 1_{C_n^{\prime\lambda}},
\]
and the fundamental lemma is proved using multiplicative Hitchin fibrations. For matching strongly regular semisimple elements \(A\leftrightarrow A'\) and matching spherical test functions \(f\leftrightarrow f'\), the main identity is
\[
\Delta(A)\, O_{A,H}^{\eta}(f)=O_{A',H'}(f').
\]
At the level of Satake functions, the corresponding orbital integrals are realized as point counts on affine Jacquet–Rallis fibers. In this setting, “multiplicative” refers primarily to multiplicative Hitchin fibrations and multiplicative affine Springer fibers rather than to product-valued Hecke operators [2408.15155].

For the multiplicative group \(\mathbf G_m\) over a number field, the derived Hecke algebra acquires an explicit local description:
\[
R[F_v^\times/O_v^\times]\otimes_R H^\bullet(O_v^\times,R)\cong \mathcal H^\bullet_{v,R},
\]
and the resulting operators act on cohomology by
\[
h_{z,\alpha}c:=\langle\alpha\rangle\cup z^*c.
\]
When \(R=\mathbb F_p\), the paper proves non-vanishing of the degree-one derived Hecke action under mild assumptions. If \(p\) does not divide the order of \(O_F^\times/E(\mathfrak N)\), then the map
\[
\Psi:\mathbb T^1\otimes_{\mathbb T^0} H^0(Y(\mathfrak N),\mathbb F_p)\to H^1(Y(\mathfrak N),\mathbb F_p)
\]
is an isomorphism of \(\mathbb T^0\)-modules. The proof uses the Grunwald–Wang theorem to show that finitely many local mod-\(p\) unit characters detect the global unit characters [2410.22797].

At the Archimedean place, the Hecke–Baxter operator for \(GL_{\ell+1}(\mathbb R)\) is the \(O_{\ell+1}\)-biinvariant kernel
\[
Q_{s,c}(g)=|\det(g)|^{s+\ell/2}e^{-2c\operatorname{Tr}(g^Tg)},
\]
an element of the spherical Hecke algebra. On spherical principal series it acts by scalar multiplication with the local Archimedean \(L\)-factor, and the paper reinterprets \(Q_{s,c}\) as a generalized Whittaker function for an extension of \(GL_{\ell+1}(\mathbb R)\times GL_{\ell+1}(\mathbb R)\) by a Heisenberg Lie group. It is then lifted to a corresponding extension of \(Sp_{2\ell+2}(\mathbb R)\times Sp_{2\ell+2}(\mathbb R)\). This gives a representation-theoretic realization of an Archimedean multiplicative Hecke kernel as a matrix coefficient [2412.11604].

These developments suggest that multiplicative Hecke operators are no longer confined to a single formalism. They appear as nonlinear product operators on meromorphic modular forms, as local commuting or twisted semigroups on analytic function spaces, as noncommutative operators on loops and conjugacy classes, and as geometric or derived actions built from spherical Hecke categories, Heisenberg extensions, and arithmetic tori.

Source: https://www.emergentmind.com/topics/multiplicative-hecke-operators