• ### Asymptotic behaviors of representations of graded categories with inductive functors(1705.00882)

March 20, 2019 math.RT, math.KT, math.AC, math.RA
In this paper we describe an inductive machinery to investigate asymptotic behaviors of homology groups and related invariants of representations of certain graded combinatorial categories over a commutative Noetherian ring $k$, via introducing inductive functors which generalize important properties of shift functors of $\mathrm{FI}$-modules. In particular, a sufficient criterion for finiteness of Castelnuovo-Mumford regularity of finitely generated representations of these categories is obtained. As applications, we show that a few important infinite combinatorial categories appearing in representation stability theory are equipped with inductive functors, and hence the finiteness of Castelnuovo-Mumford regularity of their finitely generated representations is guaranteed. We also prove that truncated representations of these categories have linear minimal resolutions by relative projective modules, which are precisely linear minimal projective resolutions when $k$ is a field of characteristic 0.
• ### Koszulity of directed categories in representation stability theory(1411.5308)

Feb. 22, 2018 math.AT, math.RT, math.RA
In the first part of this paper, we study Koszul property of directed graded categories. In the second part of this paper, we prove a general criterion for an infinite directed category to be Koszul. We show that infinite directed categories in the theory of representation stability are Koszul over a field of characteristic zero.
• ### An application of Nakayama functor in representation stability theory(1710.05493)

Oct. 16, 2017 math.RT, math.RA
Using the Nakayama functor, we construct an equivalence from a Serre quotient category of a category of finitely generated modules to a category of finite-dimensional modules. We then apply this result to the categories FI$_G$ and VI$_q$, and answer positively an open question of Nagpal on representation stability theory.
• ### Stable decompositions of certain representations of the finite general linear groups(1605.08434)

Sept. 21, 2017 math.RT
We prove that the irreducible decomposition of the permutation representation of GL(n,q) on GL(n,q)/GL(n-m,q) stabilizes for large n. We deduce, as a consequence, a representation stability theorem for finitely generated VIC-modules.
• ### A representation stability theorem for VI-modules(1602.00654)

Sept. 21, 2017 math.RT
A VI-module gives rise to a sequence of representations of the finite general linear groups. We prove that the sequence obtained from any finitely generated VI-module over an algebraically closed field of characteristic zero is representation stable.
• ### An inductive machinery for representations of categories with shift functors(1610.09081)

April 23, 2017 math.RT, math.KT, math.RA
We describe an inductive machinery to prove various properties of representations of a category equipped with a generic shift functor. Specifically, we show that if a property (P) of representations of the category behaves well under the generic shift functor, then all finitely generated representations of the category have the property (P). In this way, we obtain simple criteria for properties such as Noetherianity, finiteness of Castelnuovo-Mumford regularity, and polynomial growth of dimension to hold. This gives a systemetic and uniform proof of such properties for representations of the categories $\FI_G$ and $\OI_G$ which appear in representation stability theory.
• ### On central stability(1504.07675)

Jan. 27, 2017 math.RT, math.RA
The notion of central stability was first formulated for sequences of representations of the symmetric groups by Putman. A categorical reformulation was subsequently given by Church, Ellenberg, Farb, and Nagpal using the notion of FI-modules, where FI is the category of finite sets and injective maps. We extend the notion of central stability from FI to a wide class of categories, and prove that a module is presented in finite degrees if and only if it is centrally stable. We also introduce the notion of $d$-step central stability, and prove that if the ideal of relations of a category is generated in degrees at most $d$, then every module presented in finite degrees is $d$-step centrally stable.
• ### On the negative-one shift functor for FI-modules(1603.07974)

Sept. 14, 2016 math.RT, math.RA
We show that the negative-one shift functor on the category of FI-modules is a left adjoint of the shift functor and a right adjoint of the derivative functor. We also describe how the coinduction functor is related to the negative-one shift functor.
• ### Complex of injective words revisited(1608.04496)

Aug. 16, 2016 math.AT, math.KT
We give a simple proof that (a generalization of) the complex of injective words has vanishing homology in all except the top degree.
• ### A remark on FI-module homology(1505.01777)

May 11, 2016 math.RT, math.RA
We show that the FI-homology of an FI-module can be computed via a Koszul complex. As an application, we prove that the Castelnuovo-Mumford regularity of a finitely generated torsion FI-module is equal to its degree.
• ### Coinduction functor in representation stability theory(1502.06989)

April 13, 2016 math.RT, math.RA
We study the coinduction functor on the category of FI-modules and its variants. Using the coinduction functor, we give new and simpler proofs of (generalizations of) various results on homological properties of FI-modules. We also prove that any finitely generated projective VI-module over a field of characteristic 0 is injective.
• ### A long exact sequence for homology of FI-modules(1602.08873)

April 11, 2016 math.RT
We construct a long exact sequence involving the homology of an FI-module. Using the long exact sequence, we give two methods to bound the Castelnuovo-Mumford regularity of an FI-module which is generated and related in finite degree. We also prove that for an FI-module which is generated and related in finite degree, if it has a nonzero higher homology, then its homological degrees are strictly increasing (starting from the first homological degree).
• ### Noetherian property of infinite EI categories(1407.8235)

June 3, 2015 math.GT, math.RT, math.AC, math.GR
It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result to the abstract setting of an infinite EI category satisfying certain combinatorial conditions.
• ### Center of Twisted Graded Hecke Algebras for Homocyclic Groups(1403.6817)

Oct. 15, 2014 math.RA
We determine explicitly the center of the twisted graded Hecke algebras associated to homocyclic groups. Our results are a generalization of formulas by M. Douglas and B. Fiol in [J. High Energy Phys. 2005 (2005), no. 9, 053, 22 pages, hep-th/9903031].
• ### Quantization of Slodowy slices(math/0105225)

May 26, 2013 math.AG, math.QA, math.RT
We give a direct proof of (a slight generalization of) the recent result of A. Premet related to generalized Gelfand-Graev representations and of an equivalence due to Skryabin.
• ### Batalin-Vilkovisky coalgebra of string topology(0804.4748)

March 14, 2009 math.AT, math.QA
We show that the reduced Hochschild homology of a DG open Frobenius algebra has the natural structure of a Batalin-Vilkovisky coalgebra, and the reduced cyclic homology has the natural structure of a gravity coalgebra. This gives an algebraic model for a Batalin-Vilkovisky coalgebra structure on the reduced homology of the free loop space of a simply connected closed oriented manifold, and a gravity coalgebra structure on the reduced equivariant homology.
• ### Quantization of the Lie bialgebra of string topology(0902.2161)

Feb. 24, 2009 math-ph, math.MP, math.AT
Let M be a smooth, simply-connected, closed oriented manifold, and LM the free loop space of M. Using a Poincare duality model for M, we show that the reduced equivariant homology of LM has the structure of a Lie bialgebra, and we construct a Hopf algebra which quantizes the Lie bialgebra.
• ### The necklace Lie coalgebra and renormalization algebras(math-ph/0702055)

Oct. 10, 2007 math-ph, math.MP, math.QA
We give a natural monomorphism from the necklace Lie coalgebra, defined for any quiver, to Connes and Kreimer's Lie coalgebra of trees, and extend this to a map from a certain quiver-theoretic Hopf algebra to Connes and Kreimer's renormalization Hopf algebra, as well as to pre-Lie versions. These results are direct analogues of Turaev's results in 2004, by replacing algebras of loops on surfaces with algebras of paths on quivers. We also factor the morphism through an algebra of chord diagrams and explain the geometric version. We then explain how all of the Hopf algebras are uniquely determined by the pre-Lie structures, and discuss noncommutative versions of the Hopf algebras.
• ### Quantized symplectic oscillator algebras of rank one(math/0405176)

June 16, 2006 math.QA, math.RT
A quantized symplectic oscillator algebra of rank 1 is a PBW deformation of the smash product of the quantum plane with U_q(sl_2). We study its representation theory, and in particular, its category O.
• ### Generalized double affine Hecke algebras of higher rank(math/0504089)

June 12, 2006 math.QA, math.RA
We define generalized double affine Hecke algebras (GDAHA) of higher rank, attached to a non-Dynkin star-like graph D. This generalizes GDAHA of rank 1 defined in math.QA/0406480 and math.QA/0409261. If the graph is extended D4, then GDAHA is the algebra defined by Sahi in q-alg/9710032, which is a generalization of the Cherednik algebra of type BCn. We prove the formal PBW theorem for GDAHA, and parametrize its irreducible representations in the case when D is affine (i.e. extended D4, E6, E7, E8) and q=1. We formulate a series of conjectures regarding algebraic properties of GDAHA. We expect that, similarly to how GDAHA of rank 1 provide quantizations of del Pezzo surfaces (as shown in math.QA/0406480), GDAHA of higher rank provide quantizations of deformations of Hilbert schemes of these surfaces. The proofs are based on the study of the rational version of GDAHA (which is closely related to the algebras studied in math.QA/0401038), and differential equations of Knizhnik-Zamolodchikov type.
• ### Almost-commuting variety, D-modules, and Cherednik Algebras(math/0409262)

Dec. 14, 2005 math.AG, math.QA, math.RT
We study a scheme M closely related to the set of pairs of n by n-matrices with rank 1 commutator. We show that M is a reduced complete intersection with n+1 irreducible components, which we describe. There is a distinguished Lagrangian subvariety Nil in M. We introduce a category, C, of D-modules whose characteristic variety is contained in Nil. Simple objects of that category are analogous to Lusztig's character sheaves. We construct a functor of Quantum Hamiltonian reduction from category C to the category O for type A rational Cherednik algebra.
• ### Harish-Chandra homomorphisms and symplectic reflection algebras for wreath-products(math/0511489)

Nov. 26, 2005 math.QA, math.RT
The main result of the paper is a natural construction of the spherical subalgebra in a symplectic reflection algebra associated with a wreath-product in terms of quantum hamiltonian reduction of an algebra of differential operators on a representation space of an extended Dynkin quiver. The existence of such a construction has been conjectured in [EG]. We also present a new approach to reflection functors and shift functors for generalized preprojective algebras and symplectic reflection algebras associated with wreath-products.
• ### Continuous Hecke algebras(math/0501192)

Sept. 8, 2005 math.QA, math.RT
We study a generalization of graded Hecke algebras introduced by Drinfeld in 1986, in which the role of a finite group G is played by a reductive algebraic group. This includes continuous generalizations of symplectic reflection algebras and of rational Cherednik algebras. We prove direct and converse PBW theorems, and also study versions of our algebras in which the group G is replaced with its Lie algebra. We also begin to develop the representation theory of continuous Hecke algebras, which unifies representation theories of real reductive groups, Drinfeld-Lusztig degenerate affine Hecke algebras, and symplectic reflection (in particular, Cherednik) algebras. The paper is dedicated to V. Drinfeld's 50-th birthday.
• ### Reflection functors and symplectic reflection algebras for wreath products(math/0502035)

July 28, 2005 math.RT, math.RA
We construct reflection functors on categories of modules over deformed wreath products of the preprojective algebra of a quiver. These functors give equivalences of categories associated to generic parameters which are in the same orbit under the Weyl group action. We give applications to the representation theory of symplectic reflection algebras of wreath product groups.
• ### On a theorem of Conant-Vogtmann(math/0404173)

July 18, 2005 math.QA
We prove that the graph complex is a strong homotopy Lie (super) bialgebra.