bdd_at_infty — Mathlib

English

There is a natural ℂ-algebra structure on the direct sum of cusp forms, compatible with translation by GL(2,ℝ).

Русский

На DirectSum cusp-форм существует естественная структура алгебры над ℂ, согласованная с переносами по GL(2,ℝ).

LaTeX

$$$\\bigoplus_k \\mathrm{CuspForm}_k(Γ) \\text{ is a } \\mathbb{C}\\text{-algebra with slash-translations}.$$

Lean4

theorem bdd_at_infty [ModularFormClass F Γ k] (f : F) : IsBoundedAtImInfty f := by
  simpa using ModularFormClass.bdd_at_infty_slash f 1

Похожие утверждения