Direct limits and fixed point sets

DOI10.1016/J.JALGEBRA.2005.08.002MaRDI QIDQ2572070zbMATH OpenOpenAlexFDO

Publication date 14 November 2005

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0306127

action of a group or monoid on a set commutativity of limits with direct limits (filtered colimits)partially ordered set set-valued functor on a category

Mathematics Subject Classification ID

Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Semigroups of transformations, relations, partitions, etc. (20M20)

Abstract: For which groups G is it true that whenever we form a direct limit of G-sets, dirlim_{iin I} X_i, the set of its fixed points, (dirlim_I X_i)^G, can be obtained as the direct limit dirlim_I(X_i^G) of the fixed point sets of the given G-sets? An easy argument shows that this holds if and only if G is finitely generated. If we replace ``group G by ``monoid M, the answer is the less familiar condition that the improper left congruence on M be finitely generated. Replacing our group or monoid with a small category E, the concept of set on which G or M acts with that of a functor E --> Set, and the concept of fixed point set with that of the limit of a functor, a criterion of a similar nature is obtained. The case where E is a partially ordered set leads to a condition on partially ordered sets which I have not seen before (pp.23-24, Def. 12 and Lemma 13). If one allows the {em codomain} category Set to be replaced with other categories, and/or allows direct limits to be replaced with other kinds of colimits, one gets a vast area for further investigation.

Review text

Suppose that a monoid \(M\) acts on sets \(X_i\) (that is, we have \(M\)-acts). The author considers monoids \(M\) such that if \(\varinjlim_{i\in I} X_i\) is a direct limit of (left) \(M\)-sets, then the set \((\varinjlim_I X_i)^M\) of its fixed points can be obtained as the direct limit \(\varinjlim_I (X_I^M)\) of the fixed point sets of the given \(M\)-sets. This problem is solved. Replacing \(M\) with a small category \(\mathcal E\), the concept of an \(M\)-set with a functor \({\mathcal E}\to {\mathcal S}et\), and the fixed point set of an action with the limit of a functor, a criterion of a similar nature is proved. The author obtains special criteria when \(\mathcal E\) has only finitely many objects or when \(\mathcal E\) is a (partially) ordered set.

Recommendations

Cites work

Cited in

(4)

This page was built for publication: Direct limits and fixed point sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2572070)