Left orderings on inductive limits of amalgamated free products

Chihaya Jibiki

2024-10-22

Abstract:We study left orderings on countably generated groups. In particular, we construct left orderings of inductive limits of amalgamated free products by using isolated left orderings of the groups appearing in the inductive system. Moreover, we show that they are no longer isolated orderings.

Group Theory

What problem does this paper attempt to address?

Isolated orderings on amalgamated free products

Tetsuya Ito

DOI: https://doi.org/10.48550/arXiv.1405.1163

2014-05-06

Abstract:We show that an amalgamated free product $G*_{A}H$ admits a discrete isolated ordering, under some assumptions of $G,H$ and $A$. This generalizes the author's previous construction of isolated orderings, and unlike known constructions of isolated orderings, can produce an isolated ordering with many non-trivial proper convex subgroups.

Group Theory
The amalgamated limit and its topological interpretation

Joerg Brendle

DOI: https://doi.org/10.48550/arXiv.2302.05072

2023-02-10

Logic

Abstract:This is a survey on the amalgamated limit, a limit construction for complete Boolean algebras in iterated forcing theory, which generalizes both the direct limit and the two-step amalgamation. We focus in particular on examples of the amalgamated limit from the literature and on the topological amalgamated limit for compact Hausdorff spaces.
The Amalgamation Property for automorphisms of ordered abelian groups

Jan Dobrowolski,Rosario Mennuni

2024-02-20

Abstract:We prove that the category of ordered abelian groups equipped with an automorphism has the Amalgamation Property, deduce that their inductive theory is NIP in the sense of positive logic, and initiate a development of the latter framework. As byproducts of the proof, we obtain a generalised version of the Hahn Embedding Theorem which allows to lift each automorphism of an ordered abelian group to one of an ordered real vector space, and we show that, on existentially closed structures, linear combinations of iterates of the automorphism have the Intermediate Value Property.

Logic,Commutative Algebra
Finitely generated simple left orderable groups with vanishing second bounded cohomology

Francesco Fournier-Facio,Yash Lodha

2023-06-04

Abstract:We prove that the finitely generated simple left orderable groups constructed by the second author with Hyde have vanishing second bounded cohomology, both with trivial real and trivial integral coefficients. As a consequence, these are the first examples of finitely generated non-indicable left orderable groups with vanishing second bounded cohomology. This answers Question 8 from the 2018 ICM proceedings article of Andrés Navas.

Group Theory,Dynamical Systems
Condensation and left-orderable groups

Filippo Calderoni,Adam Clay

2024-09-30

Abstract:We discuss condensed left-orderings and develop new techniques to show that the conjugacy relation on the space of left-orderings is not smooth. These techniques apply to the solvable Baumslag Solitar groups and to Thompson's group F.

Group Theory,Logic
On groups with finitely many Conradian orderings

Cristóbal Rivas

DOI: https://doi.org/10.48550/arXiv.1004.4189

2011-11-10

Abstract:We study the space of left-orderings on groups with finitely many Conradian orderings. We show that, within this class of groups, having an isolated left-ordering is equivalent to having finitely many left-orderings.

Group Theory
Orderability of big mapping class groups

Pravin Kumar,Apeksha Sanghi,Mahender Singh

2024-08-10

Abstract:We give an alternate proof of the left-orderability of the mapping class group of a connected oriented infinite-type surface with a non-empty boundary. Our main strategy involves the inductive construction of a countable stable Alexander system for the surface using a carefully chosen exhaustion by finite-type subsurfaces. In fact, we prove that a generalised ideal arc system for the surface also induces a left-ordering on the big mapping class group. We then prove that two generalised ideal arc systems determine the same left-ordering if and only if they are loosely isotopic. Finally, we prove that the topology on the big mapping class group is the same as the order topology induced by a left-ordering corresponding to an inductively constructed ideal arc system.

Geometric Topology,Group Theory
Isolated circular orders on free products of cyclic groups

Chihaya Jibiki,Shuhei Maruyama

2024-10-22

Abstract:In this paper, we construct countably many isolated circular orders on the free products $G = F_{2n} \ast \mathbb{Z}_{m_1} \ast \cdots \ast \mathbb{Z}_{m_k}$ of cyclic groups. Moreover, we prove that these isolated circular orders are not the automorphic images of the others. By using these isolated circular orders, we also construct countably many isolated left orders on a certain central $\mathbb{Z}$-extension of $G$, which are not the automorphic images of the others.

Group Theory,Dynamical Systems
Left-symmetric conformal algebras and vertex algebras

yanyong hong,fang li

DOI: https://doi.org/10.1016/j.jpaa.2014.12.012

IF: 0.834

2015-01-01

Journal of Pure and Applied Algebra

Abstract:A vertex algebra is an algebraic counterpart of a two-dimensional conformal field theory. By an equivalent characterization of vertex algebra using Lie conformal algebra and left-symmetric algebra given by Bakalov and Kac in [3], in studying vertex algebra, we have to deal with such a question: Do there exist compatible left-symmetric algebra structures on a class of special Lie algebras named formal distribution Lie algebras? In this paper, we study this question. We introduce the definitions of left-symmetric conformal algebra and Novikov conformal algebra. Many examples of these algebras are obtained. As an application, we present a construction of vertex algebra using left-symmetric conformal algebra.
Pairs of partial orders and the amalgamation property

Paolo Lipparini

2023-07-03

Abstract:We show that the theories of partially ordered sets, lattices, semilattices, Boolean algebras, Heyting algebras with a further coarser partial order, or a linearization, or an auxiliary relation have the strong amalgamation property, Fra\"ıssé limits and, in many cases, an $ \omega$-categorical model completion with quantifier elimination. The same applies to Kronheimer and Penrose's causal spaces. On the other hand, Urquhart doubly ordered sets do not have the amalgamation property. Our main tool is the superamalgamation property (the strong amalgamation property is not enough), thus we provide further arguments suggesting the usefulness of the superamalgamation property also in pure model theory, not only in algebraic logic.

Logic,Mathematical Physics
Left relatively convex subgroups

Yago Antolín,Warren Dicks,Zoran Sunic

DOI: https://doi.org/10.48550/arXiv.1503.01736

2015-03-05

Group Theory

Abstract:Let G be a group and H be a subgroup of G. We say that H is left relatively convex in G if the left G-set G/H has at least one G-invariant order; when G is left orderable, this holds if and only if H is convex in G under some left ordering of G. We give a criterion for H to be left relatively convex in G that generalizes a famous theorem of Burns and Hale and has essentially the same proof. We show that all maximal cyclic subgroups are left relatively convex in free groups, in right-angled Artin groups, and in surface groups that are not the Klein-bottle group. The free-group case extends a result of Duncan and Howie. We show that if G is left orderable, then each free factor of G is left relatively convex in G. More generally, for any graph of groups, if each edge group is left relatively convex in each of its vertex groups, then each vertex group is left relatively convex in the fundamental group; this generalizes a result of Chiswell. We show that all maximal cyclic subgroups in locally residually torsion-free nilpotent groups are left relatively convex.
Left restriction monoids from left $E$-completions

Tim Stokes

DOI: https://doi.org/10.1016/j.jalgebra.2022.04.038

2023-08-24

Abstract:Given a monoid $S$ with $E$ any non-empty subset of its idempotents, we present a novel one-sided version of idempotent completion we call left $E$-completion. In general, the construction yields a one-sided variant of a small category called a constellation by Gould and Hollings. Under certain conditions, this constellation is inductive, meaning that its partial multiplication may be extended to give a left restriction semigroup, a type of unary semigroup whose unary operation models domain. We study the properties of those pairs $S,E$ for which this happens, and characterise those left restriction semigroups that arise as such left $E$-completions of their submonoid of elements having domain $1$. As first applications, we decompose the left restriction semigroup of partial functions on the set $X$ and the right restriction semigroup of left total partitions on $X$ as left and right $E$-completions respectively of the transformation semigroup $T_X$ on $X$, and decompose the left restriction semigroup of binary relations on $X$ under demonic composition as a left $E$-completion of the left-total binary relations. In many cases, including these three examples, the construction embeds in a semigroup Zappa-Szép product.

Group Theory
Ordered Left Almost ⋇‐Semihypergroups Based on Fuzzy Sets

Nabilah Abughazalah,Naveed Yaqoob

DOI: https://doi.org/10.1155/2024/4669760

2024-10-27

Journal of Mathematics

Abstract:The concept of an involution or anti‐involution is a self‐inverse linear mapping that plays a prominent role in the theory of algebraic structures, particularly rings, hyperrings, ordered semigroups, and ordered semihypergroups. Nowadays, the study of involutions in ordered hyperstructures is a particular area of research in the field of hyperstructure theory, especially in ordered hyperstructures. In this research, we apply the concept of fuzzy sets to anti‐involution hyperideals of ordered anti‐involution LA‐semihypergroups. We shall propose the mathematical formulation of fuzzy anti‐involution hyperideals in ordered anti‐involution LA‐semihypergroups and provide some examples. This concept is a novel extension of fuzzy involution ordered semigroups.

mathematics
The number of locally invariant orderings of a group

Idrissa Ba,Adam Clay,Ian Thompson

DOI: https://doi.org/10.48550/arXiv.2204.00766

2022-08-02

Abstract:We show that if a nontrivial group admits a locally invariant ordering, then it admits uncountably many locally invariant orderings. For the case of a left-orderable group, we provide an explicit construction of uncountable families of locally invariant orderings; for a general group we provide an existence theorem that applies compactness to yield uncountably many locally invariant orderings. Along the way, we define and investigate the space of locally invariant orderings of a group, the natural group actions on this space, and their relationship to the space of left-orderings.

Group Theory
The subgroup membership problem in amalgamated products of finitely generated free groups

Andrew Duncan,Elizaveta Frenkel

DOI: https://doi.org/10.48550/arXiv.1305.4407

2013-05-21

Abstract:Stallings folding theory is modified, using double coset representatives, and to applied to the study of subgroups of amalgamated products of finite rank free groups. As a first application the subgroup membership problem for such groups is shown to be decidable. An algorithm for this problem is constructed and its complexity is analysed. Groups in this class are also shown to possess the Howson property.

Group Theory
Groupoids of left quotients

N. Ghroda

DOI: https://doi.org/10.48550/arXiv.1108.5663

2011-08-29

Category Theory

Abstract:A subcategory $\textbf{C}$ of a groupoid $\mathbb{G}$ is a left order in $\mathbb{G}$, if every element of $\mathbb{G}$ can be written as $a^{-1}b$ where $a, b \in \textbf{C}$. A subsemigroupoid $\mathfrak{C}$ of a groupoid $\mathbb{G}$ is a left q-order in $\mathbb{G}$, if every element of $\mathbb{G}$ can be written as $a^{-1}b$ where $a, b \in \mathfrak{C}$. We give a characterization of left orders (q-orders) in groupoids. In addition, we describe the relationship between left I-orders in primitive inverse semigroups and left orders (q-orders) in groupoids.
Free products with amalgamation over central C*-subalgebras

Kristin Courtney,Tatiana Shulman

DOI: https://doi.org/10.48550/arXiv.1809.09134

2019-07-14

Abstract:Let A and B be C*-algebras whose quotients are all RFD, and let C be a central C*-subalgebra in both A and B. We prove that the full amalgamated free product of A and B over C is then RFD. This generalizes Korchagin's result that amalgamated free products of commutative C*-algebras are RFD. When applied to the case of a trivial amalgam, our methods recover the result of Exel-Loring for separable C*-algebras. As corollaries to our theorem, we give sufficient conditions for amalgamated free products of maximally almost periodic (MAP) groups to have RFD C*-algebras and hence to be MAP.

Operator Algebras
Algorithmic aspects of left-orderings of solvable Baumslag--Solitar groups via its dynamical realization

Meng-Che "Turbo" Ho,Khanh Le,Dino Rossegger

2024-05-14

Abstract:We answer a question of Calderoni and Clay by showing that the conjugation equivalence relation of left orderings of the Baumslag-Solitar groups $\mathrm{BS}(1,n)$ is hyperfinite for any $n$. Our proof relies on a classification of $\mathrm{BS}(1,n)$'s left-orderings via its one-dimensional dynamical realizations. We furthermore use the effectiveness of the dynamical realizations of $\mathrm{BS}(1,n)$ to study algorithmic properties of the left-orderings on $\mathrm{BS}(1,n)$.

Logic,Group Theory
Left regular representations of Garside categories II. Finiteness properties of topological full groups

Xin Li

2024-10-14

Abstract:We study topological full groups attached to groupoid models for left regular representations of Garside categories. Groups arising in this way include Thompson's group $V$ and many of its variations such as Röver-Nekrashevych groups. Our key observation is that a Garside structure for the underlying small category induces a new Garside structure for a new small category of bisections, and that our topological full group coincides with the fundamental group of the enveloping groupoid of the new category. As a consequence, we solve the word problem and identify general criteria for establishing finiteness properties of our topological full groups. In particular, we show that topological full groups arising from products of shifts of finite type are of type ${\rm F}_{\infty}$, answering a natural question left open by Matui.

Operator Algebras,Dynamical Systems,Group Theory

Left orderings on inductive limits of amalgamated free products

Isolated orderings on amalgamated free products

The amalgamated limit and its topological interpretation

The Amalgamation Property for automorphisms of ordered abelian groups

Finitely generated simple left orderable groups with vanishing second bounded cohomology

Condensation and left-orderable groups

On groups with finitely many Conradian orderings

Orderability of big mapping class groups

Isolated circular orders on free products of cyclic groups

Left-symmetric conformal algebras and vertex algebras

Pairs of partial orders and the amalgamation property

Left relatively convex subgroups

Left restriction monoids from left $E$-completions

Ordered Left Almost ⋇‐Semihypergroups Based on Fuzzy Sets

The number of locally invariant orderings of a group

The subgroup membership problem in amalgamated products of finitely generated free groups

Groupoids of left quotients

Free products with amalgamation over central C*-subalgebras

Algorithmic aspects of left-orderings of solvable Baumslag--Solitar groups via its dynamical realization

Left regular representations of Garside categories II. Finiteness properties of topological full groups