Hi,


I would like to know if there is a formula for the relative canonical bundle when performing a blow-up along an "authorized" subvariety. More precisely:


Let $X$ be a projective, irreducible, normal variety and let $Y \subset X$ be a smooth subvariety such that $X$ is normally flat along $Y$. Let $p : Z = Bl\_{Y}(X) \rightarrow X$ be the blow-up of $X$ along $Y$. Is there a formula which relates $p^{\*} K\_X$, $K\_Z$ and the exceptional divisor of the blow-up (and maybe something else)? I think that when $Y$ is a point, there is a well-known formula.


Thanks



normal flatness and canonical bundle
Franz, to complement Karl's answer let me remark that actually you cannot expect a formula without further conditions. I will use your notation.


If $X$ is singular, $K\_X$ may not be *Cartier* or even $\mathbb Q$-Cartier (i.e., that some non-zero integer multiple would be Cartier). Without this it is hard to make sense of the pull-back $p^\*K\_X$. There are various ways to deal with this, but at the beginning you might not want to deal with those difficulties. One way to get around this problem is to add a divisor $\Delta$ to $K\_X$ so that $K\_X+\Delta$ is $\mathbb Q$-Cartier and compare that to $K\_Z+\Delta\_Z$ where $\Delta\_Z=p^{-1}\_\*\Delta$, the strict transform of $\Delta$ on $Z$. However, then you get slightly different values.


So, anyway, perhaps you would want to assume that $K\_X$ is $\mathbb Q$-Cartier before you do anything else. Next, let $E=\cup E\_i$ denote the exceptional divisor of $p$ (it is not necessarily irreducible!). Then obviously there exists a formula:
$$
K\_Z\sim p^\*K\_X + \sum a\_i E\_i.\tag{$\star$}
$$
Notice that if $K\_X$ is itself not Cartier, then the $a\_i$ may not be integers. See [this](https://mathoverflow.net/questions/55526/example-of-a-variety-with-k-x-mathbb-q-cartier-but-not-cartier/55529#55529) for some examples. 


Anyway, the point I want to make is that the $a\_i$ that may appear are strongly related to the singularities of $X$ along $Y$. You can think of them as a measure of how bad those singularities are: the smaller (usually more negative) the $a\_i$ the worse the singularity. The ones that are somewhat nicer and manageable are the ones for which $a\_i\geq -1$. For more on this you should look up a survey or a book on the minimal model program and the singularities that it can deal with.


Finally, as Karl already pointed out, pretty much anything can happen as far as what values the $a\_i$ can take. I guess there is an upper bound, but that is the easy direction. Otherwise, take your favorite smooth projective variety $T$ with your favorite embedding into a projective space and let $X$ be the cone over $T$, and $Y$ the vertex. If you blow up $X$ at $Y$, then you get a smooth variety and the exceptional divisor $E$ will be isomorphic to $T$. Now take your formula from $(\star)$ and apply adjunction. You'll get:
$$
(a+1)E|\_{E}\sim K\_T.
$$
From the construction you see that $E|\_E$ is isomorphic to the inverse of the hyperplane class coming from the original embedding of $T$, so by choosing your $T$ and the embedding wisely you can get all kinds of values for $a$. For instance if $T\subset \mathbb P^n$ is a degree $d$ hypersurface, then $K\_T\sim (d-n-1)H$ and $E|\_E\sim -H$, so you get that 
$$
a= n-d.
$$
This already shows that any integer is possible. Taking quotients as in [here](https://mathoverflow.net/questions/55526/example-of-a-variety-with-k-x-mathbb-q-cartier-but-not-cartier/55529#55529) gives you fractions.


