Modular forms, dimension and basis confusion, weight mod 1

[binbagsss]

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

 

[zinq]

-----
dimM_k = [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: M_k 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 M_k denote the complex vector space of modular forms of weight k.

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

Let k ≥ 0 be even. Then

[k/12] + 1, k ≠ 2 (mod 12)​

dim_ℂ(M_k) = {

[k/12], k = 2 (mod 12)​

-----You wrote:
-----
My question

If E₄ & E₆ 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 M_k 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(M_k) is the number of unique matrices with given weight k in SL₂(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 "E₄" and "E₆" you mean the modular forms that are typically denoted by G₄ and G₆, or in more generality:

G_2k(τ) = ∑ 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, G_2k is a modular form of weight 2k.

Therefore, G₄ and G₆ are modular forms of different weights, so would not even lie in the same vector space M_k for any k.

 

[binbagsss]

But a modular form is not a vector space. It is the space M_k 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.

 

[zinq]

After fixing the mistakes in what you wrote, I get:

"Every modular form for SL₂(Z) can be expressed uniquely as a polynomial in E₄(τ) and E₆(τ).

"That is, E₄^a E₆^b for 4a+6b=k forms a basis for M_k(Γ)"

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

What this means is: For each k, the set

{E₄^a E₆^b | a and b are positive integers with 4a+6b=k}​

of modular forms forms a basis of M_k(Γ) 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!)

 

[binbagsss]

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?

 

[zinq]

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

No, this is not saying that E₄ and E₆ are the two elements of a basis. First of all — as we said — they are not in the same vector space M_k.

This is the key statement:

{E₄^a E₆^b | 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 E₄^a E₆^b for each such a and b, then those modular forms are a basis for M_k. (That is, E₄ raised to the power a, times E₆ 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 M_k 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!

 

[binbagsss]

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

No, this is not saying that E₄ and E₆ are the two elements of a basis. First of all — as we said — they are not in the same vector space M_k.

This is the key statement:

{E₄^a E₆^b | 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 E₄^a E₆^b for each such a and b, then those modular forms are a basis for M_k. (That is, E₄ raised to the power a, times E₆ 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 M_k 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 ?

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

No, this is not saying that E₄ and E₆ are the two elements of a basis.

What is it saying then?

 

[zinq]

I wonder if the problem might be understanding the expression

E₄^a E₆^b.​

This means:

(E₄ raised to the power a) times (E₆ raised to the power b).​

You can then check that

E₄^a E₆^b​

is a modular form of weight k, where

k = 4a + 6b.​

 

[binbagsss]

I wonder if the problem might be understanding the expression

E₄^a E₆^b.​

This means:

(E₄ raised to the power a) times (E₆ raised to the power b).​

You can then check that

E₄^a E₆^b​

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 ...

 

[zinq]

"Its not E4 and E6 that are the basis but E4 raised to a , E6 raised to b ..."

It's {E₄^a times E₆^b} for just those a and b >= 1 such that 4a + 6b = k ... that form a basis for M_k over the complex numbers.

 

[binbagsss]

[QUOTE="zinq, post: 5631872, member: 462505

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

that's one element?

 

[binbagsss]

[QUOTE="zinq, post: 5631872, member: 462505

It's {E₄^a times E₆^b} for just those a and b >= 1 such that 4a + 6b = k ... that form a basis for M_k 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?

 

[zinq]

It would be most helpful for you to review the definition of a vector space and of a basis. The vector space M_k 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.