Search

Let $FI$ be a skeleton of the category of finite sets and injective maps, and $FI^m$ the product of $m$ copies of $FI$. We prove that if an $FI^m$-module is generated in degree $\leqslant d$ and related in degree $\leqslant r$, then its regularity is bounded above by a function of $m$, $d$, and $r$.

We prove a noetherian criterion for a sequence of modules with linear maps between them. This generalizes a noetherian criterion of Gan and Li for infinite EI categories. We apply our criterion to the linear categories associated to certain diagram algebras defined by Patzt.

In this paper we study adjunction relations between some natural functors on the representation category of the category of finite linearly ordered sets and order-preserving injections. We also prove that the Nakayama functor induces an equivalence from the Serre quotient of the category of finitely generated modules by the category of finitely generated torsion modules to the category of finite dimensional modules.

In this paper we introduce an inductive method to study $\mathrm{OI}$-modules presented in finite degrees, where $\mathrm{OI}$ is a skeleton of the category of finitely totally ordered sets and strictly increasing maps. As an application, we obtain an explicit upper bound for the Castelnuovo-Mumford regularity of $\mathrm{OI}$-modules., Comment: Minor revisions added

We show in this paper that representations of a finite product of categories satisfying certain combinatorial conditions have finite Castelnuovo-Mumford regularity if and only if they are presented in finite degrees, and hence the category consisting of them is abelian. These results apply to examples such as the categories $\mathrm{FI}^m$ and $\mathrm{FI}_G^m$., Comment: A small change to extend the main result

We answer positively a question of Church, Miller, Nagpal and Reinhold on existence of a linear bound on the presentation degree of the homology of a complex of FI-modules. This implies a linear stable range for the homology of congruence subgroups of general linear groups., Comment: Minor revisions. To appear in Selecta Math

We give bounds for various homological invariants (including Castelnuovo-Mumford regularity, degrees of local cohomology, and injective dimension) of finitely generated VI-modules in the non-describing characteristic case. It turns out that the formulas of these bounds for VI-modules are the same as the formulas of corresponding bounds for FI-modules., Comment: Following suggestions of the referee, a few changes were adopted to simplify arguments and improve bounds

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., Comment: Comments welcome

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., Comment: Corrected two small but serious typos in Theorem 1.2 and Theorem 4.6

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., Comment: Quite a few small revisions added following the suggestions of the referee

We give a simple proof that (a generalization of) the complex of injective words has vanishing homology in all except the top degree.

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.

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., Comment: Remarks added

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)., Comment: Minor corrections

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., Comment: Minor corrections

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., Comment: Minor corrections

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., Comment: A few small revisions suggested by the referee. More examples included

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., Comment: Corrected a few typos in the proof of Lemma 3.1

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., Comment: Published version

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., Comment: Final version to appear in NYJM. Remark 3.5 and Example 3.12 Added

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].

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., Comment: 16 pages

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.

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., Comment: 18 pages, 4 figures: corrected and with new results in v2

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., Comment: Introduction expanded

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., Comment: 25 pages, latex; minor corrections are made, some proofs were expanded

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., Comment: 25 pages

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., Comment: 28 pages, latex; the exposition and the title of the paper are changed in the present version

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., Comment: Final version, to appear in IMRN. Introduction expanded, many minor corresctions made, section 7 rewritten, an Appendix added

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., Comment: 35 pages. Final version, to appear in Journal of Algebra

We prove a Chevalley restriction theorem and its double analogue for the cyclic quiver., Comment: 5pp, LaTeX

We prove that the graph complex is a strong homotopy Lie (super) bialgebra., Comment: 9 pages

We determine the PBW deformations of the wreath product of a symmetric group with a deformed preprojective algebra of an affine Dynkin quiver. In particular, we show that there is precisely one parameter which does not come from deformation of the preprojective algebra. We prove that the PBW deformation is Morita equivalent to a corresponding symplectic reflection algebra for wreath product., Comment: 13pp. LaTeX. Remark 2.2.6 added

We show that solving the Maurer-Cartan equations is, essentially, the same thing as performing the Hamiltonian reduction construction. In particular, any differential graded Lie algebra equipped with an even nondegenerate invariant bilinear form gives rise to modular stacks with symplectic structures., Comment: 9 pp., expanded version: more details and comments added

We introduce the notion of a dioperad to describe certain operations with multiple inputs and multiple outputs. The framework of Koszul duality for operads is generalized to dioperads. We show that the Lie bialgebra dioperad is Koszul., Comment: 14pp. LaTeX. Remarks added

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., Comment: An appendix is added providing some details concerning section 3.1