[논문 리뷰] Scaled relators and Dehn functions for nilpotent groups

Robert M. Young|ArXiv.org|2006. 01. 12.

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

한 줄 요약

이 논문은 스케일링 자동형사와 등급 호환성 있는 메쉬를 사용한 조합적 방법을 도입하여, 노름군에서 이차 딜른 함수를 확립한다. 기존 결과에 대한 새로운 증명을 제공하고, 중심적 거듭제곱과 특정 몫에 대해 이차 이소페리메트릭 부등식을 증명하며, 이론적으로 처음으로 계수 3의 순환 없는 노름군에서 이차 딜른 함수를 가진 예를 구성하여 오랫동안 남아 있던 열린 문제를 해결한다.

ABSTRACT

A homogeneous nilpotent Lie group has a scaling automorphism determined by a grading of its Lie algebra. Many proofs of upper bounds for the Dehn function of such a group depend on being able to fill curves with discs compatible with this grading; the area of such discs changes predictably under the scaling automorphism. In this paper, we present combinatorial methods for finding such bounds. Using this method, we give new proofs of some results on Dehn functions of nilpotent groups, prove theorems on central powers and certain quotients of nilpotent groups, and construct the first example of a torsion-free nilpotent group of class 3 with a quadratic Dehn function.

연구 동기 및 목표

• 스케일링 자동형사와 등급을 가진 관계자들을 사용하여 노름군에서 딜른 함수의 상한을 구하기 위한 조합적 기법을 개발한다.
• 스케일링 호환성 있는 디스크 메쉬를 통해 기존의 노름군에 대한 알려진 이소페리메트릭 부등식에 대한 새로운 증명을 제공한다.
• 노름군의 중심적 거듭제곱과 특정 몫에 대해 이차 딜른 함수를 확립한다.
• 계수 3의 순환 없는 노름군에서 이차 딜른 함수를 가진 첫 번째 예를 구성한다.
• 균질 리 군의 격자에서 이소페리메트릭 부등식을 증명하는 데 있어 기하학적 접근과 조합적 접근을 연결한다.

제안 방법

• 균질 노름군 리 군의 스케일링 자동형사를 사용하여, 스케일링에 따른 디스크의 면적 증가를 제어한다.
• 스케일링된 관계자 개념을 정의하고 적용한다. 여기서 관계자는 그 군의 등급에 따라 예측 가능하게 면적이 변화하는 디스크로 메쉬된다.
• 수평 디스크를 포함하는 반 캄펜 다이어그램을 구성하여 리 대수의 등급을 존중함으로써, 스케일링에 따른 면적 상한이 유지되도록 보장한다.
• 주요 정리를 적용하여, 관계자가 스케일링 호환성 있는 디스크로 메쉬될 수 있다면 그 군은 이차 딜른 함수를 가진다.
• 자기형사와 교환자 항등식을 사용하여 고차 교환자들을 저차 교환자로 표현된 단어로 줄이며, 3원소 교환자들의 중심성을 증명한다.
• 자코비 항등식과 쌍대성 불변성을 활용하여, 모든 4원소 교환자가 수평 디스크로 메쉬될 수 있음을 보이며, 이는 이차 이소페리메트릭 상한을 암시한다.

실험 결과

연구 질문

• RQ1 스케일링 자동형사와 등급을 가진 관계자에 기반한 조합적 방법을 사용하여, 노름군에 대해 날카로운 이소페리메트릭 부등식을 확립할 수 있는가?
• RQ2 노름군의 표현에서 관계자가 군의 자동형사에 대해 예측 가능하게 스케일링되는 디스크로 메쉬될 수 있도록 보장하는 조건은 무엇인가?
• RQ3 계수 3의 순환 없는 노름군에서 이차 딜른 함수를 가진 예를 구성하는 것은 가능한가? 만약 가능하다면, 어떻게 구성할 수 있는가?
• RQ4 노름군의 중심적 거듭제곱은 그 딜른 함수 측면에서 어떻게 행동하는가? 그리고 이는 스케일링 호환성 있는 메쉬를 통해 증명될 수 있는가?
• RQ5 노름군에 대해 중심화된 이소페리메트릭 함수와 일반적인 상한이 어느 정도 일치하는가? 그리고 언제 실패하는가?

주요 결과

• 논문은 계수 3의 순환 없는 노름군에서 이차 딜른 함수를 가진 첫 번째 예를 구성하여 열린 문제를 해결한다.
• 중앙적 거듭제곱이 이차 이소페리메트릭 부등식을 만족함을 증명하며, 히젠베르그 군에 대한 기존 결과를 일반화한다.
• 관계자가 스케일링 호환성 있는 디스크로 메쉬될 수 있다면, 그 군은 이차 딜른 함수를 가진다.
• 구성된 군에서 모든 4원소 교환자는 수평 디스크로 메쉬될 수 있음을 보이며, 이는 군이 이차 이소페리메트릭 부등식을 만족함을 암시한다.
• 이 방법은 특히 계수 2 군에 대해 기존의 딜른 함수 상한에 대한 새로운 조합적 증명을 제공한다.
• 논문은 말체프의 임bedding 정리에 의해, 순환 없는 노름군의 딜른 함수가 그에 해당하는 노름군 리 군의 딜른 함수와 동치임을 보여준다.