모듈라 격자와 벡터공간 부분격자에서 나타나는 임계점의 새로운 경계

초록

본 논문은 모듈라 격자와 벡터공간의 부분격자(서브스페이스 격자)로 생성된 다양성 사이의 “임계점”(crit) 개념을 연구한다. Compact congruence의 반합동 반군인 Conc(A)를 이용해 다양성 V의 Congruence semilattice 클래스를 정의하고, 두 다양성 V₁, V₂ 사이에서 Conc(V₁)∖Conc(V₂) 에 속하는 가장 작은 기수(카디널)를 crit(V₁;V₂)라 부른다. 주요 결과는 (1) 임의의 유한 생성 모듈라 격자 다양성 V에 대해, 어떤 정수 ℓ(V)가 존재해 모든 차원 n>1 및 모든 체 F에 대해 crit(V;Var(Sub Fⁿ))≥ℵ₂이며, (2) 유한체 F와 충분히 큰 n(1+|F|<n) 에 대해 crit(Var(Mₙ);Var(Sub F³))=ℵ₂, 그리고 서로 다른 유한체 F, K( |F|>|K| )에 대해 crit(Var(Sub F³);Var(Sub K³))=ℵ₂임을 보인다.

상세 분석

본 연구는 격자 이론과 보편대수학 사이의 교차점에서, 특히 “compact congruence semilattice”라는 구조적 도구를 활용해 다양성 간의 비교를 정량화한다. Conc(A)는 대수 A의 모든 compact congruence을 반합동 반군(semilattice) 형태로 모은 것으로, 대수의 내부 동형성 구조를 외부에서 바라볼 수 있는 강력한 인덱스 역할을 한다. Conc(V)는 V에 속하는 모든 대수에 대해 Conc(A)를 취한 전체 클래스이며, 이는 다양성 V가 어떤 semilattice를 구현할 수 있는지를 나타낸다. 두 다양성 V₁, V₂ 사이의 임계점 crit(V₁;V₂)는 Conc(V₁)에는 존재하지만 Conc(V₂)에는 존재하지 않는 가장 작은 기수의 semilattice를 찾는 문제로, 이는 “V₁이 V₂보다 더 복잡한 구조를 얼마나 일찍 나타내는가”를 측정한다는 의미이다.

첫 번째 주요 정리는 유한 생성 모듈라 격자 다양성 V에 대해, 어떤 정수 ℓ(V) 가 존재해 모든 차원 n>1 및 임의의 체 F에 대해 crit(V;Var(Sub Fⁿ))≥ℵ₂임을 보인다. 여기서 Var(Sub Fⁿ)는 n차원 벡터공간 Fⁿ의 서브스페이스 격자들로 생성된 다양성을 의미한다. ℓ(V)는 V가 포함하는 기본적인 모듈라 격자들의 복합도(예: Mₙ, N₅ 등)의 최대 차원을 반영한다. 증명은 두 단계로 이루어진다. 첫째, Conc(V) 안에 ℵ₁ 이하의 크기를 갖는 semilattice가 충분히 풍부하게 존재함을 보이기 위해, 기존의 “finite representation” 결과와 “M₃–N₅” 자유 격자 구조를 이용한다. 둘째, Var(Sub Fⁿ)에서는 ℵ₁ 이하의 semilattice를 모두 구현할 수 없음을 보이기 위해, 서브스페이스 격자의 모듈라성 및 차원 제한을 활용한다. 특히, 차원 n>1이면 서브스페이스 격자의 compact congruence가 모두 ‘finite height’ 구조를 갖게 되며, 이는 ℵ₁ 크기의 semilattice를 재현할 수 없다는 결론으로 이어진다. 따라서 ℵ₂가 최소한의 “불가능” 카드널리티가 된다.

두 번째 파트에서는 구체적인 다양성 쌍에 대해 정확한 임계점을 계산한다. 첫 번째 쌍은 Var(Mₙ)와 Var(Sub F³)이다. Mₙ은 n개의 원자와 하나의 상위 원소만을 갖는 단순 격자이며, Var(Mₙ)은 이러한 격자들의 자유적 결합으로 생성된 다양성이다. 저자는 1+|F|<n이라는 조건 하에, Var(Mₙ) 안에 ℵ₂ 크기의 semilattice가 존재하지만 Var(Sub F³) 안에는 존재하지 않음을 보인다. 핵심 아이디어는, 차원 3인 서브스페이스 격자는 ‘projective plane’ 구조와 깊게 연결되며, 유한체 F의 크기에 따라 가능한 서브스페이스의 수가 제한된다. 반면 Mₙ은 n이 충분히 크면 ℵ₂ 수준의 복합한 congruence 구조를 만들 수 있다. 이를 통해 crit(Var(Mₙ);Var(Sub F³))=ℵ₂가 성립한다.

두 번째 쌍은 서로 다른 유한체 F와 K( |F|>|K| )에 대해 Var(Sub F³)와 Var(Sub K³) 사이의 임계점이다. 여기서는 서브스페이스 격자의 “field size”가 congruence semilattice의 풍부함에 직접적인 영향을 미친다. |F|가 클수록 3차원 공간의 서브스페이스 수가 급격히 늘어나, ℵ₂ 크기의 semilattice를 구현할 수 있는 여지가 생긴다. 반대로 작은 체 K는 이러한 복잡성을 제공하지 못한다. 따라서 crit(Var(Sub F³);Var(Sub K³))=ℵ₂가 성립한다. 전체적으로 이 결과들은 “ℵ₂”가 모듈라 격자와 서브스페이스 격자 사이의 구조적 차이를 구분짓는 최소한의 무한 카드널리티임을 보여준다. 이는 기존에 알려진 ℵ₀, ℵ₁ 수준의 구분을 넘어서는 새로운 차원의 비교 기준을 제시한다는 점에서 의미가 크다. 또한, 증명 과정에서 사용된 “dimension‑three projective geometry”, “finite field combinatorics”, 그리고 “compact congruence representation theorems”는 향후 다른 대수적 다양성 간의 임계점 연구에 유용한 도구가 될 것으로 기대된다.