Partial actions of groups on cell complexes (Q1871768): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s00605-002-0521-0 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2032352638 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 19:09, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Partial actions of groups on cell complexes |
scientific article |
Statements
Partial actions of groups on cell complexes (English)
0 references
4 May 2003
0 references
Given a 2-complex \(L\), let \(I(L)\) denote the inverse monoid of partial automorphisms of \(L\), that is isomorphisms between subcomplexes of \(L\), with the usual composition of relations. A partial action of a group \(G\) on \(L\) is a dual prehomomorphism \(f:G \to I(L)\), that means a map satisfying the properties: \(f(1) = \text{id}_L\); \(f(g^{-1}) = f(g)^{-1}\); \(f(g_1) f(g_2) \leq f(g_1 g_2)\) with respect to the restriction order. An ordinary group action \(F:G \to \text{Aut}(K)\) on a complex \(K\) is called a globalization of \(f\) if \(L\) is a subcomplex of \(K\) (up to isomorphism) such that \(F(G)(L) = K\) and \(F(g) \cap L^2 = f(g)\) as a relation. By \textit{J. Kellendonk} and \textit{M. V. Lawson} [Partial actions of groups, to appear in Int. J. Algebra Comput.] any partial action has a (universal) globalization. In the paper under review, the author proposes partial actions and their globalizations as a natural way to approach several classical problems concerning group actions on complexes. As a main tool in this perspective, he proves the following theorem: a partial action \(f:G \to I(L)\) has a connected globalization iff it is true, that \(\{g \in G |f(g) \neq \emptyset\}\) generates \(G\); in this case any globalization of \(f\) is connected. Using this result, the author gives a combinatorial proof of the well-known fact that a group acting without fixed points on a connected 2-complex with finite quotient is finitely generated. In fact, he proves this statement in the more general setting of true partial actions. On the other hand, in contrast with the Bass-Serre theory of groups acting on graphs [\textit{J. P. Serre}, Trees, Springer (1980; Zbl 0548.20018)], finitely generated groups are characterized as those groups having a true partial action without fixed points on a finite tree. Finally, the Bass-Serre theory is used for determining, in terms of fundamental groups of graphs of groups, when a partial action on a graph admits a tree globalization. For example, an amalgamated free product or HNN-extension has such an action on a segment. The paper ends with some open problems and suggestions for further developments. In particular, the interesting idea of approximating ordinary actions on infinite complexes with partial actions induced on finite subcomplexes for computational purposes is presented.
0 references
partial group actions
0 references
2-complexes
0 references
finitely generated groups
0 references
group actions on complexes
0 references