0
$\begingroup$

I am looking for a generalisation of a modular form that transforms as something like:

$f(\frac{a \tau+b}{c \tau+d}) = (c \tau+d)^k c^k f(\tau)$

I understand this cannot be literally true, as the multiplier c^k is not a root of unity, but does something like this arise in the context of modular forms? (or generalisations of those). Thanks!

$\endgroup$
3
  • 2
    $\begingroup$ are such functions related in any way to algebraic geometry? To some extent, modular forms are interesting because they can be reinterpreted as the sections of a line bundle on an algebraic variety (thus algebraic geometry provides some techniquese to study them). $\endgroup$
    – user145520
    Commented Nov 26, 2019 at 20:42
  • $\begingroup$ Any particular reason why you are interested in those? Asking more out of curiosity than anything. $\endgroup$
    – Wojowu
    Commented Nov 26, 2019 at 21:48
  • $\begingroup$ I am trying to understand a problem that arises in statistical physics (without knowing enough mathematics!). The question is whether there are modular forms (or similar) with non-unitary multipliers? $\endgroup$
    – fernando
    Commented Nov 26, 2019 at 23:21

2 Answers 2

2
$\begingroup$

The transformation should conform to the cocycle condition.

That is $f(\gamma_2\gamma_1\tau)=j(\gamma_2\gamma_1,\tau)f(\tau)$. But also, $f(\gamma_2\gamma_1\tau)=j(\gamma_2,\gamma_1\tau)f(\gamma_1\tau)=j(\gamma_2,\gamma_1\tau)j(\gamma_1,\tau)f(\tau)$. Thus, it must hold that $j(\gamma_2\gamma_1,\tau)= j(\gamma_2,\gamma_1\tau)j(\gamma_1,\tau)$. This holds for $j(\gamma,\tau)=(c\tau+d)^k$, but not for your sugesstion.

$\endgroup$
2
$\begingroup$

The only similar type formula I know follows from $$E_2(\frac{a\tau+b}{c\tau+d})-(c\tau+d)^2E_2(\tau)=-(6i/\pi)(c\tau+d)c\;,$$ where $E_2$ is the usual quasi-modular form of weight 2. You can raise that to the $k$th power if you want, but I don't see the point.

You also get similar formulas with derivatives of modular forms since the derivative of $(c\tau+d)^k$ is $k(c\tau+d)^{k-1}c$.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .