3
$\begingroup$

Hi, this is more or less a "reference" question.

Suppose $D$ a redueced irreducibile divisor in $X$ and I take $f:Y\rightarrow D$ a desingularization of his.

What information can i get from the support of the higher direct imagese $R^if_*\mathcal{O}_Y$?

for example if they are all empty then the divisor has rational singularities. If the codim of $R^1f_*\mathcal{O}_Y$ in $X$ is greater than 3 then the divisor is normal

I know this question is a little bit vague, but I really do not know where to find information of this kind

thank you for your help

$\endgroup$

1 Answer 1

6
$\begingroup$

One place is a paper of Kovacs: [Irrational Centers][1]

In particular, the associated primes/points of the higher direct images are defined to be "irrational centers", which can then be used to obtain depth estimates. In the case you are interested in (ie no boundary case) then this was looked at previously by Alexeev-Hacon in an unpublished preprint (hopefully this will be available soon).

Is there something in particular you are hoping for?

There are related things for non-resolution of singularities statements, but just (flat) maps $f : Y \to D$. People have also looked at higher direct images of $\mathcal{O}_Y$ keeping in mind the singularities of the fibers (this is the reason for the original interest in Du Bois/DB singularities).

Finally, if you take $Y$ to be the reduced pre-image of $D$ (instead of the strict transform), then one can also look at the higher direct images, and now you are getting close to things again near Du Bois singularities. I wonder if seminormality can be detected similar to normality above...

EDIT: Based on more details from the questioner, let me answer the question. Suppose that $X$ is a $d$-dimensional Cohen-Macaulay variety which has rational singularities except at a single point $x \in X$. It follows from Kovacs' Lemma 3.3 cited below that for a resolution of singularties $f : X' \to X$, we have $R^i f_* O_{X'} = 0$ for $i \neq d - 1$ but $R^i f_* O_{X'} \neq 0$ for $i = d-1$. Thus $R^{d-1} f_* O_{X'}$ has codimension $d$ which is not the same as codimension $d-1+2 = d+1$. Thus I think that even for very mild singularities, you can't hope to have the vanishing you want.

In particular, this should mess up the general version of the statement you want, since you can probably localize at the generic point of the non-rational locus.

$\endgroup$
3
  • $\begingroup$ First of all, thank you very much. To answer your question, I need to find out some hypothesis that do not allow these loci to be too big. In particular I want that for every positive $i$ the codimension in $A$ of $R^if_*(\mathcal{O}_Y$ is greater than $i+2$. If $D$ has rational singularities I am ok, but this hypo is somewhat too strong. Certainly $D$ has to be normal. but I really do not know how to manage $i>1$... thank again for your help best regards $\endgroup$
    – Rurik
    Commented Sep 8, 2011 at 8:50
  • 1
    $\begingroup$ Ok, then you may particularly be interested in Lemma 3.3 in the paper of Sandor Kovacs, Rational, Log Canonical, Du Bois Singularities: On the Conjectures of Kollár and Steenbrink. In particular, either by localizing, or taking general hyperplane sections, it shouldn't be hard to get the statements you want. I'll try to edit my answer with specifics. $\endgroup$ Commented Sep 8, 2011 at 14:45
  • $\begingroup$ Thanks! Well I will stick to rational singularities then :'(!!!! Again thank you $\endgroup$
    – Rurik
    Commented Sep 9, 2011 at 12:53

You must log in to answer this question.

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