Generic groups and WAP

Aleksander Ivanov,Krzysztof Majcher

2024-07-13

Abstract:We consider the logic space of countable (enumerated) groups and show that closed subspaces corresponding to some standard classes of groups have (do not have) generic groups. We also discuss the cases of semigroups and associative rings.

Logic,Group Theory

What problem does this paper attempt to address?

Generic properties of topological groups

Márton Elekes,Boglárka Gehér,Tamás Kátay,Tamás Keleti,Anett Kocsis,Máté Pálfy

DOI: https://doi.org/10.1017/prm.2024.91

2024-12-04

Proceedings of the Royal Society of Edinburgh Section A Mathematics

Abstract:We study generic properties of topological groups in the sense of Baire category. First, we investigate countably infinite groups. We extend a classical result of B. H. Neumann, H. Simmons and A. Macintyre on algebraically closed groups and the word problem. Recently, I. Goldbring, S. Kunnawalkam Elayavalli, and Y. Lodha proved that every isomorphism class is meager among countably infinite groups. In contrast, it follows from the work of W. Hodges on model-theoretic forcing that there exists a comeager isomorphism class among countably infinite abelian groups. We present a new elementary proof of this result. Then, we turn to compact metrizable abelian groups. We use Pontryagin duality to show that there is a comeager isomorphism class among compact metrizable abelian groups. We discuss its connections to the countably infinite case. Finally, we study compact metrizable groups. We prove that the generic compact metrizable group is neither connected nor totally disconnected; also it is neither torsion-free nor a torsion group.

mathematics, applied
Generic isomorphism classes of abelian groups

Udayan B. Darji,Márton Elekes,Tamás Kátay,Anett Kocsis,Máté Pálfy

2023-06-08

Abstract:We prove that the universal solenoid is the generic (in the sense of Baire category) connected compact metrizable abelian group. We also settle the dual problem in the sense of Pontryagin duality: $(\mathbb{Q},+)$, which is the dual of the universal solenoid, is the generic countably infinite torsion-free abelian group.

Logic,General Topology,Group Theory
A Note on Generic Types

Martin Ziegler

DOI: https://doi.org/10.48550/arXiv.math/0608433

2006-08-17

Logic

Abstract:In a stable abelian group, we characterize generic types of cosets of type-definable subgroups.
Wreath products of groups acting with bounded orbits

Paul-Henry Leemann,Grégoire Schneeberger

DOI: https://doi.org/10.4171/LEM/1059

2024-03-19

Abstract:If $\textbf{S}$ is a subcategory of metric spaces, we say that a group G has property $B\textbf{S}$ if any isometric action on an $\textbf{S}$-space has bounded orbits. Examples of such subcategories include metric spaces, affine real Hilbert spaces, CAT(0) cube complexes, connected median graphs, trees or ultra-metric spaces. The corresponding properties $B\textbf{S}$ are respectively Bergman's property, property FH (which, for countable groups, is equivalent to the celebrated Kazhdan's property (T)), property FW (both for CAT(0) cube complexes and for connected median graphs), property FA and uncountable cofinality. Historically many of these properties were defined using the existence of fixed points. Our main result is that for many subcategories $\textbf{S}$, the wreath product $G\wr_XH$ has property $B\textbf{S}$ if and only if both $G$ and $H$ have property $B\textbf{S}$ and $X$ is finite. On one hand, this encompasses in a general setting previously known results for properties FH and FW. On the other hand, this also applies to the Bergman's property. Finally, we also obtain that $G\wr_XH$ has uncountable cofinality if and only if both $G$ and $H$ have uncountable cofinality and $H$ acts on $X$ with finitely many orbits.

Group Theory
Archimedean l -groups with strong unit: cozero-sets and coincidence of types of ideals

Papiya Bhattacharjee,Anthony W. Hager,Warren Wm. McGovern,Brian Wynne

DOI: https://doi.org/10.1515/ms-2024-0097

2024-10-16

Mathematica Slovaca

Abstract:W * is the category of the title. For G ∈ W * , we have the canonical compact space YG , and Yosida representation G ≤ C ( YG ), thus, for g ∈ G , one has the cozero-set coz( g ) in YG . The ideals at issue in G include the principal ideals and polars, G ( g ) and g ⊥⊥ , respectively, and the W * -kernels of W * -morphisms from G . The "coincidences of types" include these properties of G : (M) Each G ( g ) = g ⊥⊥ ; (Y) Each G ( g ) is a W * -kernel; (CR) Each g ⊥⊥ is a W * -kernel (iff each coz( g ) is regular open). For each of these, we give numerous "rephrasings" and examples, and note that (M) = (Y) ∩ (CR). This paper is a companion to a paper in preparation by the present authors, which includes the present thrust in contexts less restrictive and more algebraic. Here, the focus on W * brings topology to bear, and sharpens the view.

mathematics
Universal properties of group actions on locally compact spaces

Hiroki Matui,Mikael Rørdam

DOI: https://doi.org/10.1016/j.jfa.2015.01.022

IF: 1.891

2015-06-01

Journal of Functional Analysis

Abstract:We study universal properties of locally compact G-spaces for countable infinite groups G. In particular we consider open invariant subsets of the G-space βG, and their minimal closed invariant subspaces. These are locally compact free G-spaces, and the latter are also minimal. We examine the properties of these G-spaces with emphasis on their universal properties.As an example of our results, we use combinatorial methods to show that each countable infinite group admits a free minimal action on the locally compact non-compact Cantor set.

mathematics
Discrete subgroups of normed spaces are free

Tomasz Kania,Ziemowit Kostana

2024-08-06

Abstract:Ancel, Dobrowolski, and Grabowski (Studia Math., 1994) proved that every countable discrete subgroup of the additive group of a normed space is free Abelian, hence isomorphic to the direct sum of a certain number of copies of the additive group of the integers. In the present paper, we take a set-theoretic approach based on the theory of elementary submodels and the Singular Compactness Theorem to remove the cardinality constraint from their result and prove that indeed every discrete subgroup of the additive group of a normed space is free Abelian.

Functional Analysis,Group Theory,Logic
Graphical models for topological groups: A case study on countable Stone spaces

Beth Branman,George Domat,Hannah Hoganson,Robert Alonzo Lyman

2024-11-23

Abstract:By analogy with the Cayley graph of a group with respect to a finite generating set or the Cayley-Abels graph of a totally disconnected, locally compact group, we introduce countable connected graphs associated to Polish groups that we term Cayley-Abels-Rosendal graphs. A group admitting a Cayley-Abels-Rosendal graph acts on it continuously, coarsely metrically properly and cocompactly by isometries of the path metric. By an expansion of the Milnor-Schwarz lemma, it follows that the group is generated by a coarsely bounded set and the group equipped with (a suitably compatible alteration of) a word metric with respect to a coarsely bounded generating set and the graph are quasi-isometric. In other words, groups admitting Cayley-Abels-Rosendal graphs are topological analogues of the finitely generated groups. Our goal is to introduce this topological perspective to a geometric group theorist. We apply these concepts to homeomorphism groups of countable Stone spaces. We completely characterize when these homeomorphism groups are coarsely bounded, when they are locally bounded (all of them are), and when they admit a Cayley-Abels-Rosendal graph, and if so produce a coarsely bounded generating set.

Group Theory,Geometric Topology
Discrete Automorphism Groups of Convex Cones of Finite Type

Eduard Looijenga

DOI: https://doi.org/10.1112/s0010437x14007404

2014-01-01

Compositio Mathematica

Abstract:We investigate subgroups of SL (n,Z) which preserve an open nondegenerate convex cone in real n-space and admit in that cone as fundamental domain a polyhedral cone of which some faces are allowed to lie on the boundary. Examples are arithmetic groups acting on selfdual cones, Weyl groups of certain Kac-Moody algebras and do occur in algebraic geometry as the automorphism groups of projective manifolds acting on their ample cones.
From uncountable abelian groups to uncountable nonabelian groups

Katsuya Eda

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

2020-05-20

Abstract:The present note surveys my research related to generalizing notions of abelian group theory to non-commutative case and applying them particularly to investigate fundamental groups.

Algebraic Topology
Closed subsets of compact-like topological spaces

Serhii Bardyla,Alex Ravsky

DOI: https://doi.org/10.4995/agt.2020.12258

2020-10-01

Applied General Topology

Abstract:We investigate closed subsets (subsemigroups, resp.) of compact-like topological spaces (semigroups, resp.). We show that each Hausdorff topological space is a closed subspace of some Hausdorff ω-bounded pracompact topological space and describe open dense subspaces of countably pracompact topological spaces. We construct a pseudocompact topological semigroup which contains the bicyclic monoid as a closed subsemigroup. This example provides an affirmative answer to a question posed by Banakh, Dimitrova, and Gutik in [4]. Also, we show that the semigroup of ω×ω-matrix units cannot be embedded into a Hausdorff topological semigroup whose space is weakly H-closed.
Generalized algebras

Yaroslav Drachov

DOI: https://doi.org/10.1140/epjc/s10052-024-13382-5

IF: 4.991

2024-10-19

The European Physical Journal C

Abstract:Recently, a new generalized family of infinite-dimensional algebras, each associated with a particular element of a commutative subalgebra of the algebra, was described. This paper provides a comprehensive account of the aforementioned association, accompanied by the requisite proofs and illustrative examples. This approach allows a derivation of Ward identities for selected WLZZ matrix models and the expansion of corresponding -operators in terms of an infinite set of variables .

physics, particles & fields
Ellis groups in model theory and strongly generic sets

Adam Malinowski

2023-12-31

Abstract:Assume $G$ is a group and $\mathcal{A}$ is an algebra of subsets of $G$ closed under left translation. We study various ways to understand the Ellis group of the $G$-flow $S(\mathcal{A})$ (the Stone space of $\mathcal{A}$), with particular interest in the model-theoretic setting where $G$ is definable in a first order structure $M$ and $\mathcal{A}$ consists of externally definable subsets of $G$.

Logic,General Topology
On some kinds of completeness and semitopological groups with property ( w ⁎)

Liang-Xue Peng,Yu-Ming Deng

DOI: https://doi.org/10.1016/j.topol.2024.108886

IF: 0.583

2024-03-20

Topology and its Applications

Abstract:We show that if X is a Tychonoff metacompact weakly pseudocompact countably sieve-complete space then X is Čech-complete. A metric space X is Čech-complete if and only if X is Telgársky complete. Then it follows that an Oxtoby complete metric space is not necessarily Telgársky complete. This answers Question 11.1 in [8] . We give an internal characterization of subgroups of products of first-countable semitopological groups which are paracompact σ -spaces. We also discuss some properties of regular ω -balanced, locally ω -good semitopological groups with a q -point, property (w⁎) and Sm(G)≤ω . We finally give a sufficient condition under which a semitopological group is topologically isomorphic to a subgroup of a product of first-countable M1 -semitopological groups.

mathematics, applied
The generic dual of p-adic groups and applications

Chris Jantzen,Baiying Liu

2024-04-13

Abstract:In this paper, we give a uniform classification of the generic dual of quasi-split classical groups, their similitude counterparts, and general spin groups. As applications, for quasi-split classical groups, we show that the functorial lifting maps constructed by Cogdell, Kim, Piatetski-Shapiro and Shahidi are surjective. We also analyze structures of general local Langlands parameters and explicitly construct a distinguished element for each local L-packet.

Representation Theory,Number Theory
Generalized $ \widetilde{W} $ algebras

Yaroslav Drachov

2024-07-11

Abstract:Recently, a new generalized family of infinite-dimensional $ \widetilde{W} $ algebras, each associated with a particular element of a commutative subalgebra of the $ W_{1+\infty} $ algebra, was described. This paper provides a comprehensive account of the aforementioned association, accompanied by the requisite proofs and illustrative examples. This approach allows a derivation of Ward identities for selected WLZZ matrix models and the expansion of corresponding $ W $-operators in terms of an infinite set of variables $ p_k $.

High Energy Physics - Theory,Mathematical Physics
Polish G-spaces and continuous logic

A. Ivanov,B. Majcher-Iwanow

DOI: https://doi.org/10.1016/j.apal.2016.11.002

IF: 0.776

2017-04-01

Annals of Pure and Applied Logic

Abstract:We extend the generalised model theory of H. Becker from [2] to the case of Polish G-spaces when G is an arbitrary Polish group. Our approach is inspired by logic actions of Polish groups which arise in continuous logic.

mathematics, applied,logic
On Topological Groups of Automorphisms

Raushan Buzyakova

2024-06-27

Abstract:We study spaces $X$ for which the space $Hom_p(X)$ of automorphisms with the topology of point-wise convergence is a topological group. We identify large classes of spaces $X$ for which $Hom_p(X)$ is or is not a topological group.

General Topology,Group Theory
Abelian Groups Definable in P-Adically Closed Fields

Will Johnson,Ningyuan Yao

DOI: https://doi.org/10.1017/jsl.2023.52

2023-01-01

Journal of Symbolic Logic

Abstract:Recall that a group $G$ has finitely satisfiable generics ($fsg$) or definable $f$-generics ($dfg$) if there is a global type $p$ on $G$ and a small model $M_0$ such that every left translate of $p$ is finitely satisfiable in $M_0$ or definable over $M_0$, respectively. We show that any abelian group definable in a $p$-adically closed field is an extension of a definably compact $fsg$ definable group by a $dfg$ definable group. We discuss an approach which might prove a similar statement for interpretable abelian groups. In the case where $G$ is an abelian group definable in the standard model $\mathbb{Q}_p$, we show that $G^0 = G^{00}$, and that $G$ is an open subgroup of an algebraic group, up to finite factors. This latter result can be seen as a rough classification of abelian definable groups in $\mathbb{Q}_p$.
A NOTE ON S-SPACES

Han-feng WANG,Wei HE

DOI: https://doi.org/10.3969/j.issn.0255-7797.2018.03.004

2018-01-01

Journal of Mathematics

Abstract:In this paper, we study some properties of s-spaces. By means of the addition theorem and the theory of remainders,the following properties are established: (1)if an s-space X is the union of a countable family of metrizable subspaces,then X is sequential;(2)if G is a non-locally compact topological group with a compactification bG such that Y =bG\G is hereditarily an s-space, then either G is separable and metrizable, or G is σ-compact, which generalize and improve some results about s-spaces by Arhangel'skii.

Generic groups and WAP

Generic properties of topological groups

Generic isomorphism classes of abelian groups

A Note on Generic Types

Wreath products of groups acting with bounded orbits

Archimedean l -groups with strong unit: cozero-sets and coincidence of types of ideals

Universal properties of group actions on locally compact spaces

Discrete subgroups of normed spaces are free

Graphical models for topological groups: A case study on countable Stone spaces

Discrete Automorphism Groups of Convex Cones of Finite Type

From uncountable abelian groups to uncountable nonabelian groups

Closed subsets of compact-like topological spaces

Generalized algebras

Ellis groups in model theory and strongly generic sets

On some kinds of completeness and semitopological groups with property ( w ⁎)

The generic dual of p-adic groups and applications

Generalized $ \widetilde{W} $ algebras

Polish G-spaces and continuous logic

On Topological Groups of Automorphisms

Abelian Groups Definable in P-Adically Closed Fields

A NOTE ON S-SPACES