Skip to main content

Full text of "Dual graphs of exceptional divisors"

See other formats


DUAL GRAPHS OF EXCEPTIONAL DIVISORS 

CN ' JANOS KOLLAR 

o 

■ Let X be a complex algebraic or analytic variety. Its local topology near a point 

C^ I X € X is completely described by the link L{x g X), which is obtained as the 

intersection of X with a sphere of radius < e -C 1 centered at x. A regular 

neighborhood of a; G X is homcomorphic to the cone over L{x E X); cf. |GM88[ 

CN ; p.41]. 

One can study the local topology of X by choosing a resolution of singularities 
TT : Y ^ X such that E^ ■= 7r~^(x) CZ Y is a simple normal crossing divisor 
r^ I and then relating the topology of E^ to the topology of the link L{x G X). This 

^ • approach, initiated in |Mum61| . has been especially successful for surfaces. 

. ' The topology of a simple normal crossing divisor E can in turn be understood 

'■^, . in 2 steps. First, the Ei are smooth projective varieties, and their topology is 

C^ ' much studied. A second layer of complexity comes from how the components Ei 

are glued together. This gluing process can be naturally encoded by a finite cell 

complex 'D{E), called the dual graph or dual complex of E] see Definition [5l Given 

X € X and a resolution tt : F — > X, the dual complex V{Ex) depends on the 

►^ ' resolution chosen, but its homotopy type does not; we denote it by 'DTZ{x G X) 

O' Csee |Thu07l[Ste08llABWlT]) 

Tij" ' Using this approach }KK11| proved that for every finitely presented group F there 

>0 . is a complex algebraic singularity {x G X) (of dimension 3) such that tti{^L{x G 

X)^ = F. The proof starts with first constructing a simple normal crossing variety 
E such that ttiIE) ^ tti (V{E)) = F and then realizing E as the exceptional divisor 



(N 



m 

I~i I on a resolution of a singularity {x G X), yielding a chain of isomorphisms 

Tri{L{x G X)) = 7^l(I?7^(0 G X)) = tti{V{E)) = F. 

The aim of this note is to go further and prove that not just tti(T>TZ{0 G X)) 
k> ' but 'DTZ{0 G X) can be arbitrary. 

^ ' Theorem 1. Let T be a connected, finite cell complex. Then there is a normal 

- - - singularity (0 G Xt) whose dual complex T)TZ{0 G Xt) is homotopy equivalent to 

T. 

It is interesting to connect properties of VTl{Q G X) with algebraic or geometric 
properties of the singularity (0 G X). A quasi projective variety X has rational 
singularities if for one (equivalently every) resolution of singularities p : Y —^ X 
and for every algebraic (or holomorphic) vector bundle i^ on A, the natural maps 
W{X,F) — > H^{Y,p*F) are isomorphisms. That is, for purposes of computing 
cohomology of vector bundles, X behaves like a smooth variety. See |KM98[ Sec. 5.1] 
for details. 

It is known that if X has rational singularities then 'DTZ{0 G X) is Q-acyclic, 
that is, W{Vn{0 G A),Q) = for i > 0, see for example |KK11[ Lem.39]. 
The fundamental groups of the VTZ{Q G X) for rational singularities were deter- 
mined in [KKllj : these are exactly those finitely presented groups G for which 



2 JANOS KOLLAR 

H^{G,Q) — H'^{G,Q) = (sometimes called Q-superperfect groups). Our next 
result determines the possible homotopy types of 'DTZ{0 G X) for rational singular- 
ities. 

Theorem 2. Let T be a connected, finite, Q-acyclic cell complex. Then there is a 
rational singularity (0 G X) whose dual complex VTZ{0 G X) is homotopy equivalent 
toT. 

While these are much stronger results than the fundamental group versions, most 
of the work needed to prove these theorems was already done in |Kolll| IKKll] . 

The main technical result of jKKll) proves that for every compact simplicial 
complex T there is a projective simple normal crossing variety Z such that T^iZ) 
is homotopy equivalent to T, while the main technical result of |Kolll) shows that 
for every projective simple normal crossing variety Z there is a normal singularity 
(0 G X) and a partial resolution tt : X' ^ X such that Z ^ Tr^^{0) C X' . 

If dim Z < 4 then X' has only very simple singularities which are easy to resolve. 
This was sufficient to control tti (T>TZ{0 G X)) . However, as dim Z increases, X' 
has more and more complicated singularities given locally by equations of the form 

(yii ■■■ yim 
'■ '■ 

Ural ' ' ' Uimra 

where n,m are arbitrary and {xi,yij,t) are local coordinates. 

If dim Z = 2, then the only singularity that appears is the ordinary 3-fold double 
point (xia;2 — tyn). The first somewhat complicated singularity 

(xiX2a;3 = i • {yiiy22 - Vv2y2i)) c C* 

appears when dimZ = 6. 

In this paper we start with the varieties constructed in jKoUHlKKll] and resolve 
these singularities. Surprisingly, the resolution process described in pTUlG]) leaves 
the dual complex unchanged and we get the following. 

Theorem 3. Let Z he a projective simple normal crossing variety of dimension n. 
Then there is a normal singularity (0 G X) of dimension (n + 1) and a resolution 
TT : Y -^ X such that E :— 7r~^(0) GY is a simple normal crossing divisor and its 
dual complex 'L){E) is naturally identified with D{Z). 

4 (Open problems). 

(jUl) It might be possible to describe all complexes that occur on resolutions of 
(n + l)-dimensional varieties. It is clear that dimV{E) < n but I do not know any 
other restrictions. 

Starting with an n-dimensional complex T, the constructions of jKollll IKKllj 
give a (2n -I- l)-dimensional singularity (0 G X) such that 'DTZ{0 G X) is homotopy 
equivalent to T. This increase of the dimension may not be necessary. 

((312) The singularities constructed in Theorems [T}{5] are not isolated. It would 
be interesting to construct isolated examples. 

((4l3) As shown by |KK11) . links of isolated singularities are much more compli- 
cated topologically than smooth projective varieties. As a starting point of further 
investigations, it would be useful to understand the precise relationship between 
'DTZ{0 G X) and the topology of the link of an isolated singularity. 



DUAL GRAPHS OF EXCEPTIONAL DIVISORS 3 

([114) As we noted, given a singularity (0 G X) and a resolution tt : Y ^ X 
such that E := 7r^^(0) is a simple normal crossing divisor, the homotopy type 
'DTZ{0 G X) of the dual complex ^{E) does not depend on the choice of tt : y ^- X. 

Note that if p : X' — >■ X is a proper birational morphism such that E' :— 7r^^(0) 
is a simple normal crossing divisor, then the dual complex 'D(E') is defined even if 
X' is singular. 

It is possible that 'D{E') is in fact homotopy equivalent to 'DTZ{0 G X) as long 
as X' has rational singularities. (The latter condition is actually quite weak, for 
instance it holds if none of the strata of E are contained in SingX.) 

(H5) Assume that {X, A) is dlt |KM98[ 2.37]. Since dlt implies rational, VTZix G 
X) a Q-acyclic for every point x & X. Furthermore, tti (VTZ{x G X)) = 1 by [Kol93| 
and [TakOSj . Thus 'DTZ{x G X) is contractible iff it is Z-acyclic. It would be very 
interesting to decide whether 'DTZ{x G X) is contractible or not. For quotient 
singularities this is proved in [KSllj . 

Related results are treated in |Kol07a] and |IIX09) . 

Definition 5 (Dual graphs). Let AT be a variety with irreducible components 
{Xi : i G /}. We say that A is a simple normal crossing variety (abbreviated as snc) 
if the Xi are smooth and every point p E X has an open (Euclidean) neighborhood 
p £ Up C X and an embedding Up ^^ Cp+^ such that Up C (zi • • • z„+i = 0). 
A stratum of X is any irreducible component of an intersection Di^jXi for some 
J Cl. 

The combinatorics of X is encoded by a cell complex X'(A) whose vertices are 
labeled by the irreducible components of X and for every stratum Z C Clu^jXi 
we attach a (| J| — l)-dimensional cell. Note that for any j € J there is a unique 
irreducible component of r\i^j\[jyXi that contains Z; this specifies the attaching 
map. 2?(A) is called the dual complex or dual graph of X. (Although 'D{X) is not 
a simplicial complex in general, it is an unordered A-complex in the terminology 
of |Hat02l p.534].) 

Definition 6 (Dual graphs associated to a singularity). Let A be a normal variety 
and x G A a point. Choose a resolution of singularities tt : Y ^ X such that 
Ex :— 7r^^(x) CZ Y is a simple normal crossing divisor. Thus it has a dual complex 
V{Ex). 

The dual graph of a normal surface singularity has a long history. Higher dimen- 
sional versions appear in |Kul77[ iPerTTI IGorSOl IFM83) but systematic investigations 
were started only recently; sec [ThuOT', 'StjOgl |Pay09[ [PiyTTI . 

It is proved in ThuO?^ Ste08, ABWlT] that the homotopy type of V{E,j;) is 
independent of the resolution Y —>■ X. We denote it by 'DTZ{x G X). 

The proof of Theorem [T] starts with the following, which is a combination of 
Theorem 29 and Lemma 39 of [KK11| . 

Theorem 7. Let T be a finite cell complex. Then there is a projective simple 
normal crossing variety Zt such that 

(1) T){Zt) is homotopy equivalent to T , 

(2) tii{Zt) =7ri(r) and 

(3) H'{Zt,Ozt) = H\T,C) for every i>0. D 

8 (Summary of the construction of [Kolll] ). Let Z he a projective local complete 
intersection variety of dimension n and choose any embedding Z C P into a smooth 



z 


c 


Y 


i 




i-K 





e 


X 



4 JANOS KOLLAR 

projective variety of dimension N . (We can take P = F^ for TV ^ 1.) Let L be a 
sufficiently ample line bundle on P. Let Z C Yi C P he the complete intersection 
of {N — n ~ 1) general sections oi L{—Z). Set 

Y := B^_z)Yi := Proj^^ E^^o^nC"^^)- 

(Note that this is not the blow-up of Z but the blow-up of its inverse in the class 
group.) 

It is proved in jKoUl] that the birational transform of Z in F is a Cartier divisor 
isomorphic to Z and there is a contraction morphism 

(01) 

such that Y\Z = X\{0}. If F is smooth then T>n{0 G X) = V{Z) and we are 
done with Theorem[TJ However, the construction of jKoUl] yields a smooth variety 
Y only if dim Z — \ ov Z is smooth. (It is easy to see that not every simple normal 
crossing variety Z can be realized as a hypersurface on a smooth variety, so this 
limitation is not unexpected.) 

Thus we need to understand the singularities of Y and resolve them. 

In order to do this, we need a very detailed description of the singularities of Y . 
This is a local question, so we may assume that Z C C^ is a complete intersection 
defined by /i = ■ • ■ = fn-n — 0. Let Z C li C C^ be a general complete 
intersection defined by equations 

hi,ifi -\ h hi^N-nlN-n = for i = 1, . . . , iV - n - 1. 

Let H = {hij) be the {N — n — 1) x {N — n) matrix of the system and Hi the 
submatrix obtained by removing the ith column. By |Kolllj or |Koll2[ Sec. 3. 2], an 
open neighborhood oi Z gY \s defined by the equations 

{f, = {-lY -t-deiH, :i = l,...,Ar-n) CC^ xQ. (02) 

Assume now that Z has simple normal crossing singularities. Up-to permuting the 
fi and passing to a smaller open set, we may assume that d/2, . . . , dfM-n are linearly 
independent everywhere along Z . Then the singularities of Y all come from the 
equation 

/i = -t-detiJi. (03) 

Our aim is to write down local normal forms for Y along Z . 

On C^ there is a stratification C^ = Ro D Ri D • • • where Ri is the set of 
points where rankiJi < {N — ?i — 1) — z. Since the hij are general, codimv^ Ri — i^ 
and we may assume that every stratum of Z is transversal to each Ri \ Ri+i pop . 

Let S G Z he any stratum and p G S a, point such that p € R„i \ Rm+i- We 
can choose local coordinates {xi, . . . ,0;^} and {y^s '■ ^ 1^ t,s < m\ such that, in a 
neighborhood of p, 

fi — xi ■ ■ ■ Xd and det Hi = det (ajj-s : 1 ^ ?", s < m) . 

Note that m? < dim S = n — d, thus we can add n ^ d — m? further coordinates xjij 
to get a complete local coordinate system on S. 
Then the n coordinates {x^, yij} determine a map 

cr : C^ X Ct -^ C" X Ct 



DUAL GRAPHS OF EXCEPTIONAL DIVISORS 5 

such that (j(F) is defined by the equation 

xi ■ ■ ■ Xd = t ■ det (jjrs : 1 < r, s < m) . 

Since (i/2, . . . , dfN-n are Hnearly independent along Z, we see that cr|y is etale along 
Z CY. 

We can summarize these considerations as follows. 

Proposition 9. Let Z be a normal crossing variety of dimension n. Then there is 
a normal singularity (0 £ X) of dimension n + 1 and a proper, birational morphism 
TT : Y ^ X such that red7r^^(0) = Z and for every point p £ 7r^^(0) we can choose 
local etale or analytic coordinates called {xi : i G Ip} and {yrs '■ ^ ^ r, s < rup} (plus 
possibly other unnamed coordinates) such that one can write the local equations of 
Z cY as 



iIl^eI,^^ = t = 0) C [U.ei,^. = t ■ det{yrs : 1 < r, s < m^) j C C"+2. D 

10 (Detcrminantal varieties). We have used the following basic properties of de- 
terminantal varieties. These are quite easy to prove directly; see |Har95[ 12.2 and 
14.16] for a more general case. 

Let T^ be a smooth, affine variety, and C C Oy a finite dimensional sub vector 
space without common zeros. Let H = ihij) be an n x n matrix whose entries 
are general elements in L. For a point p G ^ set mp = corank7J(p). Then there 
are local analytic coordinates {yrs '■ ^ < r,s < nip} (plus possibly other unnamed 
coordinates) such that, in a neighborhood of p, 

det H — dei[yrs '■ ^ <r,s < nip) . 

In particular, multp(detiJ) = corank_ff(p), for every m the set of points Rm C V 
where corankiJ(p) > to is a subvariety of pure codimension m^ and Singi?™ — 

Rm+l- 

11 (Inductive set-up for resolution). The object we try to resolve is a triple 

iY,E,F) := (r,E.e/i?.,E,ej«.^.) (Ell) 

where y is a variety over C, Ei,Fj are codimension 1 subvarieties and Oj € N. (The 
construction ([8]) produces a triple {Y,E := Z,F := 0) . The role of the Fj is to keep 
track of the exceptional divisors as we resolve the singularities oiY.) 

We assume that E is a simple normal crossing variety and for every point p G 
E there is a (Euclidean) open neighborhood p G Yp C Y, an embedding Cp : 
Yp ^^ (j^dimy+i^ subsets Ip C I and Jp C J, a natural number nip G N and local 
coordinates in cdimy+i ca^^g^j 

{xi :i e Ip}, {yrs : 1 < -r, s < rUp}, {zj : j G Jp} and t 

(plus possibly other unnamed coordinates) such that one can write the local equa- 
tion of ap{Yp) C C^ini^+i as 

Il^eI,^^ = t ■ det(y,, : 1 < r, s < to^) • Uje.i,^T ■ Cll2) 

Furthermore, ap(Ei) — {t — Xi = Q) f^ ap{Yp) for i G Ip and ap{Fj) — (zj — 
0)r\ap(Yp) for j G Jp. (We do not impose any compatibility condition between the 
local equations on overlapping charts.) 

We say that {Y, E, F) is resolved at p if F is smooth at p. 

The key technical result of the paper is the following. 



6 JANOS KOLLAR 

Proposition 12. Let (Y,E,F) be a triple as above. Then there is a resolution of 
singularities n : (Y',E',F') -^ (Y,E,F) such that 

(1) Y' is smooth and E' is a simple normal crossing divisor, 

(2) E' = n-\E), 

(3) every stratum of E' is mapped birationally to a stratum of E and 

(4) TT induces an identification !?(£'') = 'D(E). 

Proof. The resolution will be a composite of explicit blow-ups of smooth subva- 
rieties (except at the last step) . We use the local equations to describe the blow-up 
centers locally. Thus we need to know which local subvarieties can be defined glob- 
ally. For example, choosing a divisor Fj-^ specifies the local divisor {zj-^ — 0) at every 
point p G Fj-^ . Similarly, choosing two divisors Ei-^^ , Ei^ gives the local subvarieties 
(t = Xi-^ = Xij = 0) at every point p £ Ei-^ n Ei^ . (Here it is quite important that 
the divisors Ei are themselves smooth. The algorithm does not seem to work if the 
Ei have self-intersections.) Note that by contrast (a;,^ = Xi^ = 0) C Y defines a 
local divisor which has no global meaning. Similarly, the vanishing of any of the 
coordinate functions i/rs has no global meaning. 

To a point p e Sing E we associate the local invariant 

Deg(p) := (deg^(p),degy(p),degjp)) ^ (|/p|,TOp, EjeJp«j)- 

It is clear that deg3.(p) and deg_^(p) do not depend on the local coordinates cho- 
sen. We see in (fT4l) that degy{p) is also well defined if p G Singi?. The degrees 
deg^{p),degy{p),deg^{p) are constructible and upper semi continuous functions on 
Sing^;. 

Note that Y is smooth at p iff either Deg(p) = (1, *, *) or Deg(p) — {*, 0, 0). If 
deg^(p) = 1 then we can rewrite the equation ((TTJ2) as 

x' ^t- rijZj' where x' -.^ xi + t ■ [l - det(yrs)) • Dj-^^j' ' 

so if yis smooth then {Y, E + F^ has only simple normal crossings along E. Thus 
the resolution constructed in Theorem [3] is a log resolution. 

The usual method of Hironaka would start by blowing up the highest multiplicity 
points. This introduces new and rather complicated exceptional divisors and I have 
not been able to understand explicitly how the dual complex changes. 

In our case, it turns out to be much better to look at a locus where degy{p) is 
maximal but instead of maximizing deg^ {p) or deg^ (p) we maximize the dimension. 
Thus we blow up subvarieties along which Y is not equimultiple. Usually this leads 
to a morass, but our equations separate the variables into distinct groups which 
makes these blow-ups easy to compute. 

One can think of this as mixing the main step of the Hironaka method with the 
order reduction for monomial ideals (see, for instance, jKol07b| Step 3 of 3.111]). 

After some preliminary remarks about blow-ups of simple normal crossing vari- 
eties the proof of (jT^ is carried out in a series of steps pTHTC| . 

We start with the locus where degj, {p) is maximal and by a sequence of blow-ups 
we eventually achieve that degy{p) < 1 for every singular point p. This, however, 
increases deg^. Then in 3 similar steps we lower the maximum of deg^ until we 
achieve that deg^(p) < 1 for every singular point p. Finally we take care of the 
singular points where degy{p) + deg^(p) > 1. D 

13 (Blowing up simple normal crossing varieties). Let Z he a simple normal crossing 
variety and W C Z & subvariety. We say that W has simple normal crossing with Z 



DUAL GRAPHS OF EXCEPTIONAL DIVISORS 7 

if for each point p £ Z there is an open neighborhood Zp, an embedding Zp 'H- C"+^ 
and subsets /p, Jp C {0, . . . ,n\ such that 

Zp = (^^G/,^* = 0) and Wr\Zp^{xj={):j e Jp) . 

This imphes that for every stratum Zj C Z the intersection W D Zj is smooth 
(even scheme theoretically). 

If W has simple normal crossing with Z then the blow-up By/Z is again a simple 
normal crossing variety. If W is one of the strata of Z, then V{BwZ) is obtained 
from T^iZ) by removing the cell corresponding to W and every other cell whose 
closure contains it. Otherwise 'D{B\yZ) — T>{Z). (In the terminology of |Koll2[ 
Sec. 2. 4], BwZ -^ Z is a thrifty modification.) 

As an example, let Z = {xiX2X-i = 0) C C^. There are 7 strata and 2?(Z) is the 
2-simplex whose vertices correspond to the planes {xi = 0). 

Let us blow up a point W — {p} C Z to get BpZ C Bp€? . Note that the 
exceptional divisor E C BpC^ is not a part of BpZ and BpZ still has 3 irreducible 
components. 

If p is the origin, then the triple intersection is removed and ^{BpZ) is the 
boundary of the 2-simplex. 

If p is not the origin, then BpZ still has 7 strata naturally corresponding to the 
strata of Z and 'D{BpZ) is the 2-simplex. 

We will be interested in situations where F is a hypersurface in C""''^ and Z dY 
is a Cartier divisor that is a simple normal crossing variety. Let W <ZY hea, smooth, 
irreducible subvariety, not contained in Z such that 

(1) the scheme theoretic intersection WCiZ has simple normal crossing with Z 

(2) mult^nw Z = multvF Y. (Note that this holds if W^ C Sing Y and multznw^ Z 
2.) 

Choose local coordinates (xq, . . . , a:„,i) such that W = (xq = ■ ■ ■ Xi = 0) and 
Z — {t — 0) CY. Let /(xo, . . . , Xn, t) = be the local equation of Y. 

Blow up W to get TT : BwY — s> Y. Up to permuting the indices 0, . . . , i, the 
blow-up B\yY is covered by coordinate charts described by the coordinate change 

\X{) , Xi , . . . , X^, Xi-\-\ , . . . , Xm f^j — V'^O' ^1^0' ■ • ■ 1 ■^2*^0' -^^-t-l 1 ■ • ■ 1 •^715 ^j ■ 

If multvi-' Y = d then the local equation of BwY in the above chart becomes 
By assumption (2), [x'^Y is also the largest power that divides 

I \^0i ^l^Qn ■ ■ ■ ^^i^0^ X^+l^ • ■ • 7 2;„, Uj , 

hence 7r^^(Z) = BwnzZ. 

Observe finally that the conditions (1-2) can not be fulfilled in any interesting 
way if Y is smooth. Since we want Z n VF to be scheme theoretically smooth, if Y 
is smooth then condition (1) implies that Z n VF is disjoint from SingZ. 

(As an example, let Y = £? and Z = [xyz = 0). Take W := {x = y = z). 
Note that W is transversal to every irreducible component of Z but W C] Z \s 
a non-reduced point. The preimage of Z in BwY does not have simple normal 
crossings.) 

There are, however, plenty of examples where Y is singular along Z nW and 
these are exactly the singular points that we want to resolve. 



JANOS KOLLAR 



14 (Resolving the determinantal part). Let m be the largest size of a determinant 
occurring at a non- resolved point. Assume that m > 2 and let p G y be a non- 
resolved point with nip = m. 

Away from E U F the local equation of Y is 

DiG/p^i = det(2/rs : 1 < r, s < m). 

Thus, the singular set of Yp\{EU F) is 

|J(i^i/)(rank(j/rs) < m - 2) n (a;^ = Xf = O) 

where the union runs through all 2-element subsets {i, i'} C Ip. Thus the irreducible 
components of Sing Y \ {E U F) are in natural one-to-one correspondence with the 
irreducible components of Sing E and the value of to = deg„ (p) is determined by 
the multiplicity of any of these irreducible components at p. 
Pick 11,^2 G / and we work locally with a subvariety 

Wp{ii,i2) ■■= {r&nk{yrs) < m - 2) n {xi, = Xi^ = O). 

Note that W'{ii,i2) is singular if m > 2 and the subset of its highest multiplicity 
points is given by rank(yrs) = 0. Therefore the locally defined subvarieties 

Wp{ii,i2) := (y-rs =0:l<r, s<m)n [xi^ = Xi^ = O). 

glue together to a well defined global smooth subvariety W := W{ii, 12). 

E is defined by {t = 0) thus ECiW has the same local equations as Wp{ii,i2)- In 
particular, E ClW has simple normal crossings with E and _E n H^ is not a stratum 
of E; its codimension in the stratum {xi-^ — Xi^ — 0) is m^. 

Furthermore, E has multiplicity 2 along E n W, hence (fT3l2) also holds and so 

V{BEnw) ='D{E). 

We blow wp W G Y . We will check that the new triple is again of the form 
pT|) . The local degree Deg(p) is unchanged over Y \ W . The key assertion is that, 
over W , the maximum value of Deg(p) (with respect to the lexicographic ordering) 
decreases. By repeating this procedure for every irreducible components of Sing E, 
we decrease the maximum value of Deg(j)). We can repeat this until we reach 
deg (p) < 1 for every non- resolved point p ^Y . 

(Note that this procedure requires an actual ordering of the irreducible compo- 
nents of Sing E', which is a very non-canonical choice. If a finite groups acts on Y ^ 
the resolution usually can not be chosen equivariant.) 

Now to the local computation of the blow-up. Fix a point p E W and set 
Ip ■— Ip \ {«!, 12}- We write the local equation of Y as 



z- 



jeJp"'3 



Xi-^Xi2 ■ L ~ t ■ det{yrs) ■ R where L-=Y[i£i*^i ^^'^ ^-—11 

P 

There are two types of local charts on the blow-up. 
(1) There are two charts of the first type. Up to interchanging the subscripts 
1,2, these are given by the coordinate change 

{xi^,Xi^,yrs : 1 < r,s < to) = (x-^ , a;-^^-^ , y^^a;-^ : 1 < r,s < to). 

After setting z^ '■— ^'i the new local equation is 

<.i = i.det(y;j.(z™'-2.i?). 

The exceptional divisor is added to the F-divisors with coefficient m^ — 2 
and the new degree is [deg^{p) — l,degy(p),deg2(p) + to^ — 2). 



DUAL GRAPHS OF EXCEPTIONAL DIVISORS 9 

(2) There are m^ charts of the second type. Up to re-indexing the m^ pairs 
(r, s) these are given by the coordinate change 

except when r = s = m where we set ymm — Vmra- It is convenient to set 
y'mm — 1 ^-iid '^w '■= y'mm- Then the new local equation is 

:>^,y,^ -L^t- det{yl, : 1 < r, s < m) • (zf-^ ■ R) . 

Note that the {m, m) entry of (y^s) is 1- By row and column operations we 
see that 

det(y;, : 1 < r, s, < to) = det(y;, - y^y^,. : 1 < r, s, < to - l). 

By setting j/"^ :— y'^^ — yrrnVms '^6 have new local equations 

x'^y.^L = t ■ det{y';^ : 1 < r, s, < to - 1) • {zf-^ ■ R) 

and the new degree is (deg^. (p) , deg^^ (p) — 1, deg^(p) + m"^ ~2). 

Outcome. After these blow ups we have a triple {Y, E, F) such that at non- 
resolved points the local equations are 

U.ei,^^=t-yU,eJ,^-' or U^eI,^^=t■U,eJ,^T■ (El^) 

(Note that we can not just declare that y is also a z-variable. The Zj are local 
equations of the divisors Fj while (y = 0) has no global meaning.) 

15 (Resolving the monomial part). Following ((Til 3). the local equations are 

Il^eI,x^ =t-y''- rijej^^r where c e {0, 1}. 

We lower the degree of the z-monomial in 3 steps. 

Step 1. Assume that there is a non- resolved point with Ojj > 2. 
The singular set of Fj-^ is then 

U(i,i')(^ji = Xi = Xii = 0) 

where the union runs through all 2-element subsets {i,i'} C /. Pick an irreducible 
component of it, call it W{ii,i2,ji) '■= {zj^^ = Xi^ = Xi^ — O). 

Set /* :— Ip \ {ii, 12}, Jp '■= Jp \ {ji} and write the local equations as 

Xi^Xi^ ■ L = tz°j' ■ R where L := Wifzj.Xi and R := y'' ■ Hj-gj-^i'- 

There are 3 local charts on the blow-up: 

(1) (xij , Xij , Zj ) = {x[_^,x^^x^_^, Zjx'^_^) and, after setting z^ '■— x'^_^ the new local 



equation is 



xl^-L^t-z-^-^zp -R. 



The new degree is (deg^(p) - l,degy(p),deg^(p) + aj - 2) 

(2) Same as above with the subscripts 1, 2 interchanged. 

(3) (xij , Xi^ , Zj) — (x^j^z'-, x^^z', z'A with new local equation 



2^11 Xi2 ■ L — t ■ Zj ^ ■ R. 



The new degree is (deg^(p),degy(p), deg^(p) - 2). 



10 JANOS KOLLAR 



Step 2. Assume that there is a non- resolved point with Oj^ ~ aj.-^ = 1. 
The singular set of Fj^ n Fj^ is then 

where the union runs through all 2-elenient subsets {i,i'} C /. Pick an irreducible 
component of it, call it W{ii,i2,ji,J2) '■= {zj^ = Zj^ = Xi^ = Xi^ = O). 

Set /* :— Ip \ {«i, 22}, Jp '■= Jp \ {ji, J2} and we write the local equations as 



Xi-^Xi^ ■ L — tzj-^Zj2 ■ R where L :— YiiPi'^i ^^^ ^ ■= U'^ ' Yi 



3<^'K 



z- 



There are two types of local charts on the blow-up. 

(1) In the chart {xi^,Xi^,Zj^,Zj^) ~ {x^^,x'^^x^^,z'j^x^^,Zj^x^^) the new local 



equation is 



<-^ = ^-44-^- 



and the new degree is (deg^(p) — 1, degj^(p), deg^(p)). A similar chart is 
obtained by interchanging the subscripts ii, 12- 
(2) In the chart {x.i^,Xi^,Zj^,Zj^) = {x'^^z'^^,x'^^Zj^, Zj^, Zj^ZjJ. the new local 
equation is 

The new degree is (deg^(p),degj,(p), deg^(p) — l). 

A similar chart is obtained by interchanging the subscripts j'l, j2- 

By repeated application of these two steps we are reduced to the case where 
deg^{p) < 1 at all non-resolved points. 

Step 3. Assume that there is a non- resolved point with degy{p) — deg^{p) — 1. 
The singular set of Y is 

U(^,^')(2^ = ^ = ^' =^«' =0)- 

Pick an irreducible component of it, call it W{ii,i2) :— (y = z = Xi^ = Xi^ ~ O). 
The blow up computation is the same as in Step 2. 

As before we see that at each step the conditions ([T51 1-2) hold, hence X'(£') is 
unchanged. 

Outcome. After these blow-ups we have a triple (Y, E, F) such that at non- 
resolved points the local equations are 

U.ieipX,=t-y, U^eI^^^ = t ■ zi or ll^eI^^^ = '^- CS^) 

As before, the y and z variables have different meaning, but we can rename zi as 
y. Thus we have only one non-resolved local form left: Yi^i ~ ^V- 

16 (Resolving the multiplicity 2 part). Here we have a local equation x^^ • • ■ Xi^ = ty 
where d > 2. We would like to blow up {xi^ = y = 0), but, as we noted, this 
subvariety is not globally defined. However, a rare occurrence helps us out. Usually 
the blow-up of a smooth subvariety determines its center uniquely. However, this 
is not the case for codimension 1 centers. Thus we could get a globally well defined 
blow-up even from centers that are not globally well defined. 

Note that the inverse of (xi^ — y — 0) in the local Picard group of Y is Ei-^ = 
{xi^ = t = 0), which is globally defined. Thus 

ProjyS^>oCy(m£;,J 



DUAL GRAPHS OF EXCEPTIONAL DIVISORS 11 

is well defined, and locally it is isomorphic to the blow-up B(^x. ^y^Q-jY. (A priori, 
we would need to take the normalization of B^,^.. =y^Q)Y , but it is actually normal.) 
Thus we have 2 local charts. 

(1) {xi-^ , y) = {x'^_^ , y'x'^_^ ) and the new local equation is {xi^ ■ ■ ■ Xi^ — ty'^ . The 
new local degree is (d — 1, 1, 0). 

(2) [xi^ , y) — {x[_^ y' , y') and the new local equation is (x^^ -Xi^ ■ ■ ■ Xi^ = t) . The 
new local degree is (d, 0,0). 

Outcome. After all these blow-ups we have a triple (^, X^iez-^iiX^iG/'^i^i) 
where J2i<£i^i i^ ^ simple normal crossing divisor and Y is smooth along X^ie/^j- 

This completes the proof of Proposition [T^l □ 

17 (Proof of Theorem[2]). Assume that T is Q-acyclic. Then, by (O there is a simple 
normal crossing variety Zt such that H^(^Zt,Ozt) = for i > 0. Then [KoUli 
Prop. 9] shows that, for L sufficiently ample, the singularity (0 S Xt) constructed 
in © and ® is rational. By ^ we conclude that Vn{0 G Xt) = V{Zt) is 
homotopy equivalent to T. 

Acknowledgments. I thank M. Kapovich, P. Ozsvath and S. Payne for comments 
and corrections. Partial financial support was provided by the NSF under grant 
number DMS-07-58275. 

References 

[ABWll] D. Arapura, P. Bakhtary, and J. Wlodarczyk, Weights on cohomology, invariants of 

singularities, and dual complexes, ArXiv e-prints (2011). 
[FM83] Robert Friedman and David R. Morrison (eds.), The birational geometry of degenerations, 

Progr. Math., vol. 29, Birkhiiuser Boston, Mass., 1983. MR 690262 {84g: 14032) 
[GM88] Mark Goresky and Robert MacPherson, Stratified Morse theory, Ergebnisse der Math- 

cmatik und ihrer Grenzgebiete (3), vol. 14, Springer- Verlag, Berlin, 1988. MR 932724 

(90d:57039) 
[Gor80] Gerald Leonard Gordon, On a simplicial complex associated to the monodromy. Trans. 

Amer. Math. Soc. 261 (1980), no. 1, 93-101. MR 576865 (81j:32017) 
[Har95] Joe Harris, Algebraic geometry. Graduate Texts in Mathematics, vol. 133, Springer- 

Verlag, New York, 1995, A first course. Corrected reprint of the 1992 original. 

MR MR1416564 (97e:14001) 
[Hat02] Allen Hatcher, Algebraic topology, Cambridge University Press, Cambridge, 2002. 

MR 1867354 (2002k:55001) 
[HX09] Amit Hogadi and Chenyang Xu, Degenerations of rationally connected varieties. Trans. 

Amer. Math. Soc. 361 (2009), no. 7, 3931-3949. MR 2491906 (20101:14091) 
[KKll] Michael Kapovich and Janos KoUar, Fundamental groups of links of isolated singularities, 

ArXiv e-prints (2011). 
[KM98] Janos KoUar and Shigefumi Mori, Birational geometry of algebraic varieties, Cambridge 

Tracts in Mathematics, vol. 134, Cambridge University Press, Cambridge, 1998, With the 

collaboration of C. H. Clemens and A. Corti, Translated from the 1998 Japanese original. 

MR 1658959 (2000b: 14018) 
[Kol93] Janos KoUar, Shafarevich maps and plurigenera of algebraic varieties. Invent. Math. 113 

(1993), no. 1, 177-215. MR 1223229 (94m:14018) 
[Kol07a] , A conjecture of Ax and degenerations of Fano varieties, Israel J. Math. 162 

(2007), 235-251. MR 2365862 (2008j:14017) 
[Kol07b] , Lectures on resolution of singularities, Annals of Mathematics Studies, vol. 166, 

Princeton University Press, Princeton, NJ, 2007. MR 2289519 

[KoUl] , New examples of terminal and log canonical singularities. [arXiv: 1107.2864 2011. 

[Koll2] , Singularities of the minimal model program, Cambridge University Press, Cam- 
bridge, 2012, With the collaboration of S. Kovacs (to appear). 



12 JANOS KOLLAR 

[KSll] M. Kerz and S. Saito, Cohomological Hasse principle and McKay principle for weight 
homology, ArXiv e-prints (2011). 

[Kul77] Vik. S. Kulikov, Degenerations of K3 surfaces and Enriques surfaces, Izv. Akad. Nauk 
SSSR Ser. Mat. 41 (1977), no. 5, 1008-1042, 1199. MR 0506296 (58 #22087b) 

[Muni61] David Mumford, The topology of normal singularities of an algebraic surface and 
a criterion for simplicity, Inst. Hautes Etudes Sci. Publ. Math. (1961), no. 9, 5—22. 
MR 0153682 (27 #3643) 

[Pay09] Sam Payne, Lecture at M5-RJ,[ http://www.msri.org/web/msri/online-videos/-/video/show Video/36741 
2009. 

[Payll] Sam Payne, Boundary complexes and weight filtrations, ArXiv e-prints (2011). 

[Pcr77] Ulf Persson, On degenerations of algebraic surfaces, Mem. Amer. Math. Soc. 11 (1977), 
no. 189, xv+144. MR 0466149 (57 #6030) 

[Ste08] D. A. Stepanov, A note on resolution of rational and hypersurface singularities, Proc. 
Amer. Math. Soc. 136 (2008), no. 8, 2647-2654. MR 2399025 (2009g:32060) 

[Tak03] Shigeharu Takayama, Local simple connectedness of resolutions of log-terminal singular- 
ities, Internat. J. Math. 14 (2003), no. 8, 825-836. MR 2013147 (2004m:14023) 

[Thu07] Amaury ThuiUier, Geometric toroidale et geometric analytique non archimedienne. Ap- 
plication au type d'homotopie de certains schemas formels, Manuscripta Math. 123 
(2007), no. 4, 381-451. MR 2320738 (2008g:14038) 

Princeton University, Princeton NJ 08544-1000 
kollarOmath . princeton . edu