[논문 리뷰] Kurosh rank of intersections of subgroups of free products of orderable groups

Yago Antolín, Armando Martino외 1명|arXiv (Cornell University)|2011. 09. 01.

Geometric and Algebraic Topology참고 문헌 11인용 수 3

한 줄 요약

이 논문은 자유곱의 우하향 순서 가능 그룹에서 두 부분군의 교차에 대한 감소한 쿠로시 랭크의 날카운 상계를 확립한다. 이는 쌍중 코셋에 대해 코너지된 교차의 감소한 쿠로시 랭크의 합이 부분군의 감소한 쿠로시 랭크의 곱으로 유계임을 증명한다. 결과적으로, 바스-세르 이론과 딕스의 마이네예프의 힐버트 모듈 방법의 간소화된 증명을 이용하여, 강화된 하나 뉴먼 추측을 우하향 순서 가능 그룹의 자유곱으로 일반화한다.

ABSTRACT

We prove that the reduced Kurosh rank of the intersection of two subgroups $H$ and $K$ of a free product of right-orderable groups is bounded above by the product of the reduced Kurosh ranks of $H$ and $K$. In particular, taking the fundamental group of a graph of groups with trivial vertex and edge groups, and its Bass-Serre tree, our Theorem becomes the desired inequality of the usual Strengthened Hanna Neumann conjecture for free groups.

연구 동기 및 목표

• 쿠로시 랭크 프레임워크를 확장하여 자유곱의 우하향 순서 가능 그룹으로 강화된 하나 뉴먼 추측을 일반화하는 것.
• 이러한 그룹에서 부분군 교차의 감소한 쿠로시 랭크에 대한 날카운 상계를 확립하는 것.
• 쌍중 코셋을 따라 $ H^g \cap K $ 의 감소한 쿠로시 랭크가 $ H $ 와 $ K $ 의 감소한 쿠로시 랭크의 곱으로 유계임을 보이는 것.
• 나무 위의 군 작용과 딕스의 기하적 접근을 사용하여 자유곱에서의 쿠로시 랭크 유계화에 관한 이전 결과들을 통합하고 확장하는 것.

제안 방법

• 자기 군 $ G $-나무 $ T $ 에서 간선의 정 stabilizer 가 자명한 조건에서, 부분군 $ H $ 의 쿠로시 랭크 $ \kappa_T(H) $ 를 바스-세르 이론을 이용해 정의한다.
• 감소한 쿠로시 랭크를 $ \overline{\kappa}_T(H) = \max\{0, \kappa_T(H) - 1\} $ 로 정의하며, 이는 자유군의 고전적 랭크와 일치한다.
• 마이네예프의 힐버트 모듈 증명의 딕스가 단순화한 버전을 적용하여 고급 함수해석학을 피하면서도 핵심 부등식을 유지한다.
• 표준적인 동치를 확립한다: $ \overline{\kappa}_T(H) = |E\mathcal{T}_H / H| $, 즉 딕스의 $ H $-나무 $ \mathcal{T}_H $ 에서 $ H $-궤도의 간선 수이다.
• 간선 집합 위에 단사 사상 구축: $ \bigcup_{g \in K\backslash G/H} E\mathcal{T}_{H^g \cap K}/(H^g \cap K) \to E\mathcal{T}_H/H \times E\mathcal{T}_K/K $, 자명한 간선 정 stabilizer 를 활용한다.
• 이 사상의 단사성을 이용하여 부등식 $ \sum_{g \in K\backslash G/H} \overline{\kappa}_T(H^g \cap K) \leq \overline{\kappa}_T(H) \cdot \overline{\kappa}_T(K) $ 를 유도한다.

실험 결과

연구 질문

• RQ1 강화된 하나 뉴먼 추측은 우하향 순서 가능 그룹의 자유곱으로까지 확장되는가?
• RQ2 자유곱에서 부분군 교차의 감소한 쿠로시 랭크는 부분군의 감소한 쿠로시 랭크의 곱으로 유계가 되는가?
• RQ3 딕스의 나무에서 간선 궤도를 통한 감소한 쿠로시 랭크의 기하적 특성화가 가능한가?
• RQ4 마이네예프의 힐버트 모듈 방법은 바스-세르 이론과 딕스의 프레임워크를 사용해 자유곱에 적응 가능한가?

주요 결과

• 쌍중 코셋 대표원소 $ g \in K\backslash G/H $ 를 따라 $ H^g \cap K $ 의 감소한 쿠로시 랭크의 합은 $ H $ 와 $ K $ 의 감소한 쿠로시 랭크의 곱으로 유계이다.
• 임의의 우하향 순서 가능 그룹의 자유곱이 자명한 간선 정 stabilizer 를 가진 나무 위에서 작용할 경우, 부등식 $ \sum_{g \in K\backslash G/H} \overline{\kappa}_T(H^g \cap K) \leq \overline{\kappa}_T(H) \cdot \overline{\kappa}_T(K) $ 가 성립한다.
• 만약 $ G $ 가 자유군이고 $ T $ 가 그의 바스-세르 나무일 경우, 감소한 쿠로시 랭크는 표준 군 랭크와 일치하므로, 결과는 강화된 하나 뉴먼 추측을 회복한다.
• 감소한 쿠로시 랭크 $ \overline{\kappa}_T(H) $ 는 딕스의 $ H $-나무 $ \mathcal{T}_H $ 에서 $ H $-궤도의 간선 수와 같다. 이는 기하학적이고 조합론적인 특성화를 제공한다.
• 이 증명은 자명한 간선 정 stabilizer 와 쌍중 코셋의 구조 덕분에 가능해지는 딕스 나무의 간선 궤도 집합 간의 단사 사상에 기반한다.
• 쿠로시 랭크가 무한대일 경우에도 이 결과는 성립하며, $ 0 \cdot \infty = 0 $ 의 관례를 적용함으로써 모든 부분군으로까지 이 유계를 확장한다.