[논문 리뷰] An Explicit Presentation of the Grothendieck Ring of Finitely Generated F_{q}[SL(2,F_{q})]-Modules

Davide A. Reduzzi|arXiv (Cornell University)|2011. 10. 31.

Finite Group Theory Research참고 문헌 2인용 수 3

한 줄 요약

이 논문은 유한 생성 $ℚ_q[SL_2(\u211a_q)]$-모듈러의 그로텐디크 링을 다항식 링 $ℤ[x]$의 몫으로서 명시적으로 기술한다. 이는 $f^{[g]}(x) - x$로 생성되는 이상ideals에 의해 정의되며, $f(x)$는 대칭 거듭제곱 표현으로부터 유도된 차수 $p$의 다항식이고, $f^{[g]}$는 $g$중복 합성이다. 주요 결과는 프로베누스 전환과 다항식 역학을 이용하여 그로텐디크 링의 완전한 대수적 구조를 확립하며, 단순 연결된 단순 복소수 대수군에 대해 이 결과를 고차원 군으로 확장하는 추측을 제시한다.

ABSTRACT

Let p be a prime and q=p^g. We show that the Grothendieck ring of finitely generated F_{q}[SL(2,F_{q})]-modules is naturally isomorphic to the quotient of the polynomial algebra Z[x] by the ideal generated by f^[g](x)-x, where f(x)=sum_{j=0}^{floor(p/2)}(-1)^{j}(p/(p-j))((p-j); j)x^{p-2j}, and the superscript [g] denotes g-fold composition of polynomials. We conjecture that a similar result holds for simply connected semisimple algebraic groups defined and split over a finite field.

연구 동기 및 목표

• 유한 생성 $ℚ_q[SL_2(\u211a_q)]$-모듈러에 대한 그로텐디크 링 $K_0(SL_2(\u211a_q))$의 명시적 대수적 표현을 규명하는 것.
• 프로베누스 전환과 다항식 합성을 통해 세르의 특성 $p$ 대칭 거듭제곱 항등식을 전체 링의 구조로 일반화하는 것.
• 단순 연결된 분해 가능 단순 대수군에 대해 $ℚ_q$ 위에서 정의된 체발리 군의 그로텐디크 링으로 결과를 확장하는 추측을 제시하는 것.
• 그로텐디크 링의 대수적 구조를 프로베누스 전환의 산술과 모듈로 $p$의 조르당-횔러 다중도 사이의 관계로 연결하는 것.

제안 방법

• 그로텐디크 링 $K_0(SL_2(\u211a_q))$ 내에서의 항등식 $\mathfrak{M}_k - \mathfrak{M}_{k-(q+1)} = \mathfrak{M}_{k-(q-1)} - \mathfrak{M}_{k-2q}$ 를 사용하여 대칭 거듭제곱 모듈러 간의 관계를 유도하는 것.
• 프로베누스 전환 $[i]$를 포함하는 일반화된 항등식 $(\Phi)$를 적용하여 그로텐디크 링 내 다항식 관계를 도출하는 것.
• 프로베누스 작동과 무게 이동 연산자의 작용을 코딩하는 차수 $p$의 상수다항식 $f(x) = \sum_{j=0}^{\lfloor p/2\rfloor} (-1)^j \frac{p}{p-j} \binom{p-j}{j} x^{p-2j}$ 를 구성하는 것.
• 다중 합성 $f^{[g]}(x)$를 정의하며, 여기서 $q = p^g$ 이므로 이는 그로텐디크 링 내에서 $g$번째 프로베누스 전환을 모델링하는 데 사용된다.
• 할당 $\mathfrak{X} \mapsto x$ 를 통해 $K_0(SL_2(\u211a_q)) \simeq \mathbb{Z}[x]/(f^{[g]}(x) - x)$ 인 동형사상을 확립하는 것.
• 다항식 구조가 모듈로 $p$ 환원과 링의 일반성 섬유 사이의 연결고리로 작용하기 위해 $f(x) \equiv x^p \mod p\mathbb{Z}[x]$ 를 증명하는 것.

실험 결과

연구 질문

• RQ1 유한 생성 $ℚ_q[SL_2(\u211a_q)]$-모듈러에 대한 그로텐디크 링 $K_0(SL_2(\u211a_q))$ 의 완전한 대수적 구조는 무엇인가?
• RQ2 특성 $p$ 에서의 프로베누스 전환과 무게 이동 연산자가 그로텐디크 링 내 다항식 관계를 어떻게 유도하는가?
• RQ3 그로텐디크 링 $SL_2(\u211a_q)$ 는 단일 다항식 관계와 반복 합성의 형태로 다항식 링의 몫으로 완전히 기술될 수 있는가?
• RQ4 프로베누스 전환의 조르당-횔러 다중도와 모듈로 $p$ 에서의 표현의 텐서 거듭제곱 사이의 관계는 무엇인가?
• RQ5 그로텐디크 링의 $SL_2(\u211a_q)$ 의 구조는 $ℚ_q$ 위에서 정의된 고차원 단순 연결된 단순 복소수 대수군으로 얼마나 일반화될 수 있는가?

주요 결과

• 그로텐디크 링 $K_0(SL_2(\u211a_q))$ 는 $f(x)$ 가 대칭 거듭제곱 표현을 코딩하는 차수 $p$ 다항식이고, $f^{[g]}$ 가 그의 $g$중복 합성인 $\mathbb{Z}[x]/(f^{[g]}(x) - x)$ 와 동형이다.
• 다항식 $f(x)$ 는 명시적으로 $f(x) = \sum_{j=0}^{\lfloor p/2\rfloor} (-1)^j \frac{p}{p-j} \binom{p-j}{j} x^{p-2j}$ 로 주어지며, $f(x) \equiv x^p \mod p\mathbb{Z}[x]$ 를 만족한다.
• $K_0(SL_2(\u211a_q)) \otimes_{\mathbb{Z}} \mathbb{Z}_p$ 의 일반성 및 특수성 섬유의 구조는 다항식 $f^{[g]}(x)$ 에 의해 완전히 결정된다.
• 임의의 표현 $\mathfrak{M}$ 의 프로베누스 전환 $\mathfrak{M}^{[i]}$ 는 $\mathfrak{M}^{\otimes p^i}$ 와 모듈로 $p$ 에서 동일한 조르당-횔러 다중도를 가지며, 이는 그로텐디크 링 내에서 모듈로 $p$ 에 대한 합동을 확립한다.
• 추측은 결과를 고차원 군으로 확장한다: $K_0(\mathbb{G}(\mathbb{F}_q)) \simeq \mathbb{Z}[x_1,\dots,x_\ell]/(\mathfrak{f}_1^{[g]}(x_1) - x_1, \dots, \mathfrak{f}_\ell^{[g]}(x_\ell) - x_\ell)$, 여기서 각 $\mathfrak{f}_i(x_i) \equiv x_i^p \mod p\mathbb{Z}[x_i]$ 이다.
• 추측에 대한 증거로는 스텐베르크의 단순 복소수 쌍대류 수와 차원 일치, 모듈로 $p$ 환원, 그리고 $K_0(\mathbb{G}(\mathbb{F}_q)) \otimes \mathbb{F}_q$ 가 $\mathbb{F}_q[x_1,\dots,x_\ell]/(x_1^q - x_1, \dots, x_\ell^q - x_\ell)$ 와 동형이라는 사실이 포함된다.