For certain mod p Galois representations ρ̄, arising from modular forms on definite unitary groups in two variables, we express the ρ̄-part of completed cohomology Ĥ ρ̄ (away from Σ = Σp ∪Σ0) as a… (More)

We study the completed cohomology Ĥ of a definite unitary group G in two variables associated with a CM-extension K/F . When the prime p splits, we prove that (under technical asumptions) the p-adic… (More)

We outline a program in the area of formalization of mathematics to automate theorem proving in algebra and algebraic geometry. We propose a construction of a dictionary between automated theorem… (More)

In this paper, we construct a candidate p-adic Jacquet-Langlands correspondence. This is a correspondence between unitary continuous admissible representaitons of GL2(Qp) valued in p-adic Banach… (More)