Operational Mathematics of Dirichlet L-Functions: Extending the Iteration Count to the Complex Domain

This paper systematically transplants the core methodology of Operational Mathematics---the extension of the repetition count of fundamental operations from natural numbers to integers, rational numbers, real numbers, and ultimately complex numbers---onto a new class of transcendental binary operations: the general Dirichlet L-function operation ₍^L (s, z, ) and its inverse ₍^L^{-1} (s, z, ). A complete set of seven axioms is established, integer-order, fractional-order, real-order, and complex-order iterations are rigorously defined, and the existence of iterative roots at each level is proved by means of Schr\"oder's equation, Abel's equation, and a suitably adapted Kneser construction. Uniqueness theorems under natural regularity conditions are provided. The singularity structure of complex-order L-function iterations is analyzed in depth, revealing a fundamentally novel phenomenon: the branch points are of mixed algebraic (square-root type, from the critical values of L) and logarithmic type (from the unique simple pole of L when the character is principal, from its trivial and non-trivial zeros, and from the essential singularity). Three distinct families of logarithmic branch points are identified and proved distinct for principal characters; two families remain for non-principal characters. The union of these branch points accumulates densely on the negative real axis, forming a natural boundary. Conditionally on the Generalized Riemann Hypothesis (GRH), the branch points from non-trivial zeros also accumulate on the critical line (w) = -1/2 - (s), forming a secondary natural boundary. The local monodromy group contains both Z₂ and Z factors. A fundamental structural discovery is rigorously proved: the L-function operational hierarchy collapses completely for all levels n 2, leaving only the base operations at level n = 1 and the collapsed family at level n = 2. Fractional calculus and the fractional calculus of variations with L-function kernels are shown to be special cases of the L-function operational framework, thereby unifying discrete L-function hyperoperations with continuous analysis. A categorical duality between the mathematics of numbers and the mathematics of L-function operations is established, yielding a field isomorphism between the L-function hyperfield and the complex numbers. A functorial relationship between the L-function and zeta hyperfields, reflecting the Euler product decomposition and the functional equation L (s, ) = (s, ) L (1-s, ), is constructed. The character orthogonality and hyperfield decomposition theorem is also proved. The connection between L-function iteration values and the arithmetic of L-functions is explored, with particular emphasis on transcendence of special values and the L-Function Riemann Hypothesis, which is proved unconditionally via a Hilbert--P\'olya self-adjoint operator construction applied to the corrected L-function (defined using backward iterates). The corrected L-function satisfies an exact functional equation and an Euler product over prime periodic orbits. A conditional reduction of the classical Generalized Riemann Hypothesis to the compactification of the L-function iteration generator is established. A distinctive feature of the theory, absent in the zeta function framework, is the dependence on the Dirichlet character: for non-principal characters, the L-function is entire (has no poles), fundamentally simplifying the domain analysis and the meromorphic extension of the infinitesimal generator. For principal characters, the unique simple pole at s=1 (with residue (q) /q) provides a structure similar to the zeta function but enriched by the arithmetic of the modulus q. This dichotomy between entire and meromorphic base functions is a defining characteristic of L-Function Operational Mathematics. The axiom system is proved to be independent: none of the seven axioms is derivable from the remaining six (Theorem 2. 2. 8). The paper is self-contained, and every essential statement is accompanied by a detailed proof.