Graded weights separate analytic polynomial relations
ID: graded-weights-separate-analytic-polynomial-relations
Let be weighted homogeneous of modular weight , and suppose as a holomorphic function. Apply the modular group matrices . At a fixed point in the complex upper half-plane, this gives for every integer . A polynomial with infinitely many roots vanishes identically, so every . Within one modular weight, the monomials reduce to powers of , after taking out a common factor. This ratio is nonconstant, as its Fourier expansion begins , so its powers are linearly independent. This proves algebraic independence even when the generators are regarded as analytic functions rather than elements of a formal graded ring.
New to topics? Read the docs here!