Why are normal crossing divisors nice? - MathOverflow

Why are normal crossing divisors nice?

2010-05-06T19:00:43Z

This question is going to be extremely vague.

It seems that wherever I go (especially about Grothendieck's circle of ideas) the higher-dimensional analogue of a curve minus a finite number of points is a scheme minus a normal crossing divisor.

Why is that? What's so special about a normal crossing divisor that it simulates a curve minus a finite number of points better?

Answer by Torsten Ekedahl for Why are normal crossing divisors nice?

2010-05-06T19:57:25Z

It mostly has to do with finding nice compactifications. Compactifications of varieties are a good thing as they allow us to control what happens at "infinity". If the variety itself is smooth it seems a good idea (and it is!) to demand that the compactification also be smooth. However, you need the situation to be nice at infinity in order to make the study of asymptotic behaviour at infinity to be as easy as possible. The best behaviour at infinity would be if the complement were smooth but that is in general not possible. What is always possible is to demand that the complement be a divisor with normal crossings. In practice it works essentially as well as having a smooth complement: You have a bunch of smooth varieties intersecting in as nice a manner as possible.

Answer by Sándor Kovács for Why are normal crossing divisors nice?

2010-10-04T04:59:59Z

A related point is that if say $X\subset Y$ and you want an embedded resolution of $X$, then you can of course ask that you want a birational morphism $\pi:Z\to Y$ such that the strict transform of $X$ is smooth, but a better thing to ask is the the entire pre-image of $X$ is as nice as possible. Unfortunately (in general) you cannot make the preimage of $X$ smooth as the exceptional set will add additional components and where they meet is going to be a singular point. So, you can ask for the next best thing: normal crossings. You could even say that normal crossings is the reducible analogue of smooth.

Anyway, this is the result of Hironaka, JS Milne referred to above: for any $X\subset Y$ (plus some reasonable assumptions) there exists a projective birational $\pi$ such that $Z$ is smooth and $\pi^{-1}X$ is a normal crossing divisor. If $Y\setminus X$ is smooth, then you may even require that $\pi$ is an isomorphism outside $X$.

The compactification result is a simple consequence of this: if $U$ is open (say quasi-projective), pick a projective compactification $Y$ and let $X=Y\setminus U$. Perform Hironaka's embedded resolution of singularities and you get $U\subset Z$ with the complement being a normal crossing divisor.

One, slightly independent word on normal crossings. There seems to be some confusion in the literature about what normal crossings mean. Or rather what the difference is between normal crossings and simple normal crossings. Well, the point is that (nowadays) the latter is understood in the Zariski topology while the former in the analytic or formal topology. In other words, simple normal crossings mean that each irreducible component is smooth and they meet transversally, while normal crossings allows for a component to meet itself transversally. In particular, a nodal curve has normal crossings but not simple normal crossings.

In the above discussion and in the other answers before this one, you can always put simple normal crossings in place of normal crossings and the statements remain true. It is possible that back when Hironaka proved his famous theorem, this distinction had not been made so in older texts the meaning might be different. At the same time, according to Miles Reid, it was the Japanese who invented the term simple normal crossings.