[논문 리뷰] Reducibility of nilpotent commuting varieties

Robert M. Guralnick, Nham V. Ngo|arXiv (Cornell University)|2013. 08. 11.

Algebraic Geometry and Number Theory참고 문헌 10인용 수 3

한 줄 요약

이 논문은 파라보릭 부분군과 궤도 폐쇄를 포함하는 표현 이론적 및 기하적 기법을 사용하여, 모든 $n, r \geq 4$에 대해 $C_r(\mathcal{N}_n)$의 니르포텐트 통근 다양체가 비기약적임을 입증한다. $C_r(\mathfrak{gl}_n)$의 비기약성은 특정 조건 하에서 $C_r(\mathcal{N}_n)$의 비기약성으로 이어지며, $C_r(\mathcal{N}_n)$ 및 $C_r(\mathfrak{gl}_n)$의 차원에 대해 이전 추정치보다 크게 향상된 새로운 하한을 제공한다.

ABSTRACT

Let $\N_n$ be the set of nilpotent $n$ by $n$ matrices over an algebraically closed field $k$. For each $r\ge 2$, let $C_r(\N_n)$ be the variety consisting of all pairwise commuting $r$-tuples of nilpotent matrices. It is well-kown that $C_2(\N_n)$ is irreducible for every $n$. We study in this note the reducibility of $C_r(\N_n)$ for various values of $n$ and $r$. In particular it will be shown that the reducibility of $C_r(\mathfrak{gl}_n)$, the variety of commuting $r$-tuples of $n$ by $n$ matrices, implies that of $C_r(\N_n)$ under certain condition. Then we prove that $C_r(\N_n)$ is reducible for all $n, r\ge 4$. The ingredients of this result are also useful for getting a new lower bound of the dimensions of $C_r(\N_n)$ and $C_r(\mathfrak{gl}_n)$. Finally, we investigate values of $n$ for which the variety $C_3(\N_n)$ of nilpotent commuting triples is reducible.

연구 동기 및 목표

• 모든 $r \geq 3$에 대해 니르포텐트 통근 다양체 $C_r(\mathcal{N}_n)$의 비기약성 상태를 특정히 하며, 특히 고차수 랭크에 대해 고려한다.
• $C_r(\mathfrak{gl}_n)$과 $C_r(\mathcal{N}_n)$의 비기약성 간의 관계를 조사하여, 이들의 비기약성 행동이 유사하다는 추측을 검증한다.
• 파라보릭 부분군의 궤도 폐쇄를 이용하여 $C_r(\mathcal{N}_n)$ 및 $C_r(\mathfrak{gl}_n)$의 차원에 대한 새로운 하한을 설정한다.
• $n'_3$, 즉 $C_3(\mathcal{N}_n)$이 비기약적인 최소의 $n$에 대한 간격을 좁히며, 이전 추정치를 향상시킨다.

제안 방법

• GL_n(k)의 파라보릭 부분군 $P$에 대해, $\mathfrak{u}_P$를 $P$의 유니포텐트 라이 라이 대수로 하여 궤도 폐쇄 $G \cdot \mathfrak{u}_P^r$를 사용한다.
• 섬세한 차원 정리에 따라 $V_P = G \cdot \mathfrak{u}_P^r$의 차원을 계산함으로써 $\dim C_r(\mathcal{N}_n)$에 대한 하한을 도출한다.
• 만약 $C_r(\mathcal{N}_n)$이 기약적이라면, 그 안의 임의의 $r$-튜플이 생성하는 부분대수의 차원은 최대 $n-1$이어야 한다는 기준을 적용하여, $n,r \geq 4$일 때 모순을 이끌어낸다.
• 크기가 $4s \times 4s$인 특정한 니르포텐트 행렬 $v$를 구성하고, 그 중심화자 $z(v)$가 차원 $4s^2$인 부분공간 $\Gamma$를 포함하도록 하며, $C_2(\Gamma)$를 분석하여 $\dim C_3(\mathcal{N}_n)$의 하한을 구한다.
• 부등식 $\dim C_3(\mathcal{N}_n) \geq n^2 + s^2$를 사용하고, 기약적 $C_3(\mathcal{N}_n)$에 대한 알려진 상한 $n^2 + n - 2$와 비교하여 $s \geq 4$일 때 모순을 이끌어낸다.
• $r=3$에서의 방법을 $r>3$로 일반화하여, 유사한 궤도 및 차원 논증을 통해 모든 $n,r \geq 4$에 대해 $C_r(\mathcal{N}_n)$이 비기약적임을 입증한다.

실험 결과

연구 질문

• RQ1 $n, r \geq 4$일 때 $C_r(\mathcal{N}_n)$이 비기약적인가?
• RQ2 $C_r(\mathfrak{gl}_n)$의 비기약성이 특정 조건 하에서 $C_r(\mathcal{N}_n)$의 비기약성으로 이어지는가?
• RQ3 $C_3(\mathcal{N}_n)$이 비기약적인 최소의 $n$은 무엇이며, 이 값은 30 이하로 제한될 수 있는가?
• RQ4 파라보릭 부분군의 궤도 폐쇄를 이용하여 $C_r(\mathcal{N}_n)$ 및 $C_r(\mathfrak{gl}_n)$의 차원에 대한 새로운 하한을 설정할 수 있는가?
• RQ5 $C_r(\mathcal{N}_n)$은 등차원적인가, 아니면 서로 다른 차원을 가진 여러 개의 기약 성분이 존재하는가?

주요 결과

• 모든 $n, r \geq 4$에 대해 니르포텐트 통근 다양체 $C_r(\mathcal{N}_n)$이 비기약적임을 입증하여, 통근 다양체 이론에서 핵심적인 열린 쟁점 문제를 해결한다.
• $r > 3$일 경우, $C_r(\mathfrak{gl}_n)$의 비기약성이 적절한 조건 하에서 $C_r(\mathcal{N}_n)$의 비기약성으로 이어지며, $n'_r = 4$로 $n_r$와 일치한다.
• $C_3(\mathcal{N}_n)$이 비기약적인 최소의 $n$인 $n'_3$에 대한 상한이 $n'_3 \leq 16$으로 향상되어 이전의 $[10,30]$ 간격을 크게 좁혔다.
• $(r+1)\dim \mathfrak{u}_P$로 주어지는 $\dim C_r(\mathcal{N}_n)$에 대한 새로운 하한이 설정되었으며, 이는 대부분의 $n, r \geq 4$에 대해 고전적 하한 $n^2 - n + (r-1)(n-1)$을 초월한다.
• $n,r \geq 4$일 때 $V_P = G \cdot \mathfrak{u}_P^r$가 $C_r(\mathcal{N}_n)$의 기약 성분임을 보이며, 이는 $V_P$가 최대 기약 성분임을 지지하는 추측을 뒷받침한다.
• $C_r(\mathfrak{gl}_n)$에 대해 $(r+1)\dim \mathfrak{u}_P + r$의 새로운 하한이 유도되었으며, 이는 $n \geq 4, r \geq 9$ 또는 $n \geq 12, r \geq 4$일 때 고전적 하한을 초월한다.