[논문 리뷰] Superized Troesch complexes and cohomology for strict polynomial superfunctors

Christopher M. Drupieski, Jonathan R. Kujawa|arXiv (Cornell University)|2021. 12. 15.

Algebraic structures and combinatorial models참고 문헌 20인용 수 2

한 줄 요약

이 논문은 특성 p ≥ 3인 체 위의 엄격 다항식(super)함수의 범주로 트로에쉬의 p-복합체 구성법을 일반화하며, 이에 따라 코homology가 비틀린 (super)대칭 거듭제곱 함수를 실현하는 슈퍼화된 트로에쉬 복합체를 구성한다. 주요 기여는 이러한 복합체를 이용해 짝수 및 홀수 프로베누스 전치 함수의 삽입 해상표를 구축하고, 고전 결과와 유사한 컵 곱 등식을 통해 확장 군을 계산하는 데 있다. 이는 슈퍼구조로 인해 코homology가 여러 차수에 퍼져 있음에도 불구하고 성립한다.

ABSTRACT

We adapt a construction due to Troesch to the category of strict polynomial superfunctors in order to construct complexes of injective objects whose cohomology is isomorphic to Frobenius twists of the (super)symmetric power functors. We apply these complexes to construct injective resolutions of the even and odd Frobenius twist functors, to investigate the structure of the Yoneda algebra of the Frobenius twist functor, and to compute other extension groups between strict polynomial superfunctors.

연구 동기 및 목표

• 특성 p ≥ 3인 체 위에서 엄격 다항식 슈퍼함수의 범주로 트로에쉬의 p-복합체 구성법을 일반화한다.
• 코homology가 비틀린 (super)대칭 거듭제곱 함수를 실현하는 삽입 객체들의 p-복합체인 슈퍼화된 트로에쉬 복합체를 구성한다.
• 이 복합체를 이용해 짝수 및 홀수 프로베누스 전치 함수의 명시적 삽입 해상표를 구축한다.
• 컵 곱 등식을 통해 엄격 다항식 슈퍼함수 간의 확장 군을 계산한다.
• 새로운 복합체를 활용해 고전적 코hom로직적 유한 생성 기법을 슈퍼함수의 맥락으로 일반화한다.

제안 방법

• 트로에쉬의 p-복합체 구성법을 엄격 다항식 슈퍼함수의 범주로 적응하여, 삽입 객체들의 p-복합체 Bprn(r)를 정의한다.
• p-복합체 Bprn(r)를 수축하여, 차수 ℓ·(pr − 1)에서 비영인 코homology를 가지는 복합체 T(Sn, r)를 얻는다 (0 ≤ ℓ ≤ n).
• 기호 함수 Π를 이용한 스플라이싱 기법을 통해 짝수 및 홀수 프로베누스 전치 함수 I(r)₀ 및 I(r)₁의 삽입 해상표를 구성한다.
• 고차 코hom로지 스펙트럴 시퀀스와 일반화된 코슈르 복합체를 적용하여 확장 군을 분석한다.
• 컵 곱 사상과 오른쪽 다섯 개의 보조정리(5 Lemma)를 이용해 대칭/외적 거듭제곱의 Ext 군과 고차 Ext 군 간의 등장사상을 증명한다.
• 슈퍼해석적 디라함 복합체의 초월적 성질과 귀납적 추론을 활용해, 슈퍼 맥락에서 FFSS 접근법을 모방한다.

실험 결과

연구 질문

• RQ1 트로에쉬의 p-복합체 구성법은 특성 p ≥ 3인 환경에서 엄격 다항식 슈퍼함수의 범주로 일반화될 수 있는가?
• RQ2 슈퍼화된 트로에쉬 복합체의 코homology는 고전적 경우와 비교해 차수 분포 측면에서 어떻게 다를까?
• RQ3 수축된 슈퍼화된 트로에쉬 복합체 T(Sn, r)는 프로베누스 전치 함수의 삽입 해상표를 구성하는 데 사용될 수 있는가?
• RQ4 고전적 FFSS 프레임워크에서의 컵 곱 등식과 유사한 등식이 슈퍼함수 맥락에서 성립하는가?
• RQ5 일반화된 코슈르 복합체 및 스펙트럴 시퀀스 기법은 슈퍼 맥락에서 확장 군을 계산하는 데 적응 가능한가?

주요 결과

• 슈퍼화된 트로에쉬 복합체 Bprn(r)는 엄격 다항식 슈퍼함수의 범주에서 삽입 객체들의 p-복합체이며, 그 코homology는 비틀린 (super)대칭 거듭제곱 함수 Sn(r)과 동형이다.
• Bprn(r)의 수축 복합체 T(Sn, r)는 0 ≤ ℓ ≤ n 인 ℓ·(pr − 1) 차수에서 비영인 코homology를 가지며, 고전적 경우와 달리 삽입 해상표를 이루지 않는다.
• n = 1일 때, 복합체 T(I, r)와 Π ◦ T(I, r) ◦ Π를 스플라이싱하여 짝수 및 홀수 프로베누스 전치 함수 I(r)₀ 및 I(r)₁의 명시적 삽입 해상표를 얻을 수 있다.
• 컵 곱 사상 Ext•P(I(r)₁, Spr−j(j)₀)⊗d → Ext•P(Γd(r)₁, Sdpr−j(j)₀) 및 외적 거듭제곱의 경우와 유사하게, 대칭 및 외적 거듭제곱이 무한차원 공간 위에서 취해지며, 이는 등급을 가진 벡터 공간 간의 등장사상을 유도한다.
• 스펙트럴 시퀀스의 미분 ∂에 관련된 일반화된 코슈르 복합체 Q(∂)는 코homology가 S(coker ∂) ⊗ Λ(ker ∂)와 동형이므로, 확장 군의 귀납적 계산이 가능하다.
• 스펙트럴 시퀀스 추론, 오른쪽 다섯 개의 보조정리 및 기호 함수 Π에 의한 코너 조작을 통합하여, 핵심 컵 곱 사상이 등장사상임을 증명하며, 고전 결과를 슈퍼 맥락으로 일반화한다.