arXiv subjects

Xiuping Su

Publications and source records attributed to Xiuping Su.

At least 19 recordsLinked to original sources

arXiv2026

Grassmannian cluster subcategories and positroid varieties

A class of subcategories GP $B$ of the Grassmannian cluster category CM $C_{k, n}$ was constructed by Jensen--King--Su from certain superorders $B$ of $C_{k, n}$, which they showed are in bijection with Grassmannian positroids of type $(k, n)$. We prove that GP $B$ admits a cluster substructure of CM $C_{k, n}$, giving rise to a cluster algebra $A_{clu}$. This naturally raises questions regarding the relationship of $A_{clu}$ to $C[Gr(k, n)]$ and to the coordinate ring of the positroid variety associated to $B$. Using the cluster substructure, we show that the ice Gabriel quiver $Q^\circ_U$ of a cluster tilting object $U\in$ GP $B$, consisting of rank one modules, is a subquiver of $Q^\circ_T$ with $T$ a cluster tilting object in CM $C_{k, n}$ containing $U$ as a summand. We also deduce that $A_{clu}$ is a subalgebra of $C[Gr(k, n)]$. Moreover, applying a result of Canakci--King--Pressland on the Gabriel quiver $Q_U$ in the case where $B$ is connected (i.e., has no repeated direct summands), we deduce that $Q^\circ_U$, for arbitrary $B$, coincides with the quiver constructed by Muller-Speyer from a plabic graph whose face labels agree with the indices of the indecomposable summands of $U$. Consequently, the localised algebra $(A_{clu})_B$ is isomorphic to the cluster algebra $A_{MS}$ of Muller-Speyer. We then construct bases for certain subalgebras and for an ideal of $C[Gr(k, n)]$, and apply these to prove that $(A_{clu})_B$ is naturally isomorphic to the coordinate ring of the open positroid variety. As a consequence, we obtain a new proof of Galashin--Lam's Theorem, identifying $A_{MS}$ with the coordinate ring of the open positroid variety, which was originally conjectured by Muller-Speyer. In the connected case, we note also that Pressland gave a categorification of the cluster structure following Galashin-Lam.

math.RT↗

arXiv2024

Generic bases of skew-symmetrizable affine type cluster algebras

Geiss, Leclerc and Schr\"oer introduced a class of 1-Iwanaga-Gorenstein algebras $H$ associated to symmetrizable Cartan matrices with acyclic orientations, generalizing the path algebras of acyclic quivers. They also proved that indecomposable rigid $H$-modules of finite projective dimension are in bijection with non-initial cluster variables of the corresponding Fomin-Zelevinsky cluster algebra. In this article, we prove in all affine types that their conjectural Caldero-Chapoton type formula on these modules coincide with the Laurent expression of cluster variables. By taking generic Caldero-Chapoton functions on varieties of modules of finite projective dimension, we obtain bases for affine type cluster algebras with full-rank coefficients containing all cluster monomials.

math.RT↗

arXiv2024

Auslander algebras, flag combinatorics and quantum flag varieties

Let $D$ be the Auslander algebra of $\mathbb{C}[t]/(t^n)$, which is quasi-hereditary, and $\mathcal{F}_\Delta$ the subcategory of good $D$-modules. For any $\mathsf{J}\subseteq[1, n-1]$, we construct a subcategory $\mathcal{F}_\Delta(\mathsf{J})$ of $\mathcal{F}_\Delta$ with an exact structure $\mathcal{E}$. We show that under $\mathcal{E}$, $\mathcal{F}_\Delta(\mathsf{J})$ is Frobenius stably 2-Calabi-Yau and admits a cluster structure consisting of cluster tilting objects. This then leads to an additive categorification of the cluster structure on the coordinate ring $\mathbb{C}[\operatorname{Fl}(\mathsf{J})]$ of the (partial) flag variety $\operatorname{Fl}(\mathsf{J})$. We further apply $\mathcal{F}_\Delta(\mathsf{J})$ to study flag combinatorics and the quantum cluster structure on the flag variety $\operatorname{Fl}(\mathsf{J})$. We show that weak and strong separation can be detected by the extension groups $\operatorname{ext}^1(-, -)$ under $\mathcal{E}$ and the extension groups $\operatorname{Ext}^1(-,-)$, respectively. We give a interpretation of the quasi-commutation rules of quantum minors and identify when the product of two quantum minors is invariant under the bar involution. The combinatorial operations of flips and geometric exchanges correspond to certain mutations of cluster tilting objects in $\mathcal{F}_\Delta(\mathsf{J})$. We then deduce that any (quantum) minor is reachable, when $\mathsf{J}$ is an interval. Building on our result for the interval case, Geiss-Leclerc-Schr\"{o}er's result on the quantum coordinate ring for the open cell of $\operatorname{Fl}(\mathsf{J})$ and Kang-Kashiwara-Kim-Oh's enhancement of that to the integral form, we prove that $\mathbb{C}_q[\operatorname{Fl}(\mathsf{J})]$ is a quantum cluster algebra over $\mathbb{C}[q^{\frac{1}{2}},q^{-\frac{1}{2}}]$.

math.RT↗

arXiv2024

Categorification and mirror symmetry for Grassmannians

The homogeneous coordinate ring $\mathbb{C}[\operatorname{Gr}(k,n)]$ of the Grassmannian is a cluster algebra, with an additive categorification $\operatorname{CM}C$. Thus every $M\in\operatorname{CM}C$ has a cluster character $\Psi_M\in\mathbb{C}[\operatorname{Gr}(k,n)]$. For any cluster tilting object $T$, with $A=\operatorname{End}(T)^{\mathrm{op}}$, we define two new cluster characters, a generalised partition function $\mathcal{P}^T_M\in\mathbb{C}[K(\operatorname{CM}A)]$, whose leading exponent is $g$-vector/index of $M$, and a generalised flow polynomial $\mathcal{F}^T_M\in\mathbb{C}[K(\operatorname{fd}A)]$, whose leading exponent is $\boldsymbol{\kappa}(T,M)$, an invariant introduced in earlier paper. These (formal) polynomials are related by applying a map $\operatorname{wt}\colon K(\operatorname{CM}A)\to K(\operatorname{fd}A)$ to their exponents. In the $\mathbb{X}$-cluster chart corresponding to $T$, the function $\Psi_M$ becomes $\mathcal{F}^T_M$. Further more when $T$ mutates, $\mathcal{F}^T_M$ undergoes $\mathbb{X}$-mutation and $\boldsymbol{\kappa}(T,M)$ undergoes tropical $\mathbb{A}$-mutation. We show that the monoid of $g$-vectors is given by a rational polyhedral cone, which can be described, following Rietsch-Williams' mirror symmetry strategy, by tropicalisation of the Marsh-Reitsch superpotential~$W$ and, from that, by module-theoretic inequalities. In the process, the NO-body of Rietsch--Williams can be described in terms of $\boldsymbol{\kappa}(T,M)$. This leads to a categorical incarnation of Grassmannian mirror symmetry, in the sense of Rietsch-Williams. Some of the machinery we develop works in a greater generality, which is relevant to the positroid subvarieties of $\operatorname{Gr}(k,n)$.

math.RT↗

arXiv2024

Affine root systems, stable tubes and a conjecture by Geiss-Leclerc-Schr\"{o}er

Associated to a symmetrisable Cartan matrix $C$, Geiss-Lerclerc-Schr\"{o}er constructed and studied a class of Iwanaga-Gorenstein algebras $H$. They proved a generalised version of Gabriel's Theorem, that is, the rank vectors of $\tau$-locally free $H$-modules are the positive roots of type $C$ when $C$ is of finite type, and conjectured that this is true for any $C$. In this paper, we look into this conjecture when $C$ is of affine type. We construct explicitly stable tubes, some of which have rigid mouth modules, while others not. We deduce that any positive root of type $C$ is the rank vector of some $\tau$-locally free $H$-module. However, the converse is not true in general. Our construction shows that there are $\tau$-locally free $H$-modules whose rank vectors are not roots, when $C$ is of type $\widetilde{\mathbb{B}}_n$, $\widetilde{\mathbb{CD}}_n$, $\widetilde{\mathbb{F}}_{41}$ and $\widetilde{\mathbb{G}}_{21}$, and so the conjecture fails in these four types.

math.RT↗

arXiv2022

Categorification and the quantum Grassmannian

In \cite{JKS} we gave an (additive) categorification of Grassmannian cluster algebras, using the category $\CM(A)$ of Cohen-Macaulay modules for a certain Gorenstein order $A$. In this paper, using a cluster tilting object in the same category $\CM(A)$, we construct a compatible pair $(B, L)$, which is the data needed to define a quantum cluster algebra. We show that when $(B, L)$ is defined from a cluster tilting object with rank 1 summands, this quantum cluster algebra is (generically) isomorphic to the corresponding quantum Grassmannian.

math.RT↗

arXiv2021

The Auslander-Reiten quivers of string algebras of affine type $\widetilde{C}$ and a conjecture by Geiss-Leclerc-Schröer

In this paper, we study representations of certain string algebras, which are referred to as of affine type $\widetilde{C}$. We introduce minimal string modules and apply them to explicitly describe components of the Auslander-Reiten quivers of the string algebras and $τ$-locally free modules defined by Geiss-Lerclerc-Schröer. As an application, we prove Geiss-Leclerc-Schröer's conjecture on the correspondence between positive roots of type $\widetilde{C}$ and $τ$-locally free modules of the corresponding string algebras.

math.RT↗

arXiv2018

Existence of Richardson elements in seaweed Lie algebras of type $\mathbb{B}$, $\mathbb{C}$ and $\mathbb{D}$

Seaweed Lie algebras are a natural generalisation of parabolic subalgebras of reductive Lie algebras. The well-known Richardson Theorem says that the adjoint action of a parabolic group has a dense open orbit in the nilpotent radical of its Lie algebra \cite{richardson}. We call elements in the open orbit Richardson elements. In \cite{JSY} together with Yu, we generalized Richardson's Theorem and showed that Richardson elements exist for seaweed Lie algebras of type $\mathbb{A}$. Using GAP, we checked that Richardson elements exist for all exceptional simple Lie algebras except $\mathbb{E}_8$, where we found a counterexample. In this paper, we complete the story on Richardson elements for seaweeds of finite type, by showing that they exist for any seaweed Lie algebra of type $\mathbb{B}$, $\mathbb{C}$ and $\mathbb{D}$. By decomposing a seaweed into a sum of subalgebras and analysing their stabilisers, we obtain a sufficient condition for the existence of Richarson elements. The sufficient condition is then verified using quiver representation theory. More precisely, using the categorical construction of Richardson elements in type $\mathbb{A}$, we prove that the sufficient condition is satisfied for all seaweeds of type $\mathbb{B}$, $\mathbb{C}$ and $\mathbb{D}$, except in two special cases, where we give a directproof.

math.RT↗

arXiv2017

Degenerate 0-Schur algebras and Nil-Temperley-Lieb algebras

In \cite{JS} Jensen and Su constructed 0-Schur algebras on double flag varieties. The construction leads to a presentation of 0-Schur algebras using quivers with relations and the quiver approach naturally gives rise to a new class of algebras. That is, the path algebras defined on the quivers of 0-Schur algebras with relations modified from the defining relations of 0-Schur algebras by a tuple of parameters $\ut$. In particular, when all the entries of $\ut$ are 1, we have 0-Schur algerbas. When all the entries of $\ut$ are zero, we obtain a class of degenerate 0-Schur algebras. We prove that the degenerate algebras are associated graded algebras and quotients of 0-Schur algebras. Moreover, we give a geometric interpretation of the degenerate algebras using double flag varieties, in the same spirit as \cite{JS}, and show how the centralizer algebras are related to nil-Hecke algebras and nil-Temperly-Lieb algebras

math.RA↗

arXiv2016

A categorification of Grassmannian cluster algebras

We describe a ring whose category of Cohen-Macaulay modules provides an additive categorification of the cluster algebra structure on the homogeneous coordinate ring of the Grassmannian of k-planes in n-space. More precisely, there is a cluster character defined on the category which maps the rigid indecomposable objects to the cluster variables and the maximal rigid objects to clusters. This is proved by showing that the quotient of this category by a single projective-injective object is Geiss-Leclerc-Schroer's category Sub $Q_k$, which categorifies the coordinate ring of the big cell in this Grassmannian.

math.RT↗

arXiv2016

Presenting Hecke endomorphism algebras by Hasse quivers with relations

A Hecke endomorphism algebra is a natural generalisation of the $q$-Schur algebra associated with the symmetric group to a Coxeter group. For Weyl groups, B. Parshall, L. Scott and the first author \cite{DPS,DPS4} investigated the stratification structure of these algebras in order to seek applications to representations of finite groups of Lie type. In this paper we investigate the presentation problem for Hecke endomorphism algebras associated with arbitrary Coxeter groups. Our approach is to present such algebras by quivers with relations. If $R$ is the localisation of $\mathbb Z[q]$ at the polynomials with the constant term 1, the algebra can simply be defined by the so-called idempotent, sandwich and extended braid relations. As applications of this result, we first obtain a presentation of the 0-Hecke endomorphism algebra over $\mathbb{Z}$ and then develop an algorithm for presenting the Hecke endomorphism algebras over $\mathbb Z[q]$ by finding torsion relations. As examples, we determine the torsion relations required for all rank 2 groups and the symmetric group $\mathfrak{S}_4$.

math.QA↗

arXiv2015

Projective modules of $0$-Schur algebras

We study the structure of the $0$-Schur algebra $S_0(n, r)$ following the geometric construction of $S_0(n, r)$ by Jensen and Su \cite{JS}. The main results are the construction and classification of indecomposable projective modules. In addition, we construct bases of these modules and their homomorphism spaces. We also give a filtration of projective modules, which leads to a decomposition of $S_0(n,r)$ into indecomposable left modules.

math.RA↗

arXiv2012

A geometric realisation of 0-Schur and 0-Hecke algebras

We define a new product on orbits of pairs of flags in a vector space, using open orbits in certain varieties of pairs of flags. This new product defines an associative $\mathbb{Z}$-algebra, denoted by $G(n,r)$. We show that $G(n,r)$ is a geometric realisation of the 0-Schur algebra $S_0(n, r)$ over $\mathbb{Z}$, which is the $q$-Schur algebra $S_q(n,r)$ at q=0. We view a pair of flags as a pair of projective resolutions for a quiver of type $\mathbb{A}$ with linear orientation, and study $q$-Schur algebras from this point of view. This allows us to understand the relation between $q$-Schur algebras and Hall algebras and construct bases of $q$-Schur algebras, which are used in the proof of the main results. Using the geometric realisation, we construct idempotents and multiplicative bases for 0-Schur algebras. We also give a geometric realisation of 0-Hecke algebras and a presentation of the $q$-Schur algebra over a base ring where $q$ is not invertible.

math.RT↗

arXiv2012

Adjoint action of automorphism groups on radical endomorphisms, generic equivalence and Dynkin quivers

Let $Q$ be a connected quiver with no oriented cycles, $k$ the field of complex numbers and $P$ a projective representation of $Q$. We study the adjoint action of the automorphism group $\Aut_{kQ} P$ on the space of radical endomorphisms $\radE_{kQ}P$. Using generic equivalence, we show that the quiver $Q$ has the property that there exists a dense open $\Aut_{kQ} P$-orbit in $\radE_{kQ} P$, for all projective representations $P$, if and only if $Q$ is a Dynkin quiver. This gives a new characterisation of Dynkin quivers.

math.RT↗

arXiv2010

Filtrations in abelian categories with a tilting object of homological dimension two

We consider filtrations of objects in an abelian category $\catA$ induced by a tilting object $T$ of homological dimension at most two. We define three disjoint subcategories with no maps between them in one direction, such that each object has a unique filtation with factors in these categories. This filtration coincides with the the classical two-step filtration induced by torsion pairs in dimension one. We also give a refined filtration, using the derived equivalence between the derived categories of $\catA$ and the module category of $End_\catA (T)^{op}$. The factors of this filtration consist of kernel and cokernels of maps between objects which are quasi-isomorphic to shifts of $End_\catA (T)^{op}$-modules via the derived equivalence $\mathbb{R}Hom_\catA(T,-)$.

math.RT↗

arXiv2008

A generic multiplication in quantised Schur algebras

We define a generic multiplication in quantised Schur algebras and thus obtain a new algebra structure in the Schur algebras. We prove that via a modified version of the map from quantum groups to quantised Schur algebras, defined by A. A. Beilinson, G. Lusztig and R. MacPherson, a subalgebra of this new algebra is a quotient of the monoid algebra in Hall algebras studied by M. Reineke. We also prove that the subalgebra of the new algebra gives a geometric realisation of a positive part of 0-Schur algebras. Consequently, we obtain a multiplicative basis for the positive part of 0-Schur algebras.

math.QA↗

arXiv2007

Exceptional representations of a double quiver of type A, and Richardson elements in seaweed Lie algebras

In this paper, we study the set of $Δ$-filtered modules of quasi-hereditary algebras arising from quotients of the double of quivers of type $A$. Our main result is that for any fixed $Δ$-dimension vector, there is a unique (up to isomorphism) exceptional $Δ$-filtered module. We then apply this result to show that there is always an open adjoint orbit in the nilpotent radical of a seaweed Lie algebra in $\mathrm{gl}_{n}(\field)$, thus answering positively in this $\mathrm{gl}_{n}(\field)$ case to a question raised independently by Michel Duflo and Dmitri Panyushev. An example of a seaweed Lie algebra in a simple Lie algebra of type $E_{8}$ not admitting an open orbit in its nilpotent radical is given.

math.RT↗

arXiv2007

Degeneration of A-infinity modules

In this paper we use A-infinity modules to study the derived category of a finite dimensional algebra over an algebraically closed field. We study varieties parameterising A-infinity modules. These varieties carry an action of an algebraic group such that orbits correspond to quasi-isomorphism classes of complexes in the derived category. We describe orbit closures in these varieties, generalising a result of Zwara and Riedtmann for modules.

math.RT↗