[논문 리뷰] Extending linear and quadratic functions from high rank varieties

David Kazhdan, Tamar Ziegler|arXiv (Cornell University)|2017. 12. 04.

Finite Group Theory Research참고 문헌 8인용 수 4

한 줄 요약

이 논문은 높은 랭크를 가진 대수적 다양체 위에서 정의된 약한 선형 또는 이차 함수가 전체 벡터 공간 위의 전역 선형 또는 이차 함수로 확장되는 조건을 설정한다. 유한체와 복소수에 대해, 차수 $d$, 여차원 $L$, 충분히 높은 랭크를 가진 동차 완전교차의 경우, 이들이 허용 가능하다는 것을 증명한다—즉, 그 위의 약한 선형/이차 함수들은 전역 선형/이차 함수의 제한이다. 핵심 결과는 특성이 $d$를 초과할 경우, 유한체 크기와 무관하게 일관된 랭크 임계값 $r(d,L)$가 존재한다는 것이다. 이는 보조 다양체 $E(X)$ 위의 유리점 수를 제한함으로써 차원 추정과 허용 가능성 증명에 이르는 데 있어 대수기하학 및 점수기법을 활용한다.

ABSTRACT

Let $k$ be a field, $V$ be a $k$-vector space and $X\subset V$ an algebraic irreducible subvariety. We say that a function $f:X(k) o k$ is weakly linear if its restriction to any two-dimensional linear subspace $W$ of $V$ contained in $X$ is linear and that it is weakly quadratic if its restriction to any three-dimensional linear subspace $W$ of $V$ contained in $X$ is quadratic. We say that $X$ is admissible if any weakly linear function on $X$ is a restriction of a linear function on $V$ and any weakly quadratic function on $X$ is a restriction of a quadratic function on $V$. The main result in the paper concerns the case when the field $k$ is a finite. We show that for any $d,L\geq 1$ there exists $r=r(d,L,k)\in \mathbb Z _+$ such that any complete intersection $X\in V$ in a vector space $V$ of codimension $L$, degree $d$ and rank $\geq r$ is admissible. Moreover we show the existence of a function $r(d,L)$ such that one can take $r(d,L,k)=r(d,L)$ for all finite fields $k$ of characteristic $>d$. The proof of the admissibility for finite fields $k$ is based on bounds on the number of $k$-points on ancillary varieties $E(X)$. These results allow us to bound the dimension of varieties $E(X)$. Using these results we were able to prove the admissibility of complex homogeneous varieties of high rank. Using the results of \cite{br} one can extend our proofs to show the admissibility of varieties of high rank over local non-archimedian fields. Also using Corollary $4.3$ of \cite{cmpv} one can dispense with the assumption that $X$ is a complete intersection.

연구 동기 및 목표

• 알고리즘 다양체 위에서 정의된 약한 선형 또는 이차 함수가 전체 벡터 공간 위의 전역 선형 또는 이차 함수로 확장되는 조건을 규명하는 것.
• 유한체와 복소수 위에서 높은 랭크를 가진 동차 완전교차의 허용 가능성 설정.
• 특성이 $d$를 초과할 경우, 랭크 임계값 $r(d,L)$가 유한체 크기와 무관하게 일관되게 존재함을 증명하는 것—이는 허용 가능성 보장.
• 보조 다양체 $E(X)$ 위의 점수기법을 활용해 그 차원을 제한하고, 전역 확장 결과를 도출하는 것.

제안 방법

• 약한 선형 및 이차 함수를, 다양체에 포함된 저차원 부분공간 위로 제한될 때 선형 또는 이차로 나타나는 함수로 정의한다.
• 허용 가능성의 개념 도입: 다양체가 허용 가능하다는 것은, 그 위의 모든 약한 선형(또는 이차) 함수가 전역 선형(또는 이차) 함수의 제한임을 의미한다.
• 보조 다양체 $E(X)$ 위의 $k$-유리점 수에 대한 경계를 사용해 그 차원을 제어하고, 유한체에 대한 허용 가능성 도출.
• 웨일 유형 추정과 체계적 집합 이론을 적용해, 유한체 위의 점 수와 복소수 위의 기하학적 차원 간의 관계를 설정함으로써 결과의 전이 가능성을 확보한다.
• 특성이 $\mathrm{char}(k) > d$일 경우, $r(d,L,k)$는 $k$에 의존하지 않으며, 일관된 경계를 가짐을 이용한다.
• 논문 [3]과 [4]의 결과를 활용해, 완전교차에 국한되지 않고 일반적인 동차 다양체에 대해서도 높은 랭크일 경우 허용 가능성을 확장한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 다양체 $X \subset V$ 에 대해, 모든 약한 선형 함수 $f: X(k) \to k$ 가 $V$ 위의 전역 선형 함수로 확장될 수 있는가?
• RQ2 어떤 유형의 다양체에서, $X(k)$ 위의 모든 약한 이차 함수가 $V$ 위의 전역 이차 함수의 제한이 되는가?
• RQ3 특성이 $d$를 초과할 경우, 허용 가능성에 대한 랭크 임계값 $r(d,L,k)$ 를 유한체 $k$ 에 의존하지 않게 만들 수 있는가?
• RQ4 보조 다양체 $E(X)$ 위의 유리점 수에 대한 경계는 $X$ 의 차원과 허용 가능성과 어떻게 관련되는가?
• RQ5 허용 가능성 결과에서 $X$ 가 완전교차임을 가정하는 조건을 얼마나 넓히거나 제거할 수 있는가?

주요 결과

• 모든 $d, L \geq 1$ 에 대해, $r(d,L)$ 라는 임계값이 존재하여, 차수 $d$, 여차원 $L$, 랭크 $> r(d,L)$ 인 동차 완전교차 $X \subset V$ 는 특성이 $d$를 초과하는 유한체 위에서 허용 가능하다.
• 특성이 $d$를 초과할 경우, $r(d,L,k)$ 는 유한체 $k$ 와 무관하게 선택 가능하므로, 이러한 체들 사이에서 일관된 허용 가능성이 보장된다.
• 복소수 위에서는, 충분히 높은 랭크를 가진 동차 완전교차 다양체는 약한 선형 및 약한 이차 함수 모두에 대해 허용 가능하다.
• 보조 다양체 $E(X)$ 위의 $k$-유리점 수는 $|\mathbb{P}(V)(k)| / q^{O_{d,m,L}(1)}$ 이하로 제한되며, 이는 점수기법을 통한 차원 추정에 기여한다.
• 다양체 $E^r \subset \mathbb{A}^N \times \mathbb{A}^N \times \mathbb{A}^N \times Z^r$ 의 차원은 적절한 랭크 조건 하에서, 모든 $z \in Z^r(\mathbb{C})$ 에 대해 $\dim(E^r_z) \leq 3N - s$ 를 만족하며, $s \geq 1$ 이다.
• 논문 [3]과 [4]의 결과를 활용해, 완전교차에 국한되지 않고 복소수 및 국소 비아르키메데스 체 위에서 높은 랭크를 가진 모든 동차 다양체에 대해 허용 가능성 결과가 확장된다.