davidloeffler

Solved 18

• Local calculus and equivariance of mixed-period test functionsProved

  Sep 2026

• Wirtinger data for mixed-period test functions at positive levelProved

  Sep 2026

• Stokes vanishing for an equivariant mixed primitiveProved

  Sep 2026

• Period pairings as finite Wirtinger sums in weight at least twoProved

  Sep 2026

• Finite right-coset representatives for $\Gamma_1(N)$Proved

  Sep 2026

• A principal mixed period cocycle admits an equivariant primitiveProved

  Sep 2026

• Reflection identifies the antiholomorphic cusp-form summandProved

  Sep 2026

• Eichler–Shimura injectivity: a principal mixed period cocycle has zero cusp formsProved

  Sep 2026

• Hecke acts scalarly on boundary symbols at primes congruent to oneProved

  Sep 2026

• No boundary symbol carries the full eigenpacket of a cusp formProved

  Sep 2026

• Existence of the Hecke-equivariant integration mapProved

  Sep 2026

• Injective Hecke-equivariant integration mapProved

  Sep 2026

• Signed algebraic periods and a finite integral latticeProved

  Sep 2026

• MTT interpolation from the two signed moment measuresProved

  Sep 2026

• Unique bounded measure realizing the critical polynomial momentsProved

  Sep 2026

• Birch–Mellin formula for primitive twistsProved

  Sep 2026

• Existence and uniqueness of the ordinary p-rootProved

  Sep 2026

• Existence of the ordinary p-adic L-measure with MTT interpolationProved

  Sep 2026

Posted 49

• Cusp decay of mixed-period test functions at positive levelProved

  Sep 2026

• Period pairings as finite Wirtinger sums in weight at least twoProved

  Sep 2026

• Period pairing as a finite transversal integral in weight at least twoProved

  Sep 2026

• Wirtinger data for mixed-period test functions at positive levelProved

  Sep 2026

• Tile integrability of mixed-period Wirtinger densities at positive levelProved

  Sep 2026

• Period pairing as a finite transversal integralOpen

  Sep 2026

• Tile integrability of mixed-period Wirtinger densitiesOpen

  Sep 2026

• Local calculus and equivariance of mixed-period test functionsProved

  Sep 2026

• Cusp decay of mixed-period test functionsOpen

  Sep 2026

• Period pairings as finite sums of Wirtinger integralsOpen

  Sep 2026

• Wirtinger data for the two mixed-period test functionsOpen

  Sep 2026

• Finite right-coset representatives for $\Gamma_1(N)$Proved

  Sep 2026

• The period contraction is a nonzero multiple of the Petersson normProved

  Sep 2026

• Stokes vanishing for an equivariant mixed primitiveProved

  Sep 2026

• A principal mixed period cocycle admits an equivariant primitiveProved

  Sep 2026

• Reflection identifies the antiholomorphic cusp-form summandProved

  Sep 2026

• Mixed period primitives, determinant contraction and Petersson integralsDefinition

  Sep 2026

• Boundary Hecke sum at a single cuspProved

  Sep 2026

• Hecke acts scalarly on boundary symbols at primes congruent to oneProved

  Sep 2026

• Logarithmically weighted square summability of cusp-form coefficientsProved

  Sep 2026

• Analytic transformation and linearity of cusp primitivesProved

  Sep 2026

• The integration cochain defines a linear cohomology mapProved

  Sep 2026

• Coefficient formula for the integration classProved

  Sep 2026

• Injectivity of cusp-to-cusp integrationProved

  Sep 2026

• Hecke equivariance of cusp-to-cusp integrationProved

  Sep 2026

• The cusp-to-cusp integration cocycleDefinition

  Sep 2026

• Integral relative symbols and finite-index coinductionDefinition

  Sep 2026

• Multiplicity at most one for each signed cuspidal eigenpacketProved

  Sep 2026

• Finite integral lattice for algebraic cohomology evaluationsProved

  Sep 2026

• Flat base change for compactly supported group cohomologyProved

  Sep 2026

• Signed modular-symbol evaluation and Hecke eigenclassesProved

  Sep 2026

• Descent of a signed eigenline to algebraic coefficientsProved

  Sep 2026

• Injective Hecke-equivariant integration mapProved

  Sep 2026

• Finite generation of integral compactly supported cohomologyProved

  Sep 2026

• Compactly supported group cohomology and integral modular-symbol evaluationsDefinition

  Sep 2026

• MTT interpolation at conductor one from depth-one momentsProved

  Sep 2026

• MTT interpolation at positive conductor from disk momentsProved

  Sep 2026

• Colmez order-zero extension of compatible polynomial disk momentsProved

  Sep 2026

• Ordinary centred disk-moment bound in every critical degreeProved

  Sep 2026

• Existence of the ordinary p-adic L-measure with MTT interpolationProved

  Sep 2026

• MTT interpolation from the two signed moment measuresProved

  Sep 2026

• Unique bounded measure realizing the critical polynomial momentsProved

  Sep 2026

• Uniform boundedness of ordinary disk massesProved

  Sep 2026

• Compatibility of polynomial disk moments under refinementProved

  Sep 2026

• Birch–Mellin formula for primitive twistsProved

  Sep 2026

• Existence and uniqueness of the ordinary p-rootProved

  Sep 2026

• Signed algebraic periods and a finite integral latticeProved

  Sep 2026

• MTT: p-adic measures, disk moments, and interpolationDefinition

  Sep 2026

• MTT: cusp forms, modular integrals, periods, and complex critical valuesDefinition

  Sep 2026