기하학적 격자를 가진 부분공간 배열의 유리 동형 유형

본 논문은 복소수 공간 ℂ^ℓ 안에 놓인 유한한 부분공간들의 배열 A={x₁,…,x_n}을 연구한다. A가 중앙(모든 x_i가 원점 통과)이며, 각 부분공간의 여차원(codim)≥2라는 가정을 둔다. 이러한 배열에 대해 부분공간들의 교집합을 포함하는 격자 L(A) 를 정의하고, L(A)가 기하학적(geometric) 격자라는 추가 조건을 부과한다. 기하학적 격자는 rk(x)+rk(y)≥rk(x∧y)+rk(x∨y) 를 만족하는 랭크 함수 rk를 갖는 격자이며, 이는 부분공간 배열의 조합론적 구조를 제어한다. 논문의 첫 번째 목표는 보완 공간 M(A)=ℂ^ℓ\⋃_{x∈A}x 가 1‑연결(π₁=0)임을 보이는 것이다. 이를 위해 레마 2.3에서는 S¹에서 ℂ^ℓ의 구면 S^{2ℓ−1}을 뺀 부분에 매끄러운 확장을 구성하고, 레마 2.4에서 이러한 확장이 모든 루프를 수축시켜 π₁이 자명함을 증명한다. 1‑연결성은 유리 동형 이론에서 최소 모델(minimal model) (ΛV,d) 를 적용하기 위한 전제 조건이다. 다음으로, Yuzvinsky가 제시한 상대 원자 미분대수 (D_A,d) 를 이용해 M(A)의 유리 모델을 구축한다. D_A는 부분공간들의 부분집합 σ⊆A 를 생성원으로 하고, 차원 deg(σ)=2·codim(∨σ)−|σ| 로 정의한다. 미분 d는 σ에서 한 원소를 제거하는 연산의 교호 부호 합으로 정의되며, 곱 연산은 코디멘션이 보존될 때만 비제로가 된다. 기하학적 격자일 경우, H⁎(M(A))는 독립 집합 σ에 대응하는 클래스