6
$\begingroup$

This is so far the most naive of my questions.

Weakly modular functions of weight $2k$ correspond to $k$-forms on $X(1)$, right? But $X(1)$ is a curve. So shouldn't there not be any $k$-forms for $k\geq 1$ or maybe $2$?

  • 5
    The short answer is: wrong. You are confusing the operation of taking the $k$th tensor power of a line bundle with the $k$-fold wedge product of differential forms. It's probably best to think about it in terms of the "factor of automorphy": when you change from one coordinate system to another, for a weight $2$ form you get the usual chain rule factor, whereas for a weight $2k$ form you get its $k$th power. But in the above you can see that you are taking the power of the coefficient function, not the exterior power of the form. I think someone else will explain this better...2011-08-03
  • 1
    (By the way, it's a perfectly good question...)2011-08-03
  • 0
    And that's a perfectly good answer. Thanks!2011-08-03
  • 4
    Here's a notational distinction I've encountered: if we have a wedge product of $k$ forms, we call it a "differential $k$-form" as usual. Corresponding to a weight $2k$ modular function, we instead have just a product of $k$ forms, and we call it a "$k$-fold differential form." (I believe this comes from "Algebraic Curves and Riemann Surfaces" by Rick Miranda.)2011-08-03
  • 0
    Let me add to my first comment above. To understand the sections of a line bundle it is enough to understand the effect of a change of variables: "automorphy factor", so the first thing to say is what I said above about raising the automorphy factor to the $k$th power. But as others have said, it's a convenient formalism to write the sections as $f(z) (dz)^k$. If you want the $(dz)^k$ to be the actual $k$th power somewhere, the place for it to live is in the $k$th tensor power of the space of sections of the sheaf of differential $1$-forms....2011-08-04
  • 0
    ...But here's the key point: taking the $k$th tensor power of a vector space -- as opposed to the exterior or symmetric power -- **imposes no relations**. Thus $(dz)^k$ does have a rigorous meaning: rigorously, it behaves as a formal $k$th power! By way of analogy, for any element $a$, we can consider $a^k$ in the free group generated by $a$, and of course no power of it will be trivial.2011-08-04

1 Answers 1

4

I don't know exactly how these objects work rigorously, but here's a formal explanation. We have expressions of the form $f(z) dz$ where $f$ is a meromorphic function on the upper half plane, and we'd like to think of these as meromorphic differential forms. Under an automorphism $g : \mathbb{H} \to \mathbb{H}$ they transform as

$$f(z) dz \mapsto f(gz) g' dz.$$

Writing $g = \frac{az + b}{cz + d} \in \text{PSL}_2(\mathbb{R})$ we get $g' = \frac{ad - bc}{(cz + d)^2} = \frac{1}{(cz + d)^2}$, so in particular a meromorphic modular form of weight $2$ is the same thing as one of these expressions.

More generally we can talk about expressions of the form $f(z) (dz)^k$ for $k > 1$, in a purely formal sense: we're not thinking about wedge products or anything. Anyway, these new fancy expressions transform as

$$f(z) dz \mapsto f(gz) g'^k (dz)^k$$

hence are the same thing as meromorphic modular forms of weight $2k$.

In rigorous language, the objects we're considering are "sections of tensor powers of the canonical bundle on $X(1)$"; the objects we've described are not differential forms in the usual sense (which are sections of exterior powers of a bundle).