[Paper Review] Super-replicable functions ${\cal N}(j_{1,N})$ and periodically vanishing property

Chang Heon Kim, Ja Kyung Koo|ArXiv.org|Nov 6, 2004

Advanced Algebra and Geometry14 references3 citations

TL;DR

This paper introduces super-replicable functions 𝒩(j₁,ₙ) as a generalization of replicable modular functions, extending replication formulae to cases where Γ₁(N) ≠ Γ₀(N). It derives twisted replication formulae using Dirichlet characters and proves that the Hauptmodul 𝒩(j₁,₁₂) exhibits a periodically vanishing property in its Fourier coefficients, specifically Hₘ = 0 for m ≡ 2 mod 6, confirmed via recursive relations and explicit coefficient tables.

ABSTRACT

We find the super-replication formulae which would be a generalization of replication formulae. And we apply the formulae to derive periodically vanishing property in the Fourier coefficients of the Hauptmodul ${\cal N}(j_{1,12})$ as a super-replicable function.

Motivation & Objective

• To generalize the concept of replicable functions to cases where the Fricke group Γ₁(N) is not commensurate with Γ₀(N), introducing a broader class of modular functions.
• To derive twisted replication formulae for Fourier coefficients of 𝒩(j₁,ₙ) using Dirichlet characters when Γ₁(N) ≠ Γ₀(N), extending the classical replication structure.
• To investigate the Fourier coefficient structure of the Hauptmodul 𝒩(j₁,₁₂), particularly its vanishing behavior, as a key test case for the new framework.
• To establish recursive relations for Fourier coefficients of 𝒩(j₁,ₙ) that allow computation without relying on higher-level replicates, especially for N = 2, 6, 8, 10, 12.
• To verify that the periodically vanishing property in 𝒩(j₁,₁₂) arises from the super-replicable structure, using explicit coefficient tables and self-recursion formulas.

Proposed method

• Proposes the concept of super-replicable functions as a generalization of replicable functions, where replication formulae are twisted by a Dirichlet character ψ when Γ₁(N) ≠ Γ₀(N).
• Derives a twisted replication formula (equation 10) for Fourier coefficients Hₘ,ₙ of Faber polynomials Xₙ(t) associated with t = 𝒩(j₁,ₙ), valid for N ≠ 7, 9.
• Uses self-recursion formulas derived in prior work [17, 18] to compute Fourier coefficients Hₘ of 𝒩(j₁,ₙ) recursively, with coefficients α and β depending on special values of the Hauptmodul.
• Applies the recursion to compute Hₘ for m ≤ 60 in 𝒩(j₁,₁₂), revealing a periodic vanishing pattern.
• Employs the theory of modular forms, including Dedekind eta function, Eisenstein series, and Weierstrass ℘-functions, to construct explicit expressions for j₁,ₙ and their normalized Hauptmoduln.
• Compares the resulting Fourier coefficients with known Thompson series and confirms that 𝒩(j₁,₁₂) is not a monstrous function, yet exhibits periodic vanishing.

Experimental results

Research questions

• RQ1 Can the classical replication formulae for modular functions be generalized to cases where Γ₁(N) ≠ Γ₀(N), where the standard replicable structure fails?
• RQ2 What is the structure of the Fourier coefficients of 𝒩(j₁,₁₂), and does it exhibit any periodic vanishing behavior not present in standard replicable functions?
• RQ3 How can recursive relations be used to compute Fourier coefficients of 𝒩(j₁,ₙ) without relying on higher-level replicates, particularly for N = 12?
• RQ4 What role do Dirichlet characters play in modifying the replication formulae for non-Γ₀(N) cases, and how do they generalize the classical theory?
• RQ5 Is the periodically vanishing property in 𝒩(j₁,₁₂) a consequence of its super-replicable structure, and can it be proven via recursive or modular methods?

Key findings

• The Fourier coefficients of 𝒩(j₁,₁₂) satisfy a periodically vanishing property: Hₘ = 0 for all m ≡ 2 mod 6, as confirmed by explicit computation of coefficients up to m = 60.
• The super-replicable framework generalizes classical replicable functions by introducing a twisted replication formula involving a Dirichlet character ψ, valid when Γ₁(N) ≠ Γ₀(N).
• Recursive relations for Hₘ in 𝒩(j₁,₁₂) were derived without using the 2-plicate, and these relations correctly reproduce the vanishing pattern observed in the coefficient table.
• The Hauptmodul 𝒩(j₁,₁₂) is not a Thompson series (i.e., not monstrous), yet it exhibits a periodic vanishing pattern similar to those found in monstrous moonshine, suggesting deeper arithmetic structure.
• For N = 12, the coefficient Hₘ vanishes at m = 2, 8, 14, 20, 26, 32, 38, 44, 50, 56, all of which satisfy m ≡ 2 mod 6, confirming the periodicity.
• The vanishing pattern in 𝒩(j₁,₁₂) is not due to triviality but arises from the interplay between the super-replicable structure and the specific modular form construction, as shown by the recursive and coefficient-based analysis.