![Page 1: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/1.jpg)
Non-product smooth actions onCartesian products of manifolds
Krzysztof Pawałowski (UAM Poznań Poland)
38th Symposium on Transformation GroupsNovember 18-20, 2011, Kobe, Japan
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 2: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/2.jpg)
38th Symposium on Transformation GroupsNovember 18-20, 2011, Kobe, Japan
Non-product smooth actions onCartesian products of manifolds
Krzysztof Pawałowski (UAM Poznań Poland)
Joint work with Marek Kaluba and Wojciech PolitarczykGraduate students of Adam Mickiewicz University
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 3: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/3.jpg)
Is an asymmetric manifold symmetric?
By an asymmetric smooth manifold we mean a smooth manifoldwithout a non-trivial smooth finite group action.
A popular phrase about smooth manifolds reads as follows.
“If you choose a smooth manifold at random, it is asymmetric.”
Now, we wish to show that this phrase can be complemented bythe following comment.
“If you choose an asymmetric smooth manifold, it is symmetricup to cartesian product operation with sphere factors.”
Asymmetric smooth manifolds have been constructed, e.g., by A. Edmonds, Contemp.Math. 36 (1985) 339–366, Kwasik and P. Vogel, Duke Math. J. 53 (1986) 759–764,V. Puppe, Annals of Math. Studies 138 (1995) 283–302, and M. Kreck, J. Topology 2(2009) 249–261, Corrigendum: J. Topology 4 (2011) 254–255.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 4: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/4.jpg)
Is an asymmetric manifold symmetric?
By an asymmetric smooth manifold we mean a smooth manifoldwithout a non-trivial
smooth finite group action.
A popular phrase about smooth manifolds reads as follows.
“If you choose a smooth manifold at random, it is asymmetric.”
Now, we wish to show that this phrase can be complemented bythe following comment.
“If you choose an asymmetric smooth manifold, it is symmetricup to cartesian product operation with sphere factors.”
Asymmetric smooth manifolds have been constructed, e.g., by A. Edmonds, Contemp.Math. 36 (1985) 339–366, Kwasik and P. Vogel, Duke Math. J. 53 (1986) 759–764,V. Puppe, Annals of Math. Studies 138 (1995) 283–302, and M. Kreck, J. Topology 2(2009) 249–261, Corrigendum: J. Topology 4 (2011) 254–255.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 5: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/5.jpg)
Is an asymmetric manifold symmetric?
By an asymmetric smooth manifold we mean a smooth manifoldwithout a non-trivial smooth finite group action.
A popular phrase about smooth manifolds reads as follows.
“If you choose a smooth manifold at random, it is asymmetric.”
Now, we wish to show that this phrase can be complemented bythe following comment.
“If you choose an asymmetric smooth manifold, it is symmetricup to cartesian product operation with sphere factors.”
Asymmetric smooth manifolds have been constructed, e.g., by A. Edmonds, Contemp.Math. 36 (1985) 339–366, Kwasik and P. Vogel, Duke Math. J. 53 (1986) 759–764,V. Puppe, Annals of Math. Studies 138 (1995) 283–302, and M. Kreck, J. Topology 2(2009) 249–261, Corrigendum: J. Topology 4 (2011) 254–255.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 6: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/6.jpg)
Is an asymmetric manifold symmetric?
By an asymmetric smooth manifold we mean a smooth manifoldwithout a non-trivial smooth finite group action.
A popular phrase about smooth manifolds reads as follows.
“If you choose a smooth manifold at random, it is asymmetric.”
Now, we wish to show that this phrase can be complemented bythe following comment.
“If you choose an asymmetric smooth manifold, it is symmetricup to cartesian product operation with sphere factors.”
Asymmetric smooth manifolds have been constructed, e.g., by A. Edmonds, Contemp.Math. 36 (1985) 339–366, Kwasik and P. Vogel, Duke Math. J. 53 (1986) 759–764,V. Puppe, Annals of Math. Studies 138 (1995) 283–302, and M. Kreck, J. Topology 2(2009) 249–261, Corrigendum: J. Topology 4 (2011) 254–255.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 7: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/7.jpg)
Is an asymmetric manifold symmetric?
By an asymmetric smooth manifold we mean a smooth manifoldwithout a non-trivial smooth finite group action.
A popular phrase about smooth manifolds reads as follows.
“If you choose a smooth manifold at random, it is asymmetric.”
Now, we wish to show that this phrase can be complemented bythe following comment.
“If you choose an asymmetric smooth manifold, it is symmetricup to cartesian product operation with sphere factors.”
Asymmetric smooth manifolds have been constructed, e.g., by A. Edmonds, Contemp.Math. 36 (1985) 339–366, Kwasik and P. Vogel, Duke Math. J. 53 (1986) 759–764,V. Puppe, Annals of Math. Studies 138 (1995) 283–302, and M. Kreck, J. Topology 2(2009) 249–261, Corrigendum: J. Topology 4 (2011) 254–255.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 8: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/8.jpg)
Is an asymmetric manifold symmetric?
By an asymmetric smooth manifold we mean a smooth manifoldwithout a non-trivial smooth finite group action.
A popular phrase about smooth manifolds reads as follows.
“If you choose a smooth manifold at random,
it is asymmetric.”
Now, we wish to show that this phrase can be complemented bythe following comment.
“If you choose an asymmetric smooth manifold, it is symmetricup to cartesian product operation with sphere factors.”
Asymmetric smooth manifolds have been constructed, e.g., by A. Edmonds, Contemp.Math. 36 (1985) 339–366, Kwasik and P. Vogel, Duke Math. J. 53 (1986) 759–764,V. Puppe, Annals of Math. Studies 138 (1995) 283–302, and M. Kreck, J. Topology 2(2009) 249–261, Corrigendum: J. Topology 4 (2011) 254–255.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 9: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/9.jpg)
Is an asymmetric manifold symmetric?
By an asymmetric smooth manifold we mean a smooth manifoldwithout a non-trivial smooth finite group action.
A popular phrase about smooth manifolds reads as follows.
“If you choose a smooth manifold at random, it is asymmetric.”
Now, we wish to show that this phrase can be complemented bythe following comment.
“If you choose an asymmetric smooth manifold, it is symmetricup to cartesian product operation with sphere factors.”
Asymmetric smooth manifolds have been constructed, e.g., by A. Edmonds, Contemp.Math. 36 (1985) 339–366, Kwasik and P. Vogel, Duke Math. J. 53 (1986) 759–764,V. Puppe, Annals of Math. Studies 138 (1995) 283–302, and M. Kreck, J. Topology 2(2009) 249–261, Corrigendum: J. Topology 4 (2011) 254–255.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 10: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/10.jpg)
Is an asymmetric manifold symmetric?
By an asymmetric smooth manifold we mean a smooth manifoldwithout a non-trivial smooth finite group action.
A popular phrase about smooth manifolds reads as follows.
“If you choose a smooth manifold at random, it is asymmetric.”
Now, we wish to show that this phrase can be complemented bythe following comment.
“If you choose an asymmetric smooth manifold, it is symmetricup to cartesian product operation with sphere factors.”
Asymmetric smooth manifolds have been constructed, e.g., by A. Edmonds, Contemp.Math. 36 (1985) 339–366, Kwasik and P. Vogel, Duke Math. J. 53 (1986) 759–764,V. Puppe, Annals of Math. Studies 138 (1995) 283–302, and M. Kreck, J. Topology 2(2009) 249–261, Corrigendum: J. Topology 4 (2011) 254–255.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 11: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/11.jpg)
Is an asymmetric manifold symmetric?
By an asymmetric smooth manifold we mean a smooth manifoldwithout a non-trivial smooth finite group action.
A popular phrase about smooth manifolds reads as follows.
“If you choose a smooth manifold at random, it is asymmetric.”
Now, we wish to show that this phrase can be complemented bythe following comment.
“If you choose an asymmetric smooth manifold,
it is symmetricup to cartesian product operation with sphere factors.”
Asymmetric smooth manifolds have been constructed, e.g., by A. Edmonds, Contemp.Math. 36 (1985) 339–366, Kwasik and P. Vogel, Duke Math. J. 53 (1986) 759–764,V. Puppe, Annals of Math. Studies 138 (1995) 283–302, and M. Kreck, J. Topology 2(2009) 249–261, Corrigendum: J. Topology 4 (2011) 254–255.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 12: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/12.jpg)
Is an asymmetric manifold symmetric?
By an asymmetric smooth manifold we mean a smooth manifoldwithout a non-trivial smooth finite group action.
A popular phrase about smooth manifolds reads as follows.
“If you choose a smooth manifold at random, it is asymmetric.”
Now, we wish to show that this phrase can be complemented bythe following comment.
“If you choose an asymmetric smooth manifold, it is symmetricup to cartesian product operation with sphere factors.”
Asymmetric smooth manifolds have been constructed, e.g., by A. Edmonds, Contemp.Math. 36 (1985) 339–366, Kwasik and P. Vogel, Duke Math. J. 53 (1986) 759–764,V. Puppe, Annals of Math. Studies 138 (1995) 283–302, and M. Kreck, J. Topology 2(2009) 249–261, Corrigendum: J. Topology 4 (2011) 254–255.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 13: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/13.jpg)
Is an asymmetric manifold symmetric?
By an asymmetric smooth manifold we mean a smooth manifoldwithout a non-trivial smooth finite group action.
A popular phrase about smooth manifolds reads as follows.
“If you choose a smooth manifold at random, it is asymmetric.”
Now, we wish to show that this phrase can be complemented bythe following comment.
“If you choose an asymmetric smooth manifold, it is symmetricup to cartesian product operation with sphere factors.”
Asymmetric smooth manifolds have been constructed, e.g., by A. Edmonds, Contemp.Math. 36 (1985) 339–366, Kwasik and P. Vogel, Duke Math. J. 53 (1986) 759–764,V. Puppe, Annals of Math. Studies 138 (1995) 283–302, and M. Kreck, J. Topology 2(2009) 249–261, Corrigendum: J. Topology 4 (2011) 254–255.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 14: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/14.jpg)
Theorems A and B
We construct smooth group actions on Cartesian products ofsmooth manifolds, such that the action is non-product thoughtthe product contains an asymmetric manifold as a factor.
Theorem ALet G be a compact Lie group. For any closed asymmetricsmooth m-manifold Mm with m 3, there is a non-productsmooth action of G on a Cartesian product of the form
M =Mm × Sn1 × · · · × Snk .
Every fixed point set connected component is homeomorphicto the connected sum Mm#Σm for an appropriate homologym-sphere Σm. One may always assume that k = 1 and whenG = S1, that n1 = · · · = nk = 2 for some k 1.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 15: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/15.jpg)
Theorems A and B
We construct smooth group actions on Cartesian products ofsmooth manifolds,
such that the action is non-product thoughtthe product contains an asymmetric manifold as a factor.
Theorem ALet G be a compact Lie group. For any closed asymmetricsmooth m-manifold Mm with m 3, there is a non-productsmooth action of G on a Cartesian product of the form
M =Mm × Sn1 × · · · × Snk .
Every fixed point set connected component is homeomorphicto the connected sum Mm#Σm for an appropriate homologym-sphere Σm. One may always assume that k = 1 and whenG = S1, that n1 = · · · = nk = 2 for some k 1.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 16: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/16.jpg)
Theorems A and B
We construct smooth group actions on Cartesian products ofsmooth manifolds, such that the action is non-product
thoughtthe product contains an asymmetric manifold as a factor.
Theorem ALet G be a compact Lie group. For any closed asymmetricsmooth m-manifold Mm with m 3, there is a non-productsmooth action of G on a Cartesian product of the form
M =Mm × Sn1 × · · · × Snk .
Every fixed point set connected component is homeomorphicto the connected sum Mm#Σm for an appropriate homologym-sphere Σm. One may always assume that k = 1 and whenG = S1, that n1 = · · · = nk = 2 for some k 1.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 17: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/17.jpg)
Theorems A and B
We construct smooth group actions on Cartesian products ofsmooth manifolds, such that the action is non-product thought
the product contains an asymmetric manifold as a factor.
Theorem ALet G be a compact Lie group. For any closed asymmetricsmooth m-manifold Mm with m 3, there is a non-productsmooth action of G on a Cartesian product of the form
M =Mm × Sn1 × · · · × Snk .
Every fixed point set connected component is homeomorphicto the connected sum Mm#Σm for an appropriate homologym-sphere Σm. One may always assume that k = 1 and whenG = S1, that n1 = · · · = nk = 2 for some k 1.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 18: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/18.jpg)
Theorems A and B
We construct smooth group actions on Cartesian products ofsmooth manifolds, such that the action is non-product thoughtthe product contains an asymmetric manifold as a factor.
Theorem ALet G be a compact Lie group. For any closed asymmetricsmooth m-manifold Mm with m 3, there is a non-productsmooth action of G on a Cartesian product of the form
M =Mm × Sn1 × · · · × Snk .
Every fixed point set connected component is homeomorphicto the connected sum Mm#Σm for an appropriate homologym-sphere Σm. One may always assume that k = 1 and whenG = S1, that n1 = · · · = nk = 2 for some k 1.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 19: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/19.jpg)
Theorems A and B
We construct smooth group actions on Cartesian products ofsmooth manifolds, such that the action is non-product thoughtthe product contains an asymmetric manifold as a factor.
Theorem A
Let G be a compact Lie group. For any closed asymmetricsmooth m-manifold Mm with m 3, there is a non-productsmooth action of G on a Cartesian product of the form
M =Mm × Sn1 × · · · × Snk .
Every fixed point set connected component is homeomorphicto the connected sum Mm#Σm for an appropriate homologym-sphere Σm. One may always assume that k = 1 and whenG = S1, that n1 = · · · = nk = 2 for some k 1.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 20: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/20.jpg)
Theorems A and B
We construct smooth group actions on Cartesian products ofsmooth manifolds, such that the action is non-product thoughtthe product contains an asymmetric manifold as a factor.
Theorem ALet G be a compact Lie group.
For any closed asymmetricsmooth m-manifold Mm with m 3, there is a non-productsmooth action of G on a Cartesian product of the form
M =Mm × Sn1 × · · · × Snk .
Every fixed point set connected component is homeomorphicto the connected sum Mm#Σm for an appropriate homologym-sphere Σm. One may always assume that k = 1 and whenG = S1, that n1 = · · · = nk = 2 for some k 1.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 21: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/21.jpg)
Theorems A and B
We construct smooth group actions on Cartesian products ofsmooth manifolds, such that the action is non-product thoughtthe product contains an asymmetric manifold as a factor.
Theorem ALet G be a compact Lie group. For any closed asymmetricsmooth m-manifold Mm with m 3,
there is a non-productsmooth action of G on a Cartesian product of the form
M =Mm × Sn1 × · · · × Snk .
Every fixed point set connected component is homeomorphicto the connected sum Mm#Σm for an appropriate homologym-sphere Σm. One may always assume that k = 1 and whenG = S1, that n1 = · · · = nk = 2 for some k 1.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 22: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/22.jpg)
Theorems A and B
We construct smooth group actions on Cartesian products ofsmooth manifolds, such that the action is non-product thoughtthe product contains an asymmetric manifold as a factor.
Theorem ALet G be a compact Lie group. For any closed asymmetricsmooth m-manifold Mm with m 3, there is a non-productsmooth action of G on a Cartesian product of the form
M =Mm × Sn1 × · · · × Snk .
Every fixed point set connected component is homeomorphicto the connected sum Mm#Σm for an appropriate homologym-sphere Σm. One may always assume that k = 1 and whenG = S1, that n1 = · · · = nk = 2 for some k 1.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 23: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/23.jpg)
Theorems A and B
We construct smooth group actions on Cartesian products ofsmooth manifolds, such that the action is non-product thoughtthe product contains an asymmetric manifold as a factor.
Theorem ALet G be a compact Lie group. For any closed asymmetricsmooth m-manifold Mm with m 3, there is a non-productsmooth action of G on a Cartesian product of the form
M =Mm × Sn1 × · · · × Snk .
Every fixed point set connected component is homeomorphicto the connected sum Mm#Σm for an appropriate homologym-sphere Σm. One may always assume that k = 1 and whenG = S1, that n1 = · · · = nk = 2 for some k 1.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 24: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/24.jpg)
Theorems A and B
We construct smooth group actions on Cartesian products ofsmooth manifolds, such that the action is non-product thoughtthe product contains an asymmetric manifold as a factor.
Theorem ALet G be a compact Lie group. For any closed asymmetricsmooth m-manifold Mm with m 3, there is a non-productsmooth action of G on a Cartesian product of the form
M =Mm × Sn1 × · · · × Snk .
Every fixed point set connected component is homeomorphicto the connected sum Mm#Σm
for an appropriate homologym-sphere Σm. One may always assume that k = 1 and whenG = S1, that n1 = · · · = nk = 2 for some k 1.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 25: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/25.jpg)
Theorems A and B
We construct smooth group actions on Cartesian products ofsmooth manifolds, such that the action is non-product thoughtthe product contains an asymmetric manifold as a factor.
Theorem ALet G be a compact Lie group. For any closed asymmetricsmooth m-manifold Mm with m 3, there is a non-productsmooth action of G on a Cartesian product of the form
M =Mm × Sn1 × · · · × Snk .
Every fixed point set connected component is homeomorphicto the connected sum Mm#Σm for an appropriate homologym-sphere Σm.
One may always assume that k = 1 and whenG = S1, that n1 = · · · = nk = 2 for some k 1.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 26: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/26.jpg)
Theorems A and B
We construct smooth group actions on Cartesian products ofsmooth manifolds, such that the action is non-product thoughtthe product contains an asymmetric manifold as a factor.
Theorem ALet G be a compact Lie group. For any closed asymmetricsmooth m-manifold Mm with m 3, there is a non-productsmooth action of G on a Cartesian product of the form
M =Mm × Sn1 × · · · × Snk .
Every fixed point set connected component is homeomorphicto the connected sum Mm#Σm for an appropriate homologym-sphere Σm. One may always assume that k = 1
and whenG = S1, that n1 = · · · = nk = 2 for some k 1.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 27: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/27.jpg)
Theorems A and B
We construct smooth group actions on Cartesian products ofsmooth manifolds, such that the action is non-product thoughtthe product contains an asymmetric manifold as a factor.
Theorem ALet G be a compact Lie group. For any closed asymmetricsmooth m-manifold Mm with m 3, there is a non-productsmooth action of G on a Cartesian product of the form
M =Mm × Sn1 × · · · × Snk .
Every fixed point set connected component is homeomorphicto the connected sum Mm#Σm for an appropriate homologym-sphere Σm. One may always assume that k = 1 and whenG = S1,
that n1 = · · · = nk = 2 for some k 1.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 28: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/28.jpg)
Theorems A and B
We construct smooth group actions on Cartesian products ofsmooth manifolds, such that the action is non-product thoughtthe product contains an asymmetric manifold as a factor.
Theorem ALet G be a compact Lie group. For any closed asymmetricsmooth m-manifold Mm with m 3, there is a non-productsmooth action of G on a Cartesian product of the form
M =Mm × Sn1 × · · · × Snk .
Every fixed point set connected component is homeomorphicto the connected sum Mm#Σm for an appropriate homologym-sphere Σm. One may always assume that k = 1 and whenG = S1, that n1 = · · · = nk = 2 for some k 1.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 29: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/29.jpg)
Theorems A and B
We construct smooth group actions on Cartesian products ofsmooth manifolds, such that the action is non-product thoughtthe product contains an asymmetric manifold as a factor.
Theorem ALet G be a compact Lie group. For any closed asymmetricsmooth m-manifold Mm with m 3, there is a non-productsmooth action of G on a Cartesian product of the form
M =Mm × Sn1 × · · · × Snk .
Every fixed point set connected component is homeomorphicto the connected sum Mm#Σm for an appropriate homologym-sphere Σm. One may always assume that k = 1 and whenG = S1, that n1 = · · · = nk = 2 for some k 1.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 30: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/30.jpg)
Theorems A and B
We construct smooth group actions on Cartesian products ofsymplectic manifolds, such that the action is non-product andnon-symplectic with respect to any symplectic structure.
Theorem BFor any compact Lie group G , there exists a smooth action ofG on a Cartesian product of symplectic manifolds of the form
M = CP2 × CPn1 × · · · × CPnk
such that each connected component of the fixed point set isdiffeomorphic to the connected sum CP2#Σ4 for an arbitraryhomology 4-sphere Σ4. For an appropriate Σ4, the action of Gon M is non-product and non-symplectic with respect to anypossible symplectic structure on M. In the case where G = S1,n1 = · · · = nk = 1 for some k 1.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 31: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/31.jpg)
Theorems A and B
We construct smooth group actions on Cartesian products ofsymplectic manifolds,
such that the action is non-product andnon-symplectic with respect to any symplectic structure.
Theorem BFor any compact Lie group G , there exists a smooth action ofG on a Cartesian product of symplectic manifolds of the form
M = CP2 × CPn1 × · · · × CPnk
such that each connected component of the fixed point set isdiffeomorphic to the connected sum CP2#Σ4 for an arbitraryhomology 4-sphere Σ4. For an appropriate Σ4, the action of Gon M is non-product and non-symplectic with respect to anypossible symplectic structure on M. In the case where G = S1,n1 = · · · = nk = 1 for some k 1.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 32: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/32.jpg)
Theorems A and B
We construct smooth group actions on Cartesian products ofsymplectic manifolds, such that the action is non-product
andnon-symplectic with respect to any symplectic structure.
Theorem BFor any compact Lie group G , there exists a smooth action ofG on a Cartesian product of symplectic manifolds of the form
M = CP2 × CPn1 × · · · × CPnk
such that each connected component of the fixed point set isdiffeomorphic to the connected sum CP2#Σ4 for an arbitraryhomology 4-sphere Σ4. For an appropriate Σ4, the action of Gon M is non-product and non-symplectic with respect to anypossible symplectic structure on M. In the case where G = S1,n1 = · · · = nk = 1 for some k 1.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 33: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/33.jpg)
Theorems A and B
We construct smooth group actions on Cartesian products ofsymplectic manifolds, such that the action is non-product andnon-symplectic with respect to any symplectic structure.
Theorem BFor any compact Lie group G , there exists a smooth action ofG on a Cartesian product of symplectic manifolds of the form
M = CP2 × CPn1 × · · · × CPnk
such that each connected component of the fixed point set isdiffeomorphic to the connected sum CP2#Σ4 for an arbitraryhomology 4-sphere Σ4. For an appropriate Σ4, the action of Gon M is non-product and non-symplectic with respect to anypossible symplectic structure on M. In the case where G = S1,n1 = · · · = nk = 1 for some k 1.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 34: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/34.jpg)
Theorems A and B
We construct smooth group actions on Cartesian products ofsymplectic manifolds, such that the action is non-product andnon-symplectic with respect to any symplectic structure.
Theorem B
For any compact Lie group G , there exists a smooth action ofG on a Cartesian product of symplectic manifolds of the form
M = CP2 × CPn1 × · · · × CPnk
such that each connected component of the fixed point set isdiffeomorphic to the connected sum CP2#Σ4 for an arbitraryhomology 4-sphere Σ4. For an appropriate Σ4, the action of Gon M is non-product and non-symplectic with respect to anypossible symplectic structure on M. In the case where G = S1,n1 = · · · = nk = 1 for some k 1.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 35: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/35.jpg)
Theorems A and B
We construct smooth group actions on Cartesian products ofsymplectic manifolds, such that the action is non-product andnon-symplectic with respect to any symplectic structure.
Theorem BFor any compact Lie group G , there exists a smooth action ofG on a Cartesian product of symplectic manifolds of the form
M = CP2 × CPn1 × · · · × CPnk
such that each connected component of the fixed point set isdiffeomorphic to the connected sum CP2#Σ4 for an arbitraryhomology 4-sphere Σ4. For an appropriate Σ4, the action of Gon M is non-product and non-symplectic with respect to anypossible symplectic structure on M. In the case where G = S1,n1 = · · · = nk = 1 for some k 1.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 36: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/36.jpg)
Theorems A and B
We construct smooth group actions on Cartesian products ofsymplectic manifolds, such that the action is non-product andnon-symplectic with respect to any symplectic structure.
Theorem BFor any compact Lie group G , there exists a smooth action ofG on a Cartesian product of symplectic manifolds of the form
M = CP2 × CPn1 × · · · × CPnk
such that each connected component of the fixed point set isdiffeomorphic to the connected sum CP2#Σ4 for an arbitraryhomology 4-sphere Σ4. For an appropriate Σ4, the action of Gon M is non-product and non-symplectic with respect to anypossible symplectic structure on M. In the case where G = S1,n1 = · · · = nk = 1 for some k 1.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 37: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/37.jpg)
Theorems A and B
We construct smooth group actions on Cartesian products ofsymplectic manifolds, such that the action is non-product andnon-symplectic with respect to any symplectic structure.
Theorem BFor any compact Lie group G , there exists a smooth action ofG on a Cartesian product of symplectic manifolds of the form
M = CP2 × CPn1 × · · · × CPnk
such that each connected component of the fixed point set isdiffeomorphic to the connected sum CP2#Σ4
for an arbitraryhomology 4-sphere Σ4. For an appropriate Σ4, the action of Gon M is non-product and non-symplectic with respect to anypossible symplectic structure on M. In the case where G = S1,n1 = · · · = nk = 1 for some k 1.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 38: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/38.jpg)
Theorems A and B
We construct smooth group actions on Cartesian products ofsymplectic manifolds, such that the action is non-product andnon-symplectic with respect to any symplectic structure.
Theorem BFor any compact Lie group G , there exists a smooth action ofG on a Cartesian product of symplectic manifolds of the form
M = CP2 × CPn1 × · · · × CPnk
such that each connected component of the fixed point set isdiffeomorphic to the connected sum CP2#Σ4 for an arbitraryhomology 4-sphere Σ4.
For an appropriate Σ4, the action of Gon M is non-product and non-symplectic with respect to anypossible symplectic structure on M. In the case where G = S1,n1 = · · · = nk = 1 for some k 1.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 39: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/39.jpg)
Theorems A and B
We construct smooth group actions on Cartesian products ofsymplectic manifolds, such that the action is non-product andnon-symplectic with respect to any symplectic structure.
Theorem BFor any compact Lie group G , there exists a smooth action ofG on a Cartesian product of symplectic manifolds of the form
M = CP2 × CPn1 × · · · × CPnk
such that each connected component of the fixed point set isdiffeomorphic to the connected sum CP2#Σ4 for an arbitraryhomology 4-sphere Σ4. For an appropriate Σ4, the action of Gon M is non-product
and non-symplectic with respect to anypossible symplectic structure on M. In the case where G = S1,n1 = · · · = nk = 1 for some k 1.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 40: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/40.jpg)
Theorems A and B
We construct smooth group actions on Cartesian products ofsymplectic manifolds, such that the action is non-product andnon-symplectic with respect to any symplectic structure.
Theorem BFor any compact Lie group G , there exists a smooth action ofG on a Cartesian product of symplectic manifolds of the form
M = CP2 × CPn1 × · · · × CPnk
such that each connected component of the fixed point set isdiffeomorphic to the connected sum CP2#Σ4 for an arbitraryhomology 4-sphere Σ4. For an appropriate Σ4, the action of Gon M is non-product and non-symplectic with respect to anypossible symplectic structure on M.
In the case where G = S1,n1 = · · · = nk = 1 for some k 1.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 41: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/41.jpg)
Theorems A and B
We construct smooth group actions on Cartesian products ofsymplectic manifolds, such that the action is non-product andnon-symplectic with respect to any symplectic structure.
Theorem BFor any compact Lie group G , there exists a smooth action ofG on a Cartesian product of symplectic manifolds of the form
M = CP2 × CPn1 × · · · × CPnk
such that each connected component of the fixed point set isdiffeomorphic to the connected sum CP2#Σ4 for an arbitraryhomology 4-sphere Σ4. For an appropriate Σ4, the action of Gon M is non-product and non-symplectic with respect to anypossible symplectic structure on M. In the case where G = S1,
n1 = · · · = nk = 1 for some k 1.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 42: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/42.jpg)
Theorems A and B
We construct smooth group actions on Cartesian products ofsymplectic manifolds, such that the action is non-product andnon-symplectic with respect to any symplectic structure.
Theorem BFor any compact Lie group G , there exists a smooth action ofG on a Cartesian product of symplectic manifolds of the form
M = CP2 × CPn1 × · · · × CPnk
such that each connected component of the fixed point set isdiffeomorphic to the connected sum CP2#Σ4 for an arbitraryhomology 4-sphere Σ4. For an appropriate Σ4, the action of Gon M is non-product and non-symplectic with respect to anypossible symplectic structure on M. In the case where G = S1,n1 = · · · = nk = 1 for some k 1.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 43: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/43.jpg)
Absorbing group actions from spheres
To prove Theorem A, consider the equivariant connected sum
(Mm × Sn1 × · · · × Snk ) # Sm+n # Sm+n # · · ·
for n = n1 + · · ·+ nk , where G acts trivially on Xm and linearlyon Sni for i = 1, . . . , k . Moreover, G acts smoothly on Sm+n insuch a way that F (G , Sm+n) is homeomorphic to Σm.
The linear action of G on the product is determined by
Tx(Sm+n) = Rm ⊕ V n
at x ∈ Σm ⊂ Sm+n, as follows. Consider any decomposition
V n ∼= V n11 ⊕ · · · ⊕ V nkk .
For i = 1, . . . , k , let Sni = S(Vi ⊕ R), where G acts trivially on R.Then G acts linearly on Sni with exactly two fixed points.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 44: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/44.jpg)
Absorbing group actions from spheres
To prove Theorem A, consider the equivariant connected sum
(Mm × Sn1 × · · · × Snk ) # Sm+n # Sm+n # · · ·
for n = n1 + · · ·+ nk , where G acts trivially on Xm and linearlyon Sni for i = 1, . . . , k . Moreover, G acts smoothly on Sm+n insuch a way that F (G , Sm+n) is homeomorphic to Σm.
The linear action of G on the product is determined by
Tx(Sm+n) = Rm ⊕ V n
at x ∈ Σm ⊂ Sm+n, as follows. Consider any decomposition
V n ∼= V n11 ⊕ · · · ⊕ V nkk .
For i = 1, . . . , k , let Sni = S(Vi ⊕ R), where G acts trivially on R.Then G acts linearly on Sni with exactly two fixed points.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 45: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/45.jpg)
Absorbing group actions from spheres
To prove Theorem A, consider the equivariant connected sum
(Mm × Sn1 × · · · × Snk ) # Sm+n # Sm+n # · · ·
for n = n1 + · · ·+ nk , where G acts trivially on Xm and linearlyon Sni for i = 1, . . . , k . Moreover, G acts smoothly on Sm+n insuch a way that F (G , Sm+n) is homeomorphic to Σm.
The linear action of G on the product is determined by
Tx(Sm+n) = Rm ⊕ V n
at x ∈ Σm ⊂ Sm+n, as follows. Consider any decomposition
V n ∼= V n11 ⊕ · · · ⊕ V nkk .
For i = 1, . . . , k , let Sni = S(Vi ⊕ R), where G acts trivially on R.Then G acts linearly on Sni with exactly two fixed points.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 46: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/46.jpg)
Absorbing group actions from spheres
To prove Theorem A, consider the equivariant connected sum
(Mm × Sn1 × · · · × Snk ) # Sm+n # Sm+n # · · ·
for n = n1 + · · ·+ nk ,
where G acts trivially on Xm and linearlyon Sni for i = 1, . . . , k . Moreover, G acts smoothly on Sm+n insuch a way that F (G , Sm+n) is homeomorphic to Σm.
The linear action of G on the product is determined by
Tx(Sm+n) = Rm ⊕ V n
at x ∈ Σm ⊂ Sm+n, as follows. Consider any decomposition
V n ∼= V n11 ⊕ · · · ⊕ V nkk .
For i = 1, . . . , k , let Sni = S(Vi ⊕ R), where G acts trivially on R.Then G acts linearly on Sni with exactly two fixed points.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 47: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/47.jpg)
Absorbing group actions from spheres
To prove Theorem A, consider the equivariant connected sum
(Mm × Sn1 × · · · × Snk ) # Sm+n # Sm+n # · · ·
for n = n1 + · · ·+ nk , where G acts trivially on Xm
and linearlyon Sni for i = 1, . . . , k . Moreover, G acts smoothly on Sm+n insuch a way that F (G , Sm+n) is homeomorphic to Σm.
The linear action of G on the product is determined by
Tx(Sm+n) = Rm ⊕ V n
at x ∈ Σm ⊂ Sm+n, as follows. Consider any decomposition
V n ∼= V n11 ⊕ · · · ⊕ V nkk .
For i = 1, . . . , k , let Sni = S(Vi ⊕ R), where G acts trivially on R.Then G acts linearly on Sni with exactly two fixed points.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 48: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/48.jpg)
Absorbing group actions from spheres
To prove Theorem A, consider the equivariant connected sum
(Mm × Sn1 × · · · × Snk ) # Sm+n # Sm+n # · · ·
for n = n1 + · · ·+ nk , where G acts trivially on Xm and linearlyon Sni for i = 1, . . . , k .
Moreover, G acts smoothly on Sm+n insuch a way that F (G , Sm+n) is homeomorphic to Σm.
The linear action of G on the product is determined by
Tx(Sm+n) = Rm ⊕ V n
at x ∈ Σm ⊂ Sm+n, as follows. Consider any decomposition
V n ∼= V n11 ⊕ · · · ⊕ V nkk .
For i = 1, . . . , k , let Sni = S(Vi ⊕ R), where G acts trivially on R.Then G acts linearly on Sni with exactly two fixed points.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 49: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/49.jpg)
Absorbing group actions from spheres
To prove Theorem A, consider the equivariant connected sum
(Mm × Sn1 × · · · × Snk ) # Sm+n # Sm+n # · · ·
for n = n1 + · · ·+ nk , where G acts trivially on Xm and linearlyon Sni for i = 1, . . . , k . Moreover, G acts smoothly on Sm+n
insuch a way that F (G , Sm+n) is homeomorphic to Σm.
The linear action of G on the product is determined by
Tx(Sm+n) = Rm ⊕ V n
at x ∈ Σm ⊂ Sm+n, as follows. Consider any decomposition
V n ∼= V n11 ⊕ · · · ⊕ V nkk .
For i = 1, . . . , k , let Sni = S(Vi ⊕ R), where G acts trivially on R.Then G acts linearly on Sni with exactly two fixed points.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 50: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/50.jpg)
Absorbing group actions from spheres
To prove Theorem A, consider the equivariant connected sum
(Mm × Sn1 × · · · × Snk ) # Sm+n # Sm+n # · · ·
for n = n1 + · · ·+ nk , where G acts trivially on Xm and linearlyon Sni for i = 1, . . . , k . Moreover, G acts smoothly on Sm+n insuch a way that F (G , Sm+n) is homeomorphic to Σm.
The linear action of G on the product is determined by
Tx(Sm+n) = Rm ⊕ V n
at x ∈ Σm ⊂ Sm+n, as follows. Consider any decomposition
V n ∼= V n11 ⊕ · · · ⊕ V nkk .
For i = 1, . . . , k , let Sni = S(Vi ⊕ R), where G acts trivially on R.Then G acts linearly on Sni with exactly two fixed points.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 51: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/51.jpg)
Absorbing group actions from spheres
To prove Theorem A, consider the equivariant connected sum
(Mm × Sn1 × · · · × Snk ) # Sm+n # Sm+n # · · ·
for n = n1 + · · ·+ nk , where G acts trivially on Xm and linearlyon Sni for i = 1, . . . , k . Moreover, G acts smoothly on Sm+n insuch a way that F (G , Sm+n) is homeomorphic to Σm.
The linear action of G on the product is determined
by
Tx(Sm+n) = Rm ⊕ V n
at x ∈ Σm ⊂ Sm+n, as follows. Consider any decomposition
V n ∼= V n11 ⊕ · · · ⊕ V nkk .
For i = 1, . . . , k , let Sni = S(Vi ⊕ R), where G acts trivially on R.Then G acts linearly on Sni with exactly two fixed points.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 52: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/52.jpg)
Absorbing group actions from spheres
To prove Theorem A, consider the equivariant connected sum
(Mm × Sn1 × · · · × Snk ) # Sm+n # Sm+n # · · ·
for n = n1 + · · ·+ nk , where G acts trivially on Xm and linearlyon Sni for i = 1, . . . , k . Moreover, G acts smoothly on Sm+n insuch a way that F (G , Sm+n) is homeomorphic to Σm.
The linear action of G on the product is determined by
Tx(Sm+n) = Rm ⊕ V n
at x ∈ Σm ⊂ Sm+n,
as follows. Consider any decomposition
V n ∼= V n11 ⊕ · · · ⊕ V nkk .
For i = 1, . . . , k , let Sni = S(Vi ⊕ R), where G acts trivially on R.Then G acts linearly on Sni with exactly two fixed points.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 53: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/53.jpg)
Absorbing group actions from spheres
To prove Theorem A, consider the equivariant connected sum
(Mm × Sn1 × · · · × Snk ) # Sm+n # Sm+n # · · ·
for n = n1 + · · ·+ nk , where G acts trivially on Xm and linearlyon Sni for i = 1, . . . , k . Moreover, G acts smoothly on Sm+n insuch a way that F (G , Sm+n) is homeomorphic to Σm.
The linear action of G on the product is determined by
Tx(Sm+n) = Rm ⊕ V n
at x ∈ Σm ⊂ Sm+n, as follows.
Consider any decomposition
V n ∼= V n11 ⊕ · · · ⊕ V nkk .
For i = 1, . . . , k , let Sni = S(Vi ⊕ R), where G acts trivially on R.Then G acts linearly on Sni with exactly two fixed points.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 54: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/54.jpg)
Absorbing group actions from spheres
To prove Theorem A, consider the equivariant connected sum
(Mm × Sn1 × · · · × Snk ) # Sm+n # Sm+n # · · ·
for n = n1 + · · ·+ nk , where G acts trivially on Xm and linearlyon Sni for i = 1, . . . , k . Moreover, G acts smoothly on Sm+n insuch a way that F (G , Sm+n) is homeomorphic to Σm.
The linear action of G on the product is determined by
Tx(Sm+n) = Rm ⊕ V n
at x ∈ Σm ⊂ Sm+n, as follows. Consider any decomposition
V n ∼= V n11 ⊕ · · · ⊕ V nkk .
For i = 1, . . . , k , let Sni = S(Vi ⊕ R), where G acts trivially on R.Then G acts linearly on Sni with exactly two fixed points.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 55: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/55.jpg)
Absorbing group actions from spheres
To prove Theorem A, consider the equivariant connected sum
(Mm × Sn1 × · · · × Snk ) # Sm+n # Sm+n # · · ·
for n = n1 + · · ·+ nk , where G acts trivially on Xm and linearlyon Sni for i = 1, . . . , k . Moreover, G acts smoothly on Sm+n insuch a way that F (G , Sm+n) is homeomorphic to Σm.
The linear action of G on the product is determined by
Tx(Sm+n) = Rm ⊕ V n
at x ∈ Σm ⊂ Sm+n, as follows. Consider any decomposition
V n ∼= V n11 ⊕ · · · ⊕ V nkk .
For i = 1, . . . , k , let Sni = S(Vi ⊕ R),
where G acts trivially on R.Then G acts linearly on Sni with exactly two fixed points.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 56: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/56.jpg)
Absorbing group actions from spheres
To prove Theorem A, consider the equivariant connected sum
(Mm × Sn1 × · · · × Snk ) # Sm+n # Sm+n # · · ·
for n = n1 + · · ·+ nk , where G acts trivially on Xm and linearlyon Sni for i = 1, . . . , k . Moreover, G acts smoothly on Sm+n insuch a way that F (G , Sm+n) is homeomorphic to Σm.
The linear action of G on the product is determined by
Tx(Sm+n) = Rm ⊕ V n
at x ∈ Σm ⊂ Sm+n, as follows. Consider any decomposition
V n ∼= V n11 ⊕ · · · ⊕ V nkk .
For i = 1, . . . , k , let Sni = S(Vi ⊕ R), where G acts trivially on R.
Then G acts linearly on Sni with exactly two fixed points.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 57: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/57.jpg)
Absorbing group actions from spheres
To prove Theorem A, consider the equivariant connected sum
(Mm × Sn1 × · · · × Snk ) # Sm+n # Sm+n # · · ·
for n = n1 + · · ·+ nk , where G acts trivially on Xm and linearlyon Sni for i = 1, . . . , k . Moreover, G acts smoothly on Sm+n insuch a way that F (G , Sm+n) is homeomorphic to Σm.
The linear action of G on the product is determined by
Tx(Sm+n) = Rm ⊕ V n
at x ∈ Σm ⊂ Sm+n, as follows. Consider any decomposition
V n ∼= V n11 ⊕ · · · ⊕ V nkk .
For i = 1, . . . , k , let Sni = S(Vi ⊕ R), where G acts trivially on R.Then G acts linearly on Sni with exactly two fixed points.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 58: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/58.jpg)
Absorbing group actions from spheres
To prove Theorem B, consider the equivariant connected sum
(CP2 × CPn1 × · · · × CPnk ) # S2n+4 # S2n+4 # · · ·
for n = n1 + · · ·+ nk , where G acts trivially on CP2 and linearlyon CPni for i = 1, . . . , k. Moreover, G acts smoothly on S2n+4
in such a way that F (G , S2n+4) is diffeomorphic to Σ4.
The linear action of G on the product is determined by
Tx(S2n+4) = V 2n ⊕ R4
at x ∈ Σ4 ⊂ S2n+4, where V 2n is the realification of a complexG -module W n. Let
W n ∼= W n11 ⊕ · · · ⊕W nk
k
be the decomposition of W n into irreducible summands W nii .
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 59: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/59.jpg)
Absorbing group actions from spheres
To prove Theorem B, consider the equivariant connected sum
(CP2 × CPn1 × · · · × CPnk ) # S2n+4 # S2n+4 # · · ·
for n = n1 + · · ·+ nk , where G acts trivially on CP2 and linearlyon CPni for i = 1, . . . , k. Moreover, G acts smoothly on S2n+4
in such a way that F (G , S2n+4) is diffeomorphic to Σ4.
The linear action of G on the product is determined by
Tx(S2n+4) = V 2n ⊕ R4
at x ∈ Σ4 ⊂ S2n+4, where V 2n is the realification of a complexG -module W n. Let
W n ∼= W n11 ⊕ · · · ⊕W nk
k
be the decomposition of W n into irreducible summands W nii .
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 60: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/60.jpg)
Absorbing group actions from spheres
To prove Theorem B, consider the equivariant connected sum
(CP2 × CPn1 × · · · × CPnk ) # S2n+4 # S2n+4 # · · ·
for n = n1 + · · ·+ nk , where G acts trivially on CP2 and linearlyon CPni for i = 1, . . . , k. Moreover, G acts smoothly on S2n+4
in such a way that F (G , S2n+4) is diffeomorphic to Σ4.
The linear action of G on the product is determined by
Tx(S2n+4) = V 2n ⊕ R4
at x ∈ Σ4 ⊂ S2n+4, where V 2n is the realification of a complexG -module W n. Let
W n ∼= W n11 ⊕ · · · ⊕W nk
k
be the decomposition of W n into irreducible summands W nii .
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 61: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/61.jpg)
Absorbing group actions from spheres
To prove Theorem B, consider the equivariant connected sum
(CP2 × CPn1 × · · · × CPnk ) # S2n+4 # S2n+4 # · · ·
for n = n1 + · · ·+ nk ,
where G acts trivially on CP2 and linearlyon CPni for i = 1, . . . , k. Moreover, G acts smoothly on S2n+4
in such a way that F (G , S2n+4) is diffeomorphic to Σ4.
The linear action of G on the product is determined by
Tx(S2n+4) = V 2n ⊕ R4
at x ∈ Σ4 ⊂ S2n+4, where V 2n is the realification of a complexG -module W n. Let
W n ∼= W n11 ⊕ · · · ⊕W nk
k
be the decomposition of W n into irreducible summands W nii .
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 62: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/62.jpg)
Absorbing group actions from spheres
To prove Theorem B, consider the equivariant connected sum
(CP2 × CPn1 × · · · × CPnk ) # S2n+4 # S2n+4 # · · ·
for n = n1 + · · ·+ nk , where G acts trivially on CP2
and linearlyon CPni for i = 1, . . . , k. Moreover, G acts smoothly on S2n+4
in such a way that F (G , S2n+4) is diffeomorphic to Σ4.
The linear action of G on the product is determined by
Tx(S2n+4) = V 2n ⊕ R4
at x ∈ Σ4 ⊂ S2n+4, where V 2n is the realification of a complexG -module W n. Let
W n ∼= W n11 ⊕ · · · ⊕W nk
k
be the decomposition of W n into irreducible summands W nii .
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 63: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/63.jpg)
Absorbing group actions from spheres
To prove Theorem B, consider the equivariant connected sum
(CP2 × CPn1 × · · · × CPnk ) # S2n+4 # S2n+4 # · · ·
for n = n1 + · · ·+ nk , where G acts trivially on CP2 and linearlyon CPni for i = 1, . . . , k.
Moreover, G acts smoothly on S2n+4
in such a way that F (G , S2n+4) is diffeomorphic to Σ4.
The linear action of G on the product is determined by
Tx(S2n+4) = V 2n ⊕ R4
at x ∈ Σ4 ⊂ S2n+4, where V 2n is the realification of a complexG -module W n. Let
W n ∼= W n11 ⊕ · · · ⊕W nk
k
be the decomposition of W n into irreducible summands W nii .
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 64: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/64.jpg)
Absorbing group actions from spheres
To prove Theorem B, consider the equivariant connected sum
(CP2 × CPn1 × · · · × CPnk ) # S2n+4 # S2n+4 # · · ·
for n = n1 + · · ·+ nk , where G acts trivially on CP2 and linearlyon CPni for i = 1, . . . , k. Moreover, G acts smoothly on S2n+4
in such a way that F (G , S2n+4) is diffeomorphic to Σ4.
The linear action of G on the product is determined by
Tx(S2n+4) = V 2n ⊕ R4
at x ∈ Σ4 ⊂ S2n+4, where V 2n is the realification of a complexG -module W n. Let
W n ∼= W n11 ⊕ · · · ⊕W nk
k
be the decomposition of W n into irreducible summands W nii .
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 65: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/65.jpg)
Absorbing group actions from spheres
To prove Theorem B, consider the equivariant connected sum
(CP2 × CPn1 × · · · × CPnk ) # S2n+4 # S2n+4 # · · ·
for n = n1 + · · ·+ nk , where G acts trivially on CP2 and linearlyon CPni for i = 1, . . . , k. Moreover, G acts smoothly on S2n+4
in such a way that F (G , S2n+4) is diffeomorphic to Σ4.
The linear action of G on the product is determined by
Tx(S2n+4) = V 2n ⊕ R4
at x ∈ Σ4 ⊂ S2n+4, where V 2n is the realification of a complexG -module W n. Let
W n ∼= W n11 ⊕ · · · ⊕W nk
k
be the decomposition of W n into irreducible summands W nii .
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 66: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/66.jpg)
Absorbing group actions from spheres
To prove Theorem B, consider the equivariant connected sum
(CP2 × CPn1 × · · · × CPnk ) # S2n+4 # S2n+4 # · · ·
for n = n1 + · · ·+ nk , where G acts trivially on CP2 and linearlyon CPni for i = 1, . . . , k. Moreover, G acts smoothly on S2n+4
in such a way that F (G , S2n+4) is diffeomorphic to Σ4.
The linear action of G on the product is determined
by
Tx(S2n+4) = V 2n ⊕ R4
at x ∈ Σ4 ⊂ S2n+4, where V 2n is the realification of a complexG -module W n. Let
W n ∼= W n11 ⊕ · · · ⊕W nk
k
be the decomposition of W n into irreducible summands W nii .
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 67: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/67.jpg)
Absorbing group actions from spheres
To prove Theorem B, consider the equivariant connected sum
(CP2 × CPn1 × · · · × CPnk ) # S2n+4 # S2n+4 # · · ·
for n = n1 + · · ·+ nk , where G acts trivially on CP2 and linearlyon CPni for i = 1, . . . , k. Moreover, G acts smoothly on S2n+4
in such a way that F (G , S2n+4) is diffeomorphic to Σ4.
The linear action of G on the product is determined by
Tx(S2n+4) = V 2n ⊕ R4
at x ∈ Σ4 ⊂ S2n+4,
where V 2n is the realification of a complexG -module W n. Let
W n ∼= W n11 ⊕ · · · ⊕W nk
k
be the decomposition of W n into irreducible summands W nii .
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 68: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/68.jpg)
Absorbing group actions from spheres
To prove Theorem B, consider the equivariant connected sum
(CP2 × CPn1 × · · · × CPnk ) # S2n+4 # S2n+4 # · · ·
for n = n1 + · · ·+ nk , where G acts trivially on CP2 and linearlyon CPni for i = 1, . . . , k. Moreover, G acts smoothly on S2n+4
in such a way that F (G , S2n+4) is diffeomorphic to Σ4.
The linear action of G on the product is determined by
Tx(S2n+4) = V 2n ⊕ R4
at x ∈ Σ4 ⊂ S2n+4, where V 2n is the realification of a complexG -module W n.
Let
W n ∼= W n11 ⊕ · · · ⊕W nk
k
be the decomposition of W n into irreducible summands W nii .
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 69: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/69.jpg)
Absorbing group actions from spheres
To prove Theorem B, consider the equivariant connected sum
(CP2 × CPn1 × · · · × CPnk ) # S2n+4 # S2n+4 # · · ·
for n = n1 + · · ·+ nk , where G acts trivially on CP2 and linearlyon CPni for i = 1, . . . , k. Moreover, G acts smoothly on S2n+4
in such a way that F (G , S2n+4) is diffeomorphic to Σ4.
The linear action of G on the product is determined by
Tx(S2n+4) = V 2n ⊕ R4
at x ∈ Σ4 ⊂ S2n+4, where V 2n is the realification of a complexG -module W n. Let
W n ∼= W n11 ⊕ · · · ⊕W nk
k
be the decomposition of W n into irreducible summands W nii .
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 70: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/70.jpg)
Absorbing group actions from spheres
To prove Theorem B, consider the equivariant connected sum
(CP2 × CPn1 × · · · × CPnk ) # S2n+4 # S2n+4 # · · ·
for n = n1 + · · ·+ nk , where G acts trivially on CP2 and linearlyon CPni for i = 1, . . . , k. Moreover, G acts smoothly on S2n+4
in such a way that F (G , S2n+4) is diffeomorphic to Σ4.
The linear action of G on the product is determined by
Tx(S2n+4) = V 2n ⊕ R4
at x ∈ Σ4 ⊂ S2n+4, where V 2n is the realification of a complexG -module W n. Let
W n ∼= W n11 ⊕ · · · ⊕W nk
k
be the decomposition of W n into irreducible summands W nii .
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 71: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/71.jpg)
Absorbing group actions from spheres
For i = 1, . . . , k , set
S2ni+1 = S(Wi ⊕ C) and CPni = S(Wi ⊕ C)/S1,
where G acts trivially on C.
If dim Wi > 1, G acts on CPni with exactly one fixed point.
If dim Wi = 1, G acts on CP1 = S2 with exactly two fixed points.
At any fixed point x ∈ CPni , the tangent G -module Tx(CPni ) isthe realification of Wi and thus at any fixed point, the tangentG -module to the product is isomorphic to V 2n ⊕ R4.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 72: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/72.jpg)
Absorbing group actions from spheres
For i = 1, . . . , k ,
set
S2ni+1 = S(Wi ⊕ C) and CPni = S(Wi ⊕ C)/S1,
where G acts trivially on C.
If dim Wi > 1, G acts on CPni with exactly one fixed point.
If dim Wi = 1, G acts on CP1 = S2 with exactly two fixed points.
At any fixed point x ∈ CPni , the tangent G -module Tx(CPni ) isthe realification of Wi and thus at any fixed point, the tangentG -module to the product is isomorphic to V 2n ⊕ R4.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 73: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/73.jpg)
Absorbing group actions from spheres
For i = 1, . . . , k , set
S2ni+1 = S(Wi ⊕ C)
and CPni = S(Wi ⊕ C)/S1,
where G acts trivially on C.
If dim Wi > 1, G acts on CPni with exactly one fixed point.
If dim Wi = 1, G acts on CP1 = S2 with exactly two fixed points.
At any fixed point x ∈ CPni , the tangent G -module Tx(CPni ) isthe realification of Wi and thus at any fixed point, the tangentG -module to the product is isomorphic to V 2n ⊕ R4.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 74: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/74.jpg)
Absorbing group actions from spheres
For i = 1, . . . , k , set
S2ni+1 = S(Wi ⊕ C) and CPni = S(Wi ⊕ C)/S1,
where G acts trivially on C.
If dim Wi > 1, G acts on CPni with exactly one fixed point.
If dim Wi = 1, G acts on CP1 = S2 with exactly two fixed points.
At any fixed point x ∈ CPni , the tangent G -module Tx(CPni ) isthe realification of Wi and thus at any fixed point, the tangentG -module to the product is isomorphic to V 2n ⊕ R4.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 75: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/75.jpg)
Absorbing group actions from spheres
For i = 1, . . . , k , set
S2ni+1 = S(Wi ⊕ C) and CPni = S(Wi ⊕ C)/S1,
where G acts trivially on C.
If dim Wi > 1, G acts on CPni with exactly one fixed point.
If dim Wi = 1, G acts on CP1 = S2 with exactly two fixed points.
At any fixed point x ∈ CPni , the tangent G -module Tx(CPni ) isthe realification of Wi and thus at any fixed point, the tangentG -module to the product is isomorphic to V 2n ⊕ R4.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 76: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/76.jpg)
Absorbing group actions from spheres
For i = 1, . . . , k , set
S2ni+1 = S(Wi ⊕ C) and CPni = S(Wi ⊕ C)/S1,
where G acts trivially on C.
If dim Wi > 1, G acts on CPni with exactly one fixed point.
If dim Wi = 1, G acts on CP1 = S2 with exactly two fixed points.
At any fixed point x ∈ CPni , the tangent G -module Tx(CPni ) isthe realification of Wi and thus at any fixed point, the tangentG -module to the product is isomorphic to V 2n ⊕ R4.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 77: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/77.jpg)
Absorbing group actions from spheres
For i = 1, . . . , k , set
S2ni+1 = S(Wi ⊕ C) and CPni = S(Wi ⊕ C)/S1,
where G acts trivially on C.
If dim Wi > 1, G acts on CPni with exactly one fixed point.
If dim Wi = 1, G acts on CP1 = S2 with exactly two fixed points.
At any fixed point x ∈ CPni , the tangent G -module Tx(CPni ) isthe realification of Wi and thus at any fixed point, the tangentG -module to the product is isomorphic to V 2n ⊕ R4.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 78: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/78.jpg)
Absorbing group actions from spheres
For i = 1, . . . , k , set
S2ni+1 = S(Wi ⊕ C) and CPni = S(Wi ⊕ C)/S1,
where G acts trivially on C.
If dim Wi > 1, G acts on CPni with exactly one fixed point.
If dim Wi = 1, G acts on CP1 = S2 with exactly two fixed points.
At any fixed point x ∈ CPni ,
the tangent G -module Tx(CPni ) isthe realification of Wi and thus at any fixed point, the tangentG -module to the product is isomorphic to V 2n ⊕ R4.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 79: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/79.jpg)
Absorbing group actions from spheres
For i = 1, . . . , k , set
S2ni+1 = S(Wi ⊕ C) and CPni = S(Wi ⊕ C)/S1,
where G acts trivially on C.
If dim Wi > 1, G acts on CPni with exactly one fixed point.
If dim Wi = 1, G acts on CP1 = S2 with exactly two fixed points.
At any fixed point x ∈ CPni , the tangent G -module Tx(CPni ) isthe realification of Wi
and thus at any fixed point, the tangentG -module to the product is isomorphic to V 2n ⊕ R4.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 80: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/80.jpg)
Absorbing group actions from spheres
For i = 1, . . . , k , set
S2ni+1 = S(Wi ⊕ C) and CPni = S(Wi ⊕ C)/S1,
where G acts trivially on C.
If dim Wi > 1, G acts on CPni with exactly one fixed point.
If dim Wi = 1, G acts on CP1 = S2 with exactly two fixed points.
At any fixed point x ∈ CPni , the tangent G -module Tx(CPni ) isthe realification of Wi and thus at any fixed point, the tangentG -module to the product is isomorphic to V 2n ⊕ R4.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 81: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/81.jpg)
Equivariant thickening
Topology 28 (1989) 273–289
Theorem (K. Pawałowski)Let G be a compact Lie group. Let F be a compact smoothmanifold. Let X be a finite contractible G -CW complex withXG = F . Let ξ be a G -vector bundle over X such that
ξ|F ∼= τF ⊕ ε⊕ ν
for a product vector bundle ε over F with the trivial action of Gand a G-vector bundle ν over F with dim νG = 0. Then there isa smooth action of G on a disk D such that the fixed point setis diffeomorphic to F and νF⊂D ∼= ν as G -vector bundles.
We may always assume that at a chosen point x ∈ F , the fiber ofν over x is the realification of a complex G -module.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 82: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/82.jpg)
Equivariant thickening
Topology 28 (1989) 273–289
Theorem (K. Pawałowski)Let G be a compact Lie group. Let F be a compact smoothmanifold. Let X be a finite contractible G -CW complex withXG = F . Let ξ be a G -vector bundle over X such that
ξ|F ∼= τF ⊕ ε⊕ ν
for a product vector bundle ε over F with the trivial action of Gand a G-vector bundle ν over F with dim νG = 0. Then there isa smooth action of G on a disk D such that the fixed point setis diffeomorphic to F and νF⊂D ∼= ν as G -vector bundles.
We may always assume that at a chosen point x ∈ F , the fiber ofν over x is the realification of a complex G -module.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 83: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/83.jpg)
Equivariant thickening
Topology 28 (1989) 273–289
Theorem (K. Pawałowski)
Let G be a compact Lie group. Let F be a compact smoothmanifold. Let X be a finite contractible G -CW complex withXG = F . Let ξ be a G -vector bundle over X such that
ξ|F ∼= τF ⊕ ε⊕ ν
for a product vector bundle ε over F with the trivial action of Gand a G-vector bundle ν over F with dim νG = 0. Then there isa smooth action of G on a disk D such that the fixed point setis diffeomorphic to F and νF⊂D ∼= ν as G -vector bundles.
We may always assume that at a chosen point x ∈ F , the fiber ofν over x is the realification of a complex G -module.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 84: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/84.jpg)
Equivariant thickening
Topology 28 (1989) 273–289
Theorem (K. Pawałowski)Let G be a compact Lie group.
Let F be a compact smoothmanifold. Let X be a finite contractible G -CW complex withXG = F . Let ξ be a G -vector bundle over X such that
ξ|F ∼= τF ⊕ ε⊕ ν
for a product vector bundle ε over F with the trivial action of Gand a G-vector bundle ν over F with dim νG = 0. Then there isa smooth action of G on a disk D such that the fixed point setis diffeomorphic to F and νF⊂D ∼= ν as G -vector bundles.
We may always assume that at a chosen point x ∈ F , the fiber ofν over x is the realification of a complex G -module.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 85: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/85.jpg)
Equivariant thickening
Topology 28 (1989) 273–289
Theorem (K. Pawałowski)Let G be a compact Lie group. Let F be a compact smoothmanifold.
Let X be a finite contractible G -CW complex withXG = F . Let ξ be a G -vector bundle over X such that
ξ|F ∼= τF ⊕ ε⊕ ν
for a product vector bundle ε over F with the trivial action of Gand a G-vector bundle ν over F with dim νG = 0. Then there isa smooth action of G on a disk D such that the fixed point setis diffeomorphic to F and νF⊂D ∼= ν as G -vector bundles.
We may always assume that at a chosen point x ∈ F , the fiber ofν over x is the realification of a complex G -module.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 86: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/86.jpg)
Equivariant thickening
Topology 28 (1989) 273–289
Theorem (K. Pawałowski)Let G be a compact Lie group. Let F be a compact smoothmanifold. Let X be a finite contractible G -CW complex withXG = F .
Let ξ be a G -vector bundle over X such that
ξ|F ∼= τF ⊕ ε⊕ ν
for a product vector bundle ε over F with the trivial action of Gand a G-vector bundle ν over F with dim νG = 0. Then there isa smooth action of G on a disk D such that the fixed point setis diffeomorphic to F and νF⊂D ∼= ν as G -vector bundles.
We may always assume that at a chosen point x ∈ F , the fiber ofν over x is the realification of a complex G -module.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 87: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/87.jpg)
Equivariant thickening
Topology 28 (1989) 273–289
Theorem (K. Pawałowski)Let G be a compact Lie group. Let F be a compact smoothmanifold. Let X be a finite contractible G -CW complex withXG = F . Let ξ be a G -vector bundle over X such that
ξ|F ∼= τF ⊕ ε⊕ ν
for a product vector bundle ε over F with the trivial action of Gand a G-vector bundle ν over F with dim νG = 0. Then there isa smooth action of G on a disk D such that the fixed point setis diffeomorphic to F and νF⊂D ∼= ν as G -vector bundles.
We may always assume that at a chosen point x ∈ F , the fiber ofν over x is the realification of a complex G -module.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 88: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/88.jpg)
Equivariant thickening
Topology 28 (1989) 273–289
Theorem (K. Pawałowski)Let G be a compact Lie group. Let F be a compact smoothmanifold. Let X be a finite contractible G -CW complex withXG = F . Let ξ be a G -vector bundle over X such that
ξ|F ∼= τF ⊕ ε⊕ ν
for a product vector bundle ε over F with the trivial action of G
and a G-vector bundle ν over F with dim νG = 0. Then there isa smooth action of G on a disk D such that the fixed point setis diffeomorphic to F and νF⊂D ∼= ν as G -vector bundles.
We may always assume that at a chosen point x ∈ F , the fiber ofν over x is the realification of a complex G -module.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 89: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/89.jpg)
Equivariant thickening
Topology 28 (1989) 273–289
Theorem (K. Pawałowski)Let G be a compact Lie group. Let F be a compact smoothmanifold. Let X be a finite contractible G -CW complex withXG = F . Let ξ be a G -vector bundle over X such that
ξ|F ∼= τF ⊕ ε⊕ ν
for a product vector bundle ε over F with the trivial action of Gand a G-vector bundle ν over F with dim νG = 0.
Then there isa smooth action of G on a disk D such that the fixed point setis diffeomorphic to F and νF⊂D ∼= ν as G -vector bundles.
We may always assume that at a chosen point x ∈ F , the fiber ofν over x is the realification of a complex G -module.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 90: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/90.jpg)
Equivariant thickening
Topology 28 (1989) 273–289
Theorem (K. Pawałowski)Let G be a compact Lie group. Let F be a compact smoothmanifold. Let X be a finite contractible G -CW complex withXG = F . Let ξ be a G -vector bundle over X such that
ξ|F ∼= τF ⊕ ε⊕ ν
for a product vector bundle ε over F with the trivial action of Gand a G-vector bundle ν over F with dim νG = 0. Then there isa smooth action of G on a disk D
such that the fixed point setis diffeomorphic to F and νF⊂D ∼= ν as G -vector bundles.
We may always assume that at a chosen point x ∈ F , the fiber ofν over x is the realification of a complex G -module.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 91: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/91.jpg)
Equivariant thickening
Topology 28 (1989) 273–289
Theorem (K. Pawałowski)Let G be a compact Lie group. Let F be a compact smoothmanifold. Let X be a finite contractible G -CW complex withXG = F . Let ξ be a G -vector bundle over X such that
ξ|F ∼= τF ⊕ ε⊕ ν
for a product vector bundle ε over F with the trivial action of Gand a G-vector bundle ν over F with dim νG = 0. Then there isa smooth action of G on a disk D such that the fixed point setis diffeomorphic to F and νF⊂D ∼= ν as G -vector bundles.
We may always assume that at a chosen point x ∈ F , the fiber ofν over x is the realification of a complex G -module.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 92: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/92.jpg)
Equivariant thickening
Topology 28 (1989) 273–289
Theorem (K. Pawałowski)Let G be a compact Lie group. Let F be a compact smoothmanifold. Let X be a finite contractible G -CW complex withXG = F . Let ξ be a G -vector bundle over X such that
ξ|F ∼= τF ⊕ ε⊕ ν
for a product vector bundle ε over F with the trivial action of Gand a G-vector bundle ν over F with dim νG = 0. Then there isa smooth action of G on a disk D such that the fixed point setis diffeomorphic to F and νF⊂D ∼= ν as G -vector bundles.
We may always assume that at a chosen point x ∈ F ,
the fiber ofν over x is the realification of a complex G -module.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 93: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/93.jpg)
Equivariant thickening
Topology 28 (1989) 273–289
Theorem (K. Pawałowski)Let G be a compact Lie group. Let F be a compact smoothmanifold. Let X be a finite contractible G -CW complex withXG = F . Let ξ be a G -vector bundle over X such that
ξ|F ∼= τF ⊕ ε⊕ ν
for a product vector bundle ε over F with the trivial action of Gand a G-vector bundle ν over F with dim νG = 0. Then there isa smooth action of G on a disk D such that the fixed point setis diffeomorphic to F and νF⊂D ∼= ν as G -vector bundles.
We may always assume that at a chosen point x ∈ F , the fiber ofν over x
is the realification of a complex G -module.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 94: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/94.jpg)
Equivariant thickening
Topology 28 (1989) 273–289
Theorem (K. Pawałowski)Let G be a compact Lie group. Let F be a compact smoothmanifold. Let X be a finite contractible G -CW complex withXG = F . Let ξ be a G -vector bundle over X such that
ξ|F ∼= τF ⊕ ε⊕ ν
for a product vector bundle ε over F with the trivial action of Gand a G-vector bundle ν over F with dim νG = 0. Then there isa smooth action of G on a disk D such that the fixed point setis diffeomorphic to F and νF⊂D ∼= ν as G -vector bundles.
We may always assume that at a chosen point x ∈ F , the fiber ofν over x is the realification of a complex G -module.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 95: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/95.jpg)
Homology disks
By a homology m-disk we mean a compact Z-acyclic smoothmanifold of dimension m 0.
TheoremLet G be a compact Lie group. Let ∆m be a homology m-disk.Then there is a smooth action of G on a disk Dm+n such thatthe fixed point set F (G ,Dm+n) is diffeomorphic to ∆m.
Proof. There exists a finite contractible G -CW complex X suchthat XG = ∆m. In fact, if:
G is connected, set X = G ∗∆m with the joint action of G .
G/G0 is of prime power order, such an X exists by the workof L. Jones (1971).
G/G0 is not of prime power order, such an X exists by thework of B. Oliver (1975).
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 96: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/96.jpg)
Homology disks
By a homology m-disk we mean a compact Z-acyclic smoothmanifold of dimension m 0.
TheoremLet G be a compact Lie group. Let ∆m be a homology m-disk.Then there is a smooth action of G on a disk Dm+n such thatthe fixed point set F (G ,Dm+n) is diffeomorphic to ∆m.
Proof. There exists a finite contractible G -CW complex X suchthat XG = ∆m. In fact, if:
G is connected, set X = G ∗∆m with the joint action of G .
G/G0 is of prime power order, such an X exists by the workof L. Jones (1971).
G/G0 is not of prime power order, such an X exists by thework of B. Oliver (1975).
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 97: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/97.jpg)
Homology disks
By a homology m-disk we mean a compact Z-acyclic smoothmanifold of dimension m 0.
Theorem
Let G be a compact Lie group. Let ∆m be a homology m-disk.Then there is a smooth action of G on a disk Dm+n such thatthe fixed point set F (G ,Dm+n) is diffeomorphic to ∆m.
Proof. There exists a finite contractible G -CW complex X suchthat XG = ∆m. In fact, if:
G is connected, set X = G ∗∆m with the joint action of G .
G/G0 is of prime power order, such an X exists by the workof L. Jones (1971).
G/G0 is not of prime power order, such an X exists by thework of B. Oliver (1975).
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 98: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/98.jpg)
Homology disks
By a homology m-disk we mean a compact Z-acyclic smoothmanifold of dimension m 0.
TheoremLet G be a compact Lie group.
Let ∆m be a homology m-disk.Then there is a smooth action of G on a disk Dm+n such thatthe fixed point set F (G ,Dm+n) is diffeomorphic to ∆m.
Proof. There exists a finite contractible G -CW complex X suchthat XG = ∆m. In fact, if:
G is connected, set X = G ∗∆m with the joint action of G .
G/G0 is of prime power order, such an X exists by the workof L. Jones (1971).
G/G0 is not of prime power order, such an X exists by thework of B. Oliver (1975).
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 99: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/99.jpg)
Homology disks
By a homology m-disk we mean a compact Z-acyclic smoothmanifold of dimension m 0.
TheoremLet G be a compact Lie group. Let ∆m be a homology m-disk.
Then there is a smooth action of G on a disk Dm+n such thatthe fixed point set F (G ,Dm+n) is diffeomorphic to ∆m.
Proof. There exists a finite contractible G -CW complex X suchthat XG = ∆m. In fact, if:
G is connected, set X = G ∗∆m with the joint action of G .
G/G0 is of prime power order, such an X exists by the workof L. Jones (1971).
G/G0 is not of prime power order, such an X exists by thework of B. Oliver (1975).
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 100: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/100.jpg)
Homology disks
By a homology m-disk we mean a compact Z-acyclic smoothmanifold of dimension m 0.
TheoremLet G be a compact Lie group. Let ∆m be a homology m-disk.Then there is a smooth action of G on a disk Dm+n
such thatthe fixed point set F (G ,Dm+n) is diffeomorphic to ∆m.
Proof. There exists a finite contractible G -CW complex X suchthat XG = ∆m. In fact, if:
G is connected, set X = G ∗∆m with the joint action of G .
G/G0 is of prime power order, such an X exists by the workof L. Jones (1971).
G/G0 is not of prime power order, such an X exists by thework of B. Oliver (1975).
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 101: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/101.jpg)
Homology disks
By a homology m-disk we mean a compact Z-acyclic smoothmanifold of dimension m 0.
TheoremLet G be a compact Lie group. Let ∆m be a homology m-disk.Then there is a smooth action of G on a disk Dm+n such thatthe fixed point set F (G ,Dm+n) is diffeomorphic to ∆m.
Proof. There exists a finite contractible G -CW complex X suchthat XG = ∆m. In fact, if:
G is connected, set X = G ∗∆m with the joint action of G .
G/G0 is of prime power order, such an X exists by the workof L. Jones (1971).
G/G0 is not of prime power order, such an X exists by thework of B. Oliver (1975).
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 102: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/102.jpg)
Homology disks
By a homology m-disk we mean a compact Z-acyclic smoothmanifold of dimension m 0.
TheoremLet G be a compact Lie group. Let ∆m be a homology m-disk.Then there is a smooth action of G on a disk Dm+n such thatthe fixed point set F (G ,Dm+n) is diffeomorphic to ∆m.
Proof.
There exists a finite contractible G -CW complex X suchthat XG = ∆m. In fact, if:
G is connected, set X = G ∗∆m with the joint action of G .
G/G0 is of prime power order, such an X exists by the workof L. Jones (1971).
G/G0 is not of prime power order, such an X exists by thework of B. Oliver (1975).
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 103: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/103.jpg)
Homology disks
By a homology m-disk we mean a compact Z-acyclic smoothmanifold of dimension m 0.
TheoremLet G be a compact Lie group. Let ∆m be a homology m-disk.Then there is a smooth action of G on a disk Dm+n such thatthe fixed point set F (G ,Dm+n) is diffeomorphic to ∆m.
Proof. There exists a finite contractible G -CW complex X suchthat XG = ∆m.
In fact, if:
G is connected, set X = G ∗∆m with the joint action of G .
G/G0 is of prime power order, such an X exists by the workof L. Jones (1971).
G/G0 is not of prime power order, such an X exists by thework of B. Oliver (1975).
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 104: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/104.jpg)
Homology disks
By a homology m-disk we mean a compact Z-acyclic smoothmanifold of dimension m 0.
TheoremLet G be a compact Lie group. Let ∆m be a homology m-disk.Then there is a smooth action of G on a disk Dm+n such thatthe fixed point set F (G ,Dm+n) is diffeomorphic to ∆m.
Proof. There exists a finite contractible G -CW complex X suchthat XG = ∆m. In fact, if:
G is connected, set X = G ∗∆m with the joint action of G .
G/G0 is of prime power order,
such an X exists by the workof L. Jones (1971).
G/G0 is not of prime power order, such an X exists by thework of B. Oliver (1975).
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 105: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/105.jpg)
Homology disks
By a homology m-disk we mean a compact Z-acyclic smoothmanifold of dimension m 0.
TheoremLet G be a compact Lie group. Let ∆m be a homology m-disk.Then there is a smooth action of G on a disk Dm+n such thatthe fixed point set F (G ,Dm+n) is diffeomorphic to ∆m.
Proof. There exists a finite contractible G -CW complex X suchthat XG = ∆m. In fact, if:
G is connected, set X = G ∗∆m with the joint action of G .
G/G0 is of prime power order, such an X exists by the workof L. Jones (1971).
G/G0 is not of prime power order,
such an X exists by thework of B. Oliver (1975).
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 106: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/106.jpg)
Homology disks
By a homology m-disk we mean a compact Z-acyclic smoothmanifold of dimension m 0.
TheoremLet G be a compact Lie group. Let ∆m be a homology m-disk.Then there is a smooth action of G on a disk Dm+n such thatthe fixed point set F (G ,Dm+n) is diffeomorphic to ∆m.
Proof. There exists a finite contractible G -CW complex X suchthat XG = ∆m. In fact, if:
G is connected, set X = G ∗∆m with the joint action of G .
G/G0 is of prime power order, such an X exists by the workof L. Jones (1971).
G/G0 is not of prime power order, such an X exists by thework of B. Oliver (1975).
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 107: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/107.jpg)
Homology disks
As ∆m is Z-acyclic, ∆m is stably parallelizable.
By making use of the product bundle X × (Rm ⊕ V n) over X foran appropriate n-dimensional real G -module V n, one can thickenup X to the standard disk Dm+n with a smooth action of G suchthat F (G ,Dm+n) is diffeomorphic to ∆m. �
We may always assume that n is even and at a chosen pointx ∈ ∆m, the normal G -module is the realification of a complexG -module.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 108: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/108.jpg)
Homology disks
As ∆m is Z-acyclic,
∆m is stably parallelizable.
By making use of the product bundle X × (Rm ⊕ V n) over X foran appropriate n-dimensional real G -module V n, one can thickenup X to the standard disk Dm+n with a smooth action of G suchthat F (G ,Dm+n) is diffeomorphic to ∆m. �
We may always assume that n is even and at a chosen pointx ∈ ∆m, the normal G -module is the realification of a complexG -module.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 109: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/109.jpg)
Homology disks
As ∆m is Z-acyclic, ∆m is stably parallelizable.
By making use of the product bundle X × (Rm ⊕ V n) over X foran appropriate n-dimensional real G -module V n, one can thickenup X to the standard disk Dm+n with a smooth action of G suchthat F (G ,Dm+n) is diffeomorphic to ∆m. �
We may always assume that n is even and at a chosen pointx ∈ ∆m, the normal G -module is the realification of a complexG -module.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 110: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/110.jpg)
Homology disks
As ∆m is Z-acyclic, ∆m is stably parallelizable.
By making use of the product bundle X × (Rm ⊕ V n) over X
foran appropriate n-dimensional real G -module V n, one can thickenup X to the standard disk Dm+n with a smooth action of G suchthat F (G ,Dm+n) is diffeomorphic to ∆m. �
We may always assume that n is even and at a chosen pointx ∈ ∆m, the normal G -module is the realification of a complexG -module.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 111: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/111.jpg)
Homology disks
As ∆m is Z-acyclic, ∆m is stably parallelizable.
By making use of the product bundle X × (Rm ⊕ V n) over X foran appropriate n-dimensional real G -module V n,
one can thickenup X to the standard disk Dm+n with a smooth action of G suchthat F (G ,Dm+n) is diffeomorphic to ∆m. �
We may always assume that n is even and at a chosen pointx ∈ ∆m, the normal G -module is the realification of a complexG -module.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 112: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/112.jpg)
Homology disks
As ∆m is Z-acyclic, ∆m is stably parallelizable.
By making use of the product bundle X × (Rm ⊕ V n) over X foran appropriate n-dimensional real G -module V n, one can thickenup X to the standard disk Dm+n with a smooth action of G
suchthat F (G ,Dm+n) is diffeomorphic to ∆m. �
We may always assume that n is even and at a chosen pointx ∈ ∆m, the normal G -module is the realification of a complexG -module.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 113: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/113.jpg)
Homology disks
As ∆m is Z-acyclic, ∆m is stably parallelizable.
By making use of the product bundle X × (Rm ⊕ V n) over X foran appropriate n-dimensional real G -module V n, one can thickenup X to the standard disk Dm+n with a smooth action of G suchthat F (G ,Dm+n) is diffeomorphic to ∆m. �
We may always assume that n is even and at a chosen pointx ∈ ∆m, the normal G -module is the realification of a complexG -module.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 114: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/114.jpg)
Homology disks
As ∆m is Z-acyclic, ∆m is stably parallelizable.
By making use of the product bundle X × (Rm ⊕ V n) over X foran appropriate n-dimensional real G -module V n, one can thickenup X to the standard disk Dm+n with a smooth action of G suchthat F (G ,Dm+n) is diffeomorphic to ∆m. �
We may always assume that n is even and at a chosen pointx ∈ ∆m,
the normal G -module is the realification of a complexG -module.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 115: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/115.jpg)
Homology disks
As ∆m is Z-acyclic, ∆m is stably parallelizable.
By making use of the product bundle X × (Rm ⊕ V n) over X foran appropriate n-dimensional real G -module V n, one can thickenup X to the standard disk Dm+n with a smooth action of G suchthat F (G ,Dm+n) is diffeomorphic to ∆m. �
We may always assume that n is even and at a chosen pointx ∈ ∆m, the normal G -module is the realification of a complexG -module.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 116: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/116.jpg)
Homology spheres
By a homology m-sphere we mean a closed smooth manifold Σm
of dimension m 0, with the homology H∗(Σm;Z) = H∗(Sm;Z).
Trans. Amer. Math. Soc. 144 (1969) 67–72
Theorem (M. Kervaire)
Any homology 4-sphere bounds a contractible 5-disk.
For any homology m-sphere with m 5, there is a uniquehomotopy m-sphere such that the connected sum of thetwo spheres bounds a homotopy (m + 1)-disk.
Math. Research Letters 7 (2000) 757–766
Theorem (Y. Fukumoto, M. Furuta)
There exist homology 3-spheres which bound homology4-disks, and some of the homology 4-disks are contractible.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 117: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/117.jpg)
Homology spheres
By a homology m-sphere we mean a closed smooth manifold Σm
of dimension m 0, with the homology H∗(Σm;Z) = H∗(Sm;Z).
Trans. Amer. Math. Soc. 144 (1969) 67–72
Theorem (M. Kervaire)
Any homology 4-sphere bounds a contractible 5-disk.
For any homology m-sphere with m 5, there is a uniquehomotopy m-sphere such that the connected sum of thetwo spheres bounds a homotopy (m + 1)-disk.
Math. Research Letters 7 (2000) 757–766
Theorem (Y. Fukumoto, M. Furuta)
There exist homology 3-spheres which bound homology4-disks, and some of the homology 4-disks are contractible.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 118: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/118.jpg)
Homology spheres
By a homology m-sphere we mean a closed smooth manifold Σm
of dimension m 0, with the homology H∗(Σm;Z) = H∗(Sm;Z).
Trans. Amer. Math. Soc. 144 (1969) 67–72
Theorem (M. Kervaire)
Any homology 4-sphere bounds a contractible 5-disk.
For any homology m-sphere with m 5, there is a uniquehomotopy m-sphere such that the connected sum of thetwo spheres bounds a homotopy (m + 1)-disk.
Math. Research Letters 7 (2000) 757–766
Theorem (Y. Fukumoto, M. Furuta)
There exist homology 3-spheres which bound homology4-disks, and some of the homology 4-disks are contractible.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 119: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/119.jpg)
Homology spheres
By a homology m-sphere we mean a closed smooth manifold Σm
of dimension m 0, with the homology H∗(Σm;Z) = H∗(Sm;Z).
Trans. Amer. Math. Soc. 144 (1969) 67–72
Theorem (M. Kervaire)
Any homology 4-sphere bounds a contractible 5-disk.
For any homology m-sphere with m 5, there is a uniquehomotopy m-sphere such that the connected sum of thetwo spheres bounds a homotopy (m + 1)-disk.
Math. Research Letters 7 (2000) 757–766
Theorem (Y. Fukumoto, M. Furuta)
There exist homology 3-spheres which bound homology4-disks, and some of the homology 4-disks are contractible.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 120: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/120.jpg)
Homology spheres
By a homology m-sphere we mean a closed smooth manifold Σm
of dimension m 0, with the homology H∗(Σm;Z) = H∗(Sm;Z).
Trans. Amer. Math. Soc. 144 (1969) 67–72
Theorem (M. Kervaire)
Any homology 4-sphere bounds a contractible 5-disk.
For any homology m-sphere with m 5, there is a uniquehomotopy m-sphere such that the connected sum of thetwo spheres bounds a homotopy (m + 1)-disk.
Math. Research Letters 7 (2000) 757–766
Theorem (Y. Fukumoto, M. Furuta)
There exist homology 3-spheres which bound homology4-disks, and some of the homology 4-disks are contractible.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 121: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/121.jpg)
Homology spheres
By a homology m-sphere we mean a closed smooth manifold Σm
of dimension m 0, with the homology H∗(Σm;Z) = H∗(Sm;Z).
Trans. Amer. Math. Soc. 144 (1969) 67–72
Theorem (M. Kervaire)
Any homology 4-sphere bounds a contractible 5-disk.
For any homology m-sphere with m 5, there is a uniquehomotopy m-sphere
such that the connected sum of thetwo spheres bounds a homotopy (m + 1)-disk.
Math. Research Letters 7 (2000) 757–766
Theorem (Y. Fukumoto, M. Furuta)
There exist homology 3-spheres which bound homology4-disks, and some of the homology 4-disks are contractible.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 122: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/122.jpg)
Homology spheres
By a homology m-sphere we mean a closed smooth manifold Σm
of dimension m 0, with the homology H∗(Σm;Z) = H∗(Sm;Z).
Trans. Amer. Math. Soc. 144 (1969) 67–72
Theorem (M. Kervaire)
Any homology 4-sphere bounds a contractible 5-disk.
For any homology m-sphere with m 5, there is a uniquehomotopy m-sphere such that the connected sum of thetwo spheres bounds a homotopy (m + 1)-disk.
Math. Research Letters 7 (2000) 757–766
Theorem (Y. Fukumoto, M. Furuta)
There exist homology 3-spheres which bound homology4-disks, and some of the homology 4-disks are contractible.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 123: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/123.jpg)
Homology spheres
By a homology m-sphere we mean a closed smooth manifold Σm
of dimension m 0, with the homology H∗(Σm;Z) = H∗(Sm;Z).
Trans. Amer. Math. Soc. 144 (1969) 67–72
Theorem (M. Kervaire)
Any homology 4-sphere bounds a contractible 5-disk.
For any homology m-sphere with m 5, there is a uniquehomotopy m-sphere such that the connected sum of thetwo spheres bounds a homotopy (m + 1)-disk.
Math. Research Letters 7 (2000) 757–766
Theorem (Y. Fukumoto, M. Furuta)
There exist homology 3-spheres which bound homology4-disks, and some of the homology 4-disks are contractible.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 124: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/124.jpg)
Homology spheres
By a homology m-sphere we mean a closed smooth manifold Σm
of dimension m 0, with the homology H∗(Σm;Z) = H∗(Sm;Z).
Trans. Amer. Math. Soc. 144 (1969) 67–72
Theorem (M. Kervaire)
Any homology 4-sphere bounds a contractible 5-disk.
For any homology m-sphere with m 5, there is a uniquehomotopy m-sphere such that the connected sum of thetwo spheres bounds a homotopy (m + 1)-disk.
Math. Research Letters 7 (2000) 757–766
Theorem (Y. Fukumoto, M. Furuta)
There exist homology 3-spheres which bound homology4-disks, and some of the homology 4-disks are contractible.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 125: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/125.jpg)
Homology spheres
By a homology m-sphere we mean a closed smooth manifold Σm
of dimension m 0, with the homology H∗(Σm;Z) = H∗(Sm;Z).
Trans. Amer. Math. Soc. 144 (1969) 67–72
Theorem (M. Kervaire)
Any homology 4-sphere bounds a contractible 5-disk.
For any homology m-sphere with m 5, there is a uniquehomotopy m-sphere such that the connected sum of thetwo spheres bounds a homotopy (m + 1)-disk.
Math. Research Letters 7 (2000) 757–766
Theorem (Y. Fukumoto, M. Furuta)
There exist homology 3-spheres which bound homology4-disks,
and some of the homology 4-disks are contractible.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 126: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/126.jpg)
Homology spheres
By a homology m-sphere we mean a closed smooth manifold Σm
of dimension m 0, with the homology H∗(Σm;Z) = H∗(Sm;Z).
Trans. Amer. Math. Soc. 144 (1969) 67–72
Theorem (M. Kervaire)
Any homology 4-sphere bounds a contractible 5-disk.
For any homology m-sphere with m 5, there is a uniquehomotopy m-sphere such that the connected sum of thetwo spheres bounds a homotopy (m + 1)-disk.
Math. Research Letters 7 (2000) 757–766
Theorem (Y. Fukumoto, M. Furuta)
There exist homology 3-spheres which bound homology4-disks, and some of the homology 4-disks are contractible.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 127: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/127.jpg)
Homology spheres
Let G be a compact Lie group.
Corollary
There are families of homology 3-spheres such that for eachof the homology 3-sphere Σ3, there exists a smooth actionof G on a sphere Sn+3 such that F is diffeomorphic to Σ3.
For any homology 4-spheres Σ4, there exists a smooth actionof G on a sphere Sn+4 such that F is diffeomorphic to Σ4.
For any homology m-spheres Σm with m 5, there existsa smooth action of G on a sphere Sm+n such that F ishomeomorphic to Σm.
We may always assume that n is even and at a chosen pointx ∈ Σm, the normal G -module is the realification of a complexG -module.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 128: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/128.jpg)
Homology spheres
Let G be a compact Lie group.
Corollary
There are families of homology 3-spheres such that for eachof the homology 3-sphere Σ3, there exists a smooth actionof G on a sphere Sn+3 such that F is diffeomorphic to Σ3.
For any homology 4-spheres Σ4, there exists a smooth actionof G on a sphere Sn+4 such that F is diffeomorphic to Σ4.
For any homology m-spheres Σm with m 5, there existsa smooth action of G on a sphere Sm+n such that F ishomeomorphic to Σm.
We may always assume that n is even and at a chosen pointx ∈ Σm, the normal G -module is the realification of a complexG -module.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 129: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/129.jpg)
Homology spheres
Let G be a compact Lie group.
Corollary
There are families of homology 3-spheres such that for eachof the homology 3-sphere Σ3, there exists a smooth actionof G on a sphere Sn+3 such that F is diffeomorphic to Σ3.
For any homology 4-spheres Σ4, there exists a smooth actionof G on a sphere Sn+4 such that F is diffeomorphic to Σ4.
For any homology m-spheres Σm with m 5, there existsa smooth action of G on a sphere Sm+n such that F ishomeomorphic to Σm.
We may always assume that n is even and at a chosen pointx ∈ Σm, the normal G -module is the realification of a complexG -module.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 130: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/130.jpg)
Homology spheres
Let G be a compact Lie group.
Corollary
There are families of homology 3-spheres such that for eachof the homology 3-sphere Σ3, there exists a smooth actionof G on a sphere Sn+3 such that F is diffeomorphic to Σ3.
For any homology 4-spheres Σ4, there exists a smooth actionof G on a sphere Sn+4 such that F is diffeomorphic to Σ4.
For any homology m-spheres Σm with m 5, there existsa smooth action of G on a sphere Sm+n such that F ishomeomorphic to Σm.
We may always assume that n is even and at a chosen pointx ∈ Σm, the normal G -module is the realification of a complexG -module.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 131: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/131.jpg)
Homology spheres
Let G be a compact Lie group.
Corollary
There are families of homology 3-spheres such that for eachof the homology 3-sphere Σ3,
there exists a smooth actionof G on a sphere Sn+3 such that F is diffeomorphic to Σ3.
For any homology 4-spheres Σ4, there exists a smooth actionof G on a sphere Sn+4 such that F is diffeomorphic to Σ4.
For any homology m-spheres Σm with m 5, there existsa smooth action of G on a sphere Sm+n such that F ishomeomorphic to Σm.
We may always assume that n is even and at a chosen pointx ∈ Σm, the normal G -module is the realification of a complexG -module.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 132: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/132.jpg)
Homology spheres
Let G be a compact Lie group.
Corollary
There are families of homology 3-spheres such that for eachof the homology 3-sphere Σ3, there exists a smooth actionof G on a sphere Sn+3 such that F is diffeomorphic to Σ3.
For any homology 4-spheres Σ4, there exists a smooth actionof G on a sphere Sn+4 such that F is diffeomorphic to Σ4.
For any homology m-spheres Σm with m 5, there existsa smooth action of G on a sphere Sm+n such that F ishomeomorphic to Σm.
We may always assume that n is even and at a chosen pointx ∈ Σm, the normal G -module is the realification of a complexG -module.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 133: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/133.jpg)
Homology spheres
Let G be a compact Lie group.
Corollary
There are families of homology 3-spheres such that for eachof the homology 3-sphere Σ3, there exists a smooth actionof G on a sphere Sn+3 such that F is diffeomorphic to Σ3.
For any homology 4-spheres Σ4,
there exists a smooth actionof G on a sphere Sn+4 such that F is diffeomorphic to Σ4.
For any homology m-spheres Σm with m 5, there existsa smooth action of G on a sphere Sm+n such that F ishomeomorphic to Σm.
We may always assume that n is even and at a chosen pointx ∈ Σm, the normal G -module is the realification of a complexG -module.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 134: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/134.jpg)
Homology spheres
Let G be a compact Lie group.
Corollary
There are families of homology 3-spheres such that for eachof the homology 3-sphere Σ3, there exists a smooth actionof G on a sphere Sn+3 such that F is diffeomorphic to Σ3.
For any homology 4-spheres Σ4, there exists a smooth actionof G on a sphere Sn+4 such that F is diffeomorphic to Σ4.
For any homology m-spheres Σm with m 5, there existsa smooth action of G on a sphere Sm+n such that F ishomeomorphic to Σm.
We may always assume that n is even and at a chosen pointx ∈ Σm, the normal G -module is the realification of a complexG -module.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 135: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/135.jpg)
Homology spheres
Let G be a compact Lie group.
Corollary
There are families of homology 3-spheres such that for eachof the homology 3-sphere Σ3, there exists a smooth actionof G on a sphere Sn+3 such that F is diffeomorphic to Σ3.
For any homology 4-spheres Σ4, there exists a smooth actionof G on a sphere Sn+4 such that F is diffeomorphic to Σ4.
For any homology m-spheres Σm with m 5,
there existsa smooth action of G on a sphere Sm+n such that F ishomeomorphic to Σm.
We may always assume that n is even and at a chosen pointx ∈ Σm, the normal G -module is the realification of a complexG -module.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 136: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/136.jpg)
Homology spheres
Let G be a compact Lie group.
Corollary
There are families of homology 3-spheres such that for eachof the homology 3-sphere Σ3, there exists a smooth actionof G on a sphere Sn+3 such that F is diffeomorphic to Σ3.
For any homology 4-spheres Σ4, there exists a smooth actionof G on a sphere Sn+4 such that F is diffeomorphic to Σ4.
For any homology m-spheres Σm with m 5, there existsa smooth action of G on a sphere Sm+n such that F ishomeomorphic to Σm.
We may always assume that n is even and at a chosen pointx ∈ Σm, the normal G -module is the realification of a complexG -module.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 137: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/137.jpg)
Homology spheres
Let G be a compact Lie group.
Corollary
There are families of homology 3-spheres such that for eachof the homology 3-sphere Σ3, there exists a smooth actionof G on a sphere Sn+3 such that F is diffeomorphic to Σ3.
For any homology 4-spheres Σ4, there exists a smooth actionof G on a sphere Sn+4 such that F is diffeomorphic to Σ4.
For any homology m-spheres Σm with m 5, there existsa smooth action of G on a sphere Sm+n such that F ishomeomorphic to Σm.
We may always assume that n is even and at a chosen pointx ∈ Σm,
the normal G -module is the realification of a complexG -module.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 138: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/138.jpg)
Homology spheres
Let G be a compact Lie group.
Corollary
There are families of homology 3-spheres such that for eachof the homology 3-sphere Σ3, there exists a smooth actionof G on a sphere Sn+3 such that F is diffeomorphic to Σ3.
For any homology 4-spheres Σ4, there exists a smooth actionof G on a sphere Sn+4 such that F is diffeomorphic to Σ4.
For any homology m-spheres Σm with m 5, there existsa smooth action of G on a sphere Sm+n such that F ishomeomorphic to Σm.
We may always assume that n is even and at a chosen pointx ∈ Σm, the normal G -module is the realification of a complexG -module.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 139: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/139.jpg)
Non-symplectic connected sums
For a closed 4-manifold X , let b+2 (X ) be the number of positive
entries in a diagonalization of the intersection form of X over Q
H2(X ,Q)× H2(X ,Q)→ Q
(a, b) 7→ 〈a ∪ b, [X ]〉.
Math. Research Letters 1 (1994) 809–822
Theorem (M. Taubes)Let X and Y be two closed oriented smooth 4-manifolds suchthat b+
2 (X ) > 0 and b+2 (Y ) > 0. Then the connected sum X#Y
is not a symplectic manifold.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 140: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/140.jpg)
Non-symplectic connected sums
For a closed 4-manifold X ,
let b+2 (X ) be the number of positive
entries in a diagonalization of the intersection form of X over Q
H2(X ,Q)× H2(X ,Q)→ Q
(a, b) 7→ 〈a ∪ b, [X ]〉.
Math. Research Letters 1 (1994) 809–822
Theorem (M. Taubes)Let X and Y be two closed oriented smooth 4-manifolds suchthat b+
2 (X ) > 0 and b+2 (Y ) > 0. Then the connected sum X#Y
is not a symplectic manifold.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 141: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/141.jpg)
Non-symplectic connected sums
For a closed 4-manifold X , let b+2 (X ) be the number of positive
entries in a diagonalization of the intersection form of X over Q
H2(X ,Q)× H2(X ,Q)→ Q
(a, b) 7→ 〈a ∪ b, [X ]〉.
Math. Research Letters 1 (1994) 809–822
Theorem (M. Taubes)Let X and Y be two closed oriented smooth 4-manifolds suchthat b+
2 (X ) > 0 and b+2 (Y ) > 0. Then the connected sum X#Y
is not a symplectic manifold.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 142: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/142.jpg)
Non-symplectic connected sums
For a closed 4-manifold X , let b+2 (X ) be the number of positive
entries in a diagonalization of the intersection form of X over Q
H2(X ,Q)× H2(X ,Q)→ Q
(a, b) 7→ 〈a ∪ b, [X ]〉.
Math. Research Letters 1 (1994) 809–822
Theorem (M. Taubes)Let X and Y be two closed oriented smooth 4-manifolds suchthat b+
2 (X ) > 0 and b+2 (Y ) > 0. Then the connected sum X#Y
is not a symplectic manifold.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 143: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/143.jpg)
Non-symplectic connected sums
For a closed 4-manifold X , let b+2 (X ) be the number of positive
entries in a diagonalization of the intersection form of X over Q
H2(X ,Q)× H2(X ,Q)→ Q
(a, b) 7→ 〈a ∪ b, [X ]〉.
Math. Research Letters 1 (1994) 809–822
Theorem (M. Taubes)Let X and Y be two closed oriented smooth 4-manifolds suchthat b+
2 (X ) > 0 and b+2 (Y ) > 0. Then the connected sum X#Y
is not a symplectic manifold.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 144: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/144.jpg)
Non-symplectic connected sums
For a closed 4-manifold X , let b+2 (X ) be the number of positive
entries in a diagonalization of the intersection form of X over Q
H2(X ,Q)× H2(X ,Q)→ Q
(a, b) 7→ 〈a ∪ b, [X ]〉.
Math. Research Letters 1 (1994) 809–822
Theorem (M. Taubes)
Let X and Y be two closed oriented smooth 4-manifolds suchthat b+
2 (X ) > 0 and b+2 (Y ) > 0. Then the connected sum X#Y
is not a symplectic manifold.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 145: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/145.jpg)
Non-symplectic connected sums
For a closed 4-manifold X , let b+2 (X ) be the number of positive
entries in a diagonalization of the intersection form of X over Q
H2(X ,Q)× H2(X ,Q)→ Q
(a, b) 7→ 〈a ∪ b, [X ]〉.
Math. Research Letters 1 (1994) 809–822
Theorem (M. Taubes)Let X and Y be two closed oriented smooth 4-manifolds
suchthat b+
2 (X ) > 0 and b+2 (Y ) > 0. Then the connected sum X#Y
is not a symplectic manifold.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 146: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/146.jpg)
Non-symplectic connected sums
For a closed 4-manifold X , let b+2 (X ) be the number of positive
entries in a diagonalization of the intersection form of X over Q
H2(X ,Q)× H2(X ,Q)→ Q
(a, b) 7→ 〈a ∪ b, [X ]〉.
Math. Research Letters 1 (1994) 809–822
Theorem (M. Taubes)Let X and Y be two closed oriented smooth 4-manifolds suchthat b+
2 (X ) > 0 and b+2 (Y ) > 0.
Then the connected sum X#Yis not a symplectic manifold.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 147: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/147.jpg)
Non-symplectic connected sums
For a closed 4-manifold X , let b+2 (X ) be the number of positive
entries in a diagonalization of the intersection form of X over Q
H2(X ,Q)× H2(X ,Q)→ Q
(a, b) 7→ 〈a ∪ b, [X ]〉.
Math. Research Letters 1 (1994) 809–822
Theorem (M. Taubes)Let X and Y be two closed oriented smooth 4-manifolds suchthat b+
2 (X ) > 0 and b+2 (Y ) > 0. Then the connected sum X#Y
is not a symplectic manifold.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 148: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/148.jpg)
Non-symplectic connected sums
To appear in J. Sympl. Geom.
Proposition (M. Kaluba, W. Politarczyk)Let X and M be two closed oriented smooth 4-manifolds suchthat b+
2 (X ) > 0 and π1(M) has a subgroup of finite index k > 1.Then the connected sum X#M is not a symplectic manifold.
As π1(M) has a subgroup of finite index k > 1, there existsa k-sheeted covering M̃ → M. Then the k-sheeted coveringE → X#M has the form
E = kX#M̃ = X#((k − 1)X#M̃
).
Set Y = (k − 1)X#M̃. As b+2 (Y ) b+
2 (X ) > 0, it follows bythe result of Taubes (1994) that E is not symplectic and thus,X#M is not symplectic too.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 149: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/149.jpg)
Non-symplectic connected sums
To appear in J. Sympl. Geom.
Proposition (M. Kaluba, W. Politarczyk)Let X and M be two closed oriented smooth 4-manifolds suchthat b+
2 (X ) > 0 and π1(M) has a subgroup of finite index k > 1.Then the connected sum X#M is not a symplectic manifold.
As π1(M) has a subgroup of finite index k > 1, there existsa k-sheeted covering M̃ → M. Then the k-sheeted coveringE → X#M has the form
E = kX#M̃ = X#((k − 1)X#M̃
).
Set Y = (k − 1)X#M̃. As b+2 (Y ) b+
2 (X ) > 0, it follows bythe result of Taubes (1994) that E is not symplectic and thus,X#M is not symplectic too.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 150: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/150.jpg)
Non-symplectic connected sums
To appear in J. Sympl. Geom.
Proposition (M. Kaluba, W. Politarczyk)
Let X and M be two closed oriented smooth 4-manifolds suchthat b+
2 (X ) > 0 and π1(M) has a subgroup of finite index k > 1.Then the connected sum X#M is not a symplectic manifold.
As π1(M) has a subgroup of finite index k > 1, there existsa k-sheeted covering M̃ → M. Then the k-sheeted coveringE → X#M has the form
E = kX#M̃ = X#((k − 1)X#M̃
).
Set Y = (k − 1)X#M̃. As b+2 (Y ) b+
2 (X ) > 0, it follows bythe result of Taubes (1994) that E is not symplectic and thus,X#M is not symplectic too.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 151: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/151.jpg)
Non-symplectic connected sums
To appear in J. Sympl. Geom.
Proposition (M. Kaluba, W. Politarczyk)Let X and M be two closed oriented smooth 4-manifolds
suchthat b+
2 (X ) > 0 and π1(M) has a subgroup of finite index k > 1.Then the connected sum X#M is not a symplectic manifold.
As π1(M) has a subgroup of finite index k > 1, there existsa k-sheeted covering M̃ → M. Then the k-sheeted coveringE → X#M has the form
E = kX#M̃ = X#((k − 1)X#M̃
).
Set Y = (k − 1)X#M̃. As b+2 (Y ) b+
2 (X ) > 0, it follows bythe result of Taubes (1994) that E is not symplectic and thus,X#M is not symplectic too.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 152: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/152.jpg)
Non-symplectic connected sums
To appear in J. Sympl. Geom.
Proposition (M. Kaluba, W. Politarczyk)Let X and M be two closed oriented smooth 4-manifolds suchthat b+
2 (X ) > 0
and π1(M) has a subgroup of finite index k > 1.Then the connected sum X#M is not a symplectic manifold.
As π1(M) has a subgroup of finite index k > 1, there existsa k-sheeted covering M̃ → M. Then the k-sheeted coveringE → X#M has the form
E = kX#M̃ = X#((k − 1)X#M̃
).
Set Y = (k − 1)X#M̃. As b+2 (Y ) b+
2 (X ) > 0, it follows bythe result of Taubes (1994) that E is not symplectic and thus,X#M is not symplectic too.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 153: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/153.jpg)
Non-symplectic connected sums
To appear in J. Sympl. Geom.
Proposition (M. Kaluba, W. Politarczyk)Let X and M be two closed oriented smooth 4-manifolds suchthat b+
2 (X ) > 0 and π1(M) has a subgroup of finite index k > 1.
Then the connected sum X#M is not a symplectic manifold.
As π1(M) has a subgroup of finite index k > 1, there existsa k-sheeted covering M̃ → M. Then the k-sheeted coveringE → X#M has the form
E = kX#M̃ = X#((k − 1)X#M̃
).
Set Y = (k − 1)X#M̃. As b+2 (Y ) b+
2 (X ) > 0, it follows bythe result of Taubes (1994) that E is not symplectic and thus,X#M is not symplectic too.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 154: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/154.jpg)
Non-symplectic connected sums
To appear in J. Sympl. Geom.
Proposition (M. Kaluba, W. Politarczyk)Let X and M be two closed oriented smooth 4-manifolds suchthat b+
2 (X ) > 0 and π1(M) has a subgroup of finite index k > 1.Then the connected sum X#M is not a symplectic manifold.
As π1(M) has a subgroup of finite index k > 1, there existsa k-sheeted covering M̃ → M. Then the k-sheeted coveringE → X#M has the form
E = kX#M̃ = X#((k − 1)X#M̃
).
Set Y = (k − 1)X#M̃. As b+2 (Y ) b+
2 (X ) > 0, it follows bythe result of Taubes (1994) that E is not symplectic and thus,X#M is not symplectic too.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 155: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/155.jpg)
Non-symplectic connected sums
To appear in J. Sympl. Geom.
Proposition (M. Kaluba, W. Politarczyk)Let X and M be two closed oriented smooth 4-manifolds suchthat b+
2 (X ) > 0 and π1(M) has a subgroup of finite index k > 1.Then the connected sum X#M is not a symplectic manifold.
As π1(M) has a subgroup of finite index k > 1,
there existsa k-sheeted covering M̃ → M. Then the k-sheeted coveringE → X#M has the form
E = kX#M̃ = X#((k − 1)X#M̃
).
Set Y = (k − 1)X#M̃. As b+2 (Y ) b+
2 (X ) > 0, it follows bythe result of Taubes (1994) that E is not symplectic and thus,X#M is not symplectic too.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 156: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/156.jpg)
Non-symplectic connected sums
To appear in J. Sympl. Geom.
Proposition (M. Kaluba, W. Politarczyk)Let X and M be two closed oriented smooth 4-manifolds suchthat b+
2 (X ) > 0 and π1(M) has a subgroup of finite index k > 1.Then the connected sum X#M is not a symplectic manifold.
As π1(M) has a subgroup of finite index k > 1, there existsa k-sheeted covering M̃ → M.
Then the k-sheeted coveringE → X#M has the form
E = kX#M̃ = X#((k − 1)X#M̃
).
Set Y = (k − 1)X#M̃. As b+2 (Y ) b+
2 (X ) > 0, it follows bythe result of Taubes (1994) that E is not symplectic and thus,X#M is not symplectic too.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 157: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/157.jpg)
Non-symplectic connected sums
To appear in J. Sympl. Geom.
Proposition (M. Kaluba, W. Politarczyk)Let X and M be two closed oriented smooth 4-manifolds suchthat b+
2 (X ) > 0 and π1(M) has a subgroup of finite index k > 1.Then the connected sum X#M is not a symplectic manifold.
As π1(M) has a subgroup of finite index k > 1, there existsa k-sheeted covering M̃ → M. Then the k-sheeted coveringE → X#M has the form
E = kX#M̃ = X#((k − 1)X#M̃
).
Set Y = (k − 1)X#M̃. As b+2 (Y ) b+
2 (X ) > 0, it follows bythe result of Taubes (1994) that E is not symplectic and thus,X#M is not symplectic too.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 158: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/158.jpg)
Non-symplectic connected sums
To appear in J. Sympl. Geom.
Proposition (M. Kaluba, W. Politarczyk)Let X and M be two closed oriented smooth 4-manifolds suchthat b+
2 (X ) > 0 and π1(M) has a subgroup of finite index k > 1.Then the connected sum X#M is not a symplectic manifold.
As π1(M) has a subgroup of finite index k > 1, there existsa k-sheeted covering M̃ → M. Then the k-sheeted coveringE → X#M has the form
E = kX#M̃
= X#((k − 1)X#M̃
).
Set Y = (k − 1)X#M̃. As b+2 (Y ) b+
2 (X ) > 0, it follows bythe result of Taubes (1994) that E is not symplectic and thus,X#M is not symplectic too.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 159: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/159.jpg)
Non-symplectic connected sums
To appear in J. Sympl. Geom.
Proposition (M. Kaluba, W. Politarczyk)Let X and M be two closed oriented smooth 4-manifolds suchthat b+
2 (X ) > 0 and π1(M) has a subgroup of finite index k > 1.Then the connected sum X#M is not a symplectic manifold.
As π1(M) has a subgroup of finite index k > 1, there existsa k-sheeted covering M̃ → M. Then the k-sheeted coveringE → X#M has the form
E = kX#M̃ = X#((k − 1)X#M̃
).
Set Y = (k − 1)X#M̃. As b+2 (Y ) b+
2 (X ) > 0, it follows bythe result of Taubes (1994) that E is not symplectic and thus,X#M is not symplectic too.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 160: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/160.jpg)
Non-symplectic connected sums
To appear in J. Sympl. Geom.
Proposition (M. Kaluba, W. Politarczyk)Let X and M be two closed oriented smooth 4-manifolds suchthat b+
2 (X ) > 0 and π1(M) has a subgroup of finite index k > 1.Then the connected sum X#M is not a symplectic manifold.
As π1(M) has a subgroup of finite index k > 1, there existsa k-sheeted covering M̃ → M. Then the k-sheeted coveringE → X#M has the form
E = kX#M̃ = X#((k − 1)X#M̃
).
Set Y = (k − 1)X#M̃.
As b+2 (Y ) b+
2 (X ) > 0, it follows bythe result of Taubes (1994) that E is not symplectic and thus,X#M is not symplectic too.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 161: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/161.jpg)
Non-symplectic connected sums
To appear in J. Sympl. Geom.
Proposition (M. Kaluba, W. Politarczyk)Let X and M be two closed oriented smooth 4-manifolds suchthat b+
2 (X ) > 0 and π1(M) has a subgroup of finite index k > 1.Then the connected sum X#M is not a symplectic manifold.
As π1(M) has a subgroup of finite index k > 1, there existsa k-sheeted covering M̃ → M. Then the k-sheeted coveringE → X#M has the form
E = kX#M̃ = X#((k − 1)X#M̃
).
Set Y = (k − 1)X#M̃. As b+2 (Y ) b+
2 (X ) > 0,
it follows bythe result of Taubes (1994) that E is not symplectic and thus,X#M is not symplectic too.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 162: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/162.jpg)
Non-symplectic connected sums
To appear in J. Sympl. Geom.
Proposition (M. Kaluba, W. Politarczyk)Let X and M be two closed oriented smooth 4-manifolds suchthat b+
2 (X ) > 0 and π1(M) has a subgroup of finite index k > 1.Then the connected sum X#M is not a symplectic manifold.
As π1(M) has a subgroup of finite index k > 1, there existsa k-sheeted covering M̃ → M. Then the k-sheeted coveringE → X#M has the form
E = kX#M̃ = X#((k − 1)X#M̃
).
Set Y = (k − 1)X#M̃. As b+2 (Y ) b+
2 (X ) > 0, it follows bythe result of Taubes (1994)
that E is not symplectic and thus,X#M is not symplectic too.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 163: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/163.jpg)
Non-symplectic connected sums
To appear in J. Sympl. Geom.
Proposition (M. Kaluba, W. Politarczyk)Let X and M be two closed oriented smooth 4-manifolds suchthat b+
2 (X ) > 0 and π1(M) has a subgroup of finite index k > 1.Then the connected sum X#M is not a symplectic manifold.
As π1(M) has a subgroup of finite index k > 1, there existsa k-sheeted covering M̃ → M. Then the k-sheeted coveringE → X#M has the form
E = kX#M̃ = X#((k − 1)X#M̃
).
Set Y = (k − 1)X#M̃. As b+2 (Y ) b+
2 (X ) > 0, it follows bythe result of Taubes (1994) that E is not symplectic
and thus,X#M is not symplectic too.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 164: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/164.jpg)
Non-symplectic connected sums
To appear in J. Sympl. Geom.
Proposition (M. Kaluba, W. Politarczyk)Let X and M be two closed oriented smooth 4-manifolds suchthat b+
2 (X ) > 0 and π1(M) has a subgroup of finite index k > 1.Then the connected sum X#M is not a symplectic manifold.
As π1(M) has a subgroup of finite index k > 1, there existsa k-sheeted covering M̃ → M. Then the k-sheeted coveringE → X#M has the form
E = kX#M̃ = X#((k − 1)X#M̃
).
Set Y = (k − 1)X#M̃. As b+2 (Y ) b+
2 (X ) > 0, it follows bythe result of Taubes (1994) that E is not symplectic and thus,X#M is not symplectic too.
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 165: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/165.jpg)
Non-symplectic connected sums
Osaka J. Math. 28 (1991) 243–253
Lemma (Y. Sato)There exists a homology 4-sphere Σ4 with π1(Σ4) ∼= SL(2, 5).
By the result of Kaluba and Politarczyk (to appear in J. S. Geom.)applied for X = CP2 and M = Σ4, Sato’s homology 4-sphere,the connected sum CP2#Σ4 is not a symplectic manifold. �
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 166: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/166.jpg)
Non-symplectic connected sums
Osaka J. Math. 28 (1991) 243–253
Lemma (Y. Sato)There exists a homology 4-sphere Σ4 with π1(Σ4) ∼= SL(2, 5).
By the result of Kaluba and Politarczyk (to appear in J. S. Geom.)applied for X = CP2 and M = Σ4, Sato’s homology 4-sphere,the connected sum CP2#Σ4 is not a symplectic manifold. �
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 167: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/167.jpg)
Non-symplectic connected sums
Osaka J. Math. 28 (1991) 243–253
Lemma (Y. Sato)
There exists a homology 4-sphere Σ4 with π1(Σ4) ∼= SL(2, 5).
By the result of Kaluba and Politarczyk (to appear in J. S. Geom.)applied for X = CP2 and M = Σ4, Sato’s homology 4-sphere,the connected sum CP2#Σ4 is not a symplectic manifold. �
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 168: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/168.jpg)
Non-symplectic connected sums
Osaka J. Math. 28 (1991) 243–253
Lemma (Y. Sato)There exists a homology 4-sphere Σ4 with π1(Σ4) ∼= SL(2, 5).
By the result of Kaluba and Politarczyk (to appear in J. S. Geom.)applied for X = CP2 and M = Σ4, Sato’s homology 4-sphere,the connected sum CP2#Σ4 is not a symplectic manifold. �
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 169: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/169.jpg)
Non-symplectic connected sums
Osaka J. Math. 28 (1991) 243–253
Lemma (Y. Sato)There exists a homology 4-sphere Σ4 with π1(Σ4) ∼= SL(2, 5).
By the result of Kaluba and Politarczyk (to appear in J. S. Geom.)applied for X = CP2
and M = Σ4, Sato’s homology 4-sphere,the connected sum CP2#Σ4 is not a symplectic manifold. �
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 170: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/170.jpg)
Non-symplectic connected sums
Osaka J. Math. 28 (1991) 243–253
Lemma (Y. Sato)There exists a homology 4-sphere Σ4 with π1(Σ4) ∼= SL(2, 5).
By the result of Kaluba and Politarczyk (to appear in J. S. Geom.)applied for X = CP2 and M = Σ4, Sato’s homology 4-sphere,
the connected sum CP2#Σ4 is not a symplectic manifold. �
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 171: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/171.jpg)
Non-symplectic connected sums
Osaka J. Math. 28 (1991) 243–253
Lemma (Y. Sato)There exists a homology 4-sphere Σ4 with π1(Σ4) ∼= SL(2, 5).
By the result of Kaluba and Politarczyk (to appear in J. S. Geom.)applied for X = CP2 and M = Σ4, Sato’s homology 4-sphere,the connected sum CP2#Σ4 is not a symplectic manifold. �
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds
![Page 172: Non-product smooth actions on Cartesian products …Non-product smooth actions on Cartesian products of manifolds Krzysztof Pawałowski (UAM Poznań Poland) 38th Symposium on Transformation](https://reader033.vdocuments.mx/reader033/viewer/2022053005/5f08d2c47e708231d423e4d1/html5/thumbnails/172.jpg)
ARIGATO GOSAIMASTA!
Krzysztof Pawałowski (UAM Poznań Poland) Non-product smooth actions on Cartesian products of manifolds