[논문 리뷰] The Long-Moody construction and polynomial functors

Arthur Soulié|arXiv (Cornell University)|2017. 02. 27.

Geometric and Algebraic Topology참고 문헌 19인용 수 10

한 줄 요약

이 논문은 브레이드 군 표현의 맥락에서 롱-무디 구성에 대한 함자적 프레임워크를 수립하며, 브레이드 군의 쿼일렌 카테고리와 모듈 카테고리 사이의 함자 카테고리로의 함자들에 대한 롱-무디 함자를 도입한다. 이 함자들이 매우 강한 다항함수의 차수를 정확히 한 단계 증가시킴을 증명하며, 비틀린 호모로지 안정성에서의 다항성 연구를 체계적으로 가능하게 하고, 구성이 모든 유니터리 표현을 포괄할 수 있는 능력에 대한 한계를 드러낸다.

ABSTRACT

In 1994, Long and Moody gave a construction on representations of braid groups which associates a representation of \\mathbf{B}\\_{n} with a representation of \\mathbf{B}\\_{n+1}. In this paper, we prove that this construction is functorial and can be extended: it inspires endofunctors, called Long-Moody functors, between the category of functors from Quillen's bracket construction associated with the braid groupoid to a module category. Then we study the effect of Long-Moody functors on strong polynomial functors: we prove that they increase by one the degree of very strong polynomiality.

연구 동기 및 목표

• 쿼일렌의 브레이드 군에 대한 카테고리와 모듈 카테고리 사이의 함자로의 함자들에 대한 롱-무디 구성의 공리적 형식화.
• 기존의 롱-무디 구성의 일반화된 프레임워크로서, 함자 카테고리 위의 자기함수로의 확장.
• 이러한 함자들이 매우 강한 다항함수에 미치는 영향, 특히 그 차수 행동에 대한 연구.
• 브레이드 군의 유한차원 유니터리 표현을 모두 실현할 수 있는 롱-무디 구성의 한계 규명.
• 모든 유니터리 표현이 이러한 함자들로부터 유도되는지, 특히 감소형과 비감소형 부르보 표현에 대해 여전히 열려 있는 질문들 해결.

제안 방법

• 브레이드 군의 쐐기 구조를 이용해 카테고리 $\mathfrak{U}\boldsymbol{\beta}$ 를 정의하며, 객체는 $\mathbb{N}$ 이고 $\mathrm{Aut}_{\mathfrak{U}\boldsymbol{\beta}}(n) \cong \mathbf{B}_n$ 이다.
• 구성의 매개변수화를 위해 일관된 형태의 사상들 $\{a_n: \mathbf{B}_n \to \mathrm{Aut}(\mathbf{F}_n)\}$ 과 $\{\varsigma_n: \mathbf{F}_n \to \mathbf{B}_{n+1}\}$ 을 도입한다.
• 기존의 표현 수준의 구성으로 일반화된, $\mathbf{Fct}(\mathfrak{U}\boldsymbol{\beta}, \mathbb{K}\textrm{-}\mathfrak{Mod}})$ 위의 자기함수로 작용하는 롱-무디 함자 $\mathbf{LM}_{a,\varsigma}$ 를 구성한다.
• 예비 브레이드 모노이드 카테고리의 맥락에서 강한 다항함수와 매우 강한 다항함수를 정의하며, 대칭적이거나 브레이드적인 설정을 초월한 고전적 개념의 확장.
• 크로스-이펙트와 호환성 조건을 사용하여 다항함수를 특성화하고, 롱-무디 함자 아래에서의 행동 분석.
• 특정 예시들, 예를 들어 부르보 표현과 $E_l$ 함자들에 적용하여 이미지와 본질적 전성의 분석 수행.

실험 결과

연구 질문

• RQ1 롱-무디 구성은 쿼일렌의 브레이드 군 카테고리에서 모듈 카테고리로의 함자 카테고리에 대해 함자로 형식화될 수 있는가?
• RQ2 브레이드 군 표현의 맥락에서 롱-무디 함자가 매우 강한 다항함수의 차수에 어떤 영향을 미치는가?
• RQ3 롱-무디 함자가 매우 강한 다항함수의 카테고리에서 본질적으로 전성적인가, 특히 유니터리 표현을 코딩하는 경우에 대해?
• RQ4 감소형 부르보 함자는 구성의 어떤 수정을 거쳐도 롱-무디 함자의 이미지로 실현될 수 있는가?
• RQ5 브레이드 군의 모든 유한차원 유니터리 표현들이 롱-무디 함자를 통해 실현될 수 있는가, 아니면 근본적인 장애 요인이 존재하는가?

주요 결과

• 롱-무디 구성은 $\mathbf{Fct}(\mathfrak{U}\boldsymbol{\beta}, \mathbb{K}\textrm{-}\mathfrak{Mod}})$ 위의 함자 $\mathbf{LM}_{a,\varsigma}$ 로 일반화되었으며, 그 함자성과 기존의 표현 수준을 초월한 범위 확장이 증명되었다.
• 롱-무디 함자는 매우 강한 다항함수의 차수를 정확히 한 단계 증가시키며, 명확한 차수 상승 메커니즘을 확립한다.
• 구성은 모든 유한차원 유니터리 표현을 실현하지 못하며, 이미지가 비감소형 부르보 표현을 포함하지 않음을 보여주며, 이는 $a_n(\sigma) = \mathrm{id}_n$ 이어야만 가능하며, 이는 모순을 야기한다.
• 롱-무디 함자는 어떤 차수에서나 매우 강한 다항함수의 카테고리에서 본질적으로 전성이 아니며, 그 표현력에 근본적인 한계가 있음을 시사한다.
• 감소형 부르보 함자 $\overline{\mathfrak{Bur}}_t$ 는 차원의 부적합성으로 인해 표준 롱-무디 구성으로는 확보될 수 없으며, 이는 $\mathcal{I}_{\mathbf{F}_{n-1}}$ 와의 텐서곱을 포함하는 수정된 형태가 필요함을 시사한다.