초월적 L2베티 수를 가진 닫힌 다양체

초록

이 논문은 닫힌 다양체의 보편적 피복에서 정의되는 L2‑베티 수가 무리수, 특히 초월수일 수 있음을 구체적인 예시와 함께 증명한다. 모든 비음수 실수는 어떤 유한 차원 콤팩트 다양체의 피복에서 L2‑베티 수로 나타날 수 있으며, 계산 가능(real computable)인 실수들—특히 많은 초월수—에 대해서는 유한 제시된 군과 정수 군링에서의 원소를 구성해 그 커널의 L2‑차원이 원하는 값이 되도록 한다. 기존 Austin의 방법을 정교화하여 명시적 계산을 가능하게 하였다.

상세 분석

논문은 L2‑베티 수라는 개념을 시작점으로 삼아, 이 수치가 반드시 유리수일 필요가 없다는 사실을 구체적인 기하·대수적 구조를 통해 보여준다. L2‑베티 수는 보통 유한 차원 복합체의 보편적 피복에 대한 가설적 차원 개념으로, 힐베르트 공간상의 가설적 차원(L2‑dimension)과 직접 연결된다. 저자는 먼저 “모든 비음수 실수가 어떤 콤팩트 다양체의 피복에서 L2‑베티 수가 될 수 있다”는 일반적 명제를 제시하고, 이를 위해 ‘계산 가능 실수(computable real)’라는 개념을 도입한다. 계산 가능 실수는 튜링 기계가 임의의 정밀도로 근사값을 산출할 수 있는 실수이며, 이는 실수론과 계산이론 사이의 교량 역할을 한다.

핵심 기술은 정수 군링 ℤG의 원소 a∈ℤG에 대해 L2‑차원 dim_{G} ker a가 원하는 실수가 되도록 G와 a를 설계하는 것이다. 여기서 G는 유한 제시된 그룹이며, a는 그 군링의 정수 계수 원소이다. 기존에 Austin이 제시한 “Rational group ring elements with kernels having irrational dimension” 방법을 기반으로, 저자는 G를 특정한 자유 곱과 HNN 확장의 복합체로 구성한다. 특히, G는 무한 직교합성(amenable)과 비아멘더블(non‑amenable) 성질을 동시에 갖는 ‘그룹‑코드’ 구조를 가지며, 이를 통해 L2‑차원의 연속성을 조절한다.

구체적인 단계는 다음과 같다. 첫째, 실수 α를 이진 전개 α=∑{n≥1} ε_n 2^{-n} (ε_n∈{0,1}) 형태로 표현한다. 둘째, ε_n이 1인 자리마다 특정한 ‘전이 관계’를 갖는 유한 생성자와 관계식을 가진 그룹 G_α를 정의한다. 셋째, ℤG_α 안에 a_α:=1−∑{g∈S} g와 같은 형태의 원소를 만든다(여기서 S는 G_α의 특정 부분집합). 마지막으로, L2‑차원 계산을 위해 von Neumann 차원 이론을 적용하고, Fourier 변환을 이용해 커널의 차원을 α와 정확히 일치시킨다.

이 과정에서 저자는 “계산 가능”이라는 제약을 활용해, α가 초월수이더라도 유한 제시된 군 G_α와 정수 원소 a_α를 효과적으로 구성할 수 있음을 보인다. 또한, 초월수 α에 대해 G_α가 비아멘더블이면서도 잔여적인 ‘정규 아벨리안 부분군’을 포함하도록 설계함으로써, L2‑차원 측정이 복잡한 스펙트럼을 가질 수 있음을 증명한다.

결과적으로, 논문은 L2‑베티 수가 실수 전체를 차지할 수 있다는 강력한 존재론적 결론을 도출한다. 이는 기존에 L2‑베티 수가 주로 유리수 혹은 알제브라적 수에 국한된다는 오해를 깨뜨리며, 기하‑대수적 위상수학과 계산 이론 사이의 새로운 연결 고리를 제공한다. 특히, 초월적 L2‑베티 수를 갖는 닫힌 다양체의 구체적 예시를 제시함으로써, 차원 이론의 풍부한 구조와 그 응용 가능성을 크게 확장시킨다.