Parabolic Logarithmic Flat Bundles

• Parabolic logarithmic flat bundles are vector bundles on smooth projective curves endowed with parabolic filtrations and logarithmic flat connections that determine local exponents and weighted flags.
• They integrate algebraic and analytic methods by linking residue computations, flatness criteria, and stability conditions to drive moduli and deformation theories.
• Their study spans various frameworks—including gauge-theoretic, Lie algebroid, and positive characteristic approaches—enhancing our understanding of nonabelian Hodge theory.

Parabolic logarithmic flat bundles are vector bundles on a smooth projective curve, or equivalently flat vector bundles on the complementary punctured curve, equipped with a parabolic structure at a divisor of marked points and a logarithmic flat connection compatible with the associated filtrations and local exponents. In the literature represented here, the subject is formulated on compact curves with reduced divisors $D$, on punctured Riemann surfaces $M=\overline M\setminus\{p_1,\dots,p_m\}$, in the language of logarithmic connections, in gauge-theoretic terms via harmonic or Poisson metrics, and in generalized forms involving holomorphic Lie algebroids and positive-characteristic Frobenius descent. The common core is the interaction among logarithmic residues, weighted flags, parabolic degree, and flatness, together with the resulting moduli theory and deformation theory (Fassarella et al., 2017, Biswas et al., 2018, Collins et al., 2014).

1. Defining structure and local models

On a smooth projective curve $C$ with reduced divisor

$D=t_1+\cdots+t_n,$

a rank-$2$ quasi-parabolic bundle may be presented as

$$(E,p), \qquad p=\{p_1,\dots,p_n\}, \quad p_k\subset E|_{t_k}\ \text{a line},$$

while a logarithmic connection on $E$ with polar divisor $D$ is a $\mathbb C$-linear map

$\nabla:E\to E\otimes \Omega_C^1(D)$

satisfying

$M=\overline M\setminus\{p_1,\dots,p_m\}$0

For rank $M=\overline M\setminus\{p_1,\dots,p_m\}$1, the residue $M=\overline M\setminus\{p_1,\dots,p_m\}$2 has eigenvalues $M=\overline M\setminus\{p_1,\dots,p_m\}$3, called the local exponents, and a $M=\overline M\setminus\{p_1,\dots,p_m\}$4-flat quasi-parabolic bundle is one admitting a logarithmic connection with prescribed exponents such that

$M=\overline M\setminus\{p_1,\dots,p_m\}$5

A triple $M=\overline M\setminus\{p_1,\dots,p_m\}$6 is then a $M=\overline M\setminus\{p_1,\dots,p_m\}$7-parabolic connection (Fassarella et al., 2017).

A more general parabolic bundle on a compact connected Riemann surface $M=\overline M\setminus\{p_1,\dots,p_m\}$8 is given by a holomorphic bundle $M=\overline M\setminus\{p_1,\dots,p_m\}$9 together with, for each parabolic point $C$0, a strictly decreasing filtration

$C$1

and weights

$C$2

Associated subsheaves $C$3 are defined by exact sequences

$C$4

so that

$C$5

For a holomorphic Lie algebroid $C$6, a holomorphic Lie algebroid connection is a first-order operator

$C$7

satisfying

$C$8

and the parabolic condition requires compatibility with the filtration and with the graded weights through the quotient fibers $C$9 (Alfaya et al., 29 Apr 2026).

On pointed curves in positive characteristic, a parabolic bundle is given by a vector bundle $D=t_1+\cdots+t_n,$0 together with, at each marked point $D=t_1+\cdots+t_n,$1, a quasi-parabolic flag

$D=t_1+\cdots+t_n,$2

and weights

$D=t_1+\cdots+t_n,$3

with the convention that weights need not be $D=t_1+\cdots+t_n,$4, because later the weights are naturally scaled by $D=t_1+\cdots+t_n,$5 (Wakabayashi, 2024).

The logarithmic nature of the flat structure is expressed locally by regular-singular normal forms. For a flat vector bundle $D=t_1+\cdots+t_n,$6 over a punctured Riemann surface, regular singularities mean that near a puncture one has a logarithmic lattice and a local frame in which

$D=t_1+\cdots+t_n,$7

with $D=t_1+\cdots+t_n,$8 constant after gauge and in Jordan normal form. Deligne’s theorem is invoked in the form

$D=t_1+\cdots+t_n,$9

with $2$0 constant and in Jordan normal form. After a parabolic framing, the weights appear explicitly: $2$1 with $2$2, $2$3 nilpotent, and $2$4 (Collins et al., 2014).

2. Residues, parabolic degree, and existence criteria

The parabolic degree is the basic numerical invariant governing both stability and existence of flat structures. For a parabolic bundle $2$5 on a compact connected Riemann surface,

$2$6

For a parabolic bundle arising from residues of a logarithmic connection, one also writes

$2$7

where the $2$8 are the fractional parts of the real parts of the residue eigenvalues (Alfaya et al., 29 Apr 2026, Biswas et al., 2018).

In the punctured-surface flat setting, the local decomposition near each puncture into indecomposable summands $2$9 with weights $$(E,p), \qquad p=\{p_1,\dots,p_n\}, \quad p_k\subset E|_{t_k}\ \text{a line},$$0 yields

$$(E,p), \qquad p=\{p_1,\dots,p_n\}, \quad p_k\subset E|_{t_k}\ \text{a line},$$1

and the slope is

$$(E,p), \qquad p=\{p_1,\dots,p_n\}, \quad p_k\subset E|_{t_k}\ \text{a line},$$2

A flat subbundle $$(E,p), \qquad p=\{p_1,\dots,p_n\}, \quad p_k\subset E|_{t_k}\ \text{a line},$$3 is one preserved by the flat connection, and slope stability is defined by the inequality $$(E,p), \qquad p=\{p_1,\dots,p_n\}, \quad p_k\subset E|_{t_k}\ \text{a line},$$4, with semistability and polystability defined in the usual way (Collins et al., 2014).

For logarithmic connections on elliptic curves, a direct criterion is available. A quasi-parabolic bundle $$(E,p), \qquad p=\{p_1,\dots,p_n\}, \quad p_k\subset E|_{t_k}\ \text{a line},$$5 over an elliptic curve is $$(E,p), \qquad p=\{p_1,\dots,p_n\}, \quad p_k\subset E|_{t_k}\ \text{a line},$$6-flat if and only if every direct summand has parabolic degree zero: $$(E,p), \qquad p=\{p_1,\dots,p_n\}, \quad p_k\subset E|_{t_k}\ \text{a line},$$7 and for every decomposition $$(E,p), \qquad p=\{p_1,\dots,p_n\}, \quad p_k\subset E|_{t_k}\ \text{a line},$$8,

$$(E,p), \qquad p=\{p_1,\dots,p_n\}, \quad p_k\subset E|_{t_k}\ \text{a line},$$9

Under the genericity condition

$E$0

this simplifies to

$E$1

This is presented as an elliptic analogue of Weil’s criterion (Fassarella et al., 2017).

A generalized existence criterion is established for holomorphic Lie algebroids. If $E$2 is a holomorphic Lie algebroid on $E$3 such that

$E$4

equivalently $E$5 factors through

$E$6

then a parabolic vector bundle $E$7 admits a parabolic Lie algebroid connection for $E$8 if and only if at least one of the following holds:

1. $E$9 is logarithmically non-split;
2. the parabolic degree of every indecomposable component of $D$0 is zero.

The logarithmic splitting condition means the existence of a holomorphic bundle map

$D$1

such that

$D$2

When

$D$3

the criterion reduces to the classical statement that a parabolic vector bundle admits a parabolic connection if and only if the parabolic degree of each indecomposable component is zero (Alfaya et al., 29 Apr 2026).

A recurrent numerical identity is the Fuchs relation. In the rank-$D$4 setting it is written as

$D$5

and for rank $D$6 logarithmic connections on $D$7 with three poles the local exponents $D$8 satisfy

$D$9

This relation fixes the trace constraint compatible with the degree of the underlying bundle (Fassarella et al., 2017, Matsumoto, 2023).

3. Flatness, metrics, and nonabelian Hodge-theoretic structures

Flatness is encoded either algebraically by vanishing curvature or analytically through distinguished Hermitian metrics. For a Lie algebroid connection $\mathbb C$0, curvature is defined by

$\mathbb C$1

and $\mathbb C$2 is flat if $\mathbb C$3. If $\mathbb C$4 is a line bundle, then $\mathbb C$5, so every Lie algebroid connection is automatically flat. The same framework yields corollaries asserting the existence of flat quasi-parabolic and, under explicit hypotheses on $\mathbb C$6 and parabolic degree, flat parabolic connections (Alfaya et al., 29 Apr 2026).

On a punctured compact Riemann surface with finite-volume Kähler metric $\mathbb C$7, a flat vector bundle with regular singularities and parabolic structure admits a deformation of the harmonic metric equation called the Poisson metric equation. If $\mathbb C$8 is a Hermitian metric and the flat connection splits as

$\mathbb C$9

where $\nabla:E\to E\otimes \Omega_C^1(D)$0 is the $\nabla:E\to E\otimes \Omega_C^1(D)$1-unitary connection and $\nabla:E\to E\otimes \Omega_C^1(D)$2 is self-adjoint, then on a Riemann surface the harmonic metric equation is

$\nabla:E\to E\otimes \Omega_C^1(D)$3

equivalently

$\nabla:E\to E\otimes \Omega_C^1(D)$4

The Poisson metric equation is

$\nabla:E\to E\otimes \Omega_C^1(D)$5

with

$\nabla:E\to E\otimes \Omega_C^1(D)$6

The existence/uniqueness theorem states that $\nabla:E\to E\otimes \Omega_C^1(D)$7 admits a Hermitian metric $\nabla:E\to E\otimes \Omega_C^1(D)$8 that is conformally strongly tamed by $\nabla:E\to E\otimes \Omega_C^1(D)$9 and solves

$M=\overline M\setminus\{p_1,\dots,p_m\}$00

if and only if $M=\overline M\setminus\{p_1,\dots,p_m\}$01 is slope polystable, and such a metric is unique up to multiplication by a positive constant (Collins et al., 2014).

The parabolic nonabelian Hodge picture is subtler than the compact case. For a stable parabolic Higgs bundle $M=\overline M\setminus\{p_1,\dots,p_m\}$02 of parabolic degree $M=\overline M\setminus\{p_1,\dots,p_m\}$03, Simpson’s theorem gives a unique acceptable Hermitian metric $M=\overline M\setminus\{p_1,\dots,p_m\}$04 on $M=\overline M\setminus\{p_1,\dots,p_m\}$05 solving

$M=\overline M\setminus\{p_1,\dots,p_m\}$06

and the associated flat connection is

$M=\overline M\setminus\{p_1,\dots,p_m\}$07

For logarithmic $M=\overline M\setminus\{p_1,\dots,p_m\}$08-connections, the moduli space fibers over $M=\overline M\setminus\{p_1,\dots,p_m\}$09: $M=\overline M\setminus\{p_1,\dots,p_m\}$10 The parabolic transformation rule recorded as Simpson’s table is

$M=\overline M\setminus\{p_1,\dots,p_m\}$11

The paper emphasizes two new phenomena: unlike the nonparabolic case, the nonabelian Hodge correspondence does not define a section of the space of logarithmic $M=\overline M\setminus\{p_1,\dots,p_m\}$12-connections, and the conformal limit does not define a one-parameter family in any given moduli space (Collier et al., 2024).

The conformal limit furnishes a different bridge from parabolic Higgs bundles to parabolic logarithmic connections. Writing

$M=\overline M\setminus\{p_1,\dots,p_m\}$13

the $M=\overline M\setminus\{p_1,\dots,p_m\}$14-conformal limit is

$M=\overline M\setminus\{p_1,\dots,p_m\}$15

If $M=\overline M\setminus\{p_1,\dots,p_m\}$16 is stable, satisfies Assumption A, and its associated Hodge bundle is stable, then for every $M=\overline M\setminus\{p_1,\dots,p_m\}$17, the $M=\overline M\setminus\{p_1,\dots,p_m\}$18-conformal limit exists and extends to a stable parabolic logarithmic $M=\overline M\setminus\{p_1,\dots,p_m\}$19-connection on $M=\overline M\setminus\{p_1,\dots,p_m\}$20, with

$M=\overline M\setminus\{p_1,\dots,p_m\}$21

The fixed-weight formula $M=\overline M\setminus\{p_1,\dots,p_m\}$22 distinguishes the conformal limit from the ordinary parabolic NAH correspondence (Collier et al., 2024).

4. Moduli spaces and explicit geometric realizations

The moduli theory of parabolic logarithmic flat bundles is especially explicit in low-rank and low-pole cases. For rank $M=\overline M\setminus\{p_1,\dots,p_m\}$23 logarithmic connections on an elliptic curve $M=\overline M\setminus\{p_1,\dots,p_m\}$24 with two poles

$M=\overline M\setminus\{p_1,\dots,p_m\}$25

the moduli space $M=\overline M\setminus\{p_1,\dots,p_m\}$26 is described through its forgetful and parabolic maps. In the chamber $M=\overline M\setminus\{p_1,\dots,p_m\}$27,

$M=\overline M\setminus\{p_1,\dots,p_m\}$28

and, under genericity and $M=\overline M\setminus\{p_1,\dots,p_m\}$29, the map

$M=\overline M\setminus\{p_1,\dots,p_m\}$30

is an isomorphism onto

$M=\overline M\setminus\{p_1,\dots,p_m\}$31

The symplectic form becomes

$M=\overline M\setminus\{p_1,\dots,p_m\}$32

and the full moduli space is covered by three affine $M=\overline M\setminus\{p_1,\dots,p_m\}$33-bundles (Fassarella et al., 2017).

For rank $M=\overline M\setminus\{p_1,\dots,p_m\}$34, degree $M=\overline M\setminus\{p_1,\dots,p_m\}$35 parabolic logarithmic flat bundles on $M=\overline M\setminus\{p_1,\dots,p_m\}$36 with five marked points, the moduli space

$M=\overline M\setminus\{p_1,\dots,p_m\}$37

is studied with fixed spectrum $M=\overline M\setminus\{p_1,\dots,p_m\}$38. When the spectrum is non-special, meaning both Kostov-generic and non-resonant, the de Rham moduli has dimension

$M=\overline M\setminus\{p_1,\dots,p_m\}$39

and the forgetful morphism to the moduli of indecomposable parabolic bundles has affine fibers of dimension

$M=\overline M\setminus\{p_1,\dots,p_m\}$40

For a non-special weight system satisfying

$M=\overline M\setminus\{p_1,\dots,p_m\}$41

the $M=\overline M\setminus\{p_1,\dots,p_m\}$42-limit map

$M=\overline M\setminus\{p_1,\dots,p_m\}$43

is surjective, its fibers are $M=\overline M\setminus\{p_1,\dots,p_m\}$44-dimensional, and these fibers define a regular foliation. The corresponding stratification confirms Simpson’s conjecture in this case (Hu et al., 2021).

For rank $M=\overline M\setminus\{p_1,\dots,p_m\}$45 parabolic logarithmic connections on $M=\overline M\setminus\{p_1,\dots,p_m\}$46 with three poles, a $M=\overline M\setminus\{p_1,\dots,p_m\}$47-parabolic connection is a triple

$M=\overline M\setminus\{p_1,\dots,p_m\}$48

with full flags

$M=\overline M\setminus\{p_1,\dots,p_m\}$49

and compatibility condition

$M=\overline M\setminus\{p_1,\dots,p_m\}$50

The compactification is achieved by allowing parabolic $M=\overline M\setminus\{p_1,\dots,p_m\}$51-connections

$M=\overline M\setminus\{p_1,\dots,p_m\}$52

with the ordinary parabolic connection recovered on the open locus where $M=\overline M\setminus\{p_1,\dots,p_m\}$53 is an isomorphism. For small generic parabolic weights and sufficiently large $M=\overline M\setminus\{p_1,\dots,p_m\}$54, the compactified moduli space is isomorphic to a family of Sakai $M=\overline M\setminus\{p_1,\dots,p_m\}$55-surfaces: $M=\overline M\setminus\{p_1,\dots,p_m\}$56 The boundary

$M=\overline M\setminus\{p_1,\dots,p_m\}$57

is reduced and is the anti-canonical divisor fiberwise. A major structural result is that every stable rank-$M=\overline M\setminus\{p_1,\dots,p_m\}$58 parabolic $M=\overline M\setminus\{p_1,\dots,p_m\}$59-connection of degree $M=\overline M\setminus\{p_1,\dots,p_m\}$60 has

$M=\overline M\setminus\{p_1,\dots,p_m\}$61

The paper further relates the apparent singularity $M=\overline M\setminus\{p_1,\dots,p_m\}$62 to the zero of a canonical map

$M=\overline M\setminus\{p_1,\dots,p_m\}$63

and shows that the map $M=\overline M\setminus\{p_1,\dots,p_m\}$64 is not birational in general for rank $M=\overline M\setminus\{p_1,\dots,p_m\}$65 (Matsumoto, 2023).

5. Deformations, isomonodromy, and representation-theoretic formulations

A logarithmic connection canonically induces a parabolic structure via residues. For an irreducible logarithmic connection $M=\overline M\setminus\{p_1,\dots,p_m\}$66 singular over a divisor $M=\overline M\setminus\{p_1,\dots,p_m\}$67 on a compact connected Riemann surface $M=\overline M\setminus\{p_1,\dots,p_m\}$68, the residue at $M=\overline M\setminus\{p_1,\dots,p_m\}$69 is

$M=\overline M\setminus\{p_1,\dots,p_m\}$70

and the parabolic filtration is obtained by grouping generalized eigenspaces according to the fractional parts

$M=\overline M\setminus\{p_1,\dots,p_m\}$71

of the real parts of the eigenvalues. This produces

$M=\overline M\setminus\{p_1,\dots,p_m\}$72

In the universal isomonodromic deformation over Teichmüller space $M=\overline M\setminus\{p_1,\dots,p_m\}$73, the parabolic weights and multiplicities are independent of the parameter $M=\overline M\setminus\{p_1,\dots,p_m\}$74, because the local monodromy conjugacy classes remain constant (Biswas et al., 2018).

The deformation theory is governed by Atiyah-type sheaves. For a fixed pointed curve, infinitesimal deformations of a parabolic bundle $M=\overline M\setminus\{p_1,\dots,p_m\}$75 are parametrized by

$M=\overline M\setminus\{p_1,\dots,p_m\}$76

Allowing the curve to vary introduces the logarithmic Atiyah bundle

$M=\overline M\setminus\{p_1,\dots,p_m\}$77

and infinitesimal deformations of $M=\overline M\setminus\{p_1,\dots,p_m\}$78 with fixed parabolic type are parametrized by

$M=\overline M\setminus\{p_1,\dots,p_m\}$79

For irreducible logarithmic connections of genus $M=\overline M\setminus\{p_1,\dots,p_m\}$80, the universal isomonodromic deformation has the property that the locus of parameters for which the induced parabolic bundle is not semistable has codimension at least $M=\overline M\setminus\{p_1,\dots,p_m\}$81, the locus where it is not stable has codimension at least $M=\overline M\setminus\{p_1,\dots,p_m\}$82, and in rank $M=\overline M\setminus\{p_1,\dots,p_m\}$83 the non-very-stable locus is a proper closed analytic subset. Thus, for generic parameter, the induced parabolic bundle is stable, and in rank $M=\overline M\setminus\{p_1,\dots,p_m\}$84 generically parabolically very stable (Biswas et al., 2018).

A representation-theoretic formulation enriches the usual monodromy description by retaining flag data at the punctures. For $M=\overline M\setminus\{p_1,\dots,p_m\}$85 and $M=\overline M\setminus\{p_1,\dots,p_m\}$86, a parabolic representation pair is

$M=\overline M\setminus\{p_1,\dots,p_m\}$87

such that the local monodromies lie in prescribed parabolic subgroups: $M=\overline M\setminus\{p_1,\dots,p_m\}$88 On the bundle side, a parabolic logarithmic flat bundle of rank $M=\overline M\setminus\{p_1,\dots,p_m\}$89 and type $M=\overline M\setminus\{p_1,\dots,p_m\}$90 is a triple

$M=\overline M\setminus\{p_1,\dots,p_m\}$91

where $M=\overline M\setminus\{p_1,\dots,p_m\}$92 is logarithmic and each residue preserves the corresponding flag. The paper formulates a groupoid-level equivalence

$M=\overline M\setminus\{p_1,\dots,p_m\}$93

via the Riemann–Hilbert–Deligne correspondence, with RHD-equivalence introduced because Deligne extension depends on the choice of eigenvalue arguments (Hu et al., 25 Sep 2025).

The same work gives explicit local deformation-theoretic models. For a fixed $M=\overline M\setminus\{p_1,\dots,p_m\}$94, the Zariski tangent space to the variety of parabolic representation pairs is

$M=\overline M\setminus\{p_1,\dots,p_m\}$95

and it has complex dimension

$M=\overline M\setminus\{p_1,\dots,p_m\}$96

The paper also proves that, under the assumptions that the residues are semisimple with real eigenvalues and $M=\overline M\setminus\{p_1,\dots,p_m\}$97 is Jordan stable, the DGLA controlling deformations is mixedly formal. A plausible implication is that the local deformation theory remains quadratic in a controlled sense even in the quasi-projective punctured setting (Hu et al., 25 Sep 2025).

6. Positive characteristic and generalized logarithmic frameworks

In positive characteristic, the logarithmic-parabolic picture acquires a Frobenius-theoretic form. For an $M=\overline M\setminus\{p_1,\dots,p_m\}$98-pointed smooth proper curve

$M=\overline M\setminus\{p_1,\dots,p_m\}$99

with divisor $C$00, one works on the log curve $C$01, where

$C$02

Using Berthelot–Montagnon logarithmic differential operators of level $C$03,

$C$04

a left $C$05-module structure on a vector bundle is interpreted as a logarithmic flat bundle of level $C$06, and vanishing $C$07-curvature is written

$C$08

For a parabolic bundle $C$09 on the $C$10-th Frobenius twist $C$11, the paper constructs a parabolic Frobenius pull-back

$C$12

by modifying the naive pull-back near the marked points through an intersection of kernels

$C$13

The resulting bundle has vanishing $C$14-curvature, its horizontal sections recover the original parabolic bundle,

$C$15

and the degree and slope transform as

$C$16

This leads to an equivalence of categories

$C$17

which is the parabolic logarithmic version of Cartier descent (Wakabayashi, 2024).

The same framework identifies maximally Frobenius-destabilized parabolic bundles with dormant opers carrying logarithmic poles. A dormant $C$18-oper is a $C$19-flat bundle equipped with a full filtration

$C$20

whose line-bundle quotients satisfy strong Griffiths transversality

$C$21

Under numerical assumptions on weights and determinant, the moduli of maximally $C$22-destabilized stable parabolic bundles is naturally isomorphic to the moduli of dormant $C$23-opers with logarithmic poles and prescribed exponents (Wakabayashi, 2024).

A generalized logarithmic framework on complex curves is provided by holomorphic Lie algebroids. Here the obstruction to the existence of a parabolic Lie algebroid connection is encoded in the Atiyah-type exact sequence

$C$24

A parabolic Lie algebroid connection is exactly a holomorphic splitting of this sequence, and the obstruction is the extension class

$C$25

When compared with the logarithmic tangent Lie algebroid, the corresponding class $C$26 satisfies

$C$27

This suggests that the classical logarithmic Atiyah-sequence viewpoint extends naturally from ordinary parabolic logarithmic connections to broader algebroid-valued flat structures on curves (Alfaya et al., 29 Apr 2026).