Parabolic Representation Pair Variety

• Parabolic Representation Pair Variety is defined as the geometric object obtained by attaching a PU(n,1) representation to a logarithmic pair via a stable parabolic Higgs bundle, reflecting the equality case of the parabolic Bogomolov–Gieseker inequality.
• The construction utilizes root stacks to intrinsically package rational parabolic weights and produces a period map to the complex unit ball, with local branching governed by these weights.
• This structure bridges complex-hyperbolic uniformization with parabolic stability, offering insights into orbifold versus branched uniformization and the reconstruction of log canonical positivity and parabolic polystability.

A parabolic representation pair variety, in the complex-algebraic sense developed for logarithmic pairs and parabolic Higgs bundles, is the geometric object obtained by attaching a representation into $PU(n,1)$ to a logarithmic pair $(X,D)$ via a stable parabolic Higgs bundle whose parabolic data are concentrated along the compact part of the boundary. For a smooth complex projective variety $X$ with $D=D^p+D^c$ a simple normal crossing divisor, the construction passes through the root stack $X[\sqrt[p_i]{D_i^c}]$, turns the equality case of a parabolic Bogomolov--Gieseker inequality into a flat trace-free adjoint harmonic bundle and a principal $PU(n,1)$-variation, and produces a period map to the complex unit ball. The local behavior of this period map records branching prescribed by the rational parabolic weights, while the converse direction reconstructs positivity of the log canonical class and parabolic polystability from a branched complex-hyperbolic structure of the same type (Jiang et al., 4 Jun 2026).

1. Logarithmic pair, parabolic data, and the canonical Higgs bundle

The basic input is a smooth complex projective variety $X$ of dimension $n$ together with a simple normal crossing divisor

$D=D^p+D^c.$

The divisor $D^p$ is the cusp part: it is removed from the open subset $(X,D)$0, and it carries logarithmic poles but no parabolic filtration. The divisor $(X,D)$1 is the compact orbifold part: each irreducible component $(X,D)$2 carries a single rational parabolic weight

$(X,D)$3

The underlying system of Hodge bundles is

$(X,D)$4

equipped with the tautological Higgs field

$(X,D)$5

The associated filtered parabolic Higgs bundle is

$(X,D)$6

Its parabolic structure is highly concentrated: it is trivial along $(X,D)$7, while along each $(X,D)$8 the only non-trivial step occurs on the conormal line

$(X,D)$9

with weight $X$0; all other directions have weight $X$1. Thus the only compact parabolic weights occur on conormal lines to $X$2. This concentration of weights on conormal directions governs the local branching behavior of the representation and period map attached to the pair $X$3 (Jiang et al., 4 Jun 2026).

2. Root stacks and the parabolic Bogomolov--Gieseker equality

To package the rational weights intrinsically, one passes to the root stack

$X$4

with coarse moduli morphism $X$5. The stack $X$6 is smooth and carries finite stabilizers $X$7 along the stacky divisors $X$8 lying over $X$9. On the open stack

$D=D^p+D^c$0

the parabolic Higgs bundle $D=D^p+D^c$1 corresponds, by the parabolic--root-stack dictionary, to a logarithmic orbifold Higgs bundle $D=D^p+D^c$2 with $D=D^p+D^c$3.

In a local root coordinate

$D=D^p+D^c$4

the conormal line is represented by the equivariant frame

$D=D^p+D^c$5

This shows that $D=D^p+D^c$6 differs from $D=D^p+D^c$7 unless $D=D^p+D^c$8. More precisely, the morphism

$D=D^p+D^c$9

is generically an isomorphism but degenerates along $X[\sqrt[p_i]{D_i^c}]$0, with determinant vanishing of order $X[\sqrt[p_i]{D_i^c}]$1. A common misconception is that the orbifold Higgs bundle is always the logarithmic cotangent bundle on the root stack; it is exactly so only in the standard orbifold case $X[\sqrt[p_i]{D_i^c}]$2.

The parabolic Bogomolov--Gieseker inequality is naturally formulated on $X[\sqrt[p_i]{D_i^c}]$3. Writing $X[\sqrt[p_i]{D_i^c}]$4, one has

$X[\sqrt[p_i]{D_i^c}]$5

for any ample line bundle $X[\sqrt[p_i]{D_i^c}]$6. The equality case is equivalent to

$X[\sqrt[p_i]{D_i^c}]$7

using

$X[\sqrt[p_i]{D_i^c}]$8

for any orbifold vector bundle $X[\sqrt[p_i]{D_i^c}]$9 of rank $PU(n,1)$0. The working hypothesis is that $PU(n,1)$1 is $PU(n,1)$2-polystable and satisfies the equality

$PU(n,1)$3

and it is precisely this equality that triggers the representation-theoretic uniformization package (Jiang et al., 4 Jun 2026).

3. Equality case: flat adjoint bundle, principal $PU(n,1)$4-variation, and period map

Under the equality hypothesis, the adjoint Higgs bundle

$PU(n,1)$5

is polystable with trivial characteristic numbers and therefore carries an adapted tame pluri-harmonic metric. Its Hitchin--Simpson connection is flat. This produces a semisimple local system with real projective form $PU(n,1)$6.

The resulting structure is encoded as a principal $PU(n,1)$7-variation of Hodge structure on $PU(n,1)$8. In the formulation used here, such a variation consists of a principal $PU(n,1)$9-bundle with Hodge reduction to $X$0, where

$X$1

together with a Higgs/Kodaira--Spencer field

$X$2

The real form $X$3 with maximal compact $X$4 has symmetric space

$X$5

Consequently one obtains a representation

$X$6

and a $X$7-equivariant holomorphic period map

$X$8

Its differential is exactly $X$9. Because $n$0 is dual to $n$1, the differential is generically an isomorphism and degenerates only along $n$2. This identifies the parabolic representation pair variety, in this setting, with a canonical representation-theoretic object attached to the logarithmic pair through the equality locus of the parabolic Chern inequality (Jiang et al., 4 Jun 2026).

4. Local normal form, branching, and the distinction between orbifold and branched uniformization

The local geometry of the period map is controlled by the same root coordinates that encode the parabolic weights. In the chart $n$3, one has

$n$4

Since $n$5 is dual to $n$6, the normal component of $n$7 is, up to a unit,

$n$8

Integrating gives the normal form

$n$9

This exhibits a ramification index $D=D^p+D^c.$0 along the lift of $D=D^p+D^c.$1. Passing to coarse spaces, the induced map

$D=D^p+D^c.$2

has branch index $D=D^p+D^c.$3 along $D=D^p+D^c.$4. The general equality case therefore yields a branched complex-hyperbolic structure.

The unramified orbifold ball uniformization appears only in the standard case

$D=D^p+D^c.$5

Then $D=D^p+D^c.$6, so $D=D^p+D^c.$7 is everywhere an isomorphism on $D=D^p+D^c.$8. The period map becomes an unramified orbifold local isometry; its pull-back metric is complete at the cusp boundary and has finite volume; since $D=D^p+D^c.$9 is complete and simply connected, $D^p$0 identifies the orbifold universal cover with $D^p$1, and $D^p$2 has discrete lattice image $D^p$3. In that case $D^p$4 is the orbifold toroidal compactification of $D^p$5.

Outside the standard case, the descended metric is of cone type of order $D^p$6 along $D^p$7. The resulting structure is not an unramified orbifold ball quotient but a branched complex-hyperbolic structure. This sharply distinguishes the orbifold equality case from the general parabolic equality case (Jiang et al., 4 Jun 2026).

5. Converse direction: mixed Poincaré--cone currents, positivity, and parabolic stability

The converse statement starts from geometry rather than stability. Suppose $D^p$8 carries a branched complex-hyperbolic structure of type

$D^p$9

meaning that on the root stack $(X,D)$00 the representable universal cover admits a $(X,D)$01-equivariant map

$(X,D)$02

with local normal form

$(X,D)$03

and cusp Poincaré growth along $(X,D)$04. Let $(X,D)$05 be the descended pull-back of the Bergman metric. Then the closed positive current

$(X,D)$06

extends across $(X,D)$07 and represents

$(X,D)$08

Near $(X,D)$09, $(X,D)$10 has at most Poincaré cusp growth. Near $(X,D)$11, it is mutually bounded with

$(X,D)$12

in adapted coordinates. This mixed Poincaré--cone growth implies zero Lelong numbers along $(X,D)$13, and by regularization the class $(X,D)$14 is automatically big and nef.

A class $(X,D)$15 is called $(X,D)$16-admissible if it is big and nef and contains a closed positive current $(X,D)$17 that is a smooth Kähler form on $(X,D)$18 and is dominated, in the sense of currents, by a fixed mixed Poincaré--cone model. For every $(X,D)$19-admissible class $(X,D)$20, the Hodge metric $(X,D)$21 obtained from $(X,D)$22 is adapted and acceptable for $(X,D)$23, and its Hitchin--Simpson curvature is trace-free flat on $(X,D)$24. The parabolic Chern--Weil identities then yield parabolic $(X,D)$25-polystability and the parabolic Chern equality

$(X,D)$26

equivalently

$(X,D)$27

In particular, $(X,D)$28 is parabolic $(X,D)$29-polystable.

The representation itself is controlled by the boundary decomposition. Along $(X,D)$30, monodromy is parabolic (unipotent), and the cusp divisor is forced to be smooth, with disjoint components. Along each $(X,D)$31, the local orbifold stabilizer has order $(X,D)$32, and the normal character has order $(X,D)$33 with ramification index $(X,D)$34. Conormal lines and their weights therefore encode both the local branching and the orbifold data of the canonical $(X,D)$35-representation (Jiang et al., 4 Jun 2026).

6. Other established meanings of the term

The expression “parabolic representation pair variety” is not confined to the complex-hyperbolic uniformization framework. In the literature it appears in several mathematically distinct settings, and these usages should be kept separate.

In the theory of symmetric pairs and double flag varieties, the phrase is used for the variety

$(X,D)$36

attached to parabolic subgroups $(X,D)$37. For a simple group $(X,D)$38, there exist $(X,D)$39 with

$(X,D)$40

if and only if $(X,D)$41 is a Hermitian symmetric pair, and the closed $(X,D)$42-orbit through $(X,D)$43 is $(X,D)$44 inside the open dense $(X,D)$45-orbit (Kondo et al., 2012).

For punctured surfaces and Betti moduli, the term denotes the closed subvariety

$(X,D)$46

consisting of pairs $(X,D)$47 with prescribed parabolic type at punctures. In that setting the Zariski tangent space at $(X,D)$48 has complex dimension $(X,D)$49, the analytic germs are controlled by DGLAs of parabolic logarithmic flat bundles, and the weighted moduli space is constructed by GIT, with a Kobayashi--Hitchin-type theorem for polystable parabolic representation pairs (Hu et al., 25 Sep 2025).

In the representation theory of $(X,D)$50, a related “pair variety” is the subvariety

$(X,D)$51

used to formulate the geometric conditions $(X,D)$52 and $(X,D)$53 that are conjecturally related to subrepresentation-additivity and irreducibility of normalized parabolic induction (Lapid et al., 2019).

In complex hyperbolic free-group theory, the parabolic locus for representations of the three-punctured sphere in $(X,D)$54 has real dimension $(X,D)$55. It is parametrized by balanced tetrahedra $(X,D)$56 together with unit eigenphases $(X,D)$57, and contains a one-parameter family where

$(X,D)$58

are all parabolic (Parker et al., 2013).

These parallel usages share the motif of coupling parabolic boundary data with a representation-theoretic or geometric object, but they differ fundamentally in ambient category, deformation theory, and intended applications. In the sense arising from orbifold uniformization, the term refers specifically to the canonical $(X,D)$59-representation attached to a logarithmic pair through the equality case of the parabolic Bogomolov--Gieseker inequality, together with its period map and local branching structure (Jiang et al., 4 Jun 2026).