[논문 리뷰] Planar graphs and covers

M. J. Dunwoody|ArXiv.org|2007. 08. 07.

Finite Group Theory Research참고 문헌 15인용 수 15

한 줄 요약

이 논문은 자동사상군 작용 하에서 유한 몫을 갖는 국소적으로 유한하고 평면적인 그래프의 구조적 분류를 수립하며, 이들이 G-나무를 통해 3-연결, 평면적 또는 순환 성분으로 분해됨을 보여준다. 핵심 결과는 평면적 이산군과 순환군의 자유곱을 사용하여 유한 생성된 군 중 평면적 카일리 그래프를 갖는 군을 완전히 분류하는 것이다.

ABSTRACT

Planar locally finite graphs which are almost vertex transitive are discussed. If the graph is 3-connected and has at most one end then the group of automorphisms is a planar discontinuous group and its structure is well-known. A general result is obtained for such graphs where no restriction is put on the number of ends. It is shown that such a graph can be built up from one ended or finite planar graphs in a precise way. The results give a classification of the finitely generated groups with planar Cayley graphs.

연구 동기 및 목표

• 3-연결, 국소적으로 유한하고 평면적인 카일리 그래프를 갖는 유한 생성된 군을 분류하기 위해.
• 3-연결성 조건 없이도 국소적으로 유한하고 평면적인 모든 카일리 그래프에 대해 이 분류를 확장하기 위해.
• 자동사상군의 몫이 유한한 평면 그래프의 구조를 G-나무와 정점별 성분을 사용하여 분석하기 위해.
• 그러한 그래프들이 유한한 간선 컷을 통해 3-연결 또는 순환 부분그래프로 분해되며, 접근 가능하다는 것을 증명하기 위해.
• 자동사상군이 그래프의 군의 기본군을 통해 분류 가능하도록 작용한다는 것을 보여주기 위해.

제안 방법

• 크기가 1 또는 2인 분리 정점 집합을 사용하여, 유한 코경계를 갖는 부분그래프들의 G-유한 집합에서 G-나무 T를 구성하기 위해.
• T의 각 정점 v에 대해, X의 부분그래프 Z_v를 할당하며, 이는 3-연결 평면 그래프이거나 순환 또는 절점이어야 한다.
• 면 경로와 평면 임베딩을 사용하여 자동사상이 그래프의 구조와 면 사이클을 유지함을 보장하기 위해.
• 마스키트의 평면성 정리를 적용하여, 평면 덮개가 컴act 표면의 정규 덮개로부터 유도됨을 보여주기 위해.
• 접근 가능한 그래프 이론과 유한 코경계를 갖는 부분집합의 부울 대수 이론을 사용하여 이러한 분해의 수를 유 bounds하기 위해.
• 접근 가능한 군의 구조 정리를 적용하여, G가 유한한 간선군과 평면적 이산군 또는 순환군의 자유곱인 정점군을 갖는 그래프의 군의 기본군임을 보여주기 위해.

실험 결과

연구 질문

• RQ1 어떤 유한 생성 군이 3-연결, 국소적으로 유한하고 평면적인 카일리 그래프를 갖는가?
• RQ2 3-연결성이 성립하지 않을 경우, 자동사상군의 몫이 유한한 국소적으로 유한한 평면 그래프의 구조는 어떻게 분해될 수 있는가?
• RQ3 콤팩트 표면의 평면 덮개와 평면 그래프의 자동사상군 간의 관계는 무엇인가?
• RQ4 평면적 카일리 그래프의 분류를 3-연결 그래프를 초월하여 확장할 수 있는가?
• RQ5 자동사상군 작용 하에서 몫이 유한한 국소적으로 유한한 평면 그래프가 접근 가능해지는 조건은 무엇인가?

주요 결과

• 3-연결, 국소적으로 유한하고 평면적인 그래프 X가 자동사상군의 몫이 유한할 경우, X는 컴act 표면의 정규 평면 덮개이며, G는 평면적 이산군이다.
• 자동사상군의 몰이 유한한 국소적으로 유한하고 평면적인 그래프 X에 대해, X는 접근 가능하며, 정점 안정자들이 3-연결 또는 순환 부분그래프에 작용하는 G-나무 분해를 갖는다.
• 이러한 그래프의 자동사상군 G는 정점군이 평면적 이산군 또는 유한 개의 순환군의 자유곱이고, 간선군이 유한 순환군(혹은 자명군일 수 있음)인 그래프의 군의 기본군이다.
• 작용이 자유일 경우(카일리 그래프의 경우와 같이), G 또는 인덱스 2 부분군은 정점군이 평면적 이산군 또는 순환군의 자유곱이고 간선군의 순서가 2 이하인 그래프의 군의 기본군이다.
• 이러한 분해의 수는 유한하며, 3-연결 성분(3-블록)은 그래프의 구조와 자동사상군의 구조에 의해 유일하게 결정된다.
• 이 이론은 투트의 2-연결 그래프 분석을 일반화하며, 평면적 그래프에 대해 유한 몰을 갖는다는 Droms–Servatius–Servatius 결과에 대한 새로운 증명을 제공한다.