산술 대수 정규성 보조정리

초록

이 논문은 유한체 위에서 정의 가능한 군과 그 부분집합에 대해, 복잡도가 제한된 경우에 정상 부분군을 찾아내어 해당 코셋들 사이의 이항 그래프가 강한 준무작위성을 갖도록 하는 ‘산술 정규성 보조정리’를 증명한다. 또한 Fourier 변환을 이용한 표현론적 해석을 제공한다.

상세 분석

본 연구는 두 가지 주요 흐름을 결합한다. 첫째, 테오의 ‘대수 정규성 보조정리’를 군 구조에 적용해, 정의 가능한 군 (G)와 부분집합 (D)에 대해 복잡도 (M)이 고정된 상황에서, 지수적으로 작은 오차 (O_M(|\mathbf F|^{-1/2}))를 갖는 준무작위 이항 그래프를 만들 수 있는 정상 정의 가능한 부분군 (H\le G)를 존재시킨다. 여기서 ‘정의 가능’은 모델이론적 의미로 파라미터와 함께 정의될 수 있음을 의미하며, 복잡도는 정의식의 길이로 측정한다. 두 번째 흐름은 비가환 푸리에 분석을 이용해, 그래프의 준무작위성 조건을 (H)의 비자명 불가약 표현들의 연산자 노름에 대한 상한으로 전환한다. 구체적으로, 모든 비자명 불가약 표현 (\pi)에 대해 (|\widehat{1}{H\cap Dg}(\pi)|{\mathrm{op}}=O_M(|\mathbf F|^{-1/8}))가 성립함을 보인다. 이는 그래프의 에지 분포가 거의 균등함을 의미하며, 특히 Paley 그래프와 같은 고전적 예시를 일반화한다.

증명 전략은 크게 세 단계로 나뉜다. (1) 단순 이론(simple theory)과 (G^{00}) 개념을 활용해, 정의 가능한 군의 ‘f‑generic’ 타입을 분석하고, 이를 통해 큰 지수 지수를 갖는 정상 부분군 (H)를 추출한다. (2) (H) 위에서의 이항 그래프를 adjacency matrix (M)로 표현하고, Gowders의 결과를 이용해 (|Mf|_2)와 (|f|_2) 사이의 비율을 제어한다. (3) 비가환 푸리에 변환을 도입해, 위의 행렬 불균형을 표현론적 상한으로 변환하고, 최종적으로 (|\mathbf F|^{-1/2}) 수준의 quasirandomness를 얻는다. 중요한 기술적 요소는 ‘weak ε‑regularity’와 ‘ε‑quasirandomness’ 사이의 다항식 동등성을 이용한 정량적 전이이며, 이는 기존 그래프 정규성 보조정리와는 달리 군 구조에 맞춘 강력한 버전을 제공한다.

또한 저자는 특수 경우를 논의한다. (G)가 유한체 위의 단순 연결 대수군이면, 실제로 모든 부분집합이 이미 강한 quasirandom성을 갖고, (H)를 선택할 필요가 없다는 점을 강조한다. 반대로, (G)가 큰 차원의 아벨리안 군이면, 기존의 ‘finite‑field model’ 정리와 직접적인 연관성을 보이며, 이 경우에도 본 보조정리가 기존 결과를 재해석한다는 점을 제시한다. 마지막으로, 논문은 pseudo‑finite 구조와 차분체 이론으로의 일반화 가능성을 언급하면서, 현재 증명된 범위 외에도 더 넓은 모델이론적 환경에서 적용될 여지를 남긴다.