We extend to positive real weights Haberlands formula giving a cohomological description of the Petersson scalar product of modular cusp forms of positive even weight. This relation is based on the cup product of an Eichler cocycle and a Knopp cocycle. We also consider the cup product of two Eichler cocycles attached to modular forms. In the classical context of integral weights at least $2$ this cup product is uninteresting. We show evidence that for real weights this cup product may very well be non-trivial. We approach the question whether the cup product is a non-trivial coinvariant by duality with a space of entire modular forms. Under suitable conditions on the weights this leads to an explicit triple integral involving three modular forms. We use this representation to study the cup product numerically.
We prove that amongst all real quadratic fields and all spaces of Hilbert modular forms of full level and of weight $2$ or greater, the product of two Hecke eigenforms is not a Hecke eigenform except for finitely many real quadratic fields and finitely many weights. We show that for $mathbb Q(sqrt 5)$ there are exactly two such identities.
We use a vector field flow defined through a cubulation of a closed manifold to reconcile the partially defined commutative product on geometric cochains with the standard cup product on cubical cochains, which is fully defined and commutative only up to coherent homotopies. The interplay between intersection and cup product dates back to the beginnings of homology theory, but, to our knowledge, this result is the first to give an explicit cochain level comparison between these approaches.
Given a finite set of quasi-periodic cocycles the random product of them is defined as the random composition according to some probability measure. We prove that the set of $C^r$, $0leq r leq infty$ (or analytic) $k+1$-tuples of quasi periodic cocycles taking values in $SL_2(mathbb{R})$ such that the random product of them has positive Lyapunov exponent contains a $C^0$ open and $C^r$ dense subset which is formed by $C^0$ continuity point of the Lyapunov exponent For $k+1$-tuples of quasi periodic cocycles taking values in $GL_d(mathbb{R})$ for $d>2$, we prove that if one of them is diagonal, then there exists a $C^r$ dense set of such $k+1$-tuples which has simples Lyapunov spectrum and are $C^0$ continuity point of the Lyapunov exponent.
We prove the vanishing of the cup product of the bounded cohomology classes associated to any two Brooks quasimorphisms on the free group. This is a consequence of the vanishing of the square of a universal class for tree automorphism groups.
We establish an isomorphism between certain complex-valued and vector-valued modular form spaces of half-integral weight, generalizing the well-known isomorphism between modular forms for $Gamma_0(4)$ with Kohnens plus condition and modular forms for the Weil representation associated to the discriminant form for the lattice with Gram matrix $(2)$. With such an isomorphism, we prove the Zagier duality and write down the Borcherds lifts explicitly.