Factorizable Module Algebras, Canonical Bases, and Clusters

Simple item page
dc.contributor.advisorBerenstein, Arkady
dc.contributor.authorSchmidt, Karl
dc.date.accessioned2018-09-06T22:00:32Z
dc.date.available2018-09-06T22:00:32Z
dc.date.issued2018-09-06
dc.description.abstractThe present dissertation consists of four interconnected projects. In the first, we introduce and study what we call factorizable module algebras. These are $U_q(\mathfrak{g})$-module algebras $A$ which factor, potentially after localization, as the tensor product of the subalgebra $A^+$ of highest weight vectors of $A$ and a copy of the quantum coordinate algebra $\mathcal{A}_q[U]$, where $U$ is a maximal unipotent subgroup of $G$, a semisimple Lie group whose Lie algebra is $\mathfrak{g}$. The class of factorizable module algebras is surprisingly rich, in particular including the quantum coordinate algebras $\mathcal{A}_q[Mat_{m,n}]$, $\mathcal{A}_q[G]$ and $\mathcal{A}_q[G/U]$. It is closed under the braided tensor product and, moreover, the subalgebra $A^+$ of each such $A$ is naturally a module algebra over the quantization of $\mathfrak{g}^*$, the Lie algebra of the Poisson dual group $G^*$. The aforementioned examples of factorizable module algebras all possess dual canonical bases which behave nicely with respect to factorization $A=A^+\otimes \mathcal{A}_q[U]$. We expect the same is true for many other members of this class, including braided tensor products of such. To facilitate such a construction in tensor products, we propose an axiomatic framework of based modules which, in particular, vastly generalizes Lusztig's notion of based modules. We argue that all of the aforementioned $U_q(\mathfrak{g})$-module algebras (and many others) with their dual canonical bases are included, along with their tensor products. One of the central objects of study emerging from our generalization of Lusztig's based modules is a new (very canonical) basis $\mathcal{B}^{\diamond n}$ in the $n$-th braided tensor power $\mathcal{A}_q[G/U]$. We argue (yet conjecturally) that $\mathcal{A}_q[G/U]^{\underline{\otimes}n}$ has a quantum cluster structure and conjecture that the expected cluster structure structure on $\mathcal{A}_q[G/U]^{\underline{\otimes}n}$ is completely controlled by the real elements of our canonical basis $\mathcal{B}^{\diamond n}$. Finally, in order to partially explain the monoidal structures appearing above, we provide an axiomatic framework to construct examples of bialgebroids of Sweedler type. In particular, we describe a bialgebroid structure on $\mathfrak{u}_q(\mathfrak{g})\rtimes\mathbb{Q} C_2$, where $\mathfrak{u}_q(\mathfrak{g})$ is the small quantum group and $C_2$ is the cyclic group of order two. This dissertation contains previously published co-authored material.en_US
dc.identifier.urihttps://hdl.handle.net/1794/23793
dc.language.isoen_US
dc.publisherUniversity of Oregon
dc.rightsAll Rights Reserved.
dc.subjectCanonical basisen_US
dc.subjectModule algebraen_US
dc.subjectQuantum cluster algebraen_US
dc.subjectQuantum groupen_US
dc.titleFactorizable Module Algebras, Canonical Bases, and Clusters
dc.typeElectronic Thesis or Dissertation
thesis.degree.disciplineDepartment of Mathematics
thesis.degree.grantorUniversity of Oregon
thesis.degree.leveldoctoral
thesis.degree.namePh.D.

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Schmidt_oregon_0171A_12223.pdf
Size:
625.85 KB
Format:
Adobe Portable Document Format
Download

Collections

Theses and Dissertations
Mathematics Theses and Dissertations