resolution by weighted blowing up
play

Resolution by weighted blowing up Dan Abramovich, Brown University - PowerPoint PPT Presentation

Resolution by weighted blowing up Dan Abramovich, Brown University Joint work with Michael T emkin and Jaros law W lodarczyk Also parallel work by M. McQuillan with G. Marzo Rational points on irrational varieties Columbia, September


  1. Resolution by weighted blowing up Dan Abramovich, Brown University Joint work with Michael T¨ emkin and Jaros� law W� lodarczyk Also parallel work by M. McQuillan with G. Marzo Rational points on irrational varieties Columbia, September 13, 2019 Abramovich Resolution by weighted blowing up Columbia, September 13, 2019 1 / 18

  2. How to resolve a curve To resolve a singular curve C (1) find a singular point x ∈ C , (2) blow it up. Abramovich Resolution by weighted blowing up Columbia, September 13, 2019 2 / 18

  3. How to resolve a curve To resolve a singular curve C (1) find a singular point x ∈ C , (2) blow it up. Fact p a gets smaller. Abramovich Resolution by weighted blowing up Columbia, September 13, 2019 2 / 18

  4. How to resolve a surface To resolve a singular surface S one wants to (1) find the worst singular locus C ∈ S , (2) C is smooth - blow it up. Abramovich Resolution by weighted blowing up Columbia, September 13, 2019 3 / 18

  5. How to resolve a surface To resolve a singular surface S one wants to (1) find the worst singular locus C ∈ S , (2) C is smooth - blow it up. Fact This in general does not get better. Abramovich Resolution by weighted blowing up Columbia, September 13, 2019 3 / 18

  6. Example: Whitney’s umbrella Consider S = V ( x 2 − y 2 z ) Abramovich Resolution by weighted blowing up Columbia, September 13, 2019 4 / 18

  7. Example: Whitney’s umbrella Consider S = V ( x 2 − y 2 z ) (image by Eleonore Faber). Abramovich Resolution by weighted blowing up Columbia, September 13, 2019 4 / 18

  8. Example: Whitney’s umbrella Consider S = V ( x 2 − y 2 z ) (image by Eleonore Faber). (1) The worst singularity is the origin. (2) In the z chart we get x = x 3 z , y = y 3 z , giving 3 z 2 − y 2 3 z 3 = 0, x 2 z 2 ( x 2 3 − y 2 or 3 z ) = 0 . Abramovich Resolution by weighted blowing up Columbia, September 13, 2019 4 / 18

  9. Example: Whitney’s umbrella Consider S = V ( x 2 − y 2 z ) (image by Eleonore Faber). (1) The worst singularity is the origin. (2) In the z chart we get x = x 3 z , y = y 3 z , giving 3 z 2 − y 2 3 z 3 = 0, x 2 z 2 ( x 2 3 − y 2 or 3 z ) = 0 . The first term is exceptional, the second is the same as S . Abramovich Resolution by weighted blowing up Columbia, September 13, 2019 4 / 18

  10. Example: Whitney’s umbrella Consider S = V ( x 2 − y 2 z ) (image by Eleonore Faber). (1) The worst singularity is the origin. (2) In the z chart we get x = x 3 z , y = y 3 z , giving 3 z 2 − y 2 3 z 3 = 0, x 2 z 2 ( x 2 3 − y 2 or 3 z ) = 0 . The first term is exceptional, the second is the same as S . Classical solution: (a) Remember exceptional divisors (this is OK) (b) Remember their history (this is a pain) Abramovich Resolution by weighted blowing up Columbia, September 13, 2019 4 / 18

  11. Main result Nevertheless: Theorem ( ℵ -T-W, MM, “weighted Hironaka”, characteristic 0) There is a procedure F associating to a singular subvariety X ⊂ Y embedded with pure codimension c in a smooth variety Y , a center ¯ J with blowing up Y ′ → Y and proper transform ( X ′ ⊂ Y ′ ) = F ( X ⊂ Y ) such that maxinv( X ′ ) < maxinv( X ) . In particular, for some n the iterate ( X n ⊂ Y n ) := F ◦ n ( X ⊂ Y ) of F has X n smooth. Abramovich Resolution by weighted blowing up Columbia, September 13, 2019 5 / 18

  12. Main result Nevertheless: Theorem ( ℵ -T-W, MM, “weighted Hironaka”, characteristic 0) There is a procedure F associating to a singular subvariety X ⊂ Y embedded with pure codimension c in a smooth variety Y , a center ¯ J with blowing up Y ′ → Y and proper transform ( X ′ ⊂ Y ′ ) = F ( X ⊂ Y ) such that maxinv( X ′ ) < maxinv( X ) . In particular, for some n the iterate ( X n ⊂ Y n ) := F ◦ n ( X ⊂ Y ) of F has X n smooth. Here procedure means a functor for smooth surjective morphisms: if f : Y 1 ։ Y smooth then J 1 = f − 1 J and Y ′ 1 = Y 1 × Y Y ′ . Abramovich Resolution by weighted blowing up Columbia, September 13, 2019 5 / 18

  13. Preview on invariants For p ∈ X we define Q ≤ n inv p ( X ) ∈ Γ ⊂ ≥ 0 , with Γ well-ordered, and show Proposition it is lexicographically upper-semi-continuous, and p ∈ X is smooth ⇔ inv p ( X ) = min Γ . We define maxinv( X ) = max p inv p ( X ). Abramovich Resolution by weighted blowing up Columbia, September 13, 2019 6 / 18

  14. Preview on invariants For p ∈ X we define Q ≤ n inv p ( X ) ∈ Γ ⊂ ≥ 0 , with Γ well-ordered, and show Proposition it is lexicographically upper-semi-continuous, and p ∈ X is smooth ⇔ inv p ( X ) = min Γ . We define maxinv( X ) = max p inv p ( X ). Example inv p ( V ( x 2 − y 2 z )) = (2 , 3 , 3) Abramovich Resolution by weighted blowing up Columbia, September 13, 2019 6 / 18

  15. Preview on invariants For p ∈ X we define Q ≤ n inv p ( X ) ∈ Γ ⊂ ≥ 0 , with Γ well-ordered, and show Proposition it is lexicographically upper-semi-continuous, and p ∈ X is smooth ⇔ inv p ( X ) = min Γ . We define maxinv( X ) = max p inv p ( X ). Example inv p ( V ( x 2 − y 2 z )) = (2 , 3 , 3) Remark These invariants have been in our arsenal for ages. Abramovich Resolution by weighted blowing up Columbia, September 13, 2019 6 / 18

  16. Preview of centers If inv p ( X ) = maxinv( X ) = ( a 1 , . . . , a k ) then, locally at p 1 , . . . , x a k J = ( x a 1 k ) . Abramovich Resolution by weighted blowing up Columbia, September 13, 2019 7 / 18

  17. Preview of centers If inv p ( X ) = maxinv( X ) = ( a 1 , . . . , a k ) then, locally at p 1 , . . . , x a k J = ( x a 1 k ) . Write ( a 1 , . . . , a k ) = ℓ (1 / w 1 , . . . , 1 / w k ) with w i , ℓ ∈ N and gcd( w 1 , . . . , w k ) = 1 . We set J = ( x 1 / w 1 , . . . , x 1 / w k ¯ ) . 1 k Abramovich Resolution by weighted blowing up Columbia, September 13, 2019 7 / 18

  18. Preview of centers If inv p ( X ) = maxinv( X ) = ( a 1 , . . . , a k ) then, locally at p 1 , . . . , x a k J = ( x a 1 k ) . Write ( a 1 , . . . , a k ) = ℓ (1 / w 1 , . . . , 1 / w k ) with w i , ℓ ∈ N and gcd( w 1 , . . . , w k ) = 1 . We set J = ( x 1 / w 1 , . . . , x 1 / w k ¯ ) . 1 k Example For X = V ( x 2 − y 2 z ) we have J = ( x 2 , y 3 , z 3 ); ¯ J = ( x 1 / 3 , y 1 / 2 , z 1 / 2 ). Abramovich Resolution by weighted blowing up Columbia, September 13, 2019 7 / 18

  19. Preview of centers If inv p ( X ) = maxinv( X ) = ( a 1 , . . . , a k ) then, locally at p 1 , . . . , x a k J = ( x a 1 k ) . Write ( a 1 , . . . , a k ) = ℓ (1 / w 1 , . . . , 1 / w k ) with w i , ℓ ∈ N and gcd( w 1 , . . . , w k ) = 1 . We set J = ( x 1 / w 1 , . . . , x 1 / w k ¯ ) . 1 k Example For X = V ( x 2 − y 2 z ) we have J = ( x 2 , y 3 , z 3 ); ¯ J = ( x 1 / 3 , y 1 / 2 , z 1 / 2 ). Remark J has been staring in our face for a while. Abramovich Resolution by weighted blowing up Columbia, September 13, 2019 7 / 18

  20. Example: blowing up Whitney’s umbrella x 2 = y 2 z The blowing up Y ′ → Y makes ¯ J = ( x 1 / 3 , y 1 / 2 , z 1 / 2 ) principal. Explicitly: The z chart has x = w 3 x 3 , y = w 2 y 3 , z = w 2 with chart Y ′ = [ Spec C [ x 3 , y 3 , w ] / ( ± 1) ] , with action of ( ± 1) given by ( x 3 , y 3 , w ) �→ ( − x 3 , y 3 , − w ). Abramovich Resolution by weighted blowing up Columbia, September 13, 2019 8 / 18

  21. Example: blowing up Whitney’s umbrella x 2 = y 2 z The blowing up Y ′ → Y makes ¯ J = ( x 1 / 3 , y 1 / 2 , z 1 / 2 ) principal. Explicitly: The z chart has x = w 3 x 3 , y = w 2 y 3 , z = w 2 with chart Y ′ = [ Spec C [ x 3 , y 3 , w ] / ( ± 1) ] , with action of ( ± 1) given by ( x 3 , y 3 , w ) �→ ( − x 3 , y 3 , − w ). The transformed equation is w 6 ( x 2 3 − y 2 3 ) , Abramovich Resolution by weighted blowing up Columbia, September 13, 2019 8 / 18

  22. Example: blowing up Whitney’s umbrella x 2 = y 2 z The blowing up Y ′ → Y makes ¯ J = ( x 1 / 3 , y 1 / 2 , z 1 / 2 ) principal. Explicitly: The z chart has x = w 3 x 3 , y = w 2 y 3 , z = w 2 with chart Y ′ = [ Spec C [ x 3 , y 3 , w ] / ( ± 1) ] , with action of ( ± 1) given by ( x 3 , y 3 , w ) �→ ( − x 3 , y 3 , − w ). The transformed equation is w 6 ( x 2 3 − y 2 3 ) , and the invariant of the proper transform ( x 2 3 − y 2 3 ) is (2 , 2) < (2 , 3 , 3). Abramovich Resolution by weighted blowing up Columbia, September 13, 2019 8 / 18

  23. Example: blowing up Whitney’s umbrella x 2 = y 2 z The blowing up Y ′ → Y makes ¯ J = ( x 1 / 3 , y 1 / 2 , z 1 / 2 ) principal. Explicitly: The z chart has x = w 3 x 3 , y = w 2 y 3 , z = w 2 with chart Y ′ = [ Spec C [ x 3 , y 3 , w ] / ( ± 1) ] , with action of ( ± 1) given by ( x 3 , y 3 , w ) �→ ( − x 3 , y 3 , − w ). The transformed equation is w 6 ( x 2 3 − y 2 3 ) , and the invariant of the proper transform ( x 2 3 − y 2 3 ) is (2 , 2) < (2 , 3 , 3). In fact, X has begged to be blown up like this all along. Abramovich Resolution by weighted blowing up Columbia, September 13, 2019 8 / 18

  24. ✤ Definition of Y ′ → Y J = ( x 1 / w 1 , . . . , x 1 / w k Let ¯ ) . Define the graded algebra 1 k A ¯ ⊂ O Y [ T ] J as the integral closure of the image of � O Y [ T ] O Y [ Y 1 , . . . , Y n ] � x i T w i . Y i Abramovich Resolution by weighted blowing up Columbia, September 13, 2019 9 / 18

Recommend


More recommend