[논문 리뷰] A characterization of weakly Schreier extensions of monoids

Peter F. Faul|arXiv (Cornell University)|2019. 11. 06.

Homotopy and Cohomology in Algebraic Topology참고 문헌 6인용 수 5

한 줄 요약

이 논문은 모노이드의 약한 슈라이어 확장을 완전히 특성화하며, 이들이 $N \times H$의 몫과 그 몫에 대해 호환되는 작용 유사 함수를 지닌 것으로 나타남을 보여준다. 주요 기여는 슈라이어 확장을 일반화하는 구조적 동치를 제안하며, 프레임에서의 아르틴 접합을 자연스러운 사례로 포괄함을 보여준다.

ABSTRACT

A split extension of monoids with kernel $k \colon N o G$, cokernel $e \colon G o H$ and splitting $s \colon H o G$ is Schreier if there exists a unique set-theoretic map $q \colon G o N$ such that for all $g \in G$, $g = kq(g) \cdot se(g)$. Schreier extensions have a complete characterization and have been shown to correspond to monoid actions of $H$ on $N$. If the uniqueness requirement of $q$ is relaxed, the resulting split extension is called weakly Schreier. A natural example of these is the Artin glueings of frames. In this paper we provide a complete characterization of the weakly Schreier extensions of $H$ by $N$, proving them to be equivalent to certain quotients of $N imes H$ paired with a function that behaves like an action with respect to the quotient. Furthermore, we demonstrate the failure of the split short lemma in this setting and provide a full characterization of the morphisms that occur between weakly Schreier extensions. Finally, we use the characterization to construct some classes of examples of weakly Schreier extensions.

연구 동기 및 목표

• 약한 슈라이어 확장의 완전한 구조적 특성화를 제공함으로써, 기존의 슈라이어 확장과 모노이드 작용 간의 대응을 일반화함.
• 약한 슈라이어 확장이 $N \times H$의 몫과 그 몫에 대해 행동 유사 함수를 갖는 함수와 함께 자연스럽게 나타남을 보여줌.
• 약한 슈라이어 확장 간의 사상들을 분석하고, 이 맥락에서 분할된 짧은 다섯 번째 보조정리가 실패함을 보임.
• 일반화된 아르틴 접합과 해당 구조와 호환되는 가장 거친 몫을 사용한 구체적 예제를 구성함.

제안 방법

• 약한 슈라이어 확장을 위해 집합론적 재결합 함수 $q: G \to N$를 도입하며, 슈라이어 확장에서 요구하는 유일성 조건을 완화함.
• 재결합 함수 $q$로부터 $Q$라는 몫에 대해 호환되는 약한 작용 $\alpha: H \times N \to N$를 구성함.
• 약한 작용 $\alpha$를 사용하여 $N \times H$의 곱셈을 $Q$ 모odulo에서 정의하고, $\varphi(n,h) = k(n) \cdot s(h)$를 통해 $G$와 동형인 모노이드를 형성함.
• 소수 이상수 $Y \subset H$를 통해 허용 가능한 몫 $Q$를 식별함. 여기서 $Y$의 원소들은 곱 $N \times H$에서 $N$-성분을 붕괴시킴.
• $\alpha$가 $Q$와 호환되기 위해서는 $\alpha$가 $H \setminus Y$에서 작용이 되고, $Y \times N$에서는 상수 함수여야 하며, $H$의 원소들 사이에 일致 조건이 성립해야 함을 규명함.
• 행렬 모노이드와 오른쪽 가역원이 없는 모노이드 등의 예제에 적용하여, 비자명한 약한 슈라이어 확장이 존재함을 보임.

실험 결과

연구 질문

• RQ1 모노이드의 약한 슈라이어 확장을 어떤 대수적 구조로 완전히 특성화할 수 있는가?
• RQ2 함수 $\alpha: H \times N \to N$가 $N \times H$의 몫을 통해 약한 슈라이어 확장을 유도하기 위해 만족해야 할 조건은 무엇인가?
• RQ3 왜 분할된 짧은 다섯 번째 보조정리는 약한 슈라이어 확장의 범주에서 실패하는가?
• RQ4 프레임의 아르틴 접합은 약한 슈라이어 확장과 어떻게 관련되어 있으며, 이 구성은 일반화될 수 있는가?
• RQ5 주어진 몫 $Q$에 대해 함수 $\alpha$가 어떤 조건을 만족해야 하는가?

주요 결과

• 모노이드 $H$에 대한 약한 슈라이어 확장은 $N \times H$의 허용 가능한 동치관계 $Q$에 의한 몫과 함께, $Q$에 대해 행동 유사 함수로 작용하는 함수 $\alpha: H \times N \to N$를 지닌 것으로 동치임이 입증됨.
• 분할된 짧은 다섯 번째 보조정리는 약한 슈라이어 확장의 범주에서 실패함. 외부 사상들이 모두 동형이어도 사상이 반드시 동형이 되지 않기 때문임.
• 약한 슈라이어 확장 간의 사상은 몫과 작용 성분에서 호환되는 사상들에 의해 완전히 분류되며, $q$-재결합의 구조를 유지함.
• 프레임의 아르틴 접합은 만족성 준서열 범주에서 약한 슈라이어 확장과 정확히 일치하며, 자연스러운 동기가 되는 예시를 제공함.
• $H = \mathrm{Mat}_n(K)$일 경우, 가장 거친 몫 $Q$는 $\det(B) = 0$이면 $(A,B) \sim (A',B)$로 식별하며, $\det(B) \neq 0$이면 $\alpha(B,A) = BAB^{-1}$인 공액 작용이 유효한 약한 슈라이어 확장을 정의함.
• $H$가 비자명한 오른쪽 가역원소를 갖지 않는 경우, $n \cdot h = h \cdot n = h$를 만족하는 확장 $N \sqcup (H \setminus \{1\})$는 약한 슈라이어 확장이며, 이는 자명한 작용 $\alpha(h,n) = n$을 갖는 가장 거친 몫과 대응됨.