Source author record

Milen Yakimov

Milen Yakimov appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

18works
10topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

18 published item(s)

preprint2023arXiv

Root of unity quantum cluster algebras and Cayley-Hamilton algebras

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.

preprint2020arXiv

Reflective prolate-spheroidal operators and the adelic Grassmannian

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.

preprint2016arXiv

Noncommutative bispectral Darboux transformations

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.

preprint2016arXiv

Quantized Weyl algebras at roots of unity

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.

preprint2016arXiv

Rigidity of quadratic Poisson tori

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 enveloping 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}}_+)$.

preprint2014arXiv

On the Spectra of Quantum Groups

Joseph and Hodges-Levasseur (in the A case) described the spectra of all quantum function algebras R_q[G] on simple algebraic groups in terms of the centers of certain localizations of quotients of R_q[G] by torus invariant prime ideals, or equivalently in terms of orbits of finite groups. These centers were only known up to finite extensions. We determine the centers explicitly under the general conditions that the deformation parameter is not a root of unity and without any restriction on the characteristic of the ground field. From it we deduce a more explicit description of all prime ideals of R_q[G] than the previously known ones and an explicit parametrization of Spec R_q[G]. We combine the latter with a result of Kogan and Zelevinsky to obtain in the complex case a torus equivariant Dixmier type map from the symplectic foliation of the group G to the primitive spectrum of R_q[G]. Furthermore, under the general assumptions on the ground field and deformation parameter, we prove a theorem for separation of variables for the De Concini-Kac-Procesi algebras U^w_\pm, and classify the sets of their homogeneous normal elements and primitive elements. We apply those results to obtain explicit formulas for the prime and especially the primitive ideals of U^w_\pm lying in the Goodearl-Letzter stratum over the 0-ideal. This is in turn used to prove that all Joseph's localizations of quotients of R_q[G] by torus invariant prime ideals are free modules over their subalgebras generated by Joseph's normal elements. From it we derive a classification of the maximal spectrum of R_q[G] and use it to resolve a question of Goodearl and Zhang, showing that all maximal ideals of R_q[G] have finite codimension. We then prove that all maximal chains in Spec R_q[G] have the same length equal to GKdim R_q[G]= dim G, i.e. R_q[G] satisfies the first chain condition for prime ideals in Nagata's terminology.

preprint2014arXiv

Quantum Schubert cells via representation theory and ring theory

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.

preprint2014arXiv

Weak splittings of quotients of Drinfeld and Heisenberg doubles

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.

preprint2013arXiv

Rigidity of quantum tori and the Andruskiewitsch-Dumas conjecture

We prove the Andruskiewitsch-Dumas conjecture that the automorphism group of the positive part of the quantized universal enveloping 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.

preprint2012arXiv

A proof of the Goodearl-Lenagan polynormality conjecture

The quantum nilpotent algebras U^w_-(g), defined by De Concini-Kac-Procesi and Lusztig, are large classes of iterated skew polynomial rings with rich ring theoretic structure. In this paper, we prove in an explicit way that all torus invariant prime ideals of the algebras U^w_-(g) are polynormal. In the special case of the algebras of quantum matrices, this construction yields explicit polynormal generating sets consisting of quantum minors for all of their torus invariant prime ideals. This gives a constructive proof of the Goodearl-Lenagan polynormality conjecture. Furthermore we prove that Spec U^w_-(g) is normally separated for all simple Lie algebras g and Weyl group elements w, and deduce from it that all algebras U^w_-(g) are catenary.

preprint2012arXiv

Spectra and catenarity of multiparameter quantum Schubert cells

We study the ring theory of the multiparameter deformations of the quantum Schubert cell algebras obtained from 2-cocycle twists. This is a large family, which extends the Artin-Schelter-Tate algebras of twisted quantum matrices. We classify set theoretically the spectra of all such multiparameter quantum Schubert cell algebras, construct each of their prime ideals by contracting from explicit normal localizations, and prove formulas for the dimensions of their Goodearl-Letzter strata for base fields of arbitrary characteristic and all deformation parameters that are not roots of unity. Furthermore, we prove that the spectra of these algebras are normally separated and that all such algebras are catenary.

preprint2011arXiv

Strata of prime ideals of De Concini-Kac-Procesi algebras and Poisson geometry

To each simple Lie algebra g and an element w of the corresponding Weyl group De Concini, Kac and Procesi associated a subalgebra U^w_- of the quantized universal enveloping algebra U_q(g), which is a deformation of the universal enveloping algebra U(n_- \cap w(n_+)) and a quantization of the coordinate ring of the Schubert cell corresponding to w. The torus invariant prime ideals of these algebras were classified by Mériaux and Cauchon [25], and the author [30]. These ideals were also explicitly described in [30]. They index the the Goodearl-Letzter strata of the stratification of the spectra of U^w_- into tori. In this paper we derive a formula for the dimensions of these strata and the transcendence degree of the field of rational Casimirs on any open Richardson variety with respect to the standard Poisson structure [15].

preprint2009arXiv

Invariant prime ideals in quantizations of nilpotent Lie algebras

De Concini, Kac and Procesi defined a family of subalgebras U^w_+ of a quantized universal enveloping algebra U_q(g), associated to the elements of the corresponding Weyl group W. They are deformations of the universal enveloping algebras U(n_+ \cap Ad_w(n_-)) where n_\pm are the nilradicals of a pair of dual Borel subalgebras. Based on results of Gorelik and Joseph and an interpretation of U^w_+ as quantized algebras of functions on Schubert cells, we construct explicitly the H invariant prime ideals of each U^w_+ and show that the corresponding poset is isomorphic to W^{\leq w}, where H is the group of group-like elements of U_q(g). Moreover, for each H-prime of U^w_+ we construct a generating set in terms of Demazure modules related to fundamental representations.

preprint2008arXiv

Completeness of determinantal Hamiltonian flows on the matrix affine Poisson space

The matrix affine Poisson space (M_{m,n}, pi_{m,n}) is the space of complex rectangular matrices equipped with a canonical quadratic Poisson structure which in the square case m=n reduces to the standard Poisson structure on GL_n(C). We prove that the Hamiltonian flows of all minors are complete. As a corollary we obtain that all Kogan-Zelevinsky integrable systems on M_{n,n} are complete and thus induce (analytic) Hamiltonian actions of C^{n(n-1)/2} on (M_{n,n}, pi_{n,n}) (as well as on GL_n(C) and on SL_n(C)). We define Gelfand-Zeitlin integrable systems on (M_{n,n}, pi_{n,n}) from chains of Poisson projections and prove that their flows are also complete. This is an analog for the quadratic Poisson structure pi_{n,n} of the recent result of Kostant and Wallach [KW] that the flows of the complexified classical Gelfand-Zeitlin integrable systems are complete.

preprint2007arXiv

A Deodhar type stratification on the double flag variety

We describe a stratification on the double flag variety $G/B^+\times G/B^-$ of a complex semisimple algebraic group $G$ analogous to the Deodhar stratification on the flag variety $G/B^+$, which is a refinement of the stratification into orbits both for $B^+\times B^-$ and for the diagonal action of $G$, just as Deodhar's stratification refines the orbits of $B^+$ and $B^-$. We give a coordinate system on each stratum, and show that all strata are coisotropic subvarieties. Also, we discuss possible connections to the positive and cluster geometry of $G/B^+\times G/B^-$, which would generalize results of Fomin and Zelevinsky on double Bruhat cells and Marsh and Rietsch on double Schubert cells.

preprint2007arXiv

Modular classes of regular twisted Poisson structures on Lie algebroids

We derive a formula for the the modular class of a Lie algebroid with a regular twisted Poisson structure in terms of a canonical Lie algebroid representation of the image of the Poisson map. We use this formula to compute the modular classes of Lie algebras with a twisted triangular r-matrix. The special case of r-matrices associated to Frobenius Lie algebras is also studied.