Faithful linear and relational representations of diagram categories and monoids

기술 요약: 다이어그램 범주와 모노이드의 충실한 선형 및 관계적 표현

문제 제기
다이어그램 대수와 모노이드 (분할, 브라워, 템퍼리 - 리브 대수 등) 는 통계역학, 매듭 이론, 표현론에서 비롯된 수학 및 물리학의 근본적인 구조들이다. 이러한 구조들은 조합론적으로 잘 이해되어 왔으나, 특히 환과 반환 (semirings) 위에서의 충실한 행렬 표현과 같은 선형 표현은 역사적으로 변환 표현 (transformation representations) 에 초점을 맞춰 연구되어 왔다. 변환 표현 (집합에 대한 작용) 은 종종 높은 차수 (차원) 를 산출하는데, 예를 들어 분할 모노이드 $P_n$의 변환 차수는 벨 수 (Bell numbers) 와 관련이 있다.

이 논문에서 다루는 핵심 문제는 변환 표현에 비해 훨씬 효율적 (낮은 차원) 인 다이어그램 범주 및 모노이드의 충실한 선형 표현을 구성하는 것이다. 또한 저자들은 이러한 객체의 풍부한 대수적 구조, 특히 표준 변환 표현에서는 종종 손실되는 **합동 (involution, dagger 구조)**과 **텐서 곱 (모노이달 구조)**을 보존하는 표현을 추구한다.

방법론
저자들은 다이어그램 범주를 반환 위의 행렬 범주로 표현하는 통합된 프레임워크를 개발한다. 방법론은 다음과 같은 단계를 거친다:

1. 매핑의 정의: 분할 범주 $\mathcal{P}$에 대해 저자들은 매핑 $\phi: \mathcal{P} \to \mathcal{M}(K)$를 정의한다. 여기서 $K$는 단위원을 가진 반환이다. 분할 $a \in \mathcal{P}_{m,n}$에 대해, 그 상 (image) $\hat{a}$는 $2^m \times 2^n$ 크기의 0-1 행렬이다. 행과 열은 각각 $[m]$과 $[n]$의 부분집합으로 인덱싱된다. 성분 $\hat{a}_{X,Y}$는 집합 $X \cup Y'$가 분할 $a$의 블록들의 합집합일 때만 1 이고, 그렇지 않으면 0 이다.
2. 합성의 분석: 핵심적인 기술적 과제는 이 매핑이 합성을 보존하는 조건을 규명하는 것이다. 두 분할 $a$와 $b$의 곱은 "곱 그래프" $\Pi(a,b)$를 포함한다. 저자들은 교차 집합 (intertwining sets) (즉, $X \cup Z'$가 $a$-블록들의 합집합이고 $Z \cup Y'$가 $b$-블록들의 합집합이 되는 부분집합 $Z \subseteq [n]$) 의 개념을 도입한다. 그들은 주어진 쌍 $(X,Y)$에 대해 이러한 집합의 개수가 곱 그래프에서 완전히 중간 행에 위치한 "떠 있는 구성 요소 (floating components, $\Pi(a,b)$의 연결 성분)"의 수인 $\Phi(a,b)$에 대해 정확히 $2^{\Phi(a,b)}$임을 증명한다.
3. 반환 제약: 매핑 $\phi$가 반환 $K$가 **가법 멱등성 (additively idempotent, 즉 $1+1=1$)**을 가질 때에만 범주 준동형사상이 됨이 보인다. 이러한 반환에서 $2^{\Phi(a,b)}$개의 1 의 합은 1 로 축소되어 행렬 곱 $\hat{a}\hat{b}$가 분할 곱 $ab$를 올바르게 반영하도록 보장한다.
4. 꼬인 범주로 확장: 저자들은 이 구성을 꼬인 분할 범주 ($\mathcal{P}_\Phi$) 와 $d$-꼬인 범주 ($\mathcal{P}_{\Phi,d}$) 에 적용한다. 스칼라 인자 (2 의 거듭제곱) 를 도입하고 특성 0 또는 $2d+1$인 환 위에서 작업함으로써 꼬임 매개변수를 고려한 충실한 표현을 구성한다.
5. 부분 범주에 대한 축소: 브라워 ($\mathcal{B}$) 와 템퍼리 - 리브 ($\mathcal{TL}$) 범주의 경우, 저자들은 블록 크기와 평면성 (planarity) 과 같은 구조적 성질을 활용하여 행렬 차원을 축소한다. 그들은 (브라워의 경우 홀수 크기의 부분집합, 템퍼리 - 리브의 경우 "짝수 간격" 부분집합 등) 일반적인 분할 경우보다 엄격하게 더 작은 차원에서 충실한 표현을 가능하게 하는 특정 인덱스 부분집합을 식별한다.

주요 기여 및 결과

• $\mathcal{P}$의 충실한 합동 텐서 표현: 주요 결과 (정리 3.11) 는 임의의 비자명한 가법 멱등 반환 $K$에 대해, 매핑 $\phi$가 분할 범주 $\mathcal{P}$를 행렬 범주 $\mathcal{M}(K)$로 보내는 충실한, 합동적인, 텐서 범주 표현임을 확립한다. 엔드모피즘 모노이드 $\mathcal{P}_n$의 상의 차원은 $2^n$이다.
• 차원의 최소성: 저자들은 (정리 3.14) 임의의 단위원 반환 위에서 $\mathcal{P}$, $\mathcal{B}$, 또는 $\mathcal{TL}$의 임의의 충실한 합동 텐서 표현에 대해, $\mathcal{C}_n$의 상의 차원은 어떤 정수 $d \ge 2$에 대해 $d^n$ 형태여야 함을 증명한다. 따라서 그들의 구성이 달성한 $2^n$ 차원은 분할 범주에 대해 최소이다.
• 꼬인 표현: 이 논문은 특성 0 반환 위의 꼬인 분할 범주 $\mathcal{P}_\Phi$ (정리 4.1) 와 특성 $2d+1$인 환 위의 $d$-꼬인 범주 $\mathcal{P}_{\Phi,d}$ (정리 4.3) 에 대한 충실한 표현을 제공한다. 이러한 표현은 스칼라 인자를 통해 떠 있는 구성 요소의 개수를 인코딩한다.
• $\mathcal{B}$와 $\mathcal{TL}$을 위한 축소된 표현:
  • 브라워 범주 $\mathcal{B}$의 경우, 저자들은 차원 $2^{n-1}$을 가진 홀수 차수 부분 범주 $\mathcal{B}_{odd}$ 위의 충실한 표현을 구성한다 (정리 5.2).
  • 템퍼리 - 리브 범주 $\mathcal{TL}$의 경우, 저자들은 $\mathcal{TL}_n$의 상의 차원이 $n$번째 피보나치 수 $f_n$이 되는 충실한 표현을 구성한다 (정리 6.14). 이는 행렬 인덱스를 "짝수 간격" 부분집합으로 제한함으로써 달성된다.
• 다이어그램 대수와의 연결: 이 논문은 이러한 범주 표현과 고전적인 선형 다이어그램 대수 (예: $P_n(K, \delta)$) 간의 관계를 조사한다. 선형 분할 범주 $P(K, 2)$의 표현은 충실하지 않지만 (예 7.2), 템퍼리 - 리브 대수 $TL(K, 2)$로 제한하면 충실함이 입증되며 (정리 7.4), 이는 특수한 경우로서 알려진 브라워 표현을 복원한다.

의의 및 주장
이 논문은 멱등 반환 위의 다이어그램 범주에 대한 최소 충실한 합동 텐서 표현의 구성을 주요 기여로 주장한다.

• 효율성: 이러한 표현은 변환 표현보다 훨씬 효율적이다. 예를 들어, $P_n$의 변환 차수는 대략 $B(n)$ (벨 수) 로 증가하는 반면, 여기서의 행렬 차원은 $2^n$이다.
• 구조 보존: 변환 표현과 달리, 이러한 행렬 표현은 합동 (행렬 전치로서) 과 텐서 구조 (크로네커 곱으로서) 를 보존하여 다른 접근법에서 손실된 대수적 정보를 유지한다.
• 조합론적 통찰: 이 구성은 다이어그램 모노이드의 대수적 구조와 곱 그래프 내의 "떠 있는 구성 요소"의 조합론 사이의 깊은 연결을 드러낸다. 떠 있는 구성 요소의 수는 꼬인 표현에 필요한 스칼라 인자를 직접 결정한다.
• 미해결 질문: 저자들은 겸손하게도 차원이 텐서 보존 표현에 대해서는 최소이지만, 텐서 구조가 요구되지 않는다면 더 작은 충실한 표현이 존재하는지는 여전히 미해결 문제라고 지적한다 (질문 8.1 및 8.2). 또한 그들은 임의의 환 위에서 큰 $n$에 대해 특정 모노이드에 대한 유효한 차원을 계산적으로 결정하는 것이 어렵다는 점도 강조한다.

요약하자면, 이 논문은 반환 위의 선형 대수와 조합론적 다이어그램 이론을 연결하는 엄격하고 통합적이며 최적 (텐서 보존 표현의 클래스 내에서) 인 선형 프레임워크를 제공한다.