자유군에서 비대칭 아렌스 곱의 라디칼 차이

초록

저자는 자유군 F₃ 위에 적절히 정의된 가중치 ω를 이용해 Beurling 대수 ℓ¹(F₃,ω)를 구성하고, 이 대수의 이중대수에서 두 아렌스 곱(□, ⋄)에 대한 Jacobson 라디칼이 서로 다름을 보인다. 이는 Dales‑Lau가 제기한 질문에 대한 긍정적 답변이며, 비가환 군에서만 가능한 현상임을 강조한다.

상세 분석

논문은 먼저 Arens 곱이라는 두 개의 확장 곱이 Banach 대수 A의 이중대수 A**에 정의된다는 사실을 상기한다. 두 곱이 일치하면 A는 Arens regular이라 부르며, 연산자 대수는 언제나 이 조건을 만족한다. 반면 ℓ¹(G)와 같은 비가중 Beurling 대수는 일반적으로 두 곱이 다르게 작용한다. 저자는 이 차이가 Jacobson 라디칼 수준까지 영향을 미칠 수 있는지를 탐구한다.

핵심 아이디어는 비가환 군, 특히 자유군 F₃에 비대칭적인 무한 생성 집합 X를 선택하고, 이를 이용해 가중치 ω(g)=exp(|g|_X) 를 정의하는 것이다. 여기서 |g|_X는 X에 대한 단어 길이이며, X는 특정 형태의 원소 x(v,j)=v b^{2j‑1} a^{2j} b^{2j} (|v|>j) 로 구성된 무한 합집합이다. 이러한 설계는 a^{2^n}b^{2^n} 와 같은 특정 원소들의 X‑길이가 정확히 2ⁿ‑1+1 로 계산되게 하여, 이후에 사용할 네트와 약한*극한 과정에서 원하는 수렴 속도를 확보한다.

다음 단계에서는 두 원소 Φ₀, Ψ₀∈(ℓ¹(F₃,ω))** 를 정의한다. Φ₀는 δ_{a^{2ⁿ}b^{2ⁿ}}/ω(a^{2ⁿ}b^{2ⁿ}) 의 약한*축적점이며, Ψ₀는 δ_{cⁿ}/ω(cⁿ) 의 축적점이다. 저자는 (3.1)식 |a^{2ⁿ}b^{2ⁿ}|_X = 2ⁿ‑1+1 를 증명함으로써 Φ₀가 □‑라디칼에 속함을 보인다. 구체적으로, Φ₀ □ I =0 이며, 이는 Φ₀가 (ℓ¹(F₃,ω))** 에서 □‑곱에 대해 영원소와 곱해도 영이 되는 원소임을 의미한다.

반면, Ψ₀와 Φ₀를 ⋄‑곱으로 결합하면 (3.2)식에 의해 그 결과의 X‑길이가 충분히 크게 성장한다. 이를 통해 Φ₀ ⋄ Ψ₀ 가 quasi‑nilpotent이 아님을 보이고, 따라서 Φ₀는 ⋄‑라디칼에 포함되지 않는다. 즉 rad((ℓ¹(F₃,ω)),□) ≠ rad((ℓ¹(F₃,ω)),⋄) 가 성립한다.

논문은 또한 Lemma 3.1을 통해 가환 Banach 대수에서는 두 라디칼이 항상 동일함을 보여, 비가환성의 필요성을 강조한다. 마지막으로, 가중치 ω가 대칭이 아니므로 ℓ¹(F₃,ω)는 *‑대수 구조를 갖지 않으며, 대칭 가중치에 대한 동일한 현상이 가능한지는 아직 미해결 문제로 남겨둔다. 전체 증명은 섹션 4, 5에서 복잡한 단어 길이 계산을, 섹션 6에서 라디칼 포함 관계와 네트 수렴을 다루며, 기술적 난이도는 높지만 논리 흐름은 명확하게 전개된다.