Pettis property for Polish inverse semigroups
研究了波兰逆半群的一个性质，它类似于经典的Pettis关于波兰群的定理。与波兰群相反，不是每个波兰逆半群都有佩蒂斯性质。本文给出了N的子集间部分双射的对称逆半群I（N）的波兰逆子半群的几个例子。我们还研究了我们的例子是否满足自动连续性。
2022-03-26 math.GN math.LO
A Polish group containing a Haar null $F_σ$-subgroup that cannot be enlarged to a Haar null $G_δ$-set
利用Elekes和Vidnyánszky的一个问题，我们构造了一个波兰Meta阿贝尔群$H$和一个子群$F\subset H$，它是$H$中的一个Haar空$F_σ$ -集，不能扩大为一个Haar空$G_δ$ -集.
2016-04-01 math.GN math.GR
Banalytic spaces and characterization of Polish groups
定义了一个拓扑空间是解析的（或解析的），如果它是波兰空间在Borel（resp.连续）映射。正则拓扑空间是解析的当且仅当它是解析的和宇宙的。每个（正则）b解析空间都有可数的扩展（在PFA下是遗传的Lindelöf）。将b解析空间应用于拓扑群，证明了对于Baire拓扑群$X$，下列条件等价：（1）$X$是波兰的，（2）$X$是解析的，（3）$X$是解析的和宇宙的，（4）$X$是解析的和具有可数伪特征标.在PFA下，条件（1）-（4）等价于$X$的b分析。条件（1）-（3）对任何Baire拓扑群都是等价的。
2019-01-30 math.GN math.GR
Universal and ultrahomogeneous abelian Polish metric group
利用Fra\”iss\' e理论方法构造了一个泛超齐次可分Abel度量群.我们证明了这样的群是一个泛交换波兰群，从而为Shkarin已经发现的一个结果提供了另一个证明。然后，我们构造普遍和超齐次阿贝尔周期度量群有界指数，它遵循这些群体也是泛对象相应的类阿贝尔波兰群。
2013-10-16 math.GN math.GR math.LO
The Exact Completion of the Category of Polish Groups
University of Bologna（博洛尼亚大学）；Chalmers University of Technology（查尔姆斯理工大学）；University of Gothenburg（哥德堡大学）
本文研究波兰群范畴的正合完备化，将其刻画为具有波兰覆盖且配备博雷尔可定义群同态的群范畴，同时给出该正合完备化态射的等价刻画及相关子范畴的对应描述。
2026-08-28 math.CT math.GN math.GR
Isometry groups of proper metric spaces
给定局部紧Polish空间X，给出了X的同胚群G是（X，d）的全等距群的一个充要条件，其中d是X上的一个真度量.本文证明了：任意局部紧Polish空间Y具有不同于（1，2）的（card（G），card（Y）），G在GxY上自由作用，作为GxY关于GxY上某个适当度量的全等距群.刻画了在完全度量空间上作为全等距群有效且几乎传递的局部紧Polish群。刻画了局部紧波兰非阿贝尔群的特征，并对其进行了完全分类，证明了每个左不变度量自动右不变.证明了对于每个局部紧的Polish空间X，使得Iso（X，d）= {id}的真度量集d在X上的所有真度量空间中是稠密的.
2012-07-10 math.GN math.GR
The class and dynamics of $α$-balanced Polish groups
本文引入$α$-平衡波兰群类以分层TSI群与CLI群之间的空间，建立闭包性质和有界性原理，并提出泛型$α$-非平衡性作为分类障碍，构造了具有强泛型遍历性的作用。
2024-06-10 math.DS math.GN math.GR
Applications of Borel-definable homological algebra to locally compact groups
University of Bologna（博洛尼亚大学）
该研究将Borel可定义同调代数应用于局部紧群领域，刻画$\boldsymbol{\text{LCPAb}}$左心并证明多个相关范畴的左心无非零内射对象，推进了局部紧群同调理论的研究。
2026-08-31 math.CT math.GN math.GR
Haar-$\mathcal I$ sets: looking at small sets in Polish groups through compact glasses
推广了Christensen的Haar-空集和Darji的Haar-贫乏集的概念，引入并研究了Polish群中的Haar- $\mathcal I$集的概念.这里$\mathcal I$是某个紧可度量化空间$K$的子集的理想。波兰群$X$的Borel子集$B\subset X$称为$\mathcal I$，如果存在一个连续映射$f:K\to X$使得对所有$x\in X$有$f^{-1}(B+x)\in\mathcal I$.此外，如果证明函数集$\{f\in C(K,X):\forall x\in X\;\;f^{-1}(B+x)\in\mathcal I\}$在函数空间$C(K,X)$中是一致的，则$B$一般是Haar-$\mathcal I$.本文研究了波兰群中许多具体理想和抽象理想$\mathcal I$的Haar-$\mathcal I$集，并构造了相应的判别例子.本文证明了Haar- $\mathcal I$集的Borel壳的一些结果，推广了Solecki，Elekes，Vidnyánszky，Doležal，Vlask关于Haar-null和Haar-meager集的Borel壳的结果.我们还建立了各种Steinhaus性质的家庭（一般）Haar- $\mathcal I$集在波兰群的各种理想$\mathcal I$。
2019-08-26 math.GN math.GR
Automatic continuity of abstract homomorphisms between locally compact and Polish groups
我们关心的是以下类型的问题。假设$G$和$K$是属于某个空间类$\cal K$的拓扑群，并假设$ϕ:K \to G$是抽象（即不一定连续）满射群同态。在什么条件下群$G$和核上的同态$ϕ$自动连续和开？这种类型的问题有很长的历史，特别是研究了$G$和$K$是李群、紧群或波兰群的情况。我们开发了一个公理化的方法，它使我们能够解决这个问题，统一为不同类别的拓扑群。这样，我们就能把关于自动连续性的经典结果推广到更一般的场合。
2018-12-05 math.GN math.GR
Some analogies between Haar meager sets and Haar null sets in abelian Polish groups
在本文中，我们将注意到Haar贫集和Haar空集之间的一些类比。除其他外，我们将表明，$0\in \inn (A-A)$为每个博雷尔集$A$，这不是哈尔微薄的阿贝尔波兰组。此外，我们将给出一个Borel非Haar贫乏集$A\subset c_0$的例子，使得$\inn (A+A)=\emptyset$。最后，我们将$D$ -可测性定义为Christensen可测性的一个拓扑类比，并应用我们对Piccard定理的推广证明了每个$D$ -可测同态都是连续的。我们的结果参考了\cite{Ch}、\cite{Darji}和\cite{FS}的论文。
2014-05-12 math.FA math.GN
Is an arbitrary diffused Borel probability measure in a Polish space without isolated points Haar measure?
利用Polish群的结构和双边（左或右）不变Haar测度，给出了连续统的任意基数集的一种配置方法。通过使用这种方法，我们肯定地回答了Maleki（2012）的某个问题{ \it什么是具有至少两个不同李群结构且具有相同Haar测度的实$k$维流形。证明了在不含孤立点的Polish空间$(G,ρ,\mathcal{B}_ρ(G))$中定义的每个扩散Borel概率测度$μ$，在$G$中存在度量$ρ_1$和群运算$\odot$，使得$\mathcal{B}_ρ(G)=\mathcal{B}_{ρ_1}(G)$和$(G,ρ_1, \mathcal{B}_{ρ_1}(G), \odot)$是一个紧的双边Polish群（左或右）不变Haar测度$μ$，其中$\mathcal{B}_ρ(G)$和$\mathcal{B}_{ρ_1}(G)$分别表示由度量$ρ$和$ρ_1$生成的$G$的子集的Borel $σ$代数。对于局部紧非紧或非局部紧的波兰群的构造，也得到了类似的结果，这些波兰群具有双侧（左或右）不变的拟有限Borel测度.
2015-07-25 math.FA math.GN
Isometry groups of Polish ultrametric spaces
University of Genoa（热那亚大学）
本文通过 generalized wreath products 解决了 Krasner 在 1950 年提出的问题，并给出了波兰超度量空间等距群的特征化，同时解决了 Gao 和 Kechris 的问题。
2026-03-18 math.CO math.GN math.GR
Packing index of subsets in Polish groups
对于波兰群$G$的一个子集$A$，我们研究了（几乎）填充指数$\ind_P(A)$（resp. $A$的基数（$\Ind_P(A)$），等于子集$S\subset G$的基数$|S|$的上确界，使得移位族$\{xA\}_{x\in S}$（几乎）不相交（在这个意义上，对于任何不同的点$x,y\in S$，$|xA\cap yA|<|A|$）。具有小（几乎）填充指数的子集$A\subset G$在几何意义上是小的。我们证明了波兰群的任何$σ$ -紧子集$A$的$\ind_P(A)\in \IN\cup\{\aleph_0,\cc\}$.如果$A\subset G$是Borel，则填充指数$\ind_P(A)$和$\Ind_P(A)$不能在半区间$[\sq(Π^1_1),\cc)$中取值，其中$\sq(Π^1_1)$是某个不可数基数，在ZFC的某些模型中小于$\cc$。在每个非离散波兰阿贝尔群$G$中，我们构造了两个闭子集$A,B\subset G$，其中有$\ind_P(A)=\ind_P(B)=\cc$和$\Ind_P(A\cup B)=1$，然后应用这个结果证明了对于任意给定的基数$κ\in[4,\cc]$，$G$包含无处稠密的Haar空子集$C\subset G$，其中有$\ind_P(C)=\Ind_P(C)=κ$.
2008-04-08 math.CO math.GN
Constructing universally small subsets of a given packing index in Polish groups
Polish空间$X$的一个子集称为泛小的，如果它属于$X$上的每个具有Borel基的ccc $σ$ -理想.在每个不可数阿贝尔波兰群$G$中的CH下，我们构造了一个泛小子集$A_0\subset G$，使得对每个$g\in G$有$|A_0\cap gA_0|=\mathfrak c$.对于每个基数$κ\in[5,\mathfrak c^+]$，集合$A_0$包含$G$的一个通用的小子集$A$，其具有尖锐的填充指数$\pack^\sharp(A_κ)=\sup\{|\mathcal D|^+:\mathcal D\subset \{gA\}_{g\in G}$不相交$\}$等于$κ$。
2011-06-11 math.AC math.GN math.GR
Topological AE(0)-groups
本文研究了拓扑AE（0）-群类，它包含Polish群类和所有局部紧群类.我们证明了给定权的泛AE（0）-群的存在性以及给定权的AE（0）-群在相同权的AE（0）-空间上的泛作用的存在性。给出了对称群的幂的闭子群的一个完全刻划.还证明了每个AE（0）-群与Polish群的乘积Baire同构。这些结果是通过使用第3节中介绍的AE（0）群的谱描述获得的。
2000-01-04 math.GN
Key subgroups in the Polish group of all automorphisms of the rational circle
Bar-Ilan University（巴伊兰大学）
研究有理圆上保圆序置换的波兰群$G=\mathrm{Aut}(\mathbb{Q}_0)$，证明点稳定子群$H=G_q$是极可amenable的inj-关键子群，但不是共极小的，从而回答了与M. Shlossberg合作中提出的问题。
2026-05-28 math.DS math.FA math.GN
Topologies induced by group actions
本文引入拓扑群在群和环上作用诱导的典范拓扑，刻画了使作用连续的最细拓扑，并证明Polish群作用可能不存在Hausdorff拓扑。
2014-12-01 math.GN math.LO
Isometry groups among topological groups
证明了一个拓扑群G拓扑同构于一个（完备）度量空间的等距群当且仅当G在其Rajkov完备化中与其G-δ闭包重合（分别为.如果G是Rajkov完全的）。它还表明，对于每一个波兰（resp。紧波兰;局部紧波兰）群G存在一个完全（分别为适当的）度量d诱导出X的拓扑使得G同构于Iso（X，d），其中X = l_2（resp. X = Q; X = Q\{point}，其中Q是希尔伯特立方体）。证明了存在一个可分的巴拿赫空间E和E中的一个非零向量e，使得G同构于E的所有使点e不动的（线性）等距群.对任意的完全的拓扑群也证明了类似的结果。
2012-07-31 math.GN math.GR
Detecting $σZ_n$-sets in topological groups and linear metric spaces
证明了：若线性度量空间$X$的解析子集$A$不包含在$X$的$σZ_ω$ -子集中，则对于$X$中的每个具有稠密仿射壳的波兰凸集$K$，其和$A+K$在$X$中是非贫乏的，且集合$A+A+K$和$A-A+K$在$X$的完备$\bar X$中具有非空内部.这意味着两个结果：（i）线性度量空间$X$的解析子群$A$是$σZ_ω$ -空间，如果$A$不是波兰的，并且$A$在$X$中包含具有稠密仿射壳的波兰凸集$K$;（ii）线性度量空间$X$的稠密凸解析子集$A$是$σZ_ω$ -空间，如果$A$不包含开波兰子空间，且$A$包含$X$中具有稠密仿射壳的波兰凸集$K$。
2015-08-31 math.GN math.GR math.GT
Haar meager sets, their hulls, and relationship to compact sets
设$G$是交换波兰群。我们发现，有一个强Haar微薄集$G$没有任何$F_σ$ Haar微薄壳（这仍然是真的，如果我们取代$F_σ$由任何其他类的Borel层次）。我们还证明了存在一个没有任何Haar微薄壳的协分析朴素强Haar微薄集。进一步，我们研究了非局部紧波兰群中所有紧集的集合与所有Haar贫乏集的集合之间的关系。
2016-03-31 math.GN
Topological groups with several disconnectedness
研究了拓扑群的一些与不连通性或阿基米德性有关的性质。我们证明或证伪的保护下的操作，如子群，同分异构体，产品等的非阿基米德的特征得到通过使用嵌入到通用群。我们还澄清了性质之间的差异，通过构建杂项波兰群。
2001-06-13 math.GN
A topometric Effros theorem
给定一个波兰群$G$在一个适当的波兰拓扑空间$(X,τ,ρ)$和$x \in X$上的连续等距作用，我们找到了$\overline{Gx}^ρ$是余贫的一个充要条件，并得到了一个判别这一点存在的准则.这项工作完成了作者早期工作中建立的标准。
2023-02-06 math.GN math.LO
Classification and Non-classification of Homeomorphism Relations
本文给出了确定各种同胚关系复杂性的程序。紧波兰空间上的同胚关系可约化为连续波兰群作用（Kechris-Solecki）的轨道等价关系.它表明，这一结果推广到局部紧波兰空间，但不适用于空间中的局部紧性失败，只有一个点。事实上，对于$\mathbb{R}^3$的那些子集，即一个开集和一个点的并集，它是失败的。最后给出了这一研究领域中的一些有待解决的问题。
2021-12-06 math.GN math.GT
$\R^{n} \rtimes G(n)$ is Algebraically Determined
假设$G$是波兰人（即，完全可分度量拓扑）群。定义$G$为代数确定的波兰群，如果对任何波兰群$L$和代数同构$φ: L \mapsto G$，我们有$φ$为拓扑同构。令$M(n,\R)$是具有实系数的$n \times n$矩阵的集合，并且令上述定义中的群$G$是自然半直积$\R^{n} \rtimes G(n)$，其中$n \ge 2$和$G(n)$是以下群之一：一般线性群$GL(n,\R) = \left\{ A \in M(n,\R) \ | \ \det(A) \ne 0 \right\}$，或特殊线性群$SL(n,\R) = \left\{ A \in GL(n,\R) \ | \ \det(A) = 1 \right\}$，或$|SL(n,\R)| = \left\{ A \in GL(n,\R) \ | \ |\det(A)| = 1 \right\}$或$GL^{+}(n,\R) = \left\{ A \in GL(n,\R) \ | \ \det(A) > 0 \right\}$。这些群对于线性代数和几何有着根本的重要性。本文证明了自然半直积$\R^{n} \rtimes G(n)$是代数确定的波兰群。这种结果对于$\complexes^{n} \rtimes GL(n,\complexes)$甚至对于$\R^{3} \rtimes SO(3,\R)$都不成立。…
2014-12-21 math.GN math.GR
Uniformly locally bounded spaces and the group of automorphisms of a topological group
我们证明了有界集上的一致收敛一致收敛拓扑与一类具有一致结构和拓扑的空间的自同构群的群律是相容的，从而产生了许多拓扑群的例子。这包括许多以前已知的情况下，如同胚群的局部紧空间，自同构群的一阶结构，一般线性群的赋范空间，自同构群的一致空间等，我们还研究了自同构群的拓扑群在此框架内（推广以前已知的结果局部紧群）。作为一个特殊的结果，这种机器，我们表明，自同构群的波兰本地Roelcke预紧群进行自然波兰组拓扑。
2020-01-02 math.GN math.GR
Cardinal invariants of Haar null and Haar meager sets
波兰群$G$的子集$X$是\emph{Haar null}，如果存在Borel概率测度$μ$和包含$X$的Borel集合$B$，使得对于每个$g,h \in G$都有$μ(gBh)=0$。一个集合$X$是\emph{Haar meager}，如果存在一个紧度量空间$K$，一个连续函数$f : K \to G$和一个包含$X$的Borel集合$B$，使得对于每个$g,h \in G$，$f^{-1}(gBh)$在$K$中是贫乏的.我们计算（在$ZFC$）四个基数不变量（$\rm add$，$\rm cov$，$\rm non$，$\rm cof$）的这两个$σ$ -理想的最简单的非局部紧波兰群，即在情况下$G = \mathbb{Z}^ω$。事实上，大多数结果工作可分的Banach空间，以及许多结果工作的波兰组承认双边不变度量。这回答了第一个署名作者和Z.维德尼亚斯基
2020-12-14 math.GN math.LO
Groups of quasi-invariance and the Pontryagin duality
波兰群$G$称为拟不变性群或QI群，如果存在局部紧群$X$和$X$上的概率测度$μ$，使得1）存在$G$到$X$的连续单态，2）对于每个$g\in X$，$g\in G$和移位$μ_g$等价于$μ$或$g\not\in G$，并且$μ_g$与$μ$正交。证明了$G$是$X$的$σ$ -紧子集.证明了存在$\ell^2$模离散子群的商群$\mathbb{T}^H_2$，该离散子群是波兰单素非局部拟凸（因而是非自反的）路径连通的QI-群，且使得$\mathbb{T}^H_2$的双对偶不是QI-群.还证明了QI-群的双对偶群可能不是$X$的饱和子群。
2009-10-01 math.GN math.GT
Spaces of maps into topological group with the Whitney topology
设X是局部紧的Polish空间，G是非离散的Polish ANR群。用C（X，G）表示具有Whitney拓扑的连续映射f：X \to G的拓扑群，用C_c（X，G）表示具有紧支集的映射的子群.如果X是紧的且非离散的，则空间C（X，G）是l_2-流形。本文证明了：若X是非紧的且不是端离散的，则C_c（X，G）是（R^ \infty \times l_2）-流形，且（C（X，G），C_c（X，G））局部同胚于l_2的盒幂和小盒幂对.
2010-02-23 math.GN math.GT
Abelian group actions and hypersmooth equivalence relations
证明了标准Borel群的Borel作用同构于可数交换阿贝尔群的和，该交换群具有可数实数直线和实数圆的和，它诱导出超光滑的轨道等价关系，即，Borel可约化为实数序列的最终一致，并由此结果与局部紧阿贝尔群的结构理论一起导出波兰LCA群的Borel作用诱导出本质上超有限的轨道等价关系，推广了Gao和Jackson的一个结果，回答了Ding和Gao的一个问题.
2021-12-11 math.DS math.GN math.LO
