Source author record

Jiarui Fei

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

9works
7topics
1close collaborators

Published work

9 publications

preprint2016arXiv

Constructing Coherently G-invariant Modules

Let GG be a reductive group acting on a path algebra kQkQ as automorphisms. We assume that GG admits a graded polynomial representation theory, and the action is polynomial. We describe the quiver QGQ_G of the smash product algebra kQ#k[MG]∗kQ\# k[M_G]^*, where MGM_G is the associated algebraic monoid of GG. We use QGQ_G-representations to construct GG-invariant representations of QQ. As an application, we construct algebraic semi-invariants on the quiver representation spaces from those GG-invariant representations.

preprint2015arXiv

Cluster Algebras and Semi-invariant Rings II. Projections

Let SIβ(Q){\rm SI}_β(Q) be the semi-invariant ring of ββ-dimensional representations of a quiver QQ. Suppose that (Q,β)(Q,β) projects to another quiver with dimension vector (Q′,β′)(Q',β') through an exceptional representation EE. We show that if SIβ(Q){\rm SI}_β(Q) is the upper cluster algebra associated to an ice quiver ΔΔ, then SIβ′(Q′){\rm SI}_{β'}(Q') is the upper cluster algebra associated to Δ′Δ', where Δ′Δ' is obtained from ΔΔ through simple operations depending on EE. We also study the relation of their basis using the quiver with potential model.

preprint2015arXiv

Cluster Algebras, Invariant Theory, and Kronecker Coefficients I

We relate the mm-truncated Kronecker products of symmetric functions to the semi-invariant rings of a family of quiver representations. We find cluster algebra structures for these semi-invariant rings when m=2m=2. Each {\sf g}-vector cone G◊l{\sf G}_{\Diamond_l} of these cluster algebras controls the 22-truncated Kronecker products for all symmetric functions of degree no greater than ll. As a consequence, each relevant Kronecker coefficient is the difference of the number of the lattice points inside two rational polytopes. We also give explicit description of all G◊l{\sf G}_{\Diamond_l}'s. As an application, we compute some invariant rings.

preprint2015arXiv

Counting using Hall Algebras II. Extensions from Quivers

We count the Fq\mathbb{F}_q-rational points of GIT quotients of quiver representations with relations. We focus on two types of algebras -- one is one-point extended from a quiver QQ, and the other is the Dynkin A2A_2 tensored with QQ. For both, we obtain explicit formulas. We study when they are polynomial-count. We follow the similar line as in the first paper but algebraic manipulations in Hall algebra will be replaced by corresponding geometric constructions.

preprint2015arXiv

General Presentations of Algebras

For any finite dimensional basic associative algebra, we study the presentation spaces and their relation with the representation spaces. We prove two propositions about a general presentation, one on its subrepresentations and the other on its canonical decomposition. As a special case, we consider rigid presentations. We show how to complete a rigid presentation and study the number of nonisomorphic direct summands and different complements. Based on that, we construct a simplicial complex governing the canonical decompositions of rigid presentations and provide some examples.

preprint2015arXiv

On Some Quiver Determinantal Varieties

We introduce certain quiver analogue of the determinantal variety. We study the Kempf-Lascoux-Weyman's complex associated to a line bundle on the variety. In the case of generalized Kronecker quivers, we give a sufficient condition on when the complex resolves a maximal Cohen-Macaulay module supported on the quiver determinantal variety. This allows us to find the set-theoretical defining equations of these varieties. When the variety has codimension one, the only irreducible polynomial function is a relative tensor invariant. As a by-product, we find some vanishing condition for the Kronecker coefficients. In the end, we make a generalization from the quiver setting to the tensor setting.

preprint2013arXiv

Moduli of Representations I. Projections from Quivers

We use categorical method and birational geometry to study moduli spaces of quiver representations. From certain "representable" functor, we construct a birational transformation from the moduli space of representations of one quiver to another new quiver with one vertex less. The dimension vector and the stability for the new moduli are determined functorially. We introduce several relative notions of stability to study such a birational transformation. The essential case is proven to be the usual blow-ups. Moreover, we compare the induced ample divisors for the two moduli. We illustrate this theory by various examples.

preprint2012arXiv

Categorical Homotopy I. Quivers

We quiver-interpret the classical simplicial theory - including the cosimplex category ΔΔ, Dold-Kan correspondence, and Hochschild homology - as a certain Q-homotopy theory of type AA. For the cyclic and cubical theories, we proceed analogously. Subsequently, we present far-reaching generalizations, using different types of quivers. Moreover, we explain how to construct certain categories as analogs of ΔΔ, and associate to each a Q-homotopy theory. We provide many examples, including such theories of type DD.

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.