[논문 리뷰] Maximal failures of sequence locality in a.e.c

Saharon Shelah|arXiv (Cornell University)|2009. 03. 20.

Algorithms and Data Compression참고 문헌 3인용 수 7

한 줄 요약

이 논문은 유형의 순서 국지성에 대해 최대로 실패하는 애매한 초구조적 클래스(AEC)를 구성한다. 이는 균일한 $\kappa^+$-완전한 초필터가 존재하지 않는 모든 정칙 기수 $\kappa$ 에서 실패를 보인다. 구성은 아벨 군 작용과 초곱을 포함한 모델이론적 및 집합론적 기법을 사용하여, 실패의 직접적 특성화를 실현함으로써 AEC 내에서 유형 국지성의 날카로운 경계를 제공한다.

ABSTRACT

We are interested in examples of a.e.c. with amalgamation having some (extreme) behaviour concerning types. Note we deal with k being sequence-local, i.e. local for increasing chains of length a regular cardinal (for types, equality of all restrictions imply equality). . For any cardinal theta>= aleph_0 we construct an a.e.c. with amalgamation k with L.S.T.(k) = theta, |tau_K| = theta such that {kappa : kappa is a regular cardinal and K is not (2^kappa, kappa)-sequence-local} is maximal. In fact we have a direct characterization of this class of cardinals: the regular kappa such that there is no uniform kappa^+-complete ultrafilter. We also prove a similar result to "(2^kappa, kappa)-compact for types".

연구 동기 및 목표

• 유형에 대해 $(2^\kappa, \kappa)$-순서 국지성이 최대로 실패하는 애매한 초구조적 클래스(AEC)를 구성하는 것.
• 순서 국지성이 실패하는 정칙 기수 $\kappa$ 의 집합을, 균일한 $\kappa^+$-완전한 초필터가 존재하지 않는다는 조건으로 특성화하는 것.
• AEC 내에서 유형 국지성의 극한 행동을 직접 모델이론적으로 실현하는 구성 제공.
• 특히 대기수와 초필터를 포함한 가정 하에 AEC 내 유형 컴팩트성 및 안정 스펙트럼에 대한 결과를 확장하는 것.
• 특히 집합론적 공리와 모델이론적 성질과의 관련에서 AEC 내 국지성과 비국지성의 경계를 조사하는 것.

제안 방법

• 기수 $\theta$ 에 대해 $\theta$ 개의 $n$-항 술어와 기수 $\theta^{\aleph_0}$ 의 아벨 군 $G$ 의 원소 $c$ 에 대응하는 단항 함수 기호 $F_c$ 를 포함하는 어휘 $\tau_\theta$ 를 사용하여 AEC $\mathfrak{K}$ 를 구성한다.
• $\ell = 1,2$ 에 대해 기수 $\theta^\kappa$ 의 증가하는 기수를 갖는 모델의 체인 $\langle M_{\ell,\alpha} \mid \alpha \leq \kappa \rangle$ 을 정의하며, 기수 $\theta^\kappa$ 의 크기를 갖는 집합 $I_\alpha$ 로의 전사 함수 $\pi_{\ell,\alpha}$ 를 갖춘다.
• 각 피복 $\pi_{\ell,\alpha}^{-1}(t)$ 의 크기가 최대 $\theta^{\aleph_0}$ 이며, 함수 $\pi_{\ell,\alpha}$ 가 $F_c$ 를 통한 군 작용과 호환되도록 보장한다.
• $\alpha < \kappa$ 에 대해 $\pi$-사상과 호환되는 $M_{1,\alpha}$ 와 $M_{2,\alpha}$ 사이의 동형사상 $g_\alpha$ 를 정의하지만, $\alpha = \kappa$ 에서는 그러한 동형사상이 존재하지 않도록 하여 순서 국지성의 위반을 유도한다.
• 균일한 $\kappa$-완전한 초필터 $D$ 를 사용하여 초곱을 적용함으로써 국소적 동형사상을 극한으로 올려 전역적 유형을 만들며, 국지성의 실패가 그러한 초필터의 존재 부재와 동치임을 보인다.
• 유형 통합을 아벨 군 문제로 번역함으로써, 구성의 근본 조건을 초필터와 기수 산술에 대한 집합론적 조건으로 환원한다.

실험 결과

연구 질문

• RQ1 정칙 기수 $\kappa$ 중에서, 애매한 초구조적 클래스(AEC)가 암시적으로 $(2^\kappa, \kappa)$-순서 국지성이 되지 않는 경우는 언제인가?
• RQ2 순서 국지성이 실패하는 기수의 집합이 최대가 될 수 있는가? 즉, 어떤 $\kappa$ 에 대해서도 균일한 $\kappa^+$-완전한 초필터가 존재하지 않는 모든 $\kappa$ 를 포함할 수 있는가?
• RQ3 균일 초필터의 존재성과 AEC 내 유형 국지성의 실패 사이의 관계는 무엇인가?
• RQ4 균일한 $\kappa^+$-완전한 초필터가 존재하지 않는 모든 정칙 기수 $\kappa$ 에서 순서 국지성이 실패하는 AEC를 구성할 수 있는가?
• RQ5 AEC의 안정 스펙트럼은 그러한 초필터의 존재성과 분할 국지성의 실패와 어떻게 관련이 있는가?

주요 결과

• 모든 기수 $\theta \geq \aleph_0$ 에 대해, $\text{LST}(\mathfrak{K}) = \theta$ 이고 $|\tau_\mathfrak{K}| = \theta$ 인 AEC $\mathfrak{K}$ 를 구성할 수 있다. 이 AEC 는 통합성을 갖는다.
• AEC $\mathfrak{K}$ 가 $(2^\kappa, \kappa)$-순서 국지성이 아닐 정칙 기수 $\kappa$ 의 집합은, 어떤 $\lambda > \kappa$ 에서도 균일한 $\kappa^+$-완전한 초필터가 존재하지 않는 기수 $\kappa$ 의 집합과 정확히 일치한다.
• 이 특성화는 날카로운 경계를 제공한다: 순서 국지성의 실패는 정확히 그러한 초필터가 존재하지 않는 기수에서 발생하므로, 최대 실패를 보인다.
• 구성은 유형 통합을 아벨 군 문제로 번역한 모델이론적 번역을 사용하며, $\theta^{\aleph_0}$ 크기의 피복과 군 작용의 구조를 활용한다.
• 한계 단계 $\alpha = \kappa$ 에서의 동형사상 실패는 균일한 초필터의 존재 부재로 인해 강제되며, 이는 국소적 동형사상을 극한으로 올리는 것을 차단한다.
• 논문은 또한 유형 컴팩트성에 관한 결과를 증명한다: $D$ 가 균일한 $\kappa$-완전한 초필터이면, 기수 $\leq \lambda$ 인 $\leq_\mathfrak{K}$-증가 체인의 모델들 위의 호환 가능한 유형 시퀀스는 극한 모델 위의 전역 유형으로 확장될 수 있다.