실수·복소 행렬의 제한된 계수와 K 이론을 통한 차원 상한

1. 서론에서는 n×n 복소 행렬 공간 M_n(ℂ)에서 실수 행렬 R과 에르미트 행렬 H를 각각 실벡터 부분공간으로 정의하고, 최소 계수 m을 갖는 부분공간들의 최대 차원을 h_{n,m}, r_{n,m}이라 명명한다. 기존 연구(Adams, Lax, Phillips)는 전부 가역인 경우, 즉 최소 계수가 n인 경우에 대해 h_{n,n}=ρ_ℂ(n/2)+1, r_{n,n}=ρ(n)이라는 정확한 값을 라돈‑허위츠 수를 통해 제시하였다. 2. 논문의 주요 목표는 최소 계수가 n‑1인 경우, 즉 행렬이 거의 전부 가역이지만 영행렬이 포함될 수 있는 상황에서 h_{n,n‑1}, r_{n,n‑1}의 상한을 구하는 것이다. 이를 위해 저자는 어드저게이트 행렬 개념을 활용한다. 행렬 A에 대해 A^c는 A의 어드저게이트의 전치이며, ψ(A)=A+iA^c 라는 복소 선형 변환을 정의한다. 3. ψ의 핵심 성질은 다음과 같다. (i) rank A≥n‑1이면 det A는 순허수이며, ψ(A)∈GL_n(ℂ)이다. (ii) n이 짝수이면 ψ(−A)=−ψ(A)이므로 ψ는 ‘홀수 지도’가 된다. (iii) ψ는 연속적이며, Z={A∈M_n(ℂ) | rank A≥n‑1, det A∉ℝ_{≥0}}에 대해 ψ(Z)⊂GL_n(ℂ)임을 증명한다. 4. V⊂Z∪{0}가 실수 벡터공간이고 dim V=d라 하면, ψ를 V의 단위 구 S^{d‑1}에 제한하면 ψ:S^{d‑1}→GL_n(ℂ)가 홀수 지도가 된다. 이때 ψ는 RP^{d‑1} 위의 복소 번들 동형 C^n ≅ n·ξ_ℂ 을 유도한다(ξ는 실프로젝트 공간 RP^{d‑1}의 정준 실벡터 번들, ξ_ℂ는 그 복소화). 이 동형은 K‑이론에서 “n·μ=0”이라는 관계를 만든다(μ=