[논문 리뷰] On some geometric representations of GL(n,O)

Uri Bader, Uri Onn|arXiv (Cornell University)|2004. 04. 22.

Advanced Algebra and Geometry참고 문헌 11인용 수 7

한 줄 요약

이 논문은 비아르키메데스 현지체의 정수환 $\mathfrak{o}$ 에 대한 $\mathrm{GL}_n(\mathfrak{o})$ 의 그라스만 표현과 관련된 헤크 기하학적 기저와 대수적 기저 사이의 명시적 전이 행렬을 계산한다. 핵심 결과는 $p$-진 다변수 재스비 함수—헤크 대수 내 최소의 아이소토프—를 대수적 기저로 식별하며, 전이 행렬은 $\mathfrak{o}$-격자에 대한 조합적 불변량에 의해 표현된다.

ABSTRACT

We study a family of complex representations of the group GL(n,O), where O is the ring of integers of a non-archimedean local field F. These representations occur in the restriction of the Grassmann representation of GL(n,F) to its maximal compact subgroup GL(n,O). We compute explicitly the transition matrix between a geometric basis of the Hecke algebra associated with the representation and an algebraic basis which consists of its minimal idempotents. The transition matrix involves combinatorial invariants of lattices of submodules of finite O-modules. The idempotents are p-adic analogs of the multivariable Jacobi polynomials.

연구 동기 및 목표

• 표준 최대 컴acts부분군인 $\mathrm{GL}_n(\mathfrak{o})$ 에서 $\mathrm{GL}_n(F)$ 의 그라스만 표현의 제한을 연구한다.
• 공간 $\mathcal{S}(\mathrm{Gr}(m,n,F))$ 가 $\mathrm{GL}_n(\mathfrak{o})$ 작용 하에 기약 표현으로 분해되는 방식을 분석한다.
• $\mathcal{H}_m$ 헤크 대수에서 기하학적 기저(이중 코스의 특성 함수)와 대수적 기저(최소 아이소토프) 사이의 전이 행렬을 계산한다.
• $p$-진 다변수 재스비 함수가 헤크 대수의 기저를 이룬다는 것을 증명하고, 고전적 재스비 다항식의 $p$-진 유사체로 간주한다.

제안 방법

• $I_\ell$-불변 부분공간에 의한 $\mathcal{S}(\mathrm{Gr}(m,n,F))$ 의 필터링을 사용하여 무한차원 문제를 유한군 $\mathrm{GL}_n(\mathfrak{o}_\ell)$ 으로 축소한다.
• $\mathrm{Gr}(m,n,\mathfrak{o}_\ell)$ 를 $\mathbb{C}(\mathrm{Gr}(m,n,\mathfrak{o}_\ell))$ 와 동일시하고, $\mathrm{GL}_n(\mathfrak{o}_\ell)$ 의 작용을 분석한다.
• $\mathrm{GL}_n(\mathfrak{o})$ 상에서 이중 $P_x$-불변 함수의 콘볼루션 대수로 헤크 대수 $\mathcal{H}_m$ 를 구성하며, 이중 코스의 특성 함수로 주어진 기하학적 기저를 가진다.
• 유일한 $P_x$-구면 벡터 $e_\lambda^F$ 를 정규화하여 $\mathcal{H}_m$ 내 최소 아이소토프로 정의함으로써 대수적 기저를 정의한다.
• 랭크와 몫 차원 공식과 같은 격자 이론적 도구를 사용하여 부분모듈의 조합적 불변량을 통해 전이 행렬의 성분을 계산한다.
• 나카야마의 보조정리와 $\mathfrak{p}^i$-탄성에 대한 정확한 수열을 적용하여 모듈의 유형 $\tau$ 를 그 구조와 연결하고 전이 행렬 성분을 유도한다.

실험 결과

연구 질문

• RQ1 헤크 대수 $\mathcal{H}_m$ 의 기하학적 기저와 대수적 기저 사이의 전이 행렬이 격자 불변량에 따라 어떻게 의존하는가?
• RQ2 다변수 $p$-진 재스비 함수의 정확한 조합적 구조는 격자 부분모듈에 대해 어떻게 기술되는가?
• RQ3 헤크 대수 내 최소 아이소토프는 $\mathrm{GL}_n(\mathfrak{o})$ 의 이중 코스 구조와 어떻게 관련되는가?
• RQ4 $p$-진 재스비 함수는 $q$-하한 다항식과 고전적 재스비 다항식을 어떻게 일반화하는가?
• RQ5 격자 부분모듈의 유형 $\tau$ 와 $\mathfrak{p}$-탄성 자료만을 사용하여 전이 행렬을 명시적으로 계산할 수 있는가?

주요 결과

• 정리 7에 의해, 기하학적 기저(이중 코스의 특성 함수)와 대수적 기저(최소 아이소토프 $e_\lambda^F$) 사이의 전이 행렬이 명시적으로 계산되었다.
• 최소 아이소토프 $e_\lambda^F$ 는 $P_x$-구면 벡터로서 그라스만 표현에서 유래한 $p$-진 다변수 재스비 다항식의 유사체로 식별된다.
• 행렬 성분은 특히 유한한 $\mathfrak{o}$-모듈의 부분모듈 $x,y$ 에 대해 $\frac{\mathfrak{p}x \cap \mathfrak{p}y}{\mathfrak{p}(x \cap y)}$ 의 차원에 의해 결정된다.
• 전이 행렬은 유형 $\tau(x)$, $\tau(y)$, $\tau(x+y)$ 에만 의존하며, 조건 $\mathrm{rk}(x+y) = \mathrm{rk}(x)$ 와 $x+y$ 가 $x$ 를 덮는다는 조건을 만족해야 한다.
• $\mathcal{H}_m$ 헤크 대수의 구조는 이중 코스 기하학과 $\tau$ 및 $\mathfrak{p}$-탄성과 같은 모듈 이론적 불변량 간의 상호작용를 통해 완전히 기술된다.
• 결과는 $\mathrm{GL}_n(\mathfrak{o})$ 의 표현 이론과 $\mathfrak{o}$-격자에 대한 조합론 사이의 정확한 연결고리를 확립하며, 고전적 직교 다항식 및 $q$-다항식 체계를 일반화한다.