[논문 리뷰] Generating functions and statistics on spaces of maximal tori in classical Lie groups

Jason Fulman, Rita Jiménez Rolland외 1명|arXiv (Cornell University)|2016. 10. 21.

Advanced Algebra and Geometry참고 문헌 14인용 수 3

한 줄 요약

이 논문은 고전적 리 군의 유형 A, B, 및 C에서 $F$-안정적인 최대 원환군에 대한 다항 통계의 안정값에 대해 생성함수 기법을 사용하여 명시적 공식을 유도한다. 이는 비틀린 호모로지 안정성을 확립하고, 안정된 비틀린 베텨 수의 생성함수를 계산하며, 이들이 선형 재귀관계를 만족하는 쿼asi다항식임을 보여준다.

ABSTRACT

In this paper we use generating function methods to obtain new asymptotic results about spaces of $F$-stable maximal tori in $GL_n(\overline{F_q})$, $Sp_{2n}(\overline{F_q})$, and $SO_{2n+1}(\overline{F_q})$. We recover stability results of Church--Ellenberg--Farb and Jiménez Rolland--Wilson for "polynomial" statistics on these spaces, and we compute explicit formulas for their stable values. We derive a double generating function for the characters of the cohomology of flag varieties in type B/C, which we use to obtain analogs in type B/C of results of Chen: we recover "twisted homological stability" for the spaces of maximal tori in $Sp_{2n}(\mathbb{C})$ and $SO_{2n+1}(\mathbb{C})$, and we compute a generating function for their "stable twisted Betti numbers". We also give a new proof of a result of Lehrer using symmetric function theory.

연구 동기 및 목표

• 고전적 리 군의 $F$-안정적인 최대 원환군에서 다항 통계의 점근적 안정성 결과에 대해 새로운 생성함수 기반 증명을 제공한다.
• 이전의 Church–Ellenberg–Farb 및 Jiménez Rolland–Wilson의 결과를 확장하여, 이러한 통계의 명시적 안정값을 생성함수를 사용해 계산한다.
• 유형 B/C의 플래그 다양체의 코호몰로지 특성의 이중 생성함수를 유도하여, 유형 A의 Chen 결과에 대한 유사 결과를 가능하게 한다.
• 유형 B/C에서의 안정된 비틀린 베텔 수가 유한한 재귀 순서와 유한한 쿼아주기(period)를 가진 쿼اسي다항식임을 입증한다.
• Lehrer의 정리에 대해 대칭 함수 이론을 활용한 새로운 증명을 제시하며, 이는 유형 A의 특성 다항식과 점 수(count)에 관한 것이다.

제안 방법

• Lehrer의 특성 공식의 좌변을 분석하기 위해 생성함수를 사용하여 $GL_n$, $Sp_{2n}$, $SO_{2n+1}$의 유한체 위에서 $F$-안정적인 최대 원환군에 대해 분석한다.
• 대칭 함수 이론을 적용하여 유형 A에서 Lehrer의 결과를 재증명하며, 코인variant 대수와 순서 함수의 내적을 중심으로 한다.
• 초정팔면체군 $B_n$의 구조를 이용하여 유형 B/C의 플래그 다양체의 코호몰로지 특성의 이중 생성함수를 유도한다.
• 안정된 비틀린 베텔 수의 생성함수를 유리함수로 계산하며, 분모가 $1 - z^i$ 및 $1 + z^i$의 곱으로 이루어져 있음을 확인하여 쿼اسي다항식의 구조를 드러낸다.
• 생성함수의 극을 분석하여 안정된 베텔 수가 최대 차수 $\deg(P) - 1$인 쿼اسي다항식이며, 쿼아주기(quasiperiod)가 $\text{lcm}(2, 4, \dots, 2\deg(P))$의 약수임을 도출한다.
• 생성함수로부터 유도된 재귀관계를 사용하여 $\mathbb{C}^n$, $\bigwedge^2\mathbb{C}^n$, $\bigwedge^3\mathbb{C}^n$ 등의 표현에 대한 안정된 베텔 수를 특성화한다.

실험 결과

연구 질문

• RQ1 고전적 리 군의 유형 A, B, 및 C에서 $F$-안정적인 최대 원환군에 대한 다항 통계의 명시적 안정값은 무엇인가?
• RQ2 생성함수를 어떻게 활용하여, 유형 A의 Chen 결과에 대응하는 유형 B/C에서의 비틀린 호모로지 안정성 결과를 도출할 수 있는가?
• RQ3 유형 B/C에서의 안정된 비틀린 베텔 수의 생성함수의 구조는 무엇이며, 이는 그 기능적 형태에 어떤 함의를 갖는가?
• RQ4 유형 B/C에서의 안정된 비틀린 베텔 수는 선형 재귀관계를 만족하는가? 만약 그렇다면, 그 순서와 계수는 무엇에 의해 결정되는가?
• RQ5 대칭 함수 이론을 사용하여 유형 A의 Lehrer의 특성 공식에 대해 새로운 증명을 제시할 수 있는가?

주요 결과

• 생성함수를 통해 $GL_n$, $Sp_{2n}$, $SO_{2n+1}$의 $F$-안정적인 최대 원환군에서 다항 통계의 안정값이 명시적으로 계산되었다.
• 유형 B/C에서의 안정된 비틀린 베텔 수의 생성함수는 분모가 $1 - z^i$ 및 $1 + z^i$의 곱으로 이루어진 유리함수이며, 그 차수는 특성 다항식의 차수에 의해 유 bounds된다.
• 안정된 비틀린 베텔 수는 최대 차수 $\deg(P) - 1$인 쿼اسي다항식이며, 쿼아주기는 $\text{lcm}(2, 4, \dots, 2\deg(P))$의 약수이다.
• 표준 표현 $\mathbb{C}^n$의 경우, 안정된 베텔 수는 $d$가 홀수이면 $\beta_d = 1$, 짝수이면 $\beta_d = 0$이며, $d \geq 3$일 때 $\beta_d = \beta_{d-2}$를 만족한다.
• $\bigwedge^2\mathbb{C}^n$의 경우, 안정된 베텔 수는 $d \geq 6$일 때 $\beta_d = \beta_{d-2} + \beta_{d-4} - \beta_{d-6}$를 만족하며, 주기 4인 조각 쿼اسي다항식으로 표현된다.
• $\bigwedge^3\mathbb{C}^n$의 경우, 안정된 베텔 수는 차수 2인 쿼اسي다항식이며 주기 12, 순서 12의 재귀관계를 만족하며, $d$에 대한 모듈로 12의 이차적 의존성을 보인다.