arXiv++ Combinatorics

In this paper, we discuss filamentations on oriented chord diagrams. When a filamentation cannot be realized on an oriented chord diagram, then the corresponding flat virtual knot is non-trivial. If a flat knot diagram is non-trivial, then any virtual diagram whose shadow is the flat diagram must also be non-trivial. We introduce a class of flat diagrams for which no filamentations exist. This class gives the first example of an infinite set of virtual knots for which the Jones polynomial and the fundamental group both evaluate trivially. The related generalized Alexander polynomials for the virtual knots in this class turn out to be distinct, proving that the class is indeed infinite.

Let M be a family of sequences (a_1,...,a_p) where each a_k is a flat in a projective geometry of rank n (dimension n-1) and order q, and the sum of ranks, r(a_1) + ... + r(a_p), equals the rank of the join a_1 v ... v a_p. We prove upper bounds on |M| and corresponding LYM inequalities assuming that (i) all joins are the whole geometry and for each k<p the set of all a_k's of sequences in M contains no chain of length l, and that (ii) the joins are arbitrary and the chain condition holds for all k. These results are q-analogs of generalizations of Meshalkin's and Erdos's generalizations of Sperner's theorem and their LYM companions, and they generalize Rota and Harper's q-analog of Erdos's generalization.

We present a compact formula computing rational trigonometric sums. E. Verlinde's expression for the dimension of conformal blocks in WZW theory is an example of such a sum. As an application, we show that a formula of Bismut and Labourie for the Riemann-Roch numbers of moduli spaces of flat connections on a Riemann surface coincides with Verlinde's expression.

Let $V$ be an $\ell$-dimensional Euclidean space. Let $G \subset O(V)$ be a finite irreducible orthogonal reflection group. Let ${\cal A}$ be the corresponding Coxeter arrangement. Let $S$ be the algebra of polynomial functions on $V.$ For $H \in {\cal A}$ choose $α_H \in V^*$ such that $H = {\rm ker}(α_H).$ For each nonnegative integer $m$, define the derivation module $\sD^{(m)}({\cal A}) = \{θ\in {\rm Der}_S | θ(α_H) \in S α^m_H\}$. The module is known to be a free $S$-module of rank $\ell$ by K. Saito (1975) for $m=1$ and L. Solomon-H. Terao (1998) for $m=2$. The main result of this paper is that this is the case for all $m$. Moreover we explicitly construct a basis for $\sD^{(m)} (\cal A)$. Their degrees are all equal to $mh/2$ (when $m$ is even) or are equal to $((m-1)h/2) + m_i (1 \leq i \leq \ell)$ (when $m$ is odd). Here $m_1 \leq ... \leq m_{\ell}$ are the exponents of $G$ and $h= m_{\ell} + 1$ is the Coxeter number. The construction heavily uses the primitive derivation $D$ which plays a central role in the theory of flat generators by K. Saito (or equivalently the Frobenius manifold structure for the orbit space of $G$.) Some new results concerning the primitive derivation $D$ are obtained in the course of proof of the main result.

We study the isospectral Hilbert scheme X_n, defined as the reduced fiber product of C^2n with the Hilbert scheme H_n of points in the plane, over the symmetric power S^n C^2. We prove that X_n is normal, Cohen-Macaulay, and Gorenstein, and hence flat over H_n. We derive two important consequences. (1) We prove the strong form of the "n! conjecture" of Garsia and the author, giving a representation-theoretic interpretation of the Kostka-Macdonald coefficients K_{lambda,mu}(q,t). This establishes the Macdonald positivity conjecture, that K_{lambda,mu}(q,t) is always a polynomial with non-negative integer coefficients. (2) We show that the Hilbert scheme H_n is isomorphic to the Hilbert scheme of orbits C^2n//S_n, in such a way that X_n is identified with the universal family over C^2n//S_n.

Let \A be a complex hyperplane arrangement, and let $X$ be a modular element of arbitrary rank in the intersection lattice of \A. We show that projection along $X$ restricts to a fiber bundle projection of the complement of \A to the complement of the localization $\A_X$ of \A at $X$. The fiber is the decone of a realization of the complete principal truncation of the underlying matroid of \A along the flat corresponding to $X$. This result gives a topological realization of results of Stanley, Brylawsky, and Terao on modular factorization. We show that (generalized) parallel connection of matroids corresponds to pullback of fiber bundles, clarifying the notion that all examples of diffeomorphisms of complements of inequivalent arrangements result from the triviality of the restriction of the Hopf bundle to the complement of a hyperplane. The modular fibration result also yields a new method for identifying $K(π,1)$ arrangements of rank greater than three. We identify a new families of $K(π,1)$ arrangements, providing more evidence for the conjecture that factored arrangements of arbitrary rank are $K(π,1)$.

The regression depth of a hyperplane with respect to a set of n points in R^d is the minimum number of points the hyperplane must pass through in a rotation to vertical. We generalize hyperplane regression depth to k-flats for any k between 0 and d-1. The k=0 case gives the classical notion of center points. We prove that for any k and d, deep k-flats exist, that is, for any set of n points there always exists a k-flat with depth at least a constant fraction of n. As a consequence, we derive a linear-time (1+epsilon)-approximation algorithm for the deepest flat.

For one-dimensional growth processes we consider the distribution of the height above a given point of the substrate and study its scale invariance in the limit of large times. We argue that for self-similar growth from a single seed the universal distribution is the Tracy-Widom distribution from the theory of random matrices and that for growth from a flat substrate it is some other, only numerically determined distribution. In particular, for the polynuclear growth model in the droplet geometry the height maps onto the longest increasing subsequence of a random permutation, from which the height distribution is identified as the Tracy-Widom distribution.

The maximal minors of a p by (m + p) matrix of univariate polynomials of degree n with indeterminate coefficients are themselves polynomials of degree np. The subalgebra generated by their coefficients is the coordinate ring of the quantum Grassmannian, a singular compactification of the space of rational curves of degree np in the Grassmannian of p-planes in (m + p)-space. These subalgebra generators are shown to form a sagbi basis. The resulting flat deformation from the quantum Grassmannian to a toric variety gives a new `Gröbner basis style' proof of the Ravi-Rosenthal-Wang formulas in quantum Schubert calculus. The coordinate ring of the quantum Grassmannian is an algebra with straightening law, which is normal, Cohen-Macaulay, Gorenstein and Koszul, and the ideal of quantum Plücker relations has a quadratic Gröbner basis. This holds more generally for skew quantum Schubert varieties. These results are well-known for the classical Schubert varieties (n=0). We also show that the row-consecutive p by p-minors of a generic matrix form a sagbi basis and we give a quadratic Gröbner basis for their algebraic relations.

The $OS$ algebra $A$ of a matroid $M$ is a graded algebra related to the Whitney homology of the lattice of flats of $M$. In case $M$ is the underlying matroid of a hyperplane arrangement \A in $\C^r$, $A$ is isomorphic to the cohomology algebra of the complement $\C^r\setminus \bigcup \A.$ Few examples are known of pairs of arrangements with non-isomorphic matroids but isomorphic $OS$ algebras. In all known examples, the Tutte polynomials are identical, and the complements are homotopy equivalent but not homeomorphic. We construct, for any given simple matroid $M_0$, a pair of infinite families of matroids $M_n$ and $M'_n$, $n\geq 1$, each containing $M_0$ as a submatroid, in which corresponding pairs have isomorphic $OS$ algebras. If the seed matroid $ M_0$ is connected, then $M_n$ and $M'_n$ have different Tutte polynomials. As a consequence of the construction, we obtain, for any $m$, $m$ different matroids with isomorphic $OS$ algebras. Suppose one is given a pair of central complex hyperplane arrangements $\A_0$ and $\A_1$. Let $§$ denote the arrangement consisting of the hyperplane $\{0\}$ in $\C^1$. We define the parallel connection $P(\A_0,\A_1)$, an arrangement realizing the parallel connection of the underlying matroids, and show that the direct sums $\A_0 \oplus \A_1$ and $§\oplus P(\A_0,\A_1)$ have diffeomorphic complements.