다중선형 사상의 투란 문제와 등방성 지수 연구

초록

이 논문은 교대 다중선형 사상의 등방성 부분공간 차원을 최대화하는 투란 문제를 풀고, 대수적으로 닫힌 체와 충분히 큰 유한체에서 등방성 지수의 정확한 공식을 제시한다. 또한 이 결과를 이용해 Feldman‑Propp 수, Gow‑Quinlan 수 및 Erdős 상자 문제와 관련된 하한을 정확히 결정한다.

상세 분석

저자는 먼저 교대 d 차 다중선형 사상 Alt d(Fⁿ,Fᵐ) 에 대해 모든 사상이 차원 k 의 등방성 부분공간을 갖는 최대 k 를 αΛ(F,n,d,m) 라 정의한다. 기존에 차원 2 에 대해서만 알려진 공식 αΛ(F,n,2,m)=max {s∈ℕ | s(n−s)≥m s²} 를 일반 d 로 확장한다. 대수적으로 닫힌 체에서는 αΛ(F,n,d,m)=max {s∈ℕ | s(n−s)≥m sᵈ} 라는 간단한 부등식으로 표현한다. 여기서 s는 등방성 차원의 후보이며, 부등식은 차원과 이미지 차원의 곱이 사상의 차수 d 에 따라 조정된 형태이다. m=1 인 경우에는 특수한 예외가 존재하는데, d=2 일 때는 ⌊n/2⌋, (d,n)=(3,7) 일 때는 4, d=n−2 가 짝수일 때는 n−2 로 정의하고, 그 외에는 동일한 부등식으로 결정한다.

다음으로 충분히 큰 유한체 F_q 에 대해 동일한 공식이 유지된다는 정리를 증명한다. 여기서는 α(r)Λ(F_q,n,d,m) 라는 확장된 지수를 도입하고, r 이 충분히 큰 배수이면 αΛ(F_q,n,d,m)=α(r)Λ(F_q,n,d,m) 가 성립함을 보인다. 이는 체의 크기가 충분히 클 때 대수적 닫힘과 동일한 행동을 보인다는 의미이다.

일반(비교대) 다중선형 사상 Hom d(Fⁿ,Fᵐ) 에 대해서는 등방성 지수 α(F,n,d,m) 를 최소 2 로 만들기 위한 필요충분조건을 제시한다. 구체적으로 d(n−2)≥m·2ᵈ⁻¹ 이면 α≥2 이고, 반대이면 α<2 이다. 이는 등방성 차원이 2 이상 존재할 수 있는지 여부를 완전히 판정한다.

이러한 핵심 정리들을 활용해 세 가지 응용을 제시한다. 첫째, Feldman‑Propp 수 FP(F,d,m,k) 에 대해 기존 하한 m·k·kᵈ+k 를 정확히 일치시키는 상한을 얻어 FP(F,d,m,k)=⌈m·k·kᵈ⌉+k 를 얻는다. 둘째, Gow‑Quinlan 수 GQ(F,n,d) 를 d·(n−d)+1 로 정확히 계산한다. 셋째, Erdős 상자 문제의 다중선형 방법에 대한 한계를 보인다. 특정 매개변수 구간에서 |D(T)| 의 하한을 결정함으로써 기존의 Ω(N^{d−m}) 하한을 개선할 수 없음을 증명한다.

증명 기법은 주로 사영 다양체와 그라스만 다양체 위의 사상 공간을 이용한 차원 계산, 그리고 라ング‑와일 정리를 통한 유한체 점수 계산에 기반한다. 특히 I₁ 라는 등방성 부분공간과 사상의 쌍을 모은 인시던스 다양체를 정의하고, 그 차원을 정확히 구함으로써 αΛ 의 최적값을 도출한다. 또한 Σℓ 라는 두 그라스만 부분공간의 교차 차원을 다루는 보조 다양체를 이용해 중복 계산을 방지한다. 전체적으로 대수기하학적 도구와 조합적 해석을 결합한 새로운 접근법을 제시한다.