보편적 측정 코알제브라와 R‑변환 대수의 새로운 전개

본 논문은 ‘측정 코알제브라’라는 개념을 체계화하고, 이를 통해 벡터 공간과 양자 대칭 구조를 코알제브라‑대수적 관점에서 재구성한다. 1. **측정 코알제브라의 정의와 보편성** 코알제브라 C와 대수 A, B 사이에 측정 지도 σ:C→Hom_k(A,B) 를 정의하고, 모든 측정 코알제브라에 대한 최종 객체 P(A,B) 가 존재함을 증명한다(정리 1.2). 이 보편적 코알제브라는 두 변수에 대해 함자이며, 특히 P(A,A) 는 바이얼제브라 구조를 갖는다. 또한 P(A,k)=A^∘ 라는 동형을 통해 대수와 코알제브라 사이의 이중 관계를 명시한다. 2. **고전 및 양자 보편적 포락 대수와의 연결** Lie 대수 g 가 대수 A 위에서 도함수 형태로 작용할 때, C= k·1⊕g 을 코알제브라로 두고, σ(C) 가 측정함을 확인한다. 그러면 U(g) 는 P(A,A) 의 측정 바이얼제브라 부분으로 삽입된다(정리 2.1). 동일한 논리를 양자화된 경우 U_q(g) 에도 적용하면, 적절한 A (예: U_q(g)‑모듈의 텐서 대수 몫)에서 U_q(g) 가 P(A,A) 또는 P(A,k) 에 포함된다. 3. **텐서 대수와 측정 코알제브라의 풍부화** 벡터 공간 V, W 에 대해 P(TV,TW) 를 고려하고, 임의의 코알제브라 H와 선형 사상 σ:H→Hom(V,TW) 가 주어지면 σ는 고유하게 ĥσ:H→Hom(TV,TW) 로 연장된다(명제 3.1). 이를 통해 P(V,W)={p∈P(TV,TW) | π(p)(V)⊂W} 를 정의하고, 특히 P(V)=P(V,V) 는 바이얼제브라가 된다. 중요한 결과는 P(V) 가 T(V⊗V*) 의 이중 코알제브라와 동형이라는 정리 3.3이다. 여기서 V⊗V* 는 대수와 코알제브라 구조가 서로 맞지 않는 예시이지만, P(V) 가 이를 ‘수선’해 두 구조를 동시에 보존한다. 4. **브레이딩과 R‑변환 대수** 브레이딩 R:V⊗V→V⊗V 가 주어지면, 이를 텐서 대수 전반에 확장한 연산 Ψ_{m,n} 을 정의하고, Ψ 가 braid 방정식과 곱·단위와의 일관성을 만족함을 보인다(명제 4.1). 이렇게 얻은 브레이드된 텐서 대수 TV 위에 측정 코알제브라 C 가 (V,R) 을 보존한다는 조건을 - σ(c)(V)⊂V, - R(σ⊗σ)Δ(c)= (σ⊗σ)Δ(c)R 로 정의한다. 이러한 코알제브라들의 집합은 부분 바이얼제브라 P_R(V) 를 형성한다. 핵심 정리 4.2와 정리 3.3을 결합하면, P_R(V) 는 A(R)^∘, 즉 FRT 바이얼제브라 A(R) 의 유한 차원 이중과 동형임을 얻는다. 따라서 U_q(g) 와 같은 양자 보편적 포락 대수는 P_R(V) 의 부분 바이얼제브라로 자연스럽게 삽입된다. 5. **몫 대수에 대한 작용의 하강** 측정 지도 σ:C→End(TV) 가 아이디얼 J⊂TV 를 보존하면, σ는 TV/J 에 대한 측정 지도 \tildeσ:C→End(TV/J) 로 내려간다(명제 3.4). 동일한 논리는 µ:C→Hom(TV,k) 에 대해서도 적용된다. 이 결과는 양자화된 좌표 대수(예: k_q