Searcharxiv⌕ Search

arXiv subjects

S. Launois

Publications and source records attributed to S. Launois.

17 recordsLinked to original sources
arXiv2023

Poisson derivations of a semiclassical limit of a family of quantum second Weyl algebras

In previous paper, we studied deformations $A_{\alpha,\beta}$ of the second Weyl algebra and computed their derivations. In the present paper, we identify the semiclassical limits $\mathcal{A}_{\alpha,\beta}$ of these deformations and compute their Poisson derivations. Our results show that the first Hochschild cohomology group HH$^1(A_{\alpha,\beta})$ is isomorphic to the first Poisson cohomology group HP$^1( \mathcal{A}_{\alpha,\beta}).$

math.RA↗
arXiv2021

Poisson catenarity in Poisson nilpotent algebras

We prove that for the iterated Poisson polynomial rings known as Poisson nilpotent algebras (or Poisson-CGL extensions), the Poisson prime spectrum is catenary, i.e., all saturated chains of inclusions of Poisson prime ideals between any two given Poisson prime ideals have the same length.

math.AC↗
arXiv2020

Catenarity in quantum nilpotent algebras

In this paper, it is established that quantum nilpotent algebras (also known as CGL extensions) are catenary, i.e., all saturated chains of inclusions of prime ideals between any two given prime ideals $P \subsetneq Q$ have the same length. This is achieved by proving that the prime spectra of these algebras have normal separation, and then establishing the mild homological conditions necessary to apply a result of Lenagan and the first author. The work also recovers the Tauvel height formula for quantum nilpotent algebras, a result that was first obtained by Lenagan and the authors through a different approach.

math.QA↗
arXiv2018

On the automorphisms of quantum Weyl algebras

Motivated by Weyl algebra analogues of the Jacobian conjecture and the Tame Generators problem, we prove quantum versions of these problems for a family of analogues to the Weyl algebras. In particular, our results cover the Weyl-Hayashi algebras and tensor powers of a quantization of the first Weyl algebra which arises as a primitive factor algebra of $U_q^+(\mathfrak{so}_5)$.

math.QA↗
arXiv2013

Endomorphisms of quantum generalized Weyl algebras

We prove that every endomorphism of a simple quantum generalized Weyl algebra $A$ over a commutative Laurent polynomial ring in one variable is an automorphism. This is achieved by obtaining an explicit classification of all endomorphisms of $A$. Our main result applies to minimal primitive factors of the quantized enveloping algebra of $U_q(\mathfrak{sl}_2)$ and certain minimal primitive quotients of the positive part of $U_q(\mathfrak{so}_5)$.

math.QA↗
arXiv2013

Automorphisms of quantum matrices

We study the automorphism group of the algebra $\oqmn$ of $n \times n$ generic quantum matrices. We provide evidence for our conjecture that this group is generated by the transposition and the subgroup of those automorphisms acting on the canonical generators of $\oqmn$ by multiplication by scalars. Moreover, we prove this conjecture in the case when $n=3$.

math.QA↗
arXiv2012

Efficient recognition of totally nonnegative matrix cells

The space of mxp totally nonnegative real matrices has a stratification into totally nonnegative cells. The largest such cell is the space of totally positive matrices. There is a well-known criterion due to Gasca and Peña for testing a real matrix for total positivity. This criterion involves testing mp minors. In contrast, there is no known small set of minors for testing for total nonnegativity. In this paper, we show that for each of the totally nonnegative cells there is a test for membership which only involves mp minors, thus extending the Gasca and Peña result to all totally nonnegative cells.

math.RA↗
arXiv2009

On the dimension of H-strata in quantum matrices

We study the topology of the prime spectrum of an algebra supporting a rational torus action. More precisely, we study inclusions between prime ideals that are torus-invariant using the $H$-stratification theory of Goodearl and Letzter on one hand and the theory of deleting derivations of Cauchon on the other. We apply the results obtained to the algebra of $m \times n$ generic quantum matrices to show that the dimensions of the $H$-strata described by Goodearl and Letzter are bounded above by the minimum of $m$ and $n$, and that moreover all the values between 0 and this bound are achieved.

math.RA↗
arXiv2009

Torus-invariant prime ideals in quantum matrices, totally nonnegative cells and symplectic leaves

The algebra of quantum matrices of a given size supports a rational torus action by automorphisms. It follows from work of Letzter and the first named author that to understand the prime and primitive spectra of this algebra, the first step is to understand the prime ideals that are invariant under the torus action. In this paper, we prove that a family of quantum minors is the set of all quantum minors that belong to a given torus-invariant prime ideal of a quantum matrix algebra if and only if the corresponding family of minors defines a non-empty totally nonnegative cell in the space of totally nonnegative real matrices of the appropriate size. As a corollary, we obtain explicit generating sets of quantum minors for the torus-invariant prime ideals of quantum matrices in the case where the quantisation parameter $q$ is transcendental over $\mathbb{Q}$.

math.QA↗
arXiv2009

Totally nonnegative cells and matrix Poisson varieties

We describe explicitly the admissible families of minors for the totally nonnegative cells of real matrices, that is, the families of minors that produce nonempty cells in the cell decompositions of spaces of totally nonnegative matrices introduced by A. Postnikov. In order to do this, we relate the totally nonnegative cells to torus orbits of symplectic leaves of the Poisson varieties of complex matrices. In particular, we describe the minors that vanish on a torus orbit of symplectic leaves, we prove that such families of minors are exactly the admissible families, and we show that the nonempty totally nonnegative cells are the intersections of the torus orbits of symplectic leaves with the spaces of totally nonnegative matrices.

math.AG↗
arXiv2009

An automaton-theoretic approach to the representation theory of quantum algebras

We develop a new approach to the representation theory of quantum algebras supporting a torus action via methods from the theory of finite-state automata and algebraic combinatorics. We show that for a fixed number $m$, the torus-invariant primitive ideals in $m\times n$ quantum matrices can be seen as a regular language in a natural way. Using this description and a semigroup approach to the set of Cauchon diagrams, a combinatorial object that paramaterizes the primes that are torus-invariant, we show that for $m$ fixed, the number of torus-invariant primitive ideals in $m\times n$ quantum matrices satisfies a linear recurrence in $n$ over the rational numbers. In the $3\times n$ case we give a concrete description of the torus-invariant primitive ideals and use this description to give an explicit formula for the number P(3,n).

math.CO↗
arXiv2007

On the automorphism groups of q-enveloping algebras of nilpotent Lie algebras

We investigate the automorphism group of the quantised enveloping algebra U of the positive nilpotent part of certain simple complex Lie algebras g in the case where the deformation parameter q \in \mathbb{C}^* is not a root of unity. Studying its action on the set of minimal primitive ideals of U we compute this group in the cases where g=sl_3 and g=so_5 confirming a Conjecture of Andruskiewitsch and Dumas regarding the automorphism group of U. In the case where g=sl_3, we retrieve the description of the automorphism group of the quantum Heisenberg algebra that was obtained independently by Alev and Dumas, and Caldero. In the case where g=so_5, the automorphism group of U was computed in [16] by using previous results of Andruskiewitsch and Dumas. In this paper, we give a new (simpler) proof of the Conjecture of Andruskiewitsch and Dumas in the case where g=so_5 based both on the original proof and on graded arguments developed in [17] and [18].

math.RA↗
arXiv2007

Dimension and enumeration of primitive ideals in quantum algebras

In this paper, we study the primitive ideals of quantum algebras supporting a rational torus action. We first prove a quantum analogue of a Theorem of Dixmier; namely, we show that the Gelfand-Kirillov dimension of primitive factors of various quantum algebras is always even. Next we give a combinatorial criterion for a prime ideal that is invariant under the torus action to be primitive. We use this criterion to obtain a formula for the number of primitive ideals in the algebra of $2\times n$ quantum matrices that are invariant under the action of the torus. Roughly speaking, this can be thought of as giving an enumeration of the points that are invariant under the induced action of the torus in the ``variety of $2\times n$ quantum matrices''.

math.QA↗
arXiv2007

The Dixmier-Moeglin equivalence and a Gel'fand-Kirillov problem for Poisson polynomial algebras

The structure of Poisson polynomial algebras of the type obtained as semiclassical limits of quantized coordinate rings is investigated. Sufficient conditions for a rational Poisson action of a torus on such an algebra to leave only finitely many Poisson prime ideals invariant are obtained. Combined with previous work of the first-named author, this establishes the Poisson Dixmier-Moeglin equivalence for large classes of Poisson polynomial rings, such as semiclassical limits of quantum matrices, quantum symplectic and euclidean spaces, quantum symmetric and antisymmetric matrices. For a similarly large class of Poisson polynomial rings, it is proved that the quotient field of the algebra (respectively, of any Poisson prime factor ring) is a rational function field $F(x_1,...,x_n)$ over the base field (respectively, over an extension field of the base field) with $\{x_i,x_j\}= λ_{ij} x_ix_j$ for suitable scalars $λ_{ij}$, thus establishing a quadratic Poisson version of the Gel'fand-Kirillov problem. Finally, partial solutions to the isomorphism problem for Poisson fields of the type just mentioned are obtained.

math.RT↗
arXiv2006

Twisted Poincare duality for some quadratic Poisson algebras

We exhibit a Poisson module restoring a twisted Poincare duality between Poisson homology and cohomology for the polynomial algebra R=C[X_1,...,X_n] endowed with Poisson bracket arising from a uniparametrised quantum affine space. This Poisson module is obtained as the semiclassical limit of the dualising bimodule for Hochschild homology of the corresponding quantum affine space. As a corollary we compute the Poisson cohomology of R, and so retrieve a result obtained by direct methods (so completely different from ours) by Monnier.

math.KT↗
arXiv2003

Rank t H-primes in quantum matrices

Let K be a (commutative) field and consider a nonzero element q in K which is not a root of unity. Goodearl and Lenagan have shown that the number of H-primes in the algebra R of m times p quantum matrices which contain all (t+1) times (t+1) quantum minors but not all t times t quantum minors is a perfect square. The aim of this paper is to make precise their result: we prove that this number is equal to (t!)^2 S(n+1,t+1)^2, where S(n+1,t+1) denotes the Stirling number of second kind associated to n+1 and t+1. This result was conjectured by Goodearl, Lenagan and McCammond. The proof involves some closed formulas for the poly-Bernoulli numbers that were established by Arakawa-Kaneko and Kaneko.

math.RA↗