Involutions of (twisted) diagram monoids

기술 요약: (비틀린) 다이어그램 모노이드의 인볼루션(Involutions)

문제 정의
본 논문은 광범위한 클래스의 다이어그램 모노이드 및 그와 관련된 비틀린 곱(twisted products)에 대한 인볼루션(자기 역원 반자동사, self-inverse anti-automorphisms)의 분류를 다룬다. 다이어그램 대수 및 모노이드에서 정형적인 인볼루션(수직 반사)은 잘 알려져 있으나, 모든 가능한 인볼루션의 지형과 특히 비틀림(un-twisted) 및 비틀린(twisted) 구조 모두에서의 구체적인 대수적 성질(정칙성 관련)은 여전히 미개척 영역으로 남아 있다. 구로, 저자들의 목표는 다음과 같다:

1. 파티션($P_n$), 평면 파티션($PP_n$), 부분 브라우어($PB_n$), 모츠킨($M_n$), 브라우어($B_n$), 템퍼리-리리($TL_n$) 모노이드의 모든 인볼루션을 분류한다.
2. 이러한 인볼루션 중 어떤 것이 모노이드를 스타-정칙(star-regular, $\ast$-regular) 또는 정칙 스타-모노이드(regular star-monoids)로 만드는지 규명한다.
3. 이러한 분류와 규명을 "비틀린 다이어그램 모노이드", 즉 부동 성분(floating components)에 대한 정보(표준적인 float-counting twisting $\Phi$를 통해) 또는 계수 기반 비틀림(rank-based twisting $\Psi$)을 통해 확장된 다이어그램 모노이드의 세미그룹 대수로 확장한다.

이 연구의 핵심 동기는 일반적인 다이어그램 모노이드들은 통상적으로 정칙 $\ast$-모노이드(즉, 인볼루션이 원소를 폰 노이만 역원으로 보내는 경우)인 반면, 이들의 비틀린 대응체들은 정칙성을 상실하는 경우가 많다는 관찰에 있다. 저자들은 이러한 비틀린 구조들이 더 약한 정칙성 속성, 구체적으로는 스타-정칙성(star-regularity)을 유지하는지 조사한다.

방법론
저자들은 특정 다이어그램 모노이드에 적용하기에 앞서 비틀린 곱에 대한 일반 이론을 개발하는 두 갈래의 접근 방식을 채택한다.

• 비틀린 곱의 일반 이론: 논문은 $S$가 모노이드이고 $M$이 가환 모노이드이며, $\Phi: S \times S \to \mathbb{N}$이 비틀림 맵인 비틀린 곱 $T = M \times_q^\Phi S$에 대한 프레임워크를 구축한다. 저자들은 tightness, unitality, 그리고 비틀림 $\Phi$에 대한 Green-invariance와 같은 성질들을 도입하고 활용한다. 또한 "순수(pure)" 인볼루션(두 번째 좌표가 입력의 두 번째 좌표에만 의존하는 경우)과 "일반(general)" 인볼루션의 구분을 통해 비틀린 곱의 인볼루션 분류를 수행한다.
• 자기동형사상의 분류: 인볼루션을 분류하기 위해, 저자들은 먼저 기저 다이어그램 모노이드의 자기동형군(automorphism groups)을 결정한다. $P_n, PP_n, PB_n, M_n, B_n$에 대한 자기동형사는 이미 알려져 있으나(Mazorchuk), 저자들은 $PP_n, M_n, TL_n$에 대한 새로운 분류를 제공한다.
• 중심(Center) 분석: 저자들은 이들 다이어그램 모노이드의 중심이 충분히 큰 $n$에 대해 자명함을 증명한다. 이 결과는 일반 이론을 위해 매우 중요하다. $S$의 중심이 자명하면 $T$의 모든 인볼루션은 순수 인볼루션이 되기 때문이다.
• 정칙성 규명: 인볼루션의 일반적인 분류를 사용하여, 저자들은 $T$가 스타-정격 혹은 정칙 스타-모노이드가 되기 위한 필요충분조건을 도출한다. 이는 인볼루션, 비틀림 맵 $\Phi$ (또는 $\Psi$), 그리고 무어-펜로즈 역(Moore-Penrose inverses) 사이의 상호작용을 분석하는 과정을 포함한다.

주요 기여 및 결과

1. 다이어그램 모노이드의 인볼루션 분류:

   • $P_n, PB_n, B_n$의 경우, 인볼루션은 기저 집합의 자기 역원 치환(정형 인볼루션의 공액류)과 일대일 대응한다.
   • 평면 모노이드인 $PP_n, M_n, TL_n$의 경우, 일반적으로 정형 인볼루션과 180도 회전($\rho$)이라는 두 가지 인볼루션만이 존재한다.
   • 저자들은 어떤 인볼루션이 스타-정칙 또는 정칙 스타-모노이드 구조를 생성하는지 규명한다. 주목할 점은 $B_n$이 많은 인볼루션에 대해 스타-정칙이지만, 정칙 스타-모노이드는 오직 정형 인볼루션에 대해서만 된다는 것이다.

2. 중심의 자명성:

   • 논문은 $P_n, PP_n, PB_n, M_n$ ($n \ge 2$) 및 $B_n, TL_n$ ($n \ge 3$)의 중심이 자명함을 증명한다. 이는 독립적인 관심사로서 기술된 새로운 결과이다.

3. 비틀린 곱의 일반 이론:

   • 저자들은 unitality를 가정 하에 $M \times_q^\Phi S$의 인볼루션을 분류한다. 만약 $S$가 자명한 중심을 가진다면, 비틀린 곱의 모든 인볼루션은 순수(pure)임을 보여준다.
   • 스타-정칙 비틀린 곱에서의 무어-펜로즈 역에 대한 명시적인 공식을 제공한다.

4. 비틀린 다이어그램 모노이드 (Float-Counting $\Phi$):

   • 정수 집합 위의 비틀린 모노이드($M = \mathbb{Z}$)에 대해, 저자들은 모든 인볼루션을 분류한다.
   • 예상치 못한 결과: 대부분의 비틀린 다이어그램 모노이드가 정칙 $\ast$-모노이드는 아니지만, 이들은 종종 스타-정칙이다. 구체적으로, 정수 위의 비틀린 다이어그램 모노이드는 기저 모노이드의 스타-정칙 인볼루션을 확장하는 인볼루션에 대해 항상 스타-정칙이다.
   • 예외: 비틀린 브라우어 모노이드 $Z \times_1^\Phi B_2$는 순수하지 않은 인볼루션을 허용한다는 점에서 독특하며, 흥미롭게도 순수 및 비순수 인볼루션 모두에 대해 스타-정칙이다.
   • 정칙-스타성(regular-starity, 인볼루션이 역원으로 가는 더 강한 조건)은 매우 드물게 나타나며, 오직 특정 저차수 사례에서만 성립한다.

5. 비틀린 다이어그램 모노이드 (Rank-Based $\Psi$):

   • 저자들은 동일한 프로그램을 계수 기반 비틀림 $\Psi$에 적용한다.
   • float-counting 비틀림 $\Phi$의 경우와 달리, 계수 기반 비틀림 $\Psi$는 더 풍부한 구조를 생성한다. 즉, 일반적으로 더 많은 인볼루션이 존재하며, 스타-정칙성과 정칙-스타성이 더 흔하게 나타난다.
   • 중요한 발견: 정수 위에서, 모든 계수 기반 비틀린 다이어그램 모노이드 $Z \times_1^\Psi S$는 특정 "음의(negative)" 인볼루션에 대해 정칙 스타-모노이드이다. 이는 새로운, 자연스러운 정칙 스타-모노이드의 무한 가족을 제공한다.

의의 및 주장
본 논문은 가장 잘 연구된 다이어그램 모노이드들과 그들의 비틀린 변형들에 대한 인볼루션의 완전한 분류를 제공한다고 주장한다. 저자들은 몇 가지 예상치 못한 발견을 강조한다:

• 스타-정칙성과 정칙-스타성 사이의 구분이 뚜렷하다; 많은 비틀린 모노이드들이 스타-정칙이지만 정칙 스타-모노이드는 아니다.
• 정수 위의 비틀린 다이어그램 모노이드는 Drazin이 도입한 클래스인 스타-정칙 모노이드의 새로운, 자연스러운 예시 역할을 한다.
• 계수 기반 비틀림 $\Psi$는 정형 float-counting 비틀림 $\Phi$보다 정칙성에 대해 더 강력한 프레임워크를 제공하여, 정칙 스타-모노이드의 무한 가족을 생성한다.
• 비틀린 곱의 인볼루션에 대한 일반 이론의 개발, 특히 "unitality"가 tightness보다 약한 성질임에도 불구하고 강력한 일반적 결과를 가능케 한다는 점의 식별은, Motzkin 및 부분 브라우어 모노이드의 경우처럼 비틀림이 tight하지 않은 경우에도 유효하다.

이 연구는 다이어그램 대수 및 그들의 비틀린 대응체의 대칭성과 정칙성 속성을 이해하기 위한 기초적인 단계로 제시되며, 셀룰러 대수(cellular algebras) 및 세미그룹 대수의 구조 연구에 시사점을 준다.