A polynomial invariant of graphs in 3-manifolds
type: Item
instance of: scholarly article
title: A polynomial invariant of graphs in 3-manifolds
zbMATH Open document ID: 0773.57002
DOI: 10.1016/0040-9383(92)90056-N
published in: Topology
publication date: 1993-05-16T00:00:00Z
review text: Let \(A\) be a finite set of disjoint arcs in a 3-manifold \(M\). For \(a_ i\in A\) let \(M_ i\) be the complement of a regular neighborhood of \(a_ i\). A polynomial in \(x\) and \(y\) is defined recursively: if \(A=\emptyset\), \(P(M,A)=0\) if \(M\) contains an essential 2-sphere, \(\partial M\) is compressible, \(\partial M\) is a 2-sphere, or \(\partial M=\emptyset\); otherwise \(P(M,A)=1\). If \(A\neq\emptyset\), \(P(M,A)=xP(M_ i,A-a_ i)+yP(M,A-a_ i)\) for any \(a_ i\in A\). If \(G\) is a finite graph in a 3-manifold, \(Q(G)\) is defined by \(Q(G)=P(M\) -- neighborhood of the vertices, edges). Specializing to \(S^ 3\), the paper explores the relationship between the polynomial \(Q(G)\) and reducibility, decomposability, and planarity of the graphs \(G\) embedded in \(S^ 3\). Different polynomials can be associated with graphs by changing the definition of the base case \(A=\emptyset\) and using the same recursive definition for other cases. A polynomial \(R(M,a)\) with variables \(x\), \(y\), and \(q\) is defined with the base case: if \(A=\emptyset\), let \(M'\) be obtained from \(M\) by capping off all 2-sphere boundary components; if \(M'\) is prime define \(R(M,\emptyset)=1\) if \(\partial M'\) is compressible or if \(\partial M'=\emptyset\), and \(q\) otherwise. If \(M'\) is not prime let \(R(M,\emptyset)\) be the product over all prime factors \(M''\) of \(M'\) of \(R(M'',\emptyset)\). \(R\) is used to define \(S(G)\) is the same way that \(P\) defined \(Q\). It is then shown that if \(G\) is an abstractly planar graph (homeomorphic to a graph in \(S^ 2\)) in \(S^ 3\) then \(G\) is planar (lies on an imbedded surface homeomorphic to \(S^ 2\)) if and only if \(S(G)\) has no \(q\)'s.
Mathematics Subject Classification ID: 57M15
Mathematics Subject Classification ID: 57M25
Mathematics Subject Classification ID: 57N10
zbMATH DE Number: 166196
zbMATH Keywords: finite set of disjoint arcs in a 3-manifold
zbMATH Keywords: reducibility
zbMATH Keywords: decomposability
zbMATH Keywords: planarity
author: Abigail Thompson
reviewed by: George E. Lang jun.
MaRDI profile type: Publication
Wikidata QID: Q126781560
full work available at URL: 0040-9383(92)90056-n
OpenAlex ID: W2073590727
Recommended article: A polynomial invariant of graphs on orientable surfaces
Recommended article: Polynomial invariants of graphs on surfaces
Recommended article: A polynomial invariant of integral homology 3-spheres
Recommended article: Polynomial Invariants of Graphs
Recommended article: A polynomial invariant of rational homology \(3\)-spheres
Recommended article: Invariants for 3-manifolds from the combinatorics of the Jones polynomial
Recommended article: Q5420030
Recommended article: Polynomial graph invariants from homomorphism numbers
Recommended article: Homomorphisms and Polynomial Invariants of Graphs
Recommended article: Homomorphisms and polynomial invariants of graphs
description: scientific article; zbMATH DE number 166196