Action accessible and weakly action representable varieties of algebras

기술 요약: 대수의 작용 접근 가능성(Action Accessible) 및 약한 작용 표현 가능성(Weakly Action Representable)

문제 정의
본 논문은 비결합 대수(non-associative algebras)의 다양체(varieties) 맥락에서 두 가지 범주론적 성질인 **작용 접근 가능성(action accessibility)**과 약한 작용 표현 가능성(weak action representability) 사이의 관계를 조사한다.

준-아벨 범주(semi-abelian categories)에서 대상 $X$에 대한 내부 작용(internal actions)은 분할 확장(split extensions)에 대응한다. 범주가 *작용 표현 가능(action representable)*하다는 것은 작용 함자(functor of actions)가 자연적으로 호모-함자(hom-functor) $\text{Hom}(-, [X])$와 자연 동형임을 의미한다. 더 약한 개념인 약한 작용 표현 가능성은 오직 자연 단사(natural monomorphism) $\text{Act}(-, X) \hookrightarrow \text{Hom}(-, T)$가 존재하는 대상 $T$에 대해 성립함을 요구한다. 작용 표현 가능성은 약한 작용 표현 가능성을 함의하며, 이는 다시 작용 접근 가능성을 함의한다는 것이 확립되어 있다.

본 논문이 다루는 핵심 문제는 역의 함의가 성립하는지 여부이며, 구체적으로 다음과 같다:

1. 비결합 대수의 맥락에서 약한 작용 표현 가능성이 작용 접근 가능성을 함의하는가? (논문은 일반적인 경우 역이 성립하지 않음을 언급하며, 대수 분야에서의 구체적인 반례를 찾고자 한다.)
2. 약한 작용 표현 가능성 성질은 부분 다양체(subvarieties)를 취할 때 보존되는가?

이 연구 이전에는, 약한 작용 표현 가능성이 아닌 작용 접근 가능한 비결합 대수의 다양체가 존재하는지에 대한 문제가 미해결 상태였다. 또한, J. R. A. Gray가 $n$-가해 군($n \geq 3$)의 다양체는 약한 작용 표현 가능하지 않음을 보여주었으나, 니포텐트(nilpotent) 군($k \geq 3$) 및 가해(solvable) 군($n=2$)의 상태는 미해결로 남아 있었다. 마찬가지로, 리 대수(Lie algebras)의 다양체(특히 니포텐트 및 가해 부분 다양체)에서의 거동도 알려지지 않았다.

방법론
저자들은 **합병 성질(amalgamation property, AP)**과 J. R. A. Gray의 특정 명제(Proposition 1.3)에 기반한 방법을 사용한다. 핵심 전략은 특정 다양체 $\mathcal{X}$가 약한 작용 표현 가능하지 않음을 증명하기 위해, 해당 다양체 내에서 합병 성질에 대한 반례를 구성하되, 더 큰 작용 표현 가능한 범주 내에서는 합병이 존재하도록 하는 것이다.

증명은 다음의 논리적 구조(Proposition 1.3)에 의존한다:

1. 다양체 $\mathcal{X}$를 작용 표현 가능한 범주 $\mathcal{C}$(예: $\mathcal{C} = \text{Grp}$ 또는 $\mathcal{C} = \text{Lie}$)의 버크호프 부분 범주(Birkhoff subcategory)로 식별한다.
2. $\mathcal{X}$ 내에서 두 단사 사상 $m, m': S \hookrightarrow B$ 및 $S \hookrightarrow B'$를 구성하되, 이들이 $\mathcal{X}$의 어떤 대상에서도 합병될 수 없도록 한다.
3. 이 단사 사상들이 더 큰 범주 $\mathcal{C}$ 내에서는 단사 사상 $u, u'$를 통해 대상 $D$로 합병될 수 있음을 보인다.
4. $\mathcal{X}$의 대상 $X$와 단사 사상 $v: D \hookrightarrow [X]$(여기서 $[X]$는 $\mathcal{C}$의 표현 대상)의 존재를 입증하여, 합성 $v \circ u$와 $v \circ u'$에 의해 유도된 분할 확장이 여전히 부분 다양체 $\mathcal{X}$ 내에 머물러 있음을 보인다.

이러한 조건이 충족되면, $\mathcal{X}$는 약한 작용 표현 가능할 수 없다.

이를 실행하기 위해 저자들은 다음을 활용한다:

• 군(Groups)의 경우: 아벨 군 $S$와 2-니포텐트 군 $B, B'$를 포함하는 B. H. Neumann의 특정 예시를 사용하되, 이를 가해 군 내에서 합병할 수 없는 것으로 구성한다. 저자들은 이를 위해 $\text{Aut}(X)$(여기서 $X = \mathbb{Z}_5^3$)로의 특정 표현을 구성함으로써 결과적인 반직합(semi-direct product)이 $k$-니포텐트 또는 2-가해임을 증명하여 이를 정교화한다.
• 리 대수(Lie algebras)의 경우: Neumann의 예시를 리 대수로 적응시킨다. 저자들은 아벨 대수 $S$와 두 개의 3차원 하이젠베르크 대수($B, B'$)를 구성한다. 이들은 $B$와 $B'$가 $\mathfrak{gl}(3, F)$ 내에서는 합병될 수 있지만, 그 합병이 결과적으로 단순(simple)하고 비가해(non-solvable)인 $\mathfrak{sl}(2, F)$에 동형인 부분 대수를 포함하게 함을 증명한다. 이 모순은 가해(또는 니포텐트) 대수의 다양체 내에서 합병이 불가능함을 증명한다.

주요 기여 및 결과

1. 군의 Gray 결과에 대한 정교화:
   본 논문은 $k$-니포텐트 군(for $k \geq 3$) 및 2-가해 군의 다양체가 약한 작용 표현 가능하지 않음을 증명한다. 이는 $n \geq 3$인 $n$-가해 군을 다루었던 Gray의 이전 결과를 확장한 것이다.

   • 결과: 정리 2.1 및 따름정리 2.2.

2. 비결합 대수의 새로운 반례:
   본 논문은 $k$-니포텐트 리 대수(for $k \geq 3$) 및 $n$-가해 리 대수(for $n \geq 2$)의 다양체가 약한 작용 표현 가능하지 않음을 확립한다.

   • 결과: 정리 3.1 및 따름정리 3.2.
   • 의의: 이들은 약한 작용 표현 가능성이 아닌 작용 접근 가능한 비결합 대수의 첫 번째 알려진 사례들이다.

3. 미해결 문제의 해결:
   본 결과는 기존 문헌에서 제기된 질문들에 대해 부정적인 답변을 제공한다:

   • "약한 작용 표현 가능 $\implies$ 작용 접근 가능"의 역은 비결합 대수의 다양체 맥락에서 성립하지 않는다.
   • 약한 작용 표현 가능 성질은 부분 다양체를 취할 때 보존되지 않는다. 구체적으로, 리 대수($\text{Lie}$)의 다양체는 작용 표현 가능(따라서 약한 작용 표현 가능)하지만, 그 부분 다양체인 $k$-니포텐트 및 $n$-가해 대수들은 그렇지 않다.

의의
본 논문은 이러한 발견이 대수적 다양체의 범주적 성질 계층을 근본적으로 명확히 한다고 주장한다. 잘 알려진 리 대수 및 군의 맥락에서 구체적인 반례를 제공함으로써, 저자들은 약한 작용 표현 가능성에 필요한 구조적 제약이 부모 다양체가 가장 강력한 형태의 작용 표현 가능성을 가지고 있더라도 그 부분 다양체로 상속되지 않음을 보여준다. 이는 준-아벨 범주에서 "합병 성질"을 약한 작용 표현 가능성의 필요 조건으로 이해하는 것을 정교화한다. 본 연구는 새로운 응용이나 미래의 실험적 제안을 제시하지 않으며, 엄격하게 이러한 대수적 다양체의 이론적 분류에 집중한다.