[논문 리뷰] Algebraic geometry over algebraic structures III: Equationally Noetherian property and compactness

É. Yu. Daniyarova, Alexei Myasnikov외 1명|arXiv (Cornell University)|2010. 02. 23.

Advanced Algebra and Logic참고 문헌 17인용 수 32

한 줄 요약

이 논문은 보편 대수기하학에서 기초적인 결과를 확장하는 일반화된 콪 pactness 성질—${\mathrm{q}_{\omega}}$-compactness, ${\mathrm{u}_{\omega}}$-compactness, 약한 등식적으로 노이터리안, 그리고 약한 ${\mathrm{u}_{\omega}}$-compactness를 가진 대수—을 도입하고 분석한다. 이 성질들에 대한 기준을 수립하고, ${\mathrm{u}_{\omega}}$-compactness가 초거대 승수와 임bedding에 의해 보존됨을 증명하며, 등식적으로 노이터리안 구조 위에서 좌표 대수와 극한 대수에 대한 중요한 함의를 도출한다.

ABSTRACT

In this paper we discuss some special generalizations of equationally Noetherian property which naturally arise in the universal algebraic geometry. We introduce weakly equationally Noetherian, qw-compact, uw-compact, and weakly uw-compact algebras and then examine properties of such algebras. Also we consider the connections between five classes: the class of equationally Noetherian algebras, the class of weakly equationally Noetherian algebras, the class of uw-compact algebras, the class of weakly uw-compact algebras, and the class of qw-compact algebras.

연구 동기 및 목표

• 등식적으로 노이터리안 대수의 개념을 일반화하기 위해 약한 등식적으로 노이터리안, ${\mathrm{q}_{\omega}}$-compact, ${\mathrm{u}_{\omega}}$-compact, 그리고 약한 ${\mathrm{u}_{\omega}}$-compact 대수를 도입한다.
• 이 일반화된 클래스들의 논리적 및 대수적 성질과 그 상호관계를 조사한다.
• 일반화된 ${\mathrm{q}_{\omega}}$- 및 ${\mathrm{u}_{\omega}}$-compactness에 대한 기준을 일반화 및 준가환성 닫힘의 관점에서 수립한다.
• ${\mathrm{u}_{\omega}}$-compactness가 초거대 승수와 극한 대수로의 임베딩에 의해 보존됨을 증명한다.
• ${\mathrm{q}_{\omega}}$-compact, 약한 등식적으로 노이터리안, ${\mathrm{u}_{\omega}}$-compact, 약한 ${\mathrm{u}_{\omega}}$-compact, 등식적으로 노이터리안 대수의 다섯 클래스 간의 관계를 명확히 한다.

제안 방법

• 일반화 및 준가환성 닫힘에 초점을 맞춘 논리적 및 보편 대수학적 기준을 통해 새로운 대수 클래스를 도입한다.
• 초거대 승수와 직접 극한을 포함한 모델 이론적 기법을 적용하여 임베딩과 원소 동치성을 분석한다.
• 이전 연구에서 유도된 통합 정리(A 및 C)를 기반 도구로 활용하여 좌표 대수와 모델 이론적 성질을 연결한다.
• 잘 순서가 매겨진 대수의 체인을 따라 직접 극한 구성 기법을 사용하여 ${\mathrm{u}_{\omega}}$-compact 확장을 구축한다.
• 보존 정리 적용: 만약 어떤 구조가 ${\mathrm{u}_{\omega}}$-compact이면서 극한 대수로 임베딩된다면, 그 목표 구조 역시 ${\mathrm{u}_{\omega}}$-compact임을 보인다.
• ${\mathtt{L}}_{\mathcal{A}}$-언어 확장을 활용하여 ${\mathcal{A}}$-대수를 분석하고 콱 pactness 성질을 연장한다.

실험 결과

연구 질문

• RQ1 일반화된 콱 pactness 성질—${\mathrm{q}_{\omega}}$-compactness 및 ${\mathrm{u}_{\omega}}$-compactness—는 보편 대수기하학에서 고전적인 등식적으로 노이터리안 성질을 어떻게 일반화하는가?
• RQ2 등식적으로 노이터리안, 약한 등식적으로 노이터리안, ${\mathrm{u}_{\omega}}$-compact, 약한 ${\mathrm{u}_{\omega}}$-compact, ${\mathrm{q}_{\omega}}$-compact 대수의 클래스들 사이의 논리적 및 대수적 관계는 무엇인가?
• RQ3 ${\mathrm{u}_{\omega}}$-compactness는 초거대 승수와 극한 대수로의 임베딩에 대해 어떤 조건에서 보존되는가?
• RQ4 만약 어떤 대수가 전적으로 닫혀 있고 원래의 구조를 분리하는 성질을 갖는다면, ${\mathrm{u}_{\omega}}$-compactness는 그 대수로 유전될 수 있는가?
• RQ5 일반화 및 준가환성 닫힘은 ${\mathrm{q}_{\omega}}$- 및 ${\mathrm{u}_{\omega}}$-compactness 기준과 어떻게 관련되어 있는가?

주요 결과

• 대수 ${\mathcal{B}}$가 ${\mathrm{u}_{\omega}}$-compact임은 그 일반화 닫힘 ${\mathbf{Ucl}}({\mathcal{B}})$가 ${\mathcal{B}}$에 의해 분리되는 대수의 집합과 정확히 일치할 때이고, 즉 ${\mathbf{Ucl}}({\mathcal{B}})_{\omega} = {\mathbf{Dis}}({\mathcal{B}})_{\omega}$일 때이다.
• 만약 ${\mathcal{B}}$가 ${\mathrm{u}_{\omega}}$-compact이면서 ${\mathcal{C}} \in {\mathbf{Ucl}}({\mathcal{B}})$이면, ${\mathcal{B}}$의 모든 유한 생성 부분대수가 ${\mathcal{C}}$에 의해 분리되고 ${\mathbf{Ucl}}({\mathcal{B}}) = {\mathbf{Ucl}}({\mathcal{C}})$이면, ${\mathcal{C}}$ 역시 ${\mathrm{u}_{\omega}}$-compact이다.
• ${\mathrm{u}_{\omega}}$-compact 대수의 클래스는 초거대 승수와 원소 동치인 대수의 체인의 직접 극한에 대해 닫혀 있다.
• 모든 ${\mathrm{u}_{\omega}}$-compact 대수 ${\mathcal{B}}$는 ${\mathcal{C}} \equiv_{\forall} {\mathcal{B}}$ 이고 $\mathbb{T}({\mathcal{C}}) = \emptyset$ 를 만족하는 직접 극한 확장을 갖는다. 이는 ${\mathcal{C}}$가 ${\mathrm{u}_{\omega}}$-compact임을 보장한다.
• 만약 ${\mathcal{B}}$가 ${\mathrm{q}_{\omega}}$-compact이면서 ${\mathcal{B}}$의 모든 유한 생성 부분대수가 ${\mathcal{C}}$에 의해 분리된다면, ${\mathcal{C}}$ 역시 ${\mathrm{q}_{\omega}}$-compact이며 ${\mathbf{Qvar}}({\mathcal{B}}) = {\mathbf{Qvar}}({\mathcal{C}})$이다.
• 모든 ${\mathtt{L}}$-대수 ${\mathcal{A}}$에 대해, 만약 ${\mathcal{A}}$가 ${\mathtt{L}}_{\mathcal{A}}$에서 ${\mathrm{q}_{\omega}}$-compact이면, ${\mathbf{Qvar}}_{\mathcal{A}}({\mathcal{A}})$ 내의 모든 ${\mathcal{A}}$-대수 역시 ${\mathrm{q}_{\omega}}$-compact이다.