← all areas

Namespace WLight 18 theorems

• Level-N modular functions as fractions over ℂ[j,fᵥ] WLight.exists_levelFraction_of_stable_family 5 below · cited by 13 · depth 15
• Holomorphic Fricke fractions are integral over K[j] WLight.exists_monicRel_j_K_of_mdifferentiable_frickeQuotient 7 below · cited by 5 · depth 15
• Integrality over ℂ[j] of pole-bounded level-N quotients WLight.exists_monicRel_j_of_mdifferentiable_levelFraction 4 below · cited by 11 · depth 15
• K-rational q-expansion for holomorphic fractions in j and Fricke functions WLight.exists_qExpansion_coeff_mem_of_mdifferentiable_levelFraction 3 below · cited by 12 · depth 15
• Descent of level-N integral fractions to ℚ(ζ_N) WLight.frickeFunction_intBaseChange 9 below · cited by 10 · depth 15
• Fricke functions of level N: transformation and rationality package WLight.frickeFunction_modularity_package 2 below · cited by 29 · depth 15
• Fixer of the Fricke functions and structure of A_N WLight.levelN_structure_package 5 below · cited by 31 · depth 15
• ℂ-independence from K-independence for q-rational families WLight.linearIndependent_complex_of_qExpansion_rational 0 below · cited by 11 · depth 15
• Transport of K-rational q-expansions: polynomials, vanishing, j WLight.qExpansion_sigmaTransport_package 0 below · cited by 5 · depth 15
• Holomorphic divisibility from a cleared monic relation on H WLight.exists_mdifferentiable_div_of_monicRel 1 below · cited by 8 · depth 16
• Polar growth of j and Fricke functions, and their orbit polynomial WLight.frickeFunction_orbit_package 4 below · cited by 11 · depth 16
• Level-one hauptmodul package: polynomials in j, surjectivity, q-expansion principle WLight.levelOne_hauptmodul_package 0 below · cited by 4 · depth 16
• Lipschitz's formula and the q-expansion of wp at torsion points WLight.weierstrassP_qExpansion_package 0 below · cited by 6 · depth 16
• Analytic divisibility from a monic relation with G-weighted coefficients WLight.exists_analyticOnNhd_div_of_monicRel 0 below · cited by 1 · depth 17
• Coordinate twist on the span of a flat K-structure WLight.exists_twist_of_flat 0 below · cited by 2 · depth 19
• Cusp criterion at width N via coefficients of FΔ^M WLight.isZeroAtImInfty_mul_disc_iff_qExpansion_coeff_le 0 below · cited by 3 · depth 19
• Galois descent for twist-stable subspaces of functions H→ℂ WLight.span_inter_rational_of_twist_stable 0 below · cited by 2 · depth 19
• Boundedness at i∞ via vanishing of low q-expansion coefficients WLight.isBoundedAtImInfty_iff_qExpansion_coeff_lt 0 below · cited by 1 · depth 23