[논문 리뷰] Skolem-Noether for nilpotent products

James B. Wilson|arXiv (Cornell University)|2015. 07. 15.

Advanced Topics in Algebra참고 문헌 28인용 수 4

한 줄 요약

이 논문은 필터링된 대수와 군의 맥락에서 이항형 사상(bimaps)에 대해 스코렘-노이터 정리와 모리타 정리를 일반화한다. 자동형사와 미분의 구조를 이해하기 위한 프레임워크를 도입하며, 스칼라의 관련 링($\mathcal{L}_*, \mathcal{M}_*, \mathcal{R}_*$)과 중심($\mathcal{C}_*$)을 사용한다. 자동형사군의 정확한 수열을 확립하고, 이는 특히 근본군과 반단순 구조를 갖는 대수에 대해 계산 복잡도를 감소시키는 데 응용된다.

ABSTRACT

We consider the structure of groups and algebras that can be represented as automorphisms or derivations of distributive products -- which includes nonassociative rings, modules, forms, and commutation of groups and nonassociative loops. In many ways this is too broad to be possible, for instance even naive structure, such as inner automorphisms and derivations, are undefined for general bilinear maps. The appeal for working in this generality is broad applicability. We introduce fundamental structures and prove several results akin to ones in ring theory, including theorems of Morita and of Skolem-Noether type. Applications and examples are included.

연구 동기 및 목표

• 필터링된 대수와 군에서 유래된 이항형 사상의 맥락에서 스코렘-노이터 및 모리타 정리와 같은 고전적 정리를 일반화한다.
• 비자명한 근본군을 갖는 대수와 군에서 자동형사군과 미분군의 구조를 분석함으로써 명확히 한다.
• 특히 근본군의 곱에서의 맥락에서 스칼라 링($\mathcal{L}_*, \mathcal{M}_*, \mathcal{R}_*$)과 중심($\mathcal{C}_*$)을 사용하여 이항형 사상의 자동형사군을 도입하고 연구한다.
• 이러한 결과를 활용하여 유한한 $p$-군과 대수의 이소모르피즘 테스트의 계산 비용을 감소시키기 위해 텐서 곱과 베퍼 곱을 적용한다.

제안 방법

• 분배법칙과 스칼라의 이동성 성질을 갖는 $k$-이항형 사상의 형식적 체계를 도입하고, 이항형 사상의 구조를 유지하는 삼중의 준동형사들을 '호모토피즘'으로 정의한다.
• 좌, 중, 우 스칼라의 세 개의 결합적 단위 대수($\mathcal{L}_*, \mathcal{M}_*, \mathcal{R}_*$)와 중심 $\mathcal{C}_*$를 정의하여 이항형 사상의 대칭성 분석에 핵심 도구로 사용한다.
• 자기형사군의 정확한 수열을 확립하여 $\operatorname{Aut}(*)$를 $\mathcal{L}_*$, $\mathcal{M}_*$, $\mathcal{R}_*$의 곱셈군과 연결함으로써 스코렘-노이터 정리를 일반화한다.
• 유도된 잔여군과 잔여 대수의 이항형 사상 분석을 통해 필터링된 군과 대수에 이 프레임워크를 적용한다.
• 세밀한 필터에서 $\mathcal{L}_*$, $\mathcal{M}_*$, $\mathcal{R}_*$의 반단순성을 이용하여 모리타 및 스코렘-노이터 유형의 결과를 유도함으로써 구조적 제어를 가능하게 한다.
• 이항형 사상의 텐서 곱과 베퍼 곱을 사용하여 근본군의 곱을 모델링하고, 이소모르피즘 테스트의 복잡도를 $O(p^{c(me)^2})$에서 $O((me)^6 \log^2 p)$로 감소시킨다.

실험 결과

연구 질문

• RQ1 필터링된 대수와 군에서 유래된 이항형 사상에 대해 스코렘-노이터 정리와 모리타 정리를 어떻게 일반화할 수 있는가?
• RQ2 스칼라 링 $\mathcal{L}_*$, $\mathcal{M}_*$, $\mathcal{R}_*$는 이항형 사상의 자동형사군을 결정하는 데 어떤 구조적 역할을 하는가?
• RQ3 근본군의 군이나 대수의 자동형사군은 그 관련된 잔여 이항형 사상과 그 대칭성으로 기술될 수 있는가?
• RQ4 자기형사군과 관련된 이항형 사상의 구조를 개선하기 위해 군이나 대수의 필터를 재정비하여 재단근을 제거하면 어떤 영향을 미치는가?
• RQ5 이소모르피즘 테스트에서 이항형 사상의 텐서 곱과 베퍼 곱을 사용할 경우, 유한한 $p$-군에 대해 어떤 계산적 영향을 미치는가?

주요 결과

• 논문은 이항형 사상의 자동형사군이 그 좌, 중, 우 스칼라 링의 곱셈군과 연결된 정확한 수열을 증명하며, 스코렘-노이터 정리를 일반화한다.
• 유한 체인 조건을 갖는 모든 군은 관련된 잔여 리 대수의 스칼라 링 $\mathcal{L}_*$, $\mathcal{M}_*$, $\mathcal{R}_*$가 반단순임을 보장하는 특성 필터를 갖는다.
• $\operatorname{Aut}(G) \to \operatorname{Aut}(L(\phi))$로 가는 자연스러운 준동형사의 핵은 필터링된 부분군 $\Delta\phi$에 의해 기술되며, 이에 대응하는 잔여 리 환은 $L(\phi)$의 미분 대수에 임베딩된다.
• $\operatorname{Aut}(\otimes_{\mathcal{M}_*})$와 베퍼 곱을 사용함으로써 $\mathcal{T}_{1,m,1}(p^e)$의 몫에 대한 이소모르피즘 테스트의 비용을 $O(p^{c(me)^2})$에서 $O((me)^6 \log^2 p)$로 감소시킨다.
• 재단근을 제거하기 위해 필터를 정비함으로써 모든 관련 이항형 사상의 스칼라 링이 반단순해지며, 이는 모리타 및 스코렘-노이터 정리의 적용을 가능하게 한다.
• 비결합 대수, 루프, 군에 대해 이 프레임워크는 관련된 잔여 구조를 부착함으로써 통일적으로 적용되며, 최근의 루프 이소모르피즘 결과를 일반화한다.