MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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

Let $\nu:\tilde{X}\to X$ be the normalization of a projective variety with non-isolated singularity. The usual object to consider is $\nu_*\mathcal{O}_{\tilde{X}}/\mathcal{O}_X$. For example, one would like to compute $\chi(\nu_*\mathcal{O}_{\tilde{X}}/\mathcal{O}_X)$. Or even particular cohomologies. (They all are finite, right?)

If the singularity is isolated everything works fine. In the non-isolated case this quotient is supported on the locus of "non-normality". It seems to be an unpleasant sheaf. At least, I am stuck even in the simplest case $\{x^d=y^{d-1}z\}\subset\Bbb P^3$.

Any general remarks on the computation/understanding of this quotient? References? Or at least how to compute for this particular example?

share|cite|improve this question

The cohomologies are all finite since the quotient is coherent. Macaulay2 should be able to give you a presentation of that module.

For example, you can use the integralClosure command (now a package which is loaded by default) to compute the integral closure $S$ of a ring $R$. It is then easy to view that ring as an $R$-module if it is homogeneous for some appropriate weighting (your example above can be weighted to make it homogeneous I think, $\text{deg} x = d-1, \text{deg} y = d, \text{deg} z = d(d-1)$), or you can probably use the innards for the IntegralClosure package as well (see the conductor command which computes the annihilator of the module you define above).

share|cite|improve this answer

Your Answer


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.