4
$\begingroup$

In Schnell's note on Computing Picard-Fuchs Equations he gives a recursive method for computing residues on hypersurfaces. In short, if you have a meromorphic differential form $$ \frac{dw}{w^k}\wedge \rho $$ where $w$ is the local coordinate vanishing on a hypersurface $X$, you can write down a cohomologous meromorphic form $$ \frac{d\rho}{(k-1)w^k} $$ He claims that you can rewrite this in a manner as above. He then also claims that once $k = 1$ you can write is down as $$ \frac{dw}{w}\wedge \alpha + \beta $$ and then the residue of this is $\alpha$. Unfortunately, I do not see an easy way to write down equations like this in general. Are there computer algebra tools which can accomplish this for me? The main test examples I am looking at are Fermat hypersurfaces (defined by $F=0$) and the differential forms $$ \frac{\Omega}{F} $$ where $$ \Omega = \sum_{i=0}^n(-1)^i z_idz_0\wedge\cdots\wedge\hat{dz_i}\wedge\cdots\wedge dz_n $$

$\endgroup$

1 Answer 1

1
$\begingroup$

This answer of mine might help. To compute in concrete examples the Jacobian ring any computer algebra tool (e.g. Macaulay2) will do.

$\endgroup$
1
  • $\begingroup$ Unfortunately, this is not what I am looking for, but, I appreciate your answer. I just want to get a better understanding of how to compute residues by hand just for the sake of it. $\endgroup$
    – 54321user
    Jul 23, 2017 at 18:58

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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