[논문 리뷰] Strength conditions, small subalgebras, and Stillman bounds in degree $\leq 4$

Tigran Ananyan, Melvin Hochster|arXiv (Cornell University)|2018. 09. 30.

Coding theory and cryptography참고 문헌 28인용 수 4

한 줄 요약

이 논문은 2, 3, 4차에서 스틸만 추측에 대한 명시적이고 폐형 표현된 경계를 제공하며, 소하위대수와 정규열의 생성을 제어하는 핵심 함수 $^\eta\!A(n,d)$ 및 $^\eta\!B(n,d)$ 를 도입한다. $n$개의 이차형식에 대해 $R/I$의 여차원은 최대 $2^{n+1}(n-2)+4$이며, $n$에 대한 제약 없이도 이에 대한 가장 좋은 알려진 경계를 제공한다. 결과는 4차에서는 2 또는 3이 아닌 특성의 대수적으로 닫힌 체에서, 2차와 3차에서는 모든 특성에서 유효하다.

ABSTRACT

In [2], the authors prove Stillman's conjecture in all characteristics and all degrees by showing that, independent of the algebraically closed field $K$ or the number of variables, $n$ forms of degree at most $d$ in a polynomial ring $R$ over $K$ are contained in a polynomial subalgebra of $R$ generated by a regular sequence consisting of at most ${}^η\!B(n,d)$ forms of degree at most $d$: we refer to these informally as "small" subalgebras. Moreover, these forms can be chosen so that the ideal generated by any subset defines a ring satisfying the Serre condition R$_η$. A critical element in the proof is to show that there are functions ${}^η\!A(n,d)$ with the following property: in a graded $n$-dimensional $K$-vector subspace $V$ of $R$ spanned by forms of degree at most $d$, if no nonzero form in $V$ is in an ideal generated by ${}^η\!A(n,d)$ forms of strictly lower degree (we call this a {\it strength} condition), then any homogeneous basis for $V$ is an R$_η$ sequence. The methods of \cite{AH2} are not constructive. In this paper, we use related but different ideas that emphasize the notion of a {\it key function} to obtain the functions ${}^η\!A(n,d)$ in degrees 2, 3, and 4 (in degree 4 we must restrict to characteristic not 2, 3). We give bounds in closed form for the key functions and the ${}^η\!A$ functions, and explicit recursions that determine the functions ${}^η\!B$ from the ${}^η\!A$ functions. In degree 2, we obtain an explicit value for ${}^η\!B(n,2)$ that gives the best known bound in Stillman's conjecture for quadrics when there is no restriction on $n$. In particular, for an ideal $I$ generated by $n$ quadrics, the projective dimension $R/I$ is at most $2^{n+1}(n - 2) + 4$.

연구 동기 및 목표

• 2, 3, 4차에서 스틸만 추측에 대한 명시적이고 구조적인 경계를 제공하여 [2]의 비구조적 증명을 확장한다.
• 소하위대수와 정규열의 생성을 제어하는 핵심 함수 $^\eta\!A(n,d)$ 및 $^\eta\!B(n,d)$ 를 정의하고 계산한다.
• 2, 3, 4차에서 $^\eta\!A(n,d)$ 에 대한 폐형 표현을 도출하고, $^\eta\!B(n,d)$ 에는 재귀 공식을 제공한다.
• 이차형식 $n$개로 생성된 이상에 대한 알려진 스틸만 경계를 향상시켜, 여차원에 대한 가장 날카로운 알려진 상한을 제공한다.

제안 방법

• 정규열을 형성하는 동차 기저를 보장하는 강도 조건을 정의하기 위해 $k$-collapse 및 $\kappa$-강한 부분공간의 개념을 도입한다.
• 비구조적 방법과는 다름을 보이며, 특히 4차에서의 차이를 보이는 핵심 함수 기반의 새로운 접근을 사용하여 $^\eta\!A(n,d)$ 를 유도한다.
• 2차, 3차, 4차에서 $^\eta\!A(n,d)$ 에 대한 폐형 표현을 유도하며, $A_3(2n+\eta)$ 와 4차의 경우 $\mathfrak{K}_4$ 를 포함하는 명시적 공식을 제공한다.
• $^\eta\!B(n,d)$ 와 $^\eta\!A(n,d)$ 사이의 재귀 관계를 확립하여, 정규열에 의해 생성된 소하위대수의 크기 계산을 가능하게 한다.
• 이론을 적용하여 이차형식 $n$개에 대해 여차원 경계를 $2^{n+1}(n-2)+4$ 로 계산하며, 이는 임의의 체에서 유효하다.
• 4차의 경우 기법의 기술적 한계로 인해 특성 2 또는 3이 아닌 대수적으로 닫힌 체로 제한된다.

실험 결과

연구 질문

• RQ1 2, 3, 4차에서 $^\eta\!A(n,d)$ 의 최적 명시적 경계는 무엇이며, 이를 폐형으로 표현할 수 있는가?
• RQ2 이상에 의해 생성된 $n$개의 차수 $d$ 형식에 대한 스틸만 경계를 명시적이고 구조적으로 만들 수 있는가, 특히 $d=2$ 에서는?
• RQ3 고정된 $d$ 에 대해 $^\eta\!A(n,d)$ 가 $n$ 에 대한 다항식 경계를 가지는가? 만약 그렇다면 다항식의 차수는 무엇인가?
• RQ4 이차형식 $n$개에 대해 $R/I$ 의 여차원을 이전 결과보다 더 날카롭게 경계할 수 있는가?
• RQ5 $^\eta\!B(n,d)$ 의 최소 가능한 값은 무엇이며, 일반적으로 $^\eta\!B(n,d)$ 에 대해 다항식 경계가 가능한가?

주요 결과

• 이차형식 $n$개에 대해 $R/I$ 의 여차원은 최대 $2^{n+1}(n-2)+4$ 이며, 이는 $n$ 에 대한 제약 없이도 이차형식에 대해 가장 좋은 알려진 경계를 제공한다.
• 2차에서는 $^\eta\!B(n,2)$ 에 대한 명시적 값을 제공하여, 정규열에 의해 생성된 소하위대수의 크기에 대한 날카로운 경계를 도출한다.
• 특성 2 또는 3이 아닌 4차에서, $^\eta\!A(n,4)$ 는 $\mathfrak{K}_4$ 와 $A_3(2n+\eta)$ 를 포함하는 폐형 표현을 제공하며, $A_3(2n+\eta) = 2(8n+4\eta-1)(2n+\eta-1)$ 이다.
• 논문은 $^\eta\!B(n,d)$ 와 $^\eta\!A(n,d)$ 사이의 재귀 공식을 확립하여, 스틸만 경계의 알고리즘적 계산을 가능하게 한다.
• 저자들은 $d$ 가 고정되었을 때 $n$ 에 대해 $^\eta\!A(n,d)$ 와 $^\eta\!B(n,d)$ 가 최대 다항식 수준으로 증가할 것이라 추측하며, $^\eta\!A(n,d)$ 는 $C_{d,\eta}n^{\lambda(d)}$ 로, $^\eta\!B(n,d)$ 는 $C_d n^d$ 로 경계된다고 제안한다.
• 논문은 [31]에서 $d=2$ 인 이상 구조가 경계 $h(n-h+1)$ 를 달성함을 보여주며, 이 경계가 날카로울 수 있음을 시사하고, 정리 11.4의 여차원에 대한 추측을 뒷받침한다.