[논문 리뷰] A criterion for quadraticity of a representation of the fundamental group of an algebraic variety

Louis-Clément Lefèvre|arXiv (Cornell University)|2015. 09. 09.

Algebraic Geometry and Number Theory참고 문헌 27인용 수 4

한 줄 요약

이 논문은 매끄러운 복소 quasi-대수적 다양체의 기본군의 표현이 표현 다양체에서 이차 특이점으로 이르는 조건을 설정한다. 호지 이론과 골드먼 및 밀리슨의 작업을 활용하여, 만약 그 다양체의 유한 에탈 갈루아 쌍대 덮개가 첫 번째 베티 수가 0인 매끄러운 컴actsification을 갖는다면, 그 표현은 해석적으로 동차 이차식으로 정의됨을 보여준다.

ABSTRACT

Let $\\Gamma$ be a finitely presented group and $G$ a linear algebraic group over $\\mathbb{R}$. A representation $\ ho:\\Gamma\ ightarrow G(\\mathbb{R})$ can be seen as an $\\mathbb{R}$-point of the representation variety $\\mathfrak{R}(\\Gamma, G)$. It is known from the work of Goldman and Millson that if $\\Gamma$ is the fundamental group of a compact K{\\"a}hler manifold and $\ ho$ has image contained in a compact subgroup then $\ ho$ is analytically defined by homogeneous quadratic equations in $\\mathfrak{R}(\\Gamma, G)$. When $X$ is a smooth complex algebraic variety, we study a certain criterion under which this same conclusion holds.

연구 동기 및 목표

• 쿠라메르 다양체에서의 골드먼-밀리슨 정리의 이차 특이점에 대한 일반화를 매끄러운 복소 quasi-대수적 다양체로 확장하는 것.
• 표현 다양체에서의 이차 특이점이 보장되는 유한 에탈 쌍대 덮개에 대한 기하적 조건을 규명하는 것.
• 컴actsification의 첫 번째 베티 수를 이용해 유한 이미지를 가진 표현의 이차성에 대한 기준을 제공하는 것.
• 초평면 배치의 여유공간 및 기타 예시에 대한 기존 결과를 더 넓은 다양체의 범주로 일반화하는 것.
• 복소 토러스의 가중치 가중치와 헤르미트 대칭 공간과 같은 새로운 예제를 탐색하여 기준이 적용되는지 확인하는 것.

제안 방법

• 기본군 $\Gamma$ 에서 실선형 대수적 군 $G$ 로의 준동형사상들을 매개변수화하는 표현 다양체 $\mathfrak{R}(\Gamma, G)$ 를 사용한다.
• 골드먼-밀리슨의 해석적 껍질과 가중 동차 특이점 이론을 적용하여 표현 $\rho$ 근처의 국소적 구조를 연구한다.
• 델리뉴와 모건의 결과를 활용하여 quasi-대수적 다양체의 코homological 성질을 분석한다.
• 유한 에탈 갈루아 쌍대 덮개 $Y \to X$ 가 첫 번째 베티 수가 0인 매끄러운 컴actsification $\overline{Y}$ 를 가짐을 조건으로 둔다.
• 표현의 강성과 상대 알바네제 구성법을 사용하여 $\rho$ 근처의 해석적 껍질이 이차임을 보인다.
• 카즈단의 성질 (T) 과 베일리-보렐 컴actsification을 적용하여 헤르미트 대칭 공간에 대해 베티 수 조건을 검증한다.

실험 결과

연구 질문

• RQ1 매끄러운 복소 quasi-대수적 다양체에 대해, 어떤 기하적 조건이 유한 이미지를 가진 표현이 표현 다양체에서 이차 특이점으로 이르게 하는가?
• RQ2 쿠라메르 다양체에서의 골드먼-밀리슨 기준이 비콤팩트 대수적 다양체로 어떻게 일반화될 수 있는가?
• RQ3 매끄러운 컴actsification의 첫 번째 베티 수가 표현의 특이점 유형을 결정하는 데 어떤 역할을 하는가?
• RQ4 이 기준이 복소 토러스의 가중치 가중치와 헤르미트 국소 대칭 공간에 적용될 수 있는가?
• RQ5 컴actsification에서 $b_1$ 이 0이 되는 것이 표현 다양체에서의 이차 행동을 얼마나 강하게 암시하는가?

주요 결과

• 만약 $X$ 가 기본군이 $\Gamma$ 인 매끄러운 복소 quasi-대수적 다양체이고, $\rho: \Gamma \to G(\mathbb{R})$ 가 유한 이미지를 가지며, 이에 대응하는 유한 에탈 갈루아 쌍대 덮개 $Y \to X$ 가 첫 번째 베티 수가 0인 매끄러운 컴actsification $\overline{Y}$ 를 갖는다면, $\mathfrak{R}(\Gamma, G)$ 에서 $\rho$ 근처의 해석적 껍질은 이차 특이점이다.
• 이 결과는 콤팩트 쿠라메르 다양체에서의 골드먼-밀리슨 정리를 $b_1 = 0$ 조건이 컴actsification에 대해 만족될 경우 매끄러운 quasi-대수적 다양체로 일반화한다.
• 자명한 표현의 경우, 이 기준은 $b_1(\overline{X}) = 0$ 인 초평면 배열의 여유공간 또는 곡선의 경우에 알려진 경우로 축소된다.
• 상대 알바네제 다양체에 비자명한 거의 상수 성분이 없는 경우, 이 기준은 $X$ 위의 복소 토러스의 가중치 가중치에 적용된다.
• 헤르미트 대칭 공간의 비콤팩트 유형 $\Omega$ 에 대해 $\Gamma$ 가 순서가 2 초과인 토너스 없는 격자일 경우, $X = \Gamma \backslash \Omega$ 는 컴actsification에서 $b_1 = 0$ 조건을 만족하므로 정리가 성립한다.
• 이 증명은 성질 (T) 가 유한 지수 부분군 $\Gamma'$ 에 대해 $b_1(\Gamma') = 0$ 임을 암시하고, $\pi_1(\overline{Y})^{\text{ab}}$ 가 유한하므로 $b_1(\overline{Y}) = 0$ 임을 근거로 한다.