Complexity of the Zero Set of a Matrix Schubert Ideal

기술적 요약: 행렬 슈베르트 아이디얼의 영집합 복잡도

문제 제기
본 논문은 $T$-다양체의 틀 내에서 특정 부분다양체의 조합론적 복잡도를 조사한다. $T$-다양체는 대수적 토러스 $T$의 작용을 갖는 정규 다양체이다. 이러한 다양체의 복잡도는 그 차원과 최대 $T$-궤적의 차원 사이의 차이로 정의되며 (동등하게 $\dim(X) - \dim(\sigma)$, 여기서 $\sigma$는 가중치 원뿔), 복잡도가 낮을수록 다양체가 조합론적 방법에 더 적합함을 의미한다. 예를 들어, 복잡도 0은 토릭 다양체에 해당한다.

저자들은 Fulton 이 도입한 행렬 슈베르트 다양체 $X_w$에 초점을 맞추는데, 이는 $S_n$ 의 치환 $w$에 의해 결정된 부분행렬의 랭크 조건에 의해 정의된 $n \times n$ 행렬의 아핀 다양체이다. $X_w$는 자연스러운 $T \times T$ 작용 (여기서 $T \simeq (\mathbb{C}^*)^n$) 을 갖지만, 그 복잡도는 종종 큰 아핀 인자 $\mathbb{C}^k$에 의해 자명화된다. 이를 해결하기 위해 저자들은 $X_w \cong Y_w \times \mathbb{C}^k$ ($k$가 최대인 경우) 로 분해되는 다양체의 "본질적인" 부분인 $Y_w$를 연구한다. $Y_w$의 정의 아이디얼은 $X_w$의 정의 아이디얼과 일치한다.

핵심 문제는 고정된 $n \geq 4$에 대해 $Y_w$의 복잡도로 실현될 수 있는 음이 아닌 정수의 집합을 특징짓는 것이다. 이전 연구는 복잡도 1 은 불가능하며, $n$이 4 의 배수로 변할 때 달성 가능한 복잡도 집합은 1 을 제외하고 모두 포함됨을 확립했다. 본 논문은 고정된 대칭군 $S_n$의 범위로 국한하여 달성 가능한 복잡도의 정확한 범위를 결정한다.

방법론
저자들은 대수기하학, 조합론, 그리고 그래프 이론을 결합하여 다음과 같은 접근법을 사용한다:

1. 기하학적 분해: 저자들은 $Y_w$를 "북서쪽 다이어그램 (northwest diagram)" $NW(w)$에 속하지 않는 항목들에 의해 생성된 선형 부분공간으로의$X_w$의 사영으로 정의한다.$Y_w$의 차원은 치환의 Rothe 다이어그램 $D(w)$에서 유도된 특정 비틀린 다이어그램인 $L'(w)$의 크기로 주어지며, $|L'(w)|$이다.
2. 토러스 작용과 가중치 원뿔: $T \times T$ 작용 하에서 $Y_w$의 복잡도 $d_w$는 다음 공식으로 계산된다:
   $$d_w = \dim(Y_w) - \dim(\sigma_w)$$
   여기서 $\sigma_w$는 작용과 관련된 가중치 원뿔이다.
3. 그래프 이론적 변환: 가중치 원뿔 $\sigma_w$는 방향성 이분 그래프 $G_w$의 가장자리 원뿔로 식별된다. $G_w$의 꼭짓점은 다이어그램 $L(w)$의 비어 있지 않은 행과 열에 해당하며, 간선은 $L(w)$의 항목들에 해당한다.
4. 복잡도 공식: 가장자리 원뿔에 대한 차원 공식을 사용하여 복잡도는 다음과 같이 표현된다:
   $$d_w = |L'(w)| - |V(G_w)| + |C(G_w)|$$
   여기서 $|V(G_w)|$는 꼭짓점의 수이고 $|C(G_w)|$는 연결 성분의 수이다. 이는 기본 비방향 그래프의 사이클로매틱 수 $\nu(G_w)$를 사용하여 다음과 같이 더 정제된다:
   $$d_w = \nu(G_w) + |\text{dom}(w)| - |D(w)|$$
   여기서 $\text{dom}(w)$는 Rothe 다이어그램의 "우세한 부분 (dominant piece)"이다.
5. 구성적 증명: 달성 가능한 복잡도의 범위를 확립하기 위해 저자들은 Rothe 다이어그램의 수정에 관한 보조정리를 활용한다. 구체적으로, 치환의 다이어그램의 한 영역을 더 작은 치환의 다이어그램으로 대체하는 것이 복잡도에 어떤 영향을 미치는지 보여줌으로써, 특정 복잡도 값을 갖는 치환을 구성할 수 있음을 보인다.

주요 기여 및 결과

• 최대 복잡도: 본 논문은 $w \in S_n$ (단, $n \geq 4$) 인 $Y_w$에 대해 가능한 최대 복잡도를 결정한다.

  • 정리 4.2: 최대 복잡도는 $(n-1)(n-3)$이다.
  • 유일성: 이 최대치는 치환 $s_{n-1} = [1, \dots, n-2, n, n-1]$에 의해 유일하게 달성된다. 이 치환에 대한 연관 그래프 $G_w$는 완전 이분 그래프 $K_{n-1, n-1}$과 동형이다.

• 달성 가능한 복잡도 값: 본 논문은 고정된 $n$에 대해 어떤 $Y_w$의 복잡도로 실현될 수 있는 모든 정수 $d$의 집합을 특징짓는다.

  • 정리 4.8: 고정된 $n \geq 4$에 대해, 달성 가능한 복잡도의 집합은 $\{0, 2, 3, \dots, (n-1)(n-3)\}$이다.
  • 1 의 배제: 본 논문은 $w \in S_n$에 대해 복잡도 1 은 결코 달성 불가능함을 확인한다 (Escobar–Mészáros 와 Donten-Bury–Escobar–Portakal 의 이전 결과에 의존).
  • 간극 메우기: 저자들은 0 과 최대값 사이 (1 제외) 의 모든 정수가 달성 가능함을 증명한다. 그들은 일반적인 구간 구성으로 다루어지지 않았던 $n=5$인 경우의 복잡도 4 에 대해, 명시적으로 치환 $12534$를 제시함으로써 이를 처리한다.

의의
본 논문은 고정된 대칭군 $S_n$ 내에서 행렬 슈베르트 다양체 (특히 그 본질적인 부분 $Y_w$) 에 대한 복잡도 스펙트럼에 대한 완전한 분류를 제공한다. 복잡도가 이론적 최대값 $(n-1)(n-3)$까지 0 에서 시작하는 모든 정수 값을 가질 수 있으며, 1 만 예외임을 확립함으로써, 저자들은 이러한 다양체의 조합론적 지형을 명확히 한다. 이 결과는 $n$이 4 의 배수로 변하는 경우로 제한되었던 이전 지식을 정제한다. 본 연구는 결정식 다양체의 기하학적 성질을 이분 그래프의 구조적 성질 (특히 사이클로매틱 수와 가장자리 원뿔) 과 연결하여, 행렬 슈베르트 다양체의 $T$-다양체 구조를 분석하기 위한 정확한 조합론적 도구를 제공한다.