[논문 리뷰] Higher regularity properties of mappings and morphisms

Steven Duplij, Władysław Marcinek|ArXiv.org|2000. 05. 31.

Algebraic structures and combinatorial models참고 문헌 32인용 수 5

한 줄 요약

이 논문은 범주론에서 정칙성 조건을 도입하여 역원의 개념을 일반화하는 프레임워크를 제안한다. 엄격한 역원 대신 일반화된 역원을 사용함으로써, 고차 정칙성 조건을 통해 정칙성으로의 확장을 가능하게 한다. 이는 브레이딩과 준동형사상의 정규화를 가능하게 하며, 초대칭과 비환류 기하학에서 나타나는 비역원적 구조에 특히 관련이 깊다.

ABSTRACT

We propose to extend ``invertibility'' to ``regularity'' for categories in general abstract algebraic manner. Higher regularity conditions and ``semicommutative'' diagrams are introduced. Distinction between commutative and ``semicommutative'' cases is measured by non-zero obstruction proportional to the difference of some self-mappings (obstructors) $e^{(n)}$ from the identity. This allows us to generalize the notion of functor and to ``regularize'' braidings and related structures in monoidal categories. A ``noninvertible'' analog of the Yang-Baxter equation is proposed.

연구 동기 및 목표

• 범주론에서 역원의 개념을 일반화하여, 역원 요구 조건을 완화하는 정칙성 조건을 도입한다.
• 일반화된 역원을 사용하여 단순한 모나이드 범주에서의 함자와 브레이딩의 개념을 비역원적 환경으로 확장한다.
• 양자장론, 초대칭, 비환류 기하학에서 나타나는 비역원적 구조를 위한 범주론적 프레임워크를 제공한다.
• 사상의 역원을 정칙성 조건과 함께 장애 지도 $e^{(n)}$를 포함시켜 브레이드 및 대칭 범주를 정규화하는 방법을 정의한다.
• 내부환위상의 반복적 성질을 수용할 수 있는 비역원적 양-바이저 방정식의 형태를 제안한다.

제안 방법

• 사상 $f$에 대해 $f \circ f^* \circ f = f$ (내부 정칙성) 및 $f^* \circ f \circ f^* = f^*$ (외부 정칙성)를 만족하는 일반화된 역원 $f^*$를 도입하여, 반군 이론에서의 역원 개념을 일반화한다.
• 장애 지도 $e^{(n)}$를 통해 $n$-정칙성 조건을 정의하며, 이는 항등사상 $\mathrm{Id}_X$ 에서의 편차를 측정한다.
• 표준 브레이딩을 약화시키기 위해 수정된 프리브레이딩 사상 $\mathbf{B}^{L(n)} = e_X^{(n)} \otimes \mathrm{B}_{Y,Z}$ 와 $\mathbf{B}^{R(n)} = \mathrm{B}_{X,Y} \otimes e_Z^{(n)}$ 를 구성한다.
• 표준 브레이딩을 $n$-정칙화된 대응체로 대체함으로써, 양-바이저 방정식 (35)의 정규화된 형태를 유도한다.
• 대칭 모나이드 범주에 이 형식을 적용하여, $\mathrm{B}_{Y,X} \circ \mathrm{B}_{X,Y} = \mathrm{Id}$ 라는 역원 조건을 $\mathrm{B}_{X,Y} \circ \mathrm{B}_{X,Y}^* \circ \mathrm{B}_{X,Y} = \mathrm{B}_{X,Y}$ 로 대체한다.
• 반군 이론과 일반화된 역원 방법을 사용하여 비역원적 양-바이저 방정식의 해를 구성한다.

실험 결과

연구 질문

• RQ1 범주론에서 역원 개념을 동형사상 이상으로 확장하여 비역원적 사상까지 포함할 수 있는 방법은 무엇인가?
• RQ2 비역원적 조건을 만족하는 사상의 범주론적 구조는 어떻게 정의될 수 있는가?
• RQ3 브레이드 및 대칭 모나이드 범주를 비역원적 브레이딩을 수용할 수 있도록 정규화할 수 있는가?
• RQ4 브레이딩이 비역원적 내부환위상과 일반화된 역원을 갖는 사상으로 대체될 경우, 양-바이저 방정식의 형태는 어떻게 변하는가?
• RQ5 장애 지도 $e^{(n)}$ 는 프리브레이딩 및 브레이딩 관계에서 역원성에서의 편차를 어떻게 정량화하는가?

주요 결과

• 논문은 반군 이론에서의 역원 개념을 일반화한 일반화된 역원 $f^*$를 도입하며, 이는 $f \circ f^* \circ f = f$ 와 $f^* \circ f \circ f^* = f^*$ 를 만족한다.
• 정규화된 브레이딩 조건 $\mathrm{B}_{X,Y} \circ \mathrm{B}_{X,Y}^* \circ \mathrm{B}_{X,Y} = \mathrm{B}_{X,Y}$ 는 표준적인 역원 조건 $\mathrm{B}_{Y,X} \circ \mathrm{B}_{X,Y} = \mathrm{Id}$ 를 대체하며, 비역원적 브레이딩을 허용한다.
• 장애 지도 $e_X^{(n)}$ 를 사용하여 정의된 $n$-정칙화된 프리브레이딩 사상 $\mathbf{B}^{L(n)}$ 와 $\mathbf{B}^{R(n)}$ 는 복합에서 항등사상으로부터의 편차를 측정한다.
• 비역원적 양-바이저 방정식은 식 (35)에서 유도되며, 여기서 표준 브레이딩이 $n$-정칙화된 형태로 대체된다.
• 이 형식은 내부환위상 반군의 해를 가능하게 하여, 양-바이저 방정식의 적용 범위를 군 구조를 초월한 영역으로 확장한다.
• 이 구성은 전통적인 역원 성립이 실패하는 초대칭 및 비환류 기하학에서의 비역원적 구조를 위한 범주론적 프레임워크를 제공한다.