以下の3つの式は、RamanujanによるEisenstein級数の微分公式です*1： ここで、変数は複素上半平面の元とし、 は正規化されたEisenstein級数です。 この記事では、本日公開されたBachmann・菅野の微分予想の形に書き直せることを確認しておこうと思います。定…