arXiv Science⌕ Search

arXiv subjects

Jiarui Fei

Publications and source records attributed to Jiarui Fei.

At least 19 recordsLinked to original sources

Arithmetic Kac Theory for Ramified Species

Let $K=k((t))$, where $k$ is algebraically closed of characteristic zero, and let $Λ$ be an acyclic ramified species over $K$. An indecomposable $Λ$-module can split after extending $K$. The number of its distinct geometric indecomposable summands is the degree of its residue endomorphism field $\operatorname{End}_Λ(M)/\operatorname{rad}\operatorname{End}_Λ(M)$. We use the positive roots and cyclic automorphism of the unfolded quiver to determine the number of isomorphism classes at every nonzero rank and residue degree $e\ge1$: it is zero, an explicitly computable finite number, or $|K|$. For every invariant imaginary root of the unfolding, including at nonprimitive ranks, we construct a smooth invariant family of absolutely indecomposable representations whose rational quotient by the change-of-bases group has dimension $1-q_d(β)$. We characterize ranks admitting absolutely Schur representations by the Schur roots of the unfolded quiver. For the associated species over finite fields, we realize the polynomials counting absolutely indecomposable representations as graded traces of the unfolding automorphism on preprojective BPS cohomology. Galois-orbit formulas and Möbius inversion then recover the counts at each residue degree. Finally, we prove an all-rank symmetrizable analogue of Kac's constant-term conjecture: the constant term of the polynomial counting all indecomposables, rather than only absolutely indecomposable ones, equals the corresponding Kac--Moody root multiplicity. This constant is independent of the symmetrizer and modulation.

math.RT↗

On the Orthogonal Projections

Let $A$ be a finite-dimensional algebra and $e$ a rigid presentation. We give an explicit formula for the left adjoint to the inclusion $\operatorname{rep}(e^\perp)\hookrightarrow \operatorname{rep}(A)$ and construct a bijection between presentations in $\operatorname{rep}(e^\perp)$ and presentations compatible with $e$. The induced bijection on weights preserves generic $\operatorname{E}$-invariants and canonical decompositions. If $A$ is Jacobian, the reduction algebra is Jacobian for every rigid $e$. We prove mutation formulas for the signed completions and for the dimension vectors of the simple objects of $\operatorname{rep}(e^\perp)$, enabling an algorithm to find the projected quiver with potential when $e$ is extended-reachable. Additionally, we introduce a modified projection for quivers with potentials that preserves general presentations. For applications to cluster algebras, we establish a connection to the stabilization functors.

math.RT↗

Flag Varieties of General Quiver Representations: Characteristic Classes and Semi-Invariants

We study flags of subrepresentations of a general representation of a finite quiver. For each representation, its flag scheme is the zero scheme of a section of a quotient bundle on a product of partial flag varieties. We obtain the generic dimension and cycle class and equivariant localization formulas for Euler characteristics and parabolic Schubert coefficients. We further express these coefficients as finite signed sums of semi-invariant dimensions for auxiliary star quivers with inward and outward flag arms. In the acyclic one-step case, this is compatible with the result of Derksen--Schofield--Weyman, and the zero-dimensional case recovers their semi-invariant counting theorem. Examples treat matrix pencils and generalized Kronecker quivers.

math.AG↗

Extending Upper Cluster Algebras

Let $S$ be an upper cluster algebra, which is a subalgebra of $R$. Suppose that there is some cluster variable $x_e$ such that ${R}_{{x}_e} = S[{x}_e^{\pm 1}]$. We try to understand under which conditions ${R}$ is an upper cluster algebra, and how the quiver of $R$ relates to that of $S$. Moreover, if the restriction of $(Δ,W)$ to some subquiver is a cluster model, we give a sufficient condition for $(Δ,W)$ itself being a cluster model. As an application, we show that the semi-invariant ring of any complete $m$-tuple flags is an upper cluster algebra whose quiver is explicitly given. Moreover, the quiver with its rigid potential is a polyhedral cluster model.

math.AC↗

Ramified convolution and monodromy bases for symmetrizable Kac--Moody algebras

We realize the positive enveloping algebra of a symmetrizable Kac--Moody algebra by convolution on a ramified preprojective species over $\mathbb{C}((t))$. The coefficients are alternating traces of tame monodromy on representation flag varieties. We prove the relative Serre relations modulo classes induced from proper finite extensions. Monodromy evaluations at compatible generic points of the central reductions yield an integral basis respecting the top and socle crystals. The basis is unchanged by scaling the symmetrizer, induces bases of integrable representation lattices, and agrees with Lusztig's semicanonical basis when the Cartan matrix is symmetric. We prove the acyclic convolution conjecture of Geiß--Leclerc--Schröer for all symmetrizable Cartan matrices and all positive integral symmetrizers. Finally, we give a counterexample to the Support Conjecture of Geiß--Leclerc--Schröer and compute a ramified lift for which monodromy restores the Serre relation.

math.RT↗

Ramified Quivers with Potentials, Monodromy Characters, and Cluster Bases I

We construct categorical models and cluster characters for skew-symmetrizable cluster algebras admitting good ramified realizations. Goodness is equivalent to nondegenerate realizability. When a reddening sequence is given, it is enough to check sign coherence of the arrow types along that sequence. Triangular extensions with arbitrary connecting bimodule types preserve goodness when both component matrices admit reddening sequences. Consequently, every matrix obtained from one vertex by triangular extensions and mutations admits a good Jacobi-finite nondegenerate realization for every compatible positive integral symmetrizer. For a good Jacobi-finite nondegenerate realization, the monodromy $F$-polynomials satisfy mutation for all finite decorated representations, without a rigidity hypothesis. A full initial order determines valued universal presentations and their cluster characters. Under the reachability condition, these characters form a basis of the middle cluster algebra for arbitrary geometric coefficients, with frozen variables inverted, and contain all cluster monomials. The same family is an upper-cluster-algebra basis when the middle and upper algebras coincide. For a fixed Jacobian algebra and $δ$-vector, the Newton polytope of the generic monodromy $F$-polynomial is independent of the order.

math.RT↗

Symmetric Branching via Laurent Phenomenon Algebras

We construct Laurent phenomenon structures on reductive branching algebras. For $A_{2n-1}\downarrow C_{n}$, $n\ge 2$, and the exceptional inclusions $D_4\downarrow G_2$, $E_6\downarrow F_4$, and $F_4\downarrow B_4$, we identify the branching algebras with upper Laurent phenomenon algebras, keeping the frozen coefficients polynomial. Degree-fibred categories of projective presentations give a common construction. It also gives cluster seeds of type $A_1$ for $B_3 \downarrow G_2$ and $G_2\downarrow A_2$. We give uniform sufficient conditions identifying a specialized Keel--Yu mirror algebra with an upper Laurent phenomenon algebra admitting a suitable binomial seed. The resulting theta basis is simultaneously adapted to the frozen boundary valuations. For $A_{2n-1}\downarrow C_{n}$ with $2\le n\le5$ and for the other exceptional inclusions, we obtain homogeneous theta bases parametrized by lattice points of explicit rational polyhedral cones, whose weight fibres compute every branching multiplicity. We also prove mutation invariance of finite upper bounds for LP patterns over a UFD.

math.RT↗

Hessian Defect, Compatibility Degree, and Canonical Decomposition

We express the difference between dimension and denominator vectors as the rank defect of a Hessian differential. For a very general Jacobi-finite potential, this defect vanishes on a general representation in a principal component precisely when the positive-length cycles at the vertex act trivially. The associated Hessian vectors satisfy tropical $X$-mutation and Auslander--Reiten translation. We also give two distinct cluster variables with the same denominator vector but different Hessian vectors. Their Hom pairing extends ordered denominator compatibility, and its negative part computes the canonical multiplicity of any extended-reachable indecomposable class in an arbitrary presentation weight.

math.RT↗

Syzygy Transformations of Cluster Characters and Geometric Twists

We use the full multiplication formula to study syzygy and suspension of cluster characters. In stably 2-Calabi--Yau Frobenius categories, syzygy and cosyzygy induce inverse automorphisms of localized character algebras; in Hom-finite 2-Calabi--Yau triangulated categories, the same uniqueness principle transports all cluster characters under suspension. The latter gives our Auslander--Reiten $F$-polynomial identity. No mutation reachability is required. We extend positroid twist identities to all objects, recover the Grassmannian and unipotent-cell formulas, identify partition-function algebras before boundary localization, and derive tropical covariance when the relevant tropical coordinate map is a homeomorphism.

math.RT↗

Cluster Algebras for Bosonic Plethysm

Let $\Bbbk$ be an algebraically closed field of characteristic zero, let $V=\Bbbk^\ell$ and $W=\Bbbk^m$, and set \[ \mathcal R_{\ell,m}=\operatorname{Sym}(\operatorname{Sym}^2V\otimes W)^{U_V}. \] We construct an explicit skew-symmetrizable seed $Σ_{\ell,m}$ by restricting and folding the determinantal seed for the flagged $m$-arrow Kronecker quiver. For every $\ell,m\ge2$, we have \[ \mathcal R_{\ell,m}=\mathcal U(Σ_{\ell,m}), \] with polynomial frozen coefficients, and $Σ_{\ell,m}$ admits a reddening sequence. The theta basis extends across the frozen boundary exactly for parameters in a rational polyhedral cone $\mathscr C_{\ell,m}$. Its weight fibers count the multigraded highest-weight multiplicities of $\mathcal R_{\ell,m}$, and the Jacobi--Trudi identity expresses symmetric-square plethysm coefficients as finite alternating sums of these counts. Optimized frozens give an explicit finite system of inequalities for $\mathscr C_{\ell,m}$.

math.RT↗

Cluster Geometry of Universal Schubert Polynomials I: Geometric Bases and Schubert Transitions

We study Fulton's universal Schubert polynomials $\mathfrak S_w(c)$ as regular functions on the upper unitriangular group $U_N$. The standard triangular cluster structure associates a Schubert $\sf g$-vector to every permutation. Their convex hull is unimodularly equivalent to $Δ_1\times\cdots\timesΔ_{N-1}$, and their root-degree fibers are parabolic Bruhat intervals realized by the strata of staircase quiver Grassmannians. The geometric (i.e., generic, canonical, and Mirković--Vilonen) elements indexed by these vectors form integral bases of Fulton's standard-elementary module. We prove that $\mathfrak S_w(c)$ is homogeneous under diagonal conjugation if and only if it is the corresponding canonical element, and that homogeneity of $\mathfrak S_w(c)$ implies $Λ_Q$-rigidity of $Z_{\sf g_w}$. We also classify simultaneously the unit columns of the geometric-to-Schubert transitions, determine support components of the PBW-to-geometric and code-to-Schubert transitions, and exhibit a permutation $w\in S_{10}$ for which the three geometric basis elements are distinct.

math.CO↗

A Polyhedral Formula for $n\times2\times2$ Kronecker Coefficients via Cluster Algebras

Let \[ \Bbbk[\Bbbk^3\otimes\Bbbk^2\otimes\Bbbk^2]^{U_3\times U_2\times U_2}. \] We construct an ordinary cluster family with Markov principal part. At $ζ=-1$, the intersection of its initial Laurent ring with the three adjacent Laurent rings equals $\mathscr U$, and \[ \mathscr U=\mathcal M_u[u_Δ], \] where $\mathcal M_u$ is the middle algebra. Its theta functions are indexed by a cone with a sixteen-element Hilbert basis. Multiplication by $u_Δ$ pairs the Hilbert generators of mutable degrees $1$ and $-1$ and reduces each triple-weight space to the slice $\ell=\ell_0$. Counting the lattice points in this slice gives a finite sum with nonnegative summands. Determinant reduction extends the formula to all $n\times2\times2$ Kronecker coefficients.

math.RT↗

On AI's "semistable torsion classes and canonical decompositions"

In this short note, we give two-line proofs for main results in "Semistable torsion classes and canonical decompositions" by Asai-Iyama from a main result in "Tropical $F$-polynomials and general presentations", which appeared on the math arXiv 2 years earlier.

math.RT↗

Crystal Structure of Upper Cluster Algebras

We describe the upper seminormal crystal structure for the $μ$-supported $δ$-vectors for any quiver with potential with reachable frozen vertices, or equivalently for the tropical points of the corresponding cluster $\mc{X}$-variety. We show that the crystal structure can be algebraically lifted to the generic basis of the upper cluster algebra. This can be viewed as an additive categorification of the crystal structure arising from cluster algebras. We introduce the biperfect bases in the cluster algebra setting and give a description of all biperfect bases, which are parametrized by lattice points in a product of polyhedral sets. We illustrate this theory from classical examples and new examples.

math.RT↗

On the General Ranks of QP Representations

We propose a mutation formula for the general rank from a principal component ${\rm PC}(δ)$ of representations to another one ${\rm PC}(ε)$ for a quiver with potential. We give sufficient conditions for the formula to hold. In particular, the formula holds when any of $δ$ and $ε$ is reachable. We discover several related mutation invariants.

math.RT↗

Tropical $F$-polynomials and General Presentations

We introduce the tropical $F$-polynomial $f_M$ of a quiver representation $M$. We study its interplay with the general presentation for any finite-dimensional basic algebra. We give an interpretation of evaluating $f_M$ at a weight vector. As a consequence, we give a presentation of the Newton polytope ${\sf N}(M)$ of $M$. We study the dual fan and 1-skeleton of ${\sf N}(M)$. We propose an algorithm to determine the generic Newton polytopes, and show it works for path algebras. As an application, we give a representation-theoretic interpretation of Fock-Goncharov's duality pairing. We give an explicit construction of dual clusters, which consists of real Schur representations. We specialize the above general results to the cluster-finite algebras and the preprojective algebras of Dynkin type.

math.RT↗

Combinatorics of $F$-polynomials

We use the stabilization functors to study the combinatorial aspects of the $F$-polynomial of a representation of any finite-dimensional basic algebra. We characterize the vertices of their Newton polytopes. We give an explicit formula for the $F$-polynomial restricting to any face of its Newton polytope. For acyclic quivers, we give a complete description of all facets of the Newton polytope when the representation is general. We also prove that the support of the $F$-polynomial is saturated for any rigid representation. We provide many examples and counterexamples, and pose several conjectures.

math.RT↗