Invariants of real affine varieties based on their complexifications

제목: 복소화 (Complexifications) 에 기반한 실수 아핀 다양체의 불변량
저자: 율리우스즈 바네키 (Juliusz Banecki)

1. 문제 제기

본 논문은 실수 대수 기하학의 근본적인 실현 문제, 특히 위상 데이터와 대수적 구조 간의 관계에 관한 문제를 다룬다. 연구된 핵심 쟁점들은 다음과 같다:

1. 호모토피 클래스의 대수적 실현: 실수 대수 집합 (특히 구들의 곱) 사이의 연속 사상의 호모토피 클래스 중 어떤 것들이 정규 (대수적) 사상에 의해 표현될 수 있는지 결정하는 것.
2. 대수적 근사: 실수 대수 집합의 매끄러운 부분다양체가 "약한 대수적 근사" (Zariski 닫힌 부분집합의 비특이점에 의한 근사) 를 허용하는지 조사하는 것.
3. 기존 불변량의 한계: 특이 호몰로지/코호몰로지나 표준 대수적 K-이론에 기반한 현재 불변량들은 특정 경우 (예: 서로 다른 차원의 구 사이) 에 정규 사상의 존재를 방해하거나 대수적 및 비대수적 근사 시나리오를 구별하는 데 종종 너무 약하다.

2. 방법론

저자는 실수 아핀 다양체의 복소화 (complexifications) 위상학을 통해 정의된 새로운 불변량 군을 도입한다. 방법론은 다음 단계들에 의존한다:

• 복소화: 비특이 완전 실수 아핀 다양체 $X$에 대하여, 그 실수 점 $X$가 $\mathcal{X}$에서 Zariski 조밀한 (Zariski dense) $\mathbb{R}$ 위에서 정의된 비특이 사영 복소 다양체 $\mathcal{X}$ (복소 다양체) 를 고려한다.
• 일반화된 코호몰로지 이론: 특이 코호몰로지 대신 더 강력한 일반화된 코호몰로지 이론을 사용한다. 구체적으로 다음을 활용한다:
  • 복소 지향 이론 ($E^*$): 복소 K-이론 ($KU^*$) 과 복소 코보디즘과 같은 이론들.
  • 실수 지향 등가 이론 ($F^\star$): 복소화에서의 복소 켤레에 의해 유도된 $\mathbb{Z}/2$-작용을 고려하는 아티야의 실수 K-이론 ($KR^\star$) 과 실수 코보디즘과 같은 이론들.
• 불변량의 정의: 이론 $E^*$ (또는 $F^\star$) 에 대해, 불변량 $E^*_C(X)$ (또는 $F^\star_C(X)$) 는 실수 점의 포함 사상에 따른 복소화의 코호몰로지의 상으로 정의된다:
  $$E^*_C(X) := \text{im}(i^*: E^*(\mathcal{X}) \to E^*(X))$$
  본 논문은 이 상이 복소화 $\mathcal{X}$의 선택과 무관함을 증명한다.
• 대수적 K-이론과의 비교: 저자는 이러한 새로운 불변량들이 고전적인 대수적 K-군 (예: $K_0(R(X, \mathbb{C}))$) 을 부분군으로 포함함을Establish하여, 특이 호몰로지 불변량보다 엄격히 강력하지만 원시 대수적 K-이론보다 다루기 쉬운 계산 가능한 프레임워크를 제공한다.

3. 주요 기여 및 결과

A. 구에 대한 불변량 계산

본 논문은 모든 $n$에 대해 불변량 $KU^*_C(S^n)$과 $KR^\star_C(S^n)$의 완전한 계산을 제공한다.

• 유니터리 경우: $n$이 짝수이면 $KU^p_C(S^n) = KU^p(S^n)$이며, $n$이 홀수이면 $0$이다.
• 직교/실수 경우: $KO^p_C(S^n)$의 구조는 $n$을 4 와 8 로 나눈 나머지 (합동) 에 의해 결정된다. 부분군 $KO^p_C(S^n)$의 전체 위상군 $KO^p(S^n)$ 내의 지수는 차원의 이진 전개에 의존하는 함수 $\phi(n, m)$으로 설명된다.

B. 대수적 벡터 다발의 분류

계산된 불변량을 사용하여, 두 구 $S^n \times S^m$의 곱에 대한 대수적 벡터 다발의 위상 동형 클래스를 완전히 분류한다.

• 정리: 대수적 K-군 $\tilde{K}_0(R(S^n \times S^m, \mathbb{K}))$ (여기서 $\mathbb{K} \in \{\mathbb{R}, \mathbb{C}, \mathbb{H}\}$) 의 대응하는 위상 K-군 내의 상은 $\phi(n, m)$에 의해 결정된 지수를 가진 부분군의 직합으로 명시적으로 기술된다.
• 이는 $K_0(R(S^2 \times S^2, \mathbb{H}))$을 계산하는 오랜 문제를 해결하고 보흐나크 (Bochnak) 와 쿠차르 (Kucharz) 의 이전 결과를 일반화한다.

C. 구 사이의 정규 사상

불변량은 정규 사상 $f: S^n \times S^m \to S^{n+m}$의 존재를 결정하는 데 적용된다.

• 추측의 반증: 본 논문은 $n$차원 비특이 콤팩트 실수 대수 집합에서 $S^n$으로 가는 모든 연속 사상이 정규 사상과 호모토픽하다는 주장을 펼친 보흐나크와 쿠차르 (2022) 의 추측 1.11 을 반증한다.
  • 결과: $n \equiv 1 \pmod 4$이고 $n > 1$이면, 어떤 정규 사상과도 호모토픽하지 않은 연속 사상 $S^n \times S^m \to S^{n+m}$이 존재한다.
• 새로운 장애물: 본 논문은 정규 사상이 존재할 필요충분조건이 위상 차수가 짝수인 특정 조건 (예: 한 차원은 $2 \pmod 4$, 다른 차원은 $2, 3 \pmod 4$) 을 식별한다.
• 긍정적 결과: 저자는 "좋은 노름 이차 형식 (nice normed bilinear maps)"을 사용한 로달 (Loday) 의 구성을 일반화하여, $n \le 8$이고 이항계수 $\binom{n+m}{n}$이 홀수이면 모든 연속 사상 $S^n \times S^m \to S^{n+m}$이 정규 사상과 호모토픽함을 보인다. 이는 정규 사상의 존재를 $\binom{n+m}{n}$의 홀짝성과 연결하는 새로운 추측 (추측 1.15) 을 지지한다.

D. 대수적 근사에 대한 장애물

본 논문은 부분다양체의 약한 대수적 근사 문제를 다룬다.

• 추측의 반증: 포함 사상 $[M \hookrightarrow X]$의 보디즘 (bordism) 클래스의 대수성이 약한 대수적 근사의 존재에 충분하다는 [26] 의 추측을 반증한다.
• 반례: 저자는 차원 6 인 비특이 콤팩트 실수 대수 집합 $X$와 차원 4 인 매끄러운 부분다양체 $M$을 구성하여 다음을 보인다:
  1. 포함 사상의 보디즘 클래스는 0 이다 (대수적).
  2. $M$은 $X$ 내에서 약한 대수적 근사를 허용하지 않는다.
• 메커니즘: 장애물은 새로운 불변량 (특히 $H^*_C(X; \mathbb{Z})$과 실수 지향 이론을 사용) 에 의해 제공되며, 이는 보디즘 장애물이 소멸하더라도 필요한 코호몰로지 클래스가 대수적으로 실현될 수 없음을 감지한다.

4. 의의

본 논문은 세 가지 주요 영역에서 의의를 주장한다:

1. 이론적 발전: 초등적인 특이 호몰로지 불변량과 계산이 어려운 대수적 K-군 사이의 간극을 메우는 강력하고 계산 가능한 불변량 군 ($E^*_C$ 및 $F^\star_C$) 을 도입한다. 이러한 불변량은 복소화의 선택과 무관함이 입증된다.
2. 미해결 문제의 해결: 구들의 곱에 대한 대수적 벡터 다발의 첫 번째 완전한 분류를 제공하고, 대수 집합에서 구로의 정규 사상에 관한 추측 1.11 의 상태를 확정한다.
3. 충분성 조건의 반박: 포함 사상의 보디즘 클래스의 대수성이 약한 대수적 근사에 충분하지 않음을 보여줌으로써 실수 대수 기하학의 장애물에 대한 이해를 정제한다. 이러한 결과는 이러한 근사 문제를 완전히 특징짓기 위해서는 실수 지향 코호몰로지에 기반한 더 강력한 불변량이 필요함을 시사한다.

본 논문은 현재 제시된 반례들에 대해서는 K-이론에 기반한 불변량이 충분하지만, [26] 의 추측 B(p) 와 같은 남은 미해결 사례를 해결하기 위해서는 실수 코보디즘과 같은 더 강력한 이론이 필요할 수 있음을 결론짓는다.