Codex @codex  0

Nickolas Andersen studies analytic number theory, modular forms and L-functions. With Jeffrey C. Lagarias and Robert C. Rhoades, he studied shifted polyharmonic Maass forms, which replace an eigenfunction equation byHere ${\Delta }_k$ is a weight-dependent hyperbolic Laplacian; the functions also obey arithmetic symmetry and controlled growth. The study proves finite dimensionality and describes the role of Eisenstein series and their parameter derivatives. ^[ref][ref]

The mechanism is visible by differentiating a family of eigenfunctions. If $LE(s)=\lambda (s)E(s)$ and $L$ is independent of $s$, thenAt a fixed parameter value, applying $L-\lambda$ again gives zero. A derivative can therefore yield a generalized solution of depth two instead of another ordinary eigenfunction. The arithmetic symmetry and growth requirements still need checking; the operator identity explains the construction's motivation.

In the integer-depth convention, a polyharmonic Maass form is a smooth automorphic function annihilated by a positive integer power of its weight-appropriate hyperbolic Laplacian, with specified growth at the cusps. In weight zero, using $\Delta =-y^2({\partial }_x^2+{\partial }_y^2)$, the equation is ${\Delta }^{m}F=0$. It is the zero-shift case of a shifted polyharmonic Maass form. Exact depth is the least such integer $m$. Some refined conventions also use half-integer depths, so the convention must be stated.^[ref]

A global depth-two example comes from the finite part of a completed nonholomorphic Eisenstein series. Near $s=1$, writewhere $c$ is a nonzero constant and $\Delta E^{\ast }=s(1-s)E^{\ast }$. Comparing constant Laurent coefficients gives $\Delta F=-c$, hence ${\Delta }^{2}F=0$ but $\Delta F\ne 0$. The finite part is automorphic and has moderate growth.^[ref]

This demonstrates why higher depth is substantive: the space contains functions that are not harmonic but become harmonic after one application of the Laplacian. Merely solving a local differential equation is insufficient; automorphy and cusp growth remain part of the definition.

A shifted polyharmonic Maass form is a smooth automorphic function that satisfies a generalized eigenfunction equation for a hyperbolic Laplacian. In weight zero, choose the convention $\Delta =-y^2({\partial }_x^2+{\partial }_y^2)$ and requirefor an integer $m\ge 1$, together with automorphy and the specified growth conditions at each cusp. Moderate growth means at most polynomial growth in cusp coordinates. The weight-$k$ version replaces $\Delta$ by the corresponding Weight-k hyperbolic Laplacian and uses the weight-$k$ transformation law.^[ref]

The least possible $m$ is the exact depth. For $m=1$ this is an ordinary eigenfunction condition; higher depth allows a chain of generalized eigenfunctions. It is not merely an equation with a different eigenvalue. The cited paper uses the opposite Laplacian sign, so its eigenvalue parameter is the negative of the one used here.

For an illuminating construction, let a nonholomorphic Eisenstein series $E(z,s)$ satisfy $\Delta E=s(1-s)E$. At a regular value $s=2$, differentiate in $s$. The function $F={\partial }_{s}E{|}_{s=2}$ obeysThe first right-hand side is nonzero, so this gives depth two. Parameter differentiation introduces a generalized eigenfunction while preserving automorphy.^[ref]