Schur 유한성 및 영 추적 엔도모르피즘의 영 멱제성 조건

본 논문은 ℚ‑선형 텐서 범주 A에 대해, 특히 동차형(즉, 슈퍼 벡터 공간으로의 텐서 펑터 H가 존재)이라는 구조를 가정하고, Schur‑유한 객체에 대한 영‑추적 엔도모르피즘(N(A))의 멱제성을 연구한다. 서론에서는 Kimura가 동기 부여한 유한 차원 객체에 대한 결과를 회고하고, Schur‑유한성은 보다 넓은 범주에서 적용 가능하지만, 기존에는 N(A)의 영‑멱제성을 보장하지 못한다는 점을 지적한다. 이를 극복하기 위해 저자는 “부호 성질(sign property)”이라는 추가 가정을 도입한다. 부호 성질은 H(A)=H(A)⁰⊕H(A)¹의 짝·홀 사영이 A 안의 실제 엔도모르피즘으로 승격될 수 있음을 의미한다. 이 가정은 특히 동기 부여된 김우라‑오설리반의 유한 차원 이론과 동형학적 동기 부여(예: Chow motives의 경우)와 일치한다. 다음으로 Schur‑유한성의 정의를 명확히 한다. 파티션 λ에 대해 Schur functor S_λ를 적용한 결과 S_λ(A)=0이면 A는 Schur‑유한이라고 한다. λ가 (d₀+1, d₁+1) 직사각형을 포함하면 H(A)의 차원 (d₀|d₁)와 연관된 사라짐 조건이 되며, 이는 Berele‑Regev의 Hook Schur 함수 이론과 직접 연결된다. 그러나 λ가 (d₀+2, d₁+2) 직사각형을 포함하면, 이후 전개에 필요한 비영성(non‑vanishing) 조건이 깨진다. 주요 정리(Theorem 2.4)는 다음과 같다. A가 부호 성질을 가지고, H(A)의 차원을 d₀|d₁라 하자. 파티션 λ가 n≥2인 경우에 대해 (d₁+2)(d₀+2)⊈λ (즉, λ가 (d₀+2, d₁+2) 직사각형을 포함하지 않는다)이며 S_λ(A)=0이면, λ의 최대 훅의 길이를 s라 할 때, 모든 f∈N(A) 에 대해 f^{s‑1}=0이다. 증명은 두 단계로 구성된다. 첫 단계에서는 다중 트레이스 함수 y(δ;f₁,…,f_r) = Tr(d_δ ∘ f₁⊗…⊗f_r) 를 정의하고, 이 함수가 영이 아니면 f^{s‑1}=0임을 기존 결과(