---
title: Rigid Meromorphic Cocycles
url: https://www.emergentmind.com/topics/rigid-meromorphic-cocycles
type: topic
---

# Rigid Meromorphic Cocycles

Rigid meromorphic cocycles are cocycle-theoretic objects built from meromorphic data and constrained by strong local-to-global principles. In \(p\)-adic arithmetic geometry, the phrase most commonly refers either to multiplicative cohomology classes with values in rigid meromorphic functions on the Drinfeld upper half-plane or on more general \(p\)-adic symmetric spaces, or to additive modular-symbol cocycles of higher weight with rigid meromorphic values [2309.11974][2208.05903][2308.14433]. In a distinct but related cohomological usage, rigid irreducible meromorphic connections on \(\mathbb{P}^1\) are viewed as cocycles in a deformation complex, and rigidity means vanishing of the deformation space with fixed formal local data [2212.07746]. Across these settings, meromorphicity supplies divisors, residues, or Stokes data, while rigidity means that global objects are determined by restricted local information, often up to finite ambiguity.

## 1. Terminology and principal meanings

In current usage, “rigid meromorphic cocycles” does not denote a single category-independent object. The literature employs the phrase in at least three nearby frameworks: multiplicative \(p\)-adic group cohomology, additive higher-weight modular-symbol theory, and cohomological interpretations of meromorphic connections on \(\mathbb{P}^1\) [2309.11974][2208.05903][2212.07746].

| Framework | Basic object | Rigidity condition |
|---|---|---|
| \(p\)-adic multiplicative theory | Class in \(H^1(\Gamma,\mathcal M^\times)\) or \(H^s(\Gamma,\mathcal M_X)\) | Divisor constrained by quadratic or Kudla–Millson data |
| Higher-weight additive theory | Element of \(\mathrm{MS}_\Gamma(M_k)\) | Period-function classification, residue control, Hecke constraints |
| Meromorphic connections on \(\mathbb P^1\) | Meromorphic connection viewed as a cocycle in a deformation complex | \(\operatorname{rig}=2\) or \(H^1_{\mathrm{dR}}=0\) |

A recurrent source of confusion is the coexistence of multiplicative and additive theories. In the Darmon–Vonk framework, the basic object is multiplicative: a cocycle with values in the multiplicative group of nonzero rigid meromorphic functions. In Negrini’s higher-weight theory, the coefficient module is additive, and cocycles are \(\Gamma\)-invariant modular symbols with values in rigid meromorphic functions. The shared terminology reflects the common role of meromorphic rigid-analytic functions on \(p\)-adic symmetric spaces and the common expectation that divisors, residues, and special values should encode arithmetic information [2309.11974][2208.05903].

A second distinction concerns “rigid” itself. In the \(p\)-adic arithmetic literature, rigidity is partly geometric, referring to rigid-analytic spaces and rigid meromorphic functions. In Sabbah’s reinterpretation of meromorphic connections, rigidity is deformation-theoretic: a cocycle is rigid when no nontrivial deformation exists with fixed formal types at the singular points [2212.07746].

## 2. Drinfeld upper half-plane, group cohomology, and modular symbols

Fix a prime \(p\). The Drinfeld \(p\)-adic upper half-plane is
\[
\mathcal H_p=\mathbb P^1(\mathbb C_p)\setminus \mathbb P^1(\mathbb Q_p),
\]
and the Ihara group
\[
\Gamma=\mathrm{SL}_2(\mathbb Z[1/p])
\]
acts on \(\mathcal H_p\) by \(p\)-adic Möbius transformations. Writing
\[
\mathcal A=\mathcal O(\mathcal H_p),\qquad \mathcal M=\mathrm{Frac}(\mathcal A),
\]
the classical Darmon–Vonk notion of rigid meromorphic cocycle is a cohomology class in
\[
H^1(\Gamma,\mathcal M^\times),
\]
represented by a \(1\)-cocycle \(J:\Gamma\to \mathcal M^\times\) satisfying
\[
J(\gamma_1\gamma_2)=J(\gamma_1)\cdot \gamma_1J(\gamma_2).
\]
Two such cocycles are identified when they differ by a multiplicative coboundary \((\delta f)(\gamma)=f/(\gamma f)\) [2309.11974].

The same framework contains theta cocycles, defined in
\[
H^1(\Gamma,\mathcal M^\times/\mathbb C_p^\times),
\]
and distinguished subclasses. If \(\Gamma_\infty\) is the stabilizer of \(\infty\), a class is parabolic when its restriction to \(\Gamma_\infty\) is trivial, and quasi-parabolic when its restriction lies in the image of \(H^1(\Gamma_\infty,\mathbb C_p^\times)\). A key fact is that every class in \(H^1_f(\Gamma,\mathcal M^\times)\) has a unique representative \(J\) with \(J(\Gamma_\infty)\subset \mathbb C_p^\times\); these are precisely the classes that can be evaluated at real quadratic points [2309.11974].

The higher-weight additive theory replaces multiplicative group cohomology by modular symbols. For each integer \(k\), let \(A_k\) be the group of rigid analytic functions on \(\mathcal H_p\) and \(M_k\) the group of rigid meromorphic functions, both with the weight-\(k\) action
\[
(f|_k \gamma)(z)=(cz+d)^{-k}f\!\left(\frac{az+b}{cz+d}\right).
\]
A rigid meromorphic cocycle of weight \(k\) is then an element of
\[
\mathrm{MS}_\Gamma(M_k),
\]
that is, a \(\Gamma\)-invariant modular symbol
\[
J:\mathbb P^1(\mathbb Q)\times \mathbb P^1(\mathbb Q)\to M_k
\]
satisfying antisymmetry, the modular-symbol relation, and \(\Gamma\)-invariance [2208.05903]. In this setting, the “period function” \(J\{0,\infty\}\) already carries substantial information, and the action of the involution
\[
P=\begin{pmatrix}0&-1\\ p&0\end{pmatrix}
\]
induces the \(p\)-even/\(p\)-odd dichotomy central to the classification of meromorphic period functions [2208.05903].

These two formalisms are linked by residues. Although the 2024 Shintani paper works with rigid analytic cocycles, it explicitly identifies the original Darmon–Vonk theory as the theory of rigid meromorphic cocycles and emphasizes that annular residues along the Bruhat–Tits tree are the analytic relic of meromorphicity: residues are exactly the data that would detect principal parts once poles are allowed [2404.12936].

## 3. Orthogonal and quaternionic generalizations

The orthogonal-group framework extends rigid meromorphic cocycles from \(\mathrm{SL}_2\) to arbitrary real signature. Let \((V,q)\) be a non-degenerate quadratic space over \(\mathbb Q\), let \(G=SO(V)\), and choose a prime \(p\) such that \(V_{\mathbb Q_p}\) admits a self-dual lattice. The associated \(p\)-adic symmetric space is
\[
X_p=\{[v]\in Q(\mathbb C_p)\mid (v,w)\neq 0\ \forall [w]\in Q(\mathbb Q_p)\},
\]
where \(Q\) is the quadric of isotropic lines. For \(n=3\), \(X_p\) is the Drinfeld upper half-plane, and in split dimension \(4\) one has
\[
X_p\simeq \mathcal H_p\times \mathcal H_p.
\]
For anisotropic \(v\in V_{\mathbb Q_p}\), the rational quadratic divisor
\[
A_{v,p}=\{x=[u]\in X_p\mid v\perp u\}
\]
defines an element of the \(\Gamma\)-module \(\mathrm{Div}^{\mathrm{lf}}(X_p)\) of locally finite combinations of rational quadratic divisors [2308.14433].

Kudla–Millson geometry at infinity supplies distinguished divisor-valued cohomology classes \(D_{m,\beta}\in H^s(\Gamma,\mathrm{Div}^{\mathrm{lf}}(X_p))\), where \(s\) is the negative index in the real signature \((r,s)\). Let \(\mathcal M_X\) be the multiplicative group of rigid meromorphic functions on \(X_p\) whose divisors lie in \(\mathrm{Div}^{\mathrm{lf}}(X_p)\). Then rigid meromorphic cocycles of level \(\Gamma\) are defined as classes
\[
J\in H^s(\Gamma,\mathcal M_X)
\]
whose divisor lies in the subgroup generated by Kudla–Millson divisors:
\[
\mathrm{RMC}(\Gamma):=\mathrm{div}_*^{-1}\big(\mathcal{K}\mathcal{M}(\Gamma)\big).
\]
The exact sequence
\[
0\to \mathcal A_X\to \mathcal M_X\xrightarrow{\mathrm{div}} \mathrm{Div}^{\mathrm{lf}}(X_p)\to 0
\]
and the surjectivity of the divisor map show that the obstruction to lifting a divisor-valued class to a meromorphic cocycle lies in \(H^{s+1}(\Gamma,\mathcal A_X)\); the paper then proves finiteness results for this obstruction group and constructs \(p\)-adic Borcherds-type lifts in selected signatures [2308.14433].

The explicit existence results are strongest in the definite case \(s=0\) and the hyperbolic case \(s=1\). In the definite case, for suitable coefficient data \(c\) orthogonal to vector-valued modular forms of weight \(n/2\), there exists \(J\in \mathrm{RMC}(\Gamma)\) with
\[
\mathrm{div}_*(J)=(p-1)\,D_c.
\]
In signature \((r,1)\), under compactness and orthogonality hypotheses, one obtains a nonzero integer \(C\) and \(J\in \mathrm{RMC}(\Gamma)\) such that
\[
\mathrm{div}_*(J)=C\,D_c.
\]
These are \(p\)-adic analogues of Borcherds’ singular theta lift, now valued in cohomology with rigid meromorphic coefficients rather than in automorphic products on complex orthogonal Shimura varieties [2308.14433].

A complementary generalization appears in Gehrmann’s quaternionic theory. There, for a number field \(F\), a quaternion algebra \(B/F\) split at a finite place \(\mathfrak p\), and a \(\mathfrak p\)-arithmetic congruence subgroup \(\Gamma^{\mathfrak p}\subset G(F)\), a rigid meromorphic cocycle is an element
\[
J\in \mathbb H_c^t(\Gamma^{\mathfrak p},\mathcal M^\times),
\]
where \(\mathcal M^\times\) denotes rigid meromorphic functions on the \(p\)-adic upper half-plane attached to \(B_{\mathfrak p}\). The divisor of such a cocycle is a class in cohomology with coefficients in locally finite divisors, and Bieri–Eckmann duality shows that in the critical degree \(t=d-r\) its support is a finite union of \(\Gamma^{\mathfrak p}\)-orbits of quadratic points of prescribed splitting type at infinity. Below that degree, the natural map
\[
\mathbb H_c^i(\Gamma^{\mathfrak p},\mathcal A^\times)\xrightarrow{\sim}\mathbb H_c^i(\Gamma^{\mathfrak p},\mathcal M^\times)
\]
is an isomorphism, so there are no genuinely meromorphic cocycles there [2009.04957].

## 4. Higher-weight theory, residues, and lift constructions

Higher-weight additive rigid meromorphic cocycles were developed systematically for odd weights \(2k\). The basic period functions are the values at \(\{0,\infty\}\),
\[
\mathcal R_{2k}=\{J\{0,\infty\}\mid J\in \mathrm{MS}_\Gamma(M_{2k})\},
\]
and satisfy explicit functional equations under the standard generators \(S,U,P\) of the Ihara group. A central classification theorem states that if \(k\ge 1\) is odd and a rigid meromorphic period function of weight \(2k\) has poles only in Galois-conjugate RM pairs with opposite residues, then it is a finite linear combination of explicit period functions \(\varphi_T\) attached to RM points, plus a rigid analytic period function [2208.05903].

The principal explicit family is
\[
J_{k,D}\{r,s\}(z)
:=\sum_{Q\in \mathcal F_D(\mathbb Z[1/p])}
(\gamma_Q\cdot(r,s))\,Q(z,1)^{-k},
\]
defined for odd \(k\ge 1\) and discriminant \(D>0\). This converges to a rigid meromorphic function on \(\mathcal H_p\), and it is rigid analytic when \(\left(\frac{D}{p}\right)=1\). The resulting map
\[
J_{k,D}:\mathbb P^1(\mathbb Q)\times \mathbb P^1(\mathbb Q)\to M_{2k}
\]
is a rigid meromorphic cocycle of weight \(2k\) [2208.05903].

A second structural ingredient is the higher-weight Schneider–Teitelbaum lift. Harmonic cocycles on the Bruhat–Tits tree with values in polynomial duals are identified with rigid analytic cocycles via
\[
\mathrm{ST}: \mathrm{MS}_\Gamma\bigl(\mathrm{HC}(P_{2k-2})\bigr)\longrightarrow \mathrm{MS}_\Gamma(A_{2k}),
\]
and there is a residue map
\[
\mathrm{Res}: \mathrm{MS}_\Gamma(A_{2k})\to \mathrm{MS}_\Gamma\bigl(\mathrm{HC}(P_{2k-2})\bigr)
\]
satisfying
\[
\mathrm{Res}\circ \mathrm{ST}=\mathrm{Id}.
\]
For the special cocycles \(J_{k,D}\), one computes
\[
\mathrm{Res}_0(J_{k,D})=K_{k,D},
\]
where \(K_{k,D}\) is a polynomial-valued modular symbol and, simultaneously, the period polynomial of a classical level-\(p\) Zagier form \(f_{k,p,D}\). This produces a cocycle-valued kernel
\[
\Xi_k(q)=\sum_{\substack{D>0\\ (\frac{D}{p})=1}} D^{k-1/2}J_{k,D}\,q^D
\in S_{k+1/2}(\Gamma_0(4p^2))\otimes \mathrm{MS}_\Gamma(A_{2k}),
\]
hence a Shimura–Shintani style correspondence
\[
\mathcal C:S_{k+1/2}(\Gamma_0(4p^2))\to \mathrm{MS}_\Gamma(A_{2k}).
\]
This realizes higher-weight rigid analytic cocycles as \(p\)-adic targets of half-integral weight modular forms [2208.05903].

Negrini’s Shintani lift deepens the residue formalism. For \(T=\mathrm{SL}_2(\mathbb Z[1/p])\), a weight \(2k\) rigid analytic cocycle is an element of \(\mathrm{MS}_T(A_{2k})\), and the residue map
\[
\mathrm{Res}_0:\mathrm{MS}_T(A_{2k})\to \mathrm{MS}_{\Gamma_0(p)}(P_{2k-2})
\]
is obtained by annular residues along a standard edge \(e_0\) of the Bruhat–Tits tree. On the cuspidal subspace, the Shintani-type map
\[
\mathcal{RS}:\mathrm{MS}_T(A_{2k})^{\mathrm{cusp}}\longrightarrow S_{k+1/2}(\Gamma_0(4p),\chi)
\]
has Fourier coefficients given by pairings of residue polynomials with powers of binary quadratic forms, and satisfies
\[
\mathcal{RS}(T_mJ)=T_{m^2}(\mathcal{RS}(J)),\qquad (m,p)=1.
\]
Although the paper is restricted to rigid analytic cocycles, it explicitly states that the residue formalism is structurally prepared for a meromorphic setting and that one expects an extension to genuinely meromorphic cocycles with controlled poles [2404.12936].

## 5. Special values, singular moduli, and class-field phenomena

In the original \(\Gamma=\mathrm{SL}_2(\mathbb Z[1/p])\) theory, the arithmetic focus is evaluation at real quadratic points. If \(\tau\in \mathcal H_p^{\mathrm{RM}}\), then its stabilizer in \(\Gamma\) is isomorphic to \(\{\pm1\}\times\langle \gamma_\tau\rangle\), and for a quasi-parabolic cocycle \(J\) normalized by \(J(\Gamma_\infty)\subset \mathbb C_p^\times\) one defines
\[
J[\tau]:=J(\gamma_\tau)(\tau).
\]
This value is independent of the chosen representative of the cohomology class and constant on \(\Gamma\)-orbits. It is called a real quadratic singular modulus. The central conjecture states that for every \(J\in H^1_f(\Gamma,\mathcal M^\times)\), the value \(J[\tau]\) is algebraic and lies in the compositum of the narrow ring class field \(H_\tau\) of the order attached to \(\tau\) and a field \(H_J\) determined by the poles of the period function of \(J\) [2309.11974].

The same survey records arithmetic evidence of a more precise kind. For the Dedekind–Rademacher theta cocycle \(J_{\mathrm{DR}}\), Darmon–Pozzi–Vonk show that for a real quadratic point \(\tau\) of discriminant prime to \(p\),
\[
J_{\mathrm{DR}}[\tau]=u_\tau^{12}
\quad\text{modulo }p^{\mathbb Z}\times \mu(\mathbb C_{p^2}),
\]
for some \(u_\tau\in \mathcal O_H[1/p]^\times\otimes \mathbb Q\), where \(H\) is the narrow Hilbert class field of \(\mathbb Q(\tau)\). In particular, \(J_{\mathrm{DR}}[\tau]\) is algebraic and lies in \(H\) [2309.11974].

The orthogonal theory generalizes special values from RM points to special points on \(X_p\) attached to maximal tori. For an oriented special point \(\mathfrak x=(x,T_x,\mathfrak o_x)\) and \(J\in H^s(\Gamma,\mathcal M_X)\) regular at \(\mathfrak x\), one obtains a value
\[
J[\mathfrak x]\in \mathbb C_p^\times/\{\pm1\}.
\]
The associated reciprocity conjecture predicts that these values lie in class fields \(H_{x,h}\) of the reflex field \(E_x\), up to a fixed finitely generated subgroup \(\Lambda_J\subset \mathbb Q_p^\times\), and satisfy an adelic reciprocity law governed by the relative class group \(C_{x,h}^0\) [2308.14433].

The Bianchi \((3,1)\)-case is the first setting in which genuinely new computations beyond the \((2,1)\) theory have been carried out systematically. Here \(K=\mathbb Q(i)\), \(p\equiv 1\bmod 4\), and \(X_p\simeq \mathcal H_p\times \mathcal H_p\). The cocycles arise as modular-symbol valued classes
\[
J_\Delta\in \operatorname{MS}^\Gamma(M^\times),
\]
and can be evaluated at small RM points, small CM points, and big ATR points. The field of definition of the cocycle attached to \(\Phi_{\chi_4}\) is \(\mathbb Q(i)\), computed explicitly from local spinor norms [2511.21171].

The 2025 Bianchi evaluation paper reports the first numerical verification of the conjectured algebraicity of special values at big ATR points. In \(190\) big ATR cases, the quantities \(J_\Delta[\tau]^{\mathrm{conj}}\) and \(J_\Delta^{\mathrm{odd}}[\tau]^{\mathrm{conj}}\) were recognized as algebraic integers. The same computations yielded \(56\) new small CM examples and \(591\) small RM examples. A further observation is a Bruinier–Yang-type divisibility pattern for the rational primes appearing in the norms of the recognized algebraic values, numerically paralleling the behaviour of CM values of Borcherds products on Hilbert modular surfaces [2511.21171].

## 6. Meromorphic connections on \(\mathbb{P}^1\) as rigid cocycles

A different but mathematically adjacent use of the phrase appears in Sabbah’s discussion of rigid irreducible meromorphic connections on \(\mathbb P^1\). Let \(k:U\hookrightarrow \mathbb P^1\) be a nonempty Zariski open subset and \((\mathcal V,\nabla)\) an algebraic vector bundle with integrable connection on \(U\). Such an object may be regarded as a meromorphic connection on \(\mathbb P^1\), as a holonomic \(\mathcal D_{\mathbb P^1}\)-module via middle extension, or as a Stokes-filtered local system under irregular Riemann–Hilbert. In the cocycle language adopted there, a meromorphic connection is a \(1\)-cocycle in the deformation complex controlling connections with prescribed formal types, and rigidity means vanishing of the tangent space to deformations [2212.07746].

For an irreducible meromorphic bundle with connection, the rigidity index is
\[
\operatorname{rig}(\mathcal V,\nabla)
:= 2-h^1_{\mathrm{dR}\bigl(\mathbb{P}^1,\,k_{\dagger+}\mathcal{E}nd(\mathcal V,\nabla)\bigr).
\]
Physical rigidity is equivalent to cohomological rigidity:
\[
\operatorname{rig}(\mathcal V,\nabla)=2
\quad\Longleftrightarrow\quad
H^1_{\mathrm{dR}\bigl(\mathbb{P}^1,\,k_{\dagger+}\mathcal{E}nd(\mathcal V,\nabla)\bigr)=0.
\]
Equivalently, any other irreducible connection on the same \(U\) with the same formal type at each puncture is globally isomorphic to \((\mathcal V,\nabla)\) [2212.07746].

The Arinkin–Deligne–Katz algorithm gives a structural classification. Starting from an irreducible holonomic \(\mathcal D_{\mathbb P^1}\)-module with specified Levelt–Turrittin data, one applies rank-one twists, middle convolution \(\mathrm{MC}_\chi\), and Fourier–Laplace transform \(\mathrm{Fou}\). Rigidity is preserved by these operations, and an irreducible \((\mathcal V,\nabla)\) is rigid if and only if a finite sequence of such operations reduces it to the trivial rank-one connection \((\mathcal O_{U'},d)\). In this sense, all rigid irreducible meromorphic connections arise from the trivial one by iterating these functors [2212.07746].

Sabbah’s note then derives three global consequences for quasi-unipotent rigid irreducible connections on \(\mathbb P^1\). First, they are of exponential-geometric origin: after passage to a suitable finite cover and cohomological direct image, they arise inside pushforwards of exponential connections \((\mathcal O_Y,d+d\varphi)\). Second, their Stokes-filtered local systems admit integral structures over cyclotomic rings \(\mathbb Z[\zeta]\). Third, for fixed \(U\), bounded rank, bounded quasi-unipotence order, and a prescribed finite set \(\Phi\) of exponential factors, only finitely many such rigid irreducible connections exist. These results justify reading rigid meromorphic connections on \(\mathbb P^1\) as a precise geometric incarnation of “rigid meromorphic cocycles” [2212.07746].

A plausible implication is that the two large literatures considered above—\(p\)-adic rigid meromorphic cocycles and rigid meromorphic connections—share a common organizing principle: in both, cocycle classes are governed by sharply constrained divisor, residue, or Stokes data, and rigidity is expressed by the collapse of global ambiguity to finite or deformation-trivial choices.

Source: https://www.emergentmind.com/topics/rigid-meromorphic-cocycles