알제브라적 코보르디즘에서의 슈베르트 미적분

본 논문은 알제브라적 코보르디즘 \(\Omega^{*}(-)\) 을 이용해 완전 플래그 다양체 \(G/B\) 위에 Schubert 미적분 체계를 구축한다. 서론에서는 코보르디즘이 Levine‑Morel에 의해 정의된 보편적인 지향성 대수동형 이론이며, 그 계수 링이 Lazard 링 \(L\) 과 동형임을 상기한다. 특히, 셀룰러 다양체에 대해 \(\Omega^{*}(X)\)가 \(L\)-모듈로서 자유이며, 차수 1인 변수들의 다항식 링을 대칭 다항식 이상으로 나눈 형태와 동형이라는 Borel‑type 프레젠테이션을 제시한다(정리 1.1). 이는 기존의 Chow 링에 대한 Borel 정리를 코보르디즘으로 일반화한 결과이다. 다음으로, Schubert 사이클을 대표하는 Bott‑Samelson 해석 \(R_{I}\) (단순 뿌리들의 튜플 \(I=(\alpha_{1},\dots ,\alpha_{l})\) 에 대응)를 정의하고, 이들의 코보르디즘 클래스를 계산하기 위한 핵심 도구인 일반화된 나눗셈 차분 연산자 \(A_{i}\) 를 도입한다. \(A_{i}\)는 형식적으로 \((1+\sigma_{\alpha_{i}})/c_{1}(L(\alpha_{i}))\)와 유사하지만, 실제 구현에서는 Lazard 링의 형식군 법칙 \(F(x,y)\) 을 사용해 \(c_{1}(L(\alpha_{i}))\)를 다항식으로 전개한다. 이 연산자는 Bressler‑Evens가 복소 코보르디즘에서 사용한 연산자의 알제브라적 아날로그이며, Demazure가 Chow 링에서 제시한 푸시포워드 해석을 코보르디즘에 맞게 재구성한 것이다. 핵심 정리 1.2는 “\(R_{I}\)의 코보르디즘 클래스는 \(A_{l}\cdots A_{1}