An automorphism group of an omega-stable structure that is not locally (OB)

Joseph Zielinski

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

2015-10-19

Logic

Abstract:We observe that there is an example of an automorphism group of a model of an omega-stable theory---in fact, the prime model of an uncountably-categorical theory---that is not locally (OB), answering a question of C. Rosendal.

What problem does this paper attempt to address?

A topological version of the Bergman property

Christian Rosendal

DOI: https://doi.org/10.1515/forum.2009.014

2009-01-01

Forum Mathematicum

Abstract:A topological group G is defined to have property (OB) if any G-action by isometries on a metric space, which is separately continuous, has bounded orbits. We study this topological analogue of strong uncountable cofinality in the context of Polish groups, where we show it to have several interesting reformulations and consequences. We subsequently apply the results obtained in order to verify property (OB) for a number of groups of isometries and homeomorphism groups of compact metric spaces. We also give a proof that the isometry group of the rational Urysohn metric space of diameter 1 has strong uncountable cofinality.

mathematics, applied
Omega-stable groups

Daniel Lascar

DOI: https://doi.org/10.1007/978-3-540-68521-0_3

2024-03-11

Lecture notes in mathematics

Abstract:This is a self-contained presentation of the theory of ω-stable groups. All proofs are given.

mathematics
Bulk and surface low-energy excitations in YBa2Cu3O7-d studied by high-resolution angle-resolved photoemission spectroscopy

K. Nakayama,T. Sato,K. Terashima,H. Matsui,T. Takahashi,M. Kubota,K. Ono,T. Nishizaki,Y. Takahashi,N. Kobayashi

DOI: https://doi.org/10.1103/PhysRevB.75.014513

2006-11-20

Abstract:We have performed high-resolution angle-resolved photoemission spectroscopy on YBa2Cu3O7-delta (Y123; delta = 0.06; Tc = 92 K). By accurately determining the Fermi surface and energy band dispersion, we solve long-standing controversial issues as to the anomalous electronic states of Y-based high-Tc cuprates. We unambiguously identified surface-bilayer-derived bonding and antibonding bands, together with their bulk counterparts. The surface bands are highly overdoped (hole concentration x = 0.29), showing no evidence for the gap opening or the dispersion anomaly in the antinodal region, while the bulk bands show a clear dx2-y2-wave superconducting gap and the Bogoliubov quasiparticle-like behavior with a characteristic energy scale of 50-60 meV indicative of a strong electron-boson coupling in the superconducting state. All these results suggest that the metallic and superconducting states coexist at the adjacent bilayer of Y123 surface.

Superconductivity,Strongly Correlated Electrons
The structure of generic automorphisms of the random poset

Dakota Thor Ihli

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

2020-12-29

Abstract:We examine properties of generic automorphisms of the random poset, with the goal of explicitly characterizing them. We associate to each automorphism an auxiliary first-order structure, consisting of the random poset equipped with an infinite sequence of binary relations which encode the action of the automorphism. We then explicitly characterize generic automorphisms in terms of properties of this structure. Two notable such properties are ultrahomogeneity, and universality for a certain class of finite structures in this language. As this auxiliary structure seems to be new, we also address some model-theoretic questions. In particular, this structure fails to be saturated, and its theory neither is $\omega$-categorical nor admits quantifier-elimination, in contrast to many known ultrahomogeneous structures in finite languages. We also examine orbitals -- order-convex hulls of orbits -- and their use in describing automorphisms. In particular, we introduce and use new orders on the space of orbitals.

Logic,Combinatorics,Group Theory
Two classes of oligomorphic groups with smooth topological isomorphism relation

Gianluca Paolini,Andre Nies

2024-10-03

Abstract:It is an open question whether topological isomorphism of oligomorphic groups is smooth in the sense of Borel reducibility. We show smoothness for two Borel classes of oligomorphic groups: groups with no algebraicity, and groups with finitely many {\em essential} subgroups up to conjugacy. This second class, which is new, contains the class of automorphism groups of $\aleph_0$-categorical structures that have weak elimination of imaginaries, studied in (G.\ Paolini, the isomorphism problem for oligomorphic groups with weak elimination of imaginaries, Bull.\ London Math.\ Soc., 2024). Towards showing this, we obtain results on general oligomorphic groups $G$ that are of independent interest. $\Inn(G)$ is closed in $\Aut(G)$, where $\Aut(G)$ carries the topology of pointwise convergence on open cosets. $N_G/G$ is profinite, where $N_G$ denotes the normaliser of $G$ in $\Sym(\omega)$. The topological group $\Out(G)= \Aut(G)/\Inn(G)$ is totally disconnected, locally compact. Finally, we show that if $G$ is in one of our two classes, then $\Aut(G)$ is topologically isomorphic \mbox{to an oligomorphic group, and that $\Out(G)$ is profinite.}

Logic,Group Theory
Omega-categorical pseudofinite groups

Dugald Macpherson,Katrin Tent

2024-03-26

Abstract:We explore the interplay between omega-categoricity and pseudofiniteness for groups, conjecturing that omega-categorical pseudofinite groups are finite-by-abelian-by-finite. We show that the conjecture reduces to nilpotent p-groups of class 2, and give a proof that several of the known examples of omega-categorical p-groups satisfy the conjecture. In particular, we show by a direct counting argument that for any odd prime p the (omega-categorical) model companion of the theory of nilpotent class 2 exponent p groups, constructed by Saracino and Wood, is not pseudofinite, and that an omega-categorical group constructed by Baudisch with supersimple rank 1 theory is not pseudofinite. We also survey some scattered literature on omega-categorical groups over 50 years.

Logic,Group Theory
Automorphism groups of prime models, and invariant measures

Anand Pillay

2024-05-20

Abstract:We adapt the notion of a (relatively) definable subset of Aut(M) when M is a saturated model to the case Aut(M/A) when M is atomic and strongly omega-homogeneous over A. We discuss the existence and uniqueness of invariant measures on the Boolean algebra of definable subsets of Aut(M/A). For example when Th(M) is stable we have existence and uniqueness. We also discuss the compatibility of our definability notions with definable Galois cohomology and differential Galois theory.

Logic
Faithful actions of automorphisms on the space of orderings of a group

Thomas Koberda

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

2011-12-06

Abstract:In this article we study the space of left- and bi-invariant orderings on a torsion-free nilpotent group $G$. We will show that generally the set of such orderings is equipped with a faithful action of the automorphism group of $G$. We prove a result which allows us to establish the same conclusion when $G$ is assumed to be merely residually torsion-free nilpotent. In particular, we obtain faithful actions of mapping class groups of surfaces. We will draw connections between the structure of orderings on residually torsion-free nilpotent, hyperbolic groups and their Gromov boundaries, and we show that in those cases a faithful $\Aut(G)$-action on the boundary is equivalent to a faithful $\Aut(G)$ action on the space of left--invariant orderings.

Geometric Topology,Group Theory
Local permutation stability

Henry Bradford

2024-09-05

Abstract:We introduce a notion of "local stability in permutations" for finitely generated groups. If a group is sofic and locally stable in our sense, then it is also locally embeddable into finite groups (LEF). Our notion is weaker than the "permutation stability" introduced by Glebsky-Rivera and Arzhantseva-Paunescu, which allows one to upgrade soficity to residual finiteness. We prove a necessary and sufficient condition for an amenable group to be locally permutation stable, in terms of invariant random subgroups (IRSs), inspired by a similar criterion for permutation stability due to Becker, Lubotzky and Thom. We apply our criterion to prove that derived subgroups of topological full groups of Cantor minimal subshifts are locally stable, using Zheng's classification of IRSs for these groups. This last result provides continuum-many groups which are locally stable, but not stable.

Group Theory
AUTOMORPHISM GROUPS OF RANDOMIZED STRUCTURES

TOMÁS IBARLUCÍA

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

2017-09-01

Abstract:Abstract We study automorphism groups of randomizations of separable structures, with focus on the א 0 -categorical case. We give a description of the automorphism group of the Borel randomization in terms of the group of the original structure. In the א 0 -categorical context, this provides a new source of Roelcke precompact Polish groups, and we describe the associated Roelcke compactifications. This allows us also to recover and generalize preservation results of stable and NIP formulas previously established in the literature, via a Banach-theoretic translation. Finally, we study and classify the separable models of the theory of beautiful pairs of randomizations, showing in particular that this theory is never א 0 -categorical (except in basic cases).
Stabilizers for ergodic actions and invariant random expansions of non-archimedean Polish groups

Colin Jahel,Matthieu Joseph

2023-11-28

Abstract:Let $G$ be a closed permutation group on a countably infinite set $\Omega$, which acts transitively but not highly transitively. If $G$ is oligomorphic, has no algebraicity and weakly eliminates imaginaries, we prove that any probability measure preserving ergodic action $G\curvearrowright (X,\mu)$ is either essentially free or essentially transitive. As this stabilizers rigidity result concerns a class of non locally compact Polish groups, our methods of proof drastically differ from that of similar results in the realm of locally compact groups. We bring the notion of dissociation from exchangeability theory in the context of stabilizers rigidity by proving that if $G\lneq\mathrm{Sym}(\Omega)$ is a transitive, proper, closed subgroup, which has no algebraicity and weakly eliminates imaginaries, then any dissociated probability measure preserving action of $G$ is either essentially free or essentially transitive. A key notion that we develop in our approach is that of invariant random expansions, which are $G$-invariant probability measures on the space of expansions of the canonical (model theoretic) structure associated with $G$. We also initiate the study of invariant random subgroups for Polish groups and prove that - although the result for p.m.p. ergodic actions fails for the group $\mathrm{Sym}(\Omega)$ of all permutations of $\Omega$ - any ergodic invariant random subgroup of $\mathrm{Sym}(\Omega)$ is essentially transitive.

Dynamical Systems,Group Theory,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
Automorphisms of the Category of Free Non-Associative Algebras with Unit

Elena Aladova,Jéssica Stefanny Sousa de Lima Oliveira,Jessica Stefanny Sousa de Lima Oliveira

DOI: https://doi.org/10.1142/s0219498825502263

2024-02-28

Journal of Algebra and Its Applications

Abstract:The goal of this paper is to describe the group of strongly stable automorphisms of the category of free finitely generated non-associative algebras with unit. The motivation of this research comes from universal algebraic geometry. From this perspective, our main result tells us what are the non-associative algebras with unit geometrically similar to a given one. The characterization of strongly stable automorphisms is provided by the method of verbal operations. We also specify some facts related to behavior of nullary operations on arbitrary algebraic structures.

mathematics, applied
Large normalizers of -odometer systems and realization on substitutive subshifts

Christopher Cabezas,Samuel Petite

DOI: https://doi.org/10.3934/dcds.2024080

2024-06-20

Discrete and Continuous Dynamical Systems

Abstract:For a -topological dynamical system , an isomomorphism is a self-homeomorphism such that for some matrix and any , , where denote the self-homeomorphism of given by the action of . The collection of all the isomorphisms forms a group that is the normalizer of the set of transformations . In the one-dimensional case, isomorphisms correspond to the notion of flip conjugacy of dynamical systems and by this fact are also called reversing symmetries.Isomorphisms are not well understood even for classical systems. We present a description of them for odometers and more precisely for constant-base -odometers, which is surprisingly not simple. We deduce a complete description of the isomorphisms of some minimal -substitutive subshifts. This enables us to provide the first known example of a minimal zero-entropy subshift with the largest possible normalizer group.

mathematics, applied
Structural, point-free, non-Hausdorff topological realization of Borel groupoid actions

Ruiyuan Chen

DOI: https://doi.org/10.1017/fms.2024.25

2024-03-16

Abstract:We extend the Becker--Kechris topological realization and change-of-topology theorems for Polish group actions in several directions. For Polish group actions, we prove a single result that implies the original Becker--Kechris theorems, as well as Sami's and Hjorth's sharpenings adapted levelwise to the Borel hierarchy; automatic continuity of Borel actions via homeomorphisms; and the equivalence of "potentially open" versus "orbitwise open" Borel sets. We also characterize "potentially open" $n$-ary relations, thus yielding a topological realization theorem for invariant Borel first-order structures. We then generalize to groupoid actions, and prove a result subsuming Lupini's Becker--Kechris-type theorems for open Polish groupoids, newly adapted to the Borel hierarchy, as well as topological realizations of actions on fiberwise topological bundles and bundles of first-order structures. Our proof method is new even in the classical case of Polish groups, and is based entirely on formal algebraic properties of category quantifiers; in particular, we make no use of either metrizability or the strong Choquet game. Consequently, our proofs work equally well in the non-Hausdorff context, for open quasi-Polish groupoids, and more generally in the point-free context, for open localic groupoids.

Logic,Category Theory,Dynamical Systems
Large normalizers of ${\mathbb Z}^{d}$-odometers systems and realization on substitutive subshifts

Christopher Cabezas,Samuel Petite

2023-09-19

Abstract:For a ${\mathbb Z}^{d}$-topological dynamical system $(X, T, {\mathbb Z}^{d})$, an isomomorphism is a self-homeomorphism $\phi : X\to X$ such that for some matrix $M\in {\rm GL}(d,{\mathbb Z})$ and any ${n}\in {\mathbb Z}^{d}$, $\phi\circ T^{n}=T^{M{n}}\circ \phi$, where $T^{n}$ denote the self-homeomorphism of $X$ given by the action of ${n}\in {\mathbb Z}^d$. The collection of all the isomorphisms forms a group that is the normalizer of the set of transformations $T^{n}$. In the one-dimensional case, isomorphisms correspond to the notion of flip conjugacy of dynamical systems and by this fact are also called reversing symmetries. These isomorphisms are not well understood even for classical systems. We present a description of them for odometers and more precisely for constant-base ${\mathbb Z}^{2}$-odometers, which is surprisingly not simple. We deduce a complete description of the isomorphisms of some minimal ${\mathbb Z}^{d}$-substitutive subshifts. This enables us to provide the first example known of a minimal zero-entropy subshift with the largest possible normalizer group.

Dynamical Systems
$Z^{d}$-odometers and cohomology

Thierry Giordano,Ian F. Putnam,Christian F. SKau

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

2017-09-26

Abstract:Cohomology for actions of free abelian groups on the Cantor set has (when endowed with an order structure) provided a complete invariance for orbit equivalence. In this paper, we study a particular class of actions of such groups called odometers (or profinite actions) and investigate their cohomology. We show that for a free, minimal $\Z^{d}$-odometer, the first cohomology group provides a complete invariant for the action up to conjugacy. This is in contrast with the situation for orbit equivalence where it is the cohomology in dimension $d$ which provides the invariant. We also consider classification up to isomorphism and continuous orbit equivalence.

Dynamical Systems
Automorphisms of categories of free algebras with unit for classical varieties of non-associative algebras

E. Aladova

DOI: https://doi.org/10.1080/00927872.2024.2330687

2024-03-25

Communications in Algebra

Abstract:The goal of this paper is to describe the group of strongly stable automorphisms for categories of free finitely generated non-associative algebras with unit for classical varieties of non-associative algebras, in particular for the varieties of commutative, Jordan, alternative and power associative algebras. The motivation of this research is tightly connected with some problems in Universal Algebraic Geometry.

mathematics
On the Zariski topology on endomorphism monoids of omega-categorical structures

Michael Pinsker,Clemens Schindler

2023-08-18

Abstract:The endomorphism monoid of a model-theoretic structure carries two interesting topologies: on the one hand, the topology of pointwise convergence induced externally by the action of the endomorphisms on the domain via evaluation; on the other hand, the Zariski topology induced within the monoid by (non-)solutions to equations. For all concrete endomorphism monoids of $\omega$-categorical structures on which the Zariski topology has been analysed thus far, the two topologies were shown to coincide, in turn yielding that the pointwise topology is the coarsest Hausdorff semigroup topology on those endomorphism monoids. We establish two systematic reasons for the two topologies to agree, formulated in terms of the model-complete core of the structure. Further, we give an example of an $\omega$-categorical structure on whose endomorphism monoid the topology of pointwise convergence and the Zariski topology differ, answering a question of Elliott, Jonušas, Mitchell, Péresse and Pinsker.

Logic,General Topology,Rings and Algebras

An automorphism group of an omega-stable structure that is not locally (OB)

A topological version of the Bergman property

Omega-stable groups

Bulk and surface low-energy excitations in YBa2Cu3O7-d studied by high-resolution angle-resolved photoemission spectroscopy

The structure of generic automorphisms of the random poset

Two classes of oligomorphic groups with smooth topological isomorphism relation

Omega-categorical pseudofinite groups

Automorphism groups of prime models, and invariant measures

Faithful actions of automorphisms on the space of orderings of a group

Local permutation stability

AUTOMORPHISM GROUPS OF RANDOMIZED STRUCTURES

Stabilizers for ergodic actions and invariant random expansions of non-archimedean Polish groups

On Topological Groups of Automorphisms

Automorphisms of the Category of Free Non-Associative Algebras with Unit

Large normalizers of -odometer systems and realization on substitutive subshifts

Structural, point-free, non-Hausdorff topological realization of Borel groupoid actions

Large normalizers of ${\mathbb Z}^{d}$-odometers systems and realization on substitutive subshifts

$Z^{d}$-odometers and cohomology

Automorphisms of categories of free algebras with unit for classical varieties of non-associative algebras

On the Zariski topology on endomorphism monoids of omega-categorical structures