An Exact Counterexample to Carlson's Associated-Prime Depth Conjecture from a Group of Order 128

기술 요약: Carlson의 Depth 및 연관 소아이데알(Associated Primes)에 관한 추측에 대한 정확한 반례

1. 문제 정의

본 논문은 J. F. Carlson이 그의 1995년 연구(depth와 전사 사상에 관한 연구)에서 제기한 질문 3.1을 다룬다. 이 질문은 유한 군 $G$와 체 $k$의 표수가 $p$일 때, 코호물로지 링 $H^*(G; k)$의 depth가 항상 그의 연관 소아이데알 중 하나의 차원(dimension)에 의해 실현되는지를 묻는다.

형식적으로, $A = H^*(G; k)$라고 하자. $A$의 depth($\text{depth } A$로 표기)는 양의 차수를 가진 원소들의 아이데알 내에서의 정규 수열(regular sequence)의 최대 길이이다. $A$의 **연관 소아이데알(associated primes)**은 어떤 $a \in A$에 대하여 $\mathfrak{p} = \text{ann}_A(a)$인 소아이데알들이다. 이 추측은 다음의 등식을 상정한다:
$$\text{depth } H^*(G; k) = \min_{\mathfrak{p} \in \text{Ass } H^*(G; k)} \dim H^*(G; k)/\mathfrak{p}$$
$\text{depth } A \le \dim A/\mathfrak{p}$는 표준적인 결과이지만, 이 추측은 depth에 의해 제공되는 하한(lower bound)이 항상 어떤 연관 소아이데알에 의해 달성된다고 주장한다. Green, Schafer, 그리고 Garaialde Ocaña 등의 선행 연구는 특정 부류의 $p$-군(p-groups)에 대해 이 등식을 확인하였으나, 2025년 말 기준으로 일반적인 경우에는 미해결 상태로 남아 있었다.

2. 방법론

저자들은 반례를 구성하기 위해 군론적 열거(group-theoretic enumeration), 가환 대수(commutative algebra), 그리고 정밀한 컴퓨터 보조 검증(exact computer-assisted verification)을 결합한 3단계 전략을 채택한다.

A. 이론적 축소 (Okuyama의 가교)
증명은 연관 소아이데알과 기본 아벨 부분군(elementary abelian subgroups) 사이의 대응 관계를 확립하는 Okuyama의 정리(정리 3.1)에 의존한다. 구체적으로, 만약 연관 소아이데알 $\mathfrak{p}$의 몫 차원이 $s$라면, 다음과 같은 조건을 만족하는 rank $s$의 기본 아벨 $p$-부분군 $E \le G$가 존재한다:
$$\text{depth } H^*(C_G(E); k) = s$$
따라서, $\text{depth } H^*(G; k) = 2$인 군에 대해 추측이 틀렸음을 입증하려면, $G$의 모든 rank-two 기본 아벨 부분군 $E \le G$에 대하여 $C_G(E)$의 depth가 2보다 엄격히 크다(즉, $\ge 3$)는 것을 보여주는 것으로 충분하다.

B. 군론적 열거
저자들은 체 $k = \mathbb{F}_2$ 위에서 $G = \text{SmallGroup}(128, 859)$를 선택하였다. 이 군은 Krull 차원이 4이고 depth가 1인 것으로 기록된 Green과 King의 카탈로그에서 식별되었다.

• 저자들은 $G$ 내의 모든 rank-two 기본 아벨 부분군(isomorphic to $C_2 \times C_2$)을 전수 조사한다.
• 이 절차는 모든 비항등 인볼루션(non-identity involutions)을 나열하고, 교환 가능한 쌍(commuting pairs)을 형성하며, 부분군들을 중복 제거한다.
• 이 과정을 통해 정확히 75개의 그러한 부분군이 도출되었으며, 이들은 6개의 서로 다른 동형 유형의 중심화 군(centralizers)으로 분류된다.

C. 정밀한 대수적 증명서 (Exact Algebraic Certificates)
6개의 중심화 군 유형 각각에 대해, 저자들은 $H^*(C_G(E); \mathbb{F}_2)$의 depth를 결정한다:

1. 네 가지 유형 (Rank $\ge 3$인 중심): 중심화 군이 $\text{SmallGroup}(16, 10)$, $(16, 14)$, $(32, 22)$, 그리고 $(32, 46)$인 경우, 저자들은 Duflot의 정리를 적용한다. 이 군들의 중심(center)의 rank가 최소 3이므로, Duflot의 정리는 즉각적으로 $\text{depth } H^*(C_G(E); \mathbb{F}_2) \ge 3$임을 시사한다.
2. 두 가지 예외 유형 (Rank 2인 중심): 중심화 군이 $\text{SmallGroup}(64, 90)$ 및 $(64, 216)$인 경우, Duflot의 정리는 depth $\ge 2$만을 보장한다. 이를 넘어 depth 2가 아님을 입증하기 위해, 저자들은 각 링의 명시적인 다항식 표현을 사용하여 길이 3의 정밀한 정규 수열을 구성한다.
   • 저자들은 콜론 아이데알(colon ideal) 계산을 활용한다: $(I : f) = I$는 $f$가 $I$에 대해 영인자가 아님을 인증한다.
   • 각 링의 표현식 내의 특정 동차 원소들에 대해 세 번의 연속적인 콜론 등식을 검증함으로써, 길이 3의 정규 수열의 존재를 증명한다.
   • 이러한 계산은 Gröbner 기저 기법을 사용하여 $\mathbb{F}_2$ 상에서 수행된다. 보조정리 5.3(기저 변경 불변성)에 의해, 이 결과는 표수가 2인 임의의 대수적 폐체에서도 성립한다.

3. 주요 결과

본 논문은 다음의 정리를 확립한다:

정리 2.1: $G = \text{SmallGroup}(128, 859)$이고 $k = \mathbb{F}_2$일 때, 다음이 성립한다:

1. $\text{depth } H^*(G; k) = 2$.
2. $\omega_a(H^*(G; k)) \ge 3$이다 (여기서 $\omega_a$는 연관 소아이데알 몫의 최소 차원이다).
3. 결과적으로, $\text{depth } H^*(G; k) < \min_{\mathfrak{p} \in \text{Ass } H^*(G; k)} \dim H^*(G; k)/\mathfrak{p}$이다.

$\text{depth } H^*(G; k) = 2$를 증명하는 과정 또한 정밀한 증명서를 통해 제공된다:

• 길이 2의 정규 수열 ($f_1, f_2$)이 구성된다.
• 몫 $A/(f_1, f_2)$ 내에서 비영 소코(non-zero socle) 원소 $w$가 제시되어, 더 이상의 정규 원소가 존재하지 않음을 보여줌으로써 depth를 정확히 2로 고정한다.

4. 의의 및 주장

본 논문은 다음과 같이 주장한다:

정리 2.1: $G = \text{SmallGroup}(128, 859)$이고 $k = \mathbb{F}_2$일 때, 다음이 성립한다:

1. $\text{depth } H^*(G; k) = 2$.
2. $\omega_a(H^*(G; k)) \ge 3$이다 (여기서 $\omega_a$는 연관 소아이데알 몫의 최소 차원이다).
3. 결과적으로, $\text{depth } H^*(G; k) < \min_{\mathfrak{p} \in \text{Ass } H^*(G; k)} \dim H^*(G; k)/\mathfrak{p}$이다.

의의:

• 미해결 문제의 해결: 본 연구는 질문 3.1에 대해 부정적인 답변을 내놓음으로써, 코호물로지 링의 depth가 연관 소아이데알의 차원에 의해 항상 달성되는 것은 아님을 명확히 보여주며, Carlson의 추측을 종결시켰다.
• 방법론적 엄밀성: 저자들은 본 결과가 휴리스틱한 근사치나 수치적 추정에 기반한 것이 아님을 강조한다. 대신, 정밀한 대수적 증명서(콜론 아이데알 등식 및 Gröbner 기저 표준형)와 전수 군 열거에 의존한다.
• 재현 가능성: 논문에는 유한 군의 표현식, 코호물로지 링의 표현식, 열거 요약, 그리고 독립적인 검증에 필요한 구체적인 대수적 증명서가 포함되어 있다.
• 범위: 이 반례는 표수 2인 경우의 $\text{SmallGroup}(128, 859)$에 특화되어 있다. 본 논문은 추측이 실패하는 모든 군의 특성을 규명하거나, depth와 연관 소아이데알 차원 사이의 간극에 대한 새로운 일반 공식을 제안하는 것을 목적으로 하지 않는다.

저자들은 이 구성이 기존의 결과들(Green과 King의 카탈로그 및 Okuyama의 정리)에 의존하고 있으나, "핵심적인(load-bearing)" 새로운 내용은 rank-two 부분군에 대한 완전한 열거와 그 중심화 군들의 정밀한 depth 계산임을 밝히고 있다.