Addendum/Corrigendum to "On solubility of skew left braces and solutions of the Yang-Baxter equation"

제시된 논문은 "On solubility of skew left braces and solutions of the Yang-Baxter equation" (Adv. Math. 455 (2024)) 에 대한 **보정판 (Addendum/Corrigendum)**입니다. 이 논문은 이전 연구에서 발견된 증명상의 오류를 수정하고, 양 - 벡터 방정식 (YBE) 의 해 (solution) 와 스키브 레이스 (skew brace) 의 가해성 (solubility) 간의 관계를 재정의하여 강화된 결과를 제시합니다.

다음은 이 논문의 기술적 요약입니다.

1. 문제 제기 (Problem)

• 배경: 양 - 벡터 방정식 (YBE) 의 비퇴화 해 (non-degenerate solutions) 를 분류하는 문제는 스키브 레이스의 구조 이론과 밀접하게 연관되어 있습니다. 저자들은 이전 논문 [1] 에서 스키브 레이스의 가해성을 해의 가해성으로 확장하여, "스키브 레이스가 가해일 필요충분조건은 그 연관된 해가 가해인 것이다 (Theorem C)"라는 주장을 증명했습니다.
• 문제점: 최근 연구 [9] 에서 저자들은 Theorem C 의 증명에 해의 준동형사상 (homomorphism of solutions) 정의에 의존하는 사소한 단계가 누락되어 있음을 발견했습니다. 이 오류는 해의 가해성 정의와 구조 스키브 레이스 (structure skew brace) 간의 연결 고리가 완전히 성립하지 않음을 의미합니다.
• 목표: 이 오류를 수정하고, 해의 가해성에 대한 새로운 정의를 도입하여 Theorem C 를 재증명하며, 가해 해와 비분해 가능 해 (indecomposable solutions) 간의 관계를 명확히 하는 것입니다.

2. 방법론 (Methodology)

이 논문은 기존 해의 준동형사상 개념을 확장하여 새로운 개념인 **i-준동형사상 (i-homomorphism)**을 도입함으로써 문제를 해결합니다.

• i-준동형사상 (i-homomorphism) 의 도입:
  • 기존 해의 준동형사상 $f: X \to Y$는 $\lambda$와 $\rho$ 성분을 호환시킵니다.
  • i-준동형사상은 추가적으로 $f$의 핵 (kernel) 에 속하는 특정 동치류 $X_0$ (i-kernel) 이 존재하여, 모든 동치류 $Z$에 대해 $r(X_0, Z) = Z \times X_0$ 및 $r(Z, X_0) = X_0 \times Z$를 만족해야 합니다.
  • 이 조건은 $X_0$가 해의 구조에서 '중심적' 역할을 하거나, 구조 스키브 레이스의 아이디얼 (ideal) 을 유도함을 보장합니다.
• i-단순성 (i-simplicity) 과 비분해 가능성의 동치:
  • 해가 **i-단순 (i-simple)**하다는 것은 모든 i-준동형사상에서 유일한 i-핵이 전체 집합 $X$인 경우로 정의됩니다.
  • Proposition 3.3을 통해 "해가 비분해 가능 (indecomposable) 할 필요충분조건은 i-단순한 것이다"임을 증명합니다. 이는 기존 '단순 해 (simple solution)' 정의가 비분해 가능성을 완전히 특징짓지 못했던 한계를 보완합니다.
• 구조 스키브 레이스와의 연결:
  • i-준동형사상의 i-핵은 구조 스키브 레이스 $G_X$에서 **강한 왼쪽 아이디얼 (strong left ideal)**을 생성하며, 이는 $G_X$의 아이디얼을 유도합니다 (Theorem 3.9).
  • 이를 통해 해의 분해 과정이 스키브 레이스의 아이디얼 사슬과 직접적으로 대응됨을 보입니다.

3. 주요 기여 및 결과 (Key Contributions and Results)

A. 가해 해 (Soluble Solutions) 의 재정의

• 기존 정의의 오류를 수정하여, i-준동형사상을 통해 해의 가해성을 정의합니다 (Definition 4.1).
• 해 $(X, r)$가 가해라는 것은 $X$에서 시작하여 i-핵 $X_k$를 가진 i-전사 (i-epimorphism) $f_k$들을 통해 일련의 아벨 아이디얼을 거쳐 단일 원소 해에 도달할 수 있음을 의미합니다.

B. Theorem C 의 수정 및 강화 (Theorem 4.2 및 Corollary 4.3)

• Theorem 4.2: "만약 해 $(X, r)$가 가해라면, 그 연관된 구조 스키브 레이스 $G_X$도 가해이다."
  • 이는 이전 논문에서 증명되지 않았거나 오류가 있었던 부분으로, i-준동형사상을 통해 엄밀하게 증명되었습니다.
• Corollary 4.3 (Theorem C 의 확장): 스키브 레이스 $B$에 대해 다음 명제들은 서로 동치입니다.
  1. $B$는 가해 스키브 레이스이다.
  2. 연관된 해 $(B, r_B)$는 가해 해이다.
  3. 연관된 구조 스키브 레이스 $G_B$는 가해이다.
  4. 연관된 치환 스키브 레이스 $G(B, r_B)$는 가해이다.
  • 이는 가해성의 개념이 해와 스키브 레이스 사이에서 완전히 일치함을 보여줍니다.

C. 역명제에 대한 충분 조건 (Theorem 4.4)

• 일반적으로 "구조 스키브 레이스가 가해이면 해가 가해이다"는 역은 성립하지 않습니다 (Example 4.7 참조).
• 그러나 Theorem 4.4는 다음과 같은 충분 조건을 제시합니다:
  • 구조 스키브 레이스 $G_X$가 가해이고, $X$에 어떤 원소 $x$가 존재하여 $\iota(x)$가 $G_X$의 아벨 아이디얼에 속하면, $(X, r)$는 가해 해입니다.
• Corollary 4.5: 만약 $\lambda_x = \rho_x = \text{id}_X$인 원소 $x \in X$가 존재하고 $G_X$가 가해라면, $(X, r)$는 가해 해입니다. 이는 다중 치환 해 (multipermutation solutions) 와의 관계를 규명합니다.

D. 반례 제시 (Example 4.7)

• 구조 스키브 레이스가 가해 (실제로는 오른쪽 멱영성, right nilpotent) 인 해가 단순 해 (simple solution) 일 수 있음을 보여줍니다. 즉, 구조적 가해성이 해의 가해성을 보장하지 않는 경우를 구체적으로 제시하여 새로운 정의의 필요성을 입증했습니다.

4. 의의 및 중요성 (Significance)

1. 이론적 정합성 회복: 양 - 벡터 방정식 해의 분류와 스키브 레이스 이론 간의 연결 고리에 존재하던 논리적 결함을 수정하여, 두 분야 간의 대응 관계를 엄밀하게 확립했습니다.
2. 새로운 분류 도구 제시: 'i-준동형사상'과 'i-단순성'이라는 새로운 개념을 도입함으로써, 기존에는 설명하기 어려웠던 **비분해 가능 해 (indecomposable solutions)**를 더 정확하게 특징짓고 분류할 수 있는 도구를 제공했습니다.
3. 가해성 이론의 확장: 스키브 레이스의 가해성 이론을 해의 세계로 자연스럽게 확장시켰으며, 가해 해와 다중 치환 해 (multipermutation solutions) 사이의 관계를 명확히 했습니다.
4. 미래 연구의 기초: 이 보정판은 YBE 해의 구조적 분류 연구, 특히 비분해 가능 해와 단순 해의 관계에 대한 후속 연구들을 위한 견고한 이론적 기반을 마련했습니다.

요약하자면, 이 논문은 기존 연구의 오류를 수정하여 i-준동형사상을 핵심 도구로 활용함으로써, YBE 해의 가해성과 스키브 레이스의 가해성 사이의 동치 관계를 재증명하고, 비분해 가능 해에 대한 새로운 분류 체계를 제시한 중요한 학술적 성과입니다.