arXiv++ Combinatorics

The path ideal (of length t >=2) of a graph G is the monomial ideal, denoted I_t(G), whose generators correspond to the directed paths of length t in G. We study some of the algebraic properties of I_t(G) when G is a tree. We first show that I_t(G) is the facet ideal of a simplicial tree. As a consequence, the quotient ring R/I_t(G) is always sequentially Cohen-Macaulay, and the Betti numbers of R/I_t(G) do not depend upon the characteristic of the field. We study the case of the line graph in greater detail at the end of the paper.

Kauffman's bracket is an invariant of regular isotopy of knots and links which since its discovery in 1985 it has been used in many different directions: (a) it implies an easy proof of the invariance of (in fact, it is equivalent to) the Jones polynomial; (b) it is the basic ingredient in a completely combinatorial construction for quantum 3-manifold invariants; (c) by its fundamental character it plays an important role in some theories in Physics; it has been used in the context of virtual links; it has connections with many objects other objects in Mathematics and Physics. I show in this note that, surprisingly enough, the same idea that produces the bracket can be slightly modified to produce algebraically stronger regular isotopy and ambient isotopy invariants living in the quotient ring $R/I$, where the ring $R$ and the ideal $I$ are: \begin{center} $R=\Z[α,β,δ]$, $I=< p_1, p_2 >$, with $p_1=α^2 δ+ 2 αβδ^2 -δ^2+β^2 δ, p_2=αβδ ^3+α^2 δ^2+β ^2 δ^2+αβ δ-δ.$ \end{center} It is easy to prove that any pair of links distinguished by the usual bracket is also distinguishable by the new invariant. The contrary is not necessarily true. However, a explicit example of a pair of knots not distinguished by the bracket and distinguished by this new invariant is an open problem.

The Orlik-Solomon algebra of a matroid can be considered as a quotient ring over the exterior algebra E. At first we study homological properties of E-modules as e.g. complexity, depth and regularity. In particular, we consider modules with linear injective resolutions. We apply our results to Orlik-Solomon algebras of matroids and give formulas for the complexity, depth and regularity of such rings in terms of invariants of the matroid. Moreover, we characterize those matroids whose Orlik-Solomon ideal has a linear projective resolution and compute in these cases the Betti numbers of the ideal.

For a multidegree t in N^n, E.Miller has defined a category of positively t-determined modules over the polynomial ring S in n variables. We consider the Auslander-Reiten translate, Na_t, on the (derived) category of such modules. A monomial ideal I is positively t-determined if every generator x^a has a \leq t. We compute the multigraded cohomology- and betti spaces of Na_t^k(S/I) for every iterate k, and also the S-module structure of these cohomology modules. This comprehensively generalizes results of Hochster and Gräbe on local cohomology of Stanley-Reisner rings.

We investigate monomial labellings on cell complexes, giving a minimal cellular resolution of the ideal generated by these monomials, and such that the associated quotient ring is Cohen-Macaulay. We introduce a notion of such a labelling being maximal. There is only a finite number of maximal labellings for each cell complex, and we classify these for trees, partly for subdivisions of polygons, and for some classes of selfdual polytopes.

Garsia-Haiman modules are quotient rings in variables X_n={x_1, x_2, ..., x_n} and Y_n=y_1, y_2, ..., y_n} that generalize the quotient ring C[X_n]/I, where I is the ideal generated by the elementary symmetric polynomials e_j(X_n) for 1 <= j <= n. A bitableaux basis for the Garsia-Haiman modules of hollow type is constructed. Applications of this basis to representation theory and other related polynomial spaces are considered.

We construct a quotient ring of the ring of diagonal coinvariants of the complex reflection group $W=G(m,p,n)$ and determine its graded character. This generalises a result of Gordon for Coxeter groups. The proof uses a study of category $\cO$ for the rational Cherednik algebra of $W$.

For a Weyl group W and its reflection representation mathfrak{h}, we find the character and Hilbert series for a quotient ring of C[mathfrak{h} oplus mathfrak{h}^*] by an ideal containing the W--invariant polynomials without constant term. This confirms conjectures of Haiman. The proof makes use of rational Cherednik algebras, as studied by Etingof and Ginzburg, and others.

The aim of this work is to study the quotient ring R_n of the ring Q[x_1,...,x_n] over the ideal J_n generated by non-constant homogeneous quasi-symmetric functions. We prove here that the dimension of R_n is given by C_n, the n-th Catalan number. This is also the dimension of the space SH_n of super-covariant polynomials, that is defined as the orthogonal complement of J_n with respect to a given scalar product. We construct a basis for R_n whose elements are naturally indexed by Dyck paths. This allows us to understand the Hilbert series of SH_n in terms of number of Dyck paths with a given number of factors.

We investigate the quotient ring $R$ of the ring of formal power series $\Q[[x_1,x_2,...]]$ over the closure of the ideal generated by non-constant quasi-\break symmetric functions. We show that a Hilbert basis of the quotient is naturally indexed by Catalan paths (infinite Dyck paths). We also give a filtration of ideals related to Catalan paths from $(0,0)$ and above the line $y=x-k$. We investigate as well the quotient ring $R_n$ of polynomial ring in $n$ variables over the ideal generated by non-constant quasi-symmetric polynomials. We show that the dimension of $R_n$ is bounded above by the $n$th Catalan number.