A Counterexample to Wehlau's Conjecture on Noether Numbers

기술 요약: Wehlau의 노터 수(Noether number) 추측에 대한 반례

문제 정의
본 논문은 모듈러 불변 이론(modular invariant theory)의 맥락에서 노터 수의 단조성(monotonicity)에 관한 Wehlau의 추측을 다룬다. $k$를 유한체, $G$를 유한 차원 벡터 공간 $V$ 위에서 작용하는 유한군이라 하자. 노터 수 $\beta(V)$는 불변 환(ring of invariants) $k[V]^G$의 동차 기약 생성 원소(homogeneous indecomposable element) 중 가장 높은 차수로 정의된다. Wehlau는 임의의 $G$-부분 모듈 $U \subseteq V$에 대하여 부등식 $\beta(U) \leq \beta(V)$가 성립한다고 추측하였다. 이 추측은 특정 사례(예: 소수 차수의 순환군, 특정 표수의 특정 이면군)에서는 증명되었으나, 일반적인 모듈러 사례에서의 유효성은 미해결 문제로 남아 있었다.

방법론
저자들은 체 $k = \mathbb{F}_2$ 위에서 이면군 $D_8$을 사용하는 구체적인 반례를 구성한다. 방법론은 다음과 같이 진행된다:

1. 표현 구성:

   • 6차원 표현 $V$는 기저 $\{z_0, \dots, z_5\}$를 갖는 쌍대 공간 $X = V^*$를 통해 정의된다. $D_8$의 생성원 $r$과 $s$의 작용은 이 기저 위에서 명시적으로 정의된다.
   • 5차원 부분 모듈 $U \subset V$는 $Q = X / kz_0$ (여기서 $kz_0$는 $G$에 의해 고정된 직선)를 고려하고 그 쌍대 공간 $U = Q^*$를 취함으로써 구성된다. 이는 단사 $G$-준동형 사상 $U \hookrightarrow V$를 생성한다.
   • 이 구성은 $\mathbb{F}_2$ 상에서 정의되었으나, 스칼라 확장(extension of scalars)을 통해 표수가 2인 임의의 체에서도 유효함이 언급된다.

2. 계산적 불변 이론:

   • 저자들은 [10]에 기술된 알고리즘과 컴퓨터 대수 시스템 Magma [1]를 사용하여 불변 환 $k[V]^G$와 $k[U]^G$를 계산한다.
   • $V$의 경우: 불변 환 $R = \mathbb{F}_2[z_0, \dots, z_5]^G$를 분석한다. 저자들은 11개의 동차 불변량 $\{f_1, \dots, f_{11}\}$을 식별하고, 이들이 기약 생성 집합을 형성함을 증명한다. 이는 Symonds의 경계(bound)와 동차 파라미터 계(homogeneous system of parameters)를 활용하여, 이 불변량들이 생성하는 부분 대수가 차수 12까지 전체 불변 공간의 차원과 일치함을 확인함으로써 달성된다.
   • $U$의 경우: 불변 환 $S = \mathbb{F}_2[x_0, \dots, x_4]^G$ 역시 유사한 차원 계산 및 가우스 소거법 기술을 사용하여 9개의 동차 불변량 $\{f_1, \dots, f_9\}$을 식별하고, 이들이 기약 생성 집합을 형성함을 증명한다.

주요 결과
구성된 쌍 $(U, V)$에 대한 노터 수의 명시적 계산 결과는 다음과 같다:

• 6차원 모듈 $V$에 대하여, $k[V]^G$의 기약 생성 집합 중 가장 높은 차수는 5이다. 따라서 $\beta(k[V]^G) = 5$이다.
• 5차원 부분 모듈 $U$에 대하여, $k[U]^G$의 기약 생성 집합 중 가장 높은 차수는 6이다. 따라서 $\beta(k[U]^G) = 6$이다.

결과적으로, 부등식 $\beta(U) \leq \beta(V)$는 $6 > 5$이므로 위배된다.

의의 및 결과
본 논문은 이 반례를 바탕으로 다음과 같은 의의를 주장한다:

1. 추측의 반증: 이 결과는 일반적인 모듈러 사례에서 Wehlau의 단조성 추측을 결정적으로 반증한다.
2. 팽창(Inflation)을 통한 일반화: $D_8$의 작용을 임의의 전사 $\pi: H \twoheadrightarrow D_8$를 통해 팽창함으로써, 이 반례는 $D_8$을 몫군(quotient)으로 갖는 모든 유한군 $H$로 확장된다. 여기에는 직적 $D_8 \times L$, 차수가 8 이상인 이면 2-군, 그리고 차수가 16 이상인 일반화된 사원군이 포함된다.
3. 구조적 민감성: 이 예시는 모듈러 노터 수가 Jordan-Hölder 인자, 반단순화(semisimplification), 또는 결합된 층(associated graded module)에 의해서만 결정되지 않음을 보여준다. 구체적으로, 비분할 확장(non-split extension) $0 \to kz_0 \to X \to Q \to 0$은 동일한 합성 인자를 가짐에도 불구하고 분할 확장(split extension) $Q \oplus k$보다 낮은 노터 수($\beta=5$)를 생성한다.
4. 일반화된 노터 수: 본 논문은 동일한 쌍 $(U, V)$가 처음 4개의 일반화된 노터 수 $\beta_k(G, W)$에 대해서도 부등식을 역전시킨다는 점을 언급하며, $k=1, 2, 3, 4$에 대해 $\beta_k(G, U) > \beta_k(G, V)$임을 보여준다.

이 연구는 모듈러 표현론에서 부분 모듈이 주변 모듈보다 차원이 엄격히 낮음에도 불구하고 노터 수의 단조성을 가정할 수 없음을 확립한다.