헤이젠베르크 군에서의 기능적 Loomis‑Whitney 부등식과 유한체 투영 정리

초록

본 논문은 유한체 위의 Heisenberg 군 ℍⁿ(𝔽_q)에서 기능적 Loomis‑Whitney 부등식을 확립한다. n=1인 경우 지수 구간 1/u₁+2/u₂≤2, 2/u₁+1/u₂≤2를 완전하게 규명하고, 대칭적인 다중선형 형태에 대해 차원 n에 대한 귀납적 증명을 제공한다. 결과는 집합 K⊂ℍⁿ(𝔽_q)의 크기를 2n개의 Heisenberg 투영 크기로 제한하는 최적의 부등식으로 전환되며, n=1에서 Vinh의 점‑선 정리를 이용한 강화된 추정도 얻는다.

상세 분석

논문은 먼저 ℍⁿ(𝔽_q)의 구조를 정리한다. ℍⁿ은 2n+1 차원 벡터공간에 비가환 군곱 (x,t)·(x′,t′)=(x+x′, t+t′+½∑{j=1}^n(x_j x′{n+j}−x_{n+j} x′j)) 로 정의되며, 각 좌표 j∈{1,…,2n}에 대해 수직 하위군 W_j와 그 직교 보완인 수평 선 L_j를 도입한다. π_j는 (x,t)↦(̂x_j, t±½x_j x{n+j}) 로 정의되는 Heisenberg 투영이며, π_j⁻¹(u,τ)은 L_j의 코셋인 직선으로 표현된다. 이러한 fiber 구조가 다중선형 형태의 핵심이다.

주요 정의인 LW(u₁,…,u_{2n})는 \