[논문 리뷰] Generic elements in Zariski-dense subgroups and isospectral locally symmetric spaces

Gopal Prasad, Andrei S. Rapinchuk|arXiv (Cornell University)|2012. 12. 06.

Advanced Algebra and Geometry참고 문헌 49인용 수 16

한 줄 요약

이 논문은 절대 단순 실대수군의 국소적으로 대칭적인 공간(형식 $\mathsf{A}_n$, $\mathsf{D}_{2n+1}$, $\mathsf{E}_6$ 제외)에 대해, 길이 공통성과 Schanuel의 추측, 그리고 Zariski-밀도 부분군 내의 일반 원소를 활용하여, 컴act 이sovolumetric 국소적으로 대칭적인 공간이 반드시 공통성을 가져야 한다고 규명한다. 주요 결과는 $n \not\equiv 1 \pmod{4}$ 인 하이퍼볼릭 $n$-다양체에 대해, 길이 공통성이 공통성으로 이어진다는 것이며, 이는 산술기하학에서 Kac의 '드럼의 모양을 들을 수 있는가?' 질문의 개선된 형태를 해결한다.

ABSTRACT

The article contains a survey of results on length-commensurable and isospectral locally symmetric spaces and related problems in the theory of semi-simple algebraic groups.

연구 동기 및 목표

• 국소적으로 대칭적인 공간에 대해 Mark Kac의 '드럼의 모양을 들을 수 있는가?' 질문의 개선된 형태를 해결하기 위해.
• 특히 산술적 맥락에서, 이sovolumetric 컴팩트 국소적으로 대칭적인 공간이 반드시 공통성이 있는지 조사하기 위해.
• 일부 유형의 산술적으로 정의된 국소적으로 대칭적인 공간에 대해, 길이 공통성이 공통성으로 이어진다는 것을 확립하기 위해.
• 절대 단순군에서의 약한 공통성과 스펙트럼 성질에 관한 결과를 더 일반적인 반단순군으로 확장하기 위해.
• 비산술적 국소적으로 대칭적인 공간에서 길이 공통성의 기하학적 및 산술적 결과에 관한 열린 문제를 규명하기 위해.

제안 방법

• 등장 길이 스펙트럼 $\mathbb{Q} \cdot L(M)$ 의 등식으로 정의된 길이 공통성의 개념을 사용하여, 등장 길이 스펙트럼 동일성 조건을 약화시키기 위해.
• 특히 유한 생성체 위에서 일반 토리의 존재를 고려한 반단순 대수군 이론의 기법을 적용하기 위해.
• 산술 격자 구조를 분석하기 위해, 유한 생성된 Zariski-밀도 부분군 내의 일반 원소를 활용하기 위해.
• 기하학적 길이의 대수적 독립성을 도출하기 위해 초월수 이론의 Schanuel의 추측에 의존하기 위해.
• Gangolli, Duistermaat-Guillemin 등이 확립한 등장 길이 스펙트럼 동일성과 등장 스펙트럼 동일성 간의 연결을 활용하여, 스펙트럼 문제를 기하 문제로 환원하기 위해.
• 유리 길이 스펙트럼과 대수군 이론적 방법을 통해 산술 부분군의 약한 공통성을 분석하기 위해.

실험 결과

연구 질문

• RQ1 산술적으로 정의된 $\mathsf{A}_n$, $\mathsf{D}_{2n+1}$, $\mathsf{E}_6$ 이외의 유형에 대해, 이sovolumetric 성질이 공통성과 동치인가?
• RQ2 두 국소적으로 대칭적인 공간의 길이 공통성이 그들의 공통성을 암시하는가? 특히 하이퍼볼릭 맥락에서.
• RQ3 Schanuel의 추측을 가정하지 않고, 길이 공통성의 기하학적 결과를 완전히 이해할 수 있는가?
• RQ4 산술적으로 정의되지 않은 경우조차, 한 길이 공통성 국소적으로 대칭적인 공간의 컴팩트성이 다른 공간의 컴팩트성까지 유도하는가?
• RQ5 $\mathsf{A}_n$, $\mathsf{D}_{2n+1}$, $\mathsf{E}_6$ 유형에 대해, 내부 형식 이외의 예를 $\mathsf{A}_n$ 형식을 초월하여, 이sovolumetric이지만 비공통성인 국소적으로 대칭적인 공간을 구성할 수 있는가?

주요 결과

• 산술적으로 정의된 실하이퍼볼릭 $n$-다양체에서 $n \not\equiv 1 \pmod{4}$ 이면, 길이 공통성이 공통성으로 이어지며, 이는 서로 다른 다양체의 지오데식 길이 비율 $\lambda_1 / \lambda_2$ 가 공통성이 없을 경우 초월수가 된다는 점에 기반한다.
• 논문은 한 길이 공통성 국소적으로 대칭적인 공간이 유한 체적을 가지면, 다른 공간의 컴팩트성도 유도함을 증명한다. 이는 적어도 하나의 공간이 산술적으로 정의된 경우에 한하여 성립한다.
• $\mathsf{A}_n$, $\mathsf{D}_{2n+1}$ ($n>1$), $\mathsf{E}_6$ 유형에 대해, 길이 공통성은 있지만 공통성이 없는 컴팩트 국소적으로 대칭적인 공간의 예를 구성한다.
• 주요 결과의 증명은 비공통성 맥락에서 지오데식 길이의 대수적 독립성을 확립하기 위해 Schanuel의 추측에 의존한다.
• 저자들은 컴팩트 국소적으로 대칭적인 공간에서 이sovolumetric 성질이 등장 길이 스펙트럼 동일성으로 이어진다는 것을 보였으며, 이는 분석의 기초 단계이다.
• 논문은 현재 지식의 격차를 규명한다: 많은 유형에 대해 길이 공통성이 공통성으로 이어지지만, 비산술적 공간의 일반적 경우는 여전히 열려있다.