라오니안 다항식과 열대 선형공간의 입체 기하학

초록

라오니안 다항식의 새로운 개념인 라오니안 적절 위치를 도입하고, 이를 이용해 M‑볼록 함수의 원소적 몫을 라오니안 방식으로 특징짓는다. 이 도구를 열대 선형공간과 그 코디멘션‑1 부분공간들의 모듈리 공간 Dr₁(µ)에 적용하여, 전통적인 선형 기하학에서 기대되는 몇몇 입체 성질이 열대 경우에는 성립하지 않음을 보인다. 특히 n≥8일 때 모든 매트로이드의 부분순서가 부분모듈라가 아님을 증명하고, 매트로이드의 어드전트 개념을 열대 선형공간에 일반화하여 일부 입체 성질이 유지되는 경우를 제시한다.

상세 분석

본 논문은 라오니안 다항식(Lorentzian polynomial) 이론에 ‘적절 위치(proper position)’라는 개념을 도입함으로써, 안정 다항식(stable polynomial) 이론과의 유사성을 강조한다. 정의 1.1에 따르면, 차수가 d와 d+1인 두 라오니안 다항식 f와 g에 대해 f≪ₗg 라는 관계는 g+w_{n+1}f 가 라오니안 다항식이 되는 경우로 정의된다. 이는 안정 다항식에서 f≪g 라는 관계와 직접적인 대응을 이루며, 라오니안 다항식의 폐합(convex) 성질을 부분적으로 보존한다(명제 1.3).

이러한 라오니안 적절 위치를 이용해, 평가 매트로이드(valuated matroid) µ와 그 코디멘션‑1 몫 θ 사이의 관계를 다항식 f_{µ,q}와 f_{θ,q} (0<q≤1) 로 표현한다. 정리 A는 µ↠θ (θ가 µ의 매트로이드 몫) ⇔ f_{θ,q}≪ₗf_{µ,q} 가 모든 q에 대해 성립함을 보이며, 이는 기존의 Fink‑Moci 결과를 라오니안 관점에서 재해석한다.

이후 Dr₁(µ) = {코디멘션‑1 열대 선형 부분공간} 를 연구한다. 코롤라리 1.4는 Dr₁(µ)가 열대적으로 볼록함을 보여주며, 이는 두 부분공간의 열대 선형 결합이 다시 µ의 부분공간이 됨을 의미한다. 정리 4.3은 Dr₁(µ)를 구체적인 열대 초평면들의 교집합으로 기술하고, 특히 µ가 균일 매트로이드일 때 기존 결과를 일반화한다.

정리 B는 라오니안 적절 위치의 반대 방향 집합 {h | h≪ₗf_{µ,q}} 가 Dr₁(µ) 로 생성되는 볼록 원뿔을 포함함을 보여, 라오니안 적절 위치가 완전한 볼록성을 갖지는 않지만, 열대 기하학적 구조와 깊게 연결됨을 확인한다. 실제 예시(예 3.21)는 전반적인 볼록성이 깨지는 경우를 제공한다.

입체 기하학적 관점에서는 전통적인 성질(P1‑P3)을 열대 상황에 옮겨 검토한다. 정리 C는 차원 3인 열대 평면에서 모든 열대 직선이 교차함을 증명해 (P1)의 부분적 성립을 보여준다. 그러나 차원 d≥4에서는 (P1)이 실패함을 예시와 명제 6.16을 통해 제시하고, 이는 매트로이드 부분순서가 n≥8에서 상위 반모듈라가 아님을 증명하는 근거가 된다.

어드전트 개념을 열대 선형공간에 확대한다. 매트로이드 M의 어드전트는 L₁(M) 위의 매트로이드 W 로 정의되며, Dr₁(M) 안에 차원 d‑1의 열대 선형공간이 존재하는 경우와 동치이다(정리 4.12). 정리 D는 어드전트를 가진 평가 매트로이드 µ에 대해, d‑1개의 임의의 점이 코디멘션‑1 열대 선형 부분공간에 포함될 수 있음을 보인다. 이는 모든 차원 3 매트로이드가 어드전트를 가지므로, (P2)의 차원 3 경우가 성립함을 의미한다. 반면 Levi 교차 성질이 없는 매트로이드에 대해서는 (P2)가 실패함을 정리 E가 보여준다.

마지막으로 정리 F와 G는 (P3)과 관련된 부분을 다룬다. 정리 F는 임의의 점을 포함하는 부분플래그가 완전될 수 있음을 보이며, 정리 G는 특정 매트로이드(유한 체 위의 프로젝트 평면)와 그 하위 균일 매트로이드 사이에 기대되는 포함 관계가 열대 세계에서는 존재하지 않음을 예시한다.

전반적으로 논문은 라오니안 다항식 이론과 열대 기하학을 연결하는 새로운 프레임워크를 제공하고, 열대 선형공간의 입체 구조가 전통적인 선형 대수와는 다른 복잡성을 지님을 다각도로 증명한다.