×

On primeness of labeled oriented trees. (English) Zbl 1266.57004

A labeled oriented tree (LOT) is a tree with its \(n\) vertices labeled \(1, 2, \dots, n\) in which each edge is given a direction and a unique label in \(\{1, 2, \dots, n\}\). A LOT is called injective if different edges are labeled differently, is called prime if it does not contain a smaller LOT, and is called reduced if: (1) for each edge its own label and the labels of its endvertices are all different, (2) the label of any valence one vertex occurs as the label of some edge, and (3) any two adjacent edges with the same label are neither both into nor both out of their common endvertex. A LOT \(P\) gives rise to a group presentation whose generating set is the vertex set and whose defining relations say that the initial endvertex of any edge of \(P\) is conjugated to its terminal endvertex by the label of that edge. Let \(K(P)\) be the standard 2-complex of the presentation. \(K(P)\) can be realized as a spine of the complement of a properly embedded ribbon disc in the 4-ball, see J. Howie [Topology 22, 475-485 (1983; Zbl 0524.57002)]. A LOT \(P\) is called aspherical if \(K(P)\) is aspherical – that is, \(\pi_2(K(P))=0.\) The authors intend to extend the well-known fact that knot complements are aspherical to the case of ribbon disc complements, which is an unsolved problem equivalent to the asphericity problem of LOTs; these problems are related to the Whitehead asphericity conjecture, see J. Howie [Trans. Am. Math. Soc. 289, 281–302 (1985; Zbl 0572.57001)].
In a reduced LOT \(P\) each relation models a quadrilateral 2-cell in \(K(P)\) with labeled, directed sides. \(K(P)\) can be represented by a spherical diagram – that is, a quadrangulation of the 2-sphere with different quadrilaterals representing possibly the same 2-cell of \(K(P)\). A spherical diagram \(C(P)\) is called reducible if some two adjacent quadrilaterals represent the same 2-cell of \(K(P)\). A LOT \(P\) is said to be diagrammatically reducible (DR) if each spherical diagram over \(K(P)\) is reducible. It is known that prime injective LOTs are DR and thereby aspherical. One of the results of the paper is an example of a LOT that is reduced and prime but neither injective, nor DR. This result shows the essentiality of the injectivity condition for the characterization of DR forests established earlier by G. Huck and S. Rosebrock [Proc. Edinb. Math. Soc., II. Ser. 44, No. 2, 285–294 (2001; Zbl 0983.57003)]. Furthermore, the authors conjecture that all injective LOTs would be aspherical, and prove that under some additional conditions.

MSC:

57M20 Two-dimensional complexes (manifolds) (MSC2010)
57M05 Fundamental group, presentations, free differential calculus
20F05 Generators, relations, and presentations of groups
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] DOI: 10.1112/S0024609396001907 · Zbl 0882.20018 · doi:10.1112/S0024609396001907
[2] Bogley W. A., London Mathematical Society Lecture Note Series 197, in: Two-Dimensional Homotopy and Combinatorial Group Theory (1993)
[3] DOI: 10.1142/S0218216503002871 · Zbl 1053.57005 · doi:10.1142/S0218216503002871
[4] DOI: 10.1016/0040-9383(83)90038-1 · Zbl 0524.57002 · doi:10.1016/0040-9383(83)90038-1
[5] DOI: 10.1090/S0002-9947-1985-0779064-8 · doi:10.1090/S0002-9947-1985-0779064-8
[6] DOI: 10.1017/S0013091599000474 · Zbl 0983.57003 · doi:10.1017/S0013091599000474
[7] DOI: 10.2307/1969440 · Zbl 0039.02302 · doi:10.2307/1969440
[8] DOI: 10.1007/978-3-642-61896-3 · doi:10.1007/978-3-642-61896-3
[9] DOI: 10.1007/BFb0084461 · doi:10.1007/BFb0084461
[10] DOI: 10.1142/S0218216594000162 · Zbl 0824.57005 · doi:10.1142/S0218216594000162
[11] Rosebrock S., Siberian Electronic Math. Reports 4 pp 440–
[12] DOI: 10.1016/0021-8693(65)90017-7 · Zbl 0135.05201 · doi:10.1016/0021-8693(65)90017-7
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.