A p-adic quantum group and the quantized p-adic upper half plane

Abstract

Eine Quantengruppe ist eine nichtkommutative und nichtkokommutative Hopfalgebra. In dieser Arbeit konstruieren wir eine Deformation der lokalkonvexen Hopfalgebra der lokalanalytischen Funktionen auf GL(2,O), wobei O hier der Bewertungsring einer endlichen Erweiterung der p-adischen Zahlen ist. Wir zeigen, dass diese Deformation eine nichtkommutative, nichtkokommutative lokalkonvexe Hopfalgebra, also eine p-adische Quantengruppe, ist. Unser Hauptresultat ist, dass das starke Dual dieser Deformation eine Fréchet-Stein Algebra ist. Dies bedeutet, dass das starke Dual ein projektiver Limes von noetherschen Banachalgebren unter rechtsflachen Übergangsabbildungen ist. Im kommutativen Fall wurde dies von P. Schneider und J. Teitelbaum gezeigt. Unser Beweis im nichtkommutativen Fall benutzt Ideen von M. Emerton, der einen alternativen Beweis im kommutativen Fall gefunden hat. Für unseren Beweis beschreiben wir gewisse Vervollständigungen der quanten-einhüllenden Algebra und benutzen die Technik der partiell dividierten Potenzen. Eine wichtige Klasse lokalanalytischer Darstellungen von GL(2,K) wird mithilfe globaler Schnitte von Linienbündeln auf der p-adischen oberen Halbebene konstruiert. Wir konstruieren ein nichtkommutatives Analogon der p-adischen oberen Halbebene, von dem wir erwarten, dass es interessante Darstellungen unserer p-adischen Quantengruppe induziert. Die wichtigsten Hilfsmittel der Konstruktion sind die Maninsche Quantenebene, der Bruhat-Tits Baum für PGL(2,K) und die Theorie der algebraischen Mikrolokalisierung.

A quantum group is a noncommutative noncocommutative Hopf algebra. In this thesis we deform the locally convex Hopf algebra of locally analytic functions on GL(2,O), where O is the valuation ring of a finite extension of the p-adic numbers. We show that this deformation is a noncommutative noncocommutative locally convex Hopf algebra, i.e. a p-adic quantum group. Our main result is that the strong dual of our deformation is a Fréchet Stein algebra, i.e. a projective limit of Noetherian Banach algebras with right flat transition maps. This was shown in the commutative case by P. Schneider and J. Teitelbaum. For our proof in the noncommutative case we use ideas of M. Emerton, who gave an alternative proof of the Fréchet Stein property in the commutative case. For the proof we describe completions of the quantum enveloping algebra and use partial divided powers. An important class of locally analytic representations of GL(2,K) is constructed from global sections of line bundles on the p-adic upper half plane. We construct a noncommutative analogue of an affine version of the p-adic upper half plane which we expect to give rise to interesting representations of our p-adic quantum group. We construct this space by using the Manin quantum plane, the Bruhat-Tits tree for PGL(2,K) and the theory of algebraic microlocalization.