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



Higher direct images and singularities
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.


