[논문 리뷰] Extending weakly polynomial functions from high rank varieties

David Kazhdan, Tamar Ziegler|arXiv (Cornell University)|2018. 08. 28.

Polynomial and algebraic computation참고 문헌 9인용 수 3

한 줄 요약

이 논문은 적절한 필드 위의 고랭크 완전교차곡선에서의 약한 다항함수(차수 ≤ a)가 동일한 차수의 전역 다항함수로 연장된다는 것을 증명한다. 증명은 고랭크 다항함수 사상의 섬세한 성질에 기반하며, 다항식 공간 위의 역상 사상의 상사상성(즉, 전성)을 보여주는데, 이는 큰 특성수를 가진 유한체 및 특성 > d 또는 0인 대수적으로 닫힌 체에서 성립한다.

ABSTRACT

Let $k$ be a field, $V$ a $k$-vector space and $X$ be a subset of $V $. A function $f:X o k$ is weakly polynomial of degree $\leq a$, if the restriction of $f$ on any affine subspace $L\subset X$ is a polynomial of degree $\leq a$. In this paper we consider the case when $X= \mathbb X (k)$ where $\mathbb X$ is a complete intersection of bounded codimension defined by a high rank polynomials of degrees $d, char(k)=0$ or $char (k)>d$ and either $k$ is algebraically closed, or $k=\mathbb F _q,q>ad$. We show that under these assumptions any $k$-valued weakly polynomial function of degree $ \leq a$ on $X$ is a restriction of a polynomial of degree $\leq a$ on $V$. Our proof is based on Theorem 1.11 on fibers of polynomial morphisms $P:\mathbb F _q^n o \mathbb F _q^m$ of high rank. This result is of an independent interest. For example it immediately implies a strengthening of the result of [4].

연구 동기 및 목표

• 고정된 차수의 약한 다항함수의 전역 다항함수로의 연장 조건을 규명하는 것.
• 차수 a ≥ d일 때 발생하는 연장의 유일성 문제를 고랭크 다양체에 집중하여 해결하는 것.
• 고랭크 다항식으로 정의된 완전교차곡선이 성질 $\star^k_a$를 만족함을 증명하는 것.
• 고랭크 다항식에 관련된 역상 사상 $\kappa_P$의 상사상성에 대한 기초 결과를 증명하며, 이는 유한체 및 대수적으로 닫힌 체에서 유효하다.
• 랭크 기반 기준을 통해 약한 다항함수 이론을 고차원 완전교차곡선으로 확장하는 것.

제안 방법

• 약한 다항함수의 개념을 도입: 임의의 아핀 부분공간으로의 제한이 차수 ≤ a인 다항식이 되는 함수.
• 성질 $\star^k_a$의 정의: $X = \mathbb{X}(k)$ 위의 차수 ≤ a인 약한 다항함수는 $V$ 위의 전역 다항함수로 연장된다.
• 다항식 $P$의 대수적 랭크 $r_k(P)$를 복잡도 척도로 사용하며, 고랭크는 구조적 풍부성을 의미한다.
• 정리 1.11 증명: 특성 > d인 유한체 또는 특성 0 또는 > d인 대수적으로 닫힌 체에서, $P$가 충분히 높은 랭크를 가질 경우, $\kappa_P: \text{Hom}_{af}(W,V) \to \mathcal{P}_d(W)$ 는 전사이다.
• 이 상사상성 결과를 활용해 고랭크 초곡면인 명시적 가족 $\mathbb{X}_n \subset \mathbb{V}_n$ 이 $\star_a^k$를 만족함을 구성한다.
• 모델이론적 및 Weil 스타일의 등분포 이론적 접근을 통해, 초구적과 차원 이론을 통해 유한체에서의 결과를 대수적으로 닫힌 체로 확장한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 다양체 $X = \mathbb{X}(k)$ 위의 차수 ≤ a인 약한 다항함수는 $V$ 위의 전역 다항함수로 연장될 수 있는가?
• RQ2 정의 다항식 $P$의 대수적 랭크 $r_k(P)$는 성질 $\star^k_a$에 어떤 영향을 미치는가?
• RQ3 유한체 및 대수적으로 닫힌 체에서 고랭크 다항식에 대해 역상 사상 $\kappa_P$의 상사상성이 보장되는가?
• RQ4 유한 차원의 고랭크 정의 다항식을 가진 완전교차곡선에 대해 성질 $\star^k_a$를 확립할 수 있는가?
• RQ5 필드의 특성과 원근의 존재가 약한 다항함수의 연장 보장에 어떤 역할을 하는가?

주요 결과

• 모든 적절한 필드 $k$(|$k| > ad$, 차수 > 2a인 원근, 특성$(k) > d$ 또는 0)에 대해, 고랭크 완전교차곡선 $\mathbb{X} \subset \mathbb{V}$ 위의 차수 ≤ a인 약한 다항함수는 $\mathbb{V}$ 위의 전역 다항함수로 연장된다.
• 정리 1.11은 특성 > d인 유한체 및 특성 0 또는 > d인 대수적으로 닫힌 체가 성질 $c_\infty$를 만족함을 보여주며, 이는 고랭크 다항식에 대해 $\kappa_P$의 상사상성을 보장한다.
• $\mathbb{X}_n \subset \mathbb{V}_n = (\mathbb{A}^d)^n$ 이다. $P_n(w_1,\dots,w_n) = \sum_{i=1}^n \prod_{j=1}^d x_j^j$ 로 정의되며, 이 경우 $r(P_n) \geq n/d$ 이고, 적절한 $k$에 대해 $\star_a^k$를 만족한다.
• 고랭크 $P$에 대해 $\kappa_P^{-1}(Q)$ 의 섬세한 차원은 $\dim(\text{Hom}_{af}(W,V)) - \dim(\mathcal{P}_d(W))$ 와 같다. 이는 $\kappa_P$ 가 일반적으로 매끄럽고 전방향적임을 의미한다.
• 큰 특성수를 가진 유한체에서의 $\kappa_P$ 의 상사상성은 모델이론적 컴actness와 초구적에 대한 Łoś 정리에 의해 대수적으로 닫힌 체로 확장된다.
• 이 결과는 [4]의 이전 연구를 강화하며, 정의 다항식의 대수적 랭크 기반으로 약한 다항함수의 연장에 대한 통일된 기준을 제공한다.