[논문 리뷰] Universal factorial Schur $P,Q$-functions and their duals

Masaki Nakagawa, Hiroshi Naruse|arXiv (Cornell University)|2018. 12. 08.

Advanced Combinatorial Mathematics참고 문헌 10인용 수 10

한 줄 요약

이 논문은 라자드 링 $\mathbb{L}$ 위에서 보편적인 계승계수를 가진 슈어 $P,Q$-함수와 그 쌍대를 도입하며, 고전적인 슈어 함수를 등변 및 일반화된 코homology 설정으로 일반화한다. 형식적 군 법칙과 대칭 함수 이론을 사용하여, 저자들은 고전적 군의 루프 공간의 $K$-호모로지에 대한 슈베르트 기저 표현을 구성하며, 안정적 그로텐디크 다항식과의 연결을 확립하고, 표편을 통한 조합적 공식을 제안한다.

ABSTRACT

We define universal factorial Schur $P,Q$-functions and their duals, which specialize to generalized (co)-homology "Schubert basis" for loop spaces of the classical groups. We also investigate some of their properties.

연구 동기 및 목표

• 라자드 링 $\mathbb{L}$와 형식적 군 법칙을 사용하여 계승계수를 가진 슈어 $P,Q$-함수를 보편적 설정으로 확장하기.
• 스페셜 유니터리 군과 오르토고날 군의 루프 공간 $Sp(\infty)$ 및 $SO(\infty)$에 대한 $K$-호모로지의 슈베르트 기저 원소를 대칭 함수의 링 내에서 실현하기.
• 쌍대 보편 함수를 정의하고, 표편 및 안정적 그로텐디크 다항식을 통한 조합적 해석을 제안하기.
• 이중 무한 형식 변수를 사용하여 모레브의 쌍대 슈어 함수를 보편적 설정으로 일반화하기.

제안 방법

• 라자드 링 위의 보편적 형식적 군 법칙을 사용하여 $[t|{\bf b}]^k = \prod_{i=1}^k (t \mathbin{+_F} b_i)$ 및 $[[t|{\bf b}]]^{k+1} = (t \mathbin{+_F} t)[t|{\bf b}]^k$ 를 정의한다.
• 대칭 함수의 링 위에서 $S_n$에 대한 대칭화를 통해 $P^\mathbb{L}_\lambda$ 및 $Q^\mathbb{L}_\lambda$ 를 $F$-덧셈과 역원의 비율을 사용하여 구성한다.
• 라자드 링에 대한 슈퍼대칭 급수 $\Gamma^\mathbb{L}({\bf x}_n)$ 를 도입하고, $P^\mathbb{L}_\lambda$, $Q^\mathbb{L}_\lambda$ 가 이 공간에 속한다는 것을 증명한다.
• 생성 급수와 분할 차분 연산자를 통해 쌍대 함수 $\widehat{p}^\mathbb{L}_\lambda({\bf y}|{\bf b})$, $\widehat{q}^\mathbb{L}_\lambda({\bf y}|{\bf b})$ 를 정의한다.
• 표편 $Tab(\lambda)$ 와 $Tab'(\lambda)$ 를 통한 조합적 공식을 제안하고, $gp_\lambda({\bf y})$, $gq_\lambda({\bf y})$ 가 쌍대 보편 함수와 연결됨을 보여준다.
• 이중 무한 형식 변수를 사용하여 모레브의 쌍대 슈어 함수를 $s^\mathbb{L}_\lambda({\bf x}||{\bf b}_\pm)$ 로 확장하고, 소멸성 및 평가 항등식을 증명한다.

실험 결과

연구 질문

• RQ1 형식적 군 법칙을 사용하여 계승계수를 가진 슈어 $P,Q$-함수를 라자드 링 $\mathbb{L}$ 위에서 보편적 설정으로 일반화할 수 있는가?
• RQ2 $\mathbb{L}$-슈퍼대칭 급수는 이러한 보편 함수의 대칭성과 안정성 특성을 기술하는 데 어떤 역할을 하는가?
• RQ3 보편적인 계승계수를 가진 슈어 $P,Q$-함수의 쌍대는 표편을 통해 조합적으로 표현될 수 있으며, 안정적 그로텐디크 다항식과 어떻게 관련되는가?
• RQ4 보편 함수는 $Sp(\infty)$ 및 $SO(\infty)$ 의 $K$-호모로지에서 알려진 슈베르트 기저 원소로 어떻게 특수화되는가?
• RQ5 모레브의 쌍대 슈어 함수의 보편적 확장은 무엇이며, 그 평가 및 소멸 성질은 무엇인가?

주요 결과

• 보편적인 계승계수를 가진 슈어 $P,Q$-함수 $P^\mathbb{L}_\lambda$ 와 $Q^\mathbb{L}_\lambda$ 는 보편적 형식적 군 법칙을 사용하여 $\mathbb{L}[[{\bf b}]][[x_1,\ldots,x_n]]$ 내의 대칭 형식 급수로 잘 정의되어 있다.
• 이 함수들은 각각 $\mathbb{L}$-슈퍼대칭 급수 공간 $\Gamma^\mathbb{L}({\bf x}_n)$ 과 $\Gamma^\mathbb{L}_+({\bf x}_n)$ 에 속하며, $t \mapsto \overline{t}$ 에 대한 안정성을 보장한다.
• 쌍대 보편 함수 $\widehat{p}^\mathbb{L}_\lambda({\bf y}|{\bf b})$ 와 $\widehat{q}^\mathbb{L}_\lambda({\bf y}|{\bf b})$ 는 생성 급수와 분할 차분 연산자를 통해 정의된다.
• 일행 분할에 대해 제안된 조합적 공식 $gp_k({\bf y}) = \widehat{p}^\mathbb{L}_k({\bf y})|_{\beta=-1}$ 이 참임을 증명하였다.
• 후크 합 공식 $gp_k({\bf y}) = \sum_{a=1}^k g_{a1^{k-a}}({\bf y})$ 가 확립되어 $gp_k$ 가 안정적 그로텐디크 다항식과 연결됨을 보였다.
• 보편적 쌍대 슈어 함수 $s^\mathbb{L}_\lambda({\bf x}||{\bf b}_\pm)$ 는 소멸 성질을 만족한다: $\mu \not\supset \lambda$ 이면 $s^\mathbb{L}_\lambda(\overline{b}_{I-\mu}||{\bf b}_\pm) = 0$ 이고, $\lambda$ 의 상자들에 대해 곱으로 평가된다.