Ramanujan tau function
Builds on Cusp formUpper half-planeIntegers
Definition
Let be the upper half-plane, and for let . The Ramanujan tau function is defined by the expansion The left side is the cusp form of weight .
Remarks
Example: the coefficient of comes only from , which gives ; so . The function is multiplicative: when . For primes and , . Non-example: is not completely multiplicative, since . Ramanujan's congruence: , where . For : . Whether for all is an open question, known as Lehmer's conjecture.
Reading path
To understand this page from the ground up, read these 16 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Complex numbers object
- Cusp form concept
- General linear group object
- Identity matrix object
- Integers object
- Matrix definition
- Möbius transformation concept
- Vector space definition
- Square matrix definition
- Linear map definition
- Multilinear map definition
- Alternating multilinear map definition
- Determinant definition
- Special linear group object
- Upper half-plane object
- Ramanujan tau function definition
Further reading
About this page
| Tag | 7ZC93QSXNT |
|---|---|
| URI | m2://7ZC93QSXNT |
| Kind | definition |
| Writing | W0 stub |
| MSC | 11F30, 11F11, 11A25 |
| Defines | Ramanujan tau function |
| Uses | Cusp form, Upper half-plane, Integers |
| Changed | 2 November 2026 |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.