Symmetry, Integrability and Geometry: Methods and Applications (SIGMA)

SIGMA 22 (2026), 073, 24 pages      arXiv:2206.11997      https://doi.org/10.3842/SIGMA.2026.073

Prescribed Graphon Symmetries and Flavors of Rigidity

Alexandru Chirvasitu
Department of Mathematics, University at Buffalo, Buffalo, NY 14260-2900, USA

Received November 06, 2025, in final form August 03, 2026; Published online August 10, 2026

Abstract
We prove that an arbitrary compact metrizable group can be realized as the automorphism group of a graphon; this is a continuous analogue to Frucht's theorem recovering arbitrary finite groups as automorphism groups of finite graphs. The paper also contains a number of results on the persistence of transitivity of a compact-group action upon passing to a limit of graphons. Call a compact group $\mathbb{G}$ graphon-rigid if, whenever it acts transitively on each member $\Gamma_n$ of a convergent sequence of graphons, it also acts transitively on the limit $\lim_n \Gamma_n$. We show that for a compact Lie group $\mathbb{G}$ graphon rigidity is equivalent to the identity component $\mathbb{G}_0$ being semisimple; as a partial converse to a result of Lovász and Szegedy, this is also equivalent to weak randomness: the property that the group have only finitely many irreducible representations in each dimension. Similarly, call a compact group $\mathbb{G}$ image-rigid if for every compact Lie group $\mathbb{H}$ the images of morphisms $\mathbb{G}\to \mathbb{H}$ form a closed set (of closed subgroups, in the natural topology). We prove that graphon rigidity implies image rigidity for compact groups that are either connected or profinite, and the two conditions are equivalent (and also equivalent to being torsion) for profinite abelian groups.

Key words: graphon; graphing; compact group; metrizable; Borel space; standard.

pdf (488 kb)   tex (35 kb)  

References

  1. Auslander L., Moore C.C., Unitary representations of solvable Lie groups, Mem. Amer. Math. Soc. 62 (1966), 199 pages.
  2. Bogachev V.I., Measure theory. Vol. I, II, Springer, Berlin, 2007.
  3. Burago D., Burago Y., Ivanov S., A course in metric geometry, Grad. Stud. Math., Vol. 33, American Mathematical Society, Providence, RI, 2001.
  4. Chirvasitu A., Ladisch F., Soberón P., Finite groups as prescribed polytopal symmetries, Israel J. Math. 245 (2021), 75-91.
  5. Curtis C.W., Reiner I., Representation theory of finite groups and associative algebras, AMS Chelsea Publishing, Providence, RI, 2006.
  6. Deitmar A., Echterhoff S., Principles of harmonic analysis, 2nd ed., Universitext, Springer, Cham, 2014.
  7. Doignon J.-P., Any finite group is the group of some binary, convex polytope, Discrete Comput. Geom. 59 (2018), 451-460, arXiv:1602.02987.
  8. Ebin D.G., The manifold of Riemannian metrics, in Global Analysis (Proc. Sympos. Pure Math., Vols. XIV, XV, XVI, Berkeley, Calif., 1968), Proc. Sympos. Pure Math., Vol. 15, American Mathematical Society, Providence, RI, 1970, 11-40.
  9. Fell J.M.G., A Hausdorff topology for the closed subsets of a locally compact non-Hausdorff space, Proc. Amer. Math. Soc. 13 (1962), 472-476.
  10. Frucht R., Herstellung von Graphen mit vorgegebener abstrakter Gruppe, Compositio Math. 6 (1939), 239-250.
  11. Haezendonck J., Abstract Lebesgue-Rohlin spaces, Bull. Soc. Math. Belg. 25 (1973), 243-258.
  12. Halmos P.R., Lectures on ergodic theory, Chelsea Publishing Co., New York, 1960.
  13. Halmos P.R., Sunder V.S., Bounded integral operators on $L^{2}$ spaces, Ergeb. Math. Grenzgeb. (3), Vol. 96, Springer, Berlin, 1978.
  14. Hatami H., Lovász L., Szegedy B., Limits of locally-globally convergent graph sequences, Geom. Funct. Anal. 24 (2014), 269-296, arXiv:1205.4356.
  15. Helgason S., Differential geometry, Lie groups, and symmetric spaces, Grad. Stud. Math., Vol. 34, American Mathematical Society, Providence, RI, 2001.
  16. Hofmann K.H., Morris S.A., The structure of compact groups—a primer for the student—a handbook for the expert, 4th ed., De Gruyter Stud. Math., Vol. 25, De Gruyter, Berlin, 2020.
  17. James I.M., Topological and uniform spaces, Undergrad. Texts Math., Springer, New York, 1987.
  18. Kaniuth E., Taylor K.F., Induced representations of locally compact groups, Cambridge Tracts in Math., Vol. 197, Cambridge University Press, Cambridge, 2013.
  19. Kaplansky I., Infinite abelian groups, University of Michigan Press, Ann Arbor, MI, 1954.
  20. Kechris A.S., Global aspects of ergodic group actions, Math. Surveys Monogr., Vol. 160, American Mathematical Society, Providence, RI, 2010.
  21. Lee J.M., Introduction to smooth manifolds, 2nd ed., Grad. Texts in Math., Vol. 218, Springer, New York, 2013.
  22. Lovász L., Large networks and graph limits, Amer. Math. Soc. Colloq. Publ., Vol. 60, American Mathematical Society, Providence, RI, 2012.
  23. Lovász L., Compact graphings, Acta Math. Hungar. 161 (2020), 185-196, arXiv:1902.09573.
  24. Lovász L., Szegedy B., Limits of dense graph sequences, J. Combin. Theory Ser. B 96 (2006), 933-957, arXiv:math.CO/0408173.
  25. Lovász L., Szegedy B., Regularity partitions and the topology of graphons, in An Irregular Mind, Bolyai Soc. Math. Stud., Vol. 21, János Bolyai Mathematical Society, Budapest, 2010, 415-446, arXiv:1002.4377.
  26. Lovász L., Szegedy B., The automorphism group of a graphon, J. Algebra 421 (2015), 136-166, arXiv:1406.4958.
  27. Melleray J., Compact metrizable groups are isometry groups of compact metric spaces, Proc. Amer. Math. Soc. 136 (2008), 1451-1455, arXiv:math.GR/0505509.
  28. Montgomery D., Zippin L., A theorem on Lie groups, Bull. Amer. Math. Soc. 48 (1942), 448-452.
  29. Moore C.C., Extensions and low dimensional cohomology theory of locally compact groups. I, Trans. Amer. Math. Soc. 113 (1964), 40-63.
  30. Munkres J.R., Topology, 2nd ed., Prentice Hall, Inc., Upper Saddle River, NJ, 2000.
  31. Niemiec P., Isometry groups of proper metric spaces, Trans. Amer. Math. Soc. 366 (2014), 2597-2623, arXiv:1201.5675.
  32. Petersen K.E., Ergodic theory, Cambridge Stud. Adv. Math., Vol. 2, Cambridge University Press, Cambridge, 1989.
  33. Sabidussi G., Graphs with given group and given graph-theoretical properties, Canadian J. Math. 9 (1957), 515-525.
  34. Sabidussi G., Graphs with given infinite group, Monatsh. Math. 64 (1960), 64-67.
  35. Schulte E., Soberón P., Williams G.I., Prescribing symmetries and automorphisms for polytopes, in Polytopes and Discrete Geometry, Contemp. Math., Vol. 764, American Mathematical Society, Providence, RI, 2021, 221-233, arXiv:1902.05439.
  36. Schulte E., Williams G.I., Polytopes with preassigned automorphism groups, Discrete Comput. Geom. 54 (2015), 444-458, arXiv:1505.06253.
  37. Serre J.-P., Topics in Galois theory, 2nd ed., Res. Notes Math., Vol. 1, A K Peters, Ltd., Wellesley, MA, 2008.
  38. Simon B., Representations of finite and compact groups, Grad. Stud. Math., Vol. 10, American Mathematical Society, Providence, RI, 1996.
  39. Szegedy B., Limits of kernel operators and the spectral regularity lemma, European J. Combin. 32 (2011), 1156-1167, arXiv:1003.5588.
  40. Szegedy B., On higher order fourier analysis, arXiv:1203.2260.
  41. Tao T., Hilbert's fifth problem and related topics, Grad. Stud. Math., Vol. 153, American Mathematical Society, Providence, RI, 2014.
  42. Vershik A.M., Haböck U., Compactness of the congruence group of measurable functions in several variables, J. Math. Sci. (N.Y.) 141 (2007), 1601-1607.
  43. Wiegold J., ${\rm Ext}(Q,Z)$ is the additive group of real numbers, Bull. Austral. Math. Soc. 1 (1969), 341-343.

Previous article  Next article  Contents of Volume 22 (2026)