$\mathbb A^1$-connected components of affine quadrics

문제 정의
본 논문은 표수 0인 체 $k$ 위에서 매끄러운 아핀 이차 초곡면(smooth affine quadratic hypersurface) $X \subset \mathbb{A}^n_k$에 대한 $\mathbb{A}^1$-연결 성분 층(sheaf of $\mathbb{A}^1$-connected components) $\pi^{\mathbb{A}^1}_0(X)$의 계산을 다룬다. 층 $\pi^{\mathbb{A}^1}_0(F)$는 Morel-Voevodsky의 불안정 $\mathbb{A}^1$-호모토피 범주에서 근본적인 불변량이지만, 이를 명시적으로 계산하는 것은 일반적으로 어렵다. 표준적인 접근 방식은 소위 '나이브(naive)' $\mathbb{A}^1$-연결 성분 함자 $S(F)$와 그 반복 $S^n(F)$를 사용하는 것이다. 극한 $L(F) = \varinjlim S^n(F)$는 보편적인 $\mathbb{A}^1$-불변 몫(universal $\mathbb{A}^1$-invariant quotient)이다. Morel은 $\pi^{\mathbb{A}^1}_0(F)$가 항상 $\mathbb{A}^1$-불변이라고 추측했으나(이는 $\pi^{\mathbb{A}^1}_0(F) \cong L(F)$임을 의미함), 일반적인 층에 대해서는 반례가 존재한다. 다만 표현 가능한 층(representable sheaves)에 대해서는 이 추측이 여전히 열려 있다.

특정한 열린 문제 중 하나는 주어진 다양체 $X$에 대해, 모든 유한 생성 체 확장 $K/k$에 대하여 $\pi^{\mathbb{A}^1}_0(X)(K) = S^{n_X}(X)(K)$를 만족하는 정수 $n_X$가 존재하는가 하는 점이다. 이전 연구들은 proper scheme의 경우 $n=1$에서 안정화됨을 보여주었으나, non-proper 다양체의 경우 균등한 유한 상한(uniform finite bound)이 알려지지 않았다. 본 논문은 매끄러운 아핀 이차 곡면(smooth affine quadrics)에 대해 안정화 지점과 $\pi^{\mathbb{A}^1}_0(X)(K)$의 명시적 구조를 결정하고자 한다.

방법론
저자들은 $\mathbb{A}^1$-호모토피 이론과 이차 형식(quadratic form)의 고전적 이론을 결합하여 사용한다.

1. 표준형으로의 축소: 정리 3.2를 사용하여, 저자들은 임의의 매끄러운 아핀 이차 초곡면이 아핀 공간과 정규 이차 형식 $\psi$에 의해 정의되는 초곡면 $Q_\psi: \psi(x_1, \dots, x_m) - 1 = 0$의 곱으로 동형임을 보인다.
2. 반복 함자 분석: 연구는 층의 수열 $S^n(Q_\psi)$에 집중한다. 저자들은 두 점이 $S^n(X)$에서 동일하게 식별되는지를 결정하기 위해 "고스트 호모토피(ghost homotopies)"(정의 2.7) 개념을 활용한다. 구체적으로, 이들은 $n$-고스트 호모토피를 분석하여 수열이 언제 안정화되는지 결정한다.
3. 이차 형식 불변량: 분류는 $\psi$ 및 그와 관련된 형식들의 이소트로피(isotropy) 성질에 크게 의존한다. 주요 불변량은 다음과 같다:
   • Witt 지수 $i_0(\theta)$ (최대 이소트로픽 부분 공간의 차원).
   • 첫 번째 Witt 지수 $i_1(\theta)$ ($\theta$의 함수체 위에서의 Witt 지수).
   • 표현된 값들의 집합 $D(\theta)$ 및 부분군 $\langle D(\theta) \rangle$.
4. 기하학적 구성:
   • 이소트로픽(Isotropic) 케이스: $\psi$가 이소트로픽일 때, 저자들은 명시적인 $\mathbb{A}^1$-호모토피를 구성하고, $Q_\psi$에서 $\mathbb{A}^1$으로의 사영을 사용하여 연결 성분을 관련 형식 $\phi$의 $F^*/\langle D(\phi_F) \rangle$와 연관시킨다. (여기서 $\phi$는 차원이 $n-1$인 관련 형식이다.)
   • 아니소트로픽(Anisotropic) 케이스: $\psi$가 아니소트로픽일 때, 저자들은 "좋은 유리 곡선(good rational curves)"(정의 4.12)을 도입한다. 저자들은 유리 곡선이 이차 형식과 관련된 특정 밸류에이션(valuation) 조건을 만족하는지에 따라 수열의 안정화가 결정됨을 증명한다. 이들은 블로우업(blow-up)과 Nisnevich 피복을 활용하여 부정성(indeterminacy)을 해결하고, 2-고스트 호모토피 하에서 점들이 동등함을 확립한다.

핵심 기여 및 결과

• $n=2$에서의 안정화: 주요 결과(정리 1.1)는 임의의 매끄러운 아핀 이차 초곡면 $Q_\psi$와 임의의 유한 생성 체 확장 $F/k$에 대하여, $S^n(Q_\psi)$ 수열이 $n=2$에서 안정화됨을 확립한다. 구체적으로:

  • $\psi$가 이소트로픽이면, $\pi^{\mathbb{A}^1}_0(Q_\psi)(F) \cong S(Q_\psi)(F) \cong F^*/\langle D(\phi_F) \rangle$이다. 여기서 안정화는 $n=1$에서 일어난다.
  • $\psi$가 아니소트로픽이면, $\pi^{\mathbb{A}^1}_0(Q_\psi)(F) \cong S^2(Q_\psi)(F)$이다. 이 경우 $S(Q_\psi)(F) \neq S^2(Q_\psi)(F)$이며, 이는 수열이 안정화되기 위해 정확히 두 번의 반복이 필요함을 의미한다.
  • 이는 이 부류의 non-proper 다양체들에 대해 필드 값 섹션(field-valued sections)의 안정화를 위한 유한하고 균등한 상한($n=2$)을 제공한다.

• $\mathbb{A}^1$-연결성 규명: 안정화 결과와 Morel의 특징화(공간이 $\mathbb{A}^1$-연결이라는 것은 $\pi^{\mathbb{A}^1}_0$의 필드 값 섹션이 자명하다는 것과 동치임)를 결합하여, 저자들은 아핀 이차 곡면이 $\mathbb{A}^1$-연결될 조건을 완전히 규명한다(정리 1.2 및 정리 5.1). $\kappa = \psi \perp \langle -1 \rangle$라고 하자. 이차 곡면 $Q_\psi$는 다음 중 하나를 만족할 때 $\mathbb{A}^1$-연결된다:

  1. $i_0(\kappa) \ge 2$; 또는
  2. $i_0(\kappa) = 1$, $i_0(\psi) = 0$, 그리고 $i_1(\psi) \ge 2$.

• 명시적 동형 사상: 논문은 이소트로픽 케이스에서 연결 성분 집합에 대한 명시적 동형 사상을 구성하며, 이를 특정 부분형에 의해 표현되는 값들로 생성된 부분군에 의한 곱셈군의 몫과 동일시한다.

의의
본 논문은 매끄러운 아핀 이차 초곡면이라는 구체적이고 중요한 클래스에 대해 유한 안정화 문제를 해결했다고 주장한다. 수열이 $n=2$에서 안정화됨을 증명함으로써, 저자들은 보편적인 $\mathbb{A}^1$-불변 몫의 일반적 정의에서 요구되는 "무한한 반복"이 이 다양체들에게는 필요하지 않음을 보여준다.

나아가, 이 연구는 $\mathbb{A}^1$-호모토피 이론과 이차 형식의 고전적 산술 사이의 간극을 메운다. 이는 $\mathbb{A}^1$-연결성이라는 위상적 성질을 Witt 지수 및 이차 형식의 첫 번째 Witt 지수를 포함하는 구체적인 대수적 조건으로 번역한다. 서론에서 언급되었듯이, 이는 알려진 대수군 및 proper variety에 대한 결과를 non-proper 아핀 설정으로 확장하여, 고전적 불변량을 통해 $\mathbb{A}^1$-연결된 아핀 이차 곡면에 대한 완전한 분류를 제공한다. 이 결과는 대수적으로 닫힌 체 또는 이차적으로 닫힌 체 위에서, 차원이 $n \ge 2$인 모든 매끄러운 아핀 이차 초곡면이 $\mathbb{G}_m \times \mathbb{A}^{n-2}_k$와 동형이거나 혹은 $\mathbb{A}^1$-연결되어 있음을 시사한다.