Source author record

Igor Protasov

Igor Protasov appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

24works
5topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

24 published item(s)

preprint2020arXiv

Closeness and linkness in balleans

A set $X$ endowed with a coarse structure is called ballean or coarse space. For a ballean $(X, \mathcal{E})$, we say that two subsets $A$, $B$ of $X$ are close (linked) if there exists an entourage $E\in \mathcal{E}$ such that $A\subseteq E [B]$, $B\subseteq E[A]$ (either $A, B$ are bounded or contain unbounded close subsets). We explore the following general question: which information about a ballean is contained and can be extracted from the relations of closeness and linkness.

preprint2020arXiv

Coarse spaces, ultrafilters and dynamical systems

For a coarse space $(X, \mathcal{E})$, $X^\sharp$ denotes the set of all unbounded ultrafilters on $X$ endowed with the parallelity relation: $p||q$ if there exists $E \in \mathcal{E} $ such that $ E[P]\in q $ for each $P\in p$. If $(X, \mathcal{E})$ is finitary then there exists a group $G $ of permutations of $X$ such that the coarse structure $\mathcal{E}$ has the base $\{\{ (x,gx): x\in X$, $g\in F\}: F\in [G]^{<ω}, \ id \in F \}.$ We survey and analyze interplays between $(X, \mathcal{E})$, $X^\sharp$ and the dynamical system $(G, X^\sharp)$.

preprint2020arXiv

The dynamical approach to the conjugacy in groups

Given a discrete group $G$, we identify the Stone-$\check C$ech compactification $βG$ with the set of all ultrafilters on $G$ and put $G^\ast =βG\setminus G$. The action $G$ on $G$ by the conjugations $(g,x)\mapsto g^{-1}xg$ induces the action of $G$ on $G^\ast$ by $(g, p)\mapsto p^g $, $p^g = \{ g^{-1} Pg: P\in p\}$. We study interplays between the algebraic properties of $G$ and the dynamical properties of $(G, G^\ast)$. In particular, we show that $p^G$ is finite for each $p\in G^\ast$ if and only if the commutant of $G$ is finite.

preprint2016arXiv

Factoring groups into dense subsets

Let $G $ be a group of cardinality $κ>\aleph_0 $ endowed with a topology $τ$ such that $|U|=κ$ for every non-empty $U\inτ$ and $τ$ has a base of cardinality $κ$. We prove that $G$ could be factorized $G=AB$ (i.e. each $g\in G$ has unique representation $g=ab$, $a\in A$, $b\in B$) into dense subsets $A,B$, $|A|=|B|=κ$. We do not know if this statement holds for $κ= \aleph_0$ even if $G$ is a topological group.

preprint2016arXiv

On asymorphisms of groups

Let $G$, $H$ be groups and $κ$ be a cardinal. A bijection $f:G\to H$ is caled on asymorphism if, for any $X\in[G]^{<κ}$, $Y\in[H]^{<κ}$, there exist $X'\in[G]^{<κ}$, $Y'\in[H]^{<κ}$ such that for all $x\in G$ and $y\in H$, we have $f(Xx)\subseteq Y'f(x)$, $f^{-1}(Yy)\subseteq X'f^{-1}(y)$. For a set $S$, $[S]^{<κ}$ denotes the set $\{S'\subseteq S: |S'|<κ\}$. Let $κ$ and $γ$ be cardinals such that $\aleph_0<κ\leγ$. We prove that any two Abelian groups of cardinality $γ$ are $κ$-asymorphic, but the free group of rank $γ$ is not $κ$-asymorphic to an Abelian group provided that either $κ<γ$ or $κ=γ$ and $κ$ is a singular cardinal. It is known [7] that if $γ= κ$ and $κ$ is regular then any two groups of cardinality $κ$ are $κ$-asymorphic.

preprint2015arXiv

Box Resolvability

We say that a topological group $G$ is partially box $κ$-resolvable if there exist a dense subset $B$ of $G$ and a subset $A $ of $G$, $|A|=κ$ such that the subsets $\{ aB: a\in A\}$ are pairwise disjoint. If $G=AB$ then $G$ is called box $κ$-resolvable. We prove two theorems. If a topological group $G$ contains an injective convergent sequence then $G$ is box $ω$-resolvable. Every infinite totally bounded topological group $G$ is partially box $n$-resolvable for each natural number $n$, and $G$ is box $κ$-resolvable for each infinite cardinal $κ, κ<|G|$.

preprint2015arXiv

Ultrafilters on $G$-spaces

For a discrete group $G$ and a discrete $G$-space $X$, we identify the Stone-Čech compactifications $βG$ and $βX$ with the sets of all ultrafilters on $G$ and $X$, and apply the natural action of $βG$ on $βX$ to characterize large, thick, thin, sparse and scattered subsets of $X$. We use $G$-invariant partitions and colorings to define $G$-selective and $G$-Ramsey ultrafilters on $X$. We show that, in contrast to the set-theoretical case, these two classes of ultrafilters are distinct. We consider also universally thin ultrafilters on $ω$, the $T$-points, and study interrelations between these ultrafilters and some classical ultrafilters on $ω$.

preprint2014arXiv

Densities, submeasures and partitions of groups

In 1995 in Kourovka notebook the second author asked the following problem: it is true that for each partition $G=A_1\cup\dots\cup A_n$ of a group $G$ there is a cell $A_i$ of the partition such that $G=FA_iA_i^{-1}$ for some set $F\subset G$ of cardinality $|F|\le n$? In this paper we survey several partial solutions of this problem, in particular those involving certain canonical invariant densities and submeasures on groups.

preprint2014arXiv

On the subset Combinatorics of G-spaces

Let $G$ be a group and let $X$ be a transitive $G$-space. We classify the subsets of $X$ with respect to a translation invariant ideal $\mathcal{J}$ in the Boolean algebra of all subsets of $X$, introduce and apply the relative combinatorical derivations of subsets of $X$. Using the standard action of $G$ on the Stone-$\check{C}$ech compactification $βX$ of the discrete space $X$, we characterize the points $p\inβX$ isolated in $Gp$ and describe a size of a subset of $X$ in terms of its ultracompanions in $βX$. We introduce and characterize scattered and sparse subsets of $X$ from different points of view.

preprint2013arXiv

Syndetic submeasures and partitions of $G$-spaces and groups

We prove that for every number k each countable infinite group $G$ admits a partition $G=A\cup B$ into two sets which are $k$-meager in the sense that for every $k$-element subset $K\subset G$ the sets $KA$ and $KB$ are not thick. The proof is based on the fact that $G$ possesses a syndetic submeasure, i.e., a left-invariant submeasure $μ:\mathcal P(G)\to[0,1]$ such that for each $ε> 1/|G|$ and subset $A\subset G$ with $μ(A)<1$ there is a set $B\subset G\setminus A$ such that $μ(B)<ε$ and $FB=G$ for some finite subset $F\subset G$.

preprint2013arXiv

Topologization of sets endowed with an action of a monoid

Given a set $X$ and a family $G$ of self-maps of $X$, we study the problem of the existence of a non-discrete Hausdorff topology on $X$ with respect to which all functions $f\in G$ are continuous. A topology on $X$ with this property is called a $G$-topology. The answer is given in terms of the Zariski $G$-topology $ζ_G$ on $X$, that is, the topology generated by the subbase consisting of the sets $\{x\in X:f(x)\ne g(x)\}$ and $\{x\in X:f(x)\ne c\}$, where $f,g\in G$ and $c\in X$. We prove that, for a countable monoid $G\subset X^X$, $X$ admits a non-discrete Hausdorff $G$-topology if and only if the Zariski $G$-topology $ζ_G$ is non-discrete; moreover, in this case, $X$ admits $2^{\mathfrak c}$ hereditarily normal $G$-topologies.

preprint2012arXiv

Asymptotically Scattered Spaces

We define thin and asymptotically scattered metric spaces as asymptotic counterparts of discrete and scattered metric spaces respectively. We characterize asymptotically scattered spaces in terms of prohibited subspaces, and classify thin metric spaces up to coarse equivalence. We introduce the types of asymptotically scattered spaces and construct the spaces of distinct types. We transfer the notion of asymptotically scattered spaces to $G$-spaces and characterize asymptotically scattered spaces of groups.

preprint2010arXiv

Zariski topologies on groups

The $n$-th Zariski topology on a group $G$ is generated by the sub-base consiting of the cozero sets of monomials of degree $\le n$ on $G$. We prove that for each group $G$ the 2-nd Zariski topology is not discrete and present an example of a group $G$ of cardinality continuum whose 2-nd Zariski topology has countable pseudocharacter. On the other hand, the non-topologizable group $G$ constructed by Ol'shanskii has discrete 665-th Zariski topology.