https://papers.cool/arxiv/math.GRGroup Theory2024-11-06T00:00:00+00:00python-feedgenCool Papers - Immersive Paper Discoveryhttps://papers.cool/arxiv/2411.02819Coboundary expansion of coset complexes2024-11-06T00:00:00+00:00Tali KaufmanIzhar OppenheimShmuel WeinbergerCoboundary expansion is a high dimensional generalization of the Cheeger constant to simplicial complexes. Originally, this notion was motivated by the fact that it implies topological expansion, but nowadays a significant part of the motivation stems from its deep connection to problems in theoretical computer science such as agreement expansion in the low soundness regime. In this paper, we prove coboundary expansion with non-Abelian coefficients for the coset complex construction of Kaufman and Oppenheim. Our proof uses a novel global argument, as opposed to the local-to-global arguments that are used to prove cosystolic expansion.https://papers.cool/arxiv/2411.03031Matrix Elements and Characters of the Discrete Series ("Massive") Unitary Irreducible Representations of Sp(4,R)2024-11-06T00:00:00+00:00Jean-Pierre GazeauMariano A. del OlmoHamed PejhanThis paper obtains the matrix elements and characters of the discrete series unitary irreducible representations (UIRs) of the Sp$(4,\mathbb{R})$ group. With an isomorphic relationship to the two-fold covering of SO$_0(2,3)$ (Sp$(4,\mathbb{R}) \sim$ SO$_0(2,3)\times \mathbb{Z}_2$), this group holds particular importance as the kinematical/relativity group within the framework of ($1+3$-dimensional) anti-de Sitter spacetime.https://papers.cool/arxiv/2411.03266The normal decomposition of a morphism in categories without zeros2024-11-06T00:00:00+00:00Renier JansenMuhammad QasimWalter TholenFor a morphism f in a category C with sufficiently many finite limits and colimits, we discuss an elementary construction of a decomposition of f through objects P and N which, if C happens to have a zero object, amounts to the standard decomposition of f through P = Coker(ker f) and N = Ker(coker f). In this way we obtain natural notions of normal monomorphism and normal epimorphism also in non-pointed categories, as special types of regular mono- and epimorphisms. We examine the factorization behaviour of these classes of morphisms in general, compare the generalized normal decompositions with other types of threefold factorizations, and illustrate them in some every-day categories. The concrete construction of normal decompositions in the slices or coslices of these categories can be challenging. Amongst many others, in this regard, we consider particularly the categories of T1-spaces and of groups.https://papers.cool/arxiv/2411.02474Extending Strongly Ulam Stable Groups and Towards Inductivity2024-11-06T00:00:00+00:00Mason SharpWe show some preservation results of amenably extending strongly Ulam stable groups under mild decay assumptions, including quantitative preservation of asymptotic bounds under the assumption that the modulus of stability is Hölder continuous of exponent $s>\frac 1 2$ at 0, utilizing some simplistic integral estimates. Additionally, we show some partial results around inductive preservation of modulus bounds in infinite dimensions using these integral estimates as well as strong quantitative preservation in the finite dimensional case, implying the existence of $\mathfrak{U}$ uniformly stable existential closures among groups with sufficiently large Lipschitz estimates of any countable group.https://papers.cool/arxiv/2411.02516Thurston norm for coherent right-angled Artin groups via $L^2$-invariants2024-11-06T00:00:00+00:00Monika KudlinskaWe define a new notion of splitting complexity for a group $G$ along a non-trivial integral character $\phi \in H^1(G; \mathbb{Z})$. If $G$ is a one-ended coherent right-angled Artin group, we show that the splitting complexity along an epimorphism $\phi \colon G \to \mathbb{Z}$ equals the $L^2$-Euler characteristic of the kernel of $\phi$. This allows us to define a Thurston-type semi-norm $\| \cdot \|_T \colon H^1(G ; \mathbb{R}) \to \mathbb{R}$ that measures the splitting complexity of integral characters. Our main tool is Friedl--Lück's $L^2$-polytope which we compute for all groups in this class.https://papers.cool/arxiv/2411.03170Certain finite groups whose commuting conjugacy class graph satisfy Hansen-Vukičević conjecture2024-11-06T00:00:00+00:00Shrabani DasRajat Kanti NathIn this paper we compute first and second Zagreb indices of commuting conjugacy class graphs of finite groups and determine several classes of finite groups such that their commuting conjugacy class graphs satisfy Hansen-Vukičević conjecture.https://papers.cool/arxiv/2411.03221Perfect kernel of generalized Baumslag-Solitar groups2024-11-06T00:00:00+00:00Sasha BontempsIn this article, we study the space of subgroups of generalized Baumslag-Solitar groups (GBS groups), that is, groups acting cocompactly on an oriented tree without inversion and with infinite cyclic vertex and edge stabilizers. Our results generalize the study of Baumslag-Solitar groups in [CGLMS22]. Given a GBS group G defined by a graph of groups whose existence is given by Bass-Serre theory, we associate to any subgroup of G an integer, which is a generalization of the phenotype defined in [CGLMS22]. This quantity is invariant under conjugation and allows us to decompose the perfect kernel of G into pieces which are invariant under conjugation and on which G acts highly topologically transitively. To achieve this, we interpret graphs of subgroups of G as "blown up and shrunk" Schreier graphs of transitive actions of G. We also describe the topology of the pieces which appear in the decomposition.https://papers.cool/arxiv/2411.03268The semigroup of finite partial order isomorphisms of a bounded rank of an infinite linear ordered set2024-11-06T00:00:00+00:00Oleg GutikMaksym ShchypelWe study algebraic properties of the semigroup $\mathscr{O\!\!I\!}_n(L)$ of finite partial order isomorphisms of the rank $\leq n$ of an infinite linearly ordered set $(L,\leqslant)$. In particular we describe its idempotents, the natural partial order and Green's relations on $\mathscr{O\!\!I\!}_n(L)$. It is proved that the semigroup $\mathscr{O\!\!I\!}_n(L)$ is stable and it contains tight ideal series. Moreover, we show that the semigroup $\mathscr{O\!\!I\!}_n(L)$ admits only Rees' congruences and every its homomorphic image is a semigroup with tight ideal series.