Modular symbol

In mathematics, modular symbols, introduced independently by Bryan John Birch and by Manin (1972), span a vector space closely related to a space of modular forms, on which the action of the Hecke algebra can be described explicitly. This makes them useful for computing with spaces of modular forms.

Definition

The abelian group of (universal weight 2) modular symbols is spanned by symbols {α,β} for α, β in the rational projective line Q∪ ∞ subject to the relations

{α,β} + {β,γ} = {α,γ}

Informally, {α,β} represents a homotopy class of paths from α to β in the upper half-plane.

The group GL₂(Q) acts on the rational projective line, and this induces an action on the modular symbols.

There is a pairing between cusp forms f of weight 2 and modular symbols given by integrating the cusp form, or rather fdτ, along the path corresponding to the symbol.

gollark: Oh, that too.

gollark: For example, I think the consumer GPUs have an entirely artificial limitation on simultaneous transcoding streams.

gollark: Vendor lock in, proprietary drivers, use of drivers to artificially segment the market.

gollark: Unless you're insulting those people in their capacity as developer of those languages, like the PHP person.

gollark: Insulting programming languages is cool and fun™, but you should avoid insulting people with them!

References

Manin, Ju. I. (1972), "Parabolic points and zeta functions of modular curves", Math. USSR-Izv., 6: 19–64, doi:10.1070/IM1972v006n01ABEH001867, ISSN 0373-2436, MR 0314846
Manin, Yuri Ivanovich (2009), "Lectures on modular symbols", Arithmetic geometry, Clay Math. Proc., 8, Providence, R.I.: American Mathematical Society, pp. 137–152, ISBN 978-0-8218-4476-2, MR 2498060
Cremona, J.E. (1997), Algorithms for modular elliptic curves (2nd ed.), Cambridge: Cambridge University Press, ISBN 0-521-59820-6, Zbl 0872.14041

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.