Table of Contents
Fetching ...

Existence and unicity of pluriharmonic maps to Euclidean buildings and applications

Ya Deng, Chikako Mese

TL;DR

The paper proves existence and (local) uniqueness of ρ-equivariant pluriharmonic maps from the universal cover of a smooth quasi-projective variety X into the enlarged Bruhat–Tits building Δ(G), with logarithmic energy growth and compatibility under pullback. It develops a geometric spectral-cover framework: a map induces a multivalued logarithmic 1-form η, which, after passing to a ramified spectral cover and resolving, becomes a collection of pure imaginary, single-valued logarithmic forms; η encodes the eigen-structure of the map and is independent of the chosen pluriharmonic map. The authors decompose the construction into a semisimple part via DG and a vector part via the quasi-Albanese map, producing a pluriharmonic map whose energy and regularity properties are controlled, and they show a strong unicity statement on a dense open set. They further analyze the singular set, proving it lies in a proper Zariski-closed subset, and establish a robust spectral-form description that links differential-geometric data with algebraic covers, yielding potential rigidity applications in higher Teichmüller-type settings.

Abstract

Given a complex smooth quasi-projective variety $X$, a reductive algebraic group $G$ defined over some non-archimedean local field $K$ and a Zariski dense representation $\varrho:π_1(X)\to G(K)$, we construct a $\varrho$-equivariant pluriharmonic map from the universal cover of $X$ into the Bruhat-Tits building $Δ(G)$ of $G$, with appropriate asymptotic behavior. We also establish the uniqueness of such a pluriharmonic map in a suitable sense, and provide a geometric characterization of these equivariant maps. This paper builds upon and extends previous work by the authors jointly with G. Daskalopoulos and D. Brotbek.

Existence and unicity of pluriharmonic maps to Euclidean buildings and applications

TL;DR

The paper proves existence and (local) uniqueness of ρ-equivariant pluriharmonic maps from the universal cover of a smooth quasi-projective variety X into the enlarged Bruhat–Tits building Δ(G), with logarithmic energy growth and compatibility under pullback. It develops a geometric spectral-cover framework: a map induces a multivalued logarithmic 1-form η, which, after passing to a ramified spectral cover and resolving, becomes a collection of pure imaginary, single-valued logarithmic forms; η encodes the eigen-structure of the map and is independent of the chosen pluriharmonic map. The authors decompose the construction into a semisimple part via DG and a vector part via the quasi-Albanese map, producing a pluriharmonic map whose energy and regularity properties are controlled, and they show a strong unicity statement on a dense open set. They further analyze the singular set, proving it lies in a proper Zariski-closed subset, and establish a robust spectral-form description that links differential-geometric data with algebraic covers, yielding potential rigidity applications in higher Teichmüller-type settings.

Abstract

Given a complex smooth quasi-projective variety , a reductive algebraic group defined over some non-archimedean local field and a Zariski dense representation , we construct a -equivariant pluriharmonic map from the universal cover of into the Bruhat-Tits building of , with appropriate asymptotic behavior. We also establish the uniqueness of such a pluriharmonic map in a suitable sense, and provide a geometric characterization of these equivariant maps. This paper builds upon and extends previous work by the authors jointly with G. Daskalopoulos and D. Brotbek.

Paper Structure

This paper contains 21 sections, 25 theorems, 90 equations.

Key Result

Theorem 1

Let $X$ be a smooth quasi-projective variety and let $G$ be a reductive group defined over a non-archidemean local field $K$. Let $\Delta(G)$ be the enlarged Bruhat-Tits building of $G$. Denote by $\pi_X:\widetilde{X}\to X$ the universal covering map. If $\varrho:\pi_1(X)\to G(K)$ is a Zariski dense

Theorems & Definitions (80)

  • Theorem 1
  • Theorem 2
  • Theorem 3
  • Definition 1.1: Geodesic space
  • Definition 1.2: NPC space
  • Definition 1.3: Harmonic maps
  • Definition 1.4: Locally Lipschitz
  • Remark 1.5
  • Theorem 1.6: GS92, Theorem 2.4
  • Definition 1.7: Regular points and singular points
  • ...and 70 more