Let $(X,\Delta)$ be a log pair (we assume the coefficients of $\Delta\leq 1$, but could be negative rationals), and I use the definitions in the book of "Birational Geometry of Algbebraic varieties" (Page 56, Def. 2.34; Page 58, Def. 2.37) for "terminal, canonical, klt, plt, lc, dlt" singularities. 


My first question is: which of these six singularities do not depend on the resolution of singularities?


To be precise, this means: if one happen to have a log resolution: $Y \to X$, and the discrepancy for this resolution satisfy the requirement for the corresponding singularities, then for all the log resolutions, the discrepancy satisfy the requirement.


I try to use the standard argument that one dominant two resolutions by the third one. However, I always feel I might miss something (because the argument goes through when the coefficients of $\Delta > 1$, in which case, all the statement are false), below is what I did:


Suppose we try to "show" lc doesn't depend on the resolution. Let $\pi: Y\_1 \to X$ be the log resolution, and the coefficients of the exceptional divisors $E\_1$ are all $\geq -1$ in the log reamification formula. Let $\theta: Y\_2 \to X$ be another log resolution. Finally, let $p:W \to Y\_2, q: W \to Y\_1 $ be a common resolution where the exceptional divisors and the strict transform of $\Delta$ (which I denote by $\Delta\_W$) have snc. Then, we have 
$$K\_W + \Delta\_W \sim q^\*\pi^\*(K\_X+\Delta) + q^\* E\_1 + F\_1,$$ where $E\_1, F\_1$ are some exceptional divisors of $\pi, q$ respectively. We can write $$q^\*E\_1 = q\_\*^{-1}E\_1 + Exc\_q(q^\*E\_1)$$ where $ q\_\*^{-1}E\_1$ is the strict transform of $E\_1$, and $Exc\_q(q^\*E\_1)$ belongs to the exceptional divisor of $q$. One can do the same thing for $W \to Y\_2 \to X$, and putting them together we have $$q\_\*^{-1}E\_1 + Exc\_q(q^\*E\_1) + F\_1 \sim \theta\_\*^{-1}E\_2 + Exc\_p(p^\*E\_1) + F\_2.$$ Because every divisor involved in the above expression are exceptional divisors of $p \circ \theta = q \circ\pi$, the numerically equivalence implies equality of divisors. Moreover, because the coefficients on the left are all $\geq -1$ (I am a little worry about $Exc\_q(q^\*E\_1)$, but I think the assumption on the snc of divisors would imply its coefficients $\geq -1$ ), this implies the same thing on the right, and particularly for $E\_2$.


My second question is:


Assume the coefficients of $\Delta$ is in $[0,1]$, then what are the differences between "plt" and "dlt"? I didn't realize the subtlety of $dlt$ compared to other type of singularities...



Which singularities of log pairs do not depend on the resolution?
I guess I can take a stab at this. Certainly we are talking about *log* resolutions, ie that $\pi : Y \to X$ is proper and birational, $Y$ is regular, and $\text{exc}(pi) \cup \pi^{-1}\_\* \Delta$ has simple normal crossings. Then:


* *KLT* is independent of the log resolution
* *LC* is independent of the log resolution.
* *PLT* is independent of the log resolution as long as you assume that the resolution also separates the birational transform of all the components of $\lfloor \Delta \rfloor$. In other words it's independent of the resolution as long as that resolution is also an embedded resolution of the components of $\Delta$.
* *DLT* is definitely not independent of the resolution, however see the recent book on singularities by Kollár (with contributions by Kovács), for discussions of types of resolutions that one can read off DLT from, also see the work of Szábo.
* *Canonical* is not independent of the resolution. Consider the pair $(X, \Delta)$ where $X = \mathbb{A}^2$ and $\Delta = (1-\varepsilon) L\_1 + (1 - \varepsilon) L\_2$. Then $(X, \Delta)$ is its own resolution, and so you might suspect it is canonical (or terminal) but of course blowing up the origin gives you a divisor with discrepancy $1 - 2 \cdot ( 1 - \varepsilon) = -1 + 2 \varepsilon < 0$ for $0 < \varepsilon \ll 1$. Of course, in the case that $\Delta$ is an integral Cartier divisor and $K\_X$ is Cartier, then it is independent of the choice of resolution. Now, what is true is that there are only finitely valuations corresponding to divisors with discrepancy $\leq 0$ for a KLT (and also canonical) pair. Hence it is always enough to go to log resolutions where every divisor, exceptional or not, with discrepancy $\leq 0$ is disjoint from every other divisor with discrepancy $\leq 0$.
* *Terminal* is not independent of the log resolution (indeed, the same example works). The same argument should also work here in terms of finding sufficiently big resolutions as we did for canonical.


Your computation
----------------


I think you are making it too hard. The point for KLT / LC is that if $\pi: Y \to X$ is any birational map from normal $Y$ then if $(X, \Delta)$ is KLT/LC, then $(Y, -K\_Y + \pi^\*(K\_X + \Delta) )$ is also KLT/LC. (KLT and LC are rigged so that this happens, and the converse works too).


This means that if you take a further resolution $\rho : W \to Y$ then we see that the pair
$$
\big(W, -K\_W + \rho^\*(K\_Y - K\_Y + \pi^\*(K\_X + \Delta)) \big) = \big(W, -K\_W + \rho^\* \pi^\*(K\_X + \Delta) \big)
$$
In particular, the fact that $(W, -K\_W + \rho^\* \pi^\*(K\_X + \Delta) )$ has KLT/LC singularities implies that $(Y, -K\_Y + \pi^\*(K\_X + \Delta))$ also has KLT/LC singularities. And so it's easy to see that things are independent of the resolution.


PLT vs DLT
----------


A simple normal crossings pair with coefficients in $[0,1]$ always has DLT singularities, it only has PLT singularities if each divisor with coefficient $=1$ is disjoint from every other such divisor.


Basically, the point of DLT is that it is a more controlled version of LC (many objects which you produce via the MMP which a priori have LC singularities also have DLG singularities). In particular, the worst singularities of a DLT variety occur where the pair is a SNC pair, and so while these are technically more severe, they can be very easy to deal with.


Hopefully this helps.


