Twisted Holomorphic 1-Forms

• Twisted holomorphic 1-forms are differential forms defined relative to flat line bundles, exhibiting analytic and representation-theoretic properties across various geometries.
• They underpin twisted de Rham cohomology on punctured projective lines, where explicit local computations reveal resonance phenomena and logarithmic residue structures.
• On complex surfaces and marked Riemann surfaces, these forms classify geometric structures and invariant measures, offering insights into Lee classes and dilation surfaces.

Twisted holomorphic $1$-forms are holomorphic or meromorphic $1$-forms defined relative to a flat line bundle, or equivalently relative to a twisted differential rather than the ordinary exterior differential. In the literature summarized here, the term appears in three closely related settings: on the punctured projective line as $d_\alpha$-closed meromorphic $1$-forms; on compact complex surfaces as sections of $\Omega_X^1(\log D)\otimes L$, where $L$ is a flat holomorphic line bundle; and on marked Riemann surfaces as meromorphic sections of $K_X\otimes L_\chi$, equivalently dilation surfaces with scaling. These formulations connect twisted de Rham cohomology, logarithmic residues, resonance phenomena, Lee classes of locally conformally symplectic structures, and moduli spaces carrying $GL(2,\mathbb R)$- and $SL(2,\mathbb R)$-actions (Slinkin et al., 2018, Apostolov et al., 2022, Apisa et al., 14 Jul 2025).

1. Foundational definitions

On the punctured sphere, one starts with

$$U=\mathbb P^1\setminus\{z_1,\dots,z_n,\infty\}, \qquad \omega=\sum_{j=1}^n \alpha_j\,\frac{dt}{t-z_j}\in \Omega^1(U),$$

and defines

$1$0

The resulting twisted de Rham complex is

$1$1

In this model, a twisted holomorphic $1$2-form is a global meromorphic $1$3-form $1$4 on $1$5 with poles only at the $1$6 and $1$7 such that $1$8 (Slinkin et al., 2018).

On a compact complex manifold $1$9, Apostolov–Dloussky fix a closed real or complex $d_\alpha$0-form $d_\alpha$1 representing a de Rham class $d_\alpha$2. Via the exponential exact sequence this determines a topologically trivial flat real line bundle

$d_\alpha$3

whose complexification $d_\alpha$4 is a flat holomorphic line bundle. The twisted differential is then

$d_\alpha$5

and it splits as

$d_\alpha$6

Accordingly, forms with values in $d_\alpha$7 are identified with ordinary forms equipped with the twisted differential (Apostolov et al., 2022).

On a marked Riemann surface $d_\alpha$8, Apisa–Salter fix a character

$d_\alpha$9

let $1$0 be the associated flat complex line bundle, and define a twisted holomorphic $1$1-form to be a meromorphic section

$1$2

with poles and zeros only at the marked points. Equivalently, on the universal cover $1$3,

$1$4

If $1$5, this reduces to an ordinary holomorphic $1$6-form (Apisa et al., 14 Jul 2025).

These definitions are compatible in spirit but not identical in notation. In particular, the sign convention in the punctured-sphere model uses $1$7, whereas the compact-surface formulation uses $1$8.

2. Local structure on the punctured projective line

For the twisted de Rham complex on $1$9, the local behavior of a twisted holomorphic $\Omega_X^1(\log D)\otimes L$0-form is controlled by the residues of the twisting form. Near $\Omega_X^1(\log D)\otimes L$1, one has an expansion

$\Omega_X^1(\log D)\otimes L$2

Substituting into $\Omega_X^1(\log D)\otimes L$3 gives, for each $\Omega_X^1(\log D)\otimes L$4, the recurrence

$\Omega_X^1(\log D)\otimes L$5

In particular, the exponent of the pole is shifted by $\Omega_X^1(\log D)\otimes L$6 (Slinkin et al., 2018).

A convenient $\Omega_X^1(\log D)\otimes L$7-basis of $\Omega_X^1(\log D)\otimes L$8 is

$\Omega_X^1(\log D)\otimes L$9

and a convenient basis of $L$0 is

$L$1

Writing $L$2 and $L$3 as in the paper’s conventions, the action of $L$4 on these basis elements is explicit: $L$5 and

$L$6

These formulas make the twisting effect concrete: the ordinary derivative is replaced by a differential that couples the local pole structure at one puncture to all other punctures. This is the mechanism behind the later appearance of resonance and extra cohomological relations.

3. Logarithmic subcomplex, resonance, and representation-theoretic reflection

Inside $L$7, the logarithmic subcomplex is

$L$8

and its differential sends $L$9. If no resonance occurs, the inclusion of the logarithmic subcomplex is a quasi-isomorphism, and

$K_X\otimes L_\chi$0

A convenient basis of $K_X\otimes L_\chi$1 is given by the logarithmic forms

$K_X\otimes L_\chi$2

subject to the single cohomological relation

$K_X\otimes L_\chi$3

Hence $K_X\otimes L_\chi$4 in the generic case (Slinkin et al., 2018).

The resonance parameters are those for which new relations appear among the $K_X\otimes L_\chi$5. Setting

$K_X\otimes L_\chi$6

the three types of resonance are: $K_X\otimes L_\chi$7

$K_X\otimes L_\chi$8

$K_X\otimes L_\chi$9

Under type (a) or (b), one finds an extra linear relation among the $GL(2,\mathbb R)$0 of degree $GL(2,\mathbb R)$1. The summary records, for example, that if $GL(2,\mathbb R)$2, then

$GL(2,\mathbb R)$3

and if $GL(2,\mathbb R)$4, then

$GL(2,\mathbb R)$5

At each resonance the dimension of $GL(2,\mathbb R)$6 drops by one more; if no two resonance conditions coincide, then

$GL(2,\mathbb R)$7

The same paper considers a second complex: the chain complex of the Lie algebra of $GL(2,\mathbb R)$8-valued algebraic functions on the same complement, with coefficients in a tensor product of contragradient Verma modules over $GL(2,\mathbb R)$9. Following a construction suggested by Schechtman and Varchenko, a monomorphism from the twisted de Rham complex into this chain complex is established, and under this monomorphism the existence of singular vectors in the Verma modules, specifically the Malikov–Feigin–Fuchs singular vectors, is reflected in relations between cohomology classes of the de Rham complex (Slinkin et al., 2018). This suggests that twisted holomorphic $SL(2,\mathbb R)$0-forms on the punctured sphere encode both analytic and representation-theoretic resonance.

4. Flat bundles, logarithmic poles, and residues on complex surfaces

On a complex surface $SL(2,\mathbb R)$1 with an effective normal-crossing divisor $SL(2,\mathbb R)$2, the relevant sheaf is

$SL(2,\mathbb R)$3

whose sections are $SL(2,\mathbb R)$4-forms on $SL(2,\mathbb R)$5 with at most simple poles on $SL(2,\mathbb R)$6 and whose exterior derivative also has at most simple poles there. Equivalently, a local section of $SL(2,\mathbb R)$7 near a point of $SL(2,\mathbb R)$8 may be written

$SL(2,\mathbb R)$9

where $$U=\mathbb P^1\setminus\{z_1,\dots,z_n,\infty\}, \qquad \omega=\sum_{j=1}^n \alpha_j\,\frac{dt}{t-z_j}\in \Omega^1(U),$$0 are local defining equations of the irreducible components of $$U=\mathbb P^1\setminus\{z_1,\dots,z_n,\infty\}, \qquad \omega=\sum_{j=1}^n \alpha_j\,\frac{dt}{t-z_j}\in \Omega^1(U),$$1, $$U=\mathbb P^1\setminus\{z_1,\dots,z_n,\infty\}, \qquad \omega=\sum_{j=1}^n \alpha_j\,\frac{dt}{t-z_j}\in \Omega^1(U),$$2 are holomorphic, $$U=\mathbb P^1\setminus\{z_1,\dots,z_n,\infty\}, \qquad \omega=\sum_{j=1}^n \alpha_j\,\frac{dt}{t-z_j}\in \Omega^1(U),$$3 is holomorphic, and $$U=\mathbb P^1\setminus\{z_1,\dots,z_n,\infty\}, \qquad \omega=\sum_{j=1}^n \alpha_j\,\frac{dt}{t-z_j}\in \Omega^1(U),$$4 is a local flat frame of $$U=\mathbb P^1\setminus\{z_1,\dots,z_n,\infty\}, \qquad \omega=\sum_{j=1}^n \alpha_j\,\frac{dt}{t-z_j}\in \Omega^1(U),$$5. Such a $$U=\mathbb P^1\setminus\{z_1,\dots,z_n,\infty\}, \qquad \omega=\sum_{j=1}^n \alpha_j\,\frac{dt}{t-z_j}\in \Omega^1(U),$$6 satisfies

$$U=\mathbb P^1\setminus\{z_1,\dots,z_n,\infty\}, \qquad \omega=\sum_{j=1}^n \alpha_j\,\frac{dt}{t-z_j}\in \Omega^1(U),$$7

(Apostolov et al., 2022).

By standard residue theory, each component $$U=\mathbb P^1\setminus\{z_1,\dots,z_n,\infty\}, \qquad \omega=\sum_{j=1}^n \alpha_j\,\frac{dt}{t-z_j}\in \Omega^1(U),$$8 carries a constant residue $$U=\mathbb P^1\setminus\{z_1,\dots,z_n,\infty\}, \qquad \omega=\sum_{j=1}^n \alpha_j\,\frac{dt}{t-z_j}\in \Omega^1(U),$$9, and in the sense of currents one has

$1$00

where $1$01 is the current of integration along $1$02. A twisted logarithmic $1$03-form is said to be of positive type if each residue is real and strictly positive. The same framework yields twisted Dolbeault cohomology groups

$1$04

and the paper emphasizes that all twisted cohomologies enjoy Serre duality via currents.

In this setting, twisted holomorphic $1$05-forms are not restricted to the pole-free case. The theory explicitly includes logarithmic poles along $1$06, residues as numerical invariants, and current-theoretic identities that translate geometric positivity into cohomological information.

5. Class VII surfaces, Lee classes, and explicit geometric consequences

Apostolov–Dloussky study minimal non-Kähler surfaces $1$07 in Kodaira’s class VII, where $1$08 and the Kodaira dimension is $1$09. One of the main results is a classification of when such a surface admits a non-zero twisted logarithmic $1$10-form

$1$11

If $1$12, Lemma 6.11 shows that $1$13 must be a Hopf surface, an Inoue–Bombieri surface, or an Enoki surface. If $1$14, Proposition 6.10 and the lemmas of Section 6.2.2 imply that each connected component of $1$15 must contain a cycle of rational curves and that there are at most two connected components of $1$16. If $1$17 has exactly two connected components one recovers the Inoue–Hirzebruch surfaces, while if $1$18 is a single connected cycle one gets an intermediate Kato surface. In all cases, the only possibilities for the twisting parameter $1$19 are finitely many real values, and exactly one of them satisfies $1$20 (Apostolov et al., 2022).

The same paper ties these forms to the set $1$21 of Lee classes of locally conformally symplectic forms taming the complex structure: $1$22 Under the hypotheses of Theorem 1.6, including that the foliation defined by $1$23 has only real negative characteristic numbers at any nondegenerate singularity on $1$24, the class $1$25 bounds the Lee classes of taming LCS forms and exactly one of the following holds: $1$26 and $1$27, in which case $1$28 is a Hopf or Enoki surface; $1$29 and $1$30, in which case $1$31 is a hyperbolic Kato surface of intermediate type; $1$32 and $1$33, in which case $1$34 is an Inoue–Bombieri surface; or $1$35 and $1$36.

Upper and lower bounds on $1$37 are characterized by automorphic plurisubharmonic functions on the minimal $1$38-cover $1$39. Specifically, $1$40 for some $1$41 if and only if $1$42 admits a negative, strictly PSH function $1$43 satisfying

$1$44

equivalently a weakly negative degree-zero current $1$45 with $1$46. Likewise, $1$47 for some $1$48 if and only if $1$49 admits a nonnegative, strictly PSH function $1$50 with the same automorphy.

The explicit hyperbolic Kato examples make the correspondence concrete. For the intermediate Kato surface defined by

$1$51

one sets

$1$52

and hence

$1$53

is strictly PSH on $1$54 with $1$55. Consequently,

$1$56

and the logarithmic $1$57-form

$1$58

lies in $1$59, with $1$60 and $1$61. For an Inoue–Hirzebruch surface with contraction determined by an integer matrix having eigenvalues $1$62, one constructs $1$63 with $1$64, obtains

$1$65

and a twisted logarithmic form

$1$66

An application recorded in Theorem 4.6 is a new obstruction to bi-Hermitian structures: on a Kato surface of intermediate type one may have

$1$67

yet no bi-Hermitian metric exists. In particular, the necessary index-$1$68 NAC condition of Apostolov–Hitchin–Goto does not suffice in the intermediate Kato case.

6. Moduli spaces, dilation surfaces, and invariant measures

Apisa–Salter identify twisted holomorphic $1$69-forms on Riemann surfaces with dilation surfaces with scaling. If $1$70 are marked points and $1$71, then a twisted holomorphic $1$72-form determines charts on $1$73 whose transition maps lie in

$1$74

The local holonomy around $1$75 is $1$76, the cone angle is $1$77, and these are packaged into complex cone angles

$1$78

The stratum of twisted $1$79-forms with fixed signature $1$80 is denoted

$1$81

Its real dimension is

$1$82

exactly as in the classical translation-surface case (Apisa et al., 14 Jul 2025).

The period map is defined on the universal cover, or on a suitable framing cover. Choosing a basepoint $1$83 among the integral zeros and a lift $1$84, one associates to $1$85 the map

$1$86

with

$1$87

Here $1$88 is a twisted cocycle for the $1$89-module $1$90, and the resulting map

$1$91

is a local diffeomorphism away from trivial loci. With chosen generators $1$92, one gets local coordinates

$1$93

subject to a single twisted cocycle relation.

A central technical input is the calculation

$1$94

for $1$95 or a characteristic-$1$96 field, generated by the change-of-winding-number cocycle. The cocycle is described using a global nonvanishing vector field $1$97 with zero winding around all but the last puncture: $1$98 Passing to an $1$99-framed mapping class subgroup makes this cocycle a coboundary, so its pullback vanishes. This is the cohomological mechanism behind the existence of invariant volume forms on suitable finite covers.

The measure-theoretic outcome is a Masur–Veech analogue. Over the base of characters $d_\alpha$00 one has the Lebesgue-class Haar measure $d_\alpha$01, while over each $d_\alpha$02 one has the twisted cocycle space $d_\alpha$03 of real dimension $d_\alpha$04. Lemma 4.5 shows that the determinant line of this bundle is canonically trivial, rationally, yielding a nowhere-vanishing fiberwise Lebesgue measure $d_\alpha$05. The product

$d_\alpha$06

defines an $d_\alpha$07-invariant Lebesgue-class measure on $d_\alpha$08, and pulling back by the period map gives such a measure on the appropriate cover of $d_\alpha$09.

The main existence theorem states that if $d_\alpha$10 has at least one integral zero, then after passing to an explicit finite cover defined by an $d_\alpha$11-framed mapping class subgroup, there exists a full-support $d_\alpha$12-invariant Borel measure of Lebesgue class on the complement of the translation-and-homothety locus. For $d_\alpha$13, the associated invariant section of the top exterior power exists if and only if the subgroup is contained in an $d_\alpha$14-framed mapping class group; in that case the measure is unique up to overall constant and is ergodic. A further corollary gives a necessary and sufficient condition for the unscaled dilation stratum to admit an $d_\alpha$15-invariant Lebesgue class measure: the existence of a measurable area function that is $d_\alpha$16-invariant and homogeneous of degree $d_\alpha$17 under diagonal scaling (Apisa et al., 14 Jul 2025).

Taken together, these results show that twisted holomorphic $d_\alpha$18-forms form a mathematically coherent class across several domains. On punctured curves they govern twisted de Rham cohomology and resonance; on class VII surfaces they control residues, Lee-class bounds, and geometric obstructions; and on higher-genus moduli spaces they organize strata of dilation surfaces with period coordinates and invariant measures.