혼합 판별식의 차수와 플러커 좌표에 관한 연구

본 논문은 n개의 라우렌트 다항식이 n개의 변수에서 동시에 영이 되는 시스템을 연구한다. 각 다항식 f_i는 고정된 지수집합 A_i⊂ℤⁿ를 갖고, 일반적인 계수 선택에 따라 베르니슈-베르너슈 정리에 의해 해의 수는 뉴턴 다각형 Q_i=conv(A_i)의 혼합 부피 MV(Q₁,…,Qₙ)와 일치한다. 그러나 특정 계수값에서는 두 개 이상의 해가 동일한 점에서 겹치며, 이는 “비퇴화 다중근”이라 정의한다. 이러한 현상을 포착하는 불변량이 바로 혼합 판별식 Δ_{A₁,…,Aₙ}이다. 첫 번째 주요 결과는 Cayley 트릭을 이용해 시스템을 하나의 다변수 다항식 φ(x,y)=∑_{i=1}ⁿ y_i f_i(x) 로 묶고, 이때의 A‑판별식 Δ_A와 혼합 판별식이 동일함을 보이는 정리 2.1이다. 여기서 A는 각 A_i를 블록 형태로 삽입한 2n×m(Cayley) 행렬이며, m=∑|A_i|이다. 이 동등성은 결함 여부도 일치함을 의미한다; 즉 A가 결함이면 Δ_{A₁,…,Aₙ}=1이 된다. 다음으로 n=2, 즉 평면 곡선 경우에 초점을 맞춘다. 두 곡선 {f₁=0}와 {f₂=0}이 한 점에서 접할 때의 조건을 bidegree (δ₁,δ₂) 로 표현한다. 정리 3.3은 일반적인 A₁, A₂에 대해 δ₁ = area(Q₁+Q₂) – area(Q₁) – perim(Q₂), δ₂ = area(Q₁+Q₂) – area(Q₂) – perim(Q₁) 라는 명시적 공식을 제시한다. 여기서 area는 격자 면적(단위 삼각형 면적=1)이며, perim은 격자 점이 포함된 경계 길이(∂Q∩ℤ²)의 개수이다. 이 식은 고전적인 dense case(차수 d₁, d₂)에서의 tact invariant 차수 (d₂²+2d₁d₂–3d₂, d₁²+2d₁d₂–3d₁)와 일치한다. 그러나 희소 다항식의 경우, 실제 차수는 (1.3)의 우변보다 작을 수 있다. 예를 들어, 두 3항 다항식 f₁, f₂이 서로 다른 차수 d₁, d₂(서로소)일 때 bidegree는 (1.6)와 같이 최소공배수(min{d₁,d₂})에 의해 감소한다. 섹션 4에서는 혼합 판별식 차수를 ℤⁿ-그레이딩에서 플러커 좌표(Plücker coordinates)로 기술한다. 2n 차원 부분공간을 행공간으로 보는 mixed Grassmannian G(2n,𝓘)를 정의하고, 이 공간을 매트로이드(strata)로 분할한다. 정리 1.1은 차수가 각 매트로이드 층 위에서 선형 함수이며, 층마다 고유한 다항식 형태가 존재함을 증명한다. 증명은 열대 기하학(tropical geometry)과 열대 판별식의 조합을 이용한다. 매트로이드 구조는 A_i들의 정점·면 관계를 반영하므로, 차수의 조각선형성은 구성들의 combinatorial 변형에 강인함을 보여준다. 결함(conic) 구성에 대한 논의도 포함된다. Proposition 2.4와 Remark 2.6은 n=2,3 차원에서 결함 여부를 A_i가 표준 단순체 σ_n의 스케일·이동 형태인지 여부로 판정한다. 결함이면 혼합 판별식은 1이 되며, 이는 시스템이 선형 방정식 집합으로 환원됨을 의미한다. 전체적으로 논문은 혼합 판별식의 차수를 기하학적(다각형 부피·경계) 및 대수적(플러커 좌표·Grassmannian) 두 관점에서 동시에 해석함으로써, 기존의 dense case 결과를 일반적인 희소 상황으로 확장한다. 특히, 차수가 플러커 좌표에 대한 조각선형 함수라는 사실은 혼합 판별식이 복잡한 다항식이지만 그 차수 구조는 비교적 단순하고, 매트로이드 층에 따라 명시적으로 계산될 수 있음을 보여준다. 이는 다변량 결과물의 복잡성을 이해하고, 실제 계산(예: 시스템의 특이점 검출, 토러스 해의 다중성 분석)에서 유용한 도구가 될 것이다.