Cusp Form¶
A modular form of specified group and weight is cuspidal when its local expansion has zero constant term at every cusp.
Core Idea¶
A cusp form is a modular form for specified group Γ and weight k that vanishes at every cusp. In a local q-expansion at each cusp, its constant term is zero. This selects Sₖ(Γ) within Mₖ(Γ). A q-series beginning with q at infinity alone does not prove modularity or vanishing at another cusp.[^ref-c77c3e665dca]
Scope of Application¶
At full level, Δ(q)=q∏ₙ≥₁(1−qⁿ)²⁴ is a weight-12 cusp form, and the one-dimensional S₁₂ space is spanned by it; an Eisenstein series with nonzero constant is modular but not cuspidal. At level 11, Elkies exhibits a weight-two cusp-form differential on X₀(11): q∏ₙ≥₁(1−qⁿ)²(1−q¹¹ⁿ)² = q−2q²−q³+2q⁴+q⁵+…. Its status at all cusps rests on the source's identification, not the displayed infinity expansion alone.[ref-c77c3e665dca][ref-906fb4113de1][^ref-c507e2947fc7]
Clarity¶
As q→0 at a cusp, a zero constant makes the function vanish. It does not say Fourier coefficients aₙ tend to zero as n→∞; those are different limits. A formal q-series with zero constant also does not become a cusp form until the transformation and every-cusp conditions hold.[ref-c77c3e665dca][ref-c507e2947fc7]
Manages Complexity¶
The criterion reduces the boundary question to cusp-local constant terms after Γ and its cusps have been identified. It is compact but demands more than inspecting one convenient expansion when a group has multiple cusps.[^ref-c77c3e665dca]
Abstract Reasoning¶
State Γ and k, establish modularity, enumerate inequivalent cusps, and check the transformed local expansion at each. One nonzero constant rejects cusp status. Discuss Hecke eigenproperties, coefficient estimates or elliptic-curve links only as additional theorems with their own hypotheses.[^ref-c77c3e665dca]
Knowledge Transfer¶
The all-cusps rule transfers from Δ at full level to the X₀(11) differential despite changed weight, group and geometry. A cusp form is a specialized Function Mapping, while a closer Modular Form genus is absent from the live catalog. Vanishing only at infinity does not establish the all-cusps condition for a multi-cusp group. Generic boundary vanishing is a broader analogy, not this modular-form identity.
[^ref-c77c3e665dca]: MIT 18.783, Elliptic Curves, Lecture 24, cusp definition and Δ/Eisenstein example. [^ref-906fb4113de1]: Berkeley modular forms notes, §2, Δ product and S₁₂ dimension. [^ref-c507e2947fc7]: Noam Elkies, X₀(11) calculation, equation (41).
Relationships to Other Abstractions¶
Current abstraction Cusp Form Domain-specific
Parents (1) — more general patterns this builds on
-
Cusp Form is a kind of Function (Mapping) Prime
Cusp forms are specialized functions.
Hierarchy path (1) — routes to 1 parentless root
- Cusp Form → Function (Mapping)
Neighborhood in Abstraction Space¶
Cusp Form sits in a sparse region of the domain-specific corpus (68th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Dynamical Systems & Differential Structures (37 abstractions)
Nearest neighbors
- Complex conjugate representation — 0.84
- Group algebra of a locally compact group — 0.84
- Schur decomposition — 0.84
- Inflation-restriction exact sequence — 0.84
- Complexification (Lie group) — 0.83
Computed from structural-signature embeddings · 2026-10-08