Related papers: On quaternionic rigid meromorphic cocyles
Rigid meromorphic cocycles were introduced by Darmon and Vonk as a conjectural $p$-adic extension of the theory of singular moduli to real quadratic base fields. They are certain cohomology classes of $\mathrm{SL}_2(\mathbb{Z}[1/p])$ which…
The classical theory of elliptic curves with complex multiplication is a fundamental tool for studying the arithmetic of abelian extensions of imaginary quadratic fields. While no direct analogue is available for real quadratic fields, a…
This paper takes the first steps towards a systematic study of additive rigid meromorphic cocycles of higher weight. These were introduced by Darmon and Vonk, who focused on multiplicative and weight two cocycles. After classifying certain…
Rigid meromorphic cocycles are defined in the setting of orthogonal groups of arbitrary real signature and constructed in some instances via a $p$-adic analogue of Borcherds' singular theta lift. The values of rigid meromorphic cocycles at…
We confirm a conjecture of Darmon-Vonk on the antisymmetry of real quadratic singular moduli. The proof relies on a careful analysis of rigid meromorphic cocycles \`a la Darmon-Gehrmann-Lipnowski for the split orthogonal group on four…
In this paper we investigate the arithmetic aspects of the theory of $\mathcal{E}_K^\dagger$-valued rigid cohomology introduced and studied in [11,12]. In particular we show that these cohomology groups have compatible connections and…
We develop the tools required to effectively evaluate the Bianchi rigid meromorphic cocycles introduced by Darmon-Gehrmann-Lipnowski at big ATR points, and use them to obtain the first numerical verification of the conjectured algebraicity…
The work of Darmon, Pozzi, and Vonk has recently shown that the RM-values of the Dedekind-Rademacher cocycle $J_{DR}$ are Gross-Stark units up to a controlled torsion. In the aforementioned work, it is remarked that the measure-valued…
In the 1970's, Atkin and Swinnerton-Dyer conjectured that Fourier coefficients of holomorphic modular cusp forms on noncongruence subgroups of $\text{SL}_2(\mathbb{Z})$ satisfy certain $p$-adic recurrence relations which are analogous to…
The values of the so-called {\em Dedekind--Rademacher cocycle} at certain real quadratic arguments are shown to be global $p$-units in the narrow Hilbert class field of the associated real quadratic field, as predicted by conjectures of…
Heegner cycles are higher weight analogues of Heegner points. Their arithmetic intersection numbers also appear as Fourier coefficients of modular forms and often belong to abelian extensions of imaginary-quadratic fields. Rotger and Seveso…
We present a classification of the so-called "additive symmetric 2-cocycles" of arbitrary degree and dimension over Z/p, along with a partial result and some conjectures for m-cocycles over Z/p, m > 2. This expands greatly on a result…
Let A be a commutative ring, B a commutative A-algebra and M a complex of B-modules. We begin by constructing the square Sq_{B/A} M, which is also a complex of B-modules. The squaring operation is a quadratic functor, and its construction…
Werner Meyer constructed a cocycle in $H^2(Sp(2g, \mathbb{Z}); \mathbb{Z})$ which computes the signature of a closed oriented surface bundle over a surface, with fibre a surface of genus g. By studying properties of this cocycle, he also…
We construct an explicit canonical cycle in the top-dimensional homology of the Voronoi complex associated with an arithmetic group. This cycle relates to the cohomology of SL$_n(\mathbb{Z})$ with rational coefficients at the virtual…
Using a complex parameterizing rational spherical chains, we construct explicit cocycles for $\mathrm{GL}_n(\Q)$ valued in the motivic cohomology of (open subsets of) the algebraic $n$-torus $\mathbb{G}_m^n$. The resulting cocycles directly…
We develop a "local theory" of multidimensional quasiperiodic $\SL(2,\R)$ cocycles which are not homotopic to a constant. It describes a $C^1$-open neighborhood of cocycles of rotations and applies irrespective of arithmetic conditions on…
Let f be a modular form of weight 2 and trivial character. Fix also an imaginary quadratic field K. We use work of Bertolini-Darmon and Vatsal to study the mu-invariant of the p-adic Selmer group of f over the anticyclotomic Zp-extension of…
We prove a rigidity theorem for dominated H\"{o}lder cocycles with values on diffeomorphism groups of a compact manifold over hyperbolic homeomorphisms. More precisely, we show that if two such cocycles have equal periodic data, then they…
Let $n, m\ge 2$. Let $\Gamma<\text{SO}^\circ(n+1,1)$ be a Zariski dense convex cocompact subgroup and $\Lambda\subset\mathbb{S}^n$ be its limit set. Let $\rho : \Gamma \to \text{SO}^\circ(m+1,1)$ be a Zariski dense convex cocompact faithful…