5 citations · 5 across the 4 of their papers we have counts for
4 papers
DeepAlgebra - an outline of a program
Przemyslaw Chojecki
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 au…
Strong local-global compatibility in the p-adic Langlands program for U(2)
Przemyslaw Chojecki, Claus Sorensen
We prove that certain Galois-isotypic parts of the completed cohomology group for U(2) can be written as a completed tensor product of a representation coming from the p-adic Langl…
Ordinary representations and companion points for U(3) in the indecomposable case
John Bergdall, Przemyslaw Chojecki
We prove that certain p-adic Banach representations, associated to local ordinary Galois representations, constructed by Breuil and Herzig appears in the completed cohomology of a…
Density of crystalline points on unitary Shimura varieties
Przemyslaw Chojecki
We prove that crystalline points are dense in the spectrum of the completed Hecke algebra on unitary Shimura varieties.