-
Scaffoldings of Totally Positive Matrices and Line Insertion
Authors:
Karel Casteels
Abstract:
Given a totally positive matrix, can one insert a line (row or column) between two given lines while maintaining total positivity? This question was first posed and solved by Johnson and Smith who gave an algorithm that results in one possible line insertion. In this work we revisit this problem. First we show that every totally positive matrix can be associated to a certain vertex-weighted graph…
▽ More
Given a totally positive matrix, can one insert a line (row or column) between two given lines while maintaining total positivity? This question was first posed and solved by Johnson and Smith who gave an algorithm that results in one possible line insertion. In this work we revisit this problem. First we show that every totally positive matrix can be associated to a certain vertex-weighted graph in such a way that the entries of the matrix are equal to sums over certain paths in this graph. We call this graph a scaffolding of the matrix. We then use this to give a complete characterization of all possible line insertions as the strongly positive solutions to a given homogeneous system of linear equations.
△ Less
Submitted 13 September, 2021;
originally announced September 2021.
-
From Grassmann necklaces to restricted permutations and back again
Authors:
Karel Casteels,
Siân Fryer
Abstract:
We study the commutative algebras $Z_{JK}$ appearing in Brown and Goodearl's extension of the $\mathcal{H}$-stratification framework, and show that if $A$ is the single parameter quantized coordinate ring of $M_{m,n}$, $GL_n$ or $SL_n$, then the algebras $Z_{JK}$ can always be constructed in terms of centres of localizations. The main purpose of the $Z_{JK}$ is to study the structure of the topolo…
▽ More
We study the commutative algebras $Z_{JK}$ appearing in Brown and Goodearl's extension of the $\mathcal{H}$-stratification framework, and show that if $A$ is the single parameter quantized coordinate ring of $M_{m,n}$, $GL_n$ or $SL_n$, then the algebras $Z_{JK}$ can always be constructed in terms of centres of localizations. The main purpose of the $Z_{JK}$ is to study the structure of the topological space $spec(A)$, which remains unknown for all but a few low-dimensional examples. We explicitly construct the required denominator sets using two different techniques (restricted permutations and Grassmann necklaces) and show that we obtain the same sets in both cases. As a corollary, we obtain a simple formula for the Grassmann necklace associated to a cell of totally nonnegative real $m\times n$ matrices in terms of its restricted permutation.
△ Less
Submitted 12 June, 2016; v1 submitted 20 November, 2015;
originally announced November 2015.
-
Quantum Matrices by Paths
Authors:
Karel Casteels
Abstract:
We study, from a combinatorial viewpoint, the quantized coordinate ring of mxn matrices over an infinite field K (also called quantum matrices) and its torus-invariant prime ideals. The first part of this paper shows that this algebra, traditionally defined by generators and relations, can be seen as subalgebra of a quantum torus by using paths in a certain directed graph. Roughly speaking, we vie…
▽ More
We study, from a combinatorial viewpoint, the quantized coordinate ring of mxn matrices over an infinite field K (also called quantum matrices) and its torus-invariant prime ideals. The first part of this paper shows that this algebra, traditionally defined by generators and relations, can be seen as subalgebra of a quantum torus by using paths in a certain directed graph. Roughly speaking, we view each generator of quantum matrices as a sum over paths in the graph, each path being assigned an element of the quantum torus. The quantum matrices relations then arise naturally by considering intersecting paths. This viewpoint is closely related to Cauchon's deleting-derivations algorithm.
The second part of this paper is to apply the paths viewpoint to the theory of torus-invariant prime ideals of quantum matrices. We prove a conjecture of Goodearl and Lenagan that all such prime ideals, when the quantum parameter q is a non-root of unity, have generating sets consisting of quantum minors. Previously, this result was known to hold only for char(K)=0 and q transcendental over Q. Our strategy is to show that the quantum minors in a given torus-invariant ideal form a Grobner basis.
△ Less
Submitted 16 September, 2014; v1 submitted 23 October, 2012;
originally announced October 2012.
-
Enumeration of torus-invariant strata with respect to dimension in the big cell of the quantum minuscule Grassmannian of type B_n
Authors:
Jason Bell,
Karel Casteels,
Stéphane Launois
Abstract:
The aim of this article is to give explicit formulae for various generating functions, including the generating function of torus-invariant primitive ideals in the big cell of the quantum minuscule grassmannian of type B_n.
The aim of this article is to give explicit formulae for various generating functions, including the generating function of torus-invariant primitive ideals in the big cell of the quantum minuscule grassmannian of type B_n.
△ Less
Submitted 14 April, 2011;
originally announced April 2011.
-
Enumeration of $\C{H}$-strata in quantum matrices with respect to dimension
Authors:
Jason Bell,
Karel Casteels,
Stéphane Launois
Abstract:
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…
▽ More
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$.
△ Less
Submitted 14 September, 2010; v1 submitted 13 September, 2010;
originally announced September 2010.
-
Primitive ideals in quantum Schubert cells: dimension of the strata
Authors:
Jason Bell,
Karel Casteels,
Stéphane Launois
Abstract:
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 fl…
▽ More
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.
△ Less
Submitted 7 September, 2010;
originally announced September 2010.
-
A Graph Theoretic Method for Determining Generating Sets of Prime Ideals in Quantum Matrices
Authors:
Karel Casteels
Abstract:
We take a graph theoretic approach to the problem of finding generators for those prime ideals of $\mathcal{O}_q(\mathcal{M}_{m,n}(\mathbb{K}))$ which are invariant under the torus action ($\mathbb{K}^*)^{m+n}$. Launois \cite{launois3} has shown that the generators consist of certain quantum minors of the matrix of canonical generators of $\mathcal{O}_q(\mathcal{M}_{m,n}(\mathbb{K}))$ and in \cite…
▽ More
We take a graph theoretic approach to the problem of finding generators for those prime ideals of $\mathcal{O}_q(\mathcal{M}_{m,n}(\mathbb{K}))$ which are invariant under the torus action ($\mathbb{K}^*)^{m+n}$. Launois \cite{launois3} has shown that the generators consist of certain quantum minors of the matrix of canonical generators of $\mathcal{O}_q(\mathcal{M}_{m,n}(\mathbb{K}))$ and in \cite{launois2} gives an algorithm to find them. In this paper we modify a classic result of Lindström \cite{lind} and Gessel-Viennot~\cite{gv} to show that a quantum minor is in the generating set for a particular ideal if and only if we can find a particular set of vertex-disjoint directed paths in an associated directed graph.
△ Less
Submitted 14 September, 2010; v1 submitted 9 July, 2009;
originally announced July 2009.
