Algebraic cobordism rings of wonderful varieties and matroids

기술 요약: 경이로운 다양체와 매트로이드의 대수적 코보디즘 환(Algebraic Cobordism Rings)

문제 제기
본 논문은 루프 없는 매트로이드(loopless matroid) $M$의 베르그만 팬(Bergman fan)에 대응하는 토릭 다양체 $X_M$, 그리고 복소 하이퍼플레인 배열(hyperplane arrangement) $H$의 경이로운 압축(wonderful compactification) $W_H$라는 특정 클래스의 다양체들과 관련된 대수적 코보디즘 환 $\Omega^*(X)$의 계산 및 구조적 이해를 다룬다. $CH^*(X_M)$ 및 $CH^*(W_H)$와 $K_0(X_M)$ 및 $K_0(W_H)$의 초(Chow) 환과 K-이론 환은 이미 광범위하게 연구되었으며 풍부한 조합적 구조(포함 "Kähler package" 및 Chow 환과 K-환 사이의 예외적인 정수 동형 사상)를 가진 것으로 밝혀졌으나, 이들의 대수적 코보디즘 환 $\Omega^*(X_M)$ 및 $\Omega^*(W_H)$에 대한 명시적인 프레젠테이션은 기존에 존재하지 않았다. 레빈(Levine)과 모렐(Morel)에 의해 구축된 대수적 코보디즘은 유니버설 방향성 코호몰로지 이론(universal oriented cohomology theory)으로서, 라자드 환(Lazard ring) $L^*$ 위의 유니버설 형식군 법칙(formal group law)을 포함하기 때문에 Chow 이론이나 K-이론보다 계산이 훨씬 더 까다롭다.

방법론
저자들은 조합 대수, 형식군 법칙 이론, 그리고 토릭 다양체 및 블로업(blow-up)의 기하학을 결합한 방법을 사용한다.

1. 토릭 다양체 프레임워크: 저자들은 크리슈나(Krishna)와 우마(Uma)가 제공한 매끄러운 토릭 다양체 $X_\Sigma$의 대수적 코보디즘 환에 대한 기술을 활용한다. 이 프레젠테이션은 토릭 디바이서(toric divisors)에 대응하는 생성원들과 팬(fan)의 조합론 및 유니버설 형식군 법칙 $F_U$로부터 유도된 관계식들을 포함한다.
2. 조합적 프레젠테이션: 저자들은 매트로이드적 토릭 다양체의 Chow 환에 대한 파이트너-유즈빈스키(Feichtner–Yuzvinsky) 프레젠테이션을 대수적 코보디즘 설정으로 적응시킨다. 이는 비어선 플랫(non-empty flats)들에 의해 인덱스된 변수들을 정의하고, 비교 불가능한 플랫들 및 형식군 법칙으로부터 발생하는 관계식들에 의해 모듈로(modulo) 처리하는 과정을 포함한다.
3. 심플리셜 프레젠테이션: 핵심적인 방법론적 단계는 $\Omega^*(X_M)$에 대한 "심플리셜(simplicial)" 프레젠테이션을 유도하는 것이다. 이는 플랫의 격자(lattice of flats) 상에서의 뫼비우스 반전(Möbius inversion)을 이용한 변수 변환을 통해, Chow 및 K-이론 맥락에서 알려진 "심플리셜 생성원"들을 코보디즘 설정으로 들어 올리는(lifting) 과정을 포함한다.
4. 비교 정리: 저자들은 대수적 코보디즘, Chow 이론, 그리고 복소 코보디즘($MU^*$) 사이의 비교 정리를 활용한다. 구체적으로, 특정 다양체들에 대해 자연스러운 사상 $\Omega^*(X) \to CH^*(X)$가 $CH^*(X)$가 $\mathbb{Z}$ 위에서 자유(free)일 경우 $\Omega^*(X)$를 $L^*$ 상의 자유 모듈로 회복할 수 있다는 사실을 이용한다.
5. 임베딩 분석: 경이로운 다양체 $W_H$에 대하여, 저자들은 정준 포함 사상 $\iota: W_H \hookrightarrow X_{M_H}$를 분석한다. 저자들은 사이클 클래스 맵(cycle class map)과 $W_H$가 사영 공간의 반복적인 블로업(iterated blow-up)이라는 구조를 연구함으로써, 이 포함 사상이 관련 코호몰로지 환들 사이에 동형을 유도함을 증명한다.

주요 기여 및 결과

1. $\Omega^*(X_M)$를 위한 심플리셜 프레젠테이션:
   주요 결과는 루프 없는 매트로이드 $M$의 베르그만 팬에 대응하는 토릭 다양체 $X_M$의 대수적 코보디즘 환에 대한 조합적 프레젠테이션이다. 이 환은 비어 있지 않은 플랫 $G$에 대한 요소 $h_G$(심플리셜 생성원의 리프트)들로 생성되며, 형식군 법칙 $F_U$를 포함하는 관계식들을 따른다:
   $$\Omega^*(X_M) \cong \frac{L^*[h_G : G \neq \emptyset]}{\langle (h_G - h_{G \vee H})(h_H - h_{G \vee H}) \rangle + \langle h_G : \text{rank}(G)=1 \rangle}$$
   결정적으로, 이 프레젠테이션은 $L^*$-대수의 동형 사상을 제공한다:
   $$\Omega^*(X_M) \cong CH^*(X_M) \otimes_{\mathbb{Z}} L^*$$
   이 결과는 임의의 자유 방향성 코호몰로지 이론 $h^*$에 대하여, $h^*(X_M) \cong \Omega^*(X_M) \otimes_{L^*} h^*(pt)$가 성립함을 의미한다.

2. 예외적 동형 사상의 일반화:
   $\Omega^*(X_M) \cong CH^*(X_M) \otimes_{\mathbb{Z}} L^*$ 동형 사상은 최근 Berget–Eur–Spink–Tseng 및 Larson–Li–Payne–Proudfoot에 의해 확립된 "예외적 동형 사상" $K_0(X_M) \cong CH^*(X_M)$를 일반화한다. 저자들은 이러한 성질이 드문 것이라고 언급하며, $CH^*(X) \not\cong K_0(X)$인 매끄러운 사영 토릭 다양체의 스페이어(Speyer)의 예시를 들어, 매트로이드적 토릭 다양체에서의 동형 사상이 특수한 구조적 특징임을 보여준다.

3. 경이로운 다양체를 위한 동형 사상:
   저자들은 포함 사상 $\iota: W_H \hookrightarrow X_{M_H}$가 대수적 코보디즘 환의 동형 $\iota^*: \Omega^*(X_{M_H}) \xrightarrow{\sim} \Omega^*(W_H)$를 유도함을 증명한다. 나아가, 대수적 코보디즘에서 복소 코보디즘으로의 자연스러운 사상이 다음의 동형을 유도함을 확립한다:
   $$\Omega^*(W_H) \xrightarrow{\sim} MU^*(W_H(\mathbb{C}))$$
   결과적으로, 경이로운 다양체의 대수적 코보디즘 환은 그 복소 코보디즘 환과 일치하며, Chow 환과 라자드 환의 텐서 곱과 동형이다.

4. 매트로이드 구조에 대한 의존성:
   본 논문은 코보디즘 클래스 $[W_H \to pt]$가 $\Omega^*(pt)$(및 $MU^*(pt)$) 내에서 하이퍼플레인 배열 $H$의 기저 매트로이드 $M_H$에 의해서만 결정됨을 보여준다. 이는 탄젠트 번들의 총 Chern 클래스에 대한 쳉(Cheng)의 공식을 통해, $W_H$의 Chern 수들이 $M_H$의 조합론에 의해 완전히 결정됨을 확인함으로써 입증된다.

의의 및 주장
본 논문은 베르그만 팬의 토릭 다양체와 하이퍼플레인 배열의 경이로운 압축에 대한 대수적 코보디즘 환의 첫 번째 명시적 조합적 프레젠테이션을 제공한다고 주장한다. $\Omega^*(X_M) \cong CH^*(X_M) \otimes_{\mathbb{Z}} L^*$ 동형을 확립함으로써, 저자들은 이들의 대수적 코보디즘 환의 복잡한 구조가 전적으로 그들의 Chow 환과 유니버설 형식군 법칙에 의해 지배됨을 보여준다.

그 의의는 다음과 같다:

• 통합: 본 연구는 Chow 환, K-환, 그리고 매트로이드적 다양체의 대수적 코보디즘 환에 대한 연구를 하나의 프레임워크 아래 통합하며, Chow와 K-이론 사이의 "예외적 동형 사상"이 대수적 코보디즘을 포함하는 더 깊은 동형 사상의 그림자임을 보여준다.
• 계산적 접근: 일반적으로 계산하기 어려운 이러한 다양체들의 대수적 코보디즘 클래스를 계산하기 위한 구체적인 방법을 제공한다.
• 매트로이드 불변량: 경이로운 압축의 깊은 기하학적 불변량(예: 코보디즘 클래스 $[W_H \to pt]$)이 순수하게 하이퍼플레인 배열 $H$의 기저 매트로이드 $M_H$의 조합론적 불변량임을 확인하며, 이러한 성질을 Chow 및 K-이론에서 유니버설 방향성 코호몰로지 이론으로 확장한다.

저자들은 관련 맥락에서 $M_{0,n}$의 클래스에 대한 재귀적 공식(Ellis-Bloor를 통해)을 명시적으로 제공하지만, 라자드 환 생성원들에 대한 $[W_H \to pt]$의 명시적인 재귀적 공식은 향후 연구 과제로 남겨둔다고 명시하였다. 또한 $\Omega^*(X) \cong CH^*(X) \otimes L^*$ 동형이 모든 매끄러운 사영 토릭 다양체에 대해 성립하는 것은 아님을 언급하며, 매트로이드적 다양체의 특수성을 강조하였다.