화살집 (수학)

그래프 이론과 범주론에서 화살집(영어: quiver 퀴버[*])은 유향 그래프의 개념의 일반화이며, 유향 그래프와 다중 그래프를 합친 것으로 여길 수 있다. 즉, 모든 변은 방향을 가지며, 두 꼭짓점 사이에 임의의 수의 변이 존재할 수 있다. 화살집 ( V , E , s , t ) {\displaystyle (V,E,s,t)} 은 다음과 같은 데이터로 주어진다. 집합 V {\displaystyle V} . 그 원소를 꼭짓점(-點)이라고 한다. 집합 E {\displaystyle E} . 그 원소를 변(邊)이라고 한다. 함수 s , t : E → V {\displaystyle s,t\colon E\to V} . 변 e ∈ E {\displaystyle e\in E} 에 대하여, s ( e ) {\displaystyle s(e)} 를 e {\displaystyle e} 의 시점(始點, 영어: source, start)이라고 하며, t ( e ) {\displaystyle t(e)} 를 e {\displaystyle e} 의 종점(終點, 영어: target)이라고 한다. 두 화살집 ( V , E , s , t ) {\displaystyle (V,E,s,t)} , ( V ′ , E ′ , s ′ , t ′ ) {\displaystyle (V',E',s',t')} 사이의 사상은 다음과 같은 데이터로 주어진다. 함수 f : V → V ′ {\displaystyle f\colon V\to V'} 함수 g : E → E ′ {\displaystyle g\colon E\to E'} 이는 다음 조건을 만족시켜야 한다. ∀ e ∈ E : ( f ( s ( e ) ) , f ( t ( e ) ) ) = ( s ′ ( g ( e ) ) , t ′ ( g ( e ) ) ) {\displaystyle \forall e\in E\colon (f(s(e)),f(t(e)))=(s'(g(e)),t'(g(e)))} 다음과 같은 작은 범주 Q {\displaystyle {\mathcal {Q}}} 를 생각하자. Q {\displaystyle {\mathcal {Q}}} 의 대상은 E {\displaystyle E} 와 V {\displaystyle V} 두 개이다. Q {\displaystyle {\mathcal {Q}}} 의 사상은 항등 사상 및 σ , τ : V → E {\displaystyle \sigma ,\tau \colon V\to E} 이다. 그렇다면, 화살집은 Q {\displaystyle {\mathcal {Q}}} 위의 준층 F : Q op → Set {\displaystyle F\colon {\mathcal {Q}}^{\operatorname {op} }\to \operatorname {Set} } 이며, 화살집 사상은 준층 사상(자연 변환)이다. 보다 일반적으로, n ∈ { 0 , 1 , … , ∞ } {\displaystyle n\in \{0,1,\dotsc ,\infty \}} 에 대하여, 다음과 같은 작은 범주 G n {\displaystyle {\mathcal {G}}_{n}} 를 생각할 수 있다. G n {\displaystyle {\mathcal {G}}_{n}} 의 대상은 ( E i ) i < n = ( E 0 , E 1 , … ) {\displaystyle (E_{i})_{i<n}=(E_{0},E_{1},\dotsc )} 이다. G n {\displaystyle {\mathcal {G}}_{n}} 의 사상은 다음과 같은 사상들의 합성으로 주어진다. σ n : E n → E n + 1 {\displaystyle \sigma _{n}\colon E_{n}\to E_{n+1}} τ n : E n → E n + 1 {\displaystyle \tau _{n}\colon E_{n}\to E_{n+1}} 즉, | hom G n ⁡ ( E a , E b ) | = 2 b − a {\displaystyle |\hom _{{\mathcal {G}}_{n}}(E_{a},E_{b})|=2^{b-a}} 이다 ( a ≤ b < n {\displaystyle a\leq b<n} ). 이들은 다음과 같은 항등식을 만족시킨다. σ ∘ σ = τ ∘ σ {\displaystyle \sigma \circ \sigma =\tau \circ \sigma } σ ∘ τ = τ ∘ τ {\displaystyle \sigma \circ \tau =\tau \circ \tau } 이 경우, G n {\displaystyle {\mathcal {G}}_{n}} 위의 준층은 n {\displaystyle n} -초화살집(영어: n {\displaystyle n} -hyperquiver)이라고 한다. 이 경우, 1-초화살집은 화살집이며, 0-초화살집은 집합이다. 모든 작은 범주는 (사상 합성과 항등 사상을 망각하면) 망각 함자를 통해 화살집을 이룬다. 이는 작은 범주의 범주 Cat {\displaystyle \operatorname {Cat} } 에서 화살집의 범주 Quiv {\displaystyle \operatorname {Quiv} } 로 가는 함자를 이룬다. U : Cat → Quiv {\displaystyle U\colon \operatorname {Cat} \to \operatorname {Quiv} } 이는 왼쪽 수반 함자 U : Quiv → Cat {\displaystyle U\colon \operatorname {Quiv} \to \operatorname {Cat} } 를 가지며, 이를 화살집으로 생성되는 자유 범주(영어: free category generated by a quiver)라고 한다. 구체적으로, 화살집 Q = ( V , E , s , t ) {\displaystyle Q=(V,E,s,t)} 에 대응하는 자유 범주 F ( Q ) {\displaystyle F(Q)} 는 다음과 같다. F ( Q ) {\displaystyle F(Q)} 의 대상은 Q {\displaystyle Q} 의 꼭짓점이다. F ( Q ) {\displaystyle F(Q)} 의 사상은 Q {\displaystyle Q} 의 중복 가능 경로, 즉 다음 조건을 만족시키는 변의 열 e 1 e 2 ⋯ e n {\displaystyle e_{1}e_{2}\dotsb e_{n}} 이다 ( 0 ≤ n < ∞ {\displaystyle 0\leq n<\infty } ). t ( e i ) = s ( e i + 1 ) ( 1 ≤ i < n ) {\displaystyle t(e_{i})=s(e_{i+1})\qquad (1\leq i<n)} 사상의 합성은 경로들의 연결이다. 항등 사상은 길이 0의 경로이다. 화살집의 범주는 준층 범주이므로 그로텐디크 토포스를 이룬다. 체 K {\displaystyle K} 계수의, 화살집 Q {\displaystyle Q} 의 표현(表現, 영어: quiver representation) R {\displaystyle R} 는 다음과 같은 데이터로 구성된다. 각 꼭짓점 i ∈ V ( Q ) {\displaystyle i\in {\mathsf {V}}(Q)} 에 대하여, K {\displaystyle K} 계수의 벡터 공간 R ( i ) {\displaystyle R(i)} 각 변 e : i → j {\displaystyle e\colon i\to j} 에 대하여, K {\displaystyle K} 계수의 선형 변환 R ( e ) : R ( i ) → R ( j ) {\displaystyle R(e)\colon R(i)\to R(j)} 자연스럽게 K {\displaystyle K} 계수의 Q {\displaystyle Q} 의 표현의 범주 Rep ⁡ ( Q ) {\displaystyle \operatorname {Rep} (Q)} 를 정의할 수 있다. 이는 아벨 범주를 이룬다. 이는 사실 Q {\displaystyle Q} 위의 화살집 대수 K [ Q ] {\displaystyle K[Q]} ( Q {\displaystyle Q} 로 생성되는 자유 범주의 범주 대수) 위의 왼쪽 가군 범주 Mod K [ Q ] {\displaystyle \operatorname {Mod} _{K[Q]}} 와 동치이다. ‘화살집’(독일어: Köcher 쾨허[*])이라는 용어는 화살집이 여러 개의 “화살”(즉, 방향을 갖는 변)들을 포함하기 때문에 붙었으며, 피에르 가브리엘(프랑스어: Pierre Gabriel, 1933~2015)이 1972년 논문에서 도입하였다. 이 논문에서 가브리엘은 다음과 같이 적었다. 군환 근접 대수 화살집 게이지 이론 원환 다양체 Derksen, Harm; Weyman, Jerzy (2005년 2월). “Quiver representations” (PDF). 《Notices of the American Mathematical Society》 (영어) 52 (2): 200–206. ISSN 0002-9920. Zbl 1143.16300.  Savage, Alistair (2006). 〈Finite-dimensional algebras and quivers〉. Françoise, Jean-Pierre; Naber, Gregory L.; Tsou Sheung Tsun. 《Encyclopedia of Mathematical Physics. Volume 2》 (영어). Elsevier. 313–322쪽. arXiv:math/0505082. Bibcode:2005math......5082S. doi:10.1016/B0-12-512666-2/00418-1. ISBN 978-0-12-512666-3. Zbl 1170.00001.  Gabriel, Peter (1972). “Unzerlegbare Darstellungen Ⅰ”. 《Manuscripta Mathematica》 (독일어) 6: 71–103. doi:10.1007/BF01298413. ISSN 0025-2611.  위키미디어 공용에 관련된 미디어 분류가 있습니다. 화살집 “Quiver”. 《Encyclopedia of Mathematics》 (영어). Springer-Verlag. 2001. ISBN 978-1-55608-010-4.  “Tits quadratic form”. 《Encyclopedia of Mathematics》 (영어). Springer-Verlag. 2001. ISBN 978-1-55608-010-4.  “Quiver”. 《nLab》 (영어).  “Directed graph”. 《nLab》 (영어).  “Free category”. 《nLab》 (영어).  “Globe category”. 《nLab》 (영어).  “Globular set”. 《nLab》 (영어).  “Are quivers useful outside of representation theory?”. 《Math Overflow》 (영어).  “Why did Gabriel invent the term “quiver”?”. 《Math Overflow》 (영어).  “Why are (representations of) quivers such a big deal?”. 《Stack Exchange》 (영어).