resolution and logarithmic resolution by weighted blowing
play

Resolution and logarithmic resolution by weighted blowing up Dan - PowerPoint PPT Presentation

Resolution and logarithmic resolution by weighted blowing up Dan Abramovich, Brown University Work with Michael T emkin and Jaros law W lodarczyk and work by Ming Hao Quek Also parallel work by M. McQuillan Algebraic geometry and


  1. Resolution and logarithmic resolution by weighted blowing up Dan Abramovich, Brown University Work with Michael T¨ emkin and Jaros� law W� lodarczyk and work by Ming Hao Quek Also parallel work by M. McQuillan Algebraic geometry and Moduli Seminar ETH Z¨ urich, July 15, 2020 Abramovich Resolution and logarithmic resolution ETH Z¨ urich, July 15, 2020 1 / 26

  2. How to resolve To resolve a singular variety X one wants to (1) find the worst singular locus S ⊂ X , (2) Hopefully S is smooth - blow it up. Abramovich Resolution and logarithmic resolution ETH Z¨ urich, July 15, 2020 2 / 26

  3. How to resolve To resolve a singular variety X one wants to (1) find the worst singular locus S ⊂ X , (2) Hopefully S is smooth - blow it up. Fact This works for curves but not in general. Abramovich Resolution and logarithmic resolution ETH Z¨ urich, July 15, 2020 2 / 26

  4. Example: Whitney’s umbrella Consider X = V ( x 2 − y 2 z ) Abramovich Resolution and logarithmic resolution ETH Z¨ urich, July 15, 2020 3 / 26

  5. Example: Whitney’s umbrella Consider X = V ( x 2 − y 2 z ) (1) The worst singularity is the origin. (2) In the z chart we get x = x ′ z , y = y ′ z , giving z 2 ( x ′ 2 − y ′ 2 z ) = 0 . x ′ 2 z 2 − y ′ 2 z 3 = 0, or Abramovich Resolution and logarithmic resolution ETH Z¨ urich, July 15, 2020 3 / 26

  6. Example: Whitney’s umbrella Consider X = V ( x 2 − y 2 z ) (1) The worst singularity is the origin. (2) In the z chart we get x = x ′ z , y = y ′ z , giving z 2 ( x ′ 2 − y ′ 2 z ) = 0 . x ′ 2 z 2 − y ′ 2 z 3 = 0, or The first term is exceptional, the second is the same as X . Abramovich Resolution and logarithmic resolution ETH Z¨ urich, July 15, 2020 3 / 26

  7. Two theorems Nevertheless: Theorem ( ℵ -T-W, McQuillan, 2019, characteristic 0) There is a functor F associating to a singular subvariety X ⊂ Y of a smooth J with stack theoretic weighted blowing up Y ′ → Y and variety Y , a center ¯ 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 and logarithmic resolution ETH Z¨ urich, July 15, 2020 4 / 26

  8. Two theorems Nevertheless: Theorem ( ℵ -T-W, McQuillan, 2019, characteristic 0) There is a functor F associating to a singular subvariety X ⊂ Y of a smooth J with stack theoretic weighted blowing up Y ′ → Y and variety Y , a center ¯ 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. Theorem (Quek, 2020, characteristic 0) There is a functor F associating to a logarithmically singular subvariety X ⊂ Y of a logarithmically smooth variety Y , a logarithmic center ¯ J with stack theoretic logarithmic blowing up Y ′ → Y and proper transform ( X ′ ⊂ Y ′ ) = F ( X ⊂ Y ) such that maxloginv( X ′ ) < maxloginv( X ) . In particular, for some n the iterate ( X n ⊂ Y n ) := F ◦ n ( X ⊂ Y ) of F has X n logarithmically smooth. Abramovich Resolution and logarithmic resolution ETH Z¨ urich, July 15, 2020 4 / 26

  9. Context: families Hironaka’s theorem resolves varieties. What can you do with families of varieties X → B ? Theorem ( ℵ -Karu, 2000) There is a modification X ′ → B ′ which is logarithmically smooth. Abramovich Resolution and logarithmic resolution ETH Z¨ urich, July 15, 2020 5 / 26

  10. Context: families Hironaka’s theorem resolves varieties. What can you do with families of varieties X → B ? Theorem ( ℵ -Karu, 2000) There is a modification X ′ → B ′ which is logarithmically smooth. Logarithmically smooth = toroidal: Abramovich Resolution and logarithmic resolution ETH Z¨ urich, July 15, 2020 5 / 26

  11. Context: families Hironaka’s theorem resolves varieties. What can you do with families of varieties X → B ? Theorem ( ℵ -Karu, 2000) There is a modification X ′ → B ′ which is logarithmically smooth. Logarithmically smooth = toroidal: A toric morphism X → B of toric varieties is a torus equivariant morphism. Abramovich Resolution and logarithmic resolution ETH Z¨ urich, July 15, 2020 5 / 26

  12. Context: families Hironaka’s theorem resolves varieties. What can you do with families of varieties X → B ? Theorem ( ℵ -Karu, 2000) There is a modification X ′ → B ′ which is logarithmically smooth. Logarithmically smooth = toroidal: A toric morphism X → B of toric varieties is a torus equivariant morphism. A toroidal embedding U X ⊂ X is an open embedding ´ etale locally isomorphic to toric T ⊂ V . Abramovich Resolution and logarithmic resolution ETH Z¨ urich, July 15, 2020 5 / 26

  13. Context: families Hironaka’s theorem resolves varieties. What can you do with families of varieties X → B ? Theorem ( ℵ -Karu, 2000) There is a modification X ′ → B ′ which is logarithmically smooth. Logarithmically smooth = toroidal: A toric morphism X → B of toric varieties is a torus equivariant morphism. A toroidal embedding U X ⊂ X is an open embedding ´ etale locally isomorphic to toric T ⊂ V . A toroidal morphism X → B of toroidal embeddings is ´ etale locally isomorphic to a toric morphism. Abramovich Resolution and logarithmic resolution ETH Z¨ urich, July 15, 2020 5 / 26

  14. Examples of toroidal morphisms A toric morphism X → B of toric varieties is a torus equivariant morphism. Abramovich Resolution and logarithmic resolution ETH Z¨ urich, July 15, 2020 6 / 26

  15. Examples of toroidal morphisms A toric morphism X → B of toric varieties is a torus equivariant morphism.e.g. Spec C [ x , y , z ] / ( xy − z 2 ) → Spec C , Abramovich Resolution and logarithmic resolution ETH Z¨ urich, July 15, 2020 6 / 26

  16. Examples of toroidal morphisms A toric morphism X → B of toric varieties is a torus equivariant morphism.e.g. Spec C [ x , y , z ] / ( xy − z 2 ) → Spec C , Spec C [ x 2 ] , Spec C [ x ] → Abramovich Resolution and logarithmic resolution ETH Z¨ urich, July 15, 2020 6 / 26

  17. Examples of toroidal morphisms A toric morphism X → B of toric varieties is a torus equivariant morphism.e.g. Spec C [ x , y , z ] / ( xy − z 2 ) → Spec C , Spec C [ x 2 ] , Spec C [ x ] → toric blowups Abramovich Resolution and logarithmic resolution ETH Z¨ urich, July 15, 2020 6 / 26

  18. Context: functoriality Hironaka’s theorem is functorial. [ ℵ -Karu 2000] is not: relied on deJong’s method. Abramovich Resolution and logarithmic resolution ETH Z¨ urich, July 15, 2020 7 / 26

  19. Context: functoriality Hironaka’s theorem is functorial. [ ℵ -Karu 2000] is not: relied on deJong’s method. For K–S-B or K-moduli want functoriality. Abramovich Resolution and logarithmic resolution ETH Z¨ urich, July 15, 2020 7 / 26

  20. Context: functoriality Hironaka’s theorem is functorial. [ ℵ -Karu 2000] is not: relied on deJong’s method. For K–S-B or K-moduli want functoriality. Theorem ( ℵ -T-W 2020) Given X → B there is a relatively functorial logarithmically smooth modification X ′ → B ′ . Abramovich Resolution and logarithmic resolution ETH Z¨ urich, July 15, 2020 7 / 26

  21. Context: functoriality Hironaka’s theorem is functorial. [ ℵ -Karu 2000] is not: relied on deJong’s method. For K–S-B or K-moduli want functoriality. Theorem ( ℵ -T-W 2020) Given X → B there is a relatively functorial logarithmically smooth modification X ′ → B ′ . This respects Aut B X . Does not modify log smooth fibers. Abramovich Resolution and logarithmic resolution ETH Z¨ urich, July 15, 2020 7 / 26

  22. Context: principalization Following Hironaka, the above theorem is based on embedded methods: Theorem ( ℵ -T-W 2020) Given Y → B logarithmically smooth and I ⊂ O Y , there is a relatively functorial logarithmically smooth modification Y ′ → B ′ such that IO Y ′ is monomial. Abramovich Resolution and logarithmic resolution ETH Z¨ urich, July 15, 2020 8 / 26

  23. Context: principalization Following Hironaka, the above theorem is based on embedded methods: Theorem ( ℵ -T-W 2020) Given Y → B logarithmically smooth and I ⊂ O Y , there is a relatively functorial logarithmically smooth modification Y ′ → B ′ such that IO Y ′ is monomial. This is done by a sequence of logarithmic modifications, where in each step E becomes part of the divisor D Y ′ . Abramovich Resolution and logarithmic resolution ETH Z¨ urich, July 15, 2020 8 / 26

  24. Example 1 Y = Spec k [ x , u ]; D Y = V ( u ); B = Spec k ; Abramovich Resolution and logarithmic resolution ETH Z¨ urich, July 15, 2020 9 / 26

  25. Example 1 I = ( x 2 , u 2 ). Y = Spec k [ x , u ]; D Y = V ( u ); B = Spec k ; Abramovich Resolution and logarithmic resolution ETH Z¨ urich, July 15, 2020 9 / 26

  26. Example 1 I = ( x 2 , u 2 ). Y = Spec k [ x , u ]; D Y = V ( u ); B = Spec k ; Blow up J = ( x , u ) IO Y ′ = O ( − 2 E ) Abramovich Resolution and logarithmic resolution ETH Z¨ urich, July 15, 2020 9 / 26

  27. Example 1/2 I = ( x 2 , u 2 ) Y = Spec k [ x , u ]; D Y = V ( u ); Abramovich Resolution and logarithmic resolution ETH Z¨ urich, July 15, 2020 10 / 26

Recommend


More recommend