Let be squarefree and let be its Boolean divisor cube. To each Boolean character we attach the eta-quotient At squarefree level, the finite Fourier transform on the divisor cube simultaneously diagonalizes the squarefree Ligozat cusp-order matrix, Fricke complementation, Atkin–Lehner action on cusp labels, and the constant-term map for logarithmic Eisenstein series. In particular, for , and the forms form a Walsh basis of the Eisenstein subspace of . The structural theorem also determines explicit Fricke constants, Atkin–Lehner eigenvalues, good-prime Hecke eigenvalues, local triangular blocks, a simultaneous bad-prime eigenbasis, and the indices of two explicit principal cuspidal divisor sublattices inside the formal degree-zero cusp-divisor lattice. As an application we specialize to the Heegner prime product The first Boolean boundary gives the eta-normalized Heegner-coloured partition product, while the top Walsh character gives the Möbius eta-unit identity The same application gives algebraic modular-unit relations for the reciprocal partition product and exact Fricke-fixed logarithmic derivative identities for , interpreted through the modular completion of and through accelerated paired products.

生成讲解博客的中文版本

生成AI智能校验的中文版本