Points below a parabola in affine planes of prime order

기술 요약: 소수 차수의 아핀 평면에서 포물선 아래의 점들

문제 정의
본 논문은 $p$가 소수인 데스아르그스 아핀 평면 $AG(2, p)$에서 포물선 아래에 놓인 점들의 집합에 대한 기하학적 및 조합론적 성질을 조사한다. 구체적으로, 저자들은$S = {(x, y) \in \mathbb{F}_p^2 \mid y < f(x)}$를 분석하며, 여기서$f(x) = \alpha x^2 + \beta x + \gamma$는$\alpha \neq 0$인 이차 다항식이다.

이 연구는 대각선($y < x$) 아래의 점들의 집합을 조사한 Kiss와 Somlai [KS24]의 최근 연구에서 동기를 얻었다. 그들은 이 집합이 정확히 세 개의 "특별한" 방향(직선이 집합과 균등하게 교차하지 않는 방향)을 결정하며, 이 집합이 유일한 비자명 자기동형 사상(non-trivial automorphism)을 가짐을 입증했다. 본 논문의 저자들은 포물선이 일반적으로 직선보다 대칭성이 적음에도 불구하고, 이러한 현상이 포물선 집합에서도 발생하는지 확인하고자 한다.

방법론
저자들은 유한 기하학, 수론, 그리고 조합론적 분석의 결합을 활용한다:

1. 순서화 및 투영 (Ordering and Projection): $\mathbb{F}_p$의 원소들과 $[0, p-1]$ 사이의 정수들 사이의 정준적인 대응 관계를 활용하여, 저자들은 필드 상의 순서를 정의한다. 이들은 방향 $d$를 기울기 $d$를 가진 직선들에 의해 $S$와 교차하는 점의 개수로 매핑하는 투영 함수(projection function) $pr_{S,d}$를 도입한다.
2. 이차 표수 분석 (Quadratic Character Analysis): 분석의 핵심은 $\mathbb{F}_p$ 상의 이차 표수 $\chi$에 의존한다. 저자들은 구간에 대한 표수 합(character sums)을 제한하기 위해 폴랴-빈그라드 부등식(Pólya-Vinogradov inequality) (결과 2.1)을 사용하며, 이러한 합의 하한에 관한 Sárközy와 Sokolovskiĭ의 결과(결과 2.2)를 활용한다.
3. 대수적 변환 (Algebraic Transformation): 교차 수의 분포를 분석하기 위해, 저자들은 $S$를 정의하는 부등식의 변수들에 선형 변환을 적용한다. 이를 통해 서로 다른 방향들의 투영 함수를 서로 연관시킬 수 있다.
4. 대칭군 분석 (Symmetry Group Analysis): 저자들은 교차하는 점의 개수 분포를 바탕으로 무한 원점(points at infinity)의 특정 점들을 구별함으로써, $PGL(3, p)$내에서 집합$S$의 안정자(stabilizer)를 조사한다.

주요 기여 및 결과

• 투영의 순환 대칭성 (Theorem 3.1):
  주요 구조적 결과는 임의의 0이 아닌 방향 $d \in \mathbb{F}_p^*$에 대하여, 투영 함수 $pr_{S,d}$는 $pr_{S,1}$의 순환 이동(cyclic shift)이라는 것이다. 구체적으로, 모든 비수직, 비수평 방향에 대한 투영 함수의 값은 도메인의 이동을 제외하면 동일하다. 이는 집합 $S$가 수직($\infty$) 및 수평($0$) 방향을 제외한 모든 방향으로부터 "동일하게 보인다"는 것을 의미한다. 나아가, 이러한 투영 함수들의 치역은$\frac{\sqrt{p}}{2\pi}$와$\sqrt{p} \ln(p)$ 사이의 길이를 갖는 정수 구간을 형성한다.

• 집합의 크기 (Theorem 3.3):
  저자들은 $|S|$에 대한 타이트한 상한을 설정한다. 그들은 $|S|$가 항상 $p$의 배수임을 증명한다. 또한, $S$의 크기는 $\binom{p}{2}$에 근접하며, 편차는 $c_p p \sqrt{p} \ln(p)$로 제한된다 (여기서 상수 $c_p$는 $p \pmod 4$ 및 $p \pmod 8$에 따라 결정된다). $p \equiv 1 \pmod 4$이고 $\gamma = 0$인 특수한 경우, 크기는 정확히 $\binom{p}{2}$이다.

• 대칭의 경직성 (Theorem 3.5):
  이러한 균일한 투영 동작이 높은 대칭성을 암시할 것이라는 직관과는 반대로, 저자들은 충분히 큰 $p$ ($p \geq 97$)에 대해 집합 $S$가 $PGL(3, p)$내에서 **유일한 비자명 자기동형 사상**을 가짐을 증명한다. 이 자기동형 사상은 수직축에 대한 반사이다:$(X, Y, Z) \mapsto (-X, Y, Z)$.
  증명 과정은 방향 $(0)$과 $(\infty)$가 통과하는 직선들의 서로 다른 교차 횟수를 기반으로 다른 모든 방향들과 유일하게 구별됨을 보여준다. 이러한 경직성은 다른 방향들로부터 보이는 "균일한" 모습과 대조를 이룬다.

• 동형 클래스의 분류 (Remark 3.7):
  저자들은 이 유형의 비동형 집합들의 수를 분류한다. 아핀 변환과 집합의 여집합을 고려함으로써, 그들은 포물선 아래 또는 위(포함 관계의 변형 포함)의 점들로 형성된 서로 비동형인 집합이 정확히 $3p+1$개 존재함을 결정한다.

의의
본 논문은 유한 기하학에서의 역설적인 현상을 강조한다. 즉, 점의 집합이 투영 함수 측면에서 높은 "균일성"(거의 모든 방향으로부터 동일하게 보임)을 보일 수 있는 동시에, 매우 제한적인 기하학적 대칭성(단 하나의 비자명 자기동형 사상만 가짐)을 가질 수 있다는 것이다.

이 연구는 선형 경계에서 이차 경계로 [KS24]의 결과를 확장한다. 이는 적은 수의 특별한 방향과 순환 이동하는 투영 함수를 갖는 성질이 선형 부등식에 의해 정의된 집합에만 국한되지 않음을 보여준다. 결과는 이차 잔여(quadratic residues)와 표수 합의 분포에 크게 의존하며, 점 집합의 기하학적 성질을 기저가 되는 유한체의 산술적 성질과 직접 연결한다.

저자들은 이러한 발견이 [KS24]를 일반화하려는 광범위한 노력의 일부이며, 유한 사영 평면의 입사 행렬(incidence matrices)에 의해 생성되는 코드와의 연결을 탐구하는 동반 논문 [ASW24]가 있음을 언급한다.