[논문 리뷰] On the Cayley degree of an algebraic group

Nicole Lemire, Vladimir L. Popov외 1명|arXiv (Cornell University)|2006. 08. 18.

Algebraic Geometry and Number Theory참고 문헌 2인용 수 3

한 줄 요약

이 논문은 연결된 선형 대수적 군이 케일리 군에서 얼마나 떨어져 있는지를 측정하는 케일리 차수를 도입하며, 고전적 케일리 사상의 일반화이다. 비유적 기하학과 최대 토리 및 리 대수에서의 웨일 군 작용을 이용하여 특수선형군 $\mathrm{SL}_n$ 과 예외적 군 $\mathrm{G}_2$ 의 케일리 차수에 상한을 설정하며, $\mathrm{Cay}(\mathrm{SL}_n) \leq n-2$ 와 $\mathrm{Cay}(\mathrm{G}_2) = 2$ 를 증명한다.

ABSTRACT

A connected linear algebraic group G is called a Cayley group if the Lie algebra of G endowed with the adjoint G-action and the group variety of G endowed with the conjugation G-action are birationally G-isomorphic. In particular, the classical Cayley map, X \mapsto (I_n-X)/(I_n+X), between the special orthogonal group SO_n and its Lie algebra so_n, shows that SO_n is a Cayley group. In an earlier paper (see math.AG/0409004) we classified the simple Cayley groups defined over an algebraically closed field of characteristic zero. Here we consider a new numerical invariant of G, the Cayley degree, which "measures" how far G is from being Cayley, and prove upper bounds on Cayley degrees of some groups.

연구 동기 및 목표

• 선형 대수적 군이 케일리 군이 되지 못하는 데의 실패 정도를 수치적 불변량으로 측정하는 케일리 차수를 정의하고 연구하기 위해.
• 기존의 차수 1의 케일리 군 분류를 초과하여 더 높은 차수로 확장하기 위해.
• 특히 $\mathrm{SL}_n$ 과 $\mathrm{G}_2$ 와 같은 군에 대해 유리 등변 사상의 사용을 통해 재수성 군의 케일리 차수에 상한을 설정하기 위해.
• 최대 토리의 함수체 위에서의 웨일 군 작용을 통해 표현 이론과 케일리 차수를 연결하기 위해.

제안 방법

• 고전적 케일리 사상의 일반화로서, 군 $G$ 에서 그 리 대수 $\mathfrak{g}$ 로의 $G$-등변인 유리 사상의 최소 차수로 케일리 차수 $\mathrm{Cay}(G)$ 를 정의한다.
• 최대 토리 $T$ 와 $\mathbb{A}^n$ 안의 초표면 $X$ 사이의 비유적 동형 사상 $\psi$ 를 사용한 후, 리 대수 $\mathfrak{t}$ 로의 사영을 조합하여 일반화된 케일리 사상을 구성한다.
• 웨일 군 $W = N_G(T)/T$ 를 활용하여 문제를 $k(T)$ 위의 유한군 작용으로 환원함으로써, 차수에 대한 대수적 제어를 가능하게 한다.
• 대칭 함수와 $T$ 위의 유리 함수, 예를 들어 $z_i = t_i - t_i^{-1}$ 와 같은 것을 통해 $k(M) \subset k(T)$ 와 같은 차수 제어가 가능한 부분체를 생성한다.
• 유리 사상의 차수는 $\deg \varphi = [k(G):\varphi^*(k(\mathfrak{g}))]$ 이라는 사실을 이용하여, $[k(T):k(M)]$ 의 체 확장 차수를 통해 결과적인 일반화된 케일리 사상의 차수를 유계화한다.
• 함수체 $k(T)$ 위의 $\mathfrak{t}^*$ 와의 동형을 통해, 사상의 차수를 추이성 차수와 체 확장과 연결한다.

실험 결과

연구 질문

• RQ1 재수성 군 $G$ 에 대해 그 리 대수로 향하는 $G$-등변 유리 사상의 최소 차수는 무엇이며, 다양한 군들 사이에서 어떻게 변화하는가?
• RQ2 $\mathrm{SL}_n$ 과 $\mathrm{G}_2$ 와 같이 케일리 군이 아닌 군들에 대해 케일리 차수를 어떻게 계산하거나 유계화할 수 있는가?
• RQ3 최대 토리의 함수체 위에서의 웨일 군 작용이 일반화된 케일리 사상의 구성과 분석에 얼마나 활용될 수 있는가?
• RQ4 표현 이론적 기법, 특히 $k(T)$ 내의 $W$-모듈러를 이용하여 케일리 차수에 효과적인 상한을 도출할 수 있는가?
• RQ5 $\mathrm{G}_2$ 는 케일리 군이 아니지만 케일리 차수가 2인 이유는 무엇이며, 이는 그 안정 케일리 성질과 어떻게 관련이 있는가?

주요 결과

• $\mathrm{SL}_n$ 의 케일리 차수는 최대 $n-2$ 이며, $n=4$ 에서는 등호가 성립하여 $\mathrm{Cay}(\mathrm{SL}_4) = 2$ 라는 것을 의미한다.
• 예외적 군 $\mathrm{G}_2$ 의 케일리 차수는 정확히 2이며, 케일리 군은 아니지만 매우 가까이 있는 것으로 나타난다.
• $n=3$ 에서는 본 논문에서 제시된 새로운 증명이 $\mathrm{Cay}(\mathrm{SL}_3) = 1$ 을 더 단순하게 유도하며, $\mathrm{SL}_3$ 이 케일리 군임을 확인한다.
• 일반화된 케일리 사상의 구성은 최대 토리에서 초표면으로의 비유적 사상과 그 후 리 대수로의 선형 사영을 포함한다.
• 사상의 차수는 $\mathfrak{t}^*$ 와 동형인 $W$-불변 부분모듈 $M \subset k(T)$ 에 대해 $[k(T):k(M)] $ 의 체 확장 차수로 제어된다.
• $k(T)$ 내의 $W$-모듈러를 이용한 표현 이론적 접근은 $\mathrm{Cay}(\mathrm{G}_2)$ 에 대해 6의 상한을 도출하지만, 정확한 상한은 2이다.