[논문 리뷰] Algebras with the same (algebraic) geometry

B. Plotkin|ArXiv.org|2002. 10. 14.

Advanced Topics in Algebra참고 문헌 18인용 수 73

한 줄 요약

이 논문은 임의의 대수 구조의 다양체에서 대수기하학을 위한 일반적인 프레임워크를 개발하며, 대수적 집합의 범주와 그 스켈레톤을 통해 기하적 불변량을 정의한다. 주요 기여는 두 대수 $ H_1 $과 $ H_2 $가 기하학적으로 동형이거나 동치일 조건을 규명하는 것으로, 이는 그들의 범주 $ K_{\theta}(H_1) $와 $ K_{\theta}(H_2) $가 올바르게 동형이거나 동치일 때 정확히 발생하며, 이는 두 대수가 반내부자기동형사상을 통해 기하학적으로 동치이며 동일한 준항등식을 공유할 때이다.

ABSTRACT

Some basic notions of classical algebraic geometry can be defined in arbitrary varieties of algebras $Θ.$ For every algebra $H$ in $Θ$ one can consider algebraic geometry in $Θ$ over $ H.$ Correspondingly, algebras in $Θ$ are considered with the emphasis on equations and geometry. We give examples of geometric properties of algebras in $Θ$ and of geometric relations between them. The main problem considered in the paper is when different $H_1$ and $H_2$ have the same geometry.

연구 동기 및 목표

• 임의의 대수 구조의 다양체 $ \Theta $에서 대수기하학을 정의하고 형식화하여 고전적 대수기하학을 일반화한다.
• 범주 $ \Theta $ 내의 두 대수 $ H_1 $과 $ H_2 $가 동일한 기하학적 구조를 갖는 조건을 조사한다.
• 대수적 집합의 범주의 동형과 동치성에 기반한 대수의 기하학적 동치 조건을 수립한다.
• 특정 다양체인 가환대수, 결합대수, 그리고 체 위의 리대수에서 준항등식과 반내부자기동형사상을 통해 기하학적 동치를 특성화한다.

제안 방법

• 대수 $ H $ 위의 대수적 집합의 범주 $ K_{\Theta}(H) $와 그 스켈레톤 $ \tilde{K}_{\Theta}(H) $를 정의하여 $ H $의 기하학적 불변량으로 삼는다.
• $ \Theta $ 내의 유한생성 자유대수의 범주 $ \Theta^0 $을 사용하여 기하학적 동치를 유도하는 자기동형사상과 자동환류를 연구한다.
• 범주 $ K_{\Theta}(H_1) $와 $ K_{\Theta}(H_2) $의 '올바른' 동형과 동치의 개념을 도입하여 대수적 집합의 격자와의 호환성을 보장한다.
• 반내부자기동형사상 $ \sigma $를 통해 $ W \to H $와 $ W \to H^\sigma $ 사이의 호모모르피즘에 대응을 구축하며, 핵과 닫힌 아이디얼을 유지한다.
• 기하학적 동치성의 조건이, $ H_1^\sigma $가 $ H_2 $와 기하학적으로 동치가 되는 반내부자기동형사상 $ \varphi = \hat{\sigma} \varphi_0 $의 존재와 동치임을 증명한다.
• 이 프레임워크를 적용하여 특정 다양체인 $ \operatorname{Com}\text{-}P $, $ \operatorname{Ass}\text{-}P $, $ \operatorname{Lie}\text{-}P $에 대해, 공통의 준항등식과 반동형사상에 의해 동치임을 보인다.

실험 결과

연구 질문

• RQ1 범주 $ \Theta $ 내의 두 대수 $ H_1 $과 $ H_2 $가 대수적 집합의 범주 $ K_{\Theta}(H_1) \cong K_{\Theta}(H_2) $를 갖는 조건은 언제인가?
• RQ2 범주 $ K_{\Theta}(H_1) $와 $ K_{\Theta}(H_2) $가 올바르게 동치가 되어 기하학적 동치를 반영하기 위해 필요한 조건은 무엇인가?
• RQ3 자유대수의 범주 $ \Theta^0 $의 반내부자기동형사상은 $ \Theta $ 내의 대수의 기하학적 동치와 어떻게 관련이 있는가?
• RQ4 체 $ P $ 위의 고전적 대수기하학에서, 두 체 확장 $ L_1 $과 $ L_2 $가 동일한 기하학을 갖는 조건은 언제인가?
• RQ5 아벨 군의 경우, 두 비주기적 아벨 군이 언제 대수적 집합의 범주에서 기하학적으로 동치가 되는가?

주요 결과

• 체 $ P $ 위의 체 확장 $ L_1 $과 $ L_2 $에 대해, 범주 $ K_P(L_1) $와 $ K_P(L_2) $가 올바르게 동형이 되는 것은, $ L_1 $과 $ L $이 반동형이며 $ L_2 $와 $ L $이 동일한 준항등식을 공유하는 공통 확장 $ L $이 존재할 때이다.
• 아벨 군의 다양체에서, 두 비주기적 아벨 군 $ H_1 $과 $ H_2 $는 대수적 집합의 범주 $ K_{\Theta}(H_1) $와 $ K_{\Theta}(H_2) $가 동형이거나 동치일 조건이 유일하게 그들이 동일한 준항등식을 갖는 것이다.
• 대수 $ H_1 $과 $ H_2 $의 기하학적 동치성은, $ H_1^\sigma $가 $ H_2 $와 기하학적으로 동치가 되는 반내부자기동형사상 $ \varphi = \hat{\sigma} \varphi_0 $의 존재와 동치이며, 자유대수 범주의 자기동형사상과 기하학을 연결한다.
• $ \mu = \nu \sigma^{-1}_{W} $는 $ H $-점과 $ H^\sigma $-점 사이의 전단사 대응을 정의하며, 핵과 닫힌 아이디얼을 유지하므로 기하학적 유사성을 유도한다.
• $ \alpha(\hat{\sigma})_W(T) = \sigma_W(T) $는 $ H $-닫힌 아이디얼과 $ H^\sigma $-닫힌 아이디얼의 격자 사이의 전단사 사상이며, $ \sigma $-유도 사상이 닫힌 구조를 유지함을 보여준다.
• $ K_{\Theta}(H) $의 스켈레톤인 범주 $ \tilde{K}_{\Theta}(H) $는 $ H $의 완전한 기하학적 불변량이며, 이러한 스켈레톤 간의 동형은 대수의 기하학적 동치성을 반영한다.