The open mapping principle for partial actions of polish groups

J Gómez,H. Pinedo,C. Uzcátegui

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

2017-09-07

Abstract:We present a extension of the classical open mapping principle and Effros' theorem for Polish group actions to the context of partial group actions.

Functional Analysis

What problem does this paper attempt to address?

Polish group actions and effectivity

Barbara Majcher-Iwanow

DOI: https://doi.org/10.1007/s00153-012-0282-y

2012-05-12

Archive for Mathematical Logic

Abstract:We extend a theorem of Barwise and Nadel describing the relationship between approximations of canonical Scott sentences and admissible sets to the case of orbit equivalence relations induced on an arbitrary Polish space by a Polish group action.

mathematics,logic
Polish globalization of Polish group partial actions

Hector Pinedo,Carlos Uzcátegui

DOI: https://doi.org/10.1002/malq.201600018

2017-12-01

Mathematical Logic Quarterly

Abstract:Abstract Let be a separable metrizable space. We establish a criteria for the existence of a metrizable globalization for a given continuous partial action of a separable metrizable group G on . If G and are Polish spaces, we show that the globalization is also a Polish space. We also show the existence of an universal globalization for partial actions of Polish groups.

mathematics,logic
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
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
Spin alignments of vector mesons in deeply inelastic lepton-nucleon scattering

Qing-hua Xu,Zuo-tang Liang

DOI: https://doi.org/10.1103/PhysRevD.66.017301

2002-05-25

Abstract:We extend the calculations of the spin alignments of vector mesons in $e^+e^-$ annihilation in a recent Rapid Communication to deeply inelastic lepton-nucleon scatterings. We present the results for different mesons in the current fragmentation regions of $\mu^- N$$ \to$$ \mu^- VX$ at high energies and $\nu_\mu N $$\to$$ \mu^- VX$ at both high and low energies. We also present the predictions for $\nu_\mu N$$ \to$$ \mu^- VX$ at NOMAD energies in the target fragmentation region using a valence quark model.

High Energy Physics - Phenomenology
Poissonian Actions of Polish Groups

Nachi Avraham-Re'em,Emmanuel Roy

2024-09-20

Abstract:We define and study Poissonian actions of Polish groups as a framework to Poisson suspensions, characterize them spectrally, and provide a complete characterization of their ergodicity. We further construct 'spatial' Poissonian actions, answering partially a question of Glasner, Tsirelson & Weiss about Lévy groups. We also construct for every diffeomorphism group an ergodic free spatial probability preserving actions. This constitutes a new class of Polish groups admitting non-essentially countable orbit equivalence relations, obtaining progress on a problem of Kechris.

Dynamical Systems,Probability
Key subgroups in the Polish group of all automorphisms of the rational circle

Michael Megrelishvili

2024-10-23

Abstract:Extending some results of a joint work with E. Glasner (2021) we continue to study the Polish group $G:=\mathrm{Aut}(\mathbb{Q}_0)$ of all circular order preserving permutations of $\mathbb{Q}_0$ with the pointwise topology, where $\mathbb{Q}_0$ is the rational discrete circle. We show, among others, that certain extremely amenable subgroups $H$ of $G:=\mathrm{Aut}(\mathbb{Q}_0)$ are inj-key but not co-minimal in $G$. This counterexample answers a question from a joint work with M. Shlossberg (2024) and inspired by a question proposed by V. Pestov about Polish groups $G$ with metrizable universal minimal $G$-flow $M(G)$. It is an open problem to study Pestov's question in its full generality.

Dynamical Systems,Functional Analysis,General Topology
Every Polish group has a non-trivial topological group automorphism

Carlos Pérez Estrada,Ulises Ariet Ramos-García

2024-09-11

Abstract:We prove that every Polish group admits a non-trivial topological group automorphism. This answers a question posed by Forte Shinko. As a consequence, we prove that there are no uniquely homogeneous Polish groups.

Logic
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
Partial actions of groups on hyperspaces

Luís Martínez,Héctor Pinedo,Edwar Ramírez

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

2021-05-22

Abstract:Let $X$ be a compact Hausdorff space. In this work we translate partial actions of $X$ to partial actions on some hyperspaces determined by $X,$ this gives an endofunctor $2^{-}$ in the category of partial actions on compact Hausdorff spaces which generates a monad in this category. Moreover, structural relations between partial actions $\theta$ on $X$ and partial determined by $2^{\theta}$ are established.

General Topology,Operator Algebras
Multiorders in Amenable Group Actions

Tomasz Downarowicz,Piotr Oprocha,Mateusz Wiecek,Guohua Zhang

DOI: https://doi.org/10.4171/ggd/738

2024-01-01

Groups Geometry and Dynamics

Abstract:The paper offers a thorough study of multiorders and their applications to measurepreserving actions of countable amenable groups. By a multiorder on a countable group, we mean any probability measure v on the collection (O) over tilde of linear orders of type Z on G, invariant under the natural action of G on such orders. Multiorders exist on any countable amenable group (and only on such groups) and every multiorder has the Folner property, meaning that almost surely the order intervals starting at the unit form a Folner sequence. Every free measure-preserving Gaction (X, mu, G) has a multiorder ((O) over tilde, v, G) as a factor and has the same orbits as the Z-action (X, mu, S), where S is the successor map determined by the multiorder factor. Moreover, the subsigma-algebra Sigma((O) over tilde) associated with the multiorder factor is invariant under S, which makes the corresponding Z-action ((O) over tilde, v, (S) over tilde) a factor of (X, mu, S). We prove that the entropy of any G-process generated by a finite partition of X, conditional with respect to Sigma((O) over tilde), is preserved by the orbit equivalence with (X, mu, S). Furthermore, this entropy can be computed in terms of the so-called random past, by a formula analogous to h(mu, T, P) = H(mu, P|P-) known for Z-actions. The above fact is then applied to prove a variant of a result by Rudolph and Weiss (2000). The original theorem states that orbit equivalence between free actions of countable amenable groups preserves conditional entropy with respect to a sub-sigma-algebra E, as soon as the "orbit change" is measurable with respect to Sigma. In our variant, we replace the measurability assumption by a simpler one: E should be invariant under both actions and the actions on the resulting factor should be free. In conclusion, we provide a characterization of the Pinsker sigma-algebra of any G -process in terms of an appropriately defined remote past arising from a multiorder. The paper has an appendix in which we present an explicit construction of a particularly regular (uniformly Folner) multiorder based on an ordered dynamical tiling system of G.
Tactical decompositions in finite polar spaces and non-spreading classical group actions

John Bamberg,Michael Giudici,Jesse Lansdown,Gordon F. Royle

2024-06-25

Abstract:For finite classical groups acting naturally on the set of points of their ambient polar spaces, the symmetry properties of \emph{synchronising} and \emph{separating} are equivalent to natural and well-studied problems on the existence of certain configurations in finite geometry. The more general class of \emph{spreading} permutation groups is harder to describe, and it is the purpose of this paper to explore this property for finite classical groups. In particular, we show that for most finite classical groups, their natural action on the points of its polar space is non-spreading. We develop and use a result on tactical decompositions (an \emph{AB-Lemma}) that provides a useful technique for finding witnesses for non-spreading permutation groups. We also consider some of the other primitive actions of the classical groups.

Group Theory,Combinatorics
On the continuity of partial actions of Hausdorff groups on metric spaces

J. Gómez,H. Pinedo,C. Uzcátegui

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

2017-10-04

Abstract:We provide a sufficient condition for a topological partial action of a Hausdorff group on a metric space is continuous, provide that it is separately continuous.

Dynamical Systems
Partial actions on quotient spaces and globalization

L. Martínez,H. Pinedo,A. Villamizar

2023-12-20

Abstract:Given a partial action of a topological group $G$ on a space $X$, we determine properties $\mathcal P$ which can be extended from $X$ to its globalization. We treat the cases when $\mathcal P$ is any of the following: Hausdorff, regular, metrizable, second countable and having invariant metric. Further, for a normal subgroup $H$ we introduce and study a partial action of $G/H$ on the orbit space $X/\!\sim,$ applications to invariant metrics and inverse limits are presented.

General Topology,Operator Algebras
Complexity classes of Polishable subgroups

Martino Lupini

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

2022-02-04

Logic

Abstract:In this paper we further develop the theory of canonical approximations of Polishable subgroups of Polish groups, building on previous work of Solecki and Farah--Solecki. In particular, we obtain a characterization of such canonical approximations in terms of their Borel complexity class. As an application we provide a complete list of all the possible Borel complexity classes of Polishable subgroups of Polish groups or, equivalently, of the ranges of continuous group homomorphisms between Polish groups. We also provide a complete list of all the possible Borel complexity classes of the ranges of: continuous group homomorphisms between non-Archimedean Polish groups; continuous linear maps between separable Fr\'{e}chet spaces; continuous linear maps between separable Banach spaces.
Spatial models for boolean actions in the infinite measure-preserving setup

Fabien Hoareau,François Le Maître

2024-06-04

Abstract:We show that up to a null set, every infinite measure-preserving action of a locally compact Polish group can be turned into a continuous measure-preserving action on a locally compact Polish space where the underlying measure is Radon. We also investigate the distinction between spatial and boolean actions in the infinite measure-preserving setup. We finally obtain a streamlined proof of a recent result of Avraham-Re'em and Roy: Levy groups cannot admit nontrivial continous measure-preserving actions on Polish spaces when the measure is locally finite.

Dynamical Systems,Group Theory,Operator Algebras
Polish Topologies for Graph Products of Groups

Gianluca Paolini,Saharon Shelah

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

2018-09-25

Abstract:We give strong necessary conditions on the admissibility of a Polish group topology for an arbitrary graph product of groups $G(\Gamma, G_a)$, and use them to give a characterization modulo a finite set of nodes. As a corollary, we give a complete characterization in case all the factor groups $G_a$ are countable.

Logic
The category of partial group actions: quotients, (co)limits and groupoids

Emmanuel Jerez

2024-04-23

Abstract:We consider the category of partial actions, where the group and the set upon which the group acts can vary. Within this framework, we develop a theory of quotient partial actions and prove that this category is both (co)complete and encompasses the category of groupoids as a full subcategory. In particular, we establish the existence of a pair of adjoint functors, denoted as $\Phi : \textbf{Grpd} \to \textbf{PA}$ and $\Psi : \textbf{PA} \to \textbf{Grpd}$, with the property that $\Psi \Phi \cong 1_{\textbf{Grpd} }$. Next, for a given groupoid $\Gamma$, we provide a characterization of all partial actions that allow the recovery of the groupoid $\Gamma$ through $\Psi$. This characterization is expressed in terms of certain normal subgroups of a universal group constructed from $\Gamma.$

Group Theory
Polynomial functions for locally compact group actions

Magnus B. Landstad,Alfons Van Daele

2023-09-15

Abstract:Consider a locally compact group $G$ and a locally compact space $X$. A local right action of $G$ on $X$ is a continuous map $(x,p)\mapsto x\cdot p$ from an open subset $\Gamma$ of the Cartesian product $X\times G$ to $X$ satisfying certain obvious properties. A global right action of $G$ on $X$ gives rise to a global left action of $G$ on the space $C_c(X)$ of continuous complex functions with compact support in $X$ by the formula $p\,\cdot f:x\mapsto f(x\cdot p)$. In the case of a local action, one still can define $p\,\cdot f$ in $C_c(X)$ by this formula for $f\in C_c(X)$ and $p$ in a neighborhood $V_f$ of the identity in $G$. This yields a local left action of $G$ on $C_c(X)$. Given a local right action of $G$ on $X$, a function $f\in C_c(X)$ is called polynomial if there is a neighborhood $V$ of the identity, contained in $V_f$, and a finite-dimensional subspace $F$ of $C_c(X)$ containing all the functions $v\cdot f$ for $v\in V$. In this paper we study such polynomial functions. If $G$ acts on itself by multiplication, we are also interested in the local actions obtained by restricting it to an open subset of $G$. This is the typical situation that is encountered in our paper on bicrossproducts of groups with a compact open subgroup. In fact, the need for a better understanding of polynomial functions for that case has led us to develop the theory in general here.

Functional Analysis

The open mapping principle for partial actions of polish groups

Polish group actions and effectivity

Polish globalization of Polish group partial actions

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

Polish G-spaces and continuous logic

Spin alignments of vector mesons in deeply inelastic lepton-nucleon scattering

Poissonian Actions of Polish Groups

Key subgroups in the Polish group of all automorphisms of the rational circle

Every Polish group has a non-trivial topological group automorphism

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

Partial actions of groups on hyperspaces

Multiorders in Amenable Group Actions

Tactical decompositions in finite polar spaces and non-spreading classical group actions

On the continuity of partial actions of Hausdorff groups on metric spaces

Partial actions on quotient spaces and globalization

Complexity classes of Polishable subgroups

Spatial models for boolean actions in the infinite measure-preserving setup

Polish Topologies for Graph Products of Groups

The category of partial group actions: quotients, (co)limits and groupoids

Polynomial functions for locally compact group actions