고대수성이 아닌 가산 구조의 준불변 측도

초록

이 논문은 가산 언어 L‑구조 N의 동형류가 대칭군 Sym(ℕ) 작용 아래 준불변 확률측도를 지원하는지를 조사한다. 저자들은 “고대수성(highly algebraic)”이라는 새로운 개념을 도입하고, N이 고대수성이 아니면 정확히 그런 측도가 존재함을 보인다. 또한 존재하는 경우 연속적인 라돈–니코디므 코사이클을 가질 수 있음을 증명한다.

상세 분석

논문은 먼저 Ackerman‑Freer‑Patel의 결과를 확장한다. 기존에는 구조 N이 “대수적 폐쇄(algebraic closure)가 자기 자신과만 일치”할 때, 즉 no‑algebraicity 조건을 만족하면 Sym(ℕ)‑불변 확률측도가 존재한다는 것이 알려져 있었다. 여기서는 불변 대신 quasi‑invariant (0‑집합을 보존) 조건을 고려한다. 이를 위해 저자들은 “고대수성”이라는 개념을 정의한다. 구체적으로, 모든 유한 부분집합 F⊂dom(N) 에 대해, 어떤 원소 b와 ā ( ā와 b가 서로 겹치지 않음) 가 존재하여 b 가 Aut(N) 의 ā 점별 안정자 Aut(N)_{ā} 아래 유한 궤도를 갖는 경우를 고대수성이라 부른다. 이 정의는 기존의 no‑algebraicity 와는 대조적으로, 구조 내부에 “국소적으로는 유한 궤도”가 무한히 많이 존재함을 의미한다.

주요 정리(Theorem 2)는 “N이 고대수성이 아니면 정확히 quasi‑invariant 확률측도가 존재한다”는 양방향 명제를 제시한다. → 방향은 고대수성 구조가 quasi‑random가 될 수 없음을 보이며, 핵심은 Lemma 5이다. Lemma 5는 임의의 컴팩트 집합 K⊂