덮개 바르바시 보간 이중성 및 진정 표현의 파동전면 집합 연구

초록

이 논문은 Brylinski–Deligne 프레임워크에서 정의된 p-adic 중앙덮개군의 진정(가enuine) 표현에 대해 새로운 “덮개 바르바시‑보간 이중성”을 도입하고, 이를 이용해 파동전면 집합(WF)의 상한을 제시한다. 특히 Kazhdan‑Patterson 덮개 GLₙ에 대해 위의 상한을 증명한다.

상세 분석

본 논문은 두 가지 주요 목표를 가지고 있다. 첫 번째는 기존의 Barbasch‑Vogan 이중성을 중앙덮개군에 맞게 일반화한 “덮개 Barbasch‑Vogan 이중성” d⁽ⁿ⁾{BV,G} 를 정의하고, 그 구체적인 계산법을 제시하는 것이다. 이를 위해 저자들은 Brylinski–Deligne 이론에 의해 주어지는 정수 n‑차 중앙덮개 G^{(n)} 의 복소 쌍대군 G^∨ 를 고려하고, 각 nilpotent 궤도 O∈N(G^∨)에 대해 지배적인 반대수적 원소 h_O 를 ½로 나눈 뒤, Brylinski–Deligne 데이터 Q에 의해 정의된 선형 변환 s:Lie(T^∨)→Lie(T^∨) 를 적용하여 h^{(n)}O/2:=s(h_O/2) 를 얻는다. 이 가중치를 복소군 G_C 의 최고 가중 모듈 L(λ) 의 가중 λ로 해석하고, 그 소거자 다양체 AV{g_C}(λ) 를 통해 새로운 nilpotent 궤도 d⁽ⁿ⁾{BV,G}(O) 를 정의한다. 이 정의는 n=1일 때 고전적인 Barbasch‑Vogan 이중성과 일치함을 확인한다. 또한 메타플레틱 이중성(Barbasch‑Ma‑Sun‑Zhu)과도 호환됨을 보이며, 기존 문헌에서 관찰된 Mœglin‑Renard의 사례를 포괄한다.

두 번째 목표는 위에서 정의한 이중성을 이용해 진정 표현 π∈Irr_{gen}(G^{(n)}) 의 파동전면 집합 WF_{geo}(π) 에 대한 상한 추측을 제시하고, 이를 “반이산(anti‑discrete) 표현”으로 환원한다. 구체적으로, 가설적인 L‑파라미터 φ_π:WD_F→^LG와 그 궤도 O(φ_π)∈N(G^∨)에 대해  WF_{geo}(AZ(π)) ≤ d⁽ⁿ⁾_{BV,G}(O(φ_π)) 라는 부등식을 제시한다. 여기서 AZ는 Aubert‑Zelevinsky involution이며, 등호는 온도된 L‑패킷 내에서 적어도 하나의 표현에 대해 달성된다고 conjecture한다. 이 추측은 선형 경우의 Ciubotaru‑Kim, Hazeltine‑Liu‑Lo‑Shahidi의 결과를 정확히 일반화한다.

증명 전략은 크게 두 부분으로 나뉜다. 첫째, d⁽ⁿ⁾{BV,G} 가 Levi 부분군에 대해 induction과 restriction과 호환되는 성질 (d⁽ⁿ⁾{BV,G}∘Sat = Ind∘d⁽ⁿ⁾_{BV,M}) 을 이용해 전체 군의 불등식을 Levi의 이산 급수(discrete series)로 환원한다. 둘째, 구체적인 계산을 통해 Kazhdan‑Patterson 덮개 GL_r^{(n)} 에 대해 위의 부등식을 정확히 등호까지 끌어올린다. 이를 위해 저자들은 “작업 가설”(Working Hypothesis 5.2)을 가정하고, 최고 가중 모듈의 소거자 다양체와 Zelevinsky 구간