The trivial-range conjecture for restriction automorphisms of superextensions

Let Mr,m\mathrm{M}_{r,m} be a finite monogenic semigroup, let Mr,m2\mathrm{M}_{r,m}^{\cdot 2} denote the corresponding semigroup appearing in the restriction, let λ(S)\lambda(S) denote the superextension of a semigroup SS, and let Aut(G)\operatorname{Aut}(G) denote the automorphism group of a group GG. For r2r\geq 2, m1m\geq 1, define the restriction operator

R:Aut(λ(Mr,m))Aut(λ(Mr,m2)),R(ψ)=ψλ(Mr,m2).R:\operatorname{Aut}(\lambda(\mathrm{M}_{r,m}))\to\operatorname{Aut}(\lambda(\mathrm{M}_{r,m}^{\cdot 2})),\qquad R(\psi)=\psi|_{\lambda(\mathrm{M}_{r,m}^{\cdot 2})}.

Trivial-range conjecture. The restriction operator RR has trivial range. The conjecture concerns the restriction of automorphisms from the superextension of Mr,m\mathrm{M}_{r,m} to that of Mr,m2\mathrm{M}_{r,m}^{\cdot 2}; the source gives no resolution beyond the computed examples.

Sources & referencesView supporting material

Primary source

Taras Banakh and Volodymyr Gavrylkiv, “Automorphism groups of superextensions of finite monogenic semigroups”, arXiv:1908.00791 (2019).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.