쿼버 이론 양버트람 맵의 구조 군상과 가르스데 군오이드

초록

본 논문은 다중 정점(quiver) 위에 정의된 양버트람 방정식(YBE) 해인 quiver‑theoretic Yang‑Baxter map(이하 YBM)의 구조 군상(structure groupoid)을 연구한다. 비퇴화(non‑degenerate)이며 자가역(involutive)인 YBM에 대해 그 구조 군상이 가르스데(Garside) 군오이드임을 증명하고, 이를 위해 약한 RC‑시스템(weak RC‑system)과의 대응을 구축한다. 또한 제시된 범주(presented category)로부터 새로운 YBM을 생성하고, 주된 예시와 원초 동질(principal homogeneous) 유형을 분석한다.

상세 분석

이 논문은 먼저 quiver라는 개념을 정점 집합 Λ와 화살표 집합 Q, 그리고 소스·타깃 사상 s, t 로 정의한다. 두 quiver의 텐서곱 Q ⊗ Q′ 은 경로 길이 2 인 quiver Path₂(Q)와 동형이며, 이 구조 위에 YBM σ: A ⊗ A → A ⊗ A 가 존재하면 braid relation (σ⊗id)(id⊗σ)(σ⊗id) = (id⊗σ)(σ⊗id)(id⊗σ) 을 만족한다. σ가 involutive(σ² = id)하고 non‑degenerate(각 화살표 쌍에 대해 σ가 전단사)하면, 이를 “비퇴화 자가역 YBM”이라 부른다.

구조 범주 C(σ)와 구조 군상 G(σ) 은 각각 A 를 생성원으로 하고, Path₂(A) 의 모든 쌍 x|y 에 대해 관계 x|y ∼ σ(x|y) 을 부과해 만든다. 이때 C(σ)는 카테고리 이론에서 “제시된 범주(presented category)”의 한 형태이며, G(σ)는 C(σ)의 enveloping groupoid 로 정의된다.

핵심은 C(σ) 가 Garside 이론의 핵심 개념인 “조건부 오른쪽 최소공배수(right‑lcm)”, “원자(atoms)”, “가르스데 패밀리(Garside family)” 등을 만족한다는 것을 보이는 것이다. 이를 위해 저자들은 약한 RC‑시스템(weak RC‑system)을 도입한다. 약한 RC‑시스템은 집합 X 와 이항 연산 ⋆ 가 존재하고, 다음 식을 만족한다: (x⋆y)⋆z = (x⋆z)⋆(y⋆z). 이러한 시스템은 이미 Dehornoy 등