[논문 리뷰] Relative outer automorphisms of free groups

Erika Meucci|arXiv (Cornell University)|2010. 10. 22.

Geometric and Algebraic Topology참고 문헌 10인용 수 7

한 줄 요약

이 논문은 자유군의 자유부분군계수 시스템에 대한 상대적 외부자기동형군 $\mathrm{Out}(F_n;A_1,\ldots,A_k)$의 작용을 갖는 상대적 외부공간 $\mathrm{CV}_n(A_1,\ldots,A_k)$를 도입하며, 이 공간은 유한한 안정자군을 가지며 가(contractible)임을 증명한다. 주요 기여는 이 군의 가상 코hom로지컬 차원(VCD)에 대한 정확한 공식을 제시하는 것이다: $\mathrm{vcd} = 2n - 2\sum_{i=1}^k s(i) + 2k - 2 - m$, 여기서 $s(i)$는 $A_i$의 최소 생성수이고 $m$은 $s(i) = 1$인 $A_i$의 수를 세는 수이다. 이는 순수 대칭 자동형군의 알려진 결과와 고전적 외부공간을 일반화한다.

ABSTRACT

Let $A_1,...,A_k$ be a system of free factors of $F_n$. The group of relative automorphisms $Aut(F_n;A_1,...,A_k)$ is the group given by the automorphisms of $F_n$ that restricted to each $A_i$ are conjugations by elements in $F_n$. The group of relative outer automorphisms is defined as $Out(F_n;A_1,...,A_k) = Aut(F_n;A_1,...,A_k)/Inn(F_n)$, where $Inn(F_n)$ is the normal subgroup of $Aut(F_n)$ given by all the inner automorphisms. We define a contractible space on which $Out(F_n;A_1,...,A_k)$ acts with finite stabilizers and we compute the virtual cohomological dimension of this group.

연구 동기 및 목표

• 상대적 자동형군에 대한 $\mathrm{Out}(F_n;A_1,\ldots,A_k)$-등변적이고 가소적인 공간을 정의하여 Culler-Vogtmann 외부공간의 상대적 일반화를 제공한다.
• 이 공간에서 군 작용의 안정자군이 유한함을 확립하여, 이 공간이 코homological 계산에 적합함을 보장한다.
• 자유군의 상대적 외부자기동형군 $\mathrm{Out}(F_n;A_1,\ldots,A_k)$의 가상 코호몰로지 차원(VCD)을 계산하며, 순수 대칭 자동형군과 같은 특수한 경우의 알려진 결과를 일반화한다.
• 통제된 위상과 부피 제약 조건을 갖는 상대적 외부공간을 통해 상대적 자동형군을 기하학적·위상수학적으로 연구할 수 있는 프레임워크를 제공한다.

제안 방법

• 자유부분군 $A_1,\ldots,A_k$에 대응하는 웨지 사이클이 있는 마킹된 거리 그래프로 구성된 상대적 외부공간 $\mathrm{CV}_n(A_1,\ldots,A_k)$를 구성한다.
• 공간에 상대적 부피 정규화를 도입한다: 웨지 사이클 외부의 간선 총 길이는 1이며, 각 웨지 사이클의 총 길이도 1이다.
• 웨지 사이클의 이중 그래프를 사용하여 숲의 구조를 강제함으로써, 스파인으로의 디포메이션 리트랙션을 통해 공간이 가소적이 됨을 보장한다.
• 작은 스파인 $S_n(\mathcal{A})$의 구조를 분석하여 최대 단체의 차원을 계산하며, 이는 VCD의 상한을 제공한다.
• 오일러 지표와 그래프 이론적 추론을 적용하여 스파인의 차원을 유도하고, 이로부터 VCD 공식을 도출한다.
• 자기동형군의 생성자에 대한 귀납법과 독립성 추론을 사용하여 VCD의 하한을 확립한다.

실험 결과

연구 질문

• RQ1 자유부분군계수에 대한 상대적 외부자기동형군 $\mathrm{Out}(F_n;A_1,\ldots,A_k)$의 가상 코호몰로지 차원은 무엇인가?
• RQ2 군 $\mathrm{Out}(F_n;A_1,\ldots,A_k)$가 유한한 안정자군을 갖는 가소적인 공간을 구성할 수 있는가?
• RQ3 상대적 외부자기동형군 $\mathrm{Out}(F_n;A_1,\ldots,A_k)$의 VCD는 자유부분군 $A_i$의 수와 복잡성에 따라 어떻게 달라지는가?
• RQ4 이 공식은 순수 대칭 자동형군 또는 고전적 외부공간과 같은 알려진 경우로 올바르게 축소되는가?

주요 결과

• 상대적 외부자기동형군 $\mathrm{Out}(F_n;A_1,\ldots,A_k)$의 가상 코호몰로지 차원은 $2n - 2\sum_{i=1}^k s(i) + 2k - 2 - m$이며, 여기서 $s(i)$는 $A_i$의 최소 생성수이고 $m$은 $s(i) = 1$인 $A_i$의 수이다.
• 상대적 외부공간 $\mathrm{CV}_n(A_1,\ldots,A_k)$는 가소적이며, 군 $\mathrm{Out}(F_n;A_1,\ldots,A_k)$의 유한한 안정자군 작용을 수반한다.
• 만일 $k = n$ 이고 모든 $s(i) = 1$이라면 군은 순수 대칭 자동형군이 되며, 이 경우 공식은 $\mathrm{vcd} = n - 2$를 주며, Collins의 결과와 일치한다.
• 고전적 경우 $k = 0$일 때 공식은 $\mathrm{vcd}(\mathrm{Out}(F_n)) = 2n - 3$으로 축소되며, 기존 결과와 일관된다.
• 상대적 외부공간 $\mathrm{CV}_n(\mathcal{A})$의 차원은 $n > \sum s(i)$이면 $3n + 3k - 3\sum s(i) - 4 - m$, $n = \sum s(i)$이면 $3n + 2k - 3\sum s(i) - 2 - m$이다.
• 스파인 차원에서 유도된 VCD 상한과 군 생성자의 독립성에서 유도된 하한이 일치함으로써 공식의 정확성이 확인된다.