Modular forms, dimension and basis confusion, weight mod 1

In summary: It is a set of vectors. It is a set of objects that can be added together (to form linear combinations) and be multiplied by scalars, and the result is always another vector.However, there is a natural way to associate with any function f of a complex variable a vector in the space Mk(Γ) of modular forms, so that this vector is in the span of the two vectors E4 and E6.But this does not mean that E4 and E6 are linearly independent.For example, if k = 6, then E4^3 = E6^2. So the dimension of Mk(Γ) is 1, not
  • #1
binbagsss
1,278
11
Hi,
Excuse me this is probably a really stupid question but I ask because I thought that the definition of the dimension of a space is the number of elements in the basis.
Now I have a theorem that tells me that
## dim M_{k} = [k/12] + 1 if k\neq 2 (mod 12)

=[k/12] if k=2 (mod 12) ##
for ## k >0 even ##
So e.g ## dim (M_4) = dim (M_10) = etc =dim(14) ## and ## dim(M_{12})=2 ##
Where ## M_{k} ## denotes a modular form of weight k
I also have proposition ( ring of mod forms) that : ## E_4 ## & ## E_6 ## the Eisenstein series form a basis for ## M_{k} ##, that is every modular form can be written uniquely as a polynomial in ## E_4 ## & ## E_6 ##My question
If ## E_4 ## & ## E_6 ## are a basis for the modular form then isn't this saying that the dimension of any modular form is 2?
So ## dim (M_k) ## is the number of unique matrices with given weight ## k ## in ## SL_2(z) ## right? So Obviously from the above this isn't correct, so I'm unsure on what the definition of 'basis' is here or...?
Many thanks in advance
 
Physics news on Phys.org
  • #2
-----
dimMk = [k/12] + 1ifk ≠ 2(mod12) = [k/12]ifk = 2(mod12)

for k > 0even
-----

binbagsss, your theorem is very hard to read, partly because all the characters are jammed together without spaces.

Also: Mk does not denote "a modular form of weight k". It denotes the vector space over the complex numbers of modular forms of weight k.

Then the correct statement is as follows:

-----
Let Mk denote the complex vector space of modular forms of weight k.

Let k ≥ 0 be odd. Then Mk = 0.

Let k ≥ 0 be even. Then

[k/12] + 1, k ≠ 2 (mod 12)​
dim(Mk) = {
[k/12], k = 2 (mod 12)​
-----You wrote:
-----
My question

If E4 & E6 are a basis for the modular form then isn't this saying that the dimension of any modular form is 2?
-----

But a modular form is not a vector space. It is the space Mk of modular forms of a given weight k that is a vector space (over ). So a modular form does not have a dimension; only a vector space of modular forms does.

-----
So dim(Mk) is the number of unique matrices with given weight k in SL2(z) right?
-----

A modular form is not a matrix! And what do you mean by the word "unique"? I suggest you go over the definition of a modular form, and what "weight k" means. And what the dimension of a vector space means.

Also: I am guessing that by "E4" and "E6" you mean the modular forms that are typically denoted by G4 and G6, or in more generality:

G2k(τ) = ∑ 1/(mτ + n)2k,​

where τ is assumed to lie in the upper half-plane of ℂ, and the summation is over all pairs (m, n) of integers with (m, n) ≠ (0,0).

Then it can be shown that for k ≥ 2, G2k is a modular form of weight 2k.

Therefore, G4 and G6 are modular forms of different weights, so would not even lie in the same vector space Mk for any k.
 
  • #3
zinq said:
But a modular form is not a vector space. It is the space Mk of modular forms of a given weight k that is a vector space (over ). So a modular form does not have a dimension; only a vector space of modular forms does.

Right okay thanks, a bunch of mistakes I see, makes more sense now I think though, so...

Every modular form for ##SL2(Z)## can be expressed uniquely as a polynomial in ##E4(τ ) ## and ##E6(τ )##. That is, ##{E ^a _4 E_ b ^6 ; 4a + 6b = k}## forms a basis for ##Mk(Γ)##

This is in my lecture notes, given as a proposition, copied from them

So a modular form is a function with certain properties etc, so to talk of a single function having dimension makes no sense, I see that now, thanks,

The space of modular forms of different weights is the vector space, so that has dimension, fine

But I thought basis and dimension go together? One definition of the dimension of a space is the number of elements in the basis right? So isn't the term 'basis' used sort of as slang in the proposition above? Thanks.
 
  • #4
After fixing the mistakes in what you wrote, I get:

"Every modular form for SL2(Z) can be expressed uniquely as a polynomial in E4(τ) and E6(τ).

"That is, E4a E6b for 4a+6b=k forms a basis for Mk(Γ)"

It's hard to know what Γ means without a definition, but I will assume it means SL2(Z).

What this means is: For each k, the set

{E4a E6b | a and b are positive integers with 4a+6b=k}​

of modular forms forms a basis of Mk(Γ) over the complex numbers.

So: There is no slang occurring here. (Advanced math is difficult enough that people try to avoid using terms to mean other than their standard meaning!)
 
  • #5
zinq said:
What this means is: For each k,

Sorry no I'm still confused, for a specified ##k##, so then isn't the number of elements in the basis equal to the dimension of the space? => 2, so I'm back at my initial question, with terminology corrected...thanks

Since dimension of ##M_{k}##, for a given ##k## is something like the number of non co-linear functions that are modular forms of weight k, is this ok?

So a basis for ##M_{k}## is the minimum number of these functions that are linearly independent such that every modular form in that space, of a given weight k, can be expressed as a linear combination in terms of them?

So the proposition is saying that ##E_{4}## and ##E_{6}## do it, so is it not saying the basis consists of two elements?
 
Last edited:
  • #6
Yes, the dimension of a vector space is the number of elements in any basis of it.

No, this is not saying that E4 and E6 are the two elements of a basis. First of all — as we said — they are not in the same vector space Mk.

This is the key statement:

{E4a E6b | a and b are positive integers with 4a+6b=k}.

This says that if you take the set of positive integers a and b for which 4a + 6b = k and create the modular form E4a E6b for each such a and b, then those modular forms are a basis for Mk. (That is, E4 raised to the power a, times E6 raised to the power b.)

binbagsss, I am pretty sure it would benefit you to review the fundamental definition of what it means to say that a subset of a vector space is a basis for it. Note that in this case the vectors of our vector space are the modular forms. Although modular forms from the vector spaces Mk for various k can be multiplied by each other, that has nothing to do with the structure of a vector space, which does not include the concept of multiplying vectors!
 
Last edited:
  • #7
zinq said:
Yes, the dimension of a vector space is the number of elements in any basis of it.

No, this is not saying that E4 and E6 are the two elements of a basis. First of all — as we said — they are not in the same vector space Mk.

This is the key statement:

{E4a E6b | a and b are positive integers with 4a+6b=k}.

This says that if you take the set of positive integers a and b for which 4a + 6b = k and create the modular form E4a E6b for each such a and b, then those modular forms are a basis for Mk. (That is, E4 raised to the power a, times E6 raised to the power b.)

binbagsss, I am pretty sure it would benefit you to review the fundamental definition of what it means to say that a subset of a vector space is a basis for it. Note that in this case the vectors of our vector space are the modular forms. Although modular forms from the vector spaces Mk for various k can be multiplied by each other, that has nothing to do with the structure of a vector space, which does not include the concept of multiplying vectors!

So a subset of a vector space is a basis for that vector space if any vector can be represented as a linear combination of them uniquely, and the dimension of a vector space V, denoted dim V, is the cardinality of its bases, which if finite is equal to the number of elements

this is just what i thought before, and I'm still lost...?

I have this picture is this correct:

- Choose ##E_{4}^{a} ## , ##E_{2}^{b}## , these two vectors are the subset you are referring to, where the relevant vector space it is a subset of is ##M_{k}## s.t ##a+b=k## right ?

zinq said:
Yes, the dimension of a vector space is the number of elements in any basis of it.

No, this is not saying that E4 and E6 are the two elements of a basis.

What is it saying then?
 
  • #8
I wonder if the problem might be understanding the expression

E4a E6b.​

This means:

(E4 raised to the power a) times (E6 raised to the power b).​

You can then check that

E4a E6b

is a modular form of weight k, where

k = 4a + 6b.​
 
  • #9
zinq said:
I wonder if the problem might be understanding the expression

E4a E6b.​

This means:

(E4 raised to the power a) times (E6 raised to the power b).​

You can then check that

E4a E6b

is a modular form of weight k, where

k = 4a + 6b.​

no that's fine . its not E4 and E6 that are the basis but E4 raised to a , E6 raised to b ...
 
  • #10
"Its not E4 and E6 that are the basis but E4 raised to a , E6 raised to b ..."

It's {E4a times E6b} for just those a and b >= 1 such that 4a + 6b = k ... that form a basis for Mk over the complex numbers.
 
  • #11
[QUOTE="zinq, post: 5631872, member: 462505

It's {E4a times E6b} for just those a and b >= 1 such that 4a + 6b = k ... that form a basis for Mk over the complex numbers.[/QUOTE]

that's one element?
 
  • #12
binbagsss said:
[QUOTE="zinq, post: 5631872, member: 462505

It's {E4a times E6b} for just those a and b >= 1 such that 4a + 6b = k ... that form a basis for Mk over the complex numbers.

that's one element?[/QUOTE]

one dimension for one function? just one function of f in Mk ?
Then the total dimension of the basis for a given k is the number of functions in Mk?
 
  • #13
It would be most helpful for you to review the definition of a vector space and of a basis. The vector space Mk of modular forms of weight k has as elements (called "vectors" in this case) the modular forms of weight k. Your questions seem to indicate an unfamiliarity with these basic concepts. The best thing you can do now is to review these concepts and see how they apply to my answers.
 

FAQ: Modular forms, dimension and basis confusion, weight mod 1

1. What are modular forms?

Modular forms are complex analytic functions that are invariant under a discrete subgroup of the modular group. They play a crucial role in number theory, algebraic geometry, and mathematical physics.

2. How is the dimension of a space of modular forms determined?

The dimension of a space of modular forms is determined by the weight and level of the modular forms. The weight refers to the transformation properties of the modular form under the modular group, while the level refers to the congruence subgroup of the modular group that the modular form is invariant under.

3. What is basis confusion in modular forms?

Basis confusion in modular forms refers to the difficulty in determining a basis for a space of modular forms. This is because different choices of basis can lead to different results, making it challenging to establish a canonical basis for the space.

4. How does weight mod 1 affect modular forms?

The weight mod 1 of a modular form determines its behavior under the action of the modular group. It allows for the identification of modular forms that have the same behavior under the modular group, but have different weight mod 1. This is useful for understanding the structure of the space of modular forms.

5. What is the relationship between modular forms and elliptic curves?

There is a deep connection between modular forms and elliptic curves. In fact, the space of cusp forms of weight 2 is isomorphic to the space of modular functions on a given elliptic curve. This relationship has been crucial in the study of elliptic curves and their applications in number theory and cryptography.

Back
Top