선형대수의 자동동형동등성과 기하학적 동등성 차이

본 논문은 보편대수기하학에서 두 대수의 “동일한 기하학”을 정의하는 두 개념, 즉 기하학적 동등성(geometric equivalence)과 자동동형동등성(automorphic equivalence)을 비교·분석한다. 기하학적 동등성은 모든 자유대수 F와 그 위의 동등식 집합 T에 대해, 두 대수 H₁, H₂가 각각 정의하는 H‑폐쇄 집합이 동일한지를 검사한다. 이는 대수의 해 공간 Hom(F, H)에서 동일한 닫힌 집합을 갖는지를 의미한다. 자동동형동등성은 자유대수 범주 Θ⁰의 자동사상 Φ를 이용해 좌표계를 바꾸어 H₁‑폐쇄와 H₂‑폐쇄를 일치시키는지를 본다. 즉, Φ가 존재하면 H₁과 H₂는 “좌표 변환” 후에 동일한 닫힌 구조를 가진다. 논문의 핵심은 Θ⁰의 자동사상군 A를 내부자동사상군 Y와 강하게 안정된 자동사상군 S로 분해(A = Y·S)하고, 그 몫군 A/Y ≅ S/(S∩Y)를 계산함으로써 두 동등성 사이의 차이를 정량화하는 것이다. 내부자동사상은 각 자유대수 F를 동일 객체에 동형시키는 자연스러운 변환이며, 강하게 안정된 자동사상은 자유대수의 객체를 그대로 보존하고, 사상들을 특정한 동형 사상 σ_F에 의해 변환한다. 이러한 σ_F는 단어 체계 W={w_ω}와 일대일 대응되며, 각 연산 ω에 대해 새로운 단어 w_ω를 정의한다. 이때 두 조건(Op1, Op2)을 만족해야 한다. 선형대수(모든 1‑정렬 대수) 범주 Θ를 대상으로, 연산 집합은 0‑항(0), 스칼라 곱(각 λ∈k에 대해 1‑항 연산), 부호(−), 덧셈(+), 곱셈(·)이다. 논문은 가능한 단어 체계 W를 전부 구하고, 그 결과를 다음과 같이 제한한다: - w₀ = 0 - w_λ = ϕ(λ)·x₁ (ϕ는 체 k의 자동사상) - w_{-} = −x₁ - w_{+} = x₁ + x₂ - w_{·} = a·x₁x₂ + b·x₂x₁, 여기서 a, b∈k이며 a ≠ ±b 이러한 형태는 강하게 안정된 자동사상 Φ를 완전히 규정한다. 여기서 S는 이러한 Φ들의 전체 군이며, S는 군대수 kS₂의 가역원군 U(kS₂)와 항등원 e에 대한 스칼라 부분군 U(k{e})의 몫군, 그리고 체 자동사상군 Aut k의 반직접곱으로 동형이다: S ≅ (U(kS₂)/U(k{e})) ⋊ Aut k 따라서 A/Y ≅ S/(S∩Y) 역시 같은 구조를 가진다. 중요한 점은 Aut k가 자명하더라도 U(kS₂)/U(k{e})는 무한군이라는 사실이다. 이는 기존에 Lie 대수(자동사상군이 자명)와 연관 대수(군이 차수 2)와는 현저히 다른 결과이며, 선형대수 범주에서 자동동형동등성과 기하학적 동등성 사이의 차이가 크게 나타날 수 있음을 보여준다. 논문은 마지막 장에서 구체적인 예시를 제시한다. 자유선형대수 k⟨x, y⟩에 두 가지 관계를 부과한다: - H₁: xy − yx = 0 (교환 대수) - H₂: xy + yx = 0 (반교환 대수) 위에서 구한 강하게 안정된 자동사상 Φ (특히 w_{·}=a·x₁x₂ + b·x₂x₁, a ≠ ±b)를 적용하면, H₁과 H₂는 자동동형동등하지만, 내부자동사상만으로는 폐쇄 집합이 일치하지 않으므로 기하학적 동등성은 성립하지 않는다. 즉, 자동동형동등성이 기하학적 동등성보다 더 넓은 관계임을 구체적인 대수적 예시를 통해 입증한다. 전체적으로 논문은 다음과 같은 흐름을 가진다: 1. 보편대수기하학에서 동등성 개념 정의 2. 자동사상군 A와 내부자동사상군 Y, 강하게 안정된 자동사상군 S의 구조 분석 3. 선형대수 범주에 대한 단어 체계와 강하게 안정된 자동사상의 완전 분류 4. A/Y의 군 구조를 (U(kS₂)/U(k{e})) ⋊ Aut k와 동형임을 증명 5. 자동동형동등하지만 기하학적 동등하지 않은 두 선형대수의 구체적 예시 제공 이러한 결과는 선형대수의 자동동형동등성 연구에 새로운 관점을 제공하고, 자동사상군의 구조가 대수의 기하학적 성질에 미치는 영향을 깊이 있게 조명한다.