Source author record

Stéphane Launois

Stéphane Launois 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

10works
6topics
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

10 published item(s)

preprint2016arXiv

A strong Dixmier-Moeglin equivalence for quantum Schubert cells

Dixmier and Moeglin gave an algebraic condition and a topological condition for recognising the primitive ideals among the prime ideals of the universal enveloping algebra of a finite-dimensional complex Lie algebra; they showed that the primitive, rational, and locally closed ideals coincide. In modern terminology, they showed that the universal enveloping algebra of a finite-dimensional complex Lie algebra satisfies the Dixmier-Moeglin equivalence. We define quantities which measure how "close" an arbitrary prime ideal of a noetherian algebra is to being primitive, rational, and locally closed; if every prime ideal is equally "close" to each of these three properties, then we say that the algebra satisfies the strong Dixmier-Moeglin equivalence. Using the example of the universal enveloping algebra of sl_2(C), we show that the strong Dixmier-Moeglin equivalence is stronger than the Dixmier-Moeglin equivalence. For a simple complex Lie algebra g, a non root of unity q\neq 0 in an infinite field K, and an element w of the Weyl group of g, De Concini, Kac, and Procesi have constructed a subalgebra U_q[w] of the quantised enveloping K-algebra U_q(g). These quantum Schubert cells U_q[w] are known to satisfy the Dixmier-Moeglin equivalence and we show that they in fact satisfy the strong Dixmier-Moeglin equivalence. Along the way, we show that commutative affine domains, uniparameter quantum tori, and uniparameter quantum affine spaces satisfy the strong Dixmier-Moeglin equivalence.

preprint2016arXiv

Poisson Deleting Derivations Algorithm and Poisson Spectrum

In [5] Cauchon introduced the so-called deleting derivations algorithm. This algorithm was first used in noncommutative algebra to prove catenarity in generic quantum matrices, and then to show that torus-invariant primes in these algebras are generated by quantum minors. Since then this algorithm has been used in various contexts. In particular, the matrix version makes a bridge between torus-invariant primes in generic quantum matrices, torus-orbits of symplectic leaves in matrix Poisson varieties and totally nonnegative cells in totally nonnegative matrix varieties [12]. This led to recent progress in the study of totally nonnegative matrices such as new recognition tests, see for instance [18]. The aim of this article is to develop a Poisson version of the deleting derivations algorithm to study the members of a class P of polynomial Poisson algebras. It has recently been shown that the Poisson Dixmier-Moeglin equivalence does not hold for all polynomial Poisson algebras [2]. Our algorithm allows us to prove this equivalence for a significant class of Poisson algebras, when the base field is of characteristic zero. Finally, using our deleting derivations algorithm, we compare topologically spectra of quantum matrices with Poisson spectra of matrix Poisson varieties.

preprint2015arXiv

Poisson algebras via model theory and differential-algebraic geometry

Brown and Gordon asked whether the Poisson Dixmier-Moeglin equivalence holds for any complex affine Poisson algebra; that is, whether the sets of Poisson rational ideals, Poisson primitive ideals, and Poisson locally closed ideals coincide. In this article a complete answer is given to this question using techniques from differential-algebraic geometry and model theory. In particular, it is shown that while the sets of Poisson rational and Poisson primitive ideals do coincide, in every Krull dimension at least four there are complex affine Poisson algebras with Poisson rational ideals that are not Poisson locally closed. These counterexamples also give rise to counterexamples to the classical (noncommutative) Dixmier-Moeglin equivalence in finite $\operatorname{GK}$ dimension. A weaker version of the Poisson Dixmier-Moeglin equivalence is proven for all complex affine Poisson algebras, from which it follows that the full equivalence holds in Krull dimension three or less. Finally, it is shown that everything, except possibly that rationality implies primitivity, can be done over an arbitrary base field of characteristic zero.

preprint2013arXiv

Graded quantum cluster algebras and an application to quantum Grassmannians

We introduce a framework for $\mathbb{Z}$-gradings on cluster algebras (and their quantum analogues) that are compatible with mutation. To do this, one chooses the degrees of the (quantum) cluster variables in an initial seed subject to a compatibility with the initial exchange matrix, and then one extends this to all cluster variables by mutation. The resulting grading has the property that every (quantum) cluster variable is homogeneous. In the quantum setting, we use this grading framework to give a construction that behaves somewhat like twisting, in that it produces a new quantum cluster algebra with the same cluster combinatorics but with different quasi-commutation relations between the cluster variables. We apply these results to show that the quantum Grassmannians admit quantum cluster algebra structures, as quantizations of the cluster algebra structures on the classical Grassmannian coordinate ring found by Scott. This is done by lifting the quantum cluster algebra structure on quantum matrices due to Geiß, Leclerc and Schröer and completes earlier work of the authors on the finite-type cases.

preprint2010arXiv

Enumeration of $\C{H}$-strata in quantum matrices with respect to dimension

We present a combinatorial method to determine the dimension of $\C{H}$-strata in the algebra of $m\times n$ quantum matrices $\Oq$ as follows. To a given $\C{H}$-stratum we associate a certain permutation via the notion of pipe-dreams. We show that the dimension of the $\C{H}$-stratum is precisely the number of odd cycles in this permutation. Using this result, we are able to give closed formulas for the trivariate generating function that counts the $d$-dimensional $\C{H}$-strata in $\Oq$. Finally, we extract the coefficients of this generating function in order to settle conjectures proposed by the first and third named authors \cite{bldim,bll} regarding the asymptotic proportion of $d$-dimensional $\C{H}$-strata in $\Oq$.

preprint2010arXiv

Primitive ideals in quantum Schubert cells: dimension of the strata

The aim of this paper is to study the representation theory of quantum Schubert cells. Let $\g$ be a simple complex Lie algebra. To each element $w$ of the Weyl group $W$ of $\g$, De Concini, Kac and Procesi have attached a subalgebra $U_q[w]$ of the quantised enveloping algebra $U_q(\g)$. Recently, Yakimov showed that these algebras can be interpreted as the quantum Schubert cells on quantum flag manifolds. In this paper, we study the primitive ideals of $U_q[w]$. More precisely, it follows from the Stratification Theorem of Goodearl and Letzter that the primitive spectrum of $U_q[w]$ admits a stratification indexed by those primes that are invariant under a natural torus action. Moreover each stratum is homeomorphic to the spectrum of maximal ideals of a torus. The main result of this paper gives an explicit formula for the dimension of the stratum associated to a given torus-invariant prime.

preprint2009arXiv

Quantum cluster algebra structures on quantum Grassmannians and their quantum Schubert cells: the finite-type cases

We exhibit quantum cluster algebra structures on quantum Grassmannians $K_q[Gr(2,n)]$ and their quantum Schubert cells, as well as on $K_q[Gr(3,6)]$, $K_q[Gr(3,7)]$ and $K_q[Gr(3,8)]$. These cases are precisely those where the quantum cluster algebra is of finite type and the structures we describe quantize those found by Scott for the classical situation.