Top-heavy Phenomena for Transformations

Yaokun Wu,Yinfeng Zhu
DOI: https://doi.org/10.26493/1855-3974.1753.52a
2022-01-01
Ars Mathematica Contemporanea
Abstract:Let S be a transformation semigroup acting on a set O. The action of S on O can be naturally extended to be an action on all subsets of O. We say that S is l-homogeneous provided it can send A to B for any two (not necessarily distinct) l-subsets A and B of O. On the condition that k = l < k + l = |O|, we show that every l-homogeneous transformation semigroup acting on O must be k-homogeneous. We report other variants of this result for Boolean semirings and affine/projective geometries. In general, any semigroup action on a poset gives rise to an automaton and we associate some sequences of integers with the phase space of this automaton. When this poset is a geometric lattice, we propose to investigate various possible regularity properties of these sequences, especially the so-called top-heavy property. In the course of this study, we are led to a conjecture about the injectivity of the incidence operator of a geometric lattice, generalizing a conjecture of Kung.
What problem does this paper attempt to address?