Automorphic Cohomology and the Limits of Algebraic Cycles

기술 요약: 오토모픽 코호몰로지와 대수적 사이클의 한계

1. 문제 제기
본 논문은 호지 추측(Hodge conjecture)에 대한 이해의 특정 공백을 다루며, 초점의 중심을 대수적 사이클의 존재성에서 그들의 *구성 가능성(constructibility)*으로 전환한다. 호지 추측은 모든 유리 호지 클래스(rational Hodge class)가 대수적 사이클 클래스의 선형 결합임을 단언하지만, 이러한 사이클들이 현재 알려진 기하학적 방법론들을 통해 명시적으로 구성될 수 있음을 보장하지는 않는다.

핵심 문제는 직교 군(orthogonal groups)과 관련된 시무라 다양체(Shimura varieties)의 코호몰로지가 알려진 사이클 구성법들에 의해 완전히 소진되는가 하는 점이다. 이러한 구성법들은 다음을 포함한다:

1. 특수 사이클(Special cycles): 양의 정부호 부분 공간(positive-definite subspaces)에 의해 정의되는 쿠들라-밀슨슨(Kudla–Millson) 유형.
2. 테타 리프트(Theta lifts): 더 작은 시무라 다양체로부터의 사이클 전이.
3. 엔도스코픽 전이(Endoscopic transfers): 더 작은 군의 시무라 부분 다양체로부터의 전이.
4. 경계 푸시포워드(Boundary push-forwards): 컴팩트화 경계로부터의 가이즌 사상(Gysin maps).

저자들은 '안정적 잔여(stable residual)' 오토모픽 표현(아서의 분류에서 식별된 특정 스펙트럼 유형)이 위 네 가지 알려진 기하학적 구성법을 회피하는 호지 클래스를 생성하는지 조사한다.

2. 방법론
본 논문은 오토모픽 표현론, 호지 이론, 그리고 시무라 다양체의 기하학을 결합한 무조건적이고 구성적인 접근 방식을 채택한다. 방법론은 네 단계로 진행된다:

• 1단계: 기저 모듈러 형식(Base Modular Form). 구성은 타원 곡선 $E_{11}$(따라오는 11의 컨덕터)에 대응하는 유일한 웨이트-2 뉴폼 $f \in S_2(\Gamma_0(11))$에서 시작된다. 이 형식의 푸리에 계수의 유리성은 결과물인 코호몰로지 클래스가 $\mathbb{Q}$ 위에서 정의됨을 보장한다.
• 2단계: 아드조인트 표현(Adjoint Representation). 저자들은 $f$와 연관된 갈루아 표현 $\text{Ad}(\rho_f)$의 아드조인트 표현을 고려한다. 이 3차원 표현은 호지-테이트 웨이트(Hodge–Tate weights) $\{1, 0, -1\}$를 갖는다. 연관된 $L$-함수 $L(s, \text{Ad}(\rho_f))$는 리만 제타 함수 $\zeta(s)$와 홀로모픽 $L$-함수로 분해된다. $s=1$에서의 $\zeta(s)$의 단순 극점(simple pole)은 이 구성을 이끄는 결정적인 특징이다.
• **3단계: $SO(2, 26)$로의 테타 리프트.** 듀얼 페어$(SL_2, SO(V))$(여기서$\dim V = 28$이고 시그니처는$(2, 26)$)에 대한 테타 대응을 사용하여,$f$를$SO(2, 26)$상의 오토모픽 표현$\Pi$로 리프트한다. 랄리스 내적 공식(Rallis inner product formula)에 의해, 이 리프트는 0이 아니다. 결과적인 표현 $\Pi$는 **안정적 잔여(stable residual)**로 식별된다: 이는 $s=1$에서의 극점 때문에 아이젠슈타인 급수의 잔여(residue)로부터 발생하지만, 그 아서 파라미터 $\psi = \text{Ad}(f) \boxtimes \mathbf{1}^{25}$는 어떠한 진정한 레비 부분군(proper Levi subgroup)을 통해서도 인수분해되지 않는다(stability).
• 4단계: 코호몰로지 실현(Cohomological Realization). 보건-주커만(Vogan–Zuckerman) 이론을 사용하여, 저자들은 $\Pi$의 아르키메데스 성분의 $(\mathfrak{g}, K)$-코호몰로지를 계산한다. 웨이트-2 형식과 제로 호지-테이트 웨이트에 의해 결정된 무한소 캐릭터(infinitesimal character)는 코호몰로지가 차수 26과 순수 호지 타입 $(13, 13)$에 집중되도록 강제한다. 이는 유일한 유리 호지 클래스 $\Omega_E \in IH^{26}(X_{BB}, \mathbb{Q})$를 산출한다.

3. 주요 기여 및 결과
본 논문은 대수적 사이클 구성에 관한 명시적인 장애 정리(obstruction theorem)를 확립한다.

• $\Omega_E$의 존재성: 저자들은 $SO(2, 26)$의 베일리-보렐 컴팩트화$X_{BB}$상의 특정한 유리 호지 클래스$\Omega_E$를 구성한다.
• 스펙트럼 고립(Spectral Isolation): $\Omega_E$는 안정적 잔여 아서 파라미터로부터 발생한다. 결과적으로, 이는 전체 교차 코호몰로지 $IH^{26}(X_{BB}, \mathbb{Q})$에는 속하지만, 내부 코호몰로지 $IH^{26}_!(X_{BB}, \mathbb{Q})$에는 속하지 않는다.
• 장애 정리(The Obstruction Theorem): 본 논문은 $\Omega_E$가 현재 알려진 대수적 사이클 구성법으로부터 발생하지 않음을 증명한다:
  • 특수 사이클: 이들은 내부 코호몰로지 클래스를 정의한다. $\Omega_E$는 내부적이지 않으므로, 특수 사이클이 될 수 없다.
  • 테타 리프트: 더 작은 다양체로부터의 대수적 사이클의 테타 리프트는 일반적으로 큐스피달(cuspidal) 또는 엔도스코픽 표현에 대응한다. $\Omega_E$는 stable residual이므로, 이러한 기원을 배제한다.
  • 엔도스코픽 부분 다양체: 엔도스코픽 전이는 비-안정적(non-stable) 파라미터에 대응한다. $\psi$의 안정성(stability)은 이러한 기원을 배제한다.
  • 경계 푸시포워드: 경계 가이즌 맵으로부터의 클래스는 진정한 레비 부분군으로부터 유도된 표현(unstable)에 대응한다. $\Omega_E$는 stable하므로 이를 배제한다.

4. 의의 및 주장
논문은 결과의 성격에 대해 정밀한 주장을 펼치며, 존재성과 구성 가능성을 구분한다:

• 무조건적 성격: 이 결과는 확립된 정리들(아서의 분류, 프랑크의 정리, 보건-주커만 이론, 기본 렘마, 그리고 주커 추측)에만 의존한다. 검증되지 않은 추측은 호출되지 않았다.
• 호지에 대한 반례가 아님: 저자들은 $\Omega_E$가 비-대수적임을 증명하는 것이 아님을 명시적으로 밝힌다. 대수적 사이클 $Z$가 존재하여 $\text{cl}(Z) = \Omega_E$를 만족할 가능성은 여전히 존재하며, 다만 그 $Z$가 아직 목록화되지 않은 근본적으로 새로운 구성 방법을 필요로 할 뿐이다.
• 베일린슨-블록(Beilinson–Bloch)에 대한 반례가 아님: 본 논문은 초원 그룹(Chow group)의 계수나 $L$-함수의 소멸 차수를 계산하지 않으므로, 베일린슨-블록 추측에 대해 어떠한 주장도 하지 않는다.
• "공백(The Gap)": 이 논문의 주요 의의는 오토모픽 코호몰로지와 알려진 기하적 사이클 구성법의 이미지 사이의 간극을 보여주는 데 있다. 본 논문은 오토모픽 방법론이 기하학적 방법론으로는 구현할 수 없는 코호몰로지 구조(구체적으로 stable residual 클래스)를 "볼 수 있음"을 입증한다.

요약하자면, 본 논문은 쿠들라 프로그램과 관련 기하학적 구성법들이 직교 시무라 다양성에 대해 불완전함을 증명한다. 오토모픽 방법론을 통해 명시적으로 구성된 호지 클래스들이 존재하며, 이들은 현재의 체계적인 기하학적 사이클 구성법들을 회피한다. 이는 아직 발견되지 않은 기하학적 구성법의 존재, 혹은 오토모픽 데이터와 기하학적 데이터 사이의 랭글랜즈 대응(Langlands correspondence)에 존재하는 근본적인 비대칭성을 시사한다.