---
title: Eñe Product and Its Ring Structure
url: https://www.emergentmind.com/topics/ene-product
type: topic
---

# Eñe Product and Its Ring Structure

The eñe product is a binary operation on normalized formal power series
\[
\Lambda(A):=1+zA[[z]]
\]
over a commutative ring \(A\). It equips \(\Lambda(A)\) with a second ring structure in which the usual multiplication of series is the additive law and the eñe product is the multiplicative law. On polynomials normalized by \(f(0)=g(0)=1\), it acts by multiplying zeros pairwise; in exponential coordinates it becomes the diagonal operation
\[
F\star_e G(z)=-\sum_{n\ge1} n\,A_nB_n\,z^n
\]
for \(F(z)=\sum_{n\ge0}A_nz^n\) and \(G(z)=\sum_{n\ge0}B_nz^n\). The operation extends from formal series to rational, meromorphic, entire, and transalgebraic functions, is closely related to Hadamard multiplication and logarithmic derivatives, and, after inversion, coincides with the multiplication of the Big Witt ring [1911.09140][2009.14099][1912.08557][2606.01395].

## 1. Formal definition and ring-theoretic structure

For
\[
f(z)=1+\sum_{n\ge1} a_n z^n,\qquad g(z)=1+\sum_{n\ge1} b_n z^n,
\]
the eñe product is defined by
\[
f\star g(z)=1+c_1z+c_2z^2+\cdots,
\]
where each coefficient \(c_n\) is a universal polynomial with integer coefficients in
\[
a_1,\dots,a_n,\qquad b_1,\dots,b_n.
\]
This universality is essential: the definition makes sense over any commutative coefficient ring. The resulting structure \((\Lambda(A),\cdot,\star)\) is a commutative ring in which usual multiplication of series is the additive law, the additive identity is the constant series \(1\), and the multiplicative identity for \(\star\) is \(1-z\) (or \(1-X\) in the formal-variable notation of the algebraic papers) [1911.09140].

The same operation is more transparent in exponential coordinates. If
\[
f=\exp F,\qquad g=\exp G,\qquad F(0)=G(0)=0,
\]
then
\[
f\star g=\exp(F\star_e G),
\]
where the exponential eñe product is
\[
F\star_e G(z)=-\sum_{n\ge1} n\,A_nB_n\,z^n.
\]
Thus \(\star_e\) is bilinear, commutative, and associative on logarithms, while \(\star\) is the induced operation on exponentials. In these coordinates the eñe product is diagonal in the monomial basis: there is no mixing of indices, only coefficientwise multiplication with weight \(-n\) [1911.09140][2009.14099].

Several structural identities follow immediately from the divisor interpretation and the universal formulas. For \(a\in A\),
\[
f(aX)\star g(X)=f(X)\star g(aX)=(f\star g)(aX),
\]
and in particular
\[
(1-aX)\star f(X)=f(aX).
\]
Moreover,
\[
f(X^k)\star g(X^k)=(f\star g)(X^k),
\]
and if \(\gcd(k,l)=1\),
\[
f(X^k)\star g(X^l)=(f\star g)(X^{kl}).
\]
These formulas show that \(\star\) is compatible with rescaling and with the multiplicative arithmetic of exponents [1911.09140].

## 2. Multiplicative convolution of zeros and divisors

The defining geometric property of the eñe product is its action on zeros. If
\[
f(z)=\prod_{\alpha}\Bigl(1-\frac{z}{\alpha}\Bigr),\qquad
g(z)=\prod_{\beta}\Bigl(1-\frac{z}{\beta}\Bigr),
\]
with \(f(0)=g(0)=1\), then
\[
f\star g(z)=\prod_{\alpha,\beta}\Bigl(1-\frac{z}{\alpha\beta}\Bigr).
\]
Hence the zeros of \(f\star g\) are exactly the pairwise products \(\alpha\beta\). If \(n_\alpha\) and \(n_\beta\) denote multiplicities, positive for zeros and negative for poles, then the multiplicity at \(\gamma\) is
\[
n_\gamma=\sum_{\alpha\beta=\gamma} n_\alpha n_\beta.
\]
In divisor notation,
\[
\mathrm{div}(f\star g)=\sum_{\alpha,\beta} n_\alpha n_\beta[\alpha\beta].
\]
Equivalently, the eñe product on divisors is the bilinear extension of the rule
\[
[\alpha]\star[\beta]=[\alpha\beta].
\]
This is the core sense in which the eñe product is a multiplicative convolution of divisors [1911.09140][2009.14099].

A more primitive formulation appears at the level of divisors on a semigroup \(G\). For finite divisors
\[
\delta=\sum_{g\in G} n_g\,(g),\qquad \eta=\sum_{g\in G} m_g\,(g),
\]
their convolution is
\[
\delta\star_G\eta
=
\sum_{g\in G}\left(\sum_{g_1g_2=g} n_{g_1}m_{g_2}\right)(g).
\]
If \(G\) is a semigroup, this defines an associative ring structure on finite divisors; if \(G\) is commutative, the ring is commutative. Specializing to the multiplicative monoid \(A^\times\), and transporting the divisor convolution through the factorization
\[
f(X)=\prod_{a\in A^\times}(1-aX)^{n_a},
\]
gives the eñe product on split rational functions normalized at \(0\) [2606.01395].

This divisor formalism extends beyond polynomials. For rational and meromorphic functions, the sign rules are:
zero \(\star\) zero \(=\) zero, pole \(\star\) pole \(=\) zero, zero \(\star\) pole \(=\) pole, and pole \(\star\) zero \(=\) pole. In the rational case the eñe product leaves invariant
\[
\frac{1+XA[X]}{1+XA[X]},
\]
and degrees multiply:
\[
\deg(R_1\star R_2)=\deg(R_1)\deg(R_2).
\]
A plausible implication is that the divisor description, rather than the coefficient formulas, is the primary organizing principle of the theory [1911.09140].

## 3. Exponential coordinates, Hadamard multiplication, and induced operators

The eñe product is tightly linked to the logarithmic derivative and to Hadamard multiplication. If
\[
D(f)=\frac{f'}{f},
\]
then
\[
D(f\star g)=-D(f)\odot D(g),
\]
where \(\odot\) denotes the Hadamard product
\[
\Bigl(\sum a_nX^n\Bigr)\odot\Bigl(\sum b_nX^n\Bigr)=\sum a_nb_nX^n.
\]
Equivalently, in exponential coordinates
\[
F\star_e G=-K_0\odot F\odot G,
\]
so the eñe product is a Hadamard-type product twisted by the Koebe weight sequence \(n\mapsto -n\) [1911.09140][2009.14099].

This diagonalization yields a direct bridge to operator theory. For matrices \(M,N\),
\[
\det(I-MX)\star\det(I-NX)=\det(I-(M\otimes N)X).
\]
Thus tensor product of linear operators corresponds exactly to eñe multiplication of the associated characteristic-type polynomials. In particular, one may compute \(P\star Q\) by realizing \(P\) and \(Q\) as characteristic polynomials of companion matrices and passing to a tensor product [1911.09140].

The same formalism produces Hecke-type operators. If
\[
I_N(X)=1-X^N,\qquad f(X)=\exp\Bigl(\sum_{i\ge1}F_iX^i\Bigr),
\]
then
\[
I_N\star f(X)=\exp\Bigl(\sum_{k\ge1}F_{Nk}X^{Nk}\Bigr).
\]
Thus eñe multiplication by \(I_N\) extracts exactly those exponential coefficients whose indices are divisible by \(N\). The associated Hecke operator is defined by
\[
T(n)(f)(X)=(I_n\star f)(X^{1/n}),
\]
so that
\[
T(n)(f)(X)=\exp\Bigl(\sum_{k\ge1}F_{nk}X^k\Bigr).
\]
Together with the dilatation operators \(R_\lambda(f)(X)=f(X^{1/\lambda})\), these operators satisfy identities parallel to classical Hecke relations, including \(T(n)T(m)=T(nm)\) when \(\gcd(n,m)=1\) [1911.09140].

## 4. Relation to the Big Witt ring

The eñe product gives a natural construction of the Big Witt ring. Classically, the underlying set of the Big Witt ring \(W(A)\) is identified with
\[
1+XA[[X]],
\]
with addition given by usual multiplication of series and multiplication defined through ghost components. In the eñe approach, one starts instead from the elementary rule that zeros multiply, extends that rule continuously from split polynomials to all formal series by universal polynomial formulas, and only then recovers the Witt structure [2606.01395].

The relevant exponential coordinates are Newton sums and ghost components. If
\[
f(T)=\prod_{k=1}^\infty (1-X_kT),
\]
then
\[
f(T)=\exp\left(-\sum_{n=1}^\infty \frac{1}{n}N_n(X)\,T^n\right),
\qquad
N_n(X)=\sum_{k=1}^\infty X_k^n.
\]
Under the eñe product,
\[
\Bigl(\prod_k(1-X_kT)\Bigr)\star \Bigl(\prod_l(1-Y_lT)\Bigr)
=
\exp\left(-\sum_{n=1}^\infty \frac{1}{n}N_n(X)N_n(Y)\,T^n\right),
\]
so Newton sums multiply coordinatewise [2606.01395].

For the Big Witt ring one uses instead
\[
f(T)=\prod_{k=1}^\infty (1-X_kT^k)^{-1}
=
\exp\left(\sum_{n=1}^\infty \frac{1}{n}W_n(X)\,T^n\right),
\]
where
\[
W_n(X)=\sum_{d\mid n} d\,X_d^{\,n/d}
\]
are the Bergman–Witt ghost polynomials. The central result is that the twisted eñe product
\[
f\check\star g:=(f\star g)^{-1}
\]
coincides with the Big Witt product \(\star_w\). Equivalently, after inversion the eñe ring is exactly the classical Big Witt ring [2606.01395].

The construction is also functorial. A ring morphism \(\varphi:A\to B\) induces a coefficientwise map
\[
\mathcal A(\varphi):1+XA[[X]]\to 1+XB[[X]]
\]
that preserves the eñe product. This places the eñe construction and the Big Witt functor in the same categorical framework [2606.01395].

## 5. Singularities, monodromy, and invariant analytic classes

The analytic theory of the eñe product is organized by monodromy. For a holomorphic function \(F\) on a punctured neighborhood of \(\alpha\), let
\[
\Delta_\alpha F=F_+-F
\]
be the monodromy after one positive turn around \(\alpha\). Holomorphic monodromy means that \(\Delta_\alpha F\) extends holomorphically to \(\alpha\). In that case,
\[
F(z)=F_0(z)+\frac{1}{2\pi i}\log(z-\alpha)\,\Delta_\alpha F(z),
\]
with \(F_0\) having a uniform singularity at \(\alpha\). Integrable singularities are exactly those with totally holomorphic monodromy [2009.14099].

The Hadamard product and the exponential eñe product admit parallel convolution formulas:
\[
F\odot G(z)=\frac{1}{2\pi i}\int_\eta F(u)\,G(z/u)\,\frac{du}{u},
\]
and
\[
F\star_e G(z)= -\frac{1}{2\pi i}\int_\eta F'(u)\,G(z/u)\,du.
\]
The crucial difference is the absence of the explicit \(1/u\) factor in the \(\star_e\) kernel. From this one obtains explicit monodromy formulas at product singularities \(\gamma=\alpha\beta\). If \(F\) and \(G\) have isolated singularities with holomorphic monodromy at \(\alpha\) and \(\beta\), then the singularities of \(F\odot G\) and of \(F\star_e G\) are again contained in the set of products \(\alpha\beta\), are isolated, and have holomorphic monodromy. In the totally holomorphic case, the \(\star_e\) monodromy formula contains no \(1/u\) singular kernel, so the origin does not become a new ramification point [2009.14099].

These formulas imply closure properties for natural analytic classes. If \(K\subset\mathbb C\) contains \(2\pi i\), the class \(PLM(K)\) consists of germs holomorphic at \(0\) whose singularities lie in \(K\) and whose local monodromies belong to \(K[z,\log z]\). The ring \(PLM(K)\) is closed under Hadamard product and under the exponential eñe product \(\star_e\); moreover it is the minimal Hadamard, respectively eñe, ring containing functions with polynomial monodromies in \(K[z]\) and singularities in \(K\) [2009.14099].

The same analytic control extends to entire functions. If \(E_\lambda\) denotes the set of entire functions of order \(<\lambda\) with constant term \(1\), then \(E_\lambda\) is stable under \(\star\), and the product is continuous. For entire functions of finite genus \(\rho\), the eñe product respects Hadamard–Weierstrass factorization:
\[
f(z)=\exp(F(z))\prod_i E_\rho(z/\alpha_i),\qquad
g(z)=\exp(G(z))\prod_j E_\rho(z/\beta_j)
\]
implies
\[
f\star g(z)=\exp(F\star_e G)(z)\prod_{i,j}E_\rho(z/(\alpha_i\beta_j)).
\]
At the level of convergence, the eñe-radius satisfies
\[
\tilde R(f\star g)=\tilde R(f)\tilde R(g),
\]
and \(\star\) is continuous for the corresponding compact-open topology [1911.09140].

## 6. Transalgebraic extension, polylogarithms, and arithmetic context

The eñe product extends beyond meromorphic functions to the transalgebraic class. A transalgebraic function on a compact Riemann surface is meromorphic outside finitely many points and has only finite-order exponential singularities at the punctures. Locally such a singularity has the form
\[
f(z)=z^n e^{h(z)},
\]
with \(h\) meromorphic; the order \(d\) of the exponential singularity is finite exactly when \(h\) has a pole of order \(d\). On the Riemann sphere, every transalgebraic function is of the form
\[
f=R_0e^{R_1},
\]
with \(R_0,R_1\in\mathbb C(z)\) and \(R_0\not\equiv0\). Modulo nonzero constants, the transalgebraic class becomes a commutative graded topological ring in which usual multiplication is the additive structure and the eñe product is the multiplicative structure [1912.08557].

A distinguished hierarchy is generated by Euler’s rational functions
\[
R_1(z)=\frac{z}{z-1}=-\sum_{n=1}^\infty z^n,\qquad
R_k(z)=-\sum_{n=1}^\infty n^{k-1}z^n,\quad k\ge1,
\]
with recurrence
\[
R_{k+1}(z)=z\frac{d}{dz}R_k(z).
\]
They encode higher-order “infinite zeros” through
\[
\left(1-\frac{z}{z_0}\right)^{k\cdot\infty}:=e^{R_k(z/z_0^k)}.
\]
Their eñe multiplication is rigid:
\[
\left(1-\frac{z}{z_1}\right)^{k_1\cdot\infty}\star\cdots\star
\left(1-\frac{z}{z_n}\right)^{k_n\cdot\infty}
=
\left(1-\frac{z}{z_1\cdots z_n}\right)^{(k_1+\cdots+k_n)\cdot\infty}.
\]
Thus the support multiplies and the order adds, exactly as in divisor convolution [1912.08557].

Polylogarithms provide the dual hierarchy. For
\[
Li_k(z)=\sum_{n=1}^\infty \frac{z^n}{n^k},
\]
one has
\[
Li_{k+1}=Li_k\odot Li_1,\qquad
Li_k\star_e Li_l=-Li_{k+l-1}.
\]
Their monodromy at \(z=1\) is
\[
\Delta_1 Li_k(z)=-\frac{2\pi i}{(k-1)!}(\log z)^{k-1}.
\]
In the transalgebraic framework, the negative-index continuation of the \(R_k\)-hierarchy satisfies
\[
R_k(z)=Li_k(z)\qquad (k\le0),
\]
and
\[
e^{R_k(z)}\star e^{-Li_{k+1}(z)}=1-z.
\]
This motivates the interpretation of \(e^{-Li_{k+1}(z)}\) as an eñe-pole of order \(k\) [2009.14099][1912.08557].

The arithmetic motivation of the theory comes from Euler products, zeta functions, and Dirichlet \(L\)-functions. In that setting, local factors may be written in normalized form \(\prod_j(1-\alpha_{p,j}T)\), and the eñe product models multiplicative interaction of their zero data. The papers emphasize that the eñe product plays a central role in work on “statistics on Riemann zeros” and on heuristic aspects of the Riemann Hypothesis. This suggests a broader interpretation of the eñe ring as a framework in which divisor convolution, Hadamard multiplication, Witt vectors, and analytic continuation are different manifestations of the same underlying multiplicative geometry of zeros [1911.09140].

Source: https://www.emergentmind.com/topics/ene-product