Survey on Invariant Quasimorphisms and Stable Mixed Commutator Length
Keywords:
invariant quasimorphisms, quasimorphisms, stable commutator lengths, stable mixed commutator lengthsAbstract
A homogeneous quasimorphism $\phi$ on a normal subgroup $N$ of $G$ is said to be $G$-invariant if $\phi\left(g x g^{-1}\right)=\phi(x)$ for every $g \in G$ and for every $x \in N$. Invariant quasimorphisms have naturally appeared in symplectic geometry and the extension problem of quasimorphisms. Moreover, it is known that the existence of non-extendable invariant quasimorphisms is closely related to the behavior of the stable mixed commutator length $\operatorname{scl}_{G, N}$, which is a certain generalization of the stable commutator length $\mathrm{scl}_G$.
In this survey, we review the history and recent developments of invariant quasimorphisms and stable mixed commutator length. The topics we treat include several examples of invariant quasimorphisms, Bavard's duality theorem for invariant quasimorphisms, Aut-invariant quasimorphisms, and the estimation of the dimension of spaces of non-extendable quasimorphisms. We also mention the extension problem of partial quasimorphisms.
References
Mikĺos Abért, Some questions. Preprint. 2010.
Available at https://www.renyi.hu/${ }^{text {~ }}$ abert/questions.pdf.
Toshiyuki Akita and Ye Liu, Second mod 2 homology of Artin groups, Algebr. Geom. Topol. 18 (2018), no. 1, 547-568.
Konstantin Andritsch, Bounded cohomology of groups acting on Cantor sets, Preprint. 2022. Available at arXiv:2210.00459[math.GR].
Javier Aramayona and Nicholas G. Vlamis, Big mapping class groups: An overview, in In the Tradition of Thurston-Geometry and Topology. Ed. Ken'ichi Ohshika and Athanase Papadopoulos. Cham: Springer, 2020. 459-496.
Augustin Banyaga, Sur la structure du groupe des difféomorphismes qui préservent une forme symplectique, Comment. Math. Helv. 53 (1978), no. 2, 174-227.
Augustin Banyaga, The Structure of Classical Diffeomorphism Groups. Mathematics and its Applications, 400. Dordrecht: Kluwer Academic Publishers Group, 1997.
J. Barge and É. Ghys, Cocycles d'Euler et de Maslov, Math. Ann. 294 (1992), no. 2, 235-265.
Christophe Bavard, Longueur stable des commutateurs, Enseign. Math. (2) 37 (1991), no. 1-2, 109-150.
Juliette Bavard, Hyperbolicité du graphe des rayons et quasi-morphismes sur un gros groupe modulaire, Geom. Topol. 20 (2016), no. 1, 491-535.
Mladen Bestvina and Koji Fujiwara, Bounded cohomology of subgroups of mapping class groups, Geom. Topol. 6 (2002), 69-89.
Mladen Bestvina and Koji Fujiwara, A characterization of higher rank symmetric spaces via bounded cohomology, Geom. Funct. Anal. 19 (2009), no. 1, 11-40.
Abdessalam Bouarich, Suites exactes en cohomologie bornée réelle des groupes discrets, C. R. Acad. Sci. Paris Sér. I Math. 320 (1995), no. 11, 1355-1359.
Abdessalam Bouarich, Exactitude à gauche du foncteur $H_b^n(-, \mathbb{R})$ de cohomologie bornée réelle, Ann. Fac. Sci. Toulouse Math. (6) 10 (2001), no. 2, 255-270.
Michael Brandenbursky and Jarek Kędra, Fragmentation norm and relative quasimorphisms, Proc. Amer. Math. Soc. 150 (2022), no. 10, 4519-4531.
Michael Brandenbursky and Michał Marcinkowski, Aut-invariant norms and Aut-invariant quasimorphisms on free and surface groups, Comment. Math. Helv. 94 (2019), no. 4, 661-687.
Matthew G. Brin, The algebra of strand splitting, I. A braided version of Thompson's group $V$, J. Group Theory 10 (2007), no. 6, 757-788.
Kenneth S. Brown, Cohomology of Groups. Graduate Texts in Mathematics, 87. New York- Berlin: Springer-Verlag, 1982,
Kenneth S. Brown, The geometry of finitely presented infinite simple groups in Algorithms and Classification in Combinatorial Group Theory. Ed. G. Baumslag and C. F. Miller, III. Mathematical Sciences Research Institute Publications, 23. New York: Springer-Verlag, 1992. 121-136.
Michelle Bucher and Nicolas Monod, The bounded cohomology of $\mathrm{SL}_2$ over local fields and $S$-integers, Int. Math. Res. Not. IMRN 2019, no. 6, 1601-1611.
Dmitri Burago, Sergei Ivanov, and Leonid Polterovich, Conjugation-invariant norms on groups of geometric origin in Groups of Diffeomorphisms. Ed. Robert Penner et al. Advanced Studies in Pure Mathematics, 52. Tokyo: Mathematical Society of Japan, 2008. 221-250.
Marc Burger and Shahar Mozes, Finitely presented simple groups and products of trees, C. R. Acad. Sci. Paris Sér. I Math. 324 (1997), no. 7, 747-752.
Eugenio Calabi, On the group of automorphisms of a symplectic manifold in Problems in Analysis. Ed. Robert C. Gunning. Princeton, NJ: Princeton University Press, 1970. 1-26.
Danny Calegari, scl. MSJ Mem., 20. Tokyo: Mathematical Society of Japan, 2009.
Danny Calegari and Dongping Zhuang, Stable $W$-length in Topology and Geometry in Dimension Three. Ed. Weiping Li et al. Contemporary Mathematics, 560. Providence, RI: American Mathematical Society, 2011. 145-169.
Patrick Dehornoy, The group of parenthesized braids, Adv. Math. 205 (2006), no. 2, 354-409.
David Eisenbud, Ulrich Hirsch, and Walter Neumann, Transverse foliations of Seifert bundles and self-homeomorphism of the circle, Comment. Math. Helv. 56 (1981), no. 4, 638-660.
H. Endo and D. Kotschick, Bounded cohomology and non-uniform perfection of mapping class groups, Invent. Math. 144 (2001), no. 1, 169-175.
Michael Entov, Quasi-morphisms and quasi-states in symplectic topology in Proceedings of the International Congress of Mathematicians-Seoul 2014. Vol. II. Ed. Sun Young Jang et al.
Michael Entov and Leonid Polterovich, Calabi quasimorphism and quantum homology, Int. Math. Res. Not. 2003, no. 30, 1635-1676.
Michael Entov and Leonid Polterovich, Quasi-states and symplectic intersections, Comment. Math. Helv. 81 (2006), no. 1, 75-99.
Michael Entov and Leonid Polterovich, Rigid subsets of symplectic manifolds, Compos. Math. 145 (2009), no. 3, 773-826.
David B. A. Epstein and Koji Fujiwara, The second bounded cohomology of word hyperbolic groups, Topology 36 (1997), no. 6, 1275-1289.
Benson Farb and Dan Margalit, A Primer on Mapping Class Groups. Princeton Math. Ser., 49. Princeton, NJ: Princeton University Press, 2012.
Andreas Floer, Morse theory for Lagrangian intersections, J. Differential Geom. 28 (1988), no. 3, 513-547.
Francesco Fournier-Facio and Yash Lodha, Second bounded cohomology of groups acting on 1 -manifolds and applications to spectrum problems, Adv. Math. 428 (2023), Paper No. 109162, 42 pp.
Francesco Fournier-Facio, Yash Lodha, and Matthew C. B. Zaremsky, Braided Thompson groups with and without quasimorphisms. To appear in Algebraic and Geometric Topology.
Francesco Fournier-Facio, Clara Loeh, and Marco Moraschini, Bounded cohomology of finitely presented groups: Vanishing, non-vanishing, and computability. To appear in Annali della Scuola Normale Superiore di Pisa, Classe di Scienze. Preprint available at arXiv:2106.13567v3 [math.GR].
Francesco Fournier-Facio, Clara Löh, and Marco Moraschini, Bounded cohomology and binate groups. J. Aust. Math. Soc. 115 (2023), no. 2, 204-239.
Francesco Fournier-Facio and Richard D. Wade, Aut-invariant quasimorphisms on groups, Trans. Amer. Math. Soc. 376 (2023), no. 10, 7307-7327.
Roberto Frigerio, Bounded Cohomology of Discrete Groups. Mathematical Surveys and Monographs, 227. Providence, RI: American Mathematical Society, 2017.
Kenji Fukaya, Yong- Geun Oh, Hiroshi Ohta, Kaoru Ono, Spectral Invariants with Bulk, Quasi-Morphisms and Lagrangian Floer Theory. Memoirs of the American Mathematical Society, 260, no. 1254, 2019.
Jean-Marc Gambaudo and Étienne Ghys, Commutators and diffeomorphisms of surfaces, Ergodic Theory Dynam. Systems 24 (2004), no. 5, 1591-1617.
Anthony Genevois and Camille Horbez, Acylindrical hyperbolicity of automorphism groups of infinitely ended groups, J. Topol. 14 (2021), no. 3, 963-991.
Étienne Ghys, Groups acting on the circle, Enseign. Math. (2) 47 (2001), no. 3-4, 329-407.
Mich ael Gromov, Volume and bounded cohomology, Inst. Hautes Études Sci. Publ. Math. (1982), no. 56, 5-99.
M. Gromov, Pseudo holomorphic curves in symplectic manifolds, Invent. Math. 82 (1985), no. 2, 307-347
M. Gromov, Hyperbolic groups in Essays in Group Theory. Ed. S. M. Gersten. Mathematical Sciences Research Institute Publications, Vol. 8. New York: Springer-Verlag, 1987. 75-263.
Antonius Hase, Dynamics of $\operatorname{Out}left(F_n\right)$ on the second bounded cohomology of $F_n$. Preprint. 2018. Available at https://arxiv.org/abs/ 1805.00366 .
Allen Hatcher, Algebraic Topology. Cambridge, Cambridge University Press, 2002. Nicolaus Heuer and Clara Löh, The spectrum of simplicial volume, Invent. Math. 223 (2021), no. 1, 103-148.
Nicolaus Heuer and Clara Löh, The spectrum of simplicial volume of non-compact manifolds, Geom. Dedicata 215 (2021), 243-253.
Nicolaus Heuer and Clara Löh, Transcendental simplicial volumes. To appear in Annales de l'Institut Fourier.
Vincent Humilière, The Calabi invariant for some groups of homeomorphisms, J. Symplectic Geom. 9 (2011), no. 1, 107-117.
Tomohiko Ishida, Quasi-morphisms on the group of area-preserving diffeomorphisms of the 2-disk. University of Tokyo, 2013. Ph.D. Thesis.
Tomohiko Ishida, Quasi-morphisms on the group of area-preserving diffeomorphisms of the 2-disk via braid groups, Proc. Amer. Math. Soc. Ser. B 1 (2014), 43-51.
Tetsuya Ito, Kimihiko Motegi, and Masakazu Teragaito, Generalized torsion and decomposition of 3-manifolds, Proc. Amer. Math. Soc. 147 (2019), no. 11, 49995008.
Bastien Karlhofer, Aut-invariant quasimorphisms on free products, Original Paper Open access 03 December 2021 Pages: 475-493
Bastien Karlhofer, Aut-invariant quasimorphisms on graph products of abelian groups. Preprint. Available at arXiv:2107.12171v2 [math.GR].
Morimichi Kawasaki, Relative quasimorphisms and stably unbounded norms on the group of symplectomorphisms of the Euclidean spaces, J. Symplectic Geom. 14 (2016), no. 1, 297-304.
Morimichi Kawasaki, Bavard's duality theorem on conjugation-invariant norms, Pacific J. Math. 288 (2017), no. 1, 157-170.
Morimichi Kawasaki, Extension problem of subset-controlled quasimorphisms, Proc. Amer. Math. Soc. Ser. B 5 (2018), 1-5.
Morimichi Kawasaki, Superheavy Lagrangian immersions in surfaces, J. Symplectic Geom. 17 (2019), no. 1, 239-249.
Morimichi Kawasaki and Mitsuaki Kimura, $\hat{G}$-invariant quasimorphisms and symplectic geometry of surfaces, Israel J. Math. 247 (2022), no. 2, 845-871.
Morimichi Kawasaki, Mitsuaki Kimura, Shuhei Maruyama, Takahiro Mat sushita, Masato Mimura, The space of non-extendable quasimorphisms. Preprint. 2021. Available at https://arxiv.org/abs/2107.08571v4.
Morimichi Kawasaki, Mitsuaki Kimura, Shuhei Maruyama, Takahiro Mat sushita, and Masato Mimura, Mixed commutator lengths, wreath products and general ranks, Kodai Math. J. 46 (2023), no. 2, 145-183.
Morimichi Kawasaki, Mitsuaki Kimura, Takahiro Matsushita, and Masato Mimura, Bavard's duality theorem for mixed commutator length, Enseign. Math. 68 (2022), no. 3-4, 441-481.
Morimichi Kawasaki, Mitsuaki Kimura, Takahiro Matsushita, and Masato Mimura, Commuting symplectomorphisms on a surface and the flux homomorphism, Geom. Funct. Anal. 33 (2023), no. 5, 1322-1353.
Morimichi Kawasaki and Ryuma Orita, Disjoint superheavy subsets and fragmentation norms, J. Topol. Anal. 13 (2021), no. 2, 443-468.
Jaroslaw Kędra, Remarks on the flux groups, Math. Res. Lett. 7 (2000), no. 2-3, 279-285.
Jarek Kędra, On Lipschitz functions on groups equipped with conjugation-invariant norms. Preprint. 2022.
Available at https://arxiv.org/abs/2204.09373v1.
Mitsuaki Kimura, Conjugation-invariant norms on the commutator subgroup of the infinite braid group, J. Topol. Anal. 10 (2018), no. 2, 471-476.
Mitsuaki Kimura, Norm-controlled cohomology of transformation groups, Internat. J. Math. 34 (2023), no. 5, Paper No. 2350022, 15 pp.
Mustafa Korkmaz, Low-dimensional homology groups of mapping class groups: A survey, Turkish J. Math. 26 (2002), no. 1, 101-114.
François Lalonde, Dusa McDuff, and Leonid Polterovich, On the flux conjectures in Geometry, Topology, and Dynamics (Montreal, PQ, 1995). Ed. François Lalonde. CRM Proceedings and Lecture Notes, 15. Providence, RI: American Mathematical Society, 1998. 69-85.
Clara Löh, The spectrum of simplicial volume with fixed fundamental group, Geom. Dedicata 217 (2023), no. 2, Paper No. 16, 13 pp.
Dusa McDuff and Diet mar Salamon, Introduction to Symplectic Topology. Oxford Graduate Texts in Mathematics. Oxford: Oxford University Press, 2017.
Michael Magee and Doron Puder, Matrix group integrals, surfaces, and mapping class groups I: $U(n)$, Invent. Math. 218 (2019), no. 2, 341-411.
A. I. Mal'cev, On groups of finite rank, Mat. Sbornik N.S. 22/64 (1948), 351-352.
A. V. Malyutin, Operators in the spaces of pseudocharacters of braid groups, Algebra i Analiz 21 (2009), no. 2, 136-165.
Dan Margalit and Andrew Putman, Surface groups, infinite generating sets, and stable commutator length, Proc. Roy. Soc. Edinburgh Sect. A 150 (2020), no. 5, 2379-2386.
Shuhei Maruyama, Takahiro Matsushita, Masato Mimura, Invariant quasimorphisms for groups acting on the circle and non- equivalence of scl. Preprint
Shigenori Matsumoto, Numerical invariants for semiconjugacy of homeomorphisms of the circle, Proc. Amer. Math. Soc. 98 (1986), no. 1, 163-168.
Shigenori Matsumoto and Shigeyuki Morita, Bounded cohomology of certain groups of homeomorphisms, Proc. Amer. Math. Soc. 94 (1985), no. 3, 539-544.
Igor Mineyev, Bounded cohomology characterizes hyperbolic groups, Q. J. Math. 53 (2002), no. 1, 59-73.
Nicolas Monod, Continuous Bounded Cohomology of Locally Compact Groups. Lecture Notes in Mathematics, 1758. Berlin: Springer-Verlag, 2001.
Nicolas Monod, Stabilization for $\mathrm{SL}_n$ in bounded cohomology in Discrete Geometric Analysis. Ed. Motoko Kotani, Tomoyuki Shirai, and Toshikazu Sunada. Contemporary Mathematics, 347. Providence, RI: American Mathematical Society, 2004.191-202.
Nicolas Monod, Lamplighters and the bounded cohomology of Thompson's group, Geom. Funct. Anal. 32 (2022), no. 3, 662-675.
Nicolas Monod and Sam Nariman, Bounded and unbounded cohomology of homeomorphism and diffeomorphism groups, Invent. Math. 232 (2023), no. 3, 14391475.
Nicolas Monod and Yehuda Shalom, Cocycle superrigidity and bounded cohomology for negatively curved spaces, J. Differential Geom. 67 (2004), no. 3, 395-455. Alexandra Monzner, Nicolas Vichery, and Frol Zapolsky, Partial quasimorphisms and quasistates on cotangent bundles, and symplectic homogenization, J. Mod. Dyn. 6 (2012), no. 2, 205-249.
Marco Moraschini and George Raptis, Amenability and acyclicity in bounded cohomology, Rev. Mat. Iberoam. 39 (2023), no. 6, 2371-2404.
J. Nielsen, Die Isomorphismen der allgemeinen, unendlichen Gruppe mit zwei Erzeugenden, Math. Ann. 78 (1917), no. 1, 385-397.
Yong-Geun Oh, Construction of spectral invariants of Hamiltonian paths on closed symplectic manifolds in The Breadth of Symplectic and Poisson Geometry. Ed. Jerrold E. Marsden and Tudor S. Ratiu. Progress in Mathematics, 232. Boston, MA: Birkhäuser Boston, Inc., 2005. 525-570.
Yong-Geun Oh, Floer mini-max theory, the Cerf diagram, and the spectral invariants, J. Korean Math. Soc. 46 (2009), no. 2, 363-447.
Yong-Geun Oh, Symplectic Topology and Floer Homology. Vol. 2: Floer Homology and its Applications. New Mathematical Monographs, vol. 29. Cambridge: Cambridge University Press, 2015.
K. Ono, Floer-Novikov cohomology and the flux conjecture, Geom. Funct. Anal. 16 (2006), no. 5, 981-1020.
D. Osin, On acylindrical hyperbolicity of groups with positive first $\ell^2$-Betti number, Bull. Lond. Math. Soc. 47 (2015), no. 5, 725-730.
D. Osin, Acylindrically hyperbolic groups, Trans. Amer. Math. Soc. 368 (2016), no. 2, 851-888.
S. Piunikhin, D. Salamon, and M. Schwarz, Symplectic Floer-Donaldson theory and quantum cohomology in Contact and Symplectic Geometry. Ed. C. B. Thomas. Publications of the Newton Institute, 8. Cambridge: Cambridge University Press, 1996. 171-200.
H. Poincaré, Mémoire sur les courbes définies par une équation différentielle, Journal de mathématiques pures et appliquées, Serie 3, 7 (1881), 375-422.
H. Poincaré, Sur les courbes définies par les équations différentielles, Journal de mathématiques pures et appliquées, Serie 4, 1(1885), 167-244.
Leonid Polterovich, The Geometry of the Group of Symplectic Diffeomorphisms. Lectures in Mathematics ETH Zürich. Basel: Birkhäuser Verlag, 2001.
Leonid Polterovich and Daniel Rosen, Function Theory on Symplectic Manifolds. CRM Monograph Series, 34. Providence, RI: American Mathematical Society, 2014.
Pierre Py, Quasi-morphismes de Calabi et graphe de Reeb sur le tore, C. R. Math. Acad. Sci. Paris 343 (2006), no. 5, 323-328.
Pierre Py, Quasi-morphismes et invariant de Calabi, Ann. Sci. École Norm. Sup. 4) 39(2006), no. 1,177-195.
Vlad Sergiescu and Takashi Tsuboi, A remark on homeomorphisms of the Cantor set in Geometric Study of Foliations. Ed. Tadayoshi Mizutani et al. River Edge, NJ: World Scientific Publishing Co., Inc., 1994, 431-436.
A. I. Shtern, Extension of pseudocharacters from normal subgroups, III, Proc. Jangjeon Math. Soc. 19 (2016), no. 4, 609-614.
Markus Szymik and Nathalie Wahl, The homology of the Higman-Thompson groups, Invent. Math. 216 (2019), no. 2, 445-518.
William P. Thurston, Three-manifolds, foliations and circles, I. Preprint. 1997. Available at arXiv:math/9712268 [math.GT].
Takashi Tsuboi, On the uniform perfectness of the groups of diffeomorphisms of even-dimensional manifolds, Comment. Math. Helv. 87 (2012), no. 1, 141-185.
Takashi Tsuboi, Homeomorphism groups of commutator width one, Proc. Amer. Math. Soc. 141 (2013), no. 5, 1839-1847.
Takashi Tsuboi, Several problems on groups of diffeomorphisms in Geometry, Dynamics, and Foliations 2013. Ed. Taro Asuke, Shigenori Matsumoto, and Yoshihiko Mitsumatsu. Advanced Studies in Pure Mathematics, 72. Tokyo: Mathematical Society of Japan, 2017. 239-248.
Matthew C. B. Zaremsky, A user's guide to cloning systems, Topology Proc. 52 (2018), 13-33.
