MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Given a modular form $f$ of weight $k$ for a congruence subgroup $\Gamma$, and a modular function $t$ with $t(i\infty)=0$, we can form a function $F$ such that $F(t(z))=f(z)$ (at least locally), and we know that this $F$ must now satisfy a linear ordinary differential equation $$P_{k+1}(T)F^{(k+1)} + P_{k}(T)F^{(k)} + ... + P_{0}(T)F = 0$$

Where $F^{(i)}$ is the i-th derivative, and the $P_i$ are algebraic functions of $T$, and are rational functions of $T$ if $t$ is a Hauptmodul for $X(\Gamma)$.

My question is the following:

given a modular form $f$, what are necessary and sufficient conditions for the existence of a modular function $t$ as above such that the $P_i(T)$ are rational functions?


For example, the easiest sufficient condition is that $X(\Gamma)$ has genus 0, by letting $t$ be a Hauptmodul. But, this is not necessary, as the next condition will show.

Another sufficient condition is that $f$ is a rational weight 2 eigenform. I can show this using Shimura's construction* of an associated elliptic curve, and a computation of a logarithm for the formal group in some coordinates (*any choice in the isogeny class will work).

Trying to generalise, I have thought of the following: if $f$ is associated to a motive $h^i(V)$ of a variety $V$, with a pro-representable Artin-Mazur formal group $\Phi^i(V)$ of dimension 1, then we can construct formal group law a-la Stienstra style, and get a logarithm using the coefficients of powers of a certain polynomial. This makes the logarithm satisfy a differential equation with rational functions as coefficients. Since the dimension is 1, the isomorphism back to "modular coordinates" will be a single modular function $t$, and this answers the question positively.

This was the original motivation for the question - a positive answer is weaker, but maybe suggests the existence of associated varieties to rational eigenforms.

Putting non-eigenforms aside, since I'm not interested as much in them, we are left with non-rational eigenforms. We can try to perform the same Stienstra construction, but this time we get that the galois orbit of $f$ is associated to a "formal group law" of a motive with dimension greater than one. This will make for an interesting recurrence for the vector of the galois orbit, but not necessarily for each form individually, as the isomorphism of formal groups laws (between Stienstra's and those with the modular forms as logarithm) might scramble them together. Maybe not, and this solves might the question. I realise this last paragraph might be difficult to understand, for the wording is clumsy, and the mathematical notions are even worse. If you're really interested in this, I'd be happy to elaborate.

share|cite|improve this question
    
I also asked this in math.stackexchange: math.stackexchange.com/questions/338453/… – Dror Speiser Mar 27 '13 at 2:23
1  
Here is a reference : F. Martin, E. Royer, Formes modulaires et périodes smf4.emath.fr/Publications/SeminairesCongres/2005/12/pdf/… (see Remarque 140). It seems the result you mention in the genus 0 case also works in general, the only thing is that $F$ is a multivalued function. – François Brunault Mar 27 '13 at 8:12
1  
@Francois: thanks for the reference. My french is a bit a rusty (non-existent), but I think the remark says what I wrote above: that the coefficients are in general algebraic. – Dror Speiser Mar 27 '13 at 8:43
1  
Perhaps this could be helpful. mmrc.iss.ac.cn/pub/mm25.pdf/7.pdf – Vít Tuček Mar 30 '13 at 22:47
1  
@robot: hey, thanks for the link. I've seen this paper before, and unfortunately (for me) it suffers from the same problem every paper I've seen suffers from: it begins with any given modular function $t$, instead of constructing an interesting one. – Dror Speiser Mar 31 '13 at 0:06
up vote 2 down vote accepted

Let $K$ be the algebraic closure of the differential field $\mathbb{C}(T)$.

Let $\partial$ denote differentiation w.r.t. $T$. Now $\mathbb{C}(T)[\partial] \subseteq K[\partial]$ are rings of differential operators. Your function $F$ is a solution of $L(F)=0$ where $L \in K[\partial]$ is the differential operator $L = P_{k+1} \partial^{k+1} + \cdots + P_0 \partial^0$. The rings $\mathbb{C}(T)[\partial]$ and $K[\partial]$ (multiplication = composition) satisfy all properties of a Euclidean domain except commutativity. In particular, one can define an LCLM (least common left multiple) which behaves just like an LCM in Euclidean domains.

Let $L_1,\ldots,L_d$ be the conjugates of $L$ over $\mathbb{C}(T)$, obtained by applying ${\rm Gal}(K/\mathbb{C}(T))$ to $P_{k+1},\ldots,P_0$. Now let $M = {\rm LCLM}(L_1,\ldots,L_d)$. Then $M \in \mathbb{C}(T)[\partial]$ and $M$ is right-divisible by $L$. In particular $M(F)=0$.

In summary: Any function $F$ that satisfies a linear differential operator $L$ with algebraic-function coefficients will also satisfy a linear differential operator $M$ with rational-function coefficients. In Maple you can find $M$ with the command DEtools[LCLM](L, `and conjugates`);

share|cite|improve this answer
    
Awesome! Thanks for the answer Mark :) – Dror Speiser Jul 14 at 17:36

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.