Showing 1–50 of 84 results for author: Yakimov, M

The Poisson degeneracy locus of a flag variety

Authors: Élie Casbi, Aria Masoomi, Milen Yakimov

Abstract: We present a comprehensive study of the degeneracy loci of the full flag varieties of all complex semisimple Lie groups equipped with the standard Poisson structures. The reduced Poisson degeneracy loci are shown to stratify under the action of the canonical maximal torus into open Richardson varieties $\mathcal{R}_v^w$ for pairs of Weyl group elements $v \leq w$ that extend the covering relation… ▽ More We present a comprehensive study of the degeneracy loci of the full flag varieties of all complex semisimple Lie groups equipped with the standard Poisson structures. The reduced Poisson degeneracy loci are shown to stratify under the action of the canonical maximal torus into open Richardson varieties $\mathcal{R}_v^w$ for pairs of Weyl group elements $v \leq w$ that extend the covering relation of the Bruhat order. Four different combinatorial descriptions of those pairs are given, and it is shown that their Bruhat intervals are power sets. The corresponding closed Richardson varieties $\overline{\mathcal{R}_v^m}$ are shown to be isomorphic to $(\mathbb{C}\mathbb{P}^1)^d$ for $d \geq 0$ in a compatible way with the stratification. As a consequence, we obtain that the reduced Poisson degeneracy loci of all full flag varieties are connected, and all of their irreducible components are isomorphic to $(\mathbb{C}\mathbb{P}^1)^n$ for some $n \geq 0$; they are not equidimensional in general. Using the framework of projected Richardson varieties, these results are extended to all partial flag varieties. The top dimension of irreducible components of the reduced Poisson degeneracy locus in the full flag case is proved to be equal to the cardinality of Kostant's cascade of roots and the reflective length of the longest Weyl group element. It is shown that the Poisson degeneracy loci of flag varieties are not reduced in general. △ Less

Submitted 1 February, 2024; v1 submitted 9 January, 2024; originally announced January 2024.

Comments: 37 pages, comments welcomed

MSC Class: Primary 14M15; Secondary 53D17; 14L35; 05E18

A Chinese remainder theorem and Carlson's theorem for monoidal triangulated categories

Authors: Daniel K. Nakano, Kent B. Vashaw, Milen T. Yakimov

Abstract: In this paper the authors prove fundamental decomposition theorems pertaining to the internal structure of monoidal triangulated categories (M$Δ$Cs). The tensor structure of an M$Δ$C enables one to view these categories like (noncommutative) rings and to attempt to extend the key results for the latter to the categorical setting. The main theorem is an analogue of the Chinese Remainder Theorem inv… ▽ More In this paper the authors prove fundamental decomposition theorems pertaining to the internal structure of monoidal triangulated categories (M$Δ$Cs). The tensor structure of an M$Δ$C enables one to view these categories like (noncommutative) rings and to attempt to extend the key results for the latter to the categorical setting. The main theorem is an analogue of the Chinese Remainder Theorem involving the Verdier quotients for coprime thick ideals. This result is used to obtain orthogonal decompositions of the extended endomorphism rings of idempotent algebra objects of M$Δ$Cs. The authors also provide topological characterizations on when an M$Δ$C contains a pair of coprime proper thick ideals, and additionally, when the latter are complementary in the sense that their intersection is contained in the prime radical of the category. As an application of the aforementioned results, the authors establish for arbitrary M$Δ$Cs a general version of Carlson's theorem on the connnectedness of supports for indecomposable objects. Examples of our results are given at the end of the paper for the derived category of schemes and for the stable module categories for finite group schemes. △ Less

Submitted 17 December, 2023; v1 submitted 29 November, 2023; originally announced November 2023.

Comments: 29 pages

The lowest discriminant ideal of a Cayley-Hamilton Hopf algebra

Authors: Zhongkai Mi, Quanshui Wu, Milen Yakimov

Abstract: Discriminant ideals of noncommutative algebras $A$, which are module finite over a central sublagebra $C$, are key invariants that carry important information about $A$, such as the sum of the squares of the dimensions of its irreducible modules with a given central character. There has been substantial research on the computation of discriminants, but very little is known about the computation of… ▽ More Discriminant ideals of noncommutative algebras $A$, which are module finite over a central sublagebra $C$, are key invariants that carry important information about $A$, such as the sum of the squares of the dimensions of its irreducible modules with a given central character. There has been substantial research on the computation of discriminants, but very little is known about the computation of discriminant ideals. In this paper we carry out a detailed investigation of the lowest discriminant ideals of Cayley-Hamilton Hopf algebras in the sense of De Concini, Reshetikhin, Rosso and Procesi, whose identity fiber algebras are basic. The lowest discriminant ideals are the most complicated ones, because they capture the most degenerate behaviour of the fibers in the exact opposite spectrum of the picture from the Azumaya locus. We provide a description of the zero sets of the lowest discriminant ideals of Cayley-Hamilton Hopf algebras in terms of maximally stable modules of Hopf algebras, irreducible modules that are stable under tensoring with the maximal possible number of irreducible modules with trivial central character. In important situations, this is shown to be governed by the actions of the winding automorphism groups. The results are illustrated with applications to the group algebras of central extensions of abelian groups, big quantum Borel subalgebras at roots of unity and quantum coordinate rings at roots of unity. △ Less

Submitted 3 November, 2023; v1 submitted 28 July, 2023; originally announced July 2023.

Comments: 33 pages

MSC Class: Primary 16G30; Secondary 16T05; 17B37; 16D60; 16W20; 16E10

Reflective centers of module categories and quantum K-matrices

Authors: Robert Laugwitz, Chelsea Walton, Milen Yakimov

Abstract: Given a braided monoidal category $\mathcal{C}$ and $\mathcal{C}$-module category $\mathcal{M}$, we introduce a version of the Drinfeld center $\mathcal{Z}(\mathcal{C})$ of $\mathcal{C}$ adapted for $\mathcal{M}$; we refer to this category as the reflective center $\mathcal{E}_\mathcal{C}(\mathcal{M})$ of $\mathcal{M}$. Just like $\mathcal{Z}(\mathcal{C})$ is a canonical braided monoidal category… ▽ More Given a braided monoidal category $\mathcal{C}$ and $\mathcal{C}$-module category $\mathcal{M}$, we introduce a version of the Drinfeld center $\mathcal{Z}(\mathcal{C})$ of $\mathcal{C}$ adapted for $\mathcal{M}$; we refer to this category as the reflective center $\mathcal{E}_\mathcal{C}(\mathcal{M})$ of $\mathcal{M}$. Just like $\mathcal{Z}(\mathcal{C})$ is a canonical braided monoidal category attached to $\mathcal{C}$, we show that $\mathcal{E}_\mathcal{C}(\mathcal{M})$ is a canonical braided module category attached to $\mathcal{M}$. We also study when $\mathcal{E}_\mathcal{C}(\mathcal{M})$ possesses nice properties such as being abelian, finite, and semisimple. Our second goal pertains to when $\mathcal{C}$ is the category of modules over a quasitriangular Hopf algebra $H$, and $\mathcal{M}$ is the category of modules over an $H$-comodule algebra $A$. We show that $\mathcal{E}_\mathcal{C}(\mathcal{M})$ here is equivalent to a category of modules over (or, is represented by) an explicit algebra, denoted by $R_H(A)$, which we call the reflective algebra of $A$. This result is akin to $\mathcal{Z}(\mathcal{C})$ being represented by the Drinfeld double $\text{Drin}(H)$ of $H$. Our third set of results is also in the Hopf setting above. We show that reflective algebras are quasitriangular $H$-comodule algebras, and examine their corresponding quantum $K$-matrices. We also establish that the reflective algebra $R_H(\Bbbk)$ is an initial object in the category of quasitriangular $H$-comodule algebras, where $\Bbbk$ is the ground field. The case when $H$ is the Drinfeld double of a finite group is illustrated. Lastly, we study the reflective center $\mathcal{E}_\mathcal{C}(\mathcal{M})$ as a module category over $\mathcal{Z}(\mathcal{C})$ in the Hopf setting. This action gives the reflective algebra $R_H(A)$ the structure of a $\text{Drin}(H)$-comodule algebra. △ Less

Submitted 27 July, 2023; originally announced July 2023.

Comments: v1: 48 pages. Comments welcomed

Matrix valued discrete-continuous functions with the prolate spheroidal property and bispectrality

Authors: W. Riley Casper, F. Alberto Grunbaum, Milen Yakimov, Ignacio Zurrian

Abstract: Classical prolate spheroidal functions play an important role in the study of time-band limiting, scaling limits of random matrices, and the distribution of the zeros of the Riemann zeta function. We establish an intrinsic relationship between discrete-continuous bispectral functions and the prolate spheroidal phenomenon. The former functions form a vast class, parametrized by an infinite dimensio… ▽ More Classical prolate spheroidal functions play an important role in the study of time-band limiting, scaling limits of random matrices, and the distribution of the zeros of the Riemann zeta function. We establish an intrinsic relationship between discrete-continuous bispectral functions and the prolate spheroidal phenomenon. The former functions form a vast class, parametrized by an infinite dimensional manifold, and are constructed by Darboux transformations from classical bispectral functions associated to orthogonal polynomials. Special cases include spherical functions. We prove that all such Darboux transformations which are self-adjoint in a certain sense give rise to integral operators possessing commuting differential operators and to discrete integral operators possessing commuting shift operators. One particularly striking implication of this is the correspondence between discrete and continuous pairs of commuting operators. Moreover, all results are proved in the setting of matrix valued functions, which provides further advantages for applications. Our methods rely on the use of noncommutative matrix valued Fourier algebras associated to discrete-continuous bispectral functions. We produce the commuting differential and shift operators in a constructive way with explicit upper bounds on their orders and bandwidths, which is illustrated with many concrete examples. △ Less

Submitted 14 February, 2024; v1 submitted 11 February, 2023; originally announced February 2023.

Comments: 33 pages

MSC Class: Primary 37K35; Secondary 16S32; 39A70

Poisson trace orders

Authors: K. A. Brown, M. T. Yakimov

Abstract: The two main approaches to the study of irreducible representations of orders (via traces and Poisson orders) have so far been applied in a completely independent fashion. We define and study a natural compatibility relation between the two approaches leading to the notion of Poisson trace orders. It is proved that all regular and reduced traces are always compatible with any Poisson order structu… ▽ More The two main approaches to the study of irreducible representations of orders (via traces and Poisson orders) have so far been applied in a completely independent fashion. We define and study a natural compatibility relation between the two approaches leading to the notion of Poisson trace orders. It is proved that all regular and reduced traces are always compatible with any Poisson order structure. The modified discriminant ideals of all Poisson trace orders are proved to be Poisson ideals and the zero loci of discriminant ideals are shown to be unions of symplectic cores, under natural assumptions (maximal orders and Cayley--Hamilton algebras). A base change theorem for Poisson trace orders is proved. A broad range of Poisson trace orders are constructed based on the proved theorems: quantized universal envelo** algebras, quantum Schubert cell algebras and quantum function algebras at roots of unity, symplectic reflection algebras, 3 and 4-dimensional Sklyanin algebras, Drinfeld doubles of pre-Nichols algebras of diagonal type, and root of unity quantum cluster algebras. △ Less

Submitted 21 November, 2022; originally announced November 2022.

Comments: 24 pages

MSC Class: Primary 16G30; Secondary 17B63; 17B37; 13F60; 14A22

Poisson geometry and Azumaya loci of cluster algebras

Authors: Greg Muller, Bach Nguyen, Kurt Trampel, Milen Yakimov

Abstract: There are two main types of objects in the theory of cluster algebras: the upper cluster algebras ${\boldsymbol{\mathsf U}}$ with their Gekhtman-Shapiro-Vainshtein Poisson brackets and their root of unity quantizations ${\boldsymbol{\mathsf U}}_\varepsilon$. On the Poisson side, we prove that (without any assumptions) the spectrum of every finitely generated upper cluster algebra… ▽ More There are two main types of objects in the theory of cluster algebras: the upper cluster algebras ${\boldsymbol{\mathsf U}}$ with their Gekhtman-Shapiro-Vainshtein Poisson brackets and their root of unity quantizations ${\boldsymbol{\mathsf U}}_\varepsilon$. On the Poisson side, we prove that (without any assumptions) the spectrum of every finitely generated upper cluster algebra ${\boldsymbol{\mathsf U}}$ with its GSV Poisson structure always has a Zariski open orbit of symplectic leaves and give an explicit description of it. On the quantum side, we describe the fully Azumaya loci of the quantizations ${\boldsymbol{\mathsf U}}_\varepsilon$ under the assumption that ${\boldsymbol{\mathsf A}}_\varepsilon = {\boldsymbol{\mathsf U}}_\varepsilon$ and ${\boldsymbol{\mathsf U}}_\varepsilon$ is a finitely generated algebra. All results allow frozen variables to be either inverted or not. △ Less

Submitted 26 February, 2023; v1 submitted 23 September, 2022; originally announced September 2022.

Comments: 34 pages, v2: minor additions and corrections

MSC Class: 13F60; 53D17; 16G30; 17B37

Solid State Detectors and Tracking for Snowmass

Authors: A. Affolder, A. Apresyan, S. Worm, M. Albrow, D. Ally, D. Ambrose, E. Anderssen, N. Apadula, P. Asenov, W. Armstrong, M. Artuso, A. Barbier, P. Barletta, L. Bauerdick, D. Berry, M. Bomben, M. Boscardin, J. Brau, W. Brooks, M. Breidenbach, J. Buckley, V. Cairo, R. Caputo, L. Carpenter, M. Centis-Vignali , et al. (110 additional authors not shown)

Abstract: Tracking detectors are of vital importance for collider-based high energy physics (HEP) experiments. The primary purpose of tracking detectors is the precise reconstruction of charged particle trajectories and the reconstruction of secondary vertices. The performance requirements from the community posed by the future collider experiments require an evolution of tracking systems, necessitating the… ▽ More Tracking detectors are of vital importance for collider-based high energy physics (HEP) experiments. The primary purpose of tracking detectors is the precise reconstruction of charged particle trajectories and the reconstruction of secondary vertices. The performance requirements from the community posed by the future collider experiments require an evolution of tracking systems, necessitating the development of new techniques, materials and technologies in order to fully exploit their physics potential. In this article we summarize the discussions and conclusions of the 2022 Snowmass Instrumentation Frontier subgroup on Solid State and Tracking Detectors (Snowmass IF03). △ Less

Submitted 19 October, 2022; v1 submitted 8 September, 2022; originally announced September 2022.

Comments: for the Snowmass Instrumentation Frontier Solid State Detector and Tracking community

Novel Sensors for Particle Tracking: a Contribution to the Snowmass Community Planning Exercise of 2021

Authors: M. R. Hoeferkamp, S. Seidel, S. Kim, J. Metcalfe, A. Sumant, H. Kagan, W. Trischuk, M. Boscardin, G. -F. Dalla Betta, D. M. S. Sultan, N. T. Fourches, C. Renard, A. Barbier, T. Mahajan, A. Minns, V. Tokranov, M. Yakimov, S. Oktyabrsky, C. Gingu, P. Murat, M. T. Hedges

Abstract: Five contemporary technologies are discussed in the context of their potential roles in particle tracking for future high energy physics applications. These include sensors of the 3D configuration, in both diamond and silicon, submicron-dimension pixels, thin film detectors, and scintillating quantum dots in gallium arsenide. Drivers of the technologies include radiation hardness, excellent positi… ▽ More Five contemporary technologies are discussed in the context of their potential roles in particle tracking for future high energy physics applications. These include sensors of the 3D configuration, in both diamond and silicon, submicron-dimension pixels, thin film detectors, and scintillating quantum dots in gallium arsenide. Drivers of the technologies include radiation hardness, excellent position, vertex, and timing resolution, simplified integration, and optimized power, cost, and material. △ Less

Submitted 23 February, 2022; originally announced February 2022.

Comments: 15 pages, 6 figures

Algebras of commuting differential operators for integral kernels of Airy type

Authors: W. Riley Casper, F. Alberto Grunbaum, Milen Yakimov, Ignacio Zurrian

Abstract: Differential operators commuting with integral operators were discovered in the work of C. Tracy and H. Widom [37, 38] and used to derive asymptotic expansions of the Fredholm determinants of integral operators arising in random matrix theory. Very recently, it has been proved that all rational, symmetric Darboux transformations of the Bessel, Airy, and exponential bispectral functions give rise t… ▽ More Differential operators commuting with integral operators were discovered in the work of C. Tracy and H. Widom [37, 38] and used to derive asymptotic expansions of the Fredholm determinants of integral operators arising in random matrix theory. Very recently, it has been proved that all rational, symmetric Darboux transformations of the Bessel, Airy, and exponential bispectral functions give rise to commuting integral and differential operators [6, 7, 8], vastly generalizing the known examples in the literature. In this paper, we give a classification of the the rational symmetric Darboux transformations of the Airy function in terms of the fixed point submanifold of a differential Galois group acting on the Lagrangian locus of the (infinite dimensional) Airy Adelic Grassmannian and initiate the study of the full algebra of differential operators commuting with each of the integral operators in question. We leverage the general theory of [8] to obtain explicit formulas for the two differential operators of lowest orders that commute with each of the level one and two integral operators obtained in the Darboux process. Moreover, we prove that each pair of differential operators commute with each other. The commuting operators in the level one case are shown to satisfy an algebraic relation defining an elliptic curve. △ Less

Submitted 21 December, 2021; originally announced December 2021.

Comments: 19 pages

MSC Class: 47G10; 34L05; 33C10; 37K35; 37K20

On the spectrum and support theory of a finite tensor category

Authors: Daniel K. Nakano, Kent B. Vashaw, Milen T. Yakimov

Abstract: Finite tensor categories (FTCs) $\bf T$ are important generalizations of the categories of finite dimensional modules of finite dimensional Hopf algebras, which play a key role in many areas of mathematics and mathematical physics. There are two fundamentally different support theories for them: a cohomological one and a universal one based on the noncommutative Balmer spectra of their stable (tri… ▽ More Finite tensor categories (FTCs) $\bf T$ are important generalizations of the categories of finite dimensional modules of finite dimensional Hopf algebras, which play a key role in many areas of mathematics and mathematical physics. There are two fundamentally different support theories for them: a cohomological one and a universal one based on the noncommutative Balmer spectra of their stable (triangulated) categories $\underline{\bf T}$. In this paper we introduce the key notion of the categorical center $C^\bullet_{\underline{\bf T}}$ of the cohomology ring $R^\bullet_{\underline{\bf T}}$ of an FTC, $\bf T$. This enables us to put forward a complete and detailed program for determining the exact relationship between the two support theories, based on $C^\bullet_{\underline{\bf T}}$ of the cohomology ring $R^\bullet_{\underline{\bf T}}$ of an FTC, $\bf T$. More specifically, we construct a continuous map from the noncommutative Balmer spectrum of an FTC, $\bf T$, to the $\text{Proj}$ of the categorical center $C^\bullet_{\underline{\bf T}}$, and prove that this map is surjective under a weaker finite generation assumption for $\bf T$ than the one conjectured by Etingof-Ostrik. Under stronger assumptions, we prove that (i) the map is homeomorphism and (ii) the two-sided thick ideals of $\underline{\bf T}$ are classified by the specialization closed subsets of $\text{Proj} C^\bullet_{\underline{\bf T}}$. We conjecture that both results hold for all FTCs. Many examples are presented that demonstrate how in important cases $C^\bullet_{\underline{\bf T}}$ arises as a fixed point subring of $R^\bullet_{\underline{\bf T}}$ and how the two-sided thick ideals of $\underline{\bf T}$ are determined in a uniform fashion. The majority of our results are proved in the greater generality of monoidal triangulated categories. △ Less

Submitted 29 November, 2023; v1 submitted 21 December, 2021; originally announced December 2021.

Comments: Appendix B has been revised from the prior version after considering comments from Greg Stevenson

MSC Class: 18M05

A Burchnall-Chaundy-Krichever Theory for Fractional Differential Operators

Authors: W. Riley Casper, Emil Horozov, Plamen Iliev, Milen Yakimov

Abstract: Fractional differential (and difference) operators play a role in a number of diverse settings: integrable systems, mirror symmetry, Hurwitz numbers, the Bethe ansatz equations. We prove extensions of the three major results on algebras of commuting (ordinary) differentials operators to the setting of fractional differential operators: (1) the Burchnall-Chaundy theorem that a pair of commuting dif… ▽ More Fractional differential (and difference) operators play a role in a number of diverse settings: integrable systems, mirror symmetry, Hurwitz numbers, the Bethe ansatz equations. We prove extensions of the three major results on algebras of commuting (ordinary) differentials operators to the setting of fractional differential operators: (1) the Burchnall-Chaundy theorem that a pair of commuting differential operators is algebraically dependent, (2) the classification of maximal commutative algebras of differential operators in terms of Sato's theory and (3) the Krichever correspondence constructing those of rank 1 in an algebro-geometric way. Unlike the available proofs of the Burchnall-Chaundy theorem which use the action of one differential operator on the kernel of the other, our extension to the fractional case uses bounds on orders of fractional differential operators and growth of algebras, which also presents a new and much shorter proof of the original result. The second main theorem is achieved by develo** a new tool of the spectral field of a point in Sato's Grassmannian, which carries more information than the widely used notion of spectral curve of a KP solution. Our Krichever type correspondence for fractional differential operators is based on infinite jet bundles. △ Less

Submitted 13 September, 2023; v1 submitted 26 August, 2021; originally announced August 2021.

Comments: 34 pages

MSC Class: 16S32; 16U20; 47G30; 14E18; 13N10; 37K10; 14H70

Root of unity quantum cluster algebras and Cayley-Hamilton algebras

Authors: Shengnan Huang, Thang T. Q. Lê, Milen Yakimov

Abstract: We prove that large classes of algebras in the framework of root of unity quantum cluster algebras have the structures of maximal orders in central simple algebras and Cayley-Hamilton algebras in the sense of Procesi. We show that every root of unity upper quantum cluster algebra is a maximal order and obtain an explicit formula for its reduced trace. Under mild assumptions, inside each such algeb… ▽ More We prove that large classes of algebras in the framework of root of unity quantum cluster algebras have the structures of maximal orders in central simple algebras and Cayley-Hamilton algebras in the sense of Procesi. We show that every root of unity upper quantum cluster algebra is a maximal order and obtain an explicit formula for its reduced trace. Under mild assumptions, inside each such algebra we construct a canonical central subalgebra isomorphic to the underlying upper cluster algebra, such that the pair is a Cayley-Hamilton algebra; its fully Azumaya locus is shown to contain a copy of the underlying cluster $\mathcal{A}$-variety. Both results are proved in the wider generality of intersections of mixed quantum tori over subcollections of seeds. Furthermore, we prove that all monomial subalgebras of root of unity quantum tori are Cayley-Hamilton algebras and classify those ones that are maximal orders. Arbitrary intersections of those over subsets of seeds are also proved to be Cayley-Hamilton algebras. Previous approaches to constructing maximal orders relied on filtration and homological methods. We use new methods based on cluster algebras. △ Less

Submitted 5 January, 2023; v1 submitted 25 July, 2021; originally announced July 2021.

MSC Class: 13F60 (Primary) 16G30; 17B37; 14A22 (Secondary)

Defining relations of quantum symmetric pair coideal subalgebras

Authors: Stefan Kolb, Milen Yakimov

Abstract: We explicitly determine the defining relations of all quantum symmetric pair coideal subalgebras of quantized envelo** algebras of Kac-Moody type. Our methods are based on star products on noncommutative $\mathbb{N}$-graded algebras. The resulting defining relations are expressed in terms of continuous q-Hermite polynomials and a new family of deformed Chebyshev polynomials. We explicitly determine the defining relations of all quantum symmetric pair coideal subalgebras of quantized envelo** algebras of Kac-Moody type. Our methods are based on star products on noncommutative $\mathbb{N}$-graded algebras. The resulting defining relations are expressed in terms of continuous q-Hermite polynomials and a new family of deformed Chebyshev polynomials. △ Less

Submitted 12 April, 2021; originally announced April 2021.

Comments: 37 pages

MSC Class: Primary: 17B37; Secondary: 53C35; 16T05; 17B67

Journal ref: Forum of Mathematics, Sigma 9 (2021) e67

Root of unity quantum cluster algebras and discriminants

Authors: Bach Nguyen, Kurt Trampel, Milen Yakimov

Abstract: We describe a connection between the subjects of cluster algebras, polynomial identity algebras and discriminants. For this, we define the notion of root of unity quantum cluster algebras and prove that they are polynomial identity algebras. Inside each such algebra we construct a (large) canonical central subalgebra, which can be viewed as a far reaching generalization of the central subalgebras… ▽ More We describe a connection between the subjects of cluster algebras, polynomial identity algebras and discriminants. For this, we define the notion of root of unity quantum cluster algebras and prove that they are polynomial identity algebras. Inside each such algebra we construct a (large) canonical central subalgebra, which can be viewed as a far reaching generalization of the central subalgebras of big quantum groups constructed by De Concini, Kac and Procesi and used in representation theory. Each such central subalgebra is proved to be isomorphic to the underlying classical cluster algebra of geometric type. When the root of unity quantum cluster algebra is free over its central subalgebra, we prove that the discriminant of the pair is a product of powers of the frozen variables times an integer. An extension of this result is also proved for the discriminants of all subalgebras generated by the cluster variables of nerves in the exchange graph. These results can be used for the effective computation of discriminants. As an application we prove an explicit formula for the discriminant of the integral form over ${\mathbb{Z}}[\varepsilon]$ of each quantum unipotent cells of De Concini, Kac and Procesi for arbitrary symmetrizable Kac-Moody algebras, where $\varepsilon$ is a root of unity. △ Less

Submitted 24 April, 2021; v1 submitted 3 December, 2020; originally announced December 2020.

Comments: 37 pages

MSC Class: 13F60; 16G30; 17B37; 14A22

Poisson orders on large quantum groups

Authors: Nicolás Andruskiewitsch, Iván Angiono, Milen Yakimov

Abstract: We develop a Poisson geometric framework for studying the representation theory of all contragredient quantum super groups at roots of unity. This is done in a uniform fashion by treating the larger class of quantum doubles of bozonizations of all distinguished pre-Nichols algebras arXiv:1405.6681 belonging to a one-parameter family; we call these algebras \emph{large} quantum groups. We prove tha… ▽ More We develop a Poisson geometric framework for studying the representation theory of all contragredient quantum super groups at roots of unity. This is done in a uniform fashion by treating the larger class of quantum doubles of bozonizations of all distinguished pre-Nichols algebras arXiv:1405.6681 belonging to a one-parameter family; we call these algebras \emph{large} quantum groups. We prove that each of these quantum algebras has a central Hopf subalgebra giving rise to a Poisson order in the sense of arXiv:math/0201042.. We describe explicitly the underlying Poisson algebraic groups and Poisson homogeneous spaces in terms of Borel subgroups of complex semisimple algebraic groups of adjoint type. The geometry of the Poisson algebraic groups and Poisson homogeneous spaces that are involved and its applications to the irreducible representations of the algebras $U_{\mathfrak{q}} \supset U_{\mathfrak{q}}^{\geqslant} \supset U_{\mathfrak{q}}^+$ are also described. Besides all (multiparameter) big quantum groups of De Concini--Kac--Procesi and big quantum super groups at roots of unity, our framework also contains the quantizations in characteristic 0 of the 34-dimensional Kac-Weisfeler Lie algebras in characteristic 2 and the 10-dimensional Brown Lie algebras in characteristic 3. The previous approaches to the above problems relied on reductions to rank two cases and direct calculations of Poisson brackets, which is not possible in the super case since there are 13 kinds of additional Serre relations on up to 4 generators. We use a new approach that relies on perfect pairings between restricted and non-restricted integral forms. △ Less

Submitted 15 March, 2023; v1 submitted 25 August, 2020; originally announced August 2020.

Comments: 52 pages. v2: we adapt some proofs splitting in two cases: super A and other. Type super A has the peculiarity that the rank of the associated Lie algebra is 1 less than the rank of Nichols algebra. Hence we enlarge the central subalgebra from arXiv:1405.6681 adding an extra group-like element so the large quantum group is module-finite over the new central sub algebra. v3: two references added

MSC Class: 16T05; 16T20; 17B37; 17B62

Noncommutative tensor triangular geometry and the tensor product property for support maps

Authors: Daniel K. Nakano, Kent B. Vashaw, Milen T. Yakimov

Abstract: The problem of whether the cohomological support map of a finite dimensional Hopf algebra has the tensor product property has attracted a lot of attention following the earlier developments on representations of finite group schemes. Many authors have focussed on concrete situations where positive and negative results have been obtained by direct arguments. In this paper we demonstrate that it i… ▽ More The problem of whether the cohomological support map of a finite dimensional Hopf algebra has the tensor product property has attracted a lot of attention following the earlier developments on representations of finite group schemes. Many authors have focussed on concrete situations where positive and negative results have been obtained by direct arguments. In this paper we demonstrate that it is natural to study questions involving the tensor product property in the broader setting of a monoidal triangulated category. We give an intrinsic characterization by proving that the tensor product property for the universal support datum is equivalent to complete primeness of the categorical spectrum. From these results one obtains information for other support data, including the cohomological one. Two theorems are proved giving compete primeness and non-complete primeness in certain general settings. As an illustration of the methods, we give a proof of a recent conjecture of Negron and Pevtsova on the tensor product property for the cohomological support maps for the small quantum Borel algebras for all complex simple Lie algebras. △ Less

Submitted 10 August, 2021; v1 submitted 22 August, 2020; originally announced August 2020.

Comments: 20 pages

MSC Class: 18G80; 18M05; 17B37

Reflective prolate-spheroidal operators and the adelic Grassmannian

Authors: W. Riley Casper, F. Alberto Grünbaum, Milen Yakimov, Ignacio Zurrián

Abstract: Beginning with the work of Landau, Pollak and Slepian in the 1960s on time-band limiting, commuting pairs of integral and differential operators have played a key role in signal processing, random matrix theory and integrable systems. Previously, such pairs were constructed by ad hoc methods, which worked because a commuting operator of low order could be found by a direct calculation. We describe… ▽ More Beginning with the work of Landau, Pollak and Slepian in the 1960s on time-band limiting, commuting pairs of integral and differential operators have played a key role in signal processing, random matrix theory and integrable systems. Previously, such pairs were constructed by ad hoc methods, which worked because a commuting operator of low order could be found by a direct calculation. We describe a general approach to these problems that proves that every point $W$ of Wilson's infinite dimensional adelic Grassmannian $\mathrm Gr^ad$ gives rise to an integral operator $T_W$, acting on $L^2(Γ)$ for a contour $Γ\subset\mathbb C$, which reflects a differential operator $R(z,\partial_z)$ in the sense that $R(-z,-\partial_z)\circ T_W=T_W\circ R(w,\partial_w)$ on a dense subset of $L^2(Γ)$. By using analytic methods and methods from integrable systems, we show that the reflected differential operator can be constructed from the Fourier algebra of the associated bispectral function $ψ_W(x,z)$. The size of this algebra with respect to a bifiltration is in turn determined using algebro-geometric methods. Intrinsic properties of four involutions of the adelic Grassmannian naturally lead us to consider the reflecting property in place of plain commutativity. Furthermore, we prove that the time-band limited operators of the generalized Laplace transforms with kernels given by all rank one bispectral functions $ψ_W(x,-z)$ reflect a differential operator. A $90^\circ$ rotation argument is used to prove that the time-band limited operators of the generalized Fourier transforms with kernels $ψ_W(x,iz)$ admit a commuting differential operator. These methods produce vast collections of integral operators with prolate-spheroidal properties, associated to the wave functions of all rational solutions of the KP hierarchy vanishing at infinity, introduced by Krichever in the late 1970s. △ Less

Submitted 25 March, 2020; originally announced March 2020.

Comments: 33 pages

Integral quantum cluster structures

Authors: K. R. Goodearl, M. T. Yakimov

Abstract: We prove a general theorem for constructing integral quantum cluster algebras over ${\mathbb{Z}}[q^{\pm 1/2}]$, namely that under mild conditions the integral forms of quantum nilpotent algebras always possess integral quantum cluster algebra structures. These algebras are then shown to be isomorphic to the corresponding upper quantum cluster algebras, again defined over… ▽ More We prove a general theorem for constructing integral quantum cluster algebras over ${\mathbb{Z}}[q^{\pm 1/2}]$, namely that under mild conditions the integral forms of quantum nilpotent algebras always possess integral quantum cluster algebra structures. These algebras are then shown to be isomorphic to the corresponding upper quantum cluster algebras, again defined over ${\mathbb{Z}}[q^{\pm 1/2}]$. Previously, this was only known for acyclic quantum cluster algebras. The theorem is applied to prove that for every symmetrizable Kac-Moody algebra ${\mathfrak{g}}$ and Weyl group element $w$, the dual canonical form $A_q({\mathfrak{n}}_+(w))_{\mathbb{Z}[q^{\pm 1}]}$ of the corresponding quantum unipotent cell has the property that $A_q( {\mathfrak{n}}_+(w))_{\mathbb{Z}[q^{\pm 1}]} \otimes_{\mathbb{Z}[q^{ \pm 1}]} {\mathbb{Z}}[ q^{\pm 1/2}]$ is isomorphic to a quantum cluster algebra over ${\mathbb{Z}}[q^{\pm 1/2}]$ and to the corresponding upper quantum cluster algebra over ${\mathbb{Z}}[q^{\pm 1/2}]$. △ Less

Submitted 9 March, 2020; originally announced March 2020.

Comments: 43 pages, AMS Latex

MSC Class: 13F60; 16S38; 17B37; 81R50

Bivariate Continuous q-Hermite Polynomials and Deformed Quantum Serre Relations

Authors: W. Riley Casper, Stefan Kolb, Milen Yakimov

Abstract: We introduce bivariate versions of the continuous q-Hermite polynomials. We obtain algebraic properties for them (generating function, explicit expressions in terms of the univariate ones, backward difference equations and recurrence relations) and analytic properties (determining the orthogonality measure). We find a direct link between bivariate continuous q-Hermite polynomials and the star prod… ▽ More We introduce bivariate versions of the continuous q-Hermite polynomials. We obtain algebraic properties for them (generating function, explicit expressions in terms of the univariate ones, backward difference equations and recurrence relations) and analytic properties (determining the orthogonality measure). We find a direct link between bivariate continuous q-Hermite polynomials and the star product method of [Kolb and Yakimov, Adv. Math. 2020] for quantum symmetric pairs to establish deformed quantum Serre relations for quasi-split quantum symmetric pairs of Kac-Moody type. We prove that these defining relations are obtained from the usual quantum Serre relations by replacing all monomials by multivariate orthogonal polynomials. △ Less

Submitted 10 November, 2020; v1 submitted 18 February, 2020; originally announced February 2020.

Comments: 23 pages

MSC Class: Primary: 17B37; Secondary: 53C35; 16T05; 17B67; 33D45; 42C05

Green groupoids of 2-Calabi--Yau categories, derived Picard actions, and hyperplane arrangements

Authors: Peter Jorgensen, Milen Yakimov

Abstract: We present a construction of (faithful) group actions via derived equivalences in the general categorical setting of algebraic 2-Calabi--Yau triangulated categories. To each algebraic 2-Calabi--Yau category $\mathscr{C}$ satisfying standard mild assumptions, we associate a groupoid $\mathscr{G}_{ \mathscr{C} }$, named the green groupoid of $\mathscr{C}$, defined in an intrinsic homological way.… ▽ More We present a construction of (faithful) group actions via derived equivalences in the general categorical setting of algebraic 2-Calabi--Yau triangulated categories. To each algebraic 2-Calabi--Yau category $\mathscr{C}$ satisfying standard mild assumptions, we associate a groupoid $\mathscr{G}_{ \mathscr{C} }$, named the green groupoid of $\mathscr{C}$, defined in an intrinsic homological way. Its objects are given by a set of representatives $\operatorname{mrig} \mathscr{C}$ of the equivalence classes of basic maximal rigid objects of $\mathscr{C}$, arrows are given by mutation, and relations are given by equating monotone (green) paths in the silting order. In this generality we construct a homomorphsim from the green groupoid $\mathscr{G}_{ \mathscr{C} }$ to the derived Picard groupoid of the collection of endomorphism rings of representatives of $\operatorname{mrig} \mathscr{C}$ in a Frobenius model of $\mathscr{C}$; the latter canonically acts by triangle equivalences between the derived categories of the rings. We prove that the constructed representation of the green groupoid $\mathscr{G}_{ \mathscr{C} }$ is faithful if the index chamber decompositions of the split Grothendieck groups of basic maximal rigid objects of $\mathscr{C}$ come from hyperplane arrangements. If $Σ^2 \cong \operatorname{id}$ and $\mathscr{C}$ has finitely many equivalence classes of basic maximal rigid objects, we prove that $\mathscr{G}_{ \mathscr{C} }$ is isomorphic to a Deligne groupoid of a hyperplane arrangement and that the representation of this groupoid is faithful. △ Less

Submitted 29 October, 2019; v1 submitted 12 October, 2019; originally announced October 2019.

Comments: Minor corrections after helpful comments. 48 pages

MSC Class: 13F60; 18B40; 18E10; 18E30; 20F36

Noncommutative tensor triangular geometry

Authors: Daniel K. Nakano, Kent B. Vashaw, Milen T. Yakimov

Abstract: We develop a general noncommutative version of Balmer's tensor triangular geometry that is applicable to arbitrary monoidal triangulated categories (M$Δ$Cs). Insight from noncommutative ring theory is used to obtain a framework for prime, semiprime, and completely prime (thick) ideals of an M$Δ$C, ${\bf K}$, and then to associate to ${\bf K}$ a topological space--the Balmer spectrum… ▽ More We develop a general noncommutative version of Balmer's tensor triangular geometry that is applicable to arbitrary monoidal triangulated categories (M$Δ$Cs). Insight from noncommutative ring theory is used to obtain a framework for prime, semiprime, and completely prime (thick) ideals of an M$Δ$C, ${\bf K}$, and then to associate to ${\bf K}$ a topological space--the Balmer spectrum $\operatorname{Spc} {\bf K}$. We develop a general framework for (noncommutative) support data, coming in three different flavors, and show that $\operatorname{Spc} {\bf K}$ is a universal terminal object for the first two notions (support and weak support). The first two types of support data are then used in a theorem that gives a method for the explicit classification of the thick (two-sided) ideals and the Balmer spectrum of an M$Δ$C. The third type (quasi support) is used in another theorem that provides a method for the explicit classification of the thick right ideals of ${\bf K}$, which in turn can be applied to classify the thick two-sided ideals and $\operatorname{Spc} {\bf K}$. As a special case, our approach can be applied to the stable module categories of arbitrary finite dimensional Hopf algebras that are not necessarily cocommutative (or quasitriangular). We illustrate the general theorems with classifications of the Balmer spectra and thick two-sided/right ideals for the stable module categories of all small quantum groups for Borel subalgebras, and classifications of the Balmer spectra and thick two-sided ideals of Hopf algebras studied by Benson and Witherspoon. △ Less

Submitted 12 May, 2021; v1 submitted 10 September, 2019; originally announced September 2019.

Comments: 34 pages

Reflective prolate-spheroidal operators and the KP/KdV equations

Authors: W. Riley Casper, F. Alberto Grunbaum, Milen Yakimov, Ignacio Zurrian

Abstract: Commuting integral and differential operators connect the topics of Signal Processing, Random Matrix Theory, and Integrable Systems. Previously, the construction of such pairs was based on direct calculation and concerned concrete special cases, leaving behind important families such as the operators associated to the rational solutions of the KdV equation. We prove a general theorem that the inte… ▽ More Commuting integral and differential operators connect the topics of Signal Processing, Random Matrix Theory, and Integrable Systems. Previously, the construction of such pairs was based on direct calculation and concerned concrete special cases, leaving behind important families such as the operators associated to the rational solutions of the KdV equation. We prove a general theorem that the integral operator associated to every wave function in the infinite dimensional Adelic Grassmannian Gr ad of Wilson always reflects a differential operator (in the sense of Definition 1 below). This intrinsic property is shown to follow from the symmetries of Grassmannians of KP wave functions, where the direct commutativity property holds for operators associated to wave functions fixed by Wilson's sign involution but is violated in general. Based on this result, we prove a second main theorem that the integral operators in the computation of the singular values of the truncated generalized Laplace transforms associated to all bispectral wave functions of rank 1 reflect a differential operator. A 90$°$ rotation argument is used to prove a third main theorem that the integral operators in the computation of the singular values of the truncated generalized Fourier transforms associated to all such KP wave functions commute with a differential operator. These methods produce vast collections of integral operators with prolate-spheroidal properties, including as special cases the integral operators associated to all rational solutions of the KdV and KP hierarchies considered by Airault-McKean-Moser and Krichever, respectively, in the late 70's. Many novel examples are presented. △ Less

Submitted 3 September, 2019; originally announced September 2019.

Comments: 9 pages

MSC Class: 47G10; 34L05; 33C10; 37K35; 37K20

Journal ref: Proceedings of the National Academy of Sciences (2019)

Symmetric pairs for Nichols algebras of diagonal type via star products

Authors: Stefan Kolb, Milen Yakimov

Abstract: We construct symmetric pairs for Drinfeld doubles of pre-Nichols algebras of diagonal type and determine when they possess an Iwasawa decomposition. This extends G. Letzter's theory of quantum symmetric pairs. Our results can be uniformly applied to Kac-Moody quantum groups for a generic quantum parameter, for roots of unity in respect to both big and small quantum groups, to quantum supergroups a… ▽ More We construct symmetric pairs for Drinfeld doubles of pre-Nichols algebras of diagonal type and determine when they possess an Iwasawa decomposition. This extends G. Letzter's theory of quantum symmetric pairs. Our results can be uniformly applied to Kac-Moody quantum groups for a generic quantum parameter, for roots of unity in respect to both big and small quantum groups, to quantum supergroups and to exotic quantum groups of ufo type. We give a second construction of symmetric pairs for Heisenberg doubles in the above generality and prove that they always admit an Iwasawa decomposition. For symmetric pair coideal subalgebras with Iwasawa decomposition in the above generality we then address two problems which are fundamental already in the setting of quantum groups. Firstly, we show that the symmetric pair coideal subalgebras are isomorphic to intrinsically defined deformations of partial bosonizations of the corresponding pre-Nichols algebras. To this end we develop a general notion of star products on N-graded connected algebras which provides an efficient tool to prove that two deformations of the partial bosonization are isomorphic. The new perspective also provides an effective algorithm for determining the defining relations of the coideal subalgebras. Secondly, for Nichols algebras of diagonal type, we use the linear isomorphism between the coideal subalgebra and the partial bosonization to give an explicit construction of quasi K-matrices as sums over dual bases. We show that the resulting quasi K-matrices give rise to weakly universal K-matrices in the above generality. △ Less

Submitted 2 January, 2019; originally announced January 2019.

Comments: 54 pages

MSC Class: 17B37

Integral operators, bispectrality and growth of Fourier algebras

Authors: W. Riley Casper, Milen T. Yakimov

Abstract: In the mid 80's it was conjectured that every bispectral meromorphic function $ψ(x,y)$ gives rise to an integral operator $K_ψ(x,y)$ which possesses a commuting differential operator. This has been verified by a direct computation for several families of functions $ψ(x,y)$ where the commuting differential operator is of order $\leq 6$. We prove a general version of this conjecture for all self-adj… ▽ More In the mid 80's it was conjectured that every bispectral meromorphic function $ψ(x,y)$ gives rise to an integral operator $K_ψ(x,y)$ which possesses a commuting differential operator. This has been verified by a direct computation for several families of functions $ψ(x,y)$ where the commuting differential operator is of order $\leq 6$. We prove a general version of this conjecture for all self-adjoint bispectral functions of rank 1 and all self-adjoint bispectral Darboux transformations of the rank 2 Bessel and Airy functions. The method is based on a theorem giving an exact estimate of the second and first order terms of the growth of the Fourier algebra of each such bispectral function. From it we obtain a sharp upper bound on the order of the commuting differential operator for the integral kernel $K_ψ(x,y)$ and a fast algorithmic procedure for constructing the differential operator; unlike the previous examples its order is arbitrarily high. We prove that the above classes of bispectral functions are parametrized by infinite dimensional Grassmannians which are the Lagrangian loci of the Wilson adelic Grassmannian and its analogs in rank 2. △ Less

Submitted 24 October, 2018; v1 submitted 24 July, 2018; originally announced July 2018.

Comments: 46 pages, v2 extended examples

The Matrix Bochner Problem

Authors: W. Riley Casper, Milen Yakimov

Abstract: A long standing question in the theory of orthogonal matrix polynomials is the matrix Bochner problem, the classification of $N \times N$ weight matrices $W(x)$ whose associated orthogonal polynomials are eigenfunctions of a second order differential operator. Based on techniques from noncommutative algebra (semiprime PI algebras of Gelfand-Kirillov dimension one), we construct a framework for the… ▽ More A long standing question in the theory of orthogonal matrix polynomials is the matrix Bochner problem, the classification of $N \times N$ weight matrices $W(x)$ whose associated orthogonal polynomials are eigenfunctions of a second order differential operator. Based on techniques from noncommutative algebra (semiprime PI algebras of Gelfand-Kirillov dimension one), we construct a framework for the systematic study of the structure of the algebra $\mathcal D(W)$ of matrix differential operators for which the orthogonal polynomials of the weight matrix $W(x)$ are eigenfunctions. The ingredients for this algebraic setting are derived from the analytic properties of the orthogonal matrix polynomials. We use the representation theory of the algebras $\mathcal D(W)$ to resolve the matrix Bochner problem under the two natural assumptions that the sum of the sizes of the matrix algebras in the central localization of $\mathcal D(W)$ equals $N$ (fullness of $\mathcal D(W)$) and the leading coefficient of the second order differential operator multiplied by the weight $W(x)$ is positive definite. In the case of $2\times 2$ weights, it is proved that fullness is satisfied as long as $\mathcal D(W)$ is noncommutative. The two conditions are natural in that without them the problem is equivalent to much more general ones by artificially increasing the size of the matrix $W(x)$. △ Less

Submitted 15 March, 2018; v1 submitted 12 March, 2018; originally announced March 2018.

Comments: 57 pages

MSC Class: 16H10; 34L10; 42C05

Poisson geometry and representations of PI 4-dimensional Sklyanin algebras

Authors: Chelsea Walton, Xingting Wang, Milen Yakimov

Abstract: Take S to be a 4-dimensional Sklyanin (elliptic) algebra that is module-finite over its center Z; thus, S is PI. Our first result is the construction of a Poisson Z-order structure on S such that the induced Poisson bracket on Z is non-vanishing. We also provide the explicit Jacobian structure of this bracket, leading to a description of the symplectic core decomposition of the maximal spectrum Y… ▽ More Take S to be a 4-dimensional Sklyanin (elliptic) algebra that is module-finite over its center Z; thus, S is PI. Our first result is the construction of a Poisson Z-order structure on S such that the induced Poisson bracket on Z is non-vanishing. We also provide the explicit Jacobian structure of this bracket, leading to a description of the symplectic core decomposition of the maximal spectrum Y of Z. We then classify the irreducible representations of S by combining (1) the geometry of the Poisson order structures, with (2) algebro-geometric methods for the elliptic curve attached to S, along with (3) representation-theoretic methods using line and fat point modules of S. Along the way, we improve results of Smith and Tate obtaining a description the singular locus of Y for such S. The classification results for irreducible representations are in turn used to determine the zero sets of the discriminants ideals of these algebras S. △ Less

Submitted 17 September, 2021; v1 submitted 18 February, 2018; originally announced February 2018.

Comments: v2: 52 pages, to appear in Selecta Mathematica

Prime spectra of abelian 2-categories and categorifications of Richardson varieties

Authors: Kent Vashaw, Milen Yakimov

Abstract: We describe a general framework for prime, completely prime, semiprime, and primitive ideals of an abelian 2-category. This provides a noncommutative version of Balmer's prime spectrum of a tensor triangulated category. These notions are based on containment conditions in terms of thick subcategories of an abelian category and thick ideals of an abelian 2-category. We prove categorical analogs of… ▽ More We describe a general framework for prime, completely prime, semiprime, and primitive ideals of an abelian 2-category. This provides a noncommutative version of Balmer's prime spectrum of a tensor triangulated category. These notions are based on containment conditions in terms of thick subcategories of an abelian category and thick ideals of an abelian 2-category. We prove categorical analogs of the main properties of noncommutative prime spectra. Similar notions, starting with Serre subcategories of an abelian category and Serre ideals of an abelian 2-category, are developed. They are linked to Serre prime spectra of $\mathbb{Z}_+$-rings. As an application, we construct a categorification of the quantized coordinate rings of open Richardson varieties for symmetric Kac-Moody groups, by constructing Serre completely prime ideals of monoidal categories of modules of the KLR algebras, and by taking Serre quotients with respect to them. △ Less

Submitted 20 September, 2018; v1 submitted 1 February, 2018; originally announced February 2018.

Comments: 38 pages, v2 and 3 corrected typos and other minor changes, v4 contains a new subsection 6.3 on ringed spaces

MSC Class: Primary: 18D05; Secondary: 18E10; 16P40; 17B37;

Cluster algebra structures on Poisson nilpotent algebras

Authors: K. R. Goodearl, M. T. Yakimov

Abstract: Various coordinate rings of varieties appearing in the theory of Poisson Lie groups and Poisson homogeneous spaces belong to the large, axiomatically defined class of symmetric Poisson nilpotent algebras, e.g. coordinate rings of Schubert cells for symmetrizable Kac--Moody groups. We prove that every Poisson nilpotent algebra satisfying a mild condition on certain scalars is canonically isomorphic… ▽ More Various coordinate rings of varieties appearing in the theory of Poisson Lie groups and Poisson homogeneous spaces belong to the large, axiomatically defined class of symmetric Poisson nilpotent algebras, e.g. coordinate rings of Schubert cells for symmetrizable Kac--Moody groups. We prove that every Poisson nilpotent algebra satisfying a mild condition on certain scalars is canonically isomorphic to a cluster algebra which coincides with the corresponding upper cluster algebra, without additional localizations by frozen variables. The constructed cluster structure is compatible with the Poisson structure in the sense of Gekhtman, Shapiro and Vainshtein. All Poisson nilpotent algebras are proved to be equivariant Poisson Unique Factorization Domains. Their seeds are constructed from sequences of Poisson-prime elements for chains of Poisson UFDs; mutation matrices are effectively determined from linear systems in terms of the underlying Poisson structure. Uniqueness, existence, mutation, and other properties are established for these sequences of Poisson-prime elements. △ Less

Submitted 22 January, 2018; v1 submitted 5 January, 2018; originally announced January 2018.

Comments: minor edits in version 2. arXiv admin note: text overlap with arXiv:1309.7869

MSC Class: Primary 13F60; Secondary 17B63; 17B37

$c$-vectors of 2-Calabi--Yau categories and Borel subalgebras of ${\mathfrak{sl}}_{\infty}$

Authors: Peter Jorgensen, Milen Yakimov

Abstract: We develop a general framework for $c$-vectors of 2-Calabi--Yau categories, which deals with cluster tilting subcategories that are not reachable from each other and contain infinitely many indecomposable objects. It does not rely on iterative sequences of mutations. We prove a categorical (infinite-rank) generalization of the Nakanishi--Zelevinsky duality for $c$-vectors and establish two formu… ▽ More We develop a general framework for $c$-vectors of 2-Calabi--Yau categories, which deals with cluster tilting subcategories that are not reachable from each other and contain infinitely many indecomposable objects. It does not rely on iterative sequences of mutations. We prove a categorical (infinite-rank) generalization of the Nakanishi--Zelevinsky duality for $c$-vectors and establish two formulae for the effective computation of $c$-vectors -- one in terms of indices and the other in terms of dimension vectors for cluster tilted algebras. In this framework, we construct a correspondence between the $c$-vectors of the cluster categories ${\mathscr{C}}(A_{\infty})$ of type $A_{\infty}$ due to Igusa--Todorov and the roots of the Borel subalgebras of ${\mathfrak{sl}}_{\infty}$. Contrary to the finite dimensional case, the Borel subalgebras of ${\mathfrak{sl}}_{\infty}$ are not conjugate to each other. On the categorical side, the cluster tilting subcategories of ${\mathscr{C}}(A_{\infty})$ exhibit different homological properties. The correspondence builds a bridge between the two classes of objects. △ Less

Submitted 13 November, 2019; v1 submitted 17 October, 2017; originally announced October 2017.

Comments: This is the final version, which has been accepted for publication in Selecta Mathematica. 37 pages

MSC Class: 17B22; 17B65; 18E30

Twist invariants of graded algebras

Authors: K. R. Goodearl, M. T. Yakimov

Abstract: We define two invariants for (semiprime right Goldie) algebras, one for algebras graded by arbitrary abelian groups, which is unchanged under twists by $2$-cocycles on the grading group, and one for $\mathbb Z$-graded or $\mathbb Z_{\ge 0}$-filtered algebras. The first invariant distinguishes quantum algebras which are "truly multiparameter" apart from ones that are "essentially uniparameter", mea… ▽ More We define two invariants for (semiprime right Goldie) algebras, one for algebras graded by arbitrary abelian groups, which is unchanged under twists by $2$-cocycles on the grading group, and one for $\mathbb Z$-graded or $\mathbb Z_{\ge 0}$-filtered algebras. The first invariant distinguishes quantum algebras which are "truly multiparameter" apart from ones that are "essentially uniparameter", meaning cocycle twists of uniparameter algebras. We prove that both invariants are stable under adjunction of polynomial variables. Methods for computing these invariants for large families of algebras are given, including quantum nilpotent algebras and algebras admitting one quantum cluster, and applications to non-isomorphism theorems are obtained. △ Less

Submitted 21 June, 2017; originally announced June 2017.

MSC Class: 16W50; 16K40; 16S85; 16T20; 17B37; 13F60

Poisson geometry of PI 3-dimensional Sklyanin algebras

Authors: Chelsea Walton, Xingting Wang, Milen Yakimov

Abstract: We give the 3-dimensional Sklyanin algebras $S$ that are module-finite over their center $Z$ the structure of a Poisson $Z$-order (in the sense of Brown-Gordon). We show that the induced Poisson bracket on $Z$ is non-vanishing and is induced by an explicit potential. The ${\mathbb Z}_3 \times \Bbbk^\times$-orbits of symplectic cores of the Poisson structure are determined (where the group acts on… ▽ More We give the 3-dimensional Sklyanin algebras $S$ that are module-finite over their center $Z$ the structure of a Poisson $Z$-order (in the sense of Brown-Gordon). We show that the induced Poisson bracket on $Z$ is non-vanishing and is induced by an explicit potential. The ${\mathbb Z}_3 \times \Bbbk^\times$-orbits of symplectic cores of the Poisson structure are determined (where the group acts on $S$ by algebra automorphisms). In turn, this is used to analyze the finite-dimensional quotients of $S$ by central annihilators: there are 3 distinct isomorphism classes of such quotients in the case $(n,3) \neq 1$ and 2 in the case $(n,3)=1$, where $n$ is the order of the elliptic curve automorphism associated to $S$. The Azumaya locus of $S$ is determined, extending results of Walton for the case $(n,3)=1$. △ Less

Submitted 19 November, 2018; v1 submitted 17 April, 2017; originally announced April 2017.

Comments: v3: 29 pages + references. Includes changes per the referee's suggestions and other minor changes. To appear in the Proceedings of the London Mathematical Society

MSC Class: 14A22; 16G30; 17B63; 81S10

Azumaya loci and discriminant ideals of PI algebras

Authors: Ken A. Brown, Milen T. Yakimov

Abstract: We prove that, under mild assumptions, for all positive integers $\ell$, the zero set of the discriminant ideal $D_{\ell}(R/Z(R); tr)$ of a prime polynomial identity (PI) algebra $R$ coincides with the zero set of the modified discriminant ideal $MD_{\ell}(R/Z(R); tr)$ of $R$. Furthermore, we prove that, when $\ell$ is the square of the PI-degree of $R$, this zero set is precisely the complement o… ▽ More We prove that, under mild assumptions, for all positive integers $\ell$, the zero set of the discriminant ideal $D_{\ell}(R/Z(R); tr)$ of a prime polynomial identity (PI) algebra $R$ coincides with the zero set of the modified discriminant ideal $MD_{\ell}(R/Z(R); tr)$ of $R$. Furthermore, we prove that, when $\ell$ is the square of the PI-degree of $R$, this zero set is precisely the complement of the Azumaya locus of $R$. This description is used to classify the Azumaya loci of the mutiparameter quantized Weyl algebras at roots of unity. As another application, we prove that the zero set of the top discriminant ideal of a prime PI algebra $R$ coincides with the singular locus of the center of $R$, provided that the discriminant ideal has height at least 2, $R$ has finite global dimension and $R$ is a Cohen-Macaulay module over its center. △ Less

Submitted 20 September, 2017; v1 submitted 14 February, 2017; originally announced February 2017.

Comments: Submitted version, main result strengthened by removing hypotheses on field characteristic; typos removed and references updated

MSC Class: 16G99 (Primary) 16R99; 16S38 (Secondary)

Rigidity of quadratic Poisson tori

Authors: Jesse Levitt, Milen Yakimov

Abstract: We prove a rigidity theorem for the Poisson automorphisms of the function fields of tori with quadratic Poisson structures over fields of characteristic 0. It gives an effective method for classifying the full Poisson automorphism groups of ${\mathbb{N}}$-graded connected cluster algebras equipped with Gekhtman-Shapiro-Vainshtein Poisson structures. Based on this, we classify the groups of algebra… ▽ More We prove a rigidity theorem for the Poisson automorphisms of the function fields of tori with quadratic Poisson structures over fields of characteristic 0. It gives an effective method for classifying the full Poisson automorphism groups of ${\mathbb{N}}$-graded connected cluster algebras equipped with Gekhtman-Shapiro-Vainshtein Poisson structures. Based on this, we classify the groups of algebraic Poisson automorphisms of the open Schubert cells of the full flag varieties of semisimple algebraic groups over fields of characteristic 0, equipped with the standard Poisson structures. Their coordinate rings can be identified with the semiclassical limits of the positive parts $U_q({\mathfrak{n}}_+)$ of the quantized universal envelo** algebras of semisimple Lie algebras, and the last result establishes a Poisson version of the Andruskiewitsch-Dumas conjecture on ${\mathrm{Aut}} U_q({\mathfrak{n}}_+)$. △ Less

Submitted 21 September, 2016; originally announced September 2016.

Comments: 27 pages, AMS Latex

MSC Class: 53D17; Secondary: 16W20; 13F60; 17B37

Recovering the topology of surfaces from cluster algebras

Authors: Eric Bucher, Milen Yakimov

Abstract: We present an effective method for recovering the topology of a bordered oriented surface with marked points from its cluster algebra. The information is extracted from the maximal triangulations of the surface, those that have exchange quivers with maximal number of arrows in the mutation class. The method gives new proofs of the automorphism and isomorphism problems for the surface cluster algeb… ▽ More We present an effective method for recovering the topology of a bordered oriented surface with marked points from its cluster algebra. The information is extracted from the maximal triangulations of the surface, those that have exchange quivers with maximal number of arrows in the mutation class. The method gives new proofs of the automorphism and isomorphism problems for the surface cluster algebras, as well as the uniqueness of the Fomin-Shapiro-Thurston block decompositions of the exchange quivers of the surface cluster algebras. The previous proofs of these results followed a different approach based on Gu's direct proof of the last result. The method also explains the exceptions to these results due to pathological problems with the maximal triangulations of several surfaces. △ Less

Submitted 3 August, 2017; v1 submitted 7 July, 2016; originally announced July 2016.

Comments: 29 pages, AMS Latex

MSC Class: 13F30 (Primary); 52B70; 16W20; 05E15 (Secondary)

Quantized Weyl algebras at roots of unity

Authors: Jesse Levitt, Milen Yakimov

Abstract: We classify the centers of the quantized Weyl algebras that are PI and derive explicit formulas for the discriminants of these algebras over a general class of polynomial central subalgebras. Two different approaches to these formulas are given: one based on Poisson geometry and deformation theory, and the other using techniques from quantum cluster algebras. Furthermore, we classify the PI quanti… ▽ More We classify the centers of the quantized Weyl algebras that are PI and derive explicit formulas for the discriminants of these algebras over a general class of polynomial central subalgebras. Two different approaches to these formulas are given: one based on Poisson geometry and deformation theory, and the other using techniques from quantum cluster algebras. Furthermore, we classify the PI quantized Weyl algebras that are free over their centers and prove that their discriminants are locally dominating and effective. This is applied to solve the automorphism and isomorphism problems for this family of algebras and their tensor products. △ Less

Submitted 14 July, 2016; v1 submitted 7 June, 2016; originally announced June 2016.

Comments: 27 pages, AMS Latex

MSC Class: 17B37 (Primary); 53D17; 16W20; 15A69 (Secondary)

Noncommutative discriminants via Poisson primes

Authors: Bach Nguyen, Kurt Trampel, Milen Yakimov

Abstract: We present a general method for computing discriminants of noncommutative algebras. It builds a connection with Poisson geometry and expresses the discriminants as products of Poisson primes. The method is applicable to algebras obtained by specialization from families, such as quantum algebras at roots of unity. It is illustrated with the specializations of the algebras of quantum matrices at roo… ▽ More We present a general method for computing discriminants of noncommutative algebras. It builds a connection with Poisson geometry and expresses the discriminants as products of Poisson primes. The method is applicable to algebras obtained by specialization from families, such as quantum algebras at roots of unity. It is illustrated with the specializations of the algebras of quantum matrices at roots of unity and more generally all quantum Schubert cell algebras. △ Less

Submitted 19 July, 2018; v1 submitted 8 March, 2016; originally announced March 2016.

Comments: 30 pages, AMS Latex. Final version; accepted for Advances in Mathematics

MSC Class: 17B37 (Primary); 53D17; 17B63; 14M15 (Secondary)

Separating Ore sets for prime ideals of quantum algebras

Authors: Siân Fryer, Milen Yakimov

Abstract: Brown and Goodearl stated a conjecture that provides an explicit description of the topology of the spectra of quantum algebras. The conjecture takes on a more explicit form if there exist separating Ore sets for all incident pairs of torus invariant prime ideals of the given algebra. We prove that this is the case for the two largest classes of algebras of finite Gelfand-Kirillov dimension that f… ▽ More Brown and Goodearl stated a conjecture that provides an explicit description of the topology of the spectra of quantum algebras. The conjecture takes on a more explicit form if there exist separating Ore sets for all incident pairs of torus invariant prime ideals of the given algebra. We prove that this is the case for the two largest classes of algebras of finite Gelfand-Kirillov dimension that fit the setting of the conjecture: the quantized coordinate rings of all simple algebraic groups and the quantum Schubert cell algebras for all symmetrizable Kac-Moody algebras. △ Less

Submitted 16 August, 2016; v1 submitted 16 February, 2016; originally announced February 2016.

Comments: 14 pages, AMS Latex

MSC Class: 16T20 (Primary); 17B37; 14M15 (Secondary)

The Berenstein-Zelevinsky quantum cluster algebra conjecture

Authors: K. R. Goodearl, M. T. Yakimov

Abstract: We prove the Berenstein-Zelevinsky conjecture that the quantized coordinate rings of the double Bruhat cells of all finite dimensional simple algebraic groups admit quantum cluster algebra structures with initial seeds as specified by [4]. We furthermore prove that the corresponding upper quantum cluster algebras coincide with the constructed quantum cluster algebras and exhibit a large number of… ▽ More We prove the Berenstein-Zelevinsky conjecture that the quantized coordinate rings of the double Bruhat cells of all finite dimensional simple algebraic groups admit quantum cluster algebra structures with initial seeds as specified by [4]. We furthermore prove that the corresponding upper quantum cluster algebras coincide with the constructed quantum cluster algebras and exhibit a large number of explicit quantum seeds. Along the way a detailed study of the properties of quantum double Bruhat cells from the viewpoint of noncommutative UFDs is carried out and a quantum analog of the Fomin-Zelevinsky twist map is constructed and investigated for all double Bruhat cells. The results are valid over base fields of arbitrary characteristic and the deformation parameter is only assumed to be a non-root of unity. △ Less

Submitted 28 August, 2018; v1 submitted 1 February, 2016; originally announced February 2016.

Comments: 48 pages, v3 contains running examples throughout the paper and other supplementary material

MSC Class: Primary 13F60; Secondary 20G42; 17B37; 14M15

Noncommutative bispectral Darboux transformations

Authors: Joel Geiger, Emil Horozov, Milen Yakimov

Abstract: We prove a general theorem establishing the bispectrality of noncommutative Darboux transformations. It has a wide range of applications that establish bispectrality of such transformations for differential, difference and q-difference operators with values in all noncommutative algebras. All known bispectral Darboux transformations are special cases of the theorem. Using the methods of quasideter… ▽ More We prove a general theorem establishing the bispectrality of noncommutative Darboux transformations. It has a wide range of applications that establish bispectrality of such transformations for differential, difference and q-difference operators with values in all noncommutative algebras. All known bispectral Darboux transformations are special cases of the theorem. Using the methods of quasideterminants and the spectral theory of matrix polynomials, we explicitly classify the set of bispectral Darboux transformations from rank one differential operators and Airy operators with values in matrix algebras. These sets generalize the classical Calogero-Moser spaces and Wilson's adelic Grassmannian. △ Less

Submitted 1 July, 2016; v1 submitted 31 August, 2015; originally announced August 2015.

Comments: 30 pages, AMS Latex

MSC Class: Primary 37K35; Secondary 16S32; 39A70

Quantum cluster algebras and quantum nilpotent algebras

Authors: K. R. Goodearl, M. T. Yakimov

Abstract: A major direction in the theory of cluster algebras is to construct (quantum) cluster algebra structures on the (quantized) coordinate rings of various families of varieties arising in Lie theory. We prove that all algebras in a very large axiomatically defined class of noncommutative algebras possess canonical quantum cluster algebra structures. Furthermore, they coincide with the corresponding u… ▽ More A major direction in the theory of cluster algebras is to construct (quantum) cluster algebra structures on the (quantized) coordinate rings of various families of varieties arising in Lie theory. We prove that all algebras in a very large axiomatically defined class of noncommutative algebras possess canonical quantum cluster algebra structures. Furthermore, they coincide with the corresponding upper quantum cluster algebras. We also establish analogs of these results for a large class of Poisson nilpotent algebras. Many important families of coordinate rings are subsumed in the class we are covering, which leads to a broad range of application of the general results to the above mentioned types of problems. As a consequence, we prove the Berenstein--Zelevinsky conjecture for the quantized coordinate rings of double Bruhat cells and construct quantum cluster algebra structures on all quantum unipotent groups, extending the theorem of Geiß, Leclerc and Schröer for the case of symmetric Kac--Moody groups. Moreover, we prove that the upper cluster algebras of Berenstein, Fomin and Zelevinsky associated to double Bruhat cells coincide with the corresponding cluster algebras. △ Less

Submitted 12 August, 2015; originally announced August 2015.

MSC Class: 16T20; 13F60; 17B37; 14M15

Journal ref: Proc. Nat. Acad. Sci. USA 111, no. 27 (2014) 9696-9703

Prime factors of quantum Schubert cell algebras and clusters for quantum Richardson varieties

Authors: T. H. Lenagan, M. T. Yakimov

Abstract: The understanding of the topology of the spectra of quantum Schubert cell algebras hinges on the description of their prime factors by ideals invariant under the maximal torus of the ambient Kac-Moody group. We give an explicit description of these prime quotients by expressing their Cauchon generators in terms of sequences of normal elements in chains of subalgebras. Based on this, we construct l… ▽ More The understanding of the topology of the spectra of quantum Schubert cell algebras hinges on the description of their prime factors by ideals invariant under the maximal torus of the ambient Kac-Moody group. We give an explicit description of these prime quotients by expressing their Cauchon generators in terms of sequences of normal elements in chains of subalgebras. Based on this, we construct large families of quantum clusters for all of these algebras and the quantum Richardson varieties associated to arbitrary symmetrizable Kac-Moody algebras and all pairs of Weyl group elements. Along the way we develop a quantum version of the Fomin-Zelevinsky twist map for all quantum Richardson varieties. Furthermore, we establish an explicit relationship between the Goodearl-Letzter and Cauchon approaches to the descriptions of the spectra of symmetric CGL extensions. △ Less

Submitted 13 July, 2016; v1 submitted 21 March, 2015; originally announced March 2015.

Comments: 35 pages, AMS Latex

Picosecond UV Single Photon Detectors with Lateral Drift Field: Concept and Technologies

Authors: M. Yakimov, S. Oktyabrsky, P. Murat

Abstract: Group III-V semiconductor materials are being considered as a Si replacement for advanced logic devices for quite some time. Advances in III-V processing technologies, such as interface and surface passivation, large area deep submicron lithography with high-aspect ratio etching primarily driven by the MOSFET development can also be used for other applications. In this paper we will focus on photo… ▽ More Group III-V semiconductor materials are being considered as a Si replacement for advanced logic devices for quite some time. Advances in III-V processing technologies, such as interface and surface passivation, large area deep submicron lithography with high-aspect ratio etching primarily driven by the MOSFET development can also be used for other applications. In this paper we will focus on photodetectors with the drift field parallel to the surface. We compare the proposed concept to the state-of-the-art Si-based technology and discuss requirements which need to be satisfied for such detectors to be used in a single photon counting mode in blue and ultraviolet spectral region with about 10 ps photon timing resolution essential for numerous applications ranging from high-energy physics to medical imaging. △ Less

Submitted 15 September, 2014; originally announced September 2014.

Weak splittings of quotients of Drinfeld and Heisenberg doubles

Authors: Milen Yakimov

Abstract: We investigate the fine structure of the simplectic foliations of Poisson homogeneous spaces. Two general results are proved for weak splittings of surjective Poisson submersions from Heisenberg and Drinfeld doubles. The implications of these results are that the torus orbits of symplectic leaves of the quotients can be explicitly realized as Poisson-Dirac submanifolds of the torus orbits of the d… ▽ More We investigate the fine structure of the simplectic foliations of Poisson homogeneous spaces. Two general results are proved for weak splittings of surjective Poisson submersions from Heisenberg and Drinfeld doubles. The implications of these results are that the torus orbits of symplectic leaves of the quotients can be explicitly realized as Poisson-Dirac submanifolds of the torus orbits of the doubles. The results have a wide range of applications to many families of real and complex Poisson structures on flag varieties. Their torus orbits of leaves recover important families of varieties such as the open Richardson varieties. △ Less

Submitted 4 February, 2014; originally announced February 2014.

Comments: 20 pages, AMS Latex

Unipotent and Nakayama automorphisms of quantum nilpotent algebras

Authors: K. R. Goodearl, M. T. Yakimov

Abstract: Automorphisms of algebras $R$ from a very large axiomatic class of quantum nilpotent algebras are studied using techniques from noncommutative unique factorization domains and quantum cluster algebras. First, the Nakayama automorphism of $R$ (associated to its structure as a twisted Calabi-Yau algebra) is determined and shown to be given by conjugation by a normal element, namely, the product of t… ▽ More Automorphisms of algebras $R$ from a very large axiomatic class of quantum nilpotent algebras are studied using techniques from noncommutative unique factorization domains and quantum cluster algebras. First, the Nakayama automorphism of $R$ (associated to its structure as a twisted Calabi-Yau algebra) is determined and shown to be given by conjugation by a normal element, namely, the product of the homogeneous prime elements of $R$ (there are finitely many up to associates). Second, in the case when $R$ is connected graded, the unipotent automorphisms of $R$ are classified up to minor exceptions. This theorem is a far reaching extension of the classification results [20, 22] previously used to settle the Andruskiewitsch--Dumas and Launois--Lenagan conjectures. The result on unipotent automorphisms has a wide range of applications to the determination of the full automorphisms groups of the connected graded algebras in the family. This is illustrated by a uniform treatment of the automorphism groups of the generic algebras of quantum matrices of both rectangular and square shape [13, 20]. △ Less

Submitted 1 November, 2013; originally announced November 2013.

Comments: 24 pages

MSC Class: Primary 16T20; Secondary 16S36; 16W20; 17B37; 20G42

Quantum cluster algebra structures on quantum nilpotent algebras

Authors: K. R. Goodearl, M. T. Yakimov

Abstract: All algebras in a very large, axiomatically defined class of quantum nilpotent algebras are proved to possess quantum cluster algebra structures under mild conditions. Furthermore, it is shown that these quantum cluster algebras always equal the corresponding upper quantum cluster algebras. Previous approaches to these problems for the construction of (quantum) cluster algebra structures on (quant… ▽ More All algebras in a very large, axiomatically defined class of quantum nilpotent algebras are proved to possess quantum cluster algebra structures under mild conditions. Furthermore, it is shown that these quantum cluster algebras always equal the corresponding upper quantum cluster algebras. Previous approaches to these problems for the construction of (quantum) cluster algebra structures on (quantized) coordinate rings arising in Lie theory were done on a case by case basis relying on the combinatorics of each concrete family. The results of the paper have a broad range of applications to these problems, including the construction of quantum cluster algebra structures on quantum unipotent groups and quantum double Bruhat cells (the Berenstein-Zelevinsky conjecture), and treat these problems from a unified perspective. All such applications also establish equality between the constructed quantum cluster algebras and their upper counterparts. The proofs rely on Chatters' notion of noncommutative unique factorization domains. Toric frames are constructed by considering sequences of homogeneous prime elements of chains of noncommutative UFDs (a generalization of the construction of Gelfand-Tsetlin subalgebras) and mutations are obtained by altering chains of noncommutative UFDs. Along the way, an intricate (and unified) combinatorial model for the homogeneous prime elements in chains of noncommutative UFDs and their alterations is developed. When applied to special families, this recovers the combinatorics of Weyl groups and double Weyl groups previously used in the construction and categorification of cluster algebras. It is expected that this combinatorial model of sequences of homogeneous prime elements will have applications to the unified categorification of quantum nilpotent algebras. △ Less

Submitted 13 May, 2015; v1 submitted 30 September, 2013; originally announced September 2013.

Comments: Final version; accepted for Memoirs Amer. Math. Soc. Minor corrections; running example added; references updated; index added (requires MakeIndex and additional LaTeX runs)

MSC Class: Primary 16T20; Secondary 13F60; 17B37; 14M15

From quantum Ore extensions to quantum tori via noncommutative UFDs

Authors: K. R. Goodearl, M. T. Yakimov

Abstract: All iterated skew polynomial extensions arising from quantized universal envelo** algebras of Kac-Moody algebras are special examples of a very large, axiomatically defined class of algebras, called CGL extensions. For the purposes of constructing initial clusters for quantum cluster algebra structures on an algebra R, and classification of the automorphisms of R, one needs embeddings of R into… ▽ More All iterated skew polynomial extensions arising from quantized universal envelo** algebras of Kac-Moody algebras are special examples of a very large, axiomatically defined class of algebras, called CGL extensions. For the purposes of constructing initial clusters for quantum cluster algebra structures on an algebra R, and classification of the automorphisms of R, one needs embeddings of R into quantum tori T which have the property that R contains the corresponding quantum affine space algebra A. We explicitly construct such an embedding A \subseteq R \subset T for each CGL extension R using the methods of noncommutative noetherian unique factorization domains and running a Gelfand-Tsetlin type procedure with normal, instead of central elements. Along the way we classify the homogeneous prime elements of all CGL extensions and we prove that each CGL extension R has an associated maximal torus which covers the automorphisms of R corresponding to all normal elements. For symmetric CGL extensions, we describe the relationship between our quantum affine space algebra A and Cauchon's quantum affine space algebra generated by elements obtained via deleting derivations. △ Less

Submitted 10 August, 2015; v1 submitted 30 August, 2012; originally announced August 2012.

Comments: 35 pages, AMS Latex. Final version; accepted for Advances in Mathematics

MSC Class: Primary 16T20; Secondary 17B37; 14M15

The Launois-Lenagan conjecture

Authors: Milen Yakimov

Abstract: In this note we prove the Launois-Lenagan conjecture on the classification of the automorphism groups of the algebras of quantum matrices R_q[M_n] of square shape for all positive integers n, base fields K, and deformation parameters q \in K^* which are not roots of unity. In this note we prove the Launois-Lenagan conjecture on the classification of the automorphism groups of the algebras of quantum matrices R_q[M_n] of square shape for all positive integers n, base fields K, and deformation parameters q \in K^* which are not roots of unity. △ Less

Submitted 16 August, 2013; v1 submitted 24 April, 2012; originally announced April 2012.

Comments: 7 pages, AMS Latex, v. 2 contains a shorter proof of the result, minor changes in the final v.3

MSC Class: Primary 16W20; Secondary 17B37; 20G42

Journal ref: J. Algebra 392 (2013), 1-9

Rigidity of quantum tori and the Andruskiewitsch-Dumas conjecture

Authors: Milen Yakimov

Abstract: We prove the Andruskiewitsch-Dumas conjecture that the automorphism group of the positive part of the quantized universal envelo** algebra $U_q({\mathfrak{g}})$ of an arbitrary finite dimensional simple Lie algebra g is isomorphic to the semidirect product of the automorphism group of the Dynkin diagram of g and a torus of rank equal to the rank of g. The key step in our proof is a rigidity theo… ▽ More We prove the Andruskiewitsch-Dumas conjecture that the automorphism group of the positive part of the quantized universal envelo** algebra $U_q({\mathfrak{g}})$ of an arbitrary finite dimensional simple Lie algebra g is isomorphic to the semidirect product of the automorphism group of the Dynkin diagram of g and a torus of rank equal to the rank of g. The key step in our proof is a rigidity theorem for quantum tori. It has a broad range of applications. It allows one to control the (full) automorphism groups of large classes of associative algebras, for instance quantum cluster algebras. △ Less

Submitted 1 November, 2013; v1 submitted 14 April, 2012; originally announced April 2012.

Comments: 31 pages, AMS Latex, v.3 contains an application to the isomorphism problem for the algebras U_q^+(g) suggested by L. Scott, minor changes in v.4

MSC Class: 16W20 (Primary) 16W35; 17B37 (Secondary)

Quantum Schubert cells via representation theory and ring theory

Authors: Joel Geiger, Milen Yakimov

Abstract: We resolve two questions of Cauchon and Meriaux on the spectra of the quantum Schubert cell algebras U^-[w]. The treatment of the first one unifies two very different approaches to Spec U^-[w], a ring theoretic one via deleting derivations and a representation theoretic one via Demazure modules. The outcome is that now one can combine the strengths of both methods. As an application we solve the c… ▽ More We resolve two questions of Cauchon and Meriaux on the spectra of the quantum Schubert cell algebras U^-[w]. The treatment of the first one unifies two very different approaches to Spec U^-[w], a ring theoretic one via deleting derivations and a representation theoretic one via Demazure modules. The outcome is that now one can combine the strengths of both methods. As an application we solve the containment problem for the Cauchon-Meriaux classification of torus invariant prime ideals of U^-[w]. Furthermore, we construct explicit models in terms of quantum minors for the Cauchon quantum affine space algebras constructed via the procedure of deleting derivations from all quantum Schubert cell algebras U^-[w]. Finally, our methods also give a new, independent proof of the Cauchon-Meriaux classification. △ Less

Submitted 3 January, 2014; v1 submitted 16 March, 2012; originally announced March 2012.

Comments: 29 pages, AMS Latex, minor changes in v. 2

MSC Class: Primary 16T20; Secondary 17B37; 14M15;